可组合仿真模型的语义形式描述及组合判定方法 被引量：5

1

作者 周东祥 李群 王维平 《国防科技大学学报》 EI CAS CSCD 北大核心 2008年第1期89-93,共5页

如何判定仿真组件之间是否可组合是组合仿真中的关键问题之一。建立了组合判定问题的参考模型,基于Hoare逻辑给出仿真模型语义的描述方法,并以此为基础通过构造模型语义之间的组合匹配规则,从组合相容性及可替换性两个方面刻画模型的可... 如何判定仿真组件之间是否可组合是组合仿真中的关键问题之一。建立了组合判定问题的参考模型,基于Hoare逻辑给出仿真模型语义的描述方法,并以此为基础通过构造模型语义之间的组合匹配规则,从组合相容性及可替换性两个方面刻画模型的可组合性质,形成语义层次的组合判定方法;对组合相容性与可替换性质之间的关系进行了分析。 展开更多

关键词 组合仿真 组合判定 语义相容性 语义可替换性

在线阅读 下载PDF 职称材料

载人月球探测序列任务组合仿真设计与试验 被引量：1

2

作者 王华 吕纪远 李海阳 《宇航学报》 EI CAS CSCD 北大核心 2023年第9期1447-1459,共13页

针对载人月球探测序列飞行任务仿真需求,提出采用一套模型和一个仿真平台实现多个序列飞行任务的组合仿真设计。根据基于地月空间站的无人绕月飞行、地月空间站部署、载人环月飞行和载人登月飞行4类序列任务特点,抽象出通用动力学、自... 针对载人月球探测序列飞行任务仿真需求,提出采用一套模型和一个仿真平台实现多个序列飞行任务的组合仿真设计。根据基于地月空间站的无人绕月飞行、地月空间站部署、载人环月飞行和载人登月飞行4类序列任务特点,抽象出通用动力学、自由返回地月转移规划、一般地月转移规划、GNC、测控通信等通用化仿真模型,设计了dSIM仿真平台,采用分布式仿真中间件、标准化模型规范和可视化模型组合等技术,将仿真模型通过平台组合形成具备4种任务仿真功能的仿真系统。采用建立的仿真系统对载人月球探测序列飞行任务进行了仿真,仿真结果表明组合化设计思想能够适应序列飞行任务仿真。 展开更多

关键词 载人月球探测 地月空间站 分布式仿真 组合仿真 仿真试验

在线阅读 下载PDF 职称材料

玻璃准静态破坏现象隐式和显式组合仿真研究 被引量：1

3

作者 王程 臧孟炎 《汽车工程学报》 2021年第3期191-196,共6页

玻璃准静态破坏的研究对汽车风挡玻璃设计及制造、保护司乘人员安全等具有重要意义。目前在玻璃准静态仿真研究中,尚未涉及玻璃破坏过程。提出有限元隐式和显式组合分析方法,以充分利用两种方法在加载阶段和破坏阶段仿真计算各自的优势... 玻璃准静态破坏的研究对汽车风挡玻璃设计及制造、保护司乘人员安全等具有重要意义。目前在玻璃准静态仿真研究中,尚未涉及玻璃破坏过程。提出有限元隐式和显式组合分析方法,以充分利用两种方法在加载阶段和破坏阶段仿真计算各自的优势,实现高效率的玻璃准静态破坏现象仿真分析。使用基于ABAQUS软件的组合分析方法,仿真分析玻璃同轴双环加载试验过程。研究结果表明,与单纯采用隐式方法相比,采用隐式-显式组合分析方法有更好的计算效率和更高的计算精度。 展开更多

关键词 玻璃 准静态 隐式-显式组合仿真 内聚力模型

在线阅读 下载PDF 职称材料

基于随机性特征与组合仿真模型的有轨电车运行指标分析方法 被引量：4

4

作者 张海雷 屈龙 崔姗姗 《城市轨道交通研究》 北大核心 2022年第12期152-158,共7页

考虑到有轨电车运行指标比一般的轨道交通更具随机性,提出将轨道交通列车牵引计算引入道路交通仿真环境,将有轨电车在线路运行过程与道路交叉口信号优先控制形成实时相互反馈的分析方法。采用该分析方法对不同规划和运营方案进行仿真分... 考虑到有轨电车运行指标比一般的轨道交通更具随机性,提出将轨道交通列车牵引计算引入道路交通仿真环境,将有轨电车在线路运行过程与道路交叉口信号优先控制形成实时相互反馈的分析方法。采用该分析方法对不同规划和运营方案进行仿真分析,即可得到有轨电车全线和局部运行指标的分布特征及总体评价。具体案例的计算结果表明,在规划设计阶段,根据线路的布局方案及列车运行计划规划,采用该分析方法仿真计算有轨电车的运行指标,能有效评价道路随机性影响程度,为有轨电车规划设计方案的评估与决策提供依据。 展开更多

关键词 有轨电车 线路运行指标 组合仿真

