一类柔性制造系统的死锁预防策略

针对一类柔性制造系统的ES3PR网模型提出了一种死锁预防策略.基于Petri网和信标的理论,我们将可被清空的信标分为基本信标和从属信标.引入多步迭代的思想,给每个基本信标添加两类控制库所普通控制库所和加权控制库所,在满足一定条件时控制所有的从属信标.从而得到结构更简单、活性更强的Petri网系统.     

时间Petri网与遗传-蚁群算法相结合的并行测试研究

自动测试系统中并行测试任务调度方案一直是尚未解决的难题.在基于Petri网理论的基础上,建立了并行测试的时间Petrl网模型,并且首次将遗传-蚁群算法引入到时间Petri网的变迁序列的寻找过程中,快速地求得了最优调度方案.仿真结果表明,该算法能够以较大的收敛概率快速地收敛,最终得到最优变迁序列.     

基于有限容量库所方法的死锁防止算法

针对变迁均可控、可观的推广Petri网,给出了一种防止死锁的算法.该算法基于将死锁防止问题转化为控制规范的迭代算法和将控制规范施加到被控对象上的有限容量库所方法.它相对于只能面向某一类网的死锁防止方法,在通用性上有了很大改进;而且设计的控制器是结构型的,在线计算少、执行快;不过由于是迭代算法,有时离线计算量较大.最后用一个示例说明了该算法,并进行了进一步的讨论.     

基于Petri网的并行自动测试系统资源分配模型与仿真

在并行自动测试系统中,为了对资源分配中的竞争与冲突进行分析,必须对该问题进行建模和仿真.在基于Petri网理论的基础上,提出了一种并行自动测试系统的资源分配模型,并且在该模型下,对一个系统实例进行了仿真分析.实验结果表明,该模型适于描述该类系统的资源分配问题.     

基于Petri网的并发系统控制器设计

针对并发系统的死锁现象,通过原系统Petri网模型的状态可达图和行为规范,产生目标系统的可达图,进一步生成控制器的Petri网模型。同此为这类问题的控制器Petri网模型的生成提供一条有效途径。     

井下机车运输调度的资源分配模型及无死锁优化调度

对井下机车运输系统进行无死锁调度和性能优化, 首先, 建立三种不同调度策略下的资源分配Petri网模型, 设计对应调度策略下无死锁标识的最大边界设置算法, 证明了调度策略在最大标识边界设置下的无死锁性. 然后, 以最小化时耗和能耗为优化目标, 利用遗传算法, 采用变迁标号的自然编码方式, 通过检查变迁的引发条件检测染色体的可行性, 修复不可行的染色体使其对应的调度满足资源约束, 从而保证了算法所利用的所有染色体均可对应系统的可行调度, 最后进行实例仿真. 设计的无死锁调度的最大标识边界设置算法和遗传算法为井下机车的运输调度提供了可靠的理论基础.     

满足2PL协议的无死锁事务并发控制Petri网模型

在建立满足2PL协议的数据库事务并发控制的Petri网模型后,通过分析资源的调度过程得到可能产生死锁的资源集,在模型上对其进行控制,从而得到无死锁的满足2PL协议的事务并发控制的Petri网模型.     

CIMS并行智能实时动画仿真

本文介绍一个ＣＩＭＳ并行智能实时动画仿真软件的设计与实现，提出了建立并行智能仿真模型、进行并行智能任务规划、以三维实时图形再现ＣＩＭＳ各工作单元工作过程的算法和思想。完成的一个制造加工系统已在Ｓｕｎ工作站上用Ｃ语言实现，取得了个人满意的仿真结果。     

基于广义微分Petri网的混合系统仿真方法

针对混合动态系统仿真的特点，建立其广义微分Petri网仿真模型，将混合系统的仿真统一于同一建模框架下，在此框架下，离散事件和连续状态变化对混合系统演化的推动作用均可以通过仿真模型中的变迁激发来完成，通过对广义微分Petri网的仿真过程进行分析，给出了基于该模型框架的仿真算法，并对仿真过程中出现的由资源共享引起冲突现象及其解决方案进行分析，最后讨论了仿真系统的死锁及其避免问题。     

仿真网格中预防死锁的资源分配方法及其仿真分析

仿真网格中资源协同分配是资源组织和调度的一个重要组成部分,如何避免仿真应用之间的死锁是资源协同分配过程中需要解决的重要问题。通过对仿真网格中死锁原因的分析,对死锁的特点进行了描述。根据解决死锁问题的不同策略,提出了仿真网格中基于原子事务预防死锁的资源协同分配方法,并根据应用的不同资源分配方案给出了具体算法。通过理论分析并结合仿真试验研究了该算法在资源协同分配过程中的性能,试验证明使用该方法不仅能够避免应用资源分配过程中的死锁,与其它方法相比,还能获得好的资源分配性能。     

并行自动测试系统分层建模及性能评估方法研究

