国家高技术研究发展计划(2004AA001021) 作品数:11 被引量:76 H指数:5 相关作者: 魏臻 陆阳 程磊 张本宏 韩江洪 更多>> 相关机构: 合肥工业大学 教育部 三联学院 更多>> 发文基金: 国家高技术研究发展计划 教育部“新世纪优秀人才支持计划” 国家自然科学基金 更多>> 相关领域: 自动化与计算机技术 交通运输工程 更多>>
A Proxy Blind Signature Scheme Based on DLP 被引量:2 2007年 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 signer can not make a linkage between the blind signature and the identity of the requester. Proxy signature and blind signature are used widely in electronic commerce. With satisfying the security properties of both two signatures, a new proxy blind signature scheme based on discrete logarithm problem is proposed. YU Baozheng XU Congwei铁路物流自动跟踪信息系统关键技术研究 被引量:2 2010年 文章对铁路物流自动跟踪信息系统进行了分析与归纳,用记录主要事件发生、发展过程的数据作为自动跟踪的主要依据;将经需求分析后的程序流程图作为其转入编程的关键,实现了铁路物流自动跟踪信息系统的各个功能;并用Hibernate编程技术对信息系统各种数据进行了有效处理,以进一步提高铁路物流的运行效率。 魏臻 任建华 程磊关键词:铁路物流 信息获取 双模冗余-比较系统的可靠性和安全性分析 被引量:13 2009年 提出一种新的冗余系统模型——双模冗余-比较系统,给出该模型下的两种实现策略,利用马尔柯夫过程研究了不同策略下的可靠度和安全度,通过MATLAB的仿真计算,分析了故障检测覆盖率和修复率对可靠度和安全度的影响.与三模冗余和双机热备系统的对比研究表明,策略1的安全度最大,可靠度最小;策略2在修复率为0时可靠度最大,安全度与三模冗余系统相当而高于双机热备系统,在修复率为0.01时,安全度最大,可靠度略小于三模冗余和双机热备系统. 张本宏 陆阳 魏臻 韩江洪关键词:双模冗余 可靠性 安全性 基于自动机模型的平面调车软件设计方法 2009年 平面调车是一种铁路调车过程中的离散事件系统.可靠性高、易测试的平面调车软件对保障铁路运输安全极为重要,因此需要建立一种规范模型基础上的平面调车软件设计方法.分析了平面调车系统中事件驱动过程的复杂性以及自然语言规则描述方式的缺陷,提出通过自动机模型描述平面调车系统,具体讨论了平面调车系统与时间自动机(TA)、下推自动机(PDA)和分层自动机的关系.从状态划分、数据结构设计、状态转移流程等方面说明了基于自动机模型的平面调车软件的设计方法. 魏臻 陆阳 汤俊 鲍红杰关键词:离散事件系统 平面调车 时间自动机 下推自动机 调车机车无线作业信息系统的研究开发 被引量:9 2006年 企业铁路调车作业主要包括作业计划的制定、传送、执行、记录等过程,在目前多数企业铁路的站场,这些过程基本是依靠人工完成,因此成为制约企业铁路提高运输调度效率和管理水平的主要因素,急需利用现代信息技术进行改造。论文从建设企业铁路智能运输调度综合信息平台的角度出发,结合实际研发工作,对调车机车无线作业信息系统的系统结构、系统功能进行了详细阐述,重点介绍了在无线通信、计划传输、机车状态监测、计划编排等方面的技术特点,分析了信息化条件下调车作业过程、计算机联锁、企业铁路物流信息管理之间的关系。 魏臻 陆阳 鲍红杰 李谦 汤俊关键词:铁路运输 集群通信 调车作业 企业铁路 “二乘二取二”冗余系统的可靠性和安全性分析 被引量:36 2009年 提出了"二乘二取二"冗余系统两种不同工作策略,利用马尔柯夫过程研究了不同策略的可靠度和安全度,通过MATLAB的仿真计算,分析了故障检测覆盖率和修复率对可靠度和安全度的影响。与三模冗余和双机热备系统的对比研究表明,策略1的安全度最大,可靠度最小;策略2的可靠度最大,安全度在修复率为0.9时大于三模冗余和双机热备系统,在修复率为0时略低于三模冗余系统,而高于双机热备系统。 张本宏 陆阳 韩江洪 魏臻关键词:表决系统 可靠性 安全性 马尔可夫模型 基于OGRE粒子系统在烟花渲染中的研究 被引量:5 2011年 为了实现对自然现象和景物及日常生活进行真实模拟,在游戏和虚拟生活中都要创造大量的虚拟场景,使用虚拟渲染也节省开发成本,加上粒子系统在计算机图形学中的地位十分重要。文中在OGRE(Object-Oriented Graphics Render-ing Engine)引擎架构上,对粒子系统的原理、结构和其脚本语言、粒子系统的烟花虚拟渲染流程进行了研究,文中对以往烟花渲染进行了改进,提出一种程序和脚本相结合的方法,通过OGRE引擎进平台进行实验论证,实验结果取得了较好的视觉效果,证明文中提出的方法可行,而且节约开发时间和提高开发效率。 蔡政策 魏臻 凌勇 程磊关键词:粒子系统 OGRE引擎 脚本语言 “二乘二取二”和“双模冗余-比较”结构对比研究 被引量:10 2009年 研究了"二乘二取二"冗余(D2V2R:double 2-vote-2 redundancy)和"双模冗余-比较"(C-DDMR:comparison of double dual-module redundancy)结构的工作原理,提出了D2V2R结构和C-DDMR结构两种控制策略。利用马尔柯夫过程分析了不同策略下的可靠度和安全度,并用MATLAB进行了仿真计算。对比研究表明,如果选择策略1,则在模块的故障检测覆盖率较高时,C-DDMR结构优于D2V2R结构,在模块的故障检测覆盖率较低时,D2V2R结构优于C-DDMR结构;如果选择策略2,D2V2R结构优于C-DDMR结构。 陆阳 张本宏 魏臻 韩江洪关键词:双模冗余 可靠性 安全性 马尔柯夫模型 井下移动SIP通信终端的设计与实现 被引量:1 2012年 为实现灵活、畅通、可靠的井下通信,设计一种基于嵌入式Linux的移动会话初始协议(SIP)通信终端。该终端利用SIP作为应用层协议,在流动会话过程中提供对语音连续性的支持。设计一种灵活高效的SIP协议栈,在嵌入式平台下结合无线局域网技术,实现井下实时语音通话功能。实验结果表明,该终端通话质量较好。 程磊 方天平 鲍红杰 程运安关键词:嵌入式技术 会话初始协议 VOIP技术 通信终端 基于井下安全的嵌入式SIP终端研究与设计 2012年 根据目前矿井的安全状况和实际需要,文章设计了一种基于嵌入式Linux的SIP通信终端。该终端利用SIP协议的软电话模型,在基于ARM的嵌入式平台上结合了WIFI无线局域网技术和VoIP语音处理技术,实现了井下的实时语音通话,同时扩展并实现了井下瓦斯的动态检测功能。实验结果表明,本终端功能合理、低功耗、便携性,在提高井下通信和安全等方面具有良好的应用前景。 方天平 王凤 程磊关键词:嵌入式LINUX 会话初始协议 无线局域网 井下安全 VOIP