在线阅读 下载PDF 职称材料

雷达电子战组合仿真实现方法

5

作者 郭金良 符淑芹 +1 位作者 李晓燕 袁路 《强激光与粒子束》 EI CAS CSCD 北大核心 2018年第6期112-116,共5页

针对复杂电磁环境下雷达电子战仿真发展需求,提出雷达电子战组合仿真方法。阐述了组合仿真基本理论,分析了构件化组合仿真开发模式,从仿真构件开发、测试、管理与组装等几个方面研究了实现技术。设计实现了雷达电子战构件化组合仿真的... 针对复杂电磁环境下雷达电子战仿真发展需求,提出雷达电子战组合仿真方法。阐述了组合仿真基本理论,分析了构件化组合仿真开发模式,从仿真构件开发、测试、管理与组装等几个方面研究了实现技术。设计实现了雷达电子战构件化组合仿真的开发支撑工具,可用于降低组合仿真的开发难度,提高组合仿真的自动化程度。 展开更多

关键词 雷达电子战 组合仿真 构件 开发模式 组装

在线阅读 下载PDF 职称材料

仿真模型的语法可组合问题及组合判定 被引量：3

6

作者 周东祥 李群 王维平 《火力与指挥控制》 CSCD 北大核心 2009年第8期4-9,共6页

层次化特征是仿真可组合问题的本质特征之一,首先介绍了仿真可组合问题的基本概念,提出多层次的组合参考模型,以此引出语法层次的可组合问题,进而从命名、顺序及复杂类型匹配三个方面刻画了语法层次仿真模型的组合失配现象。为解决组合... 层次化特征是仿真可组合问题的本质特征之一,首先介绍了仿真可组合问题的基本概念,提出多层次的组合参考模型,以此引出语法层次的可组合问题,进而从命名、顺序及复杂类型匹配三个方面刻画了语法层次仿真模型的组合失配现象。为解决组合失配问题,建立了三类变换条件下的类型等价及子类型匹配关系,并以此为基础构建了语法层次组合相容性及可替换性的判定规则。 展开更多

关键词 组合仿真 语法组合 相容性 可替换性 组合判定 类型匹配

在线阅读 下载PDF 职称材料

仿真模型组合的验证方法研究 被引量：5

7

作者 冯晓宁 王卓 王金娜 《西安交通大学学报》 EI CAS CSCD 北大核心 2013年第12期7-12,122,共7页

针对提高复杂仿真系统的开发效率和降低开发成本的问题,提出了基于模型组合验证的仿真模型开发框架,将系统开发过程分解为模型的发现、组合和组合后的验证等阶段,通过数据类型验证和动态行为验证来实现仿真模型的重用。给出了基于标签... 针对提高复杂仿真系统的开发效率和降低开发成本的问题,提出了基于模型组合验证的仿真模型开发框架,将系统开发过程分解为模型的发现、组合和组合后的验证等阶段,通过数据类型验证和动态行为验证来实现仿真模型的重用。给出了基于标签转移系统(Labelled Transition System,LTS)的模型行为验证方法,将模型的行为序列表示为LTS,通过强模拟及语义相似度关系来判断组合后模型的动态行为与请求模型的符合程度。导弹对抗仿真模型组合实验结果表明,该方法能够半自动地完成仿真模型的组合验证,对模型有效性的验证能够满足实际应用的要求。 展开更多

关键词 仿真模型组合 数据类型验证 行为验证 标签转移系统

在线阅读 下载PDF 职称材料

LTS仿真模型组合验证方法 被引量：1

8

作者 冯晓宁 王卓 王金娜 《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2014年第5期589-593,618,共6页

为提高复杂仿真系统的开发效率和降低开发成本,提出了基于标签转移系统LTS的仿真模型组合验证方法。该方法在组合仿真模型的行为表示中引入时间因素,并将执行序列表示为LTS,通过将表示组合仿真模型行为的LTS进行比较,得出组合仿真模型... 为提高复杂仿真系统的开发效率和降低开发成本,提出了基于标签转移系统LTS的仿真模型组合验证方法。该方法在组合仿真模型的行为表示中引入时间因素,并将执行序列表示为LTS,通过将表示组合仿真模型行为的LTS进行比较,得出组合仿真模型的有效性。最后给出了作战坦克修理所实例,结果表明,该方法能够有效验证仿真模型可组合问题。 展开更多

关键词 仿真模型组合 标签转移系统 语义相似度

在线阅读 下载PDF 职称材料

可组合的鱼雷作战效能评估仿真系统研究 被引量：1

9

作者 杨惠珍 朱远军 +2 位作者 张建春 郝莉莉 康凤举 《鱼雷技术》 2013年第2期146-152,共7页

