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

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

基于任务和角色的工作流系统权限控制

工作流系统权限管理的权限控制是工作流的重要因素.对传统的访问控制权限进行改进,在基于角色和任务的工作流权限管理系统中将任务与组织、时间进行关联,并使用Petri网来对工作流进行建模,在工作流推进的不同时段,采用不同的存取权限表来实现权限控制,为工作流的权限管理提出一种新的思路.     

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

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

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

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

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

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

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

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

装备健康管理的现状、未来与挑战

近十几年来,装备诊断、预测与健康管理(DPHM)作为使能装备质量管理和综合保障的关键技术,得到了世界许多国家学术界和工程界,特别是国防工业部门和军方的高度关注与重视。呈现新兴多科学交叉、军民兼用的特点。文章针对复杂工程系统/装备健康管理的现状、未来与挑战,从其体系框架、科学问题、关键技术与发展策略等方面进行了较为深入的讨论。     

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

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

浅析军用软件质量管理存在的问题

<正>软件质量作为软件开发方和用户的共同质量价值观的体现,只有通过科学的软件质量管理模式、系统的软件质量工程体系,贯穿到软件的整个开发和维护的生命周期,才能切实有效地发挥其作用。引言军用软件在武器装备上的应用规模不断增大,对系统功能与性能的影响也越来越大,现代武器装备已不再是单纯的"硬件工程流",也不是以硬件为中心的"系统工程流",而是先进行硬件与软件的综合和功能分配,而后按"硬件工作流"和"软件工作流"分别开发硬件和软件,最后再对硬件和软件进行系统集成。     

过程挖掘算法

过程挖掘又称工作流挖掘,主要依据日志中记录的过程实例执行信息重构工作流过程模型,是工作流再设计与分析方法的一项关键技术。对目前主流的过程挖掘算法和相关工具进行了研究,把过程挖掘算法按照特性及解决问题分成了4类,对每类算法的优缺点进行比较研究。最后指出了目前过程挖掘研究中存在的问题。     

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

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

基于Teamcenter的产品维修性设计集成解决方案

基于产品生命周期管理(PLM)解决方案Teamcenter,构建了维修性设计与分析工作集成到产品设计过程中的系统体系结构;建立了支持维修性设计分析工作的数据模型;对不同的维修性设计分析工具以合适的方式进行了集成;将维修性设计与分析工作纳入到产品研制过程中,并建立了具体的维修性工作的业务流程。     

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

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

钱学森的科学道德境界

道德抽象而无形,确是客观存在,能被人们所认知。钱老文稿中有大量体现其在科学道德上的"想法、说法和做法"。文章主要从理想信念、科学贡献、品德风范三个方面谈谈我们对钱学森科学道德境界的认识和理解。研究表明,钱学森在科学上做出的杰出贡献、在科学道德上达到的崇高境界以及获得的至高科学荣誉,根本动力在于他具有坚定的理想信念。钱学森的科学道德境界和他在科学上的卓越贡献是统一的。钱老生前七个"不"的处世原则是他崇高科学道德境界的真实写照。     

作战指挥工作流程的建模与仿真

作战指挥工作流程的建模与仿真可以用于研究指挥机构的运行状态,找到工作流程的效率瓶颈,发现各类指挥人员、计算机等指挥资源比例的不合理之处,提出改进方案.首先分析了作战指挥工作流程具有的特殊性,在剖析目前其他领域工作流程建模方法的基础上,创新性地提出"基于业务能力"的建模方法,并探讨了适应作战指挥的建模方法.     

网格环境下虚拟物流企业模型描述及设计研究

虚拟物流企业设计的目的是获取最佳的物流效能,而最佳物流效能必须通过最佳的组织效能来体现,表现在物流使命与企业架构的匹配。由于网格环境下虚拟物流企业设计较为复杂,基于组织权变理论,首先给出了相关的基本概念,指出虚拟物流企业设计包括工作流程和企业架构设计两个方面,设计过程就是二者的平衡过程。此外,按照在物流资源约束的情况下能够产生最佳组织状态为要求,进行了虚拟物流企业设计,以数学模型表示了设计过程,并明确了求解任务,对虚拟物流企业设计研究由定性分析向定量研究转变进行了初步尝试。