论文部分内容阅读
本文以中介逻辑谓词演算系统MF为基础,构造了基于命题联结词＾、V、→、ヲ和ヘ的新中介逻辑谓词演算系统MF,并证明了其可靠性和完备性.
中介逻辑谓词演算系统MFM
【摘 要】
：
本文以中介逻辑谓词演算系统MF为基础,构造了基于命题联结词＾、V、→、ヲ和ヘ的新中介逻辑谓词演算系统MF,并证明了其可靠性和完备性.
【机 构】
：
南京大学软件新技术国家重点实验室(南京) 南京航空航天大学计算机科学研究所(南京)
【出 处】
：
2001年全国理论计算机科学学术会议
【发表日期】
：
2001年6期
其他文献
数字水印技术是一种横跨图像处理、信号处理、数字通信、密码学等多学科的新兴技术,本文提出了一种改进型的水印算法结构模型并进行了相应的分析和改进.
大规模模式识别问题是指具有特征空间维数高,样本数量大和所涉及的类别数目多的一类模式识别问题.通常这类问题分类边界十分复杂,用单一的分类器很难得到理想的结果,同时会遇到分类器结构和规模难确定和计算复杂性的问题.本文针对脱机手写汉字识别这个特定的大规模模式识别问题提出一个三级分类器,粗分类是以可能集合概念为基础,同时将目前在模式分类有很好前景的学习矢量量化和支持向量机有机地结合起来,用于后两级分类器的
一个能用于建设项目全过程的决策支持系统,必须能对建设项目全过程产生的信息进行处理、分析和管理.本文介绍了开放性决策支持系统的设计思想及主要功能.
本文设计了一类基于椭圆曲线密码的不可否认签字体制,在安全性相当的情况下,可以使用比基于离散对数的不可否认签字体制更短的密钥,从而具有更强的生命力.
本文提出了一种Multi-Agent的协作模型,通过三种协作方式为图像理解的Multi-Agent提供多种有效的交互方式和协作手段,并在此基础上设计实现了Multi-Agent的系统方案和协作通信指令.
本文主要讨论了在分布存储器环境中如何运用基于超平面的线性划分技术对串行程序中循环引用的数据进行无通信划分技术,并给出完整的算法表述.
本文介绍了复杂适应系统理论及Swarm软件平台的逻辑结构并且通过“生命游戏”模型实例分析了复杂适应系统模型结构.