李明娟
- 作品数：7 被引量：7H指数：2
- 供职机构：中航工业西安航空计算技术研究所更多>>
- 发文基金：中国航空科学基金中航工业技术创新基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于DDS的高安全身份认证协议设计与实现
- 数据分发服务(DDS)面临未授权发布/订阅、未授权访问数据及篡改和重放等安全威胁。由于存在共享密钥建立缺乏公平性、缺乏验证密钥一致性机制及会话过程缺乏完整性等安全问题,数据分发服务安全规范中身份认证协议安全性较低。在本研...
- 李明娟甄超邸海涛
- 关键词：信息安全数据分发服务身份认证协议
- 文献传递
- 机载嵌入式数据库高可用策略研究
- 2023年
- 由于机载嵌入式系统对实时性、可靠性及可用性的要求非常高,因此机载嵌入式数据库除了具有数据库的一般特性,还应满足强实时性、高可靠性及高可用性等要求。通过对机载数据管理需求进行分析,针对机载嵌入式数据库高可用性的要求,在研究机载嵌入式数据库高可用架构的基础上,通过对数据备份与复制、数据服务恢复等方面的研究,提出了一种保障机载嵌入式数据库高可用的方法。
- 李明娟邸海涛
- 关键词：机载系统嵌入式数据库高可用性
- 基于FPGA的CFD计算硬件加速研究
- CFD(计算流体力学)计算任务具有计算密集，耗时集中等特点。在CPU+FPGA异构平台下，将FPGA作为硬件加速协处理器可以实现CFD计算性能的提升。本文针对Euler3D程序开展了计算任务的软硬件划分和模块的硬化与封装...
- 胡国赵小冬韩伟白林亭李明娟
- 关键词：CFD硬件加速异构平台软硬件划分
- 面向高安全数据分发服务的身份认证协议设计被引量：4
- 2015年
- 为解决数据分发服务安全规范中身份认证与密钥协商协议存在共享密钥建立缺乏公平性、缺乏验证密钥一致性机制及会话过程缺乏完整性等安全问题,以协议为基础,设计一种新的高安全数据分发服务身份认证与密钥协商协议。新协议引入了ACK机制,并利用D-H密钥交换和非对称密码体制特点解决了原协议存在的安全问题,具备实用性和更高的安全性。
- 李明娟叶宏王乐胡国甄超
- 关键词：数据分发服务身份认证密钥协商
- 面向机载计算机系统的数据分发服务的应用研究
- 面向机载计算机系统对通讯中间件的新需求，通过对实时系统数据分发服务(DDS)规范的分析，讨论了发布/订阅模型的特点，研究了DDS提供的QoS机制，分析了DDS的可靠性、实时性、动态配置、数据共享等技术特点，提出了DDS用...
- 李明娟叶宏李亚晖王乐胡国
- 关键词：机载计算机系统DDSQOS
- 可重构芯片体系结构及其发展趋势被引量：1
- 2014年
- 可重构芯片同时兼具通用处理器的灵活性和专用处理器的高效性,还具有高可靠性、低能耗、低成本等优点,在半导体产品中逐渐兴起。介绍了目前的一些典型可重构芯片的体系结构,从功能重构实现方式和可重构硬件类型角度分析了可重构芯片的体系结构,探讨了可重构芯片多核异构和可演化的发展趋势。
- 胡国赵小冬李明娟
- 基于ATL引擎的UML到Simulink模型转换方法研究被引量：2
- 2015年
- 针对UML的半形式化的表达方式缺乏精确的语义,无法验证软件设计过程中正确性的问题,展开UML设计模型到Simulink仿真模型转换方法研究。提出了一种UML状态机到Simulink/Stateflow的模型转换方法,建立UML状态机元模型、Simulink/Stateflow元模型以及状态机元模型到Stateflow元模型的映射规则。选取自动飞控软件作为案例,验证该方法的正确性。方法实现UML设计模型和Simulink仿真模型的自动转换,提高嵌入式软件开发效率,丰富并且完善模型驱动开发,也为嵌入式软件开发提供了技术支持。
- 郭鹏李亚晖李明娟韩伟
- 关键词：模型驱动开发ATLUMLSIMULINK
