基于MSDL和C-BML的想定形式化描述 - 第十三届全国petri网理论与应用学术年会.pdf

论文《基于MSDL和C-BML的想定形式化描述》探讨了如何利用MSDL和C-BML语言对军事想定进行形式化建模。通过结合两种建模方法的优势，提升了想定描述的准确性和可执行性。该研究为军事仿真系统提供了有效的建模工具，增强了系统分析与推理能力，对提升作战模拟的科学性具有重要意义。

文档为pdf格式，1.07MB，总共5页。

2025-12-14 10:45 上传 基于MSDL和C-BML的想定形式化描述 - 第十三届全国petri网理论与应用学术年会.pdf

文件大小:

1.07 MB

下载次数:

60

基于MSDL和C-BML的想定形式化描述 - 第十三届全国petri网理论与应用学术年会.pdf ...

高速下载