论文部分内容阅读
首先,借鉴n值?ukasiewicz逻辑系统中公式的赋值及赋值顺序,给出了公式的向量表示形式;接着,利用公式的赋值及赋值顺序给出了公式的真度、两公式间的3种相似度与伪距离的定义;最后,讨论了公式的真度和公式间的3种相似度与伪距离所具有的一些良好性质。
n值?ukasiewicz逻辑系统中公式的向量表示及其研究
【摘 要】
：
首先,借鉴n值?ukasiewicz逻辑系统中公式的赋值及赋值顺序,给出了公式的向量表示形式;接着,利用公式的赋值及赋值顺序给出了公式的真度、两公式间的3种相似度与伪距离的定义;
【机 构】
：
延安大学数学与计算机科学学院
【出 处】
：
计算机科学
【发表日期】
：
2016年S2期
【基金项目】
：
国家自然科学基金(11471007),陕西省自然科学基金(2014JM1020),延安大学博士基金(YDBK2013-12),延安大学研究生创新基金资助,陕西省大学生创新训练计划项目(1064),延安市专项基金(2013-KG16)
其他文献
介绍了一种图像传输系统中的接口子系统,提出了采用ADSP2181数字信号处理器芯片和USBN9604芯片的USB接口板的具体实现方法,给出了应用实例、固件编程框图及源代码,对计算机的
在分析软件动态演化面临的挑战的基础上,以扩展的Petri网为主形式化工具,基于面向动态演化的SA元模型DEAM,对如何保证动态演化的一致性问题进行分析。首先,讨论了一致性分析
提出了组播移动测试结构－一种开发灵活的网络化测试系统的软件结构。该结构宏观方面集中于Internet技术，如组播和移动计算，在微观方面集中于基于Java和执行器的结构，利用组播移动
对微机控制系统的采样周期进行了研究,以一典型控制系统为例,从理论上分析了采样周期对系统的稳定性、动态品质、抗干扰能力及数字PID控制作用的影响,并指出过小的采样周期会
针对目前温室控制的缺点，以提高温室控制的自动化和实用性为目的，设计出了一种基于PIC微控制器的多传感器温室自动控制系统。介绍了温室控制的基本工作原理，给出了硬件电路原理
介绍了GPS车辆监控系统中运行车辆使用西门子TC35T GSM模块和监控中心之间通过语音和短消息方式进行无线通信的方法,给出了软硬件的设计原则与方法.实验表明此方法满足车辆监
文章分析了半导体薄膜生长工艺流程的特点.在此基础上,为实验室的ECR-MOCVD设备设计了一套半导体薄膜生长的实时监控系统, 介绍了系统的硬件结构以及在WIN98环境下用VB6.0实
近年来，在日常生活中安卓手机得到了广泛的使用。但安卓系统由于代码开源，再加上平台自身的粗粒度权限机制，易被不法分子发现安全漏洞，从而利用用户安装的软件窃取用户个人信息。
GPS全球定位系统是全球性、全天候、连续的卫星无线电导航系统,它可提供实时的三维位置、三维速度和高精度的时间信息。清华嵌入式的GPS出租车调度系统方案是基于多年来从事的清华嵌入式GPS出租车系统的开发经验提出的,同时对此方案中的构架和主要组成部分作了扼要的介绍。这种车载定位系统与目前现有的方案相比,具有新颖、独特、性价比高等优点。