叶宏

作品数：29被引量：111H指数：5
导出分析报告
供职机构：西安航空计算技术研究所更多>>
发文主题：操作系统机载ARINC653DO-178分布式调试更多>>
发文领域：自动化与计算机技术航空宇航科学技术更多>>
发文期刊：《西安电子科技大学学报》《西安石油大学学报（自然科学版）》《航空计算技术》《微电子学与计算机》更多>>
所获基金：中国航空科学基金国防科技技术预先研究基金国家科技重大专项国防基础科研计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
机器人操作系统EtherCAT技术研究被引量：8
《航空计算技术》2020年第3期77-81,共5页郝继锋 叶宏 吕广喆 
国家重点研发计划项目资助(2017YFB1301104)。
标准以太网采用CSMA/CD方式,无法保证延迟时间和通信响应,导致其不能满足工业控制领域的实时性需求,为了提高工业机器人的运动精度,其通信系统通常采用EtherCAT实时以太网,介绍其帧结构、状态机、三层架构,调研典型的商业、开源EtherCA...
关键词：标准以太网 CSMA/CD 实时性 工业机器人 ETHERCAT 实时以太网 SOEM RTEMS 
DO-333标准形式化方法研究被引量：5
《航空计算技术》2020年第1期124-129,共6页郝继锋 叶宏 任晓瑞 
国家自然科学基金项目资助(61732001)。
安全关键系统的基础软件由于其安全认证、提高软件可信性的需求,必须使用形式化方法。调研了嵌入式操作系统、编译器、网络、文件系统的形式化验证案例,在此基础之上引出机载软件形式化方法DO-333标准;阐述了形式化模型、形式化分析概念...
关键词：安全关键系统 机载软件 形式化方法 形式化模型 形式化分析 DO-333 DO-178C 
机载构件系统多任务异常处理方法研究
《信息通信》2017年第1期22-23,共2页赵益民 叶宏 李运喜 邸海涛 
异常处理是一种用来检测异常并对其进行处理的技术,正确地处理异常对程序的可靠性、健壮性十分重要。在C++中通常使用try/catch进行异常处理,然而在实际的开发过程中,一方面,有些异常并不容易被发现和捕获,可能导致程序崩溃;另一方面,...
关键词：捕获 异常 处理 多任务 
机载嵌入式系统构件间依赖关系处理方法研究被引量：3
《航空计算技术》2016年第6期84-87,共4页赵益民 叶宏 杨明伟 
中航工业集团创新基金项目资助(2014D61103)
随着航空电子系统的发展和未来作战需求的变化,机载系统的设计更偏向于机群间的公共资源统一分配和协同作战能力,能够动态加卸载构件的构件系统可以满足这种需求。在动态加卸载构件的整个周期中,动态依赖关系的分析与建立起着至关重要...
关键词：机载 构件 依赖 动态 
基于多分区操作系统的多核确定性调度方法设计被引量：15
《航空计算技术》2016年第1期99-102,共4页刘鸽 叶宏 李运喜 胡宁 何翔 
民用飞机专项科研技术研究项目资助(MJ-S-2012-05)
为提高多分区操作系统环境下多核处理器的应用带来的操作系统任务调度的确定性,研究了多分环境下多核操作系统结构,从处理器核心和分区的资源分配和分区调度表的时间同步角度出发,采用了静态配置、处理器绑定和时间窗口调度方法,实现了...
关键词：分区操作系统 多核处理器 确定性 调度 
嵌入式操作系统的形式化验证方法被引量：4
《航空计算技术》2015年第2期96-100,共5页胡宁 叶宏 
国家"973"计划项目资助(2014CB744900);民用飞机专项科研项目资助(MJ-S-2012-05)
对嵌入式操作系统类安全关键软件,测试、模拟、分析等传统软件验证方法不能保证其正确性,需要使用形式化方法。综述了主流商用嵌入式操作系统所采用的形式化验证方法,分析了操作系统内核不同特性的形式化验证思路。通常对空间隔离、信...
关键词：操作系统 形式化验证 定理证明 模型检测 嵌入式软件 
椭圆曲线密码的优化设计方法被引量：3
《西安电子科技大学学报》2015年第1期69-74,共6页崔西宁 杨经纬 叶宏 戴小氐 
国家重大科技专项资助项目(2012ZX01041-006);航空科学基金资助项目(2013ZC31003;2011ZC31006)
椭圆曲线密码算法依赖于离散对数问题的困难性,具有安全强度高、计算复杂度小的特点.椭圆曲线密码系统的主要操作为点乘运算,是加解密过程中最为耗时的部分.文中对点乘运算进行优化,提出了椭圆曲线密码算法实现的硬件体系结构,设计了基...
关键词：现场可编程门阵列 椭圆曲线密码算法 椭圆曲线 点乘 
面向高安全数据分发服务的身份认证协议设计被引量：4
《航空计算技术》2015年第1期103-107,共5页李明娟 叶宏 王乐 胡国 甄超 
中航工业技术创新基金项目资助(2013D63125R)
为解决数据分发服务安全规范中身份认证与密钥协商协议存在共享密钥建立缺乏公平性、缺乏验证密钥一致性机制及会话过程缺乏完整性等安全问题,以协议为基础,设计一种新的高安全数据分发服务身份认证与密钥协商协议。新协议引入了ACK机制...
关键词：数据分发服务 协议安全性 身份认证 密钥协商 D-H密钥交换 
基于层次存储结构的权能查找机制
《航空计算技术》2014年第1期113-114,122,共3页尹超 叶宏 周霆 
航空科学基金项目资助(2012ZC31006)
与传统系统相比,基于权能的系统可以在不完全信任程序的情况下安全地运行程序。从权能的概念入手,论述了权能的基本工作原理。针对现有顺序权能查找机制在查找效率方面的不足,设计出一种基于层次存储结构的权能查找机制,可提高安全系统...
关键词：操作系统 层次存储结构 权能机制 权能查 
面向IMA网络文件系统的双服务器结构设计被引量：1
《航空计算技术》2012年第1期92-95,共4页段海军 叶宏 张鹏 
航空科学基金项目资助(2006ZC31001)
为了提高面向IMA网络文件系统的可靠性和实时性,设计了一种双服务器结构的网络文件系统。客户优先访问主服务器,在得不到主服务器响应时,访问从服务器;主服务器在无法满足同时有多个访问请求时,把一部分的访问请求分给从服务器;主服务...
关键词：IMA 网络文件系统 双服务器 数据的一致性 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部