刘铭
- 作品数：17 被引量：24H指数：3
- 供职机构：哈尔滨工程大学更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术电子电信交通运输工程理学更多>>
- H市税务局社会保险费征管优化研究
- 按照党中央和国务院《深化党和国家机构改革方案》的决策部署，自2019年1月1日起全国各项社会保险费征收工作由税务机关统一进行。作为国税地税征管体制改革的重要内容之一，社会保险费征管职责的划转将结束我国社会保险费征管的“分...
- 刘铭
- 关键词：社会保险费征收管理
- 文献传递
- 基于可重构技术的声码器研究
- 随着网络技术和通信技术的发展，VoIP技术逐渐成为语音通信的热门研究领域。iLBC作为专为窄带语音通信而设计VoIP声码器，采用了帧独立线性预测技术和包丢失掩蔽技术，可以在丢包率较高的网络环境中保持良好的语音通话质量，具...
- 刘铭
- 关键词：语音通信可重构技术声码器
- 文献传递
- 水下目标特征提取与线谱跟踪技术研究
- 水下目标辐射噪声中的线谱成分不仅频率稳定,而且对应着水下目标的固定参数和本质特征,所以线谱的特征提取是潜艇和舰船探测水下目标的关键技术之一,直接关系到信号检测和目标跟踪效果的好坏。如何从水下目标辐射噪声中提取线谱成分的有...
- 刘铭
- 关键词：特征提取分数阶FOURIER变换
- 文献传递
- 覆盖率导向的WTB控制器功能验证方法
- 2011年
- 随着单芯片集成度的迅速提高,硬件验证在系统设计中占有越来越重要的地位.仅由设计者完成的模块级验证已经不能够保障流片成功率,需要在验证方法学指导下采用多种先进有效的验证技术和工具,帮助设计者尽可能早地发现和修改设计缺陷.本文详细介绍了在验证方法学VMM指导下,基于IEC61375-1标准的规定,设计分层次的验证环境,对绞线式列车总线控制器进行RTL和参考模型联合仿真的功能验证技术.通过可重用VMM库和随机化函数及基于断言的验证方法,编写高效、可重用的验证平台,以提高验证效率和覆盖率.实验表明,采用覆盖率导向的验证方法可有效地减少验证工作量和验证时间,提高验证质量.
- 姚爱红张智钧刘铭
- 关键词：断言
- 列车通信网络系统形式化建模与验证方法研究
- 随着现场总线技术、计算机网络通信技术、嵌入式系统控制技术以及故障诊断技术的快速发展,现代列车控制系统已经从孤立的数字控制系统发展成为基于网络的分布式控制系统。列车通信网络系统应用总线技术对分布于列车上的设备进行控制,属于...
- 刘铭
- 关键词：列车通信网络形式化建模形式化验证
- 文献传递
- 一种基于移动点和不完美排错的软件可靠性建模方法
- 本发明一种基于移动点和不完美排错的软件可靠性建模方法，涉及软件可靠性增长模型研究领域。具体包括：步骤一、提出基于移动点和不完美排错的软件可靠性建模基本假设条件；步骤二、根据软件测试过程中的不完美排错现象，获取故障引入率函...
- 高峰王奎民陈嵩博刘铭孟欣冉
- 文献传递
- 基于层次实时有色Petri网的实时系统建模与分析方法研究被引量：8
- 2011年
- Petri网是一种基于图形进行模拟和分析的数学工具,能够描述系统的异步和并发行为,但是现有高级Petri网不能对嵌入式实时系统进行完整的模拟与实时性分析。该文首先通过扩展有色Petri网提出了层次实时有色Petri网模型,然后描述了嵌入式实时系统的建模和实时性分析方法。最后,将该文提出的方法应用于硬实时系统——列车通信网络MVB总线控制器的建模和实时性分析过程,仿真和分析结果表明,该方法能够满足列车通信网络系统设计对MVB总线控制器的功能验证和实时性分析需求。
- 刘铭张国印姚爱红门朝光
- 关键词：PETRI网列车通信网络嵌入式实时系统形式化建模
- 基于扩展Petri网的系统建模及形式化验证方法被引量：6
- 2010年
- 嵌入式实时系统对时间约束性、安全性和可靠性具有非常高的要求,但是传统的建模和形式化验证方法难以满足对系统的实时性和安全性的模拟和验证需求。通过对有色Petri网的时间属性进行扩展,提出了实时有色Petri网模型,能够对系统的时间属性进行模拟和评估;参考实时有色Petri网模型到时间自动机的语义转换规则对模型进行转换,可以利用时间计算树逻辑对系统的实时性、安全性和可靠性进行形式化验证。以列车通信网络控制器的双线冗余控制模块的建模和形式化验证为例,证明了该方法的有效性。
- 张国印刘铭姚爱红门朝光
- 关键词：形式化验证嵌入式系统
- 利用嵌入离散动态事件树改进核电厂安全性能分析的方法
- 本发明公开了利用嵌入离散动态事件树改进核电厂安全性能分析的方法，包括以下步骤：S1、根据核电厂需要分析的安全问题，按照确定论安全分析方法编写RELAP5软件输入文件“*.i”文件；S2、构建作为基本接口模块的DETRIA...
- 王贺汪良军徐安琪刘铭李磊孙大彬陈思娟
- 文献传递
- 三元平面基阵被动定位技术研究
- 水声定位技术一直是水声技术领域研究的重点，而被动定位技术是水声定位技术中一个重要的综合性分支。其中，三元阵被动定位技术已经被大量应用在该领域，它的原理是利用球面波或柱面波的波阵面曲率变化，再通过测量每一个阵元之间的相对时...
- 刘铭
- 关键词：水声定位噪声干扰时延测量
- 文献传递
