检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

复合型安全协议及其验证

南京航空航天大学学报 2006年第6期38卷 697-701页

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

根据可信第三方(Trusted third part,TTP)参与通信的方式,安全协议可以分为在线TTP型和离线TTP型两类。分析了两类协议的优缺点,提出了一种复合型安全协议,在同一协议中结合了两种方式,方式的选择由消息发送方和接收方共同决定。该协议... 详细信息

根据可信第三方(Trusted third part,TTP)参与通信的方式,安全协议可以分为在线TTP型和离线TTP型两类。分析了两类协议的优缺点,提出了一种复合型安全协议,在同一协议中结合了两种方式,方式的选择由消息发送方和接收方共同决定。该协议由4条规则组成。为了描述协议的动态运行过程,对SVO逻辑系统进行了扩充,增加了3条公理,用于刻划消息接收者的不可否认性。基于扩充后的SVO逻辑系统对复合型安全协议进行了形式化描述,证明了该协议具有不可否认性。

关键词：复合型安全协议协议认证不可否认性

在线全文

学校读者我要写书评

暂无评论

有序逻辑程序的回答集语义

西南交通大学学报 2006年第2期41卷 163-167页

作者：周勇朱梧槚南京航空航天大学信息科学与技术学院江苏南京210016

为了统一并扩充回答集语义,在带有规则序的逻辑程序中,基于不动点原理,采用了处理优先序的新方法———直接在规则迭代过程中考虑规则序的作用.用此方法得到了9种不同的回答集语义,并讨论了各种语义之间的关系;证明了它们在包含意义下... 详细信息

为了统一并扩充回答集语义,在带有规则序的逻辑程序中,基于不动点原理,采用了处理优先序的新方法———直接在规则迭代过程中考虑规则序的作用.用此方法得到了9种不同的回答集语义,并讨论了各种语义之间的关系;证明了它们在包含意义下不是构成线序结构,而是一般的格结构;在层次逻辑程序中,该类回答集语义都退化为普通的回答集语义.

关键词：逻辑程序回答集语义优先序

在线全文

学校读者我要写书评

暂无评论

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

计算机学报 2007年第9期30卷 1551-1558页

作者：洪龙肖奚安朱梧槚南京邮电大学计算机学院南京210003 中国人民解放军理工大学理学院南京210016 南京航空航天大学信息科学与技术学院南京210016

结合中介逻辑中的模糊否定词和真值程度词的语义,论述了研究中介真值程度的度量对于应用的必要性;在对个体研究的基础之上,从离散型和连续型两个方面讨论了集合的真值程度的度量;在建立中介标准度后,提出模糊程度概念,提出中介熵定义,... 详细信息

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

关键词：真值程度集合度量模糊程度中介熵过渡

在线全文

学校读者我要写书评

暂无评论

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

计算机学报 2006年第12期29卷 2186-2193页

作者：洪龙肖奚安朱梧槚南京航空航天大学信息科学与技术学院中国人民解放军理工大学理学院南京210016

以中介数学系统为背景,为处理工程实践和科学研究中普遍存在的模糊现象提供一种度量逻辑真值程度的方法.在建立了谓词的ε标准度概念后,描述了对一般应用的数值区域与对应谓词的真值之间的关系;采用距离概念,并以对应谓词真值的数值区... 详细信息

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

关键词：模糊现象度量真值程度应用中介数学系统

在线全文

学校读者我要写书评

暂无评论

我的数学研究与哲学思考

自然辩证法研究 1991年第7期7卷 14-21页

作者：朱梧槚南京航空学院计算机科学与工程系

1951年暑假后,我进入大学本科数学系学习。但在一年后,我竟迷上了哲学,在我的哲学先师、革命家和马克思主义哲学家刘丹岩教授指导下,制订了自修哲学的计划。刘老师首先告戒我:“搞哲学,最好掌握或精通一门具体科学,无论是自然科学还是... 详细信息

1951年暑假后,我进入大学本科数学系学习。但在一年后,我竟迷上了哲学,在我的哲学先师、革命家和马克思主义哲学家刘丹岩教授指导下,制订了自修哲学的计划。刘老师首先告戒我:“搞哲学,最好掌握或精通一门具体科学,无论是自然科学还是社会科学,否则容易成为空头哲学家”。因此,我没有放弃数学,而是利用三年的课余时间,修毕了大学本科哲学系的主要课程。1955年大学毕业后留校工作,还兼任哲学助教。1956年,还与一位老教师合作,共同为数学系、物理系高年级学生开设了《辩证唯物主义与历史唯物主义》课程。

