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

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

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

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

基于Agent和ECA规则构建的工作流系统

针对当前工作流系统存在的问题,提出了一种能够支持流程动态修改、基于活动和ECA规则组合的工作流模型,并在工作流系统中加入管理流程运行的Agent部件,实现了系统对流程运行的智能化管理.最后采用一种回退策略来处理流程发生变化时正在运行的流程,保证这些流程按照修改后的流程正常执行.     

基于逆向分层的工作流时间-费用优化方法

针对效用网格下基于优先级因子的工作流时间-费用优化问题,基于工作流的同步完成特征对任务进行分层并提出三种实时调度算法:基于逆向分层的sufferage(BLSuff)、基于逆向分层的min-min(BLMin)及基于逆向分层的min-max(BLMax)。算法设计基于优先级因子的衡量标准对时间与费用同时进行优化,并为任务设置期望完成时间以达到充分利用费用优化空间进行费用优化的目标。实验结果表明这三种算法在各种优先级因子下都能对工作流的执行时间与执行费用进行较好的优化。     

基于工作流管理的资源调度模型

主要讨论了面向资源管理的过程调度模型.在静态模型中,可以通过各种调度策略,资源柔性和仿真算法对资源调度进行不断完善,建立了资源-任务分配模型;在动态模型中,采用事件消息形式描述异常事件,根据工作流异常管理器中的规则库和历史数据库作出自适应处理;最后,设计了一种基于工作流管理的过程调度决策系统方案.     

基于动态数据驱动的多UAV实时任务规划

针对在实时动态条件下多UAV任务规划问题,提出了基于动态数据驱动的多UAV实时任务规划仿真平台,主要包括基于MultiUAV2的真实UAV群仿真平台和基于Multi-Agent的预测仿真平台两个部分。采用了A*算法对真实系统工作流进行探索,在此基础之上构建了多UAV合成工作流模型,然后针对动态数据注入运行仿真的问题,研究了传感器任务重置及传感器的预处理方法。最后,通过一个仿真实例验证了提出方法的可行性和有效性。     

一种含工作流Web信息系统的访问控制模型设计实现

包含工作流的Web信息系统是目前较为流行的一种系统应用模式。针对现有TRBAC模型在此类系统应用中存在的控制数据冗余、效率低下等不足改进提出了一种新的访问控制模型,该模型将RBAC与TRBAC进行结合,并按操作级别对角色与权限进行划分,通过引入流程历史信息等约束条件实现动态授权中操作权限与执行上下文的紧密关联,较好地实现了动、静态授权的分离,在保证系统安全的同时降低了访问控制策略的复杂度,为此类系统访问控制策略的制定提供了一个基本的参考性框架。最后以基于Web的办公自动化系统为例描述了模型在应用中的实现方案。     

基于组件化指挥信息系统仿真验证技术

目前,指挥信息系统验证环境存在不同试验项目间或同一项目不同阶段的模型不能达到模块级共享,模型开发不规范、验证环境中的模型可信度不高,验证环境试验配置复杂等问题,基于组件化技术,设计了模块化、集成化、实时高效化、多模态的指挥信息系统仿真验证环境系统架构,详细描述了基于XML作战协议通用对接、基于内存数据库的数据解析与交互、指挥业务模型动态组合等关键技术,并给出了某个指挥信息系统的仿真验证环境的应用案例以及使用流程。该验证环境已经在多个项目中得到了成功应用。     

基于可执行模型架构的成像侦察卫星系统建模与仿真

成像侦察卫星系统内部关系复杂、任务需求种类较多,利用基于町执行模型架构的系统工程对其进行建模研究,可以有效地实现从模型到仿真的综合集成．通过研究可执行模型架构理论,集成UPDM与成像侦察卫星系统功能模型,对成像侦察卫星系统进行了建模与仿真,验证了可执行模型架构的有效性与实用性．     

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

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

面向协作式网络化的作战计划生成过程模型

传统的指挥控制系统中作战计划生成过程网络化程度低,各个软件模块间难以进行协作。针对战术作战计划生成问题,参照工作流元模型,对计划生成流程进行分析,提出了计划生成过程模型。重点针对作战计划生成过程中的网络化协作问题,在现有模型的基础上,提出了适用于战术作战计划生成的轻量级工作流引擎的设计思想,最后结合工作流技术,设计了辅助作战计划生成的流程组织工具,通过该工具手动或自动地进行作战计划生成过程,验证了该模型的有效性。     

软件的单故障模型及故障的测试方法

研究表明,软件中残留的故障一般都是难以测试,这些故障往往都是局部的、检测概率比较“小”的故障,也就是说,和正确的软件相比,这些故障的表现往往只是一个或几个符号发生错误,现提出的软件单故障模型正是基于这个原理。测试方法是以面向故障为基础,将故障的检测分为3个部分:故障语句的执行,故障的激活和故障的传播。为加速测试用例的生成,也同时提出了软件的故障模拟方法。最后,给出了部分实验结果。     

作战指挥工作流程建模方法

针对作战指挥工作流程的建模与仿真研究较少的现状,采用了基于高级Petri网的建模方法。首先在企业相关概念定义基础上,对建模对象———作战指挥工作流程进行了定义,简要介绍了Petri网建模方法的特点以及对基本Petri网的扩展,举例说明了4种过程机制映射到Petri网上的方法,提出结合树状组织结构图和资源管理表的方法扩展Petri网库所容量的含义及管理机制。     

云平台上基于关键路径截取的有向无环图应用调度算法

针对云平台上有向无环图科学应用执行容易产生虚拟机资源过剩、资源使用率低及费用虚高的问题,给出一种基于关键路径截取的有向无环图应用调度算法。该算法采取关键路径截取技术,循环找出最晚完成的未分配任务,从该任务出发,在所有未分配任务构成的图中找出最大连通子图,并计算该子图的关键路径,然后将关键路径上的任务集调度到性能匹配的虚拟机上执行;同时通过任务回填技术充分利用虚拟机的空闲时间槽,提高资源使用率。实验结果表明,在云计算平台上,该算法不仅能够在截止时间内完成有向无环图科学应用,而且可以提高资源使用率,有效减少完成该应用所需整体费用。     

并行程序运行故障原因识别

高性能计算系统的复杂性和规模的不断增长使得系统的平均无故障时间越来越短,因此系统的硬软件故障导致并行程序运行出错的概率随之增加。此外,并行程序本身可能存在的编程错误也会导致运行出错。由于处理上述两类故障原因的措施迥异,所以在程序运行出现故障时,用户需要关注故障原因的类别。针对这一问题,设计和实现了一种基于作业管理系统Slurm的并行程序运行故障原因识别系统。通过对Slurm进行扩展,监控作业状态,重提交和重运行作业。根据作业运行结果,区分故障原因类别。故障注入方式进行的实验表明,该系统具有较高的识别准确率。     

基于Maxwell2D和Simplorer的永磁同步电机退磁模型设计

永磁体退磁故障是永磁电机的常见故障,对电机退磁故障进行早期检测和诊断可以有效防止灾难发生,具有重大意义。建立不均匀退磁故障状态下的Maxwell2D电机模型,利用仿真软件Maxwell2D与Simplorer构建永磁同步电机联合仿真系统,分别对电机的正常状态模型与退磁故障模型进行仿真,并对相电流信号进行分析。利用EMD-LSSVM变换建立的故障诊断模型对不同程度的退磁故障进行诊断。仿真结果表明:该模型可以精确地识别出微弱的退磁故障,验证了联合仿真退磁模型的正确性。