求解度约束最小生成树的单亲遗传算法

提出了求解度约束最小生成树问题的单亲遗传算法.该算法首先利用Prufer数对生成树进行编码;然后精心地设计了一个随机地产生初始种群的方法,用这种方法产生的初始种群,不会含有任何不可行解;在遗传操作中只使用选择和变异操作,共设计了三种变异操作,其中两种变异操作均不会产生不可行解,只有一种变异操作可能会产生不可行解,需要作树的度的检查和修改;这样就大大的降低了不可行解产生的机会,从而提高了遗传算法的效率;而且只使用变异算子,有效的避免了早熟收敛现象的产生;通过大量的数值试验,表明该算法简单,高效,收敛率高;最后对此算法做了适当推广,并给出了它求解TSP问题的具体步骤和实例。     

基于合同网和petri网的多预警机情报协同模型

随着作战环境的日益复杂,多预警机进行情报协同成为必然趋势,而如何对参与情报协同的各预警机进行实时的动态任务分配以使系统整体效能最大化成为亟待解决的课题。基于此,首先,根据部队指挥体制具有层次结构的特点,结合集中式与分布式任务分配的优点,设计了混合式情报协同体系结构,并对系统的相关元素进行了建模;然后,提出用合同网解决各预警机间任务的动态协调问题,用petri网模型去捕获合同网协议中管理者和投标者间的相互关系:招标者需求petri网可以计算每个子任务的预期时间,合同评估petri网可以评估合同的可行性及最优性,合同授予petri网可以自动将最优合同授予相应的投标者;最后,通过仿真验证了模型的有效性。     

一种基于petri网与ECA规则转换的工作流演进模型研究

SWF-net是一类带约束条件的petri网,文章提出一种扩展的ECA规则(FECA),将多个SWF-net转换为FECA模型.采用这一技术,实现了工作流执行中的动态路由和模式反馈,能很好的解决工作流适应性和过程模型持续改进的问题.文章详细阐述了工作流模型的演进过程并给出了实际例子.     

基于着色petri网的电子商务跨组织工作流建模与分析

在现代电子商务中,企业常常跨组织进行各种商务活动。利用着色跨组织petri网对电子商务工作流进行了建模与分析。给出了电子商务着色跨组织工作流网健壮性的概念,并利用可达标识图讨论了电子商务工作流网的健壮性。     

鱼雷发射过程控制序列的Petri网仿真分析

以某鱼雷发射过程的控制序列作为研究对象， 提出了在非完全离散系统基础上建立Petri网结构集的离散化方法；针对该鱼雷发射过程的控制序列建立了Petri网，得到了可达树形式的仿真运行结果，并对发射成功的随机性进行了探讨。本文还对Petri网在类似非完全离散系统中的应用作了分析和展望。     

基于免疫规划的单亲遗传算法研究及其应用

在分析了单亲遗传算法的优越性与存在不足的基础上,借鉴生物免疫概念与理论,提出了一种新的单亲遗传算法——基于免疫规划的单亲遗传算法。该算法的核心在于使用最优保留策略前提下,合理地构造了非均匀算子和免疫算子。理论分析和仿真结果表明,该算法不仅能够有效地保持群体多样性,而且减轻了遗传算法的后期波动现象,同时收敛速度明显提高。     

基于单亲遗传模拟退火算法的顶点p-中心问题

针对顶点p-中心问题这一经典的离散选址NP困难问题提出了一种单亲遗传和模拟退火的混合算法.该算法:1)采用单亲遗传算法简化遗传操作过程;2)加入模拟退火策略,增强局部优化能力;3)提出自适应选择法,根据个体的优劣及算法迭代情况来选择个体;4)设计了自适应基因重组操作;5)采取最优保存策略,避免最优解的丢失.数值实验结果表明了该算法对于解决规模较大的顶点p-中心问题的有效性.     

基于Horn子句集的Pr/T网可达树的方案求解

问题求解是当今人工智能领域研究的重点,在文中对于能用Horn子句集表示问题求解情境的一类问题,利用谓词/变迁网对其进行建模,详细分析了网系统模型的有界性,并借助网系统的可达树提出了一个求解问题解决方案的算法.最后给出一个例子对算法思想进行说明.     

基于蚁群算法的随机Petri网最优路径序列寻找

根据蚁群算法对SPN进行了一定的扩展,为SPN网络中的变迁增加了过滤和保留信息功能,为库所增加了过滤信息的功能,得出了一种带有记忆性的连续时间随机Petri网(MESPN).当MESPN运行时,利用充足量的托肯在网络中行走并且在行走过程中留下信息素来调整托肯路径的选择,使大量蚂蚁的行走路线不断逼近SPN网中时间延迟更短的变迁序列,最终在最短变迁序列上形成清晰的蚁路,从而在一定程度上解决了复杂SPN网的最优路径寻找问题.该算法充分考虑了每个变迁真正实施时间的概率特性,可以计算任意网型的变迁延迟时间概率分布.仿真结果表明,托肯可以有效地在最短延时路径上形成蚁路并且能够求得从初始库所到网络中任意库所的最短路径.     

基于客户满意度的MOVRPFTW的单亲遗传混合蚁群算法

