超算环境科学工作流应用的容错

超算环境中科学工作流技术广泛应用于科学研究和工程仿真领域。复杂多物理过程数值模拟、多阶段数据处理等应用往往需要使用多种应用软件相互协作,构建业务流程自动执行来提升工作效率。然而在超算环境中执行科学工作流应用面临着资源失效、任务配置错误等异常情况,造成工作流执行中断,严重影响完成效率,故容错功能对超算工作流应用的稳定持续运行有重要意义。介绍了科学工作流的容错设计分类,并对典型工作流系统的容错设计进行分析评述;提出了基于决策树的事件-条件-动作容错模型,设计了非侵入式可扩展的容错架构,并针对自主研发的部署在超算环境下的科学工作流应用平台HSWAP,实现了运行时可配置的容错策略。在实际的工程仿真任务中,基于所提出模型和架构实现的容错机制为提高工作流执行效率发挥了重要作用。     

基于服务网格工作流技术的联合作战实验平台

为实现全军作战实验资源共享和跨军种的协同实验,提出了一种基于服务网格和网格工作流技术的联合作战实验平台构建方法.一方面利用服务网格技术实现分布、动态、异构实验资源的有效集成和共享,加强实验平台的通用性、灵活性和重用性;另一方面,在平台建设中引入面向服务网格的工作流技术,使得能够在动态变化的环境中,根据实验需求优化实验作业逻辑和执行过程,选择、配置和调度相应的实验资源完成指定的任务,实现跨军种的资源共享和协同实验.     

业务流程建模中流程校验的研究与实现

随着计算机网络技术的迅速发展,企业的信息化程度不断提高,以自动化流程为核心理念的工作流管理系统应用越来越普及,对工作流管理系统的可靠性和正确性要求也越来越高.提出了一种工作流建模时的验证方法:在工作流管理系统的工作流建模环境中加入流程验证模块,对建模过程中可能产生的错误进行验证,进而建立简洁实用的流程;通过分析流程中的异常和失败的类型,增强系统的纠错能力,减少引擎处理的压力;对有着特殊应用的建模过程,能够方便地添加自定义的验证条件,为流程的正确运行提供有效的保障;向基于规则化的工作流系统提供建模完整性的方案,获得系统工作流的稳健性.     

场站飞行后勤保障车辆调度建模与仿真

在深入分析航空兵场站飞行后勤保障车辆组织指挥活动规律的基础上,利用离散事件系统建模仿真软件Arena,建立航空兵场站飞行后勤保障车辆调度模型.结合不同保障车辆资源约束条件下的一个实例,利用仿真软件Arena对所建立保障车辆调度模型进行了仿真.通过对仿真结果的对比分析,验证了所建保障车辆调度模型的科学性、有效性,为场站指...     

导弹预警卫星调度问题分析

以美国天基红外系统的结构和功能为基准,阐述了导弹预警卫星的工作原理和作战流程.采用六元组对导弹预警卫星调度问题进行了详细分析和数学描述.这六元组分别是传感器资源集、可疑目标集、系统状态集、调度约束集、目标可用信息集、调度优化目标集.针对该问题具有实时性和不确定性的特点,提出了一种基于事件和周期相结合的调度方法,给出了一个传感器分配的泛化模型.     

考虑资源约束的复杂维修任务时间预计模型

在分析装备维修过程时间影响因素的基础上,研究了维修过程时间模型的建模要素关系。采用Petri网技术建立了反映子任务基本关系、资源约束和调度策略的典型维修过程模型,并对典型子任务执行过程进行了细化建模,研究了模型冲突和资源调度策略。针对典型实例进行了维修时间预计和资源利用率分析。     

卫星数传调度模型研究

卫星数传调度问题是一个具有多时间窗口、多资源约束的优化问题。针对该问题,建立了卫星数传需求模型、任务模型和调度模型。在建模过程中,采用了框架模型形式,把问题中的主要约束封闭于每个数传任务中,这在降低调度模型复杂度的同时,也降低了调度算法设计难度。还提出了调度算法设计思想,并设计了一基于灵活度的调度算法。仿真表明,所建立的模型及算法对解决卫星数传调度问题是可行的。     

基于UML的装备保障指挥控制工作流模型

为优化和描述装备保障指挥控制,提出将UML与工作流技术应用于装备保障指挥控制建模的方法,并从过程视图、组织视图、资源视图和信息视图4个方面给出了装备保障指挥控制工作流模型实例。     

OCPN装备综合保障工作流引擎设计

针对装备综合保障工作流建模要求,构建了对象有色Petri网(Object-Oriented Colored Petri Net,OCPN)模型,给出该模型的形式化定义。结合装备使用过程综合保障工作,建立基于OCPN的工作流模型。根据工作流的执行过程,进行了工作流引擎体系结构以及相关类的设计,为工作流模型的计算机化以及工作流管理系统设计与实现提供了一种新的思路。     

抢险救灾非战争军事行动中应急资源调度网络的优化方法

抢险救灾非战争军事行动包括道路抢修和物资运输等任务,而这两类任务在灾后应急资源调度中存在关联性的影响,且面临路网结构可变及需求随机模糊等挑战,对此,提出了一种非确定性应急资源调度网络双层规划模型,设计了基于蒙特卡洛方法与遗传算法耦合的智能启发式求解策略.通过对典型情境下应急资源调度案例进行分析建模和数值求解,说明了该模型和算法的合理性和有效性.