检索结果-南通市图书馆

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

基于行动理论的智能体模型

南京航空航天大学学报 1999年第6期31卷 660-665页

作者：李斌张东摩朱朝晖朱梧槚南京航空航天大学计算机科学与工程系南京210016

结合BDI模型和情境演算的优点构造了一个agent模型。在agent模型中,agent的心智状态由状态信念集、效应规则集、可行规则集、策略规则集和意向集组成。如果agent的心智状态是信息完全的且在流中添加情境变元,则它将成为Reiter提出的基... 详细信息

结合BDI模型和情境演算的优点构造了一个agent模型。在agent模型中,agent的心智状态由状态信念集、效应规则集、可行规则集、策略规则集和意向集组成。如果agent的心智状态是信息完全的且在流中添加情境变元,则它将成为Reiter提出的基于情境演算的行动理论,所以此agent模型既能表示agent的心智状态又能进行行动推理和规划,最后。

关键词：智能体理论智能体模型行动理论情境演算

关于中介逻辑演算系统的发展及其语义学研究情况综述

在线全文

学校读者我要写书评

暂无评论

关于中介逻辑演算系统的发展及其语义学研究情况综述

中国系统工程学会模糊数学与模糊系统委员会第五届年会

作者：朱剑英肖奚安朱梧槚南京航空学院空军气象学院南京大学

《自然杂志》8卷4期至9卷12期,共发表和的15篇研究通讯,其中ML9篇,MS6篇。显然,MS是目的,ML只是配套于MS的逻辑工具。正因为如此,在ML诸系统建立后,就直接进入了MS的构造和建立,而将ML的严格的语义研究暂时搁置一边。然而,构造任何一个... 详细信息

《自然杂志》8卷4期至9卷12期,共发表和的15篇研究通讯,其中ML9篇,MS6篇。显然,MS是目的,ML只是配套于MS的逻辑工具。正因为如此,在ML诸系统建立后,就直接进入了MS的构造和建立,而将ML的严格的语义研究暂时搁置一边。然而,构造任何一个逻辑系统,必须有实际背景和

关键词：逻辑系统演算数理逻辑语义学综述

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

一种检测网络流量异常和网络攻击的算法

计算技术与自动化 2017年第1期36卷 92-97页

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

尽管网络流量会出现异常,但大部分时间里流量变化是有规律的。如果网络流量出现异常,那么对整个网络具有较大的危害性,因此网管人员必须及时发现流量是否异常。在以往的流量检测算法中聚焦的焦点只是如何区分流量是正常还是异常,并未讨... 详细信息

尽管网络流量会出现异常,但大部分时间里流量变化是有规律的。如果网络流量出现异常,那么对整个网络具有较大的危害性,因此网管人员必须及时发现流量是否异常。在以往的流量检测算法中聚焦的焦点只是如何区分流量是正常还是异常,并未讨论此时是否存在攻击行为,这些是算法的不足之处。为了改进现有算法的不足之处,作者在查阅了有关资料和文献之后,提出了一种新的流量检测算法,该算法使用了相似性计算法算法,MMTD算法和粗糙集中的决策系统,将这三种算法在流量检测中进行应用是本文的创新点。本文解决问题的思路是首先使用MMTD算法对当前的流量是否异常做出判断,如果出现异常,则使用相似性计算算法将此时的流量与预警值进行比较,并且判断此时是否存在攻击行为,在文章的最后使用粗糙集中的决策系统对流量异常的原因做出决策。

关键词： MMTD 决策系统相似性

在线全文

学校读者我要写书评

暂无评论

数学科学与现代文明(下)

自然杂志 1997年第2期19卷 65-70,71页

作者：徐利治朱剑英朱梧槚大连理工大学数学科学研究所南京航空航天大学南京航空航天大学计算机科学研究所

本文基于历史事实的分析,阐述了数学与文明不仅自古并存,而且一直同步发展;简要地论述了“数学科学”的真实含义;主要从近现代科技发展、文化素质教育、宇宙观的演变、头脑编程的研究和美学原则等五个方面,阐明了数学科学在现代物质文... 详细信息

本文基于历史事实的分析,阐述了数学与文明不仅自古并存,而且一直同步发展;简要地论述了“数学科学”的真实含义;主要从近现代科技发展、文化素质教育、宇宙观的演变、头脑编程的研究和美学原则等五个方面,阐明了数学科学在现代物质文明与精神文明的建设和发展中所起到的重要作用。

关键词：数学科学现代文明工程技术宇宙观爱因斯坦

