未知环境中多Agent自主协作规划策略

针对多智能体(Agent)系统在未知环境中自主协作规划存在任务死锁及协作效率不高的问题,提出一种基于改进蚁群算法的多Agent协作策略,并用于多Agent协作搬运中。该方法将Agent所处位置和目标任务之间的距离以及信息素控制因子引入蚁群算法。实验结果表明,该方法相比没有引入距离因子的协作方法,协作效率更高;相比没有引入控制因子的协作方法,可有效防止任务死锁发生。     

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

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

制造系统中的死锁问题

介绍了制造系统中的死锁问题,特点及控制策略.总结了近十年来制造系统中死锁问题的研究成果,将死锁问题的研究方法,按照建模方法进行分类:基于图论的方法,基于Petri网的方法,基于自动机的方法.并对算法进行了总结和比较.最后指出了未来的研究和发展方向.     

基于网结构压缩技术的Petri网监控器综合

针对Petri网控制问题中不可控子网的状态空间指数级增长导致的计算复杂性难题，提出了控制目标（线性约束）等价的网结构压缩算法：（1）将不可控子网部分区域压缩为单个库所；（2）并将原网上的线性约束等价转换为新网的新线性约束.反复迭代该算法，可以有效地压缩原不可控子网，从而指数级地减小不可控子网的状态空间，有效地降低监控问题的计算复杂性，甚至当不可控子网为状态机时，该方法能够彻底解决上述计算复杂性难题，获得高效最优的Petri网监控器，并用一个物料运输系统演示了该方法.     

全节点空间MPI同步通信死锁检测

针对全节点空间上MPI同步通信程序死锁检测的现有穷举方法的弱点,提出了该场景中MPI程序的两种参数化模型:一次参数化模型和二次参数化模型.通过分析一次参数化模型的一类不变式的性质,给出了该模型的死锁检测算法.提出了同构节点空间的一系列概念和性质并由此设计出该算法的几种优化方法,以加快某些特定程序模型死锁检测的过程.仿真实验表明该算法及其优化方法比现有方法的性能提高若干数量级.     

基于多个潜变量PLS算法的一种迭代方法

在两个潜变量的偏最小二乘法(PLS)基础上,研究了如何将PLS算法从两个潜变量扩展到多个潜变量的一套完整方法(包括具体的形式规范和迭代步骤);以及在多个潜变量PLS算法上的符号检验.并在MATLAB上实现了完整的多个潜变量PLS算法,验证了该迭代方法的有效性.     

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

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

用鱼群算法求解石油运输系统多级站定位优化问题

建立了石油运输系统多级站定位优化大规模非线性MIP模型.由于该模型用传统方法求解相当困难,应用改进的鱼群算法对该模型进行了求解.在解算过程中,对模型中的连续实型变量进行离散化处理,从而使整个优化模型变成纯0-1非线性IP模型,使求解过程在基于二进制环境高速运算成为可能;用人工鱼体能累计和消耗程度来调度其行为;用海明距离度量个体间的距离;采用随机步距移动的贪婪法描述个体追尾行为;采用鱼群规模、视野大小、拥挤程度和最低生存体能控制等方法实现局部最优解逃逸策略;采用最大迭代次数和迭代过程中最优解平均值变化程度来控制迭代终止时机.应用结果表明,该算法计算速度和稳定性有较大提高,可在微机上稳定地获取问题的最优解.     

HLA时间管理中死锁的研究

时间管理服务是高层体系结构HLA（High Level Architecture）的重要组成部分,而考虑不全面的时间推进机制和算法会导致死锁,进而导致整个仿真系统无法向前推进。从零前瞻量、时间管理策略、时间管理算法以及死锁的解除等方面对分布式仿真中的死锁问题进行了多方面的研究,探讨了死锁发生时系统所具有的一系列现象,论证了发生死锁和不可能发生死锁时的各类情形.讨论了死锁出现的原因,对Frederick算法及身高测量法存在的不足之处进行了修正,提出了一种严格序算法,并证明了这种方法不会产生死锁现象。在设计一个联邦时可考虑使盟员灵活地使用保守和乐观两种时间推进机制,并在对保守盟员计算GALT时使用序算法,这样就可以在仿真过程中有效地避免死锁的产生。     

一类线性时变系统组合自适应迭代学习控制

针对一类有限时间区间上具有可重复性的BIBO稳定的一阶线性时变系统,将模型参考自适应控制方法与迭代学习相结合,提出了组合模型参考自适应迭代学习控制算法.基于Lyapunov方法推导出迭代学习控制律以及针对时变惯性参数与时不变高频增益的组合自适应参数更新律.该算法适于控制快时变系统,并使跟踪误差、参数估计误差和控制信号有界.当迭代次数趋于无穷时,跟踪误差关于有限时间区间一致收敛到零.系统仿真验证了所提控制算法的有效性.     

