一种新的卡诺图化简法

设计了一种新的卡诺图化简方法，可以对七变量及以上的逻辑函数进行化简．这种新卡诺图化简法化简逻辑函数不是采用画包围圈的办法，而是先用新卡诺图来判断哪些标“1”的单元是逻辑相邻的单元，然后再把任何2^m(m=0，1，2，…，n)个标“l”的逻辑相邻单元所对应的最小项项号所对应的二进制数集中到一起，把变量取值保持不变的变量保持下来，把变量取值发生变化的变量去掉，剩下的变量之“与”就是这2^m个逻辑相邻单元化简后的乘积项，这种方法对化简任意变量的逻辑函数都适用。     

卡诺图化简逻辑函数技巧

卡诺图化简法又称为图形化简法。该方法简单、直观、容易掌握，因而在逻辑设计中得到广泛应用。我们要掌握化简原则，多加练习，运用自如。     

逻辑函数的计算机辅助卡诺图化简

利用Ｃ语言的运算，在不知道化简公式的情况下，当已知逻辑函数，求出最简逻辑函数     

多输出组合逻辑函数共卡诺图化简法的研究

针对多输出逻辑函数,建立了一种规范化的共卡诺图化简沦。该化简法要求用一张卡诺图表示多输出逻辑函数,使得它们的共享部分在几何上相互重叠,为辨识共类共享最小项和合并提供了方便。以实例说明了共卡诺图化简法的应用,展示了该方法化简多输出逻辑函数简洁明快的特色。     

时序电路设计中应用卡诺图化简逻辑函数的一种简捷方法

介绍了在时序电路设计中应用卡诺图进行逻辑函数化简时的一种简捷方法,按本方法化简设计出的电路可以满足所用触 发器和门电路数目最少以及触 发器和门电路输入端数目最少的“最简”要求。方法易于撑握,使用方便。     

时序电路设计中应用卡诺图化简⒇逻辑函数的一种简捷方法

介绍了在时序电路设计中应用卡诺图进行逻辑函数化简时的一种简捷方法,按本方法化简设计出的电路可以满足所用触发器和门电路数目最少以及触发器和门电路输入端数目最少的“最简”要求。方法易于掌握,使用方便。     

卡诺图法化简逻辑函数的规则

提供了卡诺图上化简逻辑函数的完整规则，用于单输出和多输出函数化简，对规则作了论证，规则的应用是简便的。     

化简逻辑函数软件设计

介绍了一种化简逻辑函数的软件,其化简原理基于一种化简逻辑函数的新方法。由于化简方法中使用的真值表、蕴含表等都是一些二维的表格,因此采用数据库技术编程。文中包括软件的总体设计构想和三个特殊模块的设计思路。由于与一般的管理和控制软件不同,该软件设计方法独特,使用方便,化简迅速,结果准确。     

化简逻辑函数的ADPR方法

提出了逻辑函数的一类无效逻辑项与二类无效逻辑项的概念,讨论了这两类无效逻辑项的性质,在此基础上建立了最简逻辑函数的判据,从而得到了化简逻辑函数的方法,这一方法克服了传统代数法化简逻辑函数时没有固定方法和步骤,不能判别是否为最简函数式以及过多地依赖于技巧等诸多困难．特别是当逻辑变量的个数大于５时,此法显著地优于卡诺图法．     

逻辑函数FGOC展开的最小化技术

为了减少已有图形法的最小化算法的计算量，提出了新的逻辑函数在固定极性下的或-符合（FGOC）展开最小化算法.引入了逻辑函数FGOC展开的矩阵,分析了单变量与二变量逻辑函数的FGOC展开及其矩阵.基于符合运算的性质,推导出此矩阵的递推律.推广至任意多变量逻辑函数，可以得到全部FGOC的展开矩阵.并提出了FGOC展开最小化方法.通过分析逻辑函数的FGOC展开过程，研究了变量数与符合算法的运算次数的规律.结果表明，与图形法的FGOC展开最小化方法相比较, 随着变量数的增加，符合运算次数大幅度减少.该方法适合于计算机编程实现，并能快速获得计算结果.     

网络函数矩阵的电路综合

