刘铭

作品数：5被引量：14H指数：2
导出分析报告
供职机构：哈尔滨工程大学更多>>
发文主题：列车通信网络PETRI网形式化建模形式化验证处理技术更多>>
发文领域：自动化与计算机技术电子电信交通运输工程理学更多>>
发文期刊：《铁道学报》《计算机应用研究》《小型微型计算机系统》《电子与信息学报》更多>>
所获基金：国家自然科学基金中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
列车通信网络控制器的综合验证
《铁道学报》2012年第3期68-74,共7页刘铭 张国印 姚爱红 门朝光 
国家自然科学基金资助项目(60873138)
列车通信网络对安全性和可靠性提出更高的要求,如何保证网络控制器设计的正确性和可靠性成为确保列车安全运行的关键因素之一。本文以高级验证方法学为指导搭建列车网络控制器的层次化验证环境,提出网络拓扑级验证模型和错误注入机制,...
关键词：列车通信网络 高级验证方法学 层次化验证模型 断言 FPGA 
覆盖率导向的WTB控制器功能验证方法
《小型微型计算机系统》2011年第3期531-535,共5页姚爱红 张智钧 刘铭 
中央高校基本科研业务费专项资金项目(HEUCF100606)资助
随着单芯片集成度的迅速提高,硬件验证在系统设计中占有越来越重要的地位.仅由设计者完成的模块级验证已经不能够保障流片成功率,需要在验证方法学指导下采用多种先进有效的验证技术和工具,帮助设计者尽可能早地发现和修改设计缺陷.本...
关键词：功能验证 验证方法学 覆盖率 断言 WTB控制器 
基于层次实时有色Petri网的实时系统建模与分析方法研究被引量：8
《电子与信息学报》2011年第3期580-586,共7页刘铭 张国印 姚爱红 门朝光 
国家自然科学基金(60873138)资助课题
Petri网是一种基于图形进行模拟和分析的数学工具,能够描述系统的异步和并发行为,但是现有高级Petri网不能对嵌入式实时系统进行完整的模拟与实时性分析。该文首先通过扩展有色Petri网提出了层次实时有色Petri网模型,然后描述了嵌入式...
关键词：PETRI网 列车通信网络 嵌入式实时系统 形式化建模 
基于扩展Petri网的系统建模及形式化验证方法被引量：5
《计算机应用研究》2010年第12期4587-4590,共4页张国印 刘铭 姚爱红 门朝光 
国家自然科学基金资助项目(60873138)
嵌入式实时系统对时间约束性、安全性和可靠性具有非常高的要求,但是传统的建模和形式化验证方法难以满足对系统的实时性和安全性的模拟和验证需求。通过对有色Petri网的时间属性进行扩展,提出了实时有色Petri网模型,能够对系统的时间...
关键词：形式化验证 建模 实时有色Petri网 嵌入式系统 
一种基于SoPC技术的iLBC语音编解码器设计实现被引量：1
《小型微型计算机系统》2010年第5期1016-1020,共5页张国印 刘铭 姚爱红 
基于VoIP技术的语音通信发展迅速,单芯片VoIP处理器的设计方法成为当前的研究热点.iLBC作为专为窄带通信而设计的VoIP语音编解码器,可以在丢包率和延迟较高的网络环境中保持良好的语音通话质量,具有广泛的应用前景.传统的基于DSP处理器...
关键词：VoIP ILBC 语音压缩算法 可编程片上系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部