您的位置： 专家智库 > >

黄锐

作品数：15 被引量：25H指数：3
供职机构：中国人民解放军海军潜艇学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：交通运输工程自动化与计算机技术电子电信兵器科学与技术更多>>

合作作者

文献类型

  • 11篇期刊文章
  • 2篇会议论文
  • 1篇专利

领域

  • 5篇交通运输工程
  • 4篇自动化与计算...
  • 2篇电子电信
  • 2篇一般工业技术
  • 2篇理学
  • 1篇环境科学与工...
  • 1篇军事
  • 1篇兵器科学与技...

主题

  • 4篇潜艇
  • 2篇信号
  • 2篇信息系统
  • 2篇隐蔽通信
  • 2篇听觉
  • 2篇听觉分析
  • 2篇通信
  • 2篇器材
  • 2篇管理信息
  • 2篇管理信息系统
  • 2篇高频
  • 1篇导弹
  • 1篇信标
  • 1篇信号识别
  • 1篇形式化
  • 1篇形式化方法
  • 1篇虚拟化
  • 1篇虚拟化软件
  • 1篇硬件
  • 1篇硬件设备

机构

  • 14篇中国人民解放...

作者

  • 14篇黄锐
  • 5篇马亮
  • 2篇李训诰
  • 2篇刘翠海
  • 2篇韩树平
  • 2篇秦楠
  • 2篇马宏岩
  • 1篇饶盛
  • 1篇纪金耀
  • 1篇衡辉
  • 1篇王新宁
  • 1篇马鑫
  • 1篇孙春生
  • 1篇蔡广友
  • 1篇郭鹏程
  • 1篇肖汉华
  • 1篇衡军
  • 1篇肖滨
  • 1篇马曾
  • 1篇董严红

传媒

  • 3篇数字技术与应...
  • 2篇舰船电子工程
  • 2篇舰船科学技术
  • 1篇电脑学习
  • 1篇系统工程理论...
  • 1篇计算机应用
  • 1篇中国修船
  • 1篇2016’中...

年份

  • 2篇2020
  • 4篇2019
  • 2篇2017
  • 3篇2016
  • 1篇2015
  • 2篇2009
共 15 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
高频声纳信号听觉分析方法研究
论文针对高频声纳信号频率高、持续时间短、人耳无法听测等特点,基于听觉模型的基本原理提出一种新的高频声纳回波信号失真听测方法,较好地解决了高频声纳信号无法通过人耳识别的难题.基于Hilbert谱分析技术,结合入耳的听测,可...
李训诰马宏岩黄锐
关键词：信号识别听觉模型谱分析
文献传递
战储器材管理系统设计与开发被引量：2
2009年
战储器材管理是装备管理工作中的一项基础性的工作,但由于战储器材战备完好率要求高的具体特点,使它与常用的器材管理模式有很多不同之处。文章首先介绍了战储器材管理的基本内容,并在此基础上采用Delphi 7和SQL Server 2000设计开发了满足战储器材特殊管理需求的管理信息系统,充分发挥计算机管理信息系统数据完整全面、分析处理迅速、准确性高的特点,为实现战储器材管理的正规化打下基础。
黄锐马亮饶盛
关键词：管理信息系统
基于云模型的导弹状态评估方法被引量：6
2015年
状态评估是在导弹保障中实施基于状态的维修的关键。论文针对测试数据信息具有随机性和模糊性的特点,提出将状态信息进行归一化处理,结合云模型实现对导弹装备状态的实时评估。通过实例分析,确定了导弹装备的状态,验证评估模型的合理性。
陈兆铭马亮黄锐宋继云
关键词：导弹云模型
基于Delphi的器材管理系统分析与设计
2009年
本文首先介绍了器材管理的基本内容,并在此基础上采用Delphi7和SQLServer2000设计开发了满足器材各种管理需求的管理信息系统。
黄锐马亮
关键词：器材管理管理信息系统
基于STPA的潜艇鱼雷发射控制系统安全性分析被引量：5
2019年
针对潜艇鱼雷发射控制系统,提出一套基于系统理论过程分析(system theoretic process analysis,STPA)的安全性分析方法.借助XSTAMPP安全工程平台,以鱼雷发射阶段解脱武器制动动作为案例,利用所提方法进行了安全性分析.同时改进传统STPA致因场景分析模型,生成精细化的系统安全要求,并利用线性时序逻辑(linear temporal logic,LTL)对生成的安全要求进行规范化描述,克服了传统STPA分析结果使用自然语言描述的局限性,为进一步的模型安全性验证提供理论支撑,同时为系统操作员提供辅助决策.
秦楠马亮黄锐
基于跳频和调制跳变提高潜艇隐蔽通信能力的思考被引量：2
2019年
隐蔽通信是决定潜艇战斗力发挥的重要因素,而跳频通信则是保证我潜艇隐蔽通信的重要技术手段。现阶段,各军事强国对跳频信号的截获接收、识别技术已经比较成熟,为保证潜艇通信隐蔽安全,本文提出了跳频和调制跳变相结合的思想,并对该技术提高潜艇通信抗截获能力,保障潜艇通信信息安全的工作原理进行阐释。
阳艳竹黄锐刘翠海
关键词：跳频
高频声纳信号听觉分析方法研究
论文针对高频声纳信号频率高、持续时间短、人耳无法听测等特点,基于听觉模型的基本原理提出一种新的高频声纳回波信号失真听测方法,较好地解决了高频声纳信号无法通过人耳识别的难题。基于Hilbert谱分析技术,结合人耳的听测,可...
李训诰马宏岩黄锐
关键词：高频信号听觉
文献传递
一种分布式仿真训练系统
一种分布式仿真训练系统，主要包括：服务器，服务器上安装控制台及管理组件，服务器通过交换机连接客户终端计算机，所述服务器上的硬件设备以及软件模块共同构成资源池，其特征在于，所述服务器上安装虚拟化软件。
衡军肖滨纪金耀孙春生董严红郭鹏程马曾周航衡辉黄锐肖汉华王新宁
文献传递
确定型器材库存模型研究与应用
2020年
如何进行器材仓库的科学管理,才能使其无论在任何时候都能发挥应有的职能,是一个关键而且很有意义的课题。
黄锐
基于系统理论过程分析的软件安全性需求分析与验证方法被引量：2
2020年
针对传统系统理论过程分析(STPA)方法缺乏自动化实现手段、自然语言结果分析存在歧义性的问题,提出一种基于STPA的软件安全性需求分析与验证方法。首先,提取软件安全性需求,并利用算法将其转化为形式化表达式;其次,建立状态图模型来描述软件安全控制行为逻辑,并将其转化为程序可读的形式化语言;最后,采用模型检验技术进行形式化验证。结合某武器发射控制系统案例验证了方法的有效性,结果表明,该方法能够实现安全需求分析的自动化生成与形式化验证,解决了传统方法对于人工干预的依赖问题及自然语言描述问题。
秦楠马亮黄锐
关键词：形式化方法
全选 清除 导出
共2页<12>
聚类工具0