异构任务图在网格环境中的调度实现

并行分布计算环境的任务调度一直是并行计算研究的热点问题，网格技术的发展则对任务调度提出了新的要求。本文采用带参数的有向超图表达异构任务图，为具有一般性、异构性、分布性、动态性等特点的任务请求提供了通用描述方法。通过设计网格异构任务图描述语言GHDL，实现了网格任务请求的统一封装以及任务请求在异构环境下的计算机理解和识别。通过设计自适应调度策略库，为分布异构动态网格环境下的任务调度提供有效解决方案，实现了在考虑网格任务间优先约束与数据关联的同时，采取异构宿主机识别、异构客户端自动创建等方式开发利用环境异构性与任务异构性，采取实时网格状态信息采集与任务迁移屏蔽了资源动态性。异构任务图在网格环境中的调度效果由树生长的仿真实验进行了展示。     

并行运算策略在同步发电机任务调度中的应用

本文以同步发电机为研究对象,通过对模型系统结构的构建和分割,建立起数学模型仿真的任务调度图,并结合动态负载平衡调度策略,进行了同步发电机的任务调度,通过对并行运算的加速比和并行效率进行分析,从而验证了并行运算在同步发电机任务调度仿真中应用的可行性。     

并行设计的模糊决策及其决策系统

从层次关系的模糊描述、模糊关系方程和决策原理等方面，对产品并行设计的模糊决策进行研究，介绍了枪械并行设计模糊决策支持系统开发的指导思想、功能和系统动作过程。     

柔性制造控制系统的并行设计方法

通过分析控制系统并行设计的支持环境，建立了控制系统并行设计支持环境的框架模型．从面向对象以及并行工程观点出发，提出了控制系统并行设计的策略，构造了以过程为中心，控制系统体系结构、数据、过程建模、用户界面／接口并重的面向对象的控制系统并行设计的工作流集成模型．在此基础上，描述了控制系统并行设计的实施内容和步骤．建立在上述设计方法基础上的柔性制造控制系统具有可重用性、可靠性、鲁棒性和开放性等特点．     

一种基于有向无环图的相依性网格任务调度算法

网格任务调度算法是影响网格成功与否的关键技术之一.本文首先描述了网格计算环境中的DAG任务调度模型.然后，结合网格计算环境的特点, 讨论了多个相依性任务组成的应用任务调度问题，并对GS和CIGS算法进行了全面而深入的研究，并在此基础上提出了一个CIGS算法的改进算法.     

一种RING结构的工程保障任务并行调度方法

在作战工程保障过程中,工程兵工程保障任务重、时间紧,战场情况复杂多变。传统的任务调度策略没有实现静态和动态的结合。RING结构的并行调度是将作战工程保障指挥系统视为一个分布式系统,将系统内的若干要素构成环状拓扑结构,分调度和执行2个阶段来完成整个调度过程的方法。通过实例证明,该方法能较好的解决作战工程保障中任务调度问题。     

多AUV水下协作搜索研究现状与展望

随着各国对海洋研究的不断深入，海上作业越来越频繁，作为探索海洋的重要工具，自治水下机器人（autonomous underwater vehicle，AUV）在海事搜索方面的发展也越来越受到关注。多AUV协作搜索控制作为多AUV研究的主要方向之一，在促进海洋科学与工程技术进步、海洋资源探测与开发、国家海防安全与海洋战略实施等方面有着十分重要的意义。首先，综述了近些年来多AUV协作搜索控制的国内外研究现状；然后，从AUV自身和环境的外界约束，以及海洋探测等方面，分析了多AUV水下协作搜索控制研究所面临的技术难点和存在的问题；最后，通过分析当前多AUV协作搜索控制的进展和实际需要，对多AUV协作搜索系统的发展趋势进行了探讨。     

OpenMP多核技术研究及其在遗传算法中的应用

介绍了OpenMP的并行执行原理和语言规范,重点讨论了OpenMP的循环并行化、迭代相关、数据共享、任务调度等问题,最后使用OpenMP技术优化了遗传算法,并进行了性能的对比.     

网格环境下具有可靠性的任务调度策略

针对网格环境的动态性和异构性特点，该文提出了DHTS和RDHTS任务调度算法。在充分考虑任务间的依赖关系和通讯开销的动态变化的基础上，通过对任务执行次序优化设定和任务间空隙有效利用等方法，提高了协同任务的执行效率；通过分析网格中各结点自身中断事件发生次数的数学期望和方差，得出各结点的即时可靠性评价参数，从而增强了任务调度的可靠性。     

基于树状结构的RIPS并行调度算法

给出了分布式系统中的一种基于树结构的并行调度算法ＲＩＰＳ，该算法通过在任务调度算法中引入并行技术，使其既具备了静态调度和动态调度的优越性，又能克服二的不足，并从理论上证明了该算法能够达到较好的负载平衡，最大限度减少任务的任务间通信，最大程度计算本地化，并举例进行了说明。     

基于多线程的并发离散事件建模研究

提出用多线程实现分布式组织并发离散事件仿真的方法.首先分析了分布式组织活动的并发特性以及由此带来的仿真问题,指出原有离散事件仿真中的下次事件法不能实现并发条件下的模拟时钟推进.因为各结点之间独立运行并具有各自的时间管理,故不能对所有结点进行统一的时间查询.提出了在合理时间段内将线程挂起,接着进行线程式间仿真对象交互的解决方法,以实现交互行为仿真.最后指出多线程编程实现的主要问题与解决途径,并结合一个实例,借助UML工具给出了建模实现的具体过程.     

基于事件逻辑的CPS组件协同模型

