由合取范式求主析取范式的一种新方法

通过构造树,给出一种由合取范式求主析取范式的方法,该方法能够比较方便地得到命题公式的主析取范式。     

DNA计算综述

介绍DNA计算的基本思想,实现方式和主要计算模型,指出DNA计算存在的问题,最后对DNA计算的发展前景进行了展望.     

DNA计算

DNA计算是一种以分子生物学技术为基础的新型计算法。它以DNA链来表示输入与输出数据。与传统的电子计算相比．具较高并行性，在解决复杂问题时．显示出了巨大优势。它的实现将有利于生物计算机的研制。     

主范式的计算方法及其在命题公式中的作用

针对数理逻辑中主范式的求解难度较大、方法繁琐,充分利用极小项与极大项的特征及其与二进制数的关系,综合求解主范式的各种传统方法,给出较为简洁实用的计算方法。同时系统论述两种主范式在命题逻辑中对于理解和分析命题公式诸多方面的作用。     

DNA计算图的最小顶点覆盖问题

自1994年Adleman发表了第一篇关于DNA分子计算的文章以来,DNA计算迅速成为活跃的研究领域。利用DNA计算解决了图的最小顶点覆盖问题,在构造了合有6个顶点10条边的图的顶点集对应的数据池之后,进行了一系列的合成、杂交、清洗、变性等生物操作。得到所有覆盖对应的DNA序列,然后通过编址得到所要求的最小覆盖。     

DNA计算原理研究及展望

近年来,DNA计算引起了各个学科研究人员的广泛注意。本文主要讨论了DNA计算的原理,综述了DNA计算的特点、DNA计算模型,指出了DNA计算研究中存在的问题,最后就DNA计算的发展前景进行了展望。     

关于DNA分子中碱基的数量计算

一、DNA分子中碱基的数量关系 核酸所含的碱基有A、T、C、G、U五种。DNA分子与 RNA分子的区别在于 DNA分子中含有碱基T.而不含碱基U,以此可以判别一个未知核酸片段是属于DNA还是RNA。双链DNA分子与单链DNA分子的区别在于双链DNA分子中碱基是互补配对的,存在A=T、G=C的数量关系。如果一个DNA分子中A≠T,G≠C,则说明该DNA分子单链。单链DNA分子较少,仅存在于某些噬菌体(M14)中。对双链DNA分子来说,存在以下关系。     

离散数学中NP完全问题的DNA计算

随着数学研究逐渐深入,对于离散数学问题探究越来越多。离散实现是数学领域中的重要分支,在离散数学中包含着很多NP完全问题,为了有效的解决这些完全问题,需要借助DNA计算方式。目前DNA计算已经成为了数学、生物、化学乃至计算机科学领域中的重点研究对象。基于此,在本文中对离散数学中NP完全问题的DNA计算进行研究。     

DNA计算在数据挖掘中的应用研究

DNA计算在求解复杂的组合优化问题中获得成功并表现出良好的性能,通过把数据挖掘任务转化为图论或组合优化问题就能很好的利用DNA计算来解决问题.本文主要介绍了DNA计算在分类和聚类两个重要的数据挖掘任务中的应用研究情况,阐述了算法的基本原理及特性,最后总结了DNA计算在数据挖掘应用中尚待解决的问题.     

基于DNA计算的遗传算法解决最小生成树问题

给出了最小生成树问题（MST）的一个基于混合DNA计算的遗传算法模型。在该模型中,为了对最小生成树的解进行编码和解码,通过引入DNA计算,提出了一种最小生成树问题的改进遗传算法编码方案,该方案吸收了DNA计算和遗传算法的优点,具有固定的长度。为了搜索需要的最佳编码,引入遗传算法搜索技术,并给出了自适应的交叉算子和变异算子。最后,根据最小生成树问题的特点,通过实例仿真验证了所提出的基于DNA计算的遗传算法的有效性     

关于主范式的定义

对离散数学中主范式定义作了适当的修改。     

主范式在推理有效性判断中的应用

给出了利用主析取范式、主合取范式判别推理有效性的两种方法,指出了由前提的主合取范式析取任何命题公式所得新公式均为前提的有效结论.     

命题逻辑中的数字表示

讨论了命题逻辑中的数字表示,给出了一系列重要结论,并通过实例说明了基于整数运算的求命题公式主范式和进行逻辑推理的方法.它为计算机处理命题逻辑提供了一种有效的途径.     

真值表在数理逻辑中的重要作用

从数理逻辑中的命题公式等值判定、联结词定义、主析取范式求法、谓词公式类型辨别和推理正确性检验等几方面探讨了真值表所起的重要作用，指明真值表是数理逻辑学科体系的最重要的基石，重点抓好真值表的教学是解决好整个数理逻辑教学的关键.     

求最小集范式和最大集范式的新方法

本给出了求一个集合的最小集范式和最大集范式的新方法,这种新方法是快速而准确的。     

美学范式转换中的否定主义美学

经典的、纯艺术的美学研究已穷途末路 ,美学面临着一种范式的转换。在将美学与历史、文化进行深层次打通 ,从一个更本源、更核心的层面去进行把握方面 ,吴炫先生的“否定主义美学”具有深刻的启示意义。     

图的支配集的有效算法

给出了利用命题逻辑公式的析取范式和主析取范式求图的全部极小支配集和最小支配集以及全部极小边支配集和最小边支配集的一般算法     

建国以来人物通讯写作范式的三大转变

人物通讯对社会的导向作用与社会对其产生的反作用双向进行。建国以来，人物通讯在如实反映社会政治、经济及文化的发展变迁的同时，其自身的写作范式也随之出现了相应的转变，它主要表现在三个方面：即选取对象由单一转向多元．人物形象从模式化日益走向个性化．以及人物身上的现代性元素不断增强。     

MiniSAT求解器在判定可满足性问题中的应用

目前布尔逻辑已成为计算机科学的重要理论基础之一,是研究人类思维规律的重要工具。可满足性问题是典型的NP问题,SAT求解器的开发使得判定可满足性问题更加自动化。以与门电路为例．描述了如何将电路问题转换成可满足性SAT问题并使用MiniSAT求解器进行求解,包括输入格式、选项以及输出格式要求。