关键词：潜无限实无限 MS 中介对象数学基础理论有限序数自然数集合数学研究哲学思考

在线全文

学校读者我要写书评

暂无评论

赋值层化占先模型

计算机学报 2000年第10期23卷 1009-1014页

作者：朱朝晖陈世福朱梧槚南京航空航天大学计算机科学研究所南京大学计算机软件国家重点实验室南京210093 南京大学计算机软件国家重点实验室

Bezzazi,Makinson及 Pino最近系统地研究了一些非 Horn型推理规则 (它们强于 RM规则或者与 RM规则不可比 ) ,给出了 P+ RM+ WD与 P+ RM+ RC非单调后承的表示定理 ,并将另两个非单调后承 P+ WD及 P+RC的表示定理作为开问题提出来 .文中... 详细信息

Bezzazi,Makinson及 Pino最近系统地研究了一些非 Horn型推理规则 (它们强于 RM规则或者与 RM规则不可比 ) ,给出了 P+ RM+ WD与 P+ RM+ RC非单调后承的表示定理 ,并将另两个非单调后承 P+ WD及 P+RC的表示定理作为开问题提出来 .文中提出两个新的占先模型类——赋值层化占先模型与 PRC模型 ,在有限语言情形下 ,利用这两个模型类分别建立了 P+ WD及 P+ RC后承的表示定理 .并用 P+ WD的表示定理对他们提出的另一开问题给出否定的答案 ,即证明了 P+ WD / NR在单射占先模型类中不成立 .

关键词：非单调推理赋值层化占先模型人工智能

在线全文

学校读者我要写书评

暂无评论

Ramsey数的一个性质

Journal of Mathematical Research and Exposition 2002年第1期22卷 67-70页

作者：曹子宁朱梧槚清华大学计算机系北京100084 南京航空航天大学计算机系江苏南京210016

本文证明了Ｒａｍｓｅｙ数Ｒ（ａ，ｂ）足初等函数．

关键词： Ramsey数递归函数初等函数无向简单图

在线全文

学校读者我要写书评

暂无评论

基于关系的两维意向结构(英文)

软件学报 2004年第4期15卷 512-521页

作者：李斌朱朝晖陈韬略吕建朱梧槚南京大学计算机软件新技术国家重点实验室扬州大学计算机科学与技术系江苏扬州225009

从建构agent角度出发,提出了一个基于关系结构的包括agent意向、信念以及目标等认知状态的框架.在此框架中,实现目标的意向形成了两维序结构,其中一维表示意向间的时序关系,另一维表示意向间的相干关系,在此基础上,研究了信念、意向和... 详细信息

从建构agent角度出发,提出了一个基于关系结构的包括agent意向、信念以及目标等认知状态的框架.在此框架中,实现目标的意向形成了两维序结构,其中一维表示意向间的时序关系,另一维表示意向间的相干关系,在此基础上,研究了信念、意向和目标的相互关系.因为摒弃了传统的用模态算子来刻画agent的意向的方法,所以在构建agent时,可以直接采用意向库以及意向间的时序、相干关系来表示agent的意向,从而缩小了agent理论模型与实际agent结构之间的差异,为agent结构的建立提供了必要的理论基础.

关键词： agent理论 agent结构 BDI模型意向理论关系结构

在线全文

学校读者我要写书评

暂无评论

基于ART半监督在线学习的文档分类

西南交通大学学报 2006年第3期41卷 335-340页

作者：徐敏张丽萍朱梧檟南京航空航天大学信息科学与技术学院江苏南京210016 南京航空航天大学理学院江苏南京210016

根据自适应谐振理论提出了半监督学习自适应谐振理论系统.在该系统中取消了一般半监督学习算法中假定已知数据概率分布的条件限制,利用自适应谐振理论的稳定性和可塑性,使其具有非常强的学习新模式和纠正错误能力.为了提高系统自适应性... 详细信息

根据自适应谐振理论提出了半监督学习自适应谐振理论系统.在该系统中取消了一般半监督学习算法中假定已知数据概率分布的条件限制,利用自适应谐振理论的稳定性和可塑性,使其具有非常强的学习新模式和纠正错误能力.为了提高系统自适应性能力,将警戒参数设置为动态变化。实验结果表明半监督学习自适应谐振理论系统的性能优于判别式CEM算法,特别是在含有噪音和新模式数据情况下,其优势更为明显.

关键词：在线学习文档分类自适应谐振理论半监督学习警戒参数