命题逻辑等值演算的计算机求解方法

探讨了利用数据结构中广义表的特性来设计命题逻辑表达式在计算机上的逻辑结构和存储结构，以及在这种结构上如何实现它的基本操作，进而实现其它复杂的等值演算。     

逻辑表达式的机器化简

在逻辑电路的设计中,人们根据所提出的实际问题列出了相应的逻辑表达式,但当我们用逻辑电路来实现表达式所反映的逻辑功能时,自然会提出下述问题:在逻辑功能不变的条件下怎样使电路的成本最低?显然,其对应的问题就是寻求一个与原来的逻辑表达式逻辑等值的最简表达式,而这个最简表达式所对应的电路就是实现所需逻辑功能的最简电路,从而也就是成本最低的电路。如上所述,逻辑表达式的化简具有重大的实际意     

关于FOXBASE~ 中(JOIN)、(UPDATE)命令的使用

数据库文件连接的命令格式:JOIN With<别名>TO<文件名>for<逻辑表达式>[Felds<字数名表>].数据库文件更新的命令格式:update on<关键字>from<别名>replace<字段名1>with<表达式1>,[<字段名2>with<表达式2>……][RAndoml]本文通过实例说明以上数据库操作命令主、辅工作区上数据库文件操作的特点以及如何合理选择“关键字”和“逻辑表达式”.     

可编程控制器控制系统的计算机辅助设计

针对可编程控制器控制系统设计过程中的关键性技术问题，提出并实施了计算机辅助设计方法．通过对梯形图的分析比较，得出了逻辑表达式的评价指标及逻辑变换方法．通过使用模块化和计算机编译技术，实现了电气图向梯形图逻辑表达式的自动转换，以及梯形图的自动绘制和可编程控制器指令的自动编程     

逻辑函数表达式几种常用形式的转换方法

在用限定的逻辑门电路实现某一逻辑功能时需要进行逻辑函数表达形式的变换。基于探索各种逻辑函数表达式获取方法的目的,采用以与或表达式为基础及各种表达式的定义出发进行变换的方法,给出了逻辑函数表达式几种常用形式的转换方法与步骤,并给出基于特殊最小项构成的标准与或式变换成逻辑函数异或式的方法与步骤。变换过程简单、方便快捷,能提...     

PC控制系统的计算机辅助设计

针对ＰＣ控制系统设计过程中的关键性技术问题，提出并实施了计算机辅助设计方法。通过对梯形图的分析比较，绘出了逻辑表达式的变换方法。进而使用模块化和计算机编译技术，实现了电气图向梯形图逻辑表达式的自动转换、以及梯形图的自动绘制和ＰＣ指令的自动编程     

可控硅自动调速系统的逻辑设计

本文论述了可控硅逻辑无环流电枢可逆自动调速系统和磁场可逆自动调速系统的逻辑设计。借助于卡诺图,推导出两系统逻辑装置中各开关控制指令函数的最小化布尔表达式及其实现。     

后序遍历二叉树实现表达式求值

本文对中缀表达式进行扫描,借助链栈创建二叉树,后序遍历二叉树实现表达式求值.比传统表达式求值方法有着更高的时间和空间效率,尤其适用于同一表达式对于多种赋值组合求值的情况,如判定逻辑表达式的类型等,具有一定的实用价值.     

E.Coli乳糖操纵子模型动力学行为的逻辑代数表达式

把 E.Coli 乳糖操纵子模型中阻抑过程与阻抑解除过程的动力学行为,类比为“开关”的基础上,将乳糖操纵子模型变换为它的逻辑代数表达式。并将该逻辑代数表达式与客观存在的某些生物原型中的阻抑与阻抑解除过程的动力学行为进行比较,可以看出,所建立的逻辑代数表达式与生物原型之间输入与输出是严格等价的。     

基于四值逻辑的汉字图像识别方法

采用定义在汉字图像平面上的四值逻辑函数对汉字图像特征进行定量描述,建立汉字图像特征的逻辑表达式。通过求解这些表达式的值,即可判断该汉字是否具有某种特征,从而得到一种汉字图像识别的新方法。     

关于二叉排序树及删除异常的讨论

本文围绕数据结构中的二叉排序树,讨论了相关的基本操作,重点分析了二叉排序树的删除操作,指出在现实中存在二叉排序树删除操作的混乱现象,这种混乱导致删除后二叉排序树的定义不再成立,并通过实例详细分析这种删除异常现象出现的条件,最后提出避免删除异常的可行建议.     