为解决基于时间窗和食物新鲜度形成的综合客户满意度，且具有最大运输时间限制的带模糊时间窗的多目标车辆路径问题（MOVRPFTW），建立了相应的数学模型。针对蚁群算法容易陷入局部最优的缺陷，将单亲遗传算法和蚁群算法相结合，利用单亲遗传算法的3种遗传算子和区别于传统遗传算法的两种操作手法，构建了多种单亲遗传混合蚁群算法，并进行算例测试。结果表明：与基本蚁群算法相比，单亲遗传混合蚁群算法求出的解的各项目标的平均值更优；同时，单点单亲遗传混合蚁群算法较多点单亲遗传混合算法在求解此问题中的用时更少、计算效率更高，并且移位算子较其他两种算子具有较好的求解性能。     

基于时间Petri网的星载海量存储器动态仿真

星载海量存储器的实时性和安全性要求在系统设计初期进行形式化分析和仿真。在采用UML对系统进行建模的基础上,本文提出一种通用算法将状态图自动转化为时间Petri网。同时根据系统约束和Petri网化简规则化简,分析其可调度性并给出星载海量存储器的时间性能评估。该方法适用于周期任务的静态、有限级调度系统,具有较广的适用性。     

基于元模型的模糊Petri网反向传播学习算法

模糊Petri网是知识表达与并行推理的重要工具,但拓扑为非严格分层的结构。为在不增加虚节点的情况下实现模糊Petri网的反向传播学习,提出模糊Petri网元模型的概念,统一四种基本产生式规则对应的模糊Petri网模型。并建立元模型的结论置信度关于条件置信度的连续映射,给出了正向推理算法。为提高收敛速率,先通过基于回溯策略的反向推理算法,计算元模型结论置信度对条件置信度的梯度函数,最后采用Levenberg-Marquardt算法实现权值优化。     

Petri网及其随机Petri网的性能分析方法

本文研讨和实现基于Ｐｃｔｒｉ网及其随机Ｐｃｔｒｉ网的性能分析方法。文中在Ｐｃｔｒｉ网基本概念的基础上，给出了若干Ｐｃｔｒｉ网典型的模型，讨论了Ｐｃｔｒｉ网的分析方法和分析性质。在此基础上，给出了随机Ｐｃｔｒｉ网和离散时间随机Ｐｃｔｒｉ网的定义，用实例描述了性能分析方法。     

基于混杂Petri网的柔性制造系统免疫调度算法

针对具有混杂特征的柔性制造系统调度问题在柔性制造系统的一阶混杂Petri网模型的基础上提出了用于求解柔性制造系统调度最优解的免疫算法。给出了不变行为状态的编码、亲和力计算、抗体的浓度及抗体选择、记忆细胞更新、抗体生成算子等的具体实现方法。实例仿真结果表明,结合混杂Petri网模型和免疫算法能够有效地实现柔性制造系统调度最优解的求解。     

基于代数的模糊Petri网逆向推理算法

分析了多种模糊Petri网的推理算法优缺点。在此基础上,给出了一个基于代数的模糊Petri网逆向推理算法。此算法充分利用了Petri网的数学理论基础和描述并发系统的能力,其数据结构简单,便于计算机编程处理。此外,其逆向推理思想可以将系统转化为一个只与问题有关的简单的系统,减小空间复杂度。最后举例说明了它的应用。     

基于高级对象Petri网的工作流过程建模研究

通过对当前工作流过程建模方法的总结,提出这些方法的不足之处,展望了过程建模的发展动向.在基本的有色 Petri 网系统定义的基础上,引入面向对象技术和时间映射机制,提出了一种基于高级对象Petri 网的建模方法,以提高模型的可重用性,加强对动态流程的描述能力,降低建模过程的复杂度,解决临界资源的共享问题.通过一个具体实例阐述了如何建立高级对象 Petri 网模型,并通过活性分析算法,验证模型对流程描述的正确性和有效性.     

混合控制系统的广义Pet ri 网建模与设计

提出一类混合系统的Ｐｅｔｒｉ网模型,强调连续与离散动态在同一层次的直接交互,连续与离散动态的分布式并发演化。给出基于混合Ｐｅｔｒｉ网的混合控制器设计方法。     

基于Petri网的车辆交通实时调度研究

设计了一种交叉路口车辆交通实时调度策略,建立了交叉路口交通系统的受控着色PN模型,定义了单个方向上路口车辆的整体等待时间和平均等待时间,实时的根据两个方向上整体等待时间的差值和平均等待时间的差值实现红绿灯的切换。     

可达性与状态方程可满足性等价的两个Petri网子类

可达性是Petri网最基本最重要的动态性质之一,但一般Petri网的可达性判定问题至少具有指数空间复杂度,且目前尚无有效的判定算法。不过,存在某些Petri网子类,其可达性判定问题要相对简单,寻找这样的Petri网子类具有重要意义。为此,提出极小陷阱回路网与后向回路网的概念,并证明了初始标识下不含空极小回路的这两个Petri网子类,其可达性判定问题等价于状态方程的可满足性问题。     

基于流态随机Petri网的工业混合系统模型分析

工业中的混合动态系统模型所隐含的是连续与离散相混合的随机过程,使得对模型的数值分析和性能评价变得十分困难.针对此类系统,采用二阶流态随机Petri网进行模型的描述,将模型抽象为二阶偏微分方程组,并采用数值分析方法对模型进行求解.实例仿真表明,该方法能对工业中连续和离散相混合系统进行有效的建模与分析,具有重要实际价值.