Nowadays an increasing number of workflow products and research prototypes begin to adopt XML for representing workflow models owing to its easy use and well understanding for people and machines. However, most of wor...Nowadays an increasing number of workflow products and research prototypes begin to adopt XML for representing workflow models owing to its easy use and well understanding for people and machines. However, most of workflow products and research prototypes provide the few supports for the verification of XML-based workflow model, such as free-deadlock properties, which is essential to successful application of workflow technology. In this paper, we tackle this problem by mapping the XML-based workflow model into Petri-net, a kind of well-known formalism for modeling, analyzing and verifying system. As a result, the XML-based workflow model can be automatically verified with the help of general Petri-net tools, such as DANAMICS. The presented approach not only enables end users to represent workflow model with XML-based modeling language, but also the correctness of model can be ensured, thus satisfying the needs of business processes.展开更多
To address the current problems of poor generality,low real-time,and imperfect information transmission of the battlefield target intelligence system,this paper studies the battlefield target intelligence system from ...To address the current problems of poor generality,low real-time,and imperfect information transmission of the battlefield target intelligence system,this paper studies the battlefield target intelligence system from the top-level perspective of multi-service joint warfare.First,an overall planning and analysis method of architecture modeling is proposed with the idea of a bionic analogy for battlefield target intelligence system architecture modeling,which reduces the difficulty of the planning and design process.The method introduces the Department of Defense architecture framework(DoDAF)modeling method,the multi-living agent(MLA)theory modeling method,and other combinations for planning and modeling.A set of rapid planning methods that can be applied to model the architecture of various types of complex systems is formed.Further,the liveness analysis of the battlefield target intelligence system is carried out,and the problems of the existing system are presented from several aspects.And the technical prediction of the development and construction is given,which provides directional ideas for the subsequent research and development of the battlefield target intelligence system.In the end,the proposed architecture model of the battlefield target intelligence system is simulated and verified by applying the colored Petri nets(CPN)simulation software.The analysis demonstrates the reasonable integrity of its logic.展开更多
Two dynamic grey models DGM (1, 1) for the verification cycle and the lifecycle of measuring instrument based on time sequence and frequency sequence were set up, according to the statistical feature of examination da...Two dynamic grey models DGM (1, 1) for the verification cycle and the lifecycle of measuring instrument based on time sequence and frequency sequence were set up, according to the statistical feature of examination data and weighting method. By a specific case, i.e. vernier caliper, it is proved that the fit precision and forecast precision of the models are much higher, the cycles are obviously different under different working conditions, and the forecast result of the frequency sequence model is better than that of the time sequence model. Combining dynamic grey model and auto-manufacturing case the controlling and information subsystems of verification cycle and the lifecycle based on information integration, multi-sensor controlling and management controlling were given. The models can be used in production process to help enterprise reduce error, cost and flaw.展开更多
An approach for modeling a human cognitive framework in time-stressed decision making is presented. The recognitive and metacognitive processes that represent the cognitive framework are modeled by the colored Petri n...An approach for modeling a human cognitive framework in time-stressed decision making is presented. The recognitive and metacognitive processes that represent the cognitive framework are modeled by the colored Petri nets （CPNs）. A structural and behavioral analysis method is adopted to obtain the static and dynamic property used to verify the CPNs model of the cognitive framework. Finally, an example from the command and control radar recognition system is used to evaluate the feasibility and availability of the CPNs model adopted in practical systems.展开更多
静止变频器(static frequency converter,SFC)是抽水蓄能电站大型同步机组启动过程的重要设备。在抽蓄机组启动的过程中,由于SFC机、网两侧电流频率不一致,使得基于工频相量的常规差动保护配置困难,且现有保护方案在速动性和可靠性上存...静止变频器(static frequency converter,SFC)是抽水蓄能电站大型同步机组启动过程的重要设备。在抽蓄机组启动的过程中,由于SFC机、网两侧电流频率不一致,使得基于工频相量的常规差动保护配置困难,且现有保护方案在速动性和可靠性上存在不足。为解决上述问题,提出了一种基于模型校核的SFC采样值差动保护原理。首先充分研究SFC的工作原理和控制策略,并基于电流采样值在时域内构建符合SFC工作原理的数学模型,然后采用模型校核的方法寻找故障前后差异并提出相应的保护判据。最后,在PSCAD/EMTDC中搭建抽蓄机组SFC启动的电磁暂态仿真模型,验证所提保护原理的有效性。仿真结果表明,所提保护原理不受SFC两侧不同频率的干扰,具有良好的选择性、速动性和可靠性。展开更多
针对民用直升机显控系统需求难以追溯、交互设计缺陷难以洞察以及早期系统设计验证难以实现等问题,提出基于MBSE(model-based system engineering)和VAPS的民用直升机显控系统设计与验证方法。捕获利益攸关者需求形成系统需求,将系统需...针对民用直升机显控系统需求难以追溯、交互设计缺陷难以洞察以及早期系统设计验证难以实现等问题,提出基于MBSE(model-based system engineering)和VAPS的民用直升机显控系统设计与验证方法。捕获利益攸关者需求形成系统需求,将系统需求分配给系统用例;构建黑盒活动图、顺序图自顶向下开展“需求–功能分析”描述显控系统级功能流,建立可运行的黑盒状态机验证功能逻辑设计的合理性;在黑盒功能架构的基础上进一步划分以构建显控系统架构,通过与飞行员交流迭代优化分配方案,将黑盒活动图中的活动分配到各显控子系统中实现功能向下传递,保证系统设计过程的连贯性。基于人机界面设计工具VAPS开发飞行员操作程序,验证了基于MBSE设计的显控系统需求、功能、逻辑的一致性和架构的合理性,实现了需求设计到验证的完全覆盖。展开更多
文摘Nowadays an increasing number of workflow products and research prototypes begin to adopt XML for representing workflow models owing to its easy use and well understanding for people and machines. However, most of workflow products and research prototypes provide the few supports for the verification of XML-based workflow model, such as free-deadlock properties, which is essential to successful application of workflow technology. In this paper, we tackle this problem by mapping the XML-based workflow model into Petri-net, a kind of well-known formalism for modeling, analyzing and verifying system. As a result, the XML-based workflow model can be automatically verified with the help of general Petri-net tools, such as DANAMICS. The presented approach not only enables end users to represent workflow model with XML-based modeling language, but also the correctness of model can be ensured, thus satisfying the needs of business processes.
基金supported by the National Natural Science Foundation of China(41927801).
文摘To address the current problems of poor generality,low real-time,and imperfect information transmission of the battlefield target intelligence system,this paper studies the battlefield target intelligence system from the top-level perspective of multi-service joint warfare.First,an overall planning and analysis method of architecture modeling is proposed with the idea of a bionic analogy for battlefield target intelligence system architecture modeling,which reduces the difficulty of the planning and design process.The method introduces the Department of Defense architecture framework(DoDAF)modeling method,the multi-living agent(MLA)theory modeling method,and other combinations for planning and modeling.A set of rapid planning methods that can be applied to model the architecture of various types of complex systems is formed.Further,the liveness analysis of the battlefield target intelligence system is carried out,and the problems of the existing system are presented from several aspects.And the technical prediction of the development and construction is given,which provides directional ideas for the subsequent research and development of the battlefield target intelligence system.In the end,the proposed architecture model of the battlefield target intelligence system is simulated and verified by applying the colored Petri nets(CPN)simulation software.The analysis demonstrates the reasonable integrity of its logic.
文摘Two dynamic grey models DGM (1, 1) for the verification cycle and the lifecycle of measuring instrument based on time sequence and frequency sequence were set up, according to the statistical feature of examination data and weighting method. By a specific case, i.e. vernier caliper, it is proved that the fit precision and forecast precision of the models are much higher, the cycles are obviously different under different working conditions, and the forecast result of the frequency sequence model is better than that of the time sequence model. Combining dynamic grey model and auto-manufacturing case the controlling and information subsystems of verification cycle and the lifecycle based on information integration, multi-sensor controlling and management controlling were given. The models can be used in production process to help enterprise reduce error, cost and flaw.
基金supported by the National Natural Science Foundation of China(60874068).
文摘An approach for modeling a human cognitive framework in time-stressed decision making is presented. The recognitive and metacognitive processes that represent the cognitive framework are modeled by the colored Petri nets （CPNs）. A structural and behavioral analysis method is adopted to obtain the static and dynamic property used to verify the CPNs model of the cognitive framework. Finally, an example from the command and control radar recognition system is used to evaluate the feasibility and availability of the CPNs model adopted in practical systems.
文摘静止变频器(static frequency converter,SFC)是抽水蓄能电站大型同步机组启动过程的重要设备。在抽蓄机组启动的过程中,由于SFC机、网两侧电流频率不一致,使得基于工频相量的常规差动保护配置困难,且现有保护方案在速动性和可靠性上存在不足。为解决上述问题,提出了一种基于模型校核的SFC采样值差动保护原理。首先充分研究SFC的工作原理和控制策略,并基于电流采样值在时域内构建符合SFC工作原理的数学模型,然后采用模型校核的方法寻找故障前后差异并提出相应的保护判据。最后,在PSCAD/EMTDC中搭建抽蓄机组SFC启动的电磁暂态仿真模型,验证所提保护原理的有效性。仿真结果表明,所提保护原理不受SFC两侧不同频率的干扰,具有良好的选择性、速动性和可靠性。
文摘针对民用直升机显控系统需求难以追溯、交互设计缺陷难以洞察以及早期系统设计验证难以实现等问题,提出基于MBSE(model-based system engineering)和VAPS的民用直升机显控系统设计与验证方法。捕获利益攸关者需求形成系统需求,将系统需求分配给系统用例;构建黑盒活动图、顺序图自顶向下开展“需求–功能分析”描述显控系统级功能流,建立可运行的黑盒状态机验证功能逻辑设计的合理性;在黑盒功能架构的基础上进一步划分以构建显控系统架构,通过与飞行员交流迭代优化分配方案,将黑盒活动图中的活动分配到各显控子系统中实现功能向下传递,保证系统设计过程的连贯性。基于人机界面设计工具VAPS开发飞行员操作程序,验证了基于MBSE设计的显控系统需求、功能、逻辑的一致性和架构的合理性,实现了需求设计到验证的完全覆盖。