提出了用(p+q)端口回转器综合网络函数矩阵的原理和方法,给出了网络函数矩阵系统综合电路.首先将网络函数(传输和混合函数)矩阵方程转换成多端口阻抗函数矩阵方程,然后,将多端口阻抗函数矩阵Z(s)分解成G·Yb(s)·GT的形式,实现了Z(s)=G·Yb(s)·GT的电路综合.并且给出了求函数矩阵Yb(s)和矩阵G的方法.     

留数定理在计算矩阵函数值中的应用

文中探讨了矩阵函数值的计算问题．证明了：若f（z）是复平面C上的整函数,A={aij}∈Cnxn｜｜A｜｜为相容矩阵范数,L是一半径充分大的圆周（半径r≥｜｜A｜｜）,（ζI-A）^-1={bij（ζ）},则有f（A）={1/2πi∫Lf（ξ）by（ξ）dξ}。依据该结论,文中给出了利用留数来计算矩阵函数值的新方法。     

Disjunctive logic and semantics of disjunctive logic programs

In common sense reasoning with incomplete knowledge bases, conclusions are made by defaultHowever, it is observed that when the negation-by-default operator not is defined as not provable , the disjunctive logic program { a V b, not a, not b} should be consistent because a being not provable and b being nor provable does not imply a V b being riot provable. Such an observation is significant for non-monotonic reasoning, but none of the major current semantics for disjunctive logic programs is able to support it because they are all based on classical first-order logic in which assuming not a and not b implies assuming no: (a V b) A new first-order logic (disjunctive logic ) is developed that fully complies with this observation and new semantics for disjunctive logic programs are established This theory is able to formalize and solve some paradoxical problems, such as the lottery paradox     

一种精馏塔传递函数矩阵的理论推导方法

在一定在理想化假设条件下，本文给出了一种新颖的精馏塔传递函数矩阵的理论推导方法。无需参数辩识，可通过设计数据及稳态操作条条直接构造精馏塔的传递函数矩阵。所得数学模型能够用于精馏塔控制系统的设计和动态特性的研究，对于实施精馏过程的有效控制具有十分重要的作用。通过对某精馏塔的动态仿真，证实了这种模型化方法的有效性。     

A novel vehicle navigation map matching algorithm based on fuzzy logic and its application

A new real-time map matching algorithm based on fuzzy logic is proposed. 3 main factors affecting the reliability of map matching, including the distance between the vehicle location and the matching road segment, the angle between the vehicle direction and the road segment direction and the road connectivity are discussed. Fuzzy rules for the distance, angle and connectivity are presented to calculate the matching reliability. 2 indicators for estimating the matching reliability are then derived, one is the lower limit of the reliability, and the other is the limit error of the difference between the maximal value and the second-maximal value of the reliability. A real-time mapmatching system based on fuzzy logic is therefore developed. Using the real data of global positioning system(GIS) based navigation and geographic information system(GPS) based road map, the method is verified and the results prove the effectiveness of the proposed method.     

对SVO逻辑方法的改进

随着移动应用广泛普及,移动通信的安全要求就愈来愈高,而移动设备计算能力相对较低,如何降低移动端的计算量是移动通信的认证密钥协商协议需要解决的问题.为了降低通信中移动端的计算量,很多用于移动设备的身份认证协议采用哈希函数代替签名机制进行身份认证,而SVO逻辑缺乏对哈希函数用于身份认证的形式化描述.因此,扩展了SVO逻辑分析哈希函数的逻辑语法,增加了相应的推理公理,证明了推理公理的安全性.然后,讨论了SVO逻辑方法的分析目标,举例证明了其实体认证目标存在的漏洞,提出新的认证目标,同时分析了新目标的安全性.实验证明,对SVO逻辑方法的扩展与改进是实用和有效的,此工作对其他的安全协议形式化分析方法也具有借鉴意义.     

重建科学认识的“完整哲学图式”——发现逻辑与检验逻辑关系探究

阐述了西方科学哲学家在发现逻辑与检验逻辑关系问题上的两大路线及其两者的联系与区别；再从科学认识过程、科学方法论和科学思维形态3个维度展现两者的“关系”，重建科学认识完整的哲学图式。