排序方式: 共有14条查询结果,搜索用时 281 毫秒
1.
首先给出图的分数色数、图的和运算和正规积运算的定义,然后研究图的和运算和正规积运算的分数色数,以及这些运算的分数色数之间的关系,进而得到图的和运算、正规积运算的分数色数上下界,从而完善图的四大运算分数色数与其因子的分数色数之间的关系。 相似文献
2.
一般可计算均衡模型的自适应遗传算法研究 总被引:1,自引:0,他引:1
在引入一种新的真有自适应性的杂交概率和变异概率的基础上,本文提出了一种构造染色体的新方法.提出了一种面向一般可计算均衡模型的新的遗传算法.本文给出了一个例子来说明算法的收敛性和收敛效率.仿真表明了算法的有效性. 相似文献
3.
给出了文件传输问题的边着色模型。遗传算法是一种借鉴生物界自然选择和进化机制发展起来的高度并行的、随机搜索算法,具有自适应性。为了求解文件传输问题,文章在引入一种新的自适应性的交换概率和变异概率的基础士,提出了一种面向求解文件传输问题的遗传算法。提供了遗传算法的结构并讨论了遗传算子。本文给出了一个例子说明算法的收敛性和收敛效率,仿真结果表明了算法的有效性。 相似文献
4.
提出了基于DNA计算和遗传算法的DNA遗传算法,给出了DNA遗传算法的结构,讨论了遗传操作算子,利用DNA遗传算法对FNN进行学习,比采用梯度型算法和遗传算法有更高的学习精度和更快的收敛速度,该算法有全局收敛性避免了采用梯度型学习算法训练FNN时固有的局部收敛问题,同样,该算法加速了FNN的训练,能够在线应用. 相似文献
5.
分数着色是在正常着色的基础上提出的,拓展了图着色的研究领域,便于更好的研究图的结构.主要研究了齿轮星图,齿轮风车图的分数色数,分数关联色数和分数全色数,给出了计算这些图形分数色数的公式,并且对公式进行了证明. 相似文献
6.
7.
8.
9.
作为一项新规范,MARTE有许多方面亟待完善.如何对依照MARTE设计的模型开展验证是待解决问题之一.对象管理组织提出用模型转换的方法将依照MARTE设计的模型(记为A)转换成另一种具有完备的验证方法和工具的形式化模型(记为B),然后对B进行验证和精化,以完成A的验证和精化工作.此思想面临的难题是如何保证B能够完整且准确地模拟A的行为.提出了形式化模型-TrS4SD,用来描述MARTE规范定义的带时间约束的顺序图的形式语义并在此基础上展开分析.首先给出顺序图的形式定义,把时阃变迁系统(TrS)扩充成TrS4SD,用TrS4SD描述顺序图的形式语义,最后对TrS4SD展开分析.这在一定程度上提高了设计阶段模型的正确性.通过一个实例说明从顺序图到TrS4SD的转化过程以及基于TTS4SD的验证方法. 相似文献
10.
邻点可区别关联着色是使得相邻顶点的颜色集不同的关联着色.本文首先给出了邻点可区别关联着色、倍图及n-倍图的定义,然后研究了路与完全图的倍图及n-倍图的邻点可区别关联色数. 相似文献