对于大型的并行自动测试系统,传统的系统组建方法单纯的依靠人工经验使得组建的系统容易发生死锁、资源冲突和饥饿等问题,逐渐不能满足需求。因此,提出了一种新的并行自动测试系统分层化建模方法,指导工程人员快速优化系统设计方案。应用该方法,工程人员只需要使用直观、浅显的UML语言设计测试系统功能结构模型,UML到Petri网模型的映射和Petri网模型对系统的评估等步骤都可以用相应的软件自动实现,简化了人工设计过程,提高了系统组建效率。最后,利用广义随机有色Petri网理论对并行测试系统进行了性能评估,与基于NI公司TestStand软件设计的并行系统进行了对比。

Abstract：

The process of the Parallel Automatic Test System’s construction and design is more complicated than the serial ATS,and it can not be completed depending on the traditional method only based on the people’s experiences because it will bring the deadlock,resources confliction,hunger and so on.A new hierarchical modeling method was proposed to instruct the engineer in the good design of system.In the method,engineer only used the simple UML to design the system’s functional structure model.The UML-Petri map process and the system performance evaluation was finished by software.It made the design process simple and improved the organic efficiency.At last,the generalized coloured stochastic Petri net （GCSPN） was used to evaluate the performance of system and is compared with the parallel system designed by TestStand software.The result embodies the advantages of the hierarchical modeling method.     

公平消息传递并行程序设计的Petri网方法

公平性是并行程序正确的主要标准之一,但是并行程序执行的不确定性导致公平性验证较为困难.针对消息传递模式的并行程序,在建立相应Petri网模型的基础上,首先证明了并行程序的公平性与其Petri网模型的公平性之间的关系,然后提出了利用T-不变量判断并行程序公平性,以及通过添加控制库所实现并行程序公平的算法,最后指出了将改造后的模型转换为公平并行程序的方法,并用一个实例进行了验证.     

一种基于模糊Petri网的并行推理方法

把模糊Petri网模型转化为矩阵形式,在此基础上提出了一种并行推理算法。算法将推理过程转化为矩阵运算,不但考虑了前提条件的权值、变迁阈值和规则可信度等因素,还进一步将变迁触发条件严格化,有效的避免了一些变迁不必要的重复触发,降低了算法复杂度。通过实例说明,此推理算法易于实现并可以提高推理效率,尤其适合较大较复杂的模糊Petri网模型。     

并行分布仿真中前瞻量问题的研究

并行分布式仿真对复杂大规模动态系统的研究，以及探索其长远的应用空间提供了便利，近年来日益成为研究的热点。时间管理是影响并行分布仿真系统高效运行的重要因素之一。首先介绍了前瞻量的概念与设置方法，其次提供了前瞻量的形式化描述，然后深入分析了由于引入零前瞻量而可能导致的回退循环问题，紧接着针对这一问题提出了解决决方案及优化策略。最后，分析了前瞻量变动对系统的影响，并提出了一种在RTI中如何实现动态更新前瞻量的算法。     

基于混合遗传退火算法的并行测试任务调度优化

并行测试任务的优化调度是并行测试技术的核心问题之一。可以充分利用混合遗传退火算法优异的全局最优搜索能力来寻找具有最大并行率的并行任务序列。首先,建立了并行测试任务调度问题的数学模型;给出了并行率的定义,设计了一种满足资源约束与任务时序约束的基因编码方法及相应的遗传退火操作方案。最后,对实例进行仿真实验,结果验证了该算法的有效性及优越性。     

基于蚁群算法的并行测试任务调度

并行测试的任务优化调度是并行测试技术的核心问题.提出了一种用于解决并行测试任务调度问题的改进蚁群算法,通过该算法可以获得测试时间最短的任务调度序列.给出了并行测试任务调度问题的数学模型,设计了启发式函数和状态转移概率的计算公式.采用动态标注方法在搜索过程中加大可行解间的信息素差别,避免算法早熟.给出了应用实例,实际应用表明该算法是有效的,能很好地解决此类多维动态组合优化问题.     

用遗传算法解决并行多机调度问题

对最小化完工时间的并行多机调度问题提出了一种遗传算法,并在问题形成、遗传算法编码、变异方法等方面作了研究,并用计算实例表明遗传算法能适用于大规模并行多机调度问题。     

基于自然数编码遗传算法的并行测试技术

针对并行测试任务调度复杂、难以优化的问题,提出了一种基于自然数遗传算法的任务调度优化算法。该算法将并行测试任务调度转化为对串行测试任务序列的搜索,为了提高搜索效率,引进自然数编码遗传算法搜索最优解或近似最优解,将串行测试序列作为染色体,进行选择、交叉、变异等操作。通过仿真证明该算法能够迅速得到并行测试任务调度的最优解或近似最优解。对自然数编码遗传算法的各个算子对模式的作用进行了理论分析,并得到了对应的模式定理,从理论上说明了该方法的合理性。