论文部分内容阅读
本文主要研究了关于中介命题演算系统MP范式,同时还提出了构造等值完全析取范式形成化算法,并证明了等值完全析取范式的存在和唯一性.
关于中介命题演算系统MP范式的研究
【摘 要】
：
本文主要研究了关于中介命题演算系统MP范式,同时还提出了构造等值完全析取范式形成化算法,并证明了等值完全析取范式的存在和唯一性.
【机 构】
：
南京航空航天大学信息科学与技术学院(南京) 南京大学软件新技术国家重点实验室(南京)
【出 处】
：
2003年全国理论计算机科学学术年会
【发表日期】
：
2003年11期
其他文献
分析了有色金属冶炼废气污染现状，研究了气动乳化工艺应用于冶炼废气的治理技术。通过会泽铅锌矿氧化锌旋转窑废气治理的工程事例表明，该技术具有气液紊流效果好、脱硫效率高、系统阻力小、固硫剂利用率高的特点。适于有色金属冶炼废气污染物浓度高、风量大的场合。
无废开采是我国矿业重要的发展方向，其重点是对矿山产出废物的综合治理。鑫汇金矿地处平原，全面、系统地处理产出废物有着重要的意义。从生态学的角度，采用生态群落工业园的方法，将矿山生产的废料消化在生产、消费内部和相互间的组合过程中，以达到有利于环境保护和高效、低耗生产的目的。它改变了以往一味地只将注意力放在废物的控制与治理方面，而是依照生物食物链的原理，从更深的层次来消化和利用矿业生产排出的废物。介绍了
本文探讨了虹膜识别系统,虹膜识别系统是利用计算机进行图像处理和模式识别,对数字化的虹膜图像进行处理、分析,从而自动、迅捷地确认人的身份.虹膜识别包括虹膜图像的采集、虹膜图像的预处理、虹膜图像数字特征提取及编码,虹膜比对与识别.
本文阐述的网络安全策略基于智能Agent的动态网络增强了网络的可扩展性、可编程性,同时弥补了入侵检测系统中由静态配置带来的不足,针对DDOS攻击,移动代理的引入将会降低网络流量,随时适应改变后的环境,并可替换或克隆自己,以适应网络的动态要求,移动代理之间可相互协作共同对抗大规模的复杂入侵行为.
本文基于可复用软构件技术,作者采用积木法开发完成了"湖北省大、中专学校毕业生就业信息管理系统"、"数据库教学辅助软件包制作与研究"、"数据库试题库系统设计"等应用系统.该技术不仅减少了大量的重复劳动,提高了软件生产效率,同时也大大提高软件设计质量,更容易适应环境与要求的变化,有较强可维护性与可扩展性.
本文概述了软件能力成熟度模型CMM,并根据多年软件开发经验,结合CMM标准的过程化、文档化思想,对软件生命周期模型进行了进一步的改进.
在本文中采用广义遗传算法来解决实时系统中周期性任务静态优化调度.遗传算法具有并行搜索,群体寻优的特点,是解决大规模优化问题的有力工具.
本文研究的系统是基于863项目"基于多Agent的合作求解平台".它的主要目标是为构建各种实用Agent提供一个通用的合作求解平台,同时在这个平台上建立一个示范系统——机器人足球赛系统.