刘铭
- 作品数：17 被引量：24H指数：3
- 供职机构：哈尔滨工程大学更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术电子电信交通运输工程理学更多>>
- H市税务局社会保险费征管优化研究
- 按照党中央和国务院《深化党和国家机构改革方案》的决策部署，自2019年1月1日起全国各项社会保险费征收工作由税务机关统一进行。作为国税地税征管体制改革的重要内容之一，社会保险费征管职责的划转将结束我国社会保险费征管的“分...
- 刘铭
- 关键词：社会保险费征收管理
- 文献传递
- 基于可重构技术的声码器研究
- 随着网络技术和通信技术的发展，VoIP技术逐渐成为语音通信的热门研究领域。iLBC作为专为窄带语音通信而设计VoIP声码器，采用了帧独立线性预测技术和包丢失掩蔽技术，可以在丢包率较高的网络环境中保持良好的语音通话质量，具...
- 刘铭
- 关键词：语音通信可重构技术声码器
- 文献传递
- 基于层次实时有色Petri网的实时系统建模与分析方法研究被引量：8
- 2011年
- Petri网是一种基于图形进行模拟和分析的数学工具,能够描述系统的异步和并发行为,但是现有高级Petri网不能对嵌入式实时系统进行完整的模拟与实时性分析。该文首先通过扩展有色Petri网提出了层次实时有色Petri网模型,然后描述了嵌入式实时系统的建模和实时性分析方法。最后,将该文提出的方法应用于硬实时系统——列车通信网络MVB总线控制器的建模和实时性分析过程,仿真和分析结果表明,该方法能够满足列车通信网络系统设计对MVB总线控制器的功能验证和实时性分析需求。
- 刘铭张国印姚爱红门朝光
- 关键词：PETRI网列车通信网络嵌入式实时系统形式化建模
- 基于扩展Petri网的系统建模及形式化验证方法被引量：6
- 2010年
- 嵌入式实时系统对时间约束性、安全性和可靠性具有非常高的要求,但是传统的建模和形式化验证方法难以满足对系统的实时性和安全性的模拟和验证需求。通过对有色Petri网的时间属性进行扩展,提出了实时有色Petri网模型,能够对系统的时间属性进行模拟和评估;参考实时有色Petri网模型到时间自动机的语义转换规则对模型进行转换,可以利用时间计算树逻辑对系统的实时性、安全性和可靠性进行形式化验证。以列车通信网络控制器的双线冗余控制模块的建模和形式化验证为例,证明了该方法的有效性。
- 张国印刘铭姚爱红门朝光
- 关键词：形式化验证嵌入式系统
- 利用嵌入离散动态事件树改进核电厂安全性能分析的方法
- 本发明公开了利用嵌入离散动态事件树改进核电厂安全性能分析的方法，包括以下步骤：S1、根据核电厂需要分析的安全问题，按照确定论安全分析方法编写RELAP5软件输入文件“*.i”文件；S2、构建作为基本接口模块的DETRIA...
- 王贺汪良军徐安琪刘铭李磊孙大彬陈思娟
- 文献传递
- 三元平面基阵被动定位技术研究
- 水声定位技术一直是水声技术领域研究的重点，而被动定位技术是水声定位技术中一个重要的综合性分支。其中，三元阵被动定位技术已经被大量应用在该领域，它的原理是利用球面波或柱面波的波阵面曲率变化，再通过测量每一个阵元之间的相对时...
- 刘铭
- 关键词：水声定位噪声干扰时延测量
- 文献传递
- 一种基于SoPC技术的iLBC语音编解码器设计实现被引量：2
- 2010年
- 基于VoIP技术的语音通信发展迅速,单芯片VoIP处理器的设计方法成为当前的研究热点.iLBC作为专为窄带通信而设计的VoIP语音编解码器,可以在丢包率和延迟较高的网络环境中保持良好的语音通话质量,具有广泛的应用前景.传统的基于DSP处理器实现方法具有芯片面积大、功耗高等缺点,难以满足VoIP系统集成度高、低功耗和易于升级等需求.本文提出了一种基于SoPC技术的iLBC语音编解码器实现方案,并对自相关计算算法进行了并行计算硬件IP核设计,提高了系统的集成度、计算性能和可扩展性.理论分析和实验结果表明并行自相关计算结构有效减少了访存次数,可以获得接近30的加速比.
- 张国印刘铭姚爱红
- 关键词：ILBC语音压缩算法可编程片上系统
- 一种基于移动点和不完美排错的软件可靠性建模方法
- 本发明一种基于移动点和不完美排错的软件可靠性建模方法，涉及软件可靠性增长模型研究领域。具体包括：步骤一、提出基于移动点和不完美排错的软件可靠性建模基本假设条件；步骤二、根据软件测试过程中的不完美排错现象，获取故障引入率函...
- 高峰王奎民陈嵩博刘铭孟欣冉
- 文献传递
- 利用嵌入离散动态事件树改进核电厂安全性能分析的方法
- 本发明公开了利用嵌入离散动态事件树改进核电厂安全性能分析的方法，包括以下步骤：S1、根据核电厂需要分析的安全问题，按照确定论安全分析方法编写RELAP5软件输入文件“*.i”文件；S2、构建作为基本接口模块的DETRIA...
- 王贺汪良军徐安琪刘铭李磊孙大彬陈思娟
- 文献传递
- 一种基于图像处理技术的椭圆与矩形目标识别方法
- 本发明涉及数字图像处理技术领域，公开了一种基于图像处理技术的椭圆与矩形目标识别方法。由于形状本身的相似性，椭圆和矩形的分类识别是数字图像处理技术的经典难题之一。本发明采用的方法的核心是，首先求出目标区域与边界框的几何中心...
- 卞红雨朱殿尧张志刚刘铭
- 文献传递
