逻辑函数的组合项化简法

提出了逻辑函数的组合项化简法,它吸取了卡诺图化简法和列表化简法的优点,是一种全新的逻辑函数化简法,与代数化简法,卡诺图化简法和列化简法相比,显更加直接和简便,所谓组合项,即由几个最小项合并而成的项。     

在MIS系统分析阶段应用面向对象技术的探讨

系统分析阶段是管理信息系统 (MIS)设计开发的起步阶段 ,也是设计过程中的关键一步 ,在该阶段建立逻辑模型的传统方式是采用面向处理的功能分解法。本文先讨论了该方法所存在的局限性 ,然后探讨了另外一种设计方法———面向对象设计方法 ,并将该方法应用于MIS系统的建模当中。     

法的逻辑发展与法的秩序功效:黑格尔的法哲学研究

黑格尔在《法哲学原理》的伦理篇中研究了家庭、市民社会和国家,实际上是探讨秩序问题。在黑格尔笔下,有一幅秩序的逻辑发展图景,由以下一些画面组成,婚姻家庭秩序、市民社会和国家秩序、国际秩序,这一图景为我们探讨法与秩序的着急提供了启示。     

英汉翻译中的逻辑处理

从中西思维逻辑差异角度出发,探讨了英汉翻译时简单句、并列句、重合句中逻辑关系的几种处理方式,如扩充暗含逻辑、转换逻辑关系、增译逻辑关联词等。     

深峭劲急的《韩非子》

从本文《韩非子》1思想内容所体现出的个性特证、逻辑论证的方法、寓言故事的运用、语言使用的骈文化倾向几个万面阐述了韩文所体现出来的峭刻犀利、劲急有力的风格特征。     

基于相似度量的加权近似推理方法

提出了规则中命题加权的真值计算方法及其约束条件,给出了加权的产生式规则的表示形式,定义了一个新的相似度量的加权运算和结论的加权组合方法．在此基础上提出了一种新的基于相似度量的加权近似推理方法．     

一种形式化验证方法:模型检验

模型检验作为一种形式化验证方法,近年来在各种硬件、软件设计中得到了广泛应用．文中首先介绍了描述系统行为的Kripke结构和描述系统性质的CTL逻辑,然后介绍了模型检验中常用的两种算法：标记算法和基于固定点的算法,最后介绍了为避免内存爆炸而引入的符号模型检验技术．     

坐标逻辑异或滤波器融合密钥图的多图像一次填充无损加密算法

为了使图像加密系统能够利用一个密钥可同时对多个图像完成一次填充加密,提出了坐标逻辑异或滤波器(CLFXOR-coordinate logic filter-XOR)耦合密钥图的多图像一次填充无损加密算法;并构建了"初步加密—密文分块—密文滤波"的新机制。引入图像检索规则,并联合与明文图像相同尺寸的密钥图,完成一次填充加密。将CLF-XOR引入到图像中,过滤明文像素坐标,得到了密钥图;并设计压缩XML密钥生成器,得到XML密钥;耦合元胞自动机的时空直方图,构造人工图像,得到图像描述符;并定义了密钥图与明文的融合规则,获取密文;将密文分块,再次利用CLF-XOR过滤每个密文块,产生最终密文。实验结果显示该算法具有优异的加密质量,计算效率高;可对多个明文同步完成一次填充加密;并具有很强的抗明文-密文攻击性能。     

Two-Qubit Logic Gates and Teleportation of an Entangled State of Atom-Cavity with Cavity QED

In this paper, a scheme is proposed for realization of two-qubit controlled-not gates and teleportation of an entangled state of atom-cavity. In this scheme, applying hyperfine levels of atom, we consider A-type three-level atom interacting resonantly or nonresonantly with cavity field that is prepared in σ- polarized. We consider the experimental feasibility of this scheme and compare our results with other schemes.     

计算OC型逻辑函数的布尔偏导数与布尔差分的表格方法

讨论了OC型逻辑函数一阶布尔偏导数的规范OC展开式．在此基础上提出了计算OC型逻辑函数一阶、二阶布尔偏导数的表格方法．根据二阶布尔差分的定义以及二阶布尔差分与布尔偏导数的关系提出了两种计算OC型逻辑函数二阶布尔差分的表格方法,并作了比较．本文提出的计算OC型逻辑函数布尔偏导数与布尔差分的表格方法具有简捷、方便以及易于计算机编程操作等优点．