论文部分内容阅读
在多值逻辑系统Wn中提出了α-三I问题。通过在F（S）中引入一个偏序，讨论了α—GMP和多重α—GMP问题的形式化推理问题，得到了α—FMP问题的形式化三I解，从而在多值逻辑系统Wn中建立了α-三I问题的形式化推理机制。
多值逻辑系统Wn中α-三I问题的形式解
【摘 要】
：
在多值逻辑系统Wn中提出了α-三I问题。通过在F（S）中引入一个偏序，讨论了α—GMP和多重α—GMP问题的形式化推理问题，得到了α—FMP问题的形式化三I解，从而在多值逻辑系统Wn中建立
【机 构】
：
陕西师范大学数学研究所
【出 处】
：
计算机工程与应用
【发表日期】
：
2005年25期
【基金项目】
：
国家自然科学基金重点资助项目（批准号：10331010）
其他文献
《突厥语大词典》是11世纪突厥民族的“百科全书”，它反映了回鹘族当时的史学和文学等方面所取得的成就。另外为了形象地说明突厥诸部落和突厥语言的分布，通过绘制圆形地图描绘
Unisys公司日前宣布,安哥拉信息技术公司DGM-Sistemas Lda与其签署一份价值约2200万美元的3年期合同,由Unisys葡萄牙公司帮助安哥拉司法部(民事和刑事鉴定与档案署)开发和推广新的公民身份证计划。安哥拉希望到2015年为公民提供2000万身份证,旨在减少欺诈,并对该部的犯罪登记系统进行现
传统的基于SNMP协议流量监测工具有MRTG等，这些工具提供了网络流量的大小和变化的幅度；为了更好地了解互联网流量的本质，目前网络管理的研究集中在“网络流”压技术上。而Cisco
游戏具有增强记忆力、提升认知水平、激发学习兴趣和促进抽象思维培养的作用,是一项古老而又自然的学习手段。我国高校图书馆游戏化服务开展比较迟,基本还处于一个探索起步阶
本文通过对云南德宏景颇族双语师资的需求分析及培养培训模式的梳理,发现培养模式必须要适应新时代的变化要求,充分研究借鉴国内外成功的双语师资培养培训模式,利用互联网＋的
本文旨在通过对浙江大学城市学院工程学院在培养学生写作能力方面以点带面、循序推进的实践案例进行深入，剖析。进而探寻理工类学生写作能力培养的有效途径。
乔布斯的离去,全世界无不为之扼腕哀叹。工业革命以降,能在世界范围内引起跨行业跨阶层共同为一个人的死去而追思的先例大概还不多。因为他的死并不仅仅意味着一具肉身的新陈
软件测试过程中的一个重要任务是生成测试用例，但目前有些测试用例生成方法存在的一些问题限制了它们的使用，如利用动态测试用例生成方法获取合适的测试用例需要进行大量的迭代
椭圆曲线代理签名是代理签名中的研究热点。它介绍了椭圆曲线代理签名体制的基本概念及相关知识,讨论了前向安全的研究动态。创新点是在针对目前椭圆曲线研究重点之一,椭圆曲线代理签名,给出了一种结合前向安全的椭圆曲线代理签名算法,该算法利用椭圆曲线代理签名的安全性和前向安全机制来保证了代理签名的安全性,并且在算法里实现了预防人为的私钥泄露。
随着航空电子技术的发展，大容量存储组件成为航空设备中必不可少的部分，固态存储器成为多种存储技术中的首选。本文将NAND闪存应用于航空存储组件的设计，对设计中的若干关键问题