从公理语义看UNITY模型和GAMMA模型的关系

ＧＡＭＭＡ和ＵＮＩＴＹ都是面向问题描述的程序设计语言．ＵＮＩＴＹ开发了一种公理语义规范语言，即ＵＮＩＴＹ逻辑，描述和推导程序的特性．这一规范语言也可以很自然地移植到ＧＡＭＭＡ模型上去．基于上述语义规范，给出一个将ＵＮＩＴＹ程序变换成ＧＡＭＭＡ程序的保语义等价性的程序变换方法，从而证明了ＧＡＭＭＡ模型的描述能力强于ＵＮＩＴＹ模型     

一个基础集可数但不满足第一可数性公理的拓扑空间

本文构造了一个实例,表明一拓朴空间(X,J)尽管|X|是可数的,但(X,J)不适合第一可数性公理。     

一类素数问题等对PA的条件独立性--对一些数论问题的逻辑讨论(Ⅳ)

用模型论方法证明了2次函数素数值问题及一种3重完美数问题对于PA的条件独立性,以及一些更一般的结论.     

群偏好 GMM 集结方法的讨论

分析了ＧＭＭ在群偏好集结过程中,有关Ｐａｒｅｔｏ公理的违反问题．提出了序等价类的概念,并证明ＧＭＭ群集结模式满足Ｐａｒｅｔｏ公理的要求．     

论形式系统的多样性

形式系统在类型上包括公理系统和自然推理系统,在构成要件上包括的形式语言和演绎装置.构造者的哲学背景、构造形式系统的理论对象和目的不同,所采用的形式语言和演绎装置就可能不同,因而,构造出来的形式系统就多种多样,在不同的系统内证明同一个定理也表现为不同的公式系列.形式系统的形式语言和演绎装置为我们界定了形式证明的工具、出发点和依据,同时语义也包含了构造者构造形式系统的理论对象和目的,离开具体的形式系统去谈论或者证明一个定理,将会导致逻辑的失范.     

谈形式语义学

形式语义学是以数学为工具,利用符号和公式,精确地定义和解释计算机程序设计语言的语义。形式语义学可分为四大类,本文对这四类形式的语义学作了阐述,并提出了发展形式语义学的迫切性。     

一种考虑指标期望的战略外包商选择方法

针对考虑指标期望的战略外包商选择问题,提出了一种基于模糊公理设计的决策分析方法。首先,将企业决策者针对评价指标给出的语言短语形式的期望信息和专家小组针对备选战略外包商的实际绩效给出的语言短语形式的评价信息分别映射为期望范围和实际范围;然后,依据模糊公理设计的思想,计算备选战略外包商在各指标下的信息量,淘汰完全不满足决策者期望的备选战略外包商;进一步地,通过各指标信息量和指标权重的集结得到剩余备选战略外包商的信息总量,并根据信息总量的排序结果选择最理想的战略外包商。最后,通过一个实例分析说明了提出方法的有效性。     

反演集合与分离性公理

刘建忠在《反演集合理论及其应用》中提出了反演集合的概念,并在此基础上定义了反演集合的拓扑空间、度量空间.将经典拓扑学中的T0,T1,T2,T3,T4空间及正则和正规空间移植于反演集合的拓扑空间之中,提出了反演T0,T1,T2,T3,T4空间及反演正则和正规空间,并讨论了这些空间的若干性质,丰富了反演集合拓扑空间理论.