排序方式: 共有5条查询结果,搜索用时 15 毫秒
1
1.
基于有限状态机仿真模型因其外部环境的复杂交互关系,而难以完整复现其状态变迁过程,更难对模型进行校核与检验;而模型校核对于确保仿真的可信度十分重要。本文从分析基于有限状态机的仿真对象模型状态变迁及公共调用接口出发,将有限状态机模型的公共接口区分为参数注入方法集、参数提取方法集和无参数方法集。并在此基础上,提出并实现了对有限状态机模型接口输入集进行窥视和顶替的校核策略。实验表明,在满足若干禁入规则的条件下,该方法能够完整复现有限状态机模型的状态变迁过程,从而可为实现可校核与可检验有限状态机模型提供建模框架。 相似文献
2.
自然气象场景的模拟与大气流体运动模拟密切相关。三维的离散格子气模型需要采用复杂的FCHC网格方能满足流体运动模拟的对称性要求。本文提出了一种基于翻转概率的离散格子气模型,在正交三维网格上实现了流体运动的模拟,在满足对称性要求的前提下,实现了离散格子气模型的快速模拟。本文利用该模型实现了云景仿真的模拟。实验证证明,这种模型对于流体模拟是有效的。 相似文献
3.
4.
本文提出了一种气象可视化软件原型系统(MVS)的设计与实现方案,主要介绍了MVS系统结构、模块功能、主要数据结构以及系统实现,着重阐述了提高人机交互性能而采取 的重要措施,即改进的八叉树编码方法和多进程并行处理的思想。 相似文献
5.
军事建模框架是军事仿真研发过程中提出并运用的重要概念。鉴于我国军事通信与指挥的实际情况,提出了支持仿真模型集成及多分辨率模型的面向通信与指挥的军事建模框架(MMFOC2),设计了仿真模型体系的功能区分及分类体系,用实例说明了运用该建模框架进行作战仿真的基本流程,结果表明该模型及方法对于战术仿真系统建模是十分有效的。 相似文献
1