摘要：首先归纳了AADL(architecture analysis and design language)的发展历程及其主要建模元素.其次,从模型驱动设计与实现的角度综述了AADL在不同阶段的研究与应用,总结了研究热点,分析了现有研究的不足,并对AADL的建模与分析工具、应用实践进行了概述.最后,探讨了AADL的发展与研究方向.

摘要：虚拟化技术在服务器领域已经得到广泛应用,可以在一台服务器或服务器集群上同时运行几个不同的操作系统,诸多优点包括:故障隔离、高效利用资源、负载均衡、安全性等.常用的虚拟化系统如VMware、Virtual PC等采用全虚拟化技术,比较消耗资源,因此不适用于嵌入式领域的应用.而Xen采用半虚拟化技术,性能方面得到了很大提升,为虚拟化技术在嵌入式领域的应用创造了条件.由于嵌入式设备有着数据实时采集、现场控制、高危环境等特殊应用背景,嵌入式系统对实时性都有一定的要求.目前的虚拟化技术没有很好的方法来保障系统的实时性.本文在XEN虚拟化环境中设计并实现基于资源预留的实时调度算法,即在虚拟机监视器(Virtual Machine Monitor,VMM)层面实现常量带宽服务器(Constant Bandwidth Server,CBS)调度算法,用于有效调度实时和非实时的虚拟机子系统,并保障不同子系统之间的性能隔离.

摘要：AUTOSAR是汽车工业中普遍采用的一个开放化和标准化的汽车软件体系。将AUTOSAR设计软件模型部署到目标硬件平台前,需对该模型进行仿真验证。基于此,设计一个用于软件设计模型验证的仿真工具,采用虚拟功能总线追踪机制来收集仿真过程中的各种信息。仿真器在模型源码基础上进行仿真验证,结果表明,与传统的仿真工具相比,该仿真器能够最大化保证与模型在目标机上运行时的一致性,提高系统开发效率。

摘要：虚拟化技术在实时嵌入式系统中的应用日趋广泛,但是目前虚拟化环境中常见的调度与负载均衡算法并不适用于硬实时系统中。为满足多核平台上虚拟化环境中对实时任务的支持,通过对Xen虚拟化环境中的SEDF调度算法进行改进,提供了一种在多核硬件平台下虚拟化环境中的准入控制与负载均衡算法。该算法能够保证每个处理器核上的工作量不会超载,并保证每个虚拟机中任务的实时性及其服务质量。算法实现较为简单、运行时开销较小。

摘要：介绍深圳市多级气象服务网站系统通过建立以实时数据库为中心的网站结构,简化了数据采集和录入的逻辑过程,同时保证了数据的充分流动性和共享性;设计了基于站点管理和数据分发等模块的网站管理平台,实现多个网站的统一管理;并根据市决策部门、社区应急责任人和普通市民的需求特点设计有针对性的网页。

摘要：伴随着我国社会经济的发展，我国的科学技术也在不断地提高，科学技术的发展带来了人们生产生活的改变，同时，随着我国教育界的改革，在教育手段中正在广泛的应用现代科学技术。现代科技手段的应用带来了教育技术的发展，而非线性编辑技术就是科学技术中的一种，它通过对多媒体技术的处理，实现了多媒体技术的提高，为教师课堂情境的创设、教学质量的提高、学生能力的提升等提供了有力保障。

摘要：研究和分析了热变形引起的星敏感器和合成孔径雷达(SAR)天线的形变特点,设计了一种SAR天线与星体结构之间的安装方法,并以某卫星为例,将两者半刚性连接(横向游离),其安装设计方法在于将SAR天线框架与星体间的螺钉连接横向刚度减小,使星体的热变形与SAR天线产生了横向游离效果。计算分析和试验表明,这种安装设计方法有效地提高了星敏感器相对于SAR天线中板阵面的指向精度,可以满足高分辨率卫星成像的需求,为其他有较高指向精度要求的单机安装提供参考。

摘要：随着空间技术的发展,对卫星姿态测量精度的要求越来越高。星敏支架作为星敏感器与卫星之间的主要连接结构,其热稳定性直接影响星敏感器的测量精度与有效载荷的成像质量。因此,保证星敏支架的热稳定性成为卫星结构研究的重点。基于高体份铝基碳化硅新材料,利用其低膨胀、高导热性等特点,设计了一种适用于多头星敏感器安装的仪器支架,通过外加温控罩和精密温控等措施,对一体化星敏支架进行等温化控制,实现了星敏支架的热稳定性设计,并通过数值仿真和试验验证了设计方案的有效性。

摘要：为了减小卫星结构质量并保持良好的力学传递性能,文章在不改变原中心承力筒构型和外部接口的情况下,对碳纤维T800H树脂基复合材料的桁条加筋承力筒进行了锥柱一体化的结构设计,包括:采用可行方向法优化了承力筒的尺寸,确定了蒙皮单层铺层厚度和铺层方式,对端框进行了一体化的设计,以及各部件采用胶接的方式。优化后的承力筒结构质量减小约52.4%。对该承力筒在整星状态下进行相应的力学分析,完成了承力筒静力试验和整星的振动试验,结果表明,该承力筒的结构性能满足使用要求。