由于C4ISR体系结构模型缺乏可执行性,不利于体系结构的验证评估,为此提出了一种基于fUML(semantics of a foundational subset for executable unified modeling language models)的体系结构建模与分析方法。基于fUML元模型来定义C4ISR...由于C4ISR体系结构模型缺乏可执行性,不利于体系结构的验证评估,为此提出了一种基于fUML(semantics of a foundational subset for executable unified modeling language models)的体系结构建模与分析方法。基于fUML元模型来定义C4ISR体系结构的可执行建模元模型,使用它们来构建C4ISR体系结构的可执行模型;定义可执行模型的代数语义域——可执行活动模型代数(executable activity model algebra,EAMA),使用语义函数将可执行模型的行为语义转换为EAMA的进程项;定义EAMA的操作语义作为进程项的执行规约,通过对进程项的仿真执行来实现C4ISR体系结构的可执行分析,最后以区域防空作战系统为例说明了方法的可行性。展开更多
文摘由于C4ISR体系结构模型缺乏可执行性,不利于体系结构的验证评估,为此提出了一种基于fUML(semantics of a foundational subset for executable unified modeling language models)的体系结构建模与分析方法。基于fUML元模型来定义C4ISR体系结构的可执行建模元模型,使用它们来构建C4ISR体系结构的可执行模型;定义可执行模型的代数语义域——可执行活动模型代数(executable activity model algebra,EAMA),使用语义函数将可执行模型的行为语义转换为EAMA的进程项;定义EAMA的操作语义作为进程项的执行规约,通过对进程项的仿真执行来实现C4ISR体系结构的可执行分析,最后以区域防空作战系统为例说明了方法的可行性。
文摘为了在核污染事故处理时提供精细化预警,以辽宁省某核电站周边部分重要目标(大衣屯、大周屯、红沿河镇、驼山乡、西杨乡、复大线应急撤离线路)为研究对象,将环境保护指挥自动化系统C4ISRE(Command,Control,Communications,Computer,Intelligence,Surveillance,Reconnaissance,Environmental Impact Assessment)与HYSPLIT 4.9模型相耦合,采用NCEP(美国国家环境预报中心)的FNL全球气象数据对核污染扩散轨迹进行仿真研究.结果表明:自模拟初始时间2014-04-01T00:00:00.00开始,进、出大衣屯边界时间分别为00:06:16.560、00:06:49.000,历时31.340 s;由西向东横穿过大周屯,进、出时间分别为于00:06:16.56到达大衣屯北部边界,于00:06:46.90扩散出大衣屯边界,经过大衣屯区域耗时共计29.00 s;核污染气团于00:15:30.85到达大周屯上空500 m处,由西向东横穿过大周屯,于00:15:46.05离开大周屯上空,过程耗时15.20 s;核污染气团于00:32:14.25经过重要应急撤离线路2(复大线),全程耗时32 min 14.25 s.核污染气团与从2014-04-01T00:00:00.000进入红沿河镇上空500 m区域,于00:24:27.00扩散出,全程历时24 min 27.00 s;进、出驼山乡上空500 m区域的时间分别为00:24:28、00:51:00,历时26 min 32.00 s;进、出西杨乡上空的时间分别为00:51:01、01:05:4.70,历时14 min 37.00 s;重点区域大衣屯和大周屯行政区的预警时间分别为376.56、930.85 s,重点撤离线路2区域预警时间为1 934.25 s.