An extraction algorithm for a set of elementary siphons based on mixed-integer programming

Elementary siphons are useful in the development of a deadlock prevention policy for a discrete event system modeled with Petri nets.This paper proposes an algorithm to iteratively extract a set of elementary siphons in a class of Petri nets,called system of simple sequential processes with resources (S~3PR).At each iteration,by a mixed-integer programming(MIP) method,the proposed algorithm finds a maximal unmarked siphon,classifies the places in it,extracts an elementary siphon from the classified places,and adds a new constraint in order to extract the next elementary siphon.This algorithm iteratively executes until no new unmarked siphons can be found.It finally obtains a unique set of elementary siphons and avoids a complete siphon enumeration.A theoretical analysis and examples are given to demonstrate its efficiency and practical potentials.     

CTCH网的死锁分析

在给出批处理生产系统的过程调度的赋色时间限制混合(CTCH)Petri网模型的基础上，分析了影响CTCH网活性的基本结构，给出了该结构产生死锁的原因。在此基础上，分析了该结构死锁产生死锁的充要条件，并给出了避免死锁的控制策略，为解决整个CTCH网的死锁提供了重要依据。实例表明了结论的正确性。     

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

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

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

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

基于Petri网的一类调度问题的分层控制器设计

利用Petri网中T不变量的思想,针对约束为T不变量的Parikh向量形式的job-shop调度问题,提出了一种分层控制器的设计算法,该算法有效地解决了这一有并发约束的控制问题。即使随着系统规模的增大,该方法计算量仍然很小,而且与经典的库所不变量方法相比较,它不受有无自回路的约束,可有效地解决一类实际制造系统中的job-shop调度问题。     

A Method to Detect the Abnormal Phenomenonin PVM Program Based on Petri Net

1IntroductionWiththedevelopmentofcomputerscience,parallelmodelandparajleltreatingarepaidmoreandmoreextensiveattention.Parallelprogrammingunderparajlelenvironmentisthenecessarypathforpeopletoreajizetheconcurrentcomputation.However,programmingunderparallelenvironmentismuchmoredifficultthanserialenvironmentforparajlelprograminvolvesmorethanoneprocesswhichruninmorethanoneprocessor.Moreover,theseprocessesoftencommunicateeachother.Sotheparallelprogrammustensureboththecorrectnessofcomputationandcomm…     

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

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

随机投影阵下的界约束总变分图像恢复算法

主要研究以交替方向法为基础的总变分图像恢复模型,结合约束优化问题以及快速迭代技术,提出了一种约束总变分图像恢复的快速算法。对总变分模型添加范围约束,利用交替方向法进行求解,把原问题转化为3个子问题,分别用迭代阈值法、快速傅里叶变换法以及投影法进行求解。把快速迭代技术应用于迭代阈值法来提高计算效率,利用非精确计算法来克服系数矩阵为随机投影阵带来的傅里叶变换的计算费时问题。数值试验结果〖JP2〗表明,针对随机投影阵下的约束总变分问题,新方法在提高计算效率的同时还能得到很好的图像恢复效果。     

并行测试中死锁避免的设计与仿真

设计了一个双通道运算放大器芯片SD358D的并行测试仿真实例。实例中应用USB数据采集卡和HPVEE软件组成的虚拟仪器对两路放大器的三个指标进行并行测试。由于两个测试任务共享仪器资源,容易发生死锁。为了解决并行测试中的死锁问题,首先为并行测试建立Petri网模型,模型中的变迁发射序列与系统任务调度路径一一对应,利用遗传算法搜索模型中无死锁的序列,然后控制系统按照这些无死锁的路径调度测试任务,就可以有效避免死锁的发生。最后通过实验结果,验证了该方法的正确性。     

因果图迭代推理算法研究

针对因果图精确推理是NP(nondeterministic polynomial)难的问题,提出了一种迭代推理方法。首先,从图论的角度分析了因果图推理中概率计算的机理,并提出了矩阵解环的方法。在此基础上提出了一种迭代推理算法,该算法只需要进行简单的矩阵运算,大大简化了传统因果图推理复杂的计算过程,可以在多项式时间复杂度内实现推理。其次,分析了算法存在的问题并提出了改进的方向。最后,运用实例分析验证了该算法实现因果图推理的效果。研究表明,该算法能够有效地进行因果图推理,推理效率高,推理结果正确,为因果图提供了一种高效的近似推理方法,对因果图的应用具有重要意义。