【摘 要】
：
机载航空电子系统设计采用综合化系统体系结构,可实现计算系统及其计算资源和计算设施的＂物理集成＂;以及机载嵌入式软件系统的＂功能集成＂;提供对系统计算功能的动态配置管理和实
【基金项目】
：
国家自然基金重点课题（60736017）, 国家863计划课题（2009AA01Z147）资助
论文部分内容阅读
机载航空电子系统设计采用综合化系统体系结构,可实现计算系统及其计算资源和计算设施的＂物理集成＂;以及机载嵌入式软件系统的＂功能集成＂;提供对系统计算功能的动态配置管理和实时动态冗余,以期得到较高的计算性能和保障系统的高可靠性。基于软件系统架构的层次关系研究了复杂嵌入式计算任务的运行模态表示方法,分析了嵌入式软件系统任务模态的迁移关系,提出了基于AADL软件体系结构的嵌入式软件模态划分方法,制定了系统动态重构蓝图,并设计了基于模态的嵌入式软件动态重构实施方法。基于软件架构的模态分析及其动态重构,有助于提高复
其他文献
对复杂时间行为协议状态进行约减对于缓解形式化验证的状态空间爆炸问题,提高验证工具系统的效率、实用性等具有重要意义。分析了实时构件组合的几种形态,对基于时间行为协议
分布式拒绝服务攻击（Distributed Denial of Service）是一种攻击者使用各种方法，试图将攻击目标的网络资源和系统资源消耗殆尽，使之无法向真正的合法用户提供服务的攻击。随着技
压缩感知理论是一种全新的信息处理方式，是近来国际上热门的研究方向，在信号处理等其他领域中具有很好的应用前景。结合压缩感知理论和传统的视频编解码技术，设计提出了一种基于
提出了一种基于形态学的OCT图像的边缘检测方法,即对原始图像预处理,增加图像的对比度和边缘特性,使用形态学腐蚀和膨胀两个基本算子进行,选取了合适的结构元素,最后采用canny算法提取边缘。实验结果表明,经过改进的数学形态学方法处理的图像边缘特性的提取效果显著增强,且效率高、处理速度快。与经典的边缘检测算子和传统形态学边缘检测算法相比,该算法优势更加明显,边缘提取质量显著提高,且速度有显著提升。
云环境下独立任务包数据密集型应用已出现在多个领域。鉴于多数据中心环境和＂按需付费＂的资源使用模式,这类应用在数据选择方面面临着新的挑战,主要表现为如何从内容相同但位置
针对IP路由器的FIB（Forwarding Information Base）极限问题和分布式IP地址查找中的通信延迟问题,提出了SD-Torus（Semi-Diagonal Torus）直连网络。按照＂临近存储＂的原则,将路由表划
通过数据概化，在多维属性的属性值概念分层上构造少量的具有抽象语义的元组来替换大量具有详细语义的原始元组，从而汇总数据表，这称作表语义汇总。给定原始数据表及其多维属性的
针对汽车GPS通信系统在近距离定位上的精度问题,设计了一种近距离高精度定位辅助系统,并实现了周围汽车高效实时的通信。该系统利用超声波测距技术获得汽车之间的距离,并计算相对角度。通过有效的通信初始化算法与动态更新算法,将此数据与设备通信地址进行绑定,生成完整的节点信息。对节点信息进行处理,实时构建汽车周围环境的二维平面图,从而实现汽车近距离选择性通信的目的。
在复杂环境下,由于行人密度大以及运动随机性,导致运动目标(行人)难以检测和跟踪,造成人员计数误差。提出一种MB-LBP(Multi-scale Block Local Binary Pattern)特征提取和粒子滤波相结合的运动目标检测与跟踪算法来解决此问题。该算法首先用AdaBoost提取MB-LBP特征训练生成分类器进行人头检测,并根据人头目标尺寸变化范围去除部分误检,然后用改进的粒子滤波算法
在分析电子战系统和电子战交战过程的基础上,采用对象、类、类型层次式的方法,首先概括电子战系统中的实体、状态、属性、关系等要素,然后提出电子战系统的本体论,最后将本体