检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

中介逻辑命题演算的扩张(Ⅰ)

南京大学学报（自然科学版） 1990年第4期26卷 564-574页

作者：朱梧槚肖奚安南京大学数学系空军气象学院

如所知,中介逻辑的命题演算系统MP有三个命题联结词,即蕴涵词→,对立否定词和模糊否定词～。本文构造另一个中介命题逻辑MP°, 而MP°比MP多一个命题联结词,其名称为“真值程度词”,读为“真值程度不强于”或“真值程度弱于”。于是MP... 详细信息

如所知,中介逻辑的命题演算系统MP有三个命题联结词,即蕴涵词→,对立否定词和模糊否定词～。本文构造另一个中介命题逻辑MP°, 而MP°比MP多一个命题联结词,其名称为“真值程度词”,读为“真值程度不强于”或“真值程度弱于”。于是MP°要比MP多一条形成规则:即当A,B为合式公式时,则AB也是合式公式。至于MP°的形式推理规则,乃在接受MP的全部推理规则之外,另加如下三条: 本文根据MP°的形式推理规则去逐步生成它的形式推理关系(即形式定理)。定理2(MP°的替换定理)如果AB,而f(p)为MP°中含命题变元的任一合式公式,则有f(A)f(B)。

关键词：中介逻辑命题演算真假程度词

在线全文

学校读者我要写书评

暂无评论

布尔模态逻辑的泛模型与有限模型

科学通报 1997年第18期42卷 1944-1950页

作者：朱朝晖王雪朱梧槚南京航空航天大学计算机科学研究所南京210016 南京邮电学院计算机系南京210003

布尔模态逻辑是一种模态词带结构的模态逻辑,其模态词及模态词的运算构成一个布尔代数.文献[1]讨论了布尔模态逻辑BML的有关性质,本文在此基础上研究了BML泛模型的存在性.文献[2]中考察了PDL泛模型的存在性,由于BML拟标准模型的可达关... 详细信息

布尔模态逻辑是一种模态词带结构的模态逻辑,其模态词及模态词的运算构成一个布尔代数.文献[1]讨论了布尔模态逻辑BML的有关性质,本文在此基础上研究了BML泛模型的存在性.文献[2]中考察了PDL泛模型的存在性,由于BML拟标准模型的可达关系的运算要求满足布尔运算规律,与PDL模型有很大的差异,文献[2]中构造泛模型的方法对BML无效,本文利用基本模态词编码的方法将“P-射”技术一般化,由非标准模型构造出拟标准泛模型.另外,本文还讨论了含n个原子模态词时BML的有限模型性质并进一步利用公式闭包及符号闭包的方法给出BML小模型规模的上界,所谓模型的规模指模型可能世界集的基数.

关键词：布尔模态逻辑泛模型有限模型性小模型规模

在线全文

学校读者我要写书评

暂无评论

Hamilton圈问题的DNA算法

南京航空航天大学学报 2006年第2期38卷 222-226页

作者：洪龙朱梧槚南京航空航天大学信息科学与技术学院

基于目前可以使用的DNA实验技术并采用试管与表面相结合的方式,设计了解决H am ilton圈问题的DNA算法;详细地介绍了对图的顶点和边的分子编码;描述了算法的生物化学实现过程。由于采用了有控的部分穷举策略,因而既提高了解的可靠性,又... 详细信息

基于目前可以使用的DNA实验技术并采用试管与表面相结合的方式,设计了解决H am ilton圈问题的DNA算法;详细地介绍了对图的顶点和边的分子编码;描述了算法的生物化学实现过程。由于采用了有控的部分穷举策略,因而既提高了解的可靠性,又抑制了大量伪解的产生。最后,讨论了算法的性能特点并指出进一步的研究方向。

关键词： DNA计算 Hamilton圈表面方式试管方式

在线全文

学校读者我要写书评

暂无评论

中介逻辑命题演算的扩张(Ⅱ)

南京大学学报（自然科学版） 1991年第2期27卷 209-221页

作者：肖奚安朱梧槚空军气象学院南京大学数学系

本文为参考文献[9]的续篇,首先让我们把清晰化算符分别作为MP°的定义符号引入它们的名称依次为“模糊清晰词”、“常规清晰词”、“对立清晰词”。并且依次读为“模糊加圈”、“常规加圈”、“对立加圈”。现依次定义如下: 我们将在本... 详细信息

本文为参考文献[9]的续篇,首先让我们把清晰化算符分别作为MP°的定义符号引入它们的名称依次为“模糊清晰词”、“常规清晰词”、“对立清晰词”。并且依次读为“模糊加圈”、“常规加圈”、“对立加圈”。现依次定义如下: 我们将在本文中继续生成MP°的形成定理,并要给出MP°的一条重要定理(见本文定理13)。定理13 MP°: 本定理13(MP°)表明任一合式公式A-经清晰化算符之一作用后,再也不能取中值～。因而当我们无需处理模糊现象时,即可对ML使用MP°的清晰化算符予以清晰化,以使任一被清晰化了合式公式非真即假,从而中介逻辑ML被约化为经典的二值逻辑CL,ML所贯彻的中介原则转化为CL所贯彻的无中介原则。

