吴亚宁
- 作品数：4 被引量：2H指数：1
- 供职机构：解放军理工大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：军事自动化与计算机技术更多>>
- 外军联盟作战管理语言的发展现状及对我军的启示
- 介绍了外军联盟作战管理语言的相关概念与研究现状,并详细分析了近年来外军在联盟作战管理语言领域研究过程中遇到的若于问题及其对我军的启示与借鉴作用,最后阐述了我军在相关领域内的发展建议和应对策略.要借鉴外军系统开发模式的优点...
- 吴亚宁鲍广宇
- 关键词：作战管理语言指挥控制作战理论机器人部队
- 文献传递
- 未来数字化战场中的指挥控制语言研究被引量：1
- 2014年
- 针对未来数字化战场中机器人部队指挥控制与协同作战领域需解决的机-机协同和人-机智能融合等问题,综述国内外相关领域的研究现状,分析了构建我军指挥控制语言的必要性,研究了机器人部队指挥控制语言的技术架构与关键技术,提出了指挥控制语言的一种形式化语法和语义标注方法和通信协议,并结合海军舰艇作战示例分析了指挥控制语言的可行性及有效性。
- 吴亚宁谭伟周伟袁黎苗
- 关键词：机器人部队信息交互数字化战场
- 基于CMP系统的并行编程模式研究被引量：1
- 2014年
- 研究基于CMP(Chip Multiple Processors,片上多处理器)系统的并行编程模式旨在建立开发CMP系统上并行程序的整套方法。首先简要介绍了多核并行计算,然后通过对CMP系统上并行计算问题的综合归纳,提出了基于CMP系统的并行编程模式的概念模型,这个概念模型包含并行体系结构、并行算法设计模型、开发环境、并行程序实现模型四个核心要素;其次,对各并行编程模式各要素及其子概念的内涵进行了阐释;最后以实例对并行编程模式进行说明,初步验证了这套编程模式的合理性。
- 胥秀峰鲍广宇黄海燕吴亚宁
- 关键词：并行计算编程模式
- 一种无人化平台作战命令的形式化语法及检验算法
- 2015年
- 作战命令是我军实施指挥和部队遂行作战任务的基本依据,也是联系指控系统、仿真系统与无人作战平台的重要桥梁。为了实现系统之间对作战命令的无歧义理解,论文运用一种改进的巴科斯范式方法对作战命令进行了形式化描述。同时,论文提出了一种基于与/或树的语法检验算法,以保证作战命令形式化语法的正确性与合法性。
- 鲍广宇吴亚宁
- 关键词：作战命令形式化描述
