合取范式化为析取范式的DNA表面计算

合取范式化为析取范式的计算复杂度是指数级别的,为了降低它的计算复杂度,提出了合取范式化为析取范式的DNA表面计算．因为DNA中碱基对的配对可以同时进行,所以DNA表面计算具有并行计算能力,它实现了将合取范式化为析取范式的计算复杂度降低到多项式级别．     

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

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

支配数为2的图的最小特征值

主要考虑简单图,其特征值定义为它的邻接矩阵的特征值.在所有给定阶数且支配数为2的连通图中,完全刻画了最小特征值达到极小的图.     

时延和功耗约束无线传感器网络连通支配集算法

针对无线传感器网络虚拟骨干时延和功耗的约束问题,提出（α,β）-约束的连通支配集算法．根据（α,β）-约束定义了时延约束的连通支配树问题（CDTT）,并给出构建同时符合时延约束和有限总功率消耗的连通支配树（CDT）算法．算法分为2个阶段执行：首先在单位圆图上构建网络的极大独立集,然后在无向图上基于不同权值的最小生成树和最短路径树,构造满足（α,β）-约束要求的支撑树．理论分析和仿真结果表明提出的算法能够正确地解决CDTT问颢,并能够构建平衡功率消耗和传输时延要求的无线传感器网络虚拟骨干．     

基于ε支配擂台赛法则的多目标遗传算法

将ε支配引入擂台赛算法,得到一种快速确定Pareto非支配集的方法,并据此提出一种改进的多目标遗传算法。从理论上分析新算法的时间复杂度,并通过数值对比实验验证新算法的有效性。     

主析取范式求法解析

求主析取范式包括真值表法、推演法以及用真值表法求┐G的主析取范式、用推演法求┐G的主合取范式等四种方法。用极小项的性质给出了真值表求法的证明,用公式相等的定义证明了求G的主析取范式的定理。     

基于改进庄家法则的多目标进化算法

非支配集的构造方法是多目标进化算法中最重要的问题。在用庄家法则构造非支配集时,若非支配个体较多,由于需要进行多轮比较,所以算法的计算复杂度较高。在庄家法则中引入一个副庄家,用以减少下一轮比较个体的个数,从而最终减少比较的轮数。数值实验表明:改进后的算法具有较高的运行效率。     

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

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

极大独立集与极小覆盖集的逻辑及递归算法

本文主要研究了图的极大独立集与极小覆盖集之间的关系．并给出了将图的所有极大独立集与极小覆盖集一次性给出的逻辑及递归算法。     

求图最小控制集的逻辑算法

本文了求图的全部最小控制集的逻辑算法，并用此方法对监狱看守通讯系统等问题给予求解。     

小项的性质与小项的编码

通过真值表技术把一个命题演算的合式公式化成主析取(主合取)范式在数理逻辑教学中是比较抽象的内容,如果把握住小项的编码的性质,这个问题就比较容易理解.本文论述了小项的几个重要性质和编码,在教学实践中收到了较好的教学效果.     

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

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

关于主范式的定义

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

命题逻辑中的数字表示

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

九江话里的反复问句

九江话中的反复问句是由谓词加语气词构成的,它所常用的语气词无论是从语音分析还是从语文组合来看,都可以看作是否定副词与语气词的合音形式。这在现代汉语中是很独特的现象,该文对这一语言现象进行了详细地描写。     

假言+选言推理的逻辑构造,判定和使用

“假言＋选言推理”是以假言命题和选言命题为前提的组合推理。根据假言、选言全中构造出１２种推理模式。采用归谬赋值法,对其有效性进行判定“Ｎ难推理”便是这种推理的语用形式。     

浅谈英语口语中反意疑问句的运用

英语口语中反意疑问句的运用比较灵活多变。其中 ,反意疑问句的主语以Let和Let’s开头的祈使句、复合陈述句、带否定副词或否定代词的句式以及used句式等等 ,其形式和意应在一致性方面予以强调。