电子信息产业发展基金([2006]634)
- 作品数：9 被引量：24H指数：3
- 相关作者：彭磊曾家智毛剑韦韬毕亚雷更多>>
- 相关机构：电子科技大学中国科学院北京大学更多>>
- 发文基金：电子信息产业发展基金国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术医药卫生电子电信文化科学更多>>
- 无线传感器网络的协议再工程与方法研究被引量：1
- 2008年
- 基于协议工程和软件再工程的相关概念,提出一种针对无线传感器网络协议定制行为的规范化工作流程,命名为协议再工程。阐明了协议再工程产生的背景、定义、生命周期和工作流程;同时提出一种将统一建模语言和着色Petri网的U-CPN相集成的方法,用于协议再工程中的形式化描述模型的建立与验证,并对U-CPN和统一建模语言模型的等价性作出了基于网射的证明。最后,通过一个Zigbee相关的实例表明,在U-CPN方法基础上使用协议再工程指导协议修改,在可控性和描述力上具有优势,尤其加强了协议再工程中的形式化分析能力,可以很好地保证协议的修改质量。
- 彭磊袁海曾家智
- 关键词：统一建模语言着色PETRI网无线传感器网络
- 我国IC专利竞争力的现状及对策
- 2009年
- IC是高新技术产业发展的基石,对传统产业具有极大的渗透性与带动作用,是国民经济的基础性和战略性产业。IC专利竞争力是衡量一个国家科技发展水平的核心指标,也是一个国家技术安全和综合实力的重要表征。IC技术是提升我国专利竞争力的关键。我国IC产业专利竞争力取得了巨大的成就,经济环境也得到了进一步优化,但仍需从指导思想、组织模式、重大专利技术突破口等方面采取相应的对策。
- 申其辉
- 关键词：IC竞争力
- aVR导联ST段压低预测急性下壁心肌梗死患者RCA或LCX闭塞的价值被引量：4
- 2010年
- 目的判断aVR导联ST段压低预测急性下壁ST段抬高型心肌梗死(STEMI)患者右冠状动脉(RCA)或左冠状动脉回旋支(LCX)闭塞的价值。方法入选212例急性下壁STEMI患者,完成冠状动脉造影,术前记录标准12导联心电图,根据冠状动脉造影结果分析aVR导联ST段压低诊断RCA或LCX闭塞的敏感度、特异度。结果aVR导联ST段压低预测急性下壁STEMI患者梗死相关血管LCX的敏感度和特异度分别为55%和86%,而预测RCA的敏感度和特异度仅为14%和45%。结论aVR导联ST段压低是下壁STEMI患者LCX闭塞的预测因素。
- 崔丽萍陈萍杨庭树卢喜烈
- 关键词：AVR导联ST段抬高型心肌梗死下壁
- 一种低资源消耗的运动估计VLSI实现算法被引量：2
- 2010年
- 现有的VLSI(verylarge scale integration)视频编码芯片多使用全搜索运动估计(ME)方法,且没有搜索中心偏移(CB)的并行实现方法。本文提出一种适合VLSI的H.264、AVS CB并行搜索方案,减少搜索点数量,降低逻辑资源的消耗,并且使用预测高概率区域的方法,保证ME精度。实验表明,本方法具备较好的率失真性能。在现场可编程门阵列(FPGA)平台上实现了本算法,逻辑综合的数据表明,硬件资源消耗降低了64%。本算法可应用于标清和高清电视(HDTV,hign-definition television)视频编码器。
- 王贺滕国伟王国中张兆扬
- 关键词：VLSI
- 基于MPEG-2扩展性的视频认证方法与实现被引量：1
- 2008年
- 简要介绍了现有MPEG-2认证技术,指出了它们在某些实际应用中的不足。针对这些不足,提出了一种利用MPEG-2扩展性对视频传输流进行签名认证的方法,具有实时、无扰、兼容等特性。详细描述了发送端分段数字签名、无扰叠加签名信息以及接收端实时完整性认证过程。还分析了信道误码对该方法的影响,并提出一种误码容忍的认证方案。最后在以太网上实现并验证了该方法,说明该方法在现有实际的MPEG-2视频服务中能够迅速推广应用。
- 许良玉荆继武
- 关键词：MPEG-2传输流视频完整性数字签名
- 反编译中的复合条件分支识别算法被引量：2
- 2008年
- 首次对复合条件分支编译后的结构进行形式化描述,应用图论方法提出了复合分支网络概念,并在此基础上提出了一种新的识别算法。通过理论分析并采用该算法对多个典型样本进行实验,均显示该算法与现有算法相比,识别正确性有明显改善。
- 韦韬毛剑邹维
- 关键词：逆向工程信息安全反编译控制流分析
- 一种基于语义的恶意行为分析方法被引量：7
- 2008年
- 提出了一种基于语义的恶意行为分析方法,可以对基于函数调用的攻击进行完整刻画,支持流敏感、上下文敏感且路径敏感的函数间分析。与现有方法相比可以更加准确地描述全局状态中的基于函数调用的攻击行为。针对多个恶意程序和应用程序的分析表明,该方法可以有效地识别代码中的恶意行为。
- 李佳静梁知音韦韬毛剑
- 关键词：恶意代码分析代码混淆信息安全
- 基于着色解释Petri网的网络协议建模及协同仿真方法被引量：7
- 2009年
- 为解决协议工程中协议形式化验证和仿真断裂的问题,结合着色Petri网和解释Petri网,构造出一种可建模复杂离散事件系统的着色解释Petri网。借助观察者模式,依据着色解释Petri网的特点,提出了一种具有通用性的与协议仿真工具协同工作的方法。作为对该方法的示例,采用着色解释Petri网对避免冲突的多路访问协议进行建模。在保证与OPNET仿真模型一致的基础上,通过着色解释Petri网与OPNET的协同仿真,改良了避免冲突的多路访问的功率控制算法。基于着色解释Petri网的协同仿真,第一次紧密连接了Petri网和通用协议仿真工具,对协议工程将起到重要作用。
- 彭磊吴磊毕亚雷曾家智
- 关键词：离散事件系统
- 一种基于CIPN的网络协议建模方法
- 2008年
- 基于Petri网的网络协议建模技术需要更有效地与现有通用网络协议仿真技术协同工作,结合CPN和IPN,提出了一种新的Petri网派生类CIPN用于网络协议的建模和形式化分析,突出了协议的离散事件系统特性。给出了CIPN的定义,并讨论了CIPN的运行机制,证明了CIPN事件可观测性的充要条件。通过一个MACA协议作为示例,完成了从网络协议的一般CPN模型到CIPN模型的等价性转换,并利用CIPN的事件可观测性定理对MACA协议进行了事件观测性分析。
- 彭磊毕亚雷曾家智
- 关键词：网络协议离散事件系统
