论文部分内容阅读
研究赋值格为非线性序，其格结构不同于Ｂｏｏｌｅ代数，而蕴函算子→取Ｋｌｅｅｎ－Ｄｉｅｎｅｓ算子ＲＫＤ的一种新的６值逻辑系统Ｋ６＾１的语义理论，得到若干结果，特别是Ｋ６＾１中的准重言式恰与Ｃ２中的重言式一致：ＱＴ（Ｋ６＾１）＝Ｔ（Ｃ２）。
赋值格为非线性序的一种6值逻辑系统K6^1
【摘 要】
：
研究赋值格为非线性序，其格结构不同于Ｂｏｏｌｅ代数，而蕴函算子→取Ｋｌｅｅｎ－Ｄｉｅｎｅｓ算子ＲＫＤ的一种新的６值逻辑系统Ｋ６＾１的语义理论，得到若干结果，特别是Ｋ６＾１中的准重言式恰与Ｃ２中的重言式一致：ＱＴ（Ｋ６＾１）＝Ｔ（Ｃ２）。
【机 构】
：
西安交通大学理学院信息与系统科学研究所
【出 处】
：
工程数学学报
【发表日期】
：
1999年2期
【基金项目】
：
陕西省教委专项科研基金,陕西省科委自然科学研究计划项目
其他文献
所谓“搜索-摧毁”型无人机是指既装有侦察设备、同时也携带有打击武器的无人机，既能发现目标，又能够予以摧毁。当前的无人机主要用于侦察，单纯用于攻击的无人机也开始试用，但基
基于超图的性质，提出了一个在爆破设计中由经验公式和经验数据组成的通用的计算公式。当一个目标函数值可由许多公式估算时，它可以选出最好的几个分配问题的模型被用来做更准确
美国诺斯罗普·格鲁曼公司为了向国外推销它所生产的“全球鹰”无人机(RQ-4A)，到2003年12月份为止共进行了两次有真对性的越洋飞行。第一次是2001年，一架装有Inmarsat通信
据《信号》杂志2004年8月报道，美国国防部表示，网络的未来可能是无线，但军队只有在安全性得以保障的情况下才可以使用无线网络接入手段。国防部已颁发了一系列的指导方针，制定在
粗糙集理论是一种处理模糊和不确定性问题的新的数学方法，本文通过引入知识的信息量概念，给出了知识粗糙性和属性重要性的信息度量。
在很多情况下，用DFT幅度谱直接估计频率不能满足测频的精度要求。针对这个问题，本文提出了在DFT测频基础上对真实频率进一步逼近的方法，并对各种方法进行了仿真分析。
美国空军正加紧研制一种隐身、超音速、远程无人侦察机，该项目是空军继B-2轰炸机之后最大的一个绝密开发计划。这种无人机可在反恐战争或其它军事行动中监视持续移动的目标，为
4月23日，首届中国农业科技创新创业大赛新闻发布会在京召开。大赛执委会主任、科技部副部长张来武参加发布会并讲话。
本文概述受联合参谋部委托对WGS地面段广播体系结构的评估结果。目前的国防部广播业务是通过搭载在三颗UF0卫星上的全球广播业务(GBs)Ka频段载荷来实现的。UF0搭载的GBS工作