Large Amplitude Flexural Vibration of the Orthotropic Composite Plate Embedded with Shape Memory Alloy Fibers

研究了形状记忆合金(SMA)纤维混杂复合材料大挠度层合板的非线性自由与受迫振动特性。基于描述SMA力学行为的Brinson理论以及层合板材料性能预测的混合率,建立了SMA纤维混杂复合材料大挠度层合板的本构方程,基于对称层合各向异性弹性板的非线性理论,建立了以横向挠度和应力函数表示的板的横向振动方程和相容方程。采用Galerkin近似解法将振动方程化为时间变量的含有3次非线性项的Duffing型常微分方程,采用谐波平衡法(HBM)获得系统的固有频率方程和强迫振动稳态频率响应方程。数值计算表明,非线性板自由振动频率比与激励温度的关系具有与线性板相同的特征,马氏体相向奥氏体相转变阶段温度对板的振动频响特性曲线的影响最显著,同时也讨论了SMA纤维含量、板的纵横比以及自由振动幅值对板的非线性频率比的影响。     

基于局域网的智能家庭网关

为了实现小区的智能化管理，以提高小区管理人员的工作效率和管理水平及小区居民的生活质量，提出了一种基于嵌入式网关的智能家庭网关，采用智能家庭网关并结合以太网技术而构建的小区智能管理系统，实现了对小区家庭的防火、防盗、煤气泄漏、紧急求助报警，水电气三表远程自动抄收，家电远程控制等功能。是真正意义上的网络化、智能化的家庭控制系统。     

Model-based robustness testing for avionics-embedded software

Robustness testing for safety-critical embedded software is still a challenge in its nascent stages. In this paper, we propose a practical methodology and implement an environment by employing model-based robustness testing for embedded software systems. It is a system-level black-box testing approach in which the fault behaviors of embedded software is triggered with the aid of modelbased fault injection by the support of an executable model-driven hardware-in-loop (HIL) testing environment. The prototype implementation of the robustness testing environment based on the proposed approach is experimentally discussed and illustrated by industrial case studies based on several avionics-embedded software systems. The results show that our proposed and implemented robustness testing method and environment are effective to find more bugs, and reduce burdens of testing engineers to enhance efficiency of testing tasks, especially for testing complex embedded systems.     

基于小波变换的静止图象压缩系统

本文实现了一个基于小波变换的静止图象压缩系统。包括以下工作：用引入了小波包思想的小波变换将图象分解到一个完备的多分辨的空间上去，对系数做标量量化，利用小波变换的方向性进行扫描和游程编码，之后对低频部分作ＡＤＰＣＭ编码，最后，系统的输出是嵌入式的。实验结果表明，对于静止图象的压缩，本文的结果在一定程度上好于ＪＰＥＧ     

航天器空投试验用大容量数据记录器的研究

在航天器空投试验中，数据记录器需要长时间高速采集试验数据，并将试验数据保存起来。记录器还要满足体积小和抗着陆冲击等恶劣环境的要求。文章介绍了数据记录器的特点、主要功能，硬件选型及软件设计等。提供了一种利用嵌入式技术来构成大客量高速率航天器空投试验用数据记录器的方法。     

嵌入式软件的动态测试

软件测试是软件质量保证的重要手段。构建了基于软件测试工具Testbed/RTInsight针对PC104系统的实时嵌入式软件测试环境。以俄罗斯方块的C程序为例,进行PC104系统的软件动态测试,最后给出了动态覆盖率及性能分析的实验结果,和性能分析能记录分析程序中每个函数的最大运行时间,最小运行时间,总的运行时间以及运行次数。     

多窗口传输协议及其在航空电子系统大数据传输中的应用

随着航空电子系统模块化技术的发展,系统内大数据传输的需求越来越明显,现有的几种大数据传输方式或需要更改现存系统架构,或需要系统具有特定功能支持,难以在不同的航空电子系统中进行广泛应用。为解决这一问题,本文提出一种可在系统应用层中实现的多窗口传输协议及其实现方法。该协议使用额外的资源同时进行多窗口信息传输,保证了在机载网络不稳定环境下传输的速率和稳定性,满足系统大数据传输的需求。而且方法在应用层实现,避免了对系统现有硬件和软件架构的更改,适用范围较广。     

卫星图像零树编码及其效果分析

采用嵌套零树小波编码 (EZW)算法的核心——零树概念和连续逼近量化的思想设计了一个编码器 ,对卫星图像 (小波分解后 )进行压缩实验 ;分析了卫星图像 (小波分解后 )进行零树编码的压缩效果。设计的编码器采用六符号的零树符号集 ,从而把 EZW算法的主过程和副过程合并在一起 ,使得算法流程易于实现。对零树符号流进行无损编码时 ,对比了多种编码方案且未采用适应性算术编码 ,并依据实验结果推荐了较好的无损编码方法。     

嵌入式自动测试系统模块优化配置方法研究

在分析和描述被测对象测试信号和测试系统功能模块的基础上,建立了一种适应于模块优化配置的数学模型,根据满足测试需求和模块总数受限这两个约束条件,提出了基于系统模块配置总代价最小原则的模块优化配置方法和详细实现方法;并利用MATLAB软件进行仿真,得出了对实际应用具有较好指导意义的仿真结果。     

单板双机嵌入式486容错子系统的设计

针对空间辐射环境中比较容易发生的单粒子翻转事件 ,提出一种低成本的商用器件解决方案———单板双机嵌入式容错子系统。该子系统把两个相对独立的嵌入式 4 86单机通过现场可编程门阵列 (FPGA)耦合起来 ,双机通信和数据比对都通过FPGA来完成 ,同时通过数据比对发现和消除单粒子翻转 (SEU)所引起的错误。由于系统中应用了较多超大规模集成电路 ,系统非常紧凑 ,用单板就实现了一个容错子系统