期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
面向IMA平台的离散事件演化树仿真分析方法 被引量：3
1
作者 孙东旭 李键 武健 《电光与控制》 CSCD 北大核心 2019年第2期97-100,共4页
为解决具有时序相关、功能依赖、多态性、部件数量多等特点的IMA平台在可靠性分析中的困难,提出了一种离散事件演化树仿真分析方法,通过将IMA平台运行过程中的随机故障事件建立成离散故障事件序列,从而驱动系统状态的不断演化,利用故障... 为解决具有时序相关、功能依赖、多态性、部件数量多等特点的IMA平台在可靠性分析中的困难,提出了一种离散事件演化树仿真分析方法,通过将IMA平台运行过程中的随机故障事件建立成离散故障事件序列,从而驱动系统状态的不断演化,利用故障事件演化树分析离散故障事件对系统状态的影响,通过建立系统多状态集合和大样本观测评估IMA平台在不同时刻处于各个系统状态的概率。该离散事件演化树仿真分析方法可实现IMA平台可靠性多态定量分析,为设计提供理论数据依据。 展开更多
关键词 ima平台 离散事件演化树 可靠性分析 仿真分析方法
在线阅读 下载PDF
IMA平台分区分析方法研究 被引量：3
2
作者 郭庆 孔德岐 赵茜 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2017年第S1期136-139,共4页
依照综合模块化航空电子系统(Integrated modular avionics,IMA)平台的健壮性分区特点,IMA平台必须能够为驻留应用和驻留功能提供健壮分区隔离和其他保护能力,这些措施要允许多个驻留应用共享一个平台及平台上的资源,且自身的资源支持... 依照综合模块化航空电子系统(Integrated modular avionics,IMA)平台的健壮性分区特点,IMA平台必须能够为驻留应用和驻留功能提供健壮分区隔离和其他保护能力,这些措施要允许多个驻留应用共享一个平台及平台上的资源,且自身的资源支持系统级分布功能在容错网络上运行。根据综合模块化航空电子系统开发指南与认证考虑RTCA DO-297标准中关于IMA平台健壮性分区、安全性以及认可证明数据的要求,本文对IMA平台分区分析展开研究,重点对IMA平台及其组件通用处理模块(General processing module,GPM)、航空数据网络ARINC664交换机和远程数据集中器(Remote data concentrator,RDC)进行分区分析方法的研究。给出每个组件的分区分析策略和目标,明确每个任务需要进行的活动,为IMA平台及其组件的健壮性分析、缓解潜在风险、安全性分析和认可提供充足的证据。 展开更多
关键词 ima平台 分区分析 通用处理模块 ARINC664交换机 远程数据集中器
在线阅读 下载PDF
民用飞机IMA平台开发计划过程研究 被引量：3
3
作者 黄劲松 《科技视界》 2018年第2期139-140,共2页
综合模块化航电(IMA)平台作为一种灵活、可重用、可交互操作的软硬件共享资源集合,越来越广泛地应用在民用飞机上。IMA平台开发计划过程作为平台开发的第一阶段尤为重要。本文在分析研究DO-297等相关规范的基础上,提出了IMA平台开发计... 综合模块化航电(IMA)平台作为一种灵活、可重用、可交互操作的软硬件共享资源集合,越来越广泛地应用在民用飞机上。IMA平台开发计划过程作为平台开发的第一阶段尤为重要。本文在分析研究DO-297等相关规范的基础上,提出了IMA平台开发计划过程的工作目标,制定了计划过程的主要活动,并详细阐述了计划文件的编制要点。 展开更多
关键词 民用飞机 ima平台 计划过程 DO-297
在线阅读 下载PDF
适用于民机IMA的通用机载软件开发平台 被引量：6
4
作者 郑澜 王运盛 《电讯技术》 北大核心 2012年第6期1027-1030,共4页
针对目前国内民用飞机在综合模块化航电系统(IMA)集成应用技术的发展,参考国外民用飞机航电系统的IMA体系结构和IMA集成应用技术,结合分区操作系统的特点,给出了在分区操作系统下开发BSP和AFDX驱动移植的方法。利用这些方法可以构建一... 针对目前国内民用飞机在综合模块化航电系统(IMA)集成应用技术的发展,参考国外民用飞机航电系统的IMA体系结构和IMA集成应用技术,结合分区操作系统的特点,给出了在分区操作系统下开发BSP和AFDX驱动移植的方法。利用这些方法可以构建一种满足民用飞机的通用机载软件开发平台,为民用飞机中IMA上的驻留功能软件开发提供基础实验环境和验证平台。 展开更多
关键词 民用飞机 综合模块化航电系统 AFDX驱动 分区操作系统 软件开发平台
在线阅读 下载PDF
民用飞机IMA平台安全性评估过程研究
5
作者 黄劲松 《科技视界》 2018年第3期213-213,215,共2页
综合模块化航电(IMA)平台在民用飞机领域的应用越来越广泛。IMA平台安全性评估过程是保证系统设计符合飞机安全性要求的基础。本文在研究DO-297等相关规范的基础上,分析了IMA平台安全性评估过程的特点,提出了IMA平台安全性评估过程的目... 综合模块化航电(IMA)平台在民用飞机领域的应用越来越广泛。IMA平台安全性评估过程是保证系统设计符合飞机安全性要求的基础。本文在研究DO-297等相关规范的基础上,分析了IMA平台安全性评估过程的特点,提出了IMA平台安全性评估过程的目标,并阐述了目标相应的活动和符合性证据。 展开更多
关键词 民用飞机 ima平台 安全性评估 DO-297
在线阅读 下载PDF
综合化航空电子系统资源配置技术研究
6
作者 张旻 王济乾 田丹 《航空计算技术》 2024年第6期102-106,共5页
在综合化航空电子系统(IMA)中,多个不同的机载应用被综合到一起,它们之间的物理隔离被打破,共享统一的硬件平台和基础软件平台。软硬件资源的高度共享化、通用化在减少机载设备体积、重量、功耗的同时大大增加了系统资源配置的难度和复... 在综合化航空电子系统(IMA)中,多个不同的机载应用被综合到一起,它们之间的物理隔离被打破,共享统一的硬件平台和基础软件平台。软硬件资源的高度共享化、通用化在减少机载设备体积、重量、功耗的同时大大增加了系统资源配置的难度和复杂性,如何对系统资源进行合理、有效的配置成为突出问题。面向IMA系统资源配置需求,聚焦对IMA系统软硬件资源统一规划问题,从计算、网络、应用等多个维度进行分析,目的是使IMA系统资源在满足应用需求的前提下得到充分利用。 展开更多
关键词 综合化航空电子系统 资源配置 硬件平台 基础软件平台
在线阅读 下载PDF
一种基于完整性度量架构的数据封装方法 被引量：6
7
作者 沈晴霓 杜虹 +1 位作者 文汉 卿斯汉 《计算机研究与发展》 EI CSCD 北大核心 2012年第1期210-216,共7页
封装存储是可信计算平台的一项重要功能,它能将数据的加密存储与平台状态结合起来,提供了更强的安全存储保证.但现代操作系统结构越来越复杂,各种启动项的加载顺序也相对随机;平台配置的频繁改变、软件更新及系统补丁等都限制了封装存... 封装存储是可信计算平台的一项重要功能,它能将数据的加密存储与平台状态结合起来,提供了更强的安全存储保证.但现代操作系统结构越来越复杂,各种启动项的加载顺序也相对随机;平台配置的频繁改变、软件更新及系统补丁等都限制了封装存储的应用.而操作系统级的完整性度量架构(IMA)能将信任链扩展到整个计算平台,为封装存储提供了支持.为此,基于IMA提出一种新的数据封装方法,采用相对固定的标准状态来封装,结合易变IMA度量列表和结果以及经过签名的名单策略来评估平台状态,解决了操作系统复杂性带来的配置寄存器(PCR)的值不确定性和软件更新及系统补丁带来的频繁封装问题. 展开更多
关键词 可信计算 可信平台模块 完整性度量架构 数据封装 安全存储
在线阅读 下载PDF
综合化核心处理平台关键技术研究与实现 被引量：2
8
作者 俞大磊 解文涛 +2 位作者 孙靖国 何立军 李成文 《工业控制计算机》 2015年第12期150-151,154,共3页
综合化核心处理平台作为综合模块化航空电子系统控制和管理的核心,对于实现航空电子系统的功能、性能起着决定性的作用。从综合化航电的系统架构出发,引出了核心处理平台的设计需求,同时对硬件体系结构、软件体系结构、统一网络、电源... 综合化核心处理平台作为综合模块化航空电子系统控制和管理的核心,对于实现航空电子系统的功能、性能起着决定性的作用。从综合化航电的系统架构出发,引出了核心处理平台的设计需求,同时对硬件体系结构、软件体系结构、统一网络、电源管理等关键技术进行介绍,最后对系统的容错设计进行了讨论。 展开更多
关键词 核心处理平台 综合化航电系统 统一网络 容错设计
在线阅读 下载PDF
面向综合模块化航电系统的驻留应用开发平台设计 被引量：4
9
作者 王运盛 雷航 《计算机应用》 CSCD 北大核心 2012年第3期861-863,884,共4页
综合模块化航电系统采用时间和空间分区技术隔离不同的应用程序,驻留在分区中应用程序的开发依赖于符合ARINC 653及相关接口和通信规范的开发平台。通过移植传统操作系统的板级支持包和开发驱动程序,使得商业单板计算机C2K支持符合ARINC... 综合模块化航电系统采用时间和空间分区技术隔离不同的应用程序,驻留在分区中应用程序的开发依赖于符合ARINC 653及相关接口和通信规范的开发平台。通过移植传统操作系统的板级支持包和开发驱动程序,使得商业单板计算机C2K支持符合ARINC 653规范的VxWorks 653分区操作系统并提供AFDX网络接口,首次实现了基于商业单板计算机C2K的驻留应用开发平台,其主要功能和性能与目前主流的大型客机综合模块化航电系统相当,可用来支持驻留应用的开发和调试,大幅度降低了成本。 展开更多
关键词 综合模块化航空电子系统 驻留应用 单板计算机 开发平台 ARINC653 AFDX接口
在线阅读 下载PDF
有声可定位图像采集方法 被引量：1
10
作者 罗腾元 吴勇 陈友飞 《计算机工程与设计》 北大核心 2015年第10期2872-2877,共6页
目前,移动终端数据采集通常采用灾害要素分离存储、数据库关联管理的方式,其采集、数据管理过程繁琐且不便于数据同步传输。针对上述不足,提出一种有声可定位图像数据模型。实现集地理位置、属性信息、图像、语音等多源异构采集要素一... 目前,移动终端数据采集通常采用灾害要素分离存储、数据库关联管理的方式,其采集、数据管理过程繁琐且不便于数据同步传输。针对上述不足,提出一种有声可定位图像数据模型。实现集地理位置、属性信息、图像、语音等多源异构采集要素一体化综合表达;采用EXIF图像格式中的APP1-APP2标记段,以键-值方式对相关参数进行组织存储;介绍Android环境下语音的采样、IMA-ADPCM编码及EXIF格式的存储方法,在此基础上实现有声可定位图像移动采集系统。实测验证了该采集方法是便捷可行的,可准确、详尽、多方位记录灾害对象状态信息,能为灾害应急管理、分析应用提供较为全面完整的数据基础。 展开更多
关键词 地理信息系统 可定位图像 EXIF格式 ima-ADPCM语音编码 ANDROID平台
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部