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

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

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

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

关于圆弧图最大独立集的一种最优算法

本文提出了关于圆弧图最大独立集的一种新算法。当图以弧族的形式给出时,时间和空间复杂性为O(n.logn),O(n)。如果这些弧的端点已排序,则需O(n)时间。此算法时间和空间都是最优的且在常数因子内完成。     

最简单的最小函数依赖集的研究

一般而言,最小函数依赖集并不是最简单的函数依赖集．就如何找出最简单的最小函数依赖集进行了研究．为了描述最简单的最小函数依赖集,提出极简函数依赖集的概念,并利用逻辑代数的理论设计了极简函数依赖集的算法．     

格子图的双罗马控制集

设图G的顶点集为V(G),若实值函数f:V(G)→{0,1,2,3},?v∈V(G),满足两个条件:(1)若f(v)=0,则v一定有一个邻居u满足f(u)=3,或v有两个邻居x和y满足f(x)=f(y)=2;(2)若f(v)=1,则v一定有一个邻居w满足f(w)≥2。则称f为图G的双罗马控制函数(DRDF)。DRDF f的权重记为∑_(v∈V(G))f(v),其中权重最小的f的权重极值为双罗马控制数。本文主要给出了格子图P_2□P_m的双罗马控制数。     

求最大完全子图的启发式着色算法

本文提出了一种求最大完全子图的启发式着色算法.该算法通过为顶点着色将已知无向图划分为极大完全子图的并集,再根据各极大完全子图中顶点的多少选取最大完全子图.随后为提高算法执行效率,又对该算法提出了一种精简措施.最后将该算法运用于一集成电路测试数据编码压缩实验中,证明了该算法对求解最大完全子图的有效性.     

一种基于vague集的模糊描述逻辑

为实现语义web上包含复杂模糊知识模糊本体的表示和推理,提出了一种基于vague集的模糊描述逻辑——vague ALC.首先介绍了vague集的定义,然后给出vague ALC的语法和语义的形式化描述,并规定vague ALC知识库中的公理和断言形式,指出了其推理的基本问题,最后给出了vagueALC的检验概念可满足性的tableau推理算法.Vague ALC建立于vague集之上,用一个区间来表示一个成员函数的隶属度,解决了Zadeh模糊集用单一的数不能准确表示一个成员函数隶属度的问题.Vague ALC具有比ALC更强的表达能力,能够表示复杂的模糊知识并基于它们完成推理任务,因此,vague ALC可实现语义web上包含复杂模糊知识的模糊本体的表示和推理.     

强弦图的k全控制问题的算法

时于图G=(V,E),顶点v能控制点v及所有与v相邻的点.图G的k全控制问题是:对某个给定的正整数k,寻找基数最小的子集D V,使得对任意点v∈V,v至少被D\{v}中k个点控制.本文给出了k全控制问题在强弦图上的线性时间算法.     

基于蚁群算法的最小电路测试集生成算法

为了提高电路故障的测试速度和精度．在现有的传统故障测试集生成算法的基础上,引入蚁群生物的路径规划策略,设计一种基于蚁群算法的电路故障最小测试集生成算法。详细阐述蚁群算法的设计思想,给出数字电路测试问题向蚁群规划问题的转换过程,包括基于蚁群算法的最小测试集生成流程。并对设计的电路故障最小测试集生成算法进行了理论上的性能分析和实际的测试验证,测试结果表明该算法具有较高的综合效率。     

块图中的团横贯集和团独立集

图的一个极大完全子图称为图的一个团．若图G的每一个块为图G的一个团,则称图G为块图．求图的一个最小团横贯集问题和最大团独立集问题分别称为MCTS问题和MCIS问题．文中给出了块图中求解最小团横贯集和最大团独立集的一个线性时间算法,并证明了块图G中的团横贯数等于团独立数,即τc（G）=αc（G）．     

随机图的最大独立集

文章主要介绍了用非贪婪算法在由顶点数和基准边密度赋值生成的不同类型的随机图上进行求最大独立集的测试,通过对测试结果的分析得出顶点数、边密度、基准边密度与独立数、运行时间的联系。     

基于集对逻辑与不确定集对分析的应用

在集对分析理论基础上,结合不确定性问题的特点.提出了基于集对逻辑与不确定集对分析的方法、定义和概念,讨论了其有关的运算和性质.最后通过实例表明,该方法是一种结果合理、结论正确、行之有效的方法.     

基于粒子群算法的移动机器人模糊逻辑控制

本文设计了一个模糊逻辑控制器以解决差速移动机器人轨迹跟踪的非线性问题;在此基础上使用粒子群优化算法解决模糊控制中隶属度函数边界优化的问题。将经过优化后的控制效果与未经优化的控制效果进行对比,仿真结果表明,经过粒子群算法优化后的模糊控制系统的跟踪误差更小,展现出更好的跟踪效果。     

逻辑卡诺图化简逻辑函数过程中应注意的问题

介绍了逻辑卡诺图的特点、应用逻辑卡诺图化简逻辑函数过程应注意的问题及应用逻辑卡诺图化简逻辑函数过程的步骤。     

有限集的幂集的Hasse图

设集合A为含有n个元素的有限集,文中证明了A的幂集2A与包含关系构成的偏序集〈2A,〉的Hasse图就是一个n维立方体,从而建立了偏序集〈2A,〉与n维立方体之间的关系。     

逻辑函数的卡诺图化简法

本文结合数字电路教学实践，总结、探讨逻辑函数的卡诺图化简文化。     

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

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

以X-D图设计逻辑控制电路

本文针对逻辑控制电路设计过程中的一些实际问题,特别是执行元件的动作多于2n个信号时,采用X-D图(信号—动作图)可以较直观、较容易实现。