针对CPS系统的异构性、实时性、物理世界与信息世界的高度融合等特征,提出了基于事件逻辑关系的组件协同代数模型。首先,定义了基于时空事件接口的组件形式化表示方法,建立了基于事件驱动的组件协同体系架构。然后,根据组件协同方式分析了事件间的逻辑关系,建立了组件协同代数系统。最后,以智能家居的非法入侵行为为例,使用协同代数式描述事件驱动组件行为的过程。分析表明,基于事件逻辑的组件协同代数模型能够清晰地反应组件间的交互关系,屏蔽了组件的异构性,实现了物理进程与计算进程的融合,为CPS系统的形式化建模提供了新的方法。     

离散型物联制造过程复杂事件模型描述

面向制造过程事件组织和关联方面的统一语义描述,分析了离散型制造过程事件类型及关系;并建立了生产过程复杂事件结构模型。结合复杂事件操作符和可扩展标记语言(XML)语法语义,建立了基于XML的面向制造过程的事件描述语言(XEDL)。通过基于XEDL的油制辣椒生产过程事件模型描述案例,与常用复杂事件模型描述对比,说明XEDL语言在事件模型描述方面的优越性。     

基于RW监控理论的虚拟生产系统控制

虚拟生产系统（VPSs）是一种为应对当今易变的和不确定的制造环境而提出的新型生产资源结构模式．为了实现其虚拟动态性、自适应性和全局性,应用RW监控理论并在UMDES—LIB的辅助下,对VPSs进行离散事件动态系统建模,以解决生产过程中最基本的冲突问题为目标,建立自治与协调规则,并相应地构建了自治与协调监控器,从而建立起基于RW监控理论且具有自治与协调控制机制的VPSs闭环监控框架．该闭环监控框架兼顾了局部自治和全局协调,并且具有很好的可重构性、可扩展性和可适应性,有助于VPSs增加系统柔性和提高响应速度．     

VHDL仿真中离散事件仿真核的设计和应用

首先用面向对象的方法设计了一个离散事件仿真核，然后将该仿真核应用于VHDL仿真中．由于对离散事件系统进行了合理的抽象以及仿真核提供了简便的编程接口，所以降低了VHDL仿真系统建模的复杂性，并使得VHDL仿真系统具有良好的可维护性和可扩展性．该仿真核还可以应用到其它的离散事件系统仿真场合．     

离散事件系统故障的极小观测序列

为了提高可诊断离散事件系统故障的在线诊断效率,本文从判定故障发生的可观测事件的角度,提出了故障极小观测序列方法.文中选取有限状态自动机对离散事件系统进行建模.首先,在离线状态下,建立系统的故障模型,以排除对于判定系统故障无关的路径.然后,根据故障模型进一步建立判定系统故障的极小观测序列模型.当离散事件系统在线诊断时,仅需将逐步增加的在线观测事件序列与故障的极小观测序列模型进行比对.若能找到满足该模型的任何一条路径,则说明路径终止状态上故障标签对应的系统故障发生;否则,说明系统无故障发生.文中对可诊断离散事件系统进行实验对比,通过故障的极小观测序列模型能尽快判定有无故障发生,以及发生了哪些故障.该模型能有效地缩小系统在线诊断的时间,提高系统在线诊断的效率.     

基于离散Hopfield神经网络的突发事件连锁反应路径推演模型

突发事件及其引发的连锁反应会造成严重的灾害后果,如果事先知道突发事件可能引发的连锁反应路径,就可以提前做好断链减灾工作.因此,提出一种基于Hopfield神经网络的突发事件连锁反应路径推演模型.该模型用Hopfield神经网络表示一般的突发事件网络,用Hopfield神经网络的运行规则表示突发事件连锁反应的原理,并设置神经元阈值,将突发事件连锁反应路径的推演过程映射为Hopfield神经网络的演化过程,通过运行Hopfield神经网络推演初始突发事件的一条连锁反应路径.最后,用该模型推演了地震引发的连锁反应路径,验证了该模型的合理性.     

基于SystemC的罩式炉退火车间离散事件仿真模型

罩式炉退火车间的调度过程是一个典型的多机、多阶段、多约束、有重入的流水车间并行作业调度问题,难于解析建模.考虑SystemC解决大规模集成电路硬件建模问题的优势,分析退火工艺流程,采用平台映射的思想将罩式炉退火车间生产过程映射到SystemC上进行描述,结合离散事件仿真技术建立了基于SystemC的罩式炉退火车间离散事件仿真模型.该模型能快速有效地对退火过程任意初始状态进行模拟,实现方法容易、程序简洁、运行速度快、可读性强,为生产作业调度提供了决策支持.通过实例验证了基于SystemC的建模方法解决离散事件仿真问题的正确性和有效性.     

基于Petri网的某型导弹单发任务完成概率仿真

任务成功概率是任务成功性的概率度量,指在规定的任务剖面内,产品能完成规定任务的概率。使用基于Petri网原理的ExSpect仿真软件,对单发导弹的任务流程进行了模拟,首先构建基本任务的仿真模型,在此基础上针对导弹整体任务流程构建了仿真模型,并计算其任务完成概率,最后通过应用实例验证模型的可行性。     

基于广义离散事件动态系统的多路口智能交通流量控制

在传统意义上的离散事件动态系统中事件定义的基础上,提出了广义离散事件动态系统的思想.通过对事件属性划分的动态调节,使事件的辨识条理化.对公路交通中的多路口流量建模,并进行了分析.基于广义离散事件动态系统的调度思想,利用人工代谢算法对交通流量进行了控制分析.分析结果表明:广义离散事件动态系统能对系统的状态进行进一步的细化.人工代谢算法与该系统相配合,通过代谢算子的调节能较快地实现整个系统负荷均衡,能对流量的变化进行自适应调节.