论文部分内容阅读
在经典命题逻辑中基于公式的真度概念提出了公式之间的支持度,利用支持度的思想引入了广义MP问题的一种新型合理求解机制,并证明了合理解的存在性。
命题逻辑中广义MP问题的合理解
【摘 要】
：
在经典命题逻辑中基于公式的真度概念提出了公式之间的支持度,利用支持度的思想引入了广义MP问题的一种新型合理求解机制,并证明了合理解的存在性。
【机 构】
：
兰州理工大学理学院,西安陆军学院科学文化基础教研室
【出 处】
：
计算机工程与应用
【发表日期】
：
2010年1期
【基金项目】
：
国家自然科学基金No.10771129,兰州理工大学优秀青年基金,兰州理工大学科研发展基金
其他文献
初夏的校园里,随着高考的临近,气氛也逐渐紧张起来,前来咨询的大多是高三学生。一天下午,我正在整理咨询笔记,一个中年男子匆勿推门进来问道:“您是心理老师吗?”“是。您有
1数学源于生活在数学教学过程中，要善于从现实生活中引入数学知识，使数学知识生活化，让学生带着生活问题进入课堂，使他们觉得所学习的内容是和实际生活息息相关的，给数学找到生活
进一步讨论了广义三角模和广义剩余蕴涵的对应性质,完善和修正了过去已有的一些定理结论,证明广义三角模和广义剩余蕴涵两者之间存在着两大类的对应关系,一类是可以构成伴随
1学案原则因为课堂教学是双向的沟通和交流,如何将学生调动起来,是一堂课成功与否的关键.而学案教学恰巧能很好起到这种作用,加强了老师与学生之间的沟通和交流.学案教学在课
数字视频水印算法存在的共同问题就是如何解决水印容量、鲁棒性和不可感知性三者之间的矛盾。基于此，提出一种新的H．264／AVC视频水印算法，算法利用粒子群优化算法选择嵌入载体位
我们熟知若函数为偶函数,则图象关于y轴对称;若对定义域内任意x都有f（x）=f（2a-x）或f（a＋x）=f（b-x）,则f（x）图象关于直线x=a或
网络异常检测是入侵检测系统中重要的组成部分,然而传统网络异常检测方法中存在虚警率高、单一检测算法对多种入侵行为的检测不够全面等问题。提出了一种基于改进D-S证据理论
概率是高考的必考内容之一，它是以实际应用问题为载体，以排列、组合等知识为工具，以考查考生对5种基本概型的掌握情况．下面举例说明．
氧化还原反应是高考中易错易混的难点,学习和复习的过程中要认真阅读教材,深入思考核心知识,最关键的知识内容一定要弄懂,而不是死记硬背.
为了能更好地进行多传感器图像融合,提出了一种基于双层并行PCNN和粗集理论的图像融合方法。该方法首先对两幅图像去噪,将一幅图像作为主PCNN网络的输入,另一幅图像作为从PCNN网络的输入,计算每幅图像的清晰度,分别将每幅图像的清晰度矩阵送入主从PCNN网络处理,然后根据粗集理论对原始图像分类,最后生成融合图像。该方法不仅能保留原图像信息,而且得到的融合图像清晰度高、对比度大。仿真实验结果以及与其他