关键词：命题演算中介命题演算清晰词

在线全文

学校读者我要写书评

暂无评论

广义粗集的公理化

南京理工大学学报 2003年第3期27卷 290-293页

作者：周勇朱梧槚南京航空航天大学计算机科学研究所南京210016

粗集理论在数据挖掘等领域得到了广泛的应用 ,对粗集理论进行推广可得到各种广义粗集。该文研究了广义粗集的多个公理组 ,证明了公理组中各公理的独立性 ,并给出了普通粗集理论的另一个公理组 ,它有

关键词：粗集广义粗集下近似

在线全文

学校读者我要写书评

暂无评论

集合论-泛逻辑悖论

北京航空航天大学学报 2009年第3期35卷 376-379页

作者：杜国平王洪光李娜朱梧槚南京航空航天大学计算机科学与工程系南京210016 南京大学现代逻辑与逻辑应用研究所南京210093

对于一类n(2≤n≤n)值逻辑可以给出一个一般形式的形式语言,通过一个六元组的模型,可以递归地定义出该形式语言中的公式的值.这构成了刻画这类逻辑的一个泛逻辑系统UL1.在该系统中,可以定义出抽象否定、抽象蕴涵和抽象等值等联结词,它... 详细信息

对于一类n(2≤n≤n)值逻辑可以给出一个一般形式的形式语言,通过一个六元组的模型,可以递归地定义出该形式语言中的公式的值.这构成了刻画这类逻辑的一个泛逻辑系统UL1.在该系统中,可以定义出抽象否定、抽象蕴涵和抽象等值等联结词,它们分别是二值逻辑中的联结词否定、蕴涵和等值的一般化.利用这些联结词,可以给出Russell型造集谓词、Curry型造集谓词的一般形式.此外,还提出了一种新型造集谓词,这种造集谓词只包含等值联结词,而不涉及其它联结词.通过这3种造集谓词,利用该系统的逻辑工具,证明了在通常的有穷值逻辑、可数无穷值逻辑和不可数无穷值逻辑系统中,概括原则都将导致悖论.

关键词：概括原则泛逻辑不可数无穷值逻辑悖论

在线全文

学校读者我要写书评

暂无评论

中介时序逻辑系统MTL的完备性

Journal of Mathematical Research and Exposition 2002年第3期22卷 497-502页

作者：施庆生张东摩朱梧槚南京工业大学理学院江苏南京210009 南京航空航天大学计算机科学系江苏南京210016

本文对[1]中的系统MTL进行了进一步的讨论,给出了它的模型论性质,基于中介逻辑,构造了一种可传有序模型,证明了MTL系统的完备性.

关键词：中介时序逻辑系统 MTL 完备性中介逻辑模型中介时序逻辑

在线全文

学校读者我要写书评

暂无评论

一种检测网络流量的算法

辽宁工程技术大学学报（自然科学版） 2016年第11期35卷 1326-1330页

作者：朱俚治朱梧檟南京航空航天大学信息中心江苏南京210016 南京航空航天大学计算机科学与技术学院江苏南京210016

为改进部分网络流量检测算的不足之处,提出一种新的检测算法.利用相似计算的算法对单位时间内数据包的数量是否异常做出估计和判断.对于异常的数据包数量,通过粗糙集中的决策系统做出决策,流量异常是由小型数据包引起的,还是其他数据包... 详细信息

为改进部分网络流量检测算的不足之处,提出一种新的检测算法.利用相似计算的算法对单位时间内数据包的数量是否异常做出估计和判断.对于异常的数据包数量,通过粗糙集中的决策系统做出决策,流量异常是由小型数据包引起的,还是其他数据包引起的.决策树算法来实现决策系统的决策算法.研究结果表明:检测算法不仅可以区分网络中的流量是属于正常还是异常,而且还能对流量异常的原因进行决策.

关键词：流量粗糙集相似计算决策系统决策树

中介自动推理的理论与实现(Ⅳ)——一类基于中介逻辑的模态逻辑系统

在线全文

学校读者我要写书评

暂无评论

模式识别与人工智能 1995年第1期8卷 6-13页

作者：宫宁生张东摩朱梧槚南京航空航天大学计算机系南京210016

本文以文[7]、[8]、[9]为基础,构造了一类基于中介逻辑的模态逻辑系统MK、MT、MS_4及MS_5,给出了它们的直观背景、推理规则及语义解释、证明了正规系统MK的可靠性与完备性定理。分析了这些系统与经典模态逻辑系统之间的关系。

关键词：中介逻辑模态逻辑中介模态逻辑自动推理