鱼雷作战效能评估仿真系统涉及发射平台、鱼雷武器、目标、对抗器材等复杂实体以及风场、海浪、水声场等复杂环境的建模和仿真问题,实现不同领域的实体和环境仿真模型的重用与组合是作战效能仿真系统开发面临的挑战。本文探讨了仿真可... 鱼雷作战效能评估仿真系统涉及发射平台、鱼雷武器、目标、对抗器材等复杂实体以及风场、海浪、水声场等复杂环境的建模和仿真问题,实现不同领域的实体和环境仿真模型的重用与组合是作战效能仿真系统开发面临的挑战。本文探讨了仿真可组合性的概念和基于本体的可组合仿真系统开发技术,分析了鱼雷作战效能评估仿真系统的体系结构,研究了鱼雷作战效能仿真本体、本体模型库以及基本本体的仿真系统开发流程,为解决不同领域、不同粒度仿真模型的可重用和组合问题,为构建更有效的鱼雷作战效能评估仿真系统进行了理论分析和工程应用探索。 展开更多

关键词 鱼雷作战效能 仿真可组合性 仿真系统 本体

在线阅读 下载PDF 职称材料

基于DEVS的分布式仿真构件形式描述 被引量：1

10

作者 刘峻 范植华 《微电子学与计算机》 CSCD 北大核心 2008年第9期225-228,共4页

构件理论在分布式仿真领域正扮演着越来越重要的角色.为了规范化地描述和设计仿真构件,基于离散事件系统规范对构件进行了研究.通过扩展经典离散事件系统规范,形式化地定义了仿真原子构件模型和耦合模型,并对构件的组合过程和机制进行... 构件理论在分布式仿真领域正扮演着越来越重要的角色.为了规范化地描述和设计仿真构件,基于离散事件系统规范对构件进行了研究.通过扩展经典离散事件系统规范,形式化地定义了仿真原子构件模型和耦合模型,并对构件的组合过程和机制进行了研究.通过定理证明,该仿真耦合构件具有耦合封闭性,使得可以通过仿真原子构件和耦合构件不断地进行层次式迭代组合,构造出一个更加复杂的构件或系统,为基于DEVS的形式化组合仿真研究进行了前期理论探讨. 展开更多

关键词 离散事件系统规范 分布式仿真 构件 可组合仿真

在线阅读 下载PDF 职称材料

基于全球地磁异常场的自主导航仿真系统 被引量：1

11

作者 田峰敏 卞雷祥 王宏波 《弹箭与制导学报》 北大核心 2021年第2期10-14,共5页

在无法接收卫星信号的情况下,运动平台可利用地磁异常场来修正惯导误差,美国国家环境信息中心发布了分辨率为2′的全球地磁异常网格EMAG2。设计了基于EMAG2的惯导/地磁组合导航仿真系统,完成了位场延拓、地磁测量数据生成、运动模型求... 在无法接收卫星信号的情况下,运动平台可利用地磁异常场来修正惯导误差,美国国家环境信息中心发布了分辨率为2′的全球地磁异常网格EMAG2。设计了基于EMAG2的惯导/地磁组合导航仿真系统,完成了位场延拓、地磁测量数据生成、运动模型求解等问题的研究。经仿真验证,对于不同精度的捷联惯导,采用地磁辅助后,位置误差最大值可控制在0.3~1.7个网格以内,位置误差均方根可控制在0.1~0.7个网格以内。 展开更多

关键词 地磁异常场 组合导航仿真 自然邻点插值

在线阅读 下载PDF 职称材料

火星进入段自适应预测校正制导方法 被引量：15

12

作者 李毛毛 胡军 《宇航学报》 EI CAS CSCD 北大核心 2017年第5期506-515,共10页

针对火星进入段预测制导收敛性和可解性问题,给出基于一阶特征模型的全系数自适应预测校正制导律。该方法首先通过时变动态增益变换技术大幅度降低预测误差与制导修正量之间的时变动态增益;然后对变换后的系统建立修正量与广义航程误差... 针对火星进入段预测制导收敛性和可解性问题,给出基于一阶特征模型的全系数自适应预测校正制导律。该方法首先通过时变动态增益变换技术大幅度降低预测误差与制导修正量之间的时变动态增益;然后对变换后的系统建立修正量与广义航程误差间的一阶特征模型,应用全系数自适应方法估计一阶特征模型系数并求取制导修正量;再由标称制导剖面和制导修正量确定纵向制导输出,横向制导采用传统的漏斗边界制导方法。本文方法每个制导周期仅执行一次预测制导,依靠自适应控制的逐次逼近实现制导的收敛性,避免了基于迭代的传统预测校正制导方法的收敛性问题。针对预测校正制导收敛性这一国际上的难题,本文首次证明了全系数自适应预测校正制导律的收敛性。最后针对火星进入点多种初始误差的组合,以及火星大气密度和探测器气动参数的偏差,进行了多条轨迹的仿真。结果表明,全系数自适应预测校正制导具有较高的精度,在计算时间上也要优于基于迭代的预测校正制导方案,更加适合在工程上的应用。 展开更多

关键词 火星进入段制导 全系数自适应 预测校正 组合误差仿真

在线阅读 下载PDF 职称材料