蔡斌
- 作品数：5 被引量：45H指数：3
- 供职机构：西北工业大学航海学院更多>>
- 相关领域：自动化与计算机技术交通运输工程更多>>
- 基于HLA的水下战仿真系统研究被引量：33
- 2004年
- 针对水下对抗仿真环境需支持多种不同对抗样式水下战仿真实验的功能需求,提出了一种基于HLA的可扩展的开放式水下战仿真体系结构,基于该结构,仿真用户可以通过目标系统重组方式组建具体的联邦应用系统。并就系统设计、开发及实现过程中所需解决的主要关键技术,如FOM/SOM建模、成员框架结构设计、DIS/HLA网关、仿真运行机制、网络统计等分别作了讨论。本项研究对其它领域内基于HLA的联邦设计和开发具有参考价值。
- 苏颖康凤举阎晋屯马裕民蔡斌
- 关键词：HLAFOM/SOM
- 基于时态逻辑的形式化联邦校核方法被引量：4
- 2005年
- 提出了一种基于时态逻辑的形式化联邦校核方法,采用时态逻辑公式描述联邦各成员的行为逻辑关系,推导出与该时态逻辑公式对应的有限自动机模型,即规范自动机。同时,建立联邦全局行为的状态转移图,即实现自动机,通过检验规范自动机所接受的语言是否包含实现自动机所接受的语言来判断联邦运行时各成员的状态变化是否满足规范要求,达到校核联邦的目的。该方法可用来校核联邦及其成员的交互设计和逻辑行为运行的正确性和逻辑性,具有理论意义和应用价值。
- 杨惠珍康凤举马裕民蔡斌
- 关键词：时态逻辑模型校核形式化
- 基于COM的舰艇武器仿真系统建模研究被引量：3
- 2005年
- 现在舰艇武器仿真系统存在各子系统间耦合性强的问题,不利于系统的扩展和复用。针对以上问题,提出了一种以COM技术为基础的舰艇武器仿真系统的建模方法,根据舰艇武器的结构和功能特征,按照COM接口规范对仿真系统进行结构划分,设计各子系统的对外接口,给出了仿真系统的运行流程及测试流程,最后对一个子系统样例进行测试。结果表明,采用该方法可以较好地解决上述问题,减弱子系统间的耦合性,使仿真系统具备良好的可复用性和可扩展性。
- 蔡斌康凤举聂卫东宋志明
- 关键词：计算机仿真系统
- 基于HLA可重构水下对抗仿真系统的设计与实现被引量：2
- 2004年
- HLA(HighLevelArchitecture)是美国国防部推出的在高级分布仿真领域最新的通用集成体系结构 ,针对分布式水下对抗虚拟战场环境这一仿真应用 ,分析了构建水下多武器平台作战动态仿真使用的综合环境的需求和意义 ,提出采用基于高层体系结构HLA先进的建模、开发软件平台pRTI和仿真建模工具LabWorks来构建一个开放式、可扩展、可重构的水下对抗建模仿真综合环境的框架结构的设计方案。该对抗仿真系统可以通过目标系统重组方式进行多种不同对抗样式的水下战仿真结构。分析了该系统的功能、组成 ,提出了系统的工作流程、体系结构 ,探讨了系统实现过程中的建模。
- 苏颖康凤举阎晋屯马裕民蔡斌
- 关键词：HLARTI虚拟战场
- 水下航行器一体化、分布交互仿真环境设计与实现被引量：3
- 2004年
- 基于一体化仿真方法进行了局域网下五个仿真节点组成的水下航行器分布交互仿真环境的设计,利用Winsock2.0完成了网络通讯接口——专用通讯接口协议数据单元的开发,应用SQL Server完成了仿真数据库的设计,实现了潜-舰、潜-潜多武器平台作战对抗仿真功能。所完成的一体化分布交互仿真环境具有以下优点:集仿真建模、实验、结果分析全过程的一体化;利用人机界面可以对各仿真平台的系统模型及随机误差参数进行设置、修改和存储;通过设置不同的航路和仿真次数能够重复地进行分布交互仿真并获得统计结果。该项研究成果已在某航行器系统战技指标评估研究项目中得到应用。
- 康凤举苏颖阎晋屯蔡斌马裕民
- 关键词：水下航行器仿真自动化