递归算法的N级结构在EAM位置系统结构中的应用

根据EAM实际应用中位置系统的设计方法，分析了位置系统结构树树形结构的二叉树转换原理，研究了二叉树的递归算法，描述了实现位置系统结构的各种操作设计方法。设计出来的位置系统结构不仅可以应用于单层的位置系统结构，也可以用于多层的位置系统结构，解决了数据冗余问题。设计的位置系统结构已在EAM系统中得到了成功应用。     

QBL-代数及其与BL-代数的等价性

根据命题逻辑系统BL与基础逻辑代数BL在语义方面相匹配的特征, 将基础逻辑系统BL中的部分公理代数化, 建立一种新的代数结构QBL-代数, 并证明了QBL-代数与BL-代数的等价性, 以两种二元运算,→为基础在一般集合上给出了基础逻辑代数BL的表示定理.     

实时协同标绘系统中的即时锁共享机制研究

针对协同GIS应用中的并发与协同,提出了一种即时锁共享机制.其基本思想是在一定的协同感知基础上,允许产生一定的冲突,然后加以解决.对于共享锁用户并发操作导致的冲突意愿保护,采用了有向二叉树结构存储的并发版本方法.冲突的解析则利用角色和投票相结合的方法.此机制已经在CoGIS中实现,结果证明它可以在保证数据一致性的基础上提高系统的整体性能.     

在Java语言中实现动态数据结构

就如何在摒弃了指针的 Ｊａｖａ语言中实现动态数据结构提出了两种解决方案：用 ｖｅｃｔｏｒ类和用数组实现之。以二叉树为例分别给出了两种方法的实现算法,讨论了它们各自的优缺点。     

精馏分离序列综合邻域结构的研究

为了有效解决精馏分离序列优化综合问题,研究邻域(超级)结构是成功实现寻优算法的前提。由于精馏分离序列与二叉树之间具有同构性,在数据结构上精馏分离序列可以抽象为二叉树,进而采用图论方法对其进行研究。本文运用组合数学理论深入研究了精馏分离序列综合问题．简明分析了有序剖分问题的计算复杂性;通过二叉树相邻切分点变换机制,实现了对精馏分离序列的随机搜索;提炼出后序遍历相邻变换的等价规则,从而构造出高效演化邻域结构。     

模态逻辑D演绎过程的化简规则

以分析模态逻辑中文字公式的极性为基础，将经典逻辑的Ｄａｖｉｓ－ｐｕｔｎａｍ纯文字化简规则推广到了命题模态逻辑Ｄ系统的自动演绎中，并给出了一些刻划Ｄ逻辑自动演绎特征的化简规则，这些化简规则通过对公式、子公式和公式集的有效性（或不可满足性）的有条件的判断，进行证明过程的剪枝和化简，以提高Ｄ逻辑自动演绎的效率；这些化简规则都是依据公式（集）本身的结构特征，可用于Ｄ逻辑的任意一种推理实现系统，在机器上是容易实现的。     

Design and implementation of binary tree data structure based on DNA computing

The designing,encodings and an instance of simulation of a binary tree for DNA computer were proposed,which utilizes the method of biology to complete inserting and deleting of the binary tree. Firstly,DNA encodings for storage and all elements of the binary tree were completely given out. Then, the implementations of all biooperations in DNA computer were described. Finally, to prove the feasibility of this method, an actual binary tree with detailed nucleotide encodings was introduced. The process of an algorithm implemented on this binary tree was demonstrated. Based on this method, more other data structures in DNA computer can be developed.     

基于正规剩余格的一个逻辑系统及其完备性

在模糊逻辑中,基于剩余格的逻辑系统起着非常重要的作用.本文提出一种新的代数结构,叫做正规剩余格,研究这种剩余格的性质和结构,建立基于正规剩余格的统一的逻辑系统,许多重要的逻辑系统是这个系统的扩张.进一步,本文还讨论了这个系统关于建立在正规剩余格上语义的完备性.     

基于二叉树的族谱生成系统的设计与实现

针对历史较长的家族数据量大,普通书籍方法查阅起来困难的问题,设计一款基于二叉树的族谱自动生成管理系统,系统主要利用计算机数据结构中的二叉树,对家族的族谱进行生成及实现管理功能。实验证明,系统能有效实现族谱的自动生成,具有一定的应用性。