共查询到19条相似文献,搜索用时 46 毫秒
1.
2.
提出了一种针对复杂工程的建模和仿真方法。比较复杂工程和复杂系统的异同,以及复杂工程仿真和一般工程仿真的区别,由此总结出复杂工程仿真的特点和要求。提出根据面向人员以及所用方法论的差异,将复杂工程的建模分为两个阶段,在第一个阶段中采用层次化的任务建模方法,面向实际工程人员,第二个阶段中采用模块化的实体行为建模,面向仿真技术人员。通过对仿真建模任务的区分,由各自擅长的人员完成,并通过层次化和模块化方法的采用,降低复杂工程仿真建模的复杂度,形成一种适合于复杂工程的仿真方法。 相似文献
3.
一种基于π演算的行为建模形式化方法 总被引:1,自引:0,他引:1
根据人的行为建模形式化方法需求, 针对直接应用π演算形式化建模人的行为所存在的不足, 尝试以π演算为基础扩展定义了一种人的行为建模形式化方法π-BFMBM(π-Based Formal Method of Behavioral Modeling); 并结合具体示例,阐述了扩展内容为π-BFMBM方法带来的、增强的行为描述能力及其实现方法. 研究表明,相比于π演算, π-BFMBM方法能够为人的行为建模提供更为有力地支持. 相似文献
4.
图形仿真模型的形式化描述方法 总被引:3,自引:0,他引:3
提出了基于嵌套结构的情报侦察仿真知识表示框架 ,对带输出的有限状态自动机在仿真实体建模中的应用作了详细论述 ,并给出了利用自动机进行仿真实体建模的算法。在此基础上 ,提出了基于图形界面的嵌套仿真实体的构造方法 ,并给出基于图元的可视化仿真实体的形式化描述 相似文献
5.
6.
武器装备效能仿真不同于一般的复杂系统仿真, 具备很大的组合建模潜力和迫切的组合仿真需求. 当前的统一仿真协议、统一建模方法、统一模型规范等组合仿真途径主要还是从技术角度出发的, 没有充分结合应用领域的实际, 难以真正实现组合仿真. 提出了基于模型框架实现组合仿真的思路, 通过将领域共性不变知识(DIK)固化为可组合的模型框架, 而应用可变知识(AVK)则可在模型框架基础上通过定制或扩展的方式进行描述. 设计了武器装备效能仿真的可组合建模框架(CMF), 应用实践表明能够明显地提高仿真开发效率, 有力地支持模型级可组合. 相似文献
7.
8.
复杂系统仿真的可组合问题研究综述 总被引:9,自引:5,他引:9
复杂仿真系统的开发与集成对仿真的可组合性提出了需求。首先介绍了仿真可组合问题的基本概念,分析总结了影响仿真可组合性的因素以及可组合问题的层次化特征。针对不同层次的组合仿真,重点分析几种不同的组合建模方法,包括公共模型库方法、基于互操作协议的方法,基于组合有效性的语义组合方法,基于DEVS的形式化组合方法以及基于MDA的组合建模仿真方法。通过对不同方法的分析比较,提出进一步研究多层次组合问题以及跨县次组合建模仿真方法的展望。 相似文献
9.
针对可重构分布式综合模块化航空电子(distributed integrated modular avionics,DIMA)系统在设计初期缺少仿真与验证手段的问题,首先分析了可重构DIMA软件体系的架构特征以及支持动态重构的层次化通用系统管理(generic system management,GSM)的组件功能划分... 相似文献
10.
基于SMP2的复杂系统生成式仿真建模方法 总被引:2,自引:1,他引:1
复杂系统仿真迫切需要能够同时支持多领域分别独立针对性建模和全系统统一集成仿真的方法. 将当前用于复杂系统仿真的建模方法分为统一型、组合型和生成式三大类, 分析指出生成式建模方法具有较之其它方法的独特优势, 有望解决复杂系统仿真建模面临的问题. 研究了当前仿真领域应用的各类生成式建模方法存在的不足. 提出了以仿真模型可移植性标准(SMP2)为基础, 综合利用生成式建模方法的两大流派-模型驱动架构(MDA)和模型集成计算(MIC)-的先进技术和规范, 构建复杂系统生成式仿真建模方法的研究思路. 分析了其中的多领域生成式仿真模型公共表示规范、各类仿真形式体系到SMP2的映射与模型变换以及面向领域的仿真建模工具的自动生成等三大关键技术问题. 设计了生成式仿真建模一体化支撑环境的体系结构, 介绍了其中已经完成的工作和下一步的重点. 相似文献
11.
体系对抗仿真已经成为武器系统作战效能评估和武器装备论证的有效手段。然而,目前缺乏对于体系对抗仿真建模方法的研究。总结了面向效能评估的导弹体系对抗仿真基本概念和特点,分析了体系对抗仿真模型描述中存在的主要问题,在此基础上,提出体系-实体-行为的分层组合描述方法,作为体系对抗仿真的建模方法,即SEB组合建模方法,并给出其参考模型和各个层次建模的参考视图.SEB组合建模方法将体系对抗仿真建模的复杂性分解到各个层次的建模当中,再通过组合形成完整的战场对抗体系模型,可以有效指导体系对抗仿真的建模工作。 相似文献
12.
13.
14.
15.
提出了基于着色Petri网(CPN)的联邦概念模型(FCM)形式化建模与验证一体化方法。这种方法的提出主要基于下面两点:一是形式化的FCM与用自然语言描述的模型相比具有更完整、更准确和更规范的特点;二是形式化模型的验证需要专门的工具辅助完成。以一个简单的制造系统为例,采用CPN语言建立了该系统的形式化概念模型,利用辅助软件工具CPN Tools完成了该联邦概念模型的仿真和验证。应用研究表明,着色Petri网有助于描述联邦中各实体的行为和关系,CPN Tools辅助工具实现了形式化模型建模、仿真和验证的一体化过程。 相似文献
16.
化工过程SDG建模方法 总被引:24,自引:5,他引:24
SDG(Signed Directed Graph)是一种重要的定性建模技术,特别是在安全评价和故障诊断领域。本文系统介绍了两种常用的SDG建模方法:基于数学模型的方法和基于流程图的方法。此外,本文提出了一种基于经验知识的建模方法。由于安全评价强调揭示潜在故障的全面性,而故障诊断则要求诊断速度和故障分辨率高,因此基于经验知识的建模方法分为评价模型建模方法和诊断模型建模方法。采用此方法建立的评价模型不仅能全面表达故障,而且还能揭示故障的传播规律;建立的诊断模型简单精炼、故障分辨率高。 相似文献
17.
通过引入“黑板转播器”概念来改进常规并行黑板系统的体系结构,使复杂的黑板系统变成一个具有清晰模块化结构的有规律系统,进而使得我们能够实现一个可方便仿真各种复杂的并行黑板模型的试验系统,它具有仿真描述语言简洁、模块化性能好等结构特点。本文测试结果反映了该系统良好的推理性能和黑板模型的仿真性能。 相似文献
18.
19.
BOM组件式仿真系统数据驱动方法 总被引:1,自引:0,他引:1
仿真系统的数据驱动方法的研究内容包括想定标准化、想定的加载和模型的数据驱动三个方面.针对传统的基于成员层次的分布仿真系统开发模式的数据驱动导致大量人力物力开销,效率低下的局限性,采用BOM作为组件模型描述规范来构建组件式仿真系统,通过用户模型开发规范化,仿真模型组件生成自动化以及通用仿真运行框架统一化等支撑技术来提供高效的模型数据驱动环境;通过通用想定解析模块,采用集中、分时的方式分发仿真脚本数据进行仿真系统环境配置以及更新调整,提高仿真系统的数据驱动的效率和质量. 相似文献