基于着色Petri网的混合工作流建模及合理性分析

BPEL描述的服务组合流程,没有充分考虑人的参与和人员活动对流程的影响,且不能保证服务组合流程设计在应用中的正确性。为了描述服务化系统中的混合工作流程,首先介绍支持人员参与的BPEL4People规范,然后提出了基于着色Petri网的混合工作流建模方法,对所得模型进行了合理性分析。采用模块聚合方式给出了混合工作流的层次CPN模型,利用CPN Tools工具分析验证混合工作流的有界性、可达性及活性等性质,根据验证结果进行反馈调整,可以减少因流程设计错误给流程实际部署和运行带来的损失。

战场自然环境对军事行动影响

战场自然环境是影响作战的重要因素,文章研究战场自然环境对军事行动影响,详细介绍了战场自然环境综合分析、高寒山地环境对军事行动影响分析、海洋环境对军事行动影响分析等方面研究内容,并在此基础上给出了动态战场自然环境对军事行动影响分析评估框架。

基于卡尔曼滤波算法的航迹数据预处理研究

针对空中目标原始数据中数据不连续、航迹点缺失等问题,提出基于卡尔曼滤波的航迹预测模型,对空中目标构建运动状态方程和观测方程,然后将已获取的空中目标原始数据进行输入方程中,并通过卡尔曼滤波完成航迹预测,再利用预测数据对原始数据进行插值处理,达到数据预处理的目的。最后通过对插值数据与原始数据进行比较分析,验证了卡尔曼滤波算法对空中目标数据预处理的可行性。