任飞
- 作品数：16 被引量：13H指数：2
- 供职机构：电子科技大学更多>>
- 发文基金：国家科技重大专项中国航空科学基金清华大学自主科研计划更多>>
- 相关领域：自动化与计算机技术电子电信交通运输工程电气工程更多>>
- 一种热插拔设备的可信验证方法
- 本发明提供一种热插拔设备的可信验证方法。嵌入式系统开机上电后，对本地已加密的设备数据库进行解密后，获取已插入的热插拔设备的识别码与设备数据库进行匹配验证，如通过验证则加密设备数据库后执行系统登录操作并允许自动挂载已插入的...
- 杨霞桑楠杨姗石鹏雷林刘志伟孙超群孙海泳武琼袁艺刘维飞任飞吴开均
- 文献传递
- 大规模分布式存储系统中数据修复策略的研究
- 2013年
- 在大规模分布式存储系统中,为了保证数据的可用性和可靠性,需要对数据进行一定的冗余存储。当节点失效后,有必要对失效节点所存储的数据进行修复以提供数据的可用性保证。然而,由于节点失效行为的不可预测性,何时对数据进行修复成为难题。目前,许多系统采用了立即修复的策略,但是这种方式会给系统负载带来大量不必要的浪费。通过对节点失效行为和副本数量的分析,提出了基于平均偏移的两阶段数据修复策略。实验证明,该策略在保证系统副本可用性的前提下,有效地降低了数据修复过程对系统的负载压力,提高了集群系统的系统稳定性。
- 任飞王念秋段翰聪
- 关键词：数据修复分布式存储
- 基于JSP的网上聊天室系统的设计与实现
- Internet是一个持续发展的和不断扩充的数据潮流，有了它，我们可以快速、容易地连接到世界的任何角落，得到海量的数据与资料。Internet能够提供人们海量使用的资源中心与文案数据库，是一种现在以及将来的科技，而且新的...
- 任飞
- 关键词：JSP语言JDBC数据库功能模块
- 智能电视软件平台关键技术研究
- 随着“三网融合”的推进和“宽带提速”的实施，智能电视成为继3D电视以来的行业新热点，智能电视软件平台成为继智能手机软件平台之后的又一研究热点，其中Android-Based和Web-Based的智能电视平台更受产业界的关...
- 任飞
- 关键词：智能电视融合架构上下文感知系统安全
- 文献传递
- 大规模分布式存储系统中数据修复策略的研究
- 任飞王念秋
- 关键词：数据修复分布式存储
- 文献传递
- AADL在中断控制系统建模中的应用
- 任飞谯婷婷刘俊波邵杨锋
- 关键词：AADLGSPN
- 文献传递
- 一种应用程序完整性验证方法
- 本发明提供一种应用程序完整性验证方法。内核层捕获打开文件系统调用后，触发内核层中的验证代理模块；验证代理模块获取当前应用程序的文件描述符，通过该文件描述符查看应用程序，判断应用程序是否有完整性扩展属性值，验证代理模块获取...
- 杨霞桑楠雷林石鹏刘志伟孙超群孙海泳任飞吴开均刘维飞武琼袁艺杨姗李昊星唐伟文
- Android操作系统安全机制研究与实现
- 在移动互联网领域中 Android操作系统有着广泛的应用,随着其在移动办公、移动支付、网络社交、游戏娱乐等领域的广泛应用，Android平台成为网络攻击者所觊觎的重要对象。研究分析其安全问题和需求，构建体系化的安全防护解...
- 任飞
- 关键词：移动互联网数据安全密码机制
- 一种智能终端的安全指纹识别方法
- 本发明提供一种智能终端的安全指纹识别方法。一种芯片级的安全系统框架下的指纹识别的安全方法，提取的指纹特征加密存储在隔离区域上，借助于该隔离区域将有效的保障对敏感的指纹图像数据操作的私密性，极大的提高智能终端领域指纹识别的...
- 杨霞桑楠刘志伟石鹏雷林孙超群孙海泳任飞吴开均刘维飞武琼袁艺杨姗李昊星唐伟文
- 文献传递
- AADL在中断控制系统建模中的应用
- 2013年
- 随着中断控制在嵌入式实时系统中的不断广泛应用,中断控制的可靠性是系统设计中面临的重要问题。虽然基于体系结构分析与设计语言(AADL)的形式化方法为这一问题的解决提供了思路,但AADL自身缺少有效的元素和方法来描述和建模中断。为此,提出一种结合AADL与中断控制器的中断控制系统设计方法,并运用GSPN可靠性计算模型对可靠性进行分析,从而为AADL在航电系统中的应用提供了思路。
- 任飞谯婷婷刘俊波邵杨锋
- 关键词：AADLGSPN
