图的和运算与正规积运算的分数色数

首先给出图的分数色数、图的和运算和正规积运算的定义,然后研究图的和运算和正规积运算的分数色数,以及这些运算的分数色数之间的关系,进而得到图的和运算、正规积运算的分数色数上下界,从而完善图的四大运算分数色数与其因子的分数色数之间的关系。     

两类齿轮图的分数色数

分数着色是在正常着色的基础上提出的,拓展了图着色的研究领域,便于更好的研究图的结构.主要研究了齿轮星图,齿轮风车图的分数色数,分数关联色数和分数全色数,给出了计算这些图形分数色数的公式,并且对公式进行了证明.     

基于遗传算法的图关联着色算法

图的着色算法是一种典型的NP-完全问题。给出了一种用于图的关联着色的遗传算法。遗传算法用于进行全局搜索,从而有效的查找解空间。文中对关联色数为6的一个图进行了仿真实验,给出了该图的关联色数以及4种6-关联着色。用本文提出的算法,得到了完全图、完全多部图的关联色数。实验结果表明,本文设计的遗传算法可以很好的对关联着色猜想进行求解,获得问题的高质量的解。     

求解Job-shop调度问题的遗传算法

在引入一种新的具有自适应性的杂交概率和变异概率的基础上，提出了一种构造染色体的新方法，进而提出了一种面向工作车间问题的新的遗传算法。同时给出了一个例子来说明算法的收敛性和收敛效率。仿真结果表明了该算法的有效性。     

DNA计算的原理和模型

介绍了DNA计算及其模型，阐述了DNA计算的数学基础，讨论了DNA计算的优点和目前存在的问题。     

文件传输的遗传算法优化研究

给出了文件传输问题的边着色模型。遗传算法是一种借鉴生物界自然选择和进化机制发展起来的高度并行的、随机搜索算法，具有自适应性。为了求解文件传输问题，文章在引入一种新的自适应性的交换概率和变异概率的基础士，提出了一种面向求解文件传输问题的遗传算法。提供了遗传算法的结构并讨论了遗传算子。本文给出了一个例子说明算法的收敛性和收敛效率，仿真结果表明了算法的有效性。     

一般可计算均衡模型的自适应遗传算法研究

在引入一种新的真有自适应性的杂交概率和变异概率的基础上，本文提出了一种构造染色体的新方法．提出了一种面向一般可计算均衡模型的新的遗传算法．本文给出了一个例子来说明算法的收敛性和收敛效率．仿真表明了算法的有效性．     

基于模型转换的MARTE顺序图的形式化分析

作为一项新规范,MARTE有许多方面亟待完善.如何对依照MARTE设计的模型开展验证是待解决问题之一.对象管理组织提出用模型转换的方法将依照MARTE设计的模型(记为A)转换成另一种具有完备的验证方法和工具的形式化模型(记为B),然后对B进行验证和精化,以完成A的验证和精化工作.此思想面临的难题是如何保证B能够完整且准确地模拟A的行为.提出了形式化模型-TrS4SD,用来描述MARTE规范定义的带时间约束的顺序图的形式语义并在此基础上展开分析.首先给出顺序图的形式定义,把时阃变迁系统(TrS)扩充成TrS4SD,用TrS4SD描述顺序图的形式语义,最后对TrS4SD展开分析.这在一定程度上提高了设计阶段模型的正确性.通过一个实例说明从顺序图到TrS4SD的转化过程以及基于TTS4SD的验证方法.     

模糊神经网络的DNA算法训练

提出了基于DNA计算和遗传算法的DNA遗传算法,给出了DNA遗传算法的结构，讨论了遗传操作算子,利用DNA遗传算法对FNN进行学习，比采用梯度型算法和遗传算法有更高的学习精度和更快的收敛速度,该算法有全局收敛性避免了采用梯度型学习算法训练FNN时固有的局部收敛问题，同样，该算法加速了FNN的训练，能够在线应用．     

图的分散着色和分数色数

引入了一种新的图着色：图的分数关联着色。定义了图的分数关联色数。讨论了分数关联着色的性质,给出了图的分数关联色数的一个下界。