中介真值程度的度量及其应用(Ⅰ)

以中介数学系统为背景，为处理工程实践和科学研究中普遍存在的模糊现象提供一种度量逻辑真值程度的方法．在建立了谓词的ε标准度概念后，描述了对一般应用的数值区域与对应谓词的真值之间的关系；采用距离概念，并以对应谓词真值的数值区域的长度为基准，定义了距离比率函数及距离比率的特殊变换，并由此建立了一维情形下个体真值程度函数．又在提出关于n维情形的分支谓词、幂集逆映射和标准度向量概念后，描述了真值程度和函数、极值分支函数等n维情形的应用形式．应用示例表明：由于提出超态概念，所以理论上能把真值程度域从[0，1]拓宽到（-∞，＋∞）；真值程度函数的定义具有计算机可以处理的定量形式且具有客观性和普适性的特点．因此，真值程度的度量将在涉及模糊现象的领域得到有效的应用．     

Program generic set:semantics of medium logic program described by forcing

The technique of forcing created by Cohen is adopted to discuss the semantics of medium logic program without closed-world assumption (CWA).The fixed point and complete-meet semilattice property ofprogram generic set is proved.     

Vakarelov问题的研究

本文在Ｖａｋａｒｅｌｏｖ的信息逻辑ＩＬ的基础上,通过引入新的模态词以及模态词间的布尔运算建立了ＢＩＬＣ系统,研究了系统的语义,提出在布尔模态语言下解决Ｖａｋｒｅｌｏｖ问题的思想上,主要结果表明在ＢＩＬＣ语言下要彻底解决Ｖａｋａｒｅｌｏｖ问题必须针对三种ＫＲ－结构分别构造逻辑系统,ＩＬ系统的研究方法对ＢＩＬＣ语言框架下的研究是行不通的。     

命题中介逻辑的可靠和完备Gentzen推导系统

中介逻辑是朱梧槚先生提出的一个3-值逻辑.给出了一个命题中介逻辑,其中引入中介连接词~、反对连接词◁以及蕴涵连接词→,并且定义否定连接词.给出了一个Gentzen-型的推导系统,使得该系统关于中介逻辑的3-值语义是可靠的和完备的.     

用于不完全信息数据库的多值逻辑研究

1引言 自20世纪70年代末以来,用多值逻辑处理空值问题已成为数据库理论的一个重要研究方向[1～3].不完全信息数据库中引入多值逻辑(MVL)的研究是和空值的语义有关的.数据库中引起信息缺失的原因有十几种,根据语义可分成三种类型:不存在型空值、存在型空值和占位型空值.若在空值的处理中,这三种解释都采用,不作简化,这将导致七值逻辑(7VL).     

基于分布式系统概念的分布式数据仓库

以分布式系统的概念，描述了以主题分布为特点的分布式数据仓库，建立了节点主题处理原则，论述了此种分布式数据仓库的特点，并与Inmon先生描述的分布式数据仓库进行了特征比较。此外，还简要地分析了节点仓库与数据集市的异同，构建分布式数据仓库的方法与费用，从而指出分布式数据仓库应用的乐观前景。     

直觉主义的数学观与计算机科学

剖析了直觉主义学派的数学观、无穷观和逻辑观，从而论证了构造性是直觉主义学派在数学工作中的最基本出发点，同时叙述了构造性观点于计算机科学中的体现和对计算机科学的影响。     

多agent逻辑程序及其在协议验证中的应用

提出一种多agent逻辑程序,每个agent具有一个相信算子,讨论了其不动点语义和操作语义,证明了两种语义之间的等价性.提出了一种基于多agent逻辑程序的协议验证方法,以一种多方非否认安全协议为例,对该协议进行了形式化描述,验证了其具有不可否认性.     

中介真值程度的度量及其应用(Ⅱ)

结合中介逻辑中的模糊否定词和真值程度词的语义,论述了研究中介真值程度的度量对于应用的必要性;在对个体研究的基础之上,从离散型和连续型两个方面讨论了集合的真值程度的度量;在建立中介标准度后,提出模糊程度概念,提出中介熵定义,并讨论了中介熵的最大值.针对反对对立强调两个概念之间存在"最大的差异",提出弱化"两极",突出"过渡"的观点.在对过渡与对立进行了一般性讨论后,建立了标准数值化映射和广义数值化映射概念,构造性地证明了过渡情形能转换为反对对立情形的充分条件.这表明在处理工程实践和科学研究中的模糊现象时,可以把所有存在过渡的情形作为反对对立处理,从而使中介真值程度的度量可以在更加广阔的领域得到应用.     

一个改进的指数双向联想存储器及性能分析

通过分析Wang的修正指数双向联想存储器(MeBAM),本文提出了一个新的指数式双向联想存储器.该存储器不仅保持了MeBAM的优点,如放宽了Kosko对BAM的连续性假定的限制,排除了BAM的补码问题,同时还大大改善了现有BAM的存储性能和纠错能力.通过定义一个随状态变化而减少的能量函数严格证明了改进的eBAM(IeBAM)在同步与异步方式下的稳定,从而保证了所有要存的模式对成为其稳定点.此外,借助信噪比分析方法给出了IeBAM和MeBAM的信噪比估计.理论分析和计算机模拟结果证实了IeBAM的性能确实优于MeBAM和eBAM.