形式系统的语义完全性与语法完全性之间的一些关系

在线全文

学校读者我要写书评

暂无评论

南京邮电学院学报（自然科学版） 2005年第1期25卷 55-58页

作者：潘正华洪龙朱梧槚江南大学理学院江苏无锡214063 南京邮电学院计算机科学与技术系江苏南京210003 南京航空航天大学信息科学与技术学院江苏南京210016

形式系统的完全性体现了形式系统的整体性能,它包括语义完全性和语法完全性两个方面,两者没有直接关系。通过强完全性概念研究两种完全性之间的关系,证明了以下结果:一个强完全的形式系统,若具有可靠性,则形式系统一定语义完全;若一个... 详细信息

形式系统的完全性体现了形式系统的整体性能,它包括语义完全性和语法完全性两个方面,两者没有直接关系。通过强完全性概念研究两种完全性之间的关系,证明了以下结果:一个强完全的形式系统,若具有可靠性,则形式系统一定语义完全;若一个扩张系统是强完全的,则原系统一定强完全;若形式系统是古典完全的则必定强完全。

关键词：形式系统强完全性弱完全性古典完全性语义完全性语法完全性

在线全文

学校读者我要写书评

暂无评论

数学科学与现代文明(上)

自然杂志 1997年第1期19卷 5-9,10页

作者：徐利治朱剑英朱梧槚大连理工大学数学科学研究所南京航空航天大学南京航空航天大学计算机科学研究所

本文基于历史事实的分析,阐述了数学与文明,不仅自古并存,而且一直同步发展;简要地论述了“数学科学”的真实含义;主要从近现代科技发展、文化素质教育、宇宙观的演变、头脑编程的研究和美学原则等5个方面,阐明了数学科学在现代物质文... 详细信息

本文基于历史事实的分析,阐述了数学与文明,不仅自古并存,而且一直同步发展;简要地论述了“数学科学”的真实含义;主要从近现代科技发展、文化素质教育、宇宙观的演变、头脑编程的研究和美学原则等5个方面,阐明了数学科学在现代物质文明与精神文明的建设和发展中所起到的重要作用。

关键词：数学科学现代文明文化科学工程技术

在线全文

学校读者我要写书评

暂无评论

关于数学第二次危机的分析研究

南京晓庄学院学报 2010年第6期26卷 15-20页

作者：黄秀琴朱梧槚南京晓庄学院行知学院江苏南京211171 南京航空航天大学信息科学与技术学院江苏南京210016

文章在确认潜无限(poi)与实无限(aci)满足排中律┣poi∨aci前提下论证指出:当代极限论并没有真正给出Berkeley悖论的解释方案.

关键词： Berkeley悖论极限论潜无限实无限近代公理集合论

场论三公式中的数学方法论教学原则──Stokes公式如何从物理现象中抽象出来

在线全文

学校读者我要写书评

暂无评论

数学教育学报 2001年第3期10卷 23-27,35页

作者：顾红芳张文献肖奚安朱梧槚中国人民解放军理工大学理学院江苏南京210016 南京航空航天大学理学院江苏南京210016

对于某个具体的数学问题或数学定理，从方法论的角度来说，最重要的是讲清定理的发现过程．Stokes公式可以从物理现象及具体素材中抽象概括出来．在场论3公式的教学过程中要贯彻教学方法论的启发式教学原则，要在教学过程中研究、分析... 详细信息

对于某个具体的数学问题或数学定理，从方法论的角度来说，最重要的是讲清定理的发现过程．Stokes公式可以从物理现象及具体素材中抽象概括出来．在场论3公式的教学过程中要贯彻教学方法论的启发式教学原则，要在教学过程中研究、分析问题、思考问题的方法，侧重形成数学概念认识过程的分析，要启发学生的创造性思维，探索和探讨寻找真理、发现真理的手段．

关键词：数学方法论斯托克斯公式场论电磁场启发式教学原则 Stokes公式教学原则

在线全文

学校读者我要写书评

暂无评论

面向AGENT的程序设计语言AOPLID

扬州大学学报（自然科学版） 1999年第3期2卷 65-69页

作者：李斌张东摩朱梧槚扬州大学工学院计算机系扬州225009 南京航空航天大学计算机科学研究所南京210016 南京大学软件新技术国家重点实验室南京210093

AOPLID语言是以现有的情境演算理论和基于意向驱动方式的agent模型为理论框架而建立的一种面向agent的程序设计语言.介绍了该语言的程序组成及程序的运行方式。

关键词：程序设计情境演算 AOPLID语言 agent 人工智能