慕晓冬
- 作品数：25 被引量：43H指数：4
- 供职机构：中国人民解放军第二炮兵工程大学更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术自然科学总论文化科学更多>>
- 一种支持并行离散事件仿真建模和并行模型检验的建模语言
- 2011年
- 并行离散事件仿真(Parallel Discrete Event Simulation,PDES)模型的正确性和可信度对PDES应用的发展起着决定性作用。然而,现有的并行离散事件仿真开发环境都没有提供仿真模型检验功能。并行模型检验(Parallel Model Checking,PMC)方法以其完备性、高效性已经在工业界中得到了成功的应用,但是PDES和PMC是基于不同的建模语言实现的,现阶段要对PDES模型进行验证需要专门设计基于PMC建模语言的模型,不仅耗费资源、时间,而且容易出错。为了实现PDES和PMC的有机结合,提出了一种支持PDES和PMC的统一的建模语言——扩展事件图(Extended Event Graph,EEG),它对事件图在模型同步方面进行了扩展,然后通过转换机制,该建模语言使得用户只需建立一个模型,就能够既进行PDES又利用并行模型检验方法对PDES模型进行形式化验证。最后通过实验验证了基于EEG建立的模型既可以进行PDES又能够进行PMC。
- 夏薇姚益平慕晓冬
- 关键词：并行离散事件仿真事件图
- 一种基于卫星定位系统的协同分集定位方法
- 本发明涉及一种基于卫星定位系统的协同分集定位方法。根据卫星定位系统设计基于Alamouti码的空时协同分集定位方案和MIMO‑扩频的空间分集编码；具体包括：基于Alamouti码的空时协同分集定位，将同一轨道上的相邻卫星...
- 何恒杨晓云慕晓冬戴精科易昭湘赵鹏张海静张伟
- 文献传递
- 基于事件图的并行离散事件仿真方法被引量：1
- 2012年
- 为解决并行离散事件仿真技术开发难度大的问题,提出一种基于事件图的并行离散事件仿真方法。采用模型驱动体系结构,利用转换器将事件图模型自动转换为基于逻辑进程的并行离散事件仿真可执行代码。并行离散事件仿真的建模方式由以代码为中心的模式发展为以模型为中心的模式。实验结果表明,该方法能提高并行离散事件的仿真效率。
- 夏薇姚益平慕晓冬
- 关键词：并行离散事件仿真事件图逻辑进程模型驱动体系结构
- 基于Petri网的仿真VV&A过程建模
- 2012年
- 对基于Petri网的仿真VV&A过程建模进行了研究,首先分析了VV&A过程的组成,建立了基于Petri网的VV&A过程模型,然后分阶段对VV&A过程进行了详细建模,分别建立了需求校核,概念模型验证,数学模型校核与验证、软件模型校核与验证以及系统确认阶段的Petri网模型。通过对基于Petri网的仿真VV&A过程建模为进一步将Petri网应用于仿真VV&A的辅助管理打下了基础。
- 张清辉慕晓冬李竞王楠
- 关键词：仿真PETRI网VV&A
- Agent方法在基于HLA的作战仿真系统中的应用被引量：1
- 2012年
- 在HLA框架下,以RTI作为联邦执行的底层支撑系统,通过引入Agent,提出一种扩展的联邦成员设计实现方法———Agent联邦成员,提高了仿真对象模型的智能决策能力,加强了计算机生成兵力建模技术中联邦成员的互操作性,并为系统智能性提供了足够支持,降低了系统耦合性。
- 陈昊慕晓冬杨绪张力董巨为
- 关键词：AGENT
- RS与地图校正的划线向量模型
- 为了解决高分辨率遥感影像的定位和校正问题,在对传统采点多项式校正模型简单介绍的基础上,重点研究了划线方法的优势,并利用边缘提取、最小二乘法构造了划线向量模型,实现了遥感影像与中比例尺地图的快速校正。实验表明,划线向量模型...
- 慕晓冬陈昊恒波张力邢远扬
- 关键词：几何校正最小二乘
- 文献传递
- RBAC模型中角色继承的改进被引量：3
- 2012年
- 由于角色分层与组织结构无关,导致权限继承不能依赖于系统的组织。提出继承域的概念,建立基于继承域的角色层次模型,给出改进模型的定义、继承规则、约束条件和角色权限求解算法。实例证明改进模型能清晰地反映系统的组织结构,解决权限继承问题。域属性的引入使得角色的层次结构和权限的分级管理简单有效。
- 李飞行慕晓冬张璐宋洪军
- 关键词：权限
- 窄信道情况下远程屏幕图像高倍压缩传输方法
- 2013年
- 针对军队战场无线通信信道极窄情况下,计算机图像需要实施传输的问题,提出了一种基于窄带宽传输系统的计算机屏幕监控图像的编码方法,结合图像自适应分块的方法,对获得的数字图像进行高倍压缩,实现了图像的高效传输。
- 王晓日吴维慕晓冬柯冰
- 关键词：屏幕图像四叉树分解
- 用户组在RBAC模型中的应用被引量：2
- 2012年
- 基于角色的访问控制(RBAC)机制中角色分层不能反映部门的组织结构、不适用大量用户的系统。通过引入用户组使系统的组织层次在用户组的层次结构中得到反映,对用户组的授权代替了组中所有用户的授权,解决了部门权限管理和大量用户的授权问题。基于用户组的访问控制模型在灵活和可扩展性、可接受性、机制的经济性方面具有明显的优势。
- 慕晓冬李飞行
- 关键词：用户组权限管理
- 面向事件图和事件时态逻辑的模型检验方法被引量：2
- 2013年
- 针对目前没有适合直接对事件图模型进行性质规约的时态逻辑语言,提出一种基于事件的时态逻辑(event temporal logic,简称ETL).ETL以事件作为原子命题,根据事件图的特点增加了对事件取消操作、模型实例化、时间约束和同时事件优先级的表达能力,便于仿真领域的用户在模型检验过程中简洁地对基于事件图的模型应满足的性质进行描述.然后,在ETL公式和自动机理论的基础上,给出了面向事件图和ETL的模型检验方法来判断事件图模型是否满足ETL描述的性质规约.实例验证了ETL对事件图模型具有足够的表达能力以及该方法的有效性.
- 夏薇姚益平慕晓冬
- 关键词：事件图BÜCHI自动机
