云南高校图书馆联盟文献共享服务平台- 国家高技术研究发展计划(2004AA001021)

国家高技术研究发展计划(2004AA001021): 作品数：11被引量：69H指数：5; 导出分析报告; 相关作者：魏臻陆阳程磊张本宏韩江洪更多>>; 相关机构：合肥工业大学教育部三联学院更多>>; 相关期刊：《计算机技术与发展》《铁道学报》《系统仿真学报》《Wuhan University Journal of Natural Sciences》更多>>; 相关主题：安全性可靠性双模冗余信息系统会话初始协议更多>>; 相关领域：自动化与计算机技术交通运输工程更多>>

井下移动SIP通信终端的设计与实现被引量：1: 《计算机工程》2012年第7期217-219,223,共4页程磊方天平鲍红杰程运安; 国家"863"计划基金资助项目(2004AA001021); 为实现灵活、畅通、可靠的井下通信,设计一种基于嵌入式Linux的移动会话初始协议(SIP)通信终端。该终端利用SIP作为应用层协议,在流动会话过程中提供对语音连续性的支持。设计一种灵活高效的SIP协议栈,在嵌入式平台下结合无线局域网技术...; 关键词：嵌入式技术会话初始协议无线局域网 VOIP技术通信终端

基于井下安全的嵌入式SIP终端研究与设计: 《合肥工业大学学报（自然科学版）》2012年第1期49-52,共4页方天平王凤程磊; 国家863计划资助项目(2004AA001021);安徽省科技攻关计划资助项目(07010202045); 根据目前矿井的安全状况和实际需要,文章设计了一种基于嵌入式Linux的SIP通信终端。该终端利用SIP协议的软电话模型,在基于ARM的嵌入式平台上结合了WIFI无线局域网技术和VoIP语音处理技术,实现了井下的实时语音通话,同时扩展并实现了井...; 关键词：嵌入式LINUX 会话初始协议无线局域网井下安全 VOIP

基于OGRE粒子系统在烟花渲染中的研究被引量：5: 《计算机技术与发展》2011年第10期88-91,共4页蔡政策魏臻凌勇程磊; 安徽省科技攻关项目(07010202045);国家"863"计划资助项目(2004AA001021); 为了实现对自然现象和景物及日常生活进行真实模拟,在游戏和虚拟生活中都要创造大量的虚拟场景,使用虚拟渲染也节省开发成本,加上粒子系统在计算机图形学中的地位十分重要。文中在OGRE(Object-Oriented Graphics Render-ing Engine)引...; 关键词：虚拟场景粒子系统 OGRE引擎脚本语言

铁路物流自动跟踪信息系统关键技术研究被引量：1: 《合肥工业大学学报（自然科学版）》2010年第7期965-967,共3页魏臻任建华程磊; 国家863计划资助项目(2004AA001021); 文章对铁路物流自动跟踪信息系统进行了分析与归纳,用记录主要事件发生、发展过程的数据作为自动跟踪的主要依据;将经需求分析后的程序流程图作为其转入编程的关键,实现了铁路物流自动跟踪信息系统的各个功能;并用Hibernate编程技术对...; 关键词：铁路物流自动跟踪信息获取

基于灰盒测试的计算机联锁系统软件自动测试研究被引量：5: 《合肥工业大学学报（自然科学版）》2010年第5期670-673,682,共5页程磊李卢强程运安; 国家863计划资助项目(2004AA001021); 安全是铁路运输生产永恒的主题,联锁软件是保障铁路车站列车或机车作业安全的关键软件,而高效、充分的测试对于保证其安全性具有举足轻重的作用。文章描述了被测联锁系统的体系结构以及自动测试系统的设计,采用了基于灰盒测试方法来完...; 关键词：计算机联锁自动测试黑盒测试白盒测试灰盒测试

基于自动机模型的平面调车软件设计方法: 《电子学报》2009年第5期1013-1018,共6页魏臻陆阳汤俊鲍红杰; 国家863高技术研究发展计划(No.2004AA001021);国家自然科学基金(No.60873003); 平面调车是一种铁路调车过程中的离散事件系统.可靠性高、易测试的平面调车软件对保障铁路运输安全极为重要,因此需要建立一种规范模型基础上的平面调车软件设计方法.分析了平面调车系统中事件驱动过程的复杂性以及自然语言规则描述方...; 关键词：离散事件系统平面调车时间自动机下推自动机

双模冗余-比较系统的可靠性和安全性分析被引量：12: 《系统工程学报》2009年第2期231-237,共7页张本宏陆阳魏臻韩江洪; 国家863计划资助项目(2004AA001021);教育部新世纪优秀人才支持计划资助项目(NCET-04-0562); 提出一种新的冗余系统模型——双模冗余-比较系统,给出该模型下的两种实现策略,利用马尔柯夫过程研究了不同策略下的可靠度和安全度,通过MATLAB的仿真计算,分析了故障检测覆盖率和修复率对可靠度和安全度的影响.与三模冗余和双机热备系...; 关键词：双模冗余比较系统可靠性安全性故障安全

“二乘二取二”和“双模冗余-比较”结构对比研究被引量：9: 《电子测量与仪器学报》2009年第3期15-22,共8页陆阳张本宏魏臻韩江洪; 国家863计划(编号:2004AA001021)资助项目;国家自然科学基金(编号:60873003)资助项目; 研究了"二乘二取二"冗余(D2V2R:double 2-vote-2 redundancy)和"双模冗余-比较"(C-DDMR:comparison of double dual-module redundancy)结构的工作原理,提出了D2V2R结构和C-DDMR结构两种控制策略。利用马尔柯夫过程分析了不同策略下的...; 关键词：双模冗余可靠性安全性马尔柯夫模型

“二乘二取二”冗余系统的可靠性和安全性分析被引量：32: 《系统仿真学报》2009年第1期256-261,共6页张本宏陆阳韩江洪魏臻; 国家863计划项目(2004AA001021);教育部新世纪优秀人才支持计划(NECT-04-0562); 提出了"二乘二取二"冗余系统两种不同工作策略,利用马尔柯夫过程研究了不同策略的可靠度和安全度,通过MATLAB的仿真计算,分析了故障检测覆盖率和修复率对可靠度和安全度的影响。与三模冗余和双机热备系统的对比研究表明,策略1的安全度最...; 关键词：表决系统可靠性安全性故障安全马尔可夫模型

A Proxy Blind Signature Scheme Based on DLP被引量：2: 《Wuhan University Journal of Natural Sciences》2007年第1期83-86,共4页YU Baozheng XU Congwei; Supported by the National High Technology Research and Development Program of China (2004AA001021), the Anhui Province Educa-tion Department Project (G2006jq1011) and Hefei University of Technology Project (G061105F); A proxy signature scheme allows an original signer to delegate his signing capability to a proxy signer who can sign on behalf of the original signer. A blind signature is the concept with a salient feature that the s...; 关键词：discrete logarithm problem proxy signature blind signature electronic commerce

国家高技术研究发展计划(2004AA001021)