基于惯性系双积分的分布式POS抗干扰对准方法

分布式P OS是一种基于惯性/卫星组合技术的柔性基线多节点高精度时空测量系统,是多任务航空遥感载荷高精度成像的关键装置.然而,外部扰动及节点间的柔性连接使得分布式P OS不能采用传统解析粗对准方法进行高精度初始对准.为实现分布式P OS系统在外部扰动下获得高精度初始姿态,提出了基于惯性系双积分的抗干扰对准方法,通过双积分去噪原理极大降低外部扰动影响,最后对算法进行了三轴转台实验和飞行实验验证.实验结果表明,该方法能够有效隔离载体的动态干扰,实现了分布式P OS各节点初始姿态信息的高精度测量.     

面向安全的内存管理子系统研究

以开发具有自主知识产权的军用安全OS为背景,基于最新版本Linux内核,分析并设计安全内存管理子系统.依据可信计算机系统评估标准,将安全OS的功能需求依次映射到内存管理子系统,初步提出安全内存管理子系统的四个功能:进程隔离、防止内存信息泄露、内存访问控制,虚拟内存保护;在分析Linux内存管理机制的基础上,采用安全增强法,从安全相关和硬件相关出发分解核心程序,提出安全增强型内存管理子系统的设计方案,并对各部分进行了分析和实现.     

基于TMS320DM642的视频处理模块的硬件设计

介绍了一种基于多媒体处理芯片TMS320DM642的视频处理模块的硬件设计方案,阐述了该模块的功能要求及硬件实现方法.模块的设计以TMS320DM642为核心处理器,充分利用了TMS320DM642的片上外设资源,综合构成了一套能够对一路网络视频进行解码,还能够同时对两路复合视频(PAL/NTFS/SECAM)进行编码的系统.模块支持业界流行的MPEG-4和H.264视频编解码标准.该设计方案为软件设计人员以及多种实际应用场合提供了一个通用的平台.     

基于PLC的PID控制方法在机械手调速控制系统的实现

针对实验室用机械手控制系统的调速要求,探讨一种基于PLC的PID控制的实现方法。通过采用对控制系统建立数学模型,并使用matlab/simulink仿真技术对系统性能进行分析,优化各项PID控制参数,应用PLC的PID功能指令实现对该系统的调速控制。     

一种供电特性试验设备的实现方法

随着航空电子技术的发展,实现对航空电子设备供电特性的自动化检测就变得日益重要。介绍了一种在实验室环境下实现供电特性试验自动化测试的方法。根据国内外现行的相关测试标准对机载电子设备的供电特性测试要求,以及实验室原有电源测试设备,从硬件结构和软件程序两方面进行了分析;并进行硬件改造、软件升级,设计了输出管理部件、增加了高精度可控源、更改了部分测试程序,实现了输入浪涌、输入瞬变等测试功能,从而完成机载电子设备的供电特性试验。     

嵌入式可充电电池性能检测系统的研制

在AT91RM9200微处理器的基础上,通过扩展键盘显示电路、I/O接口电路以及恒流、恒压充/放电控制电路,设计了可充电电池性能检测装置控制器,并在μC/OS嵌入式操作系统的基础上,集成μC/GUI图形界面以及LwIP TCP/IP协议栈,实现了数据采集、人机界面、网络通信控制等功能.样机试验表明,该系统功能强大,人机界面友好,易于操作,且精度较高,性能安全可靠,大大提高了电池的检测效率.     

一种策略可配置的IMA系统故障管理方法

随着综合化模块化航空电子(IMA)系统的综合化程度增加,其故障发生概率及类型增多,且IMA系统在功能升级、集成过程中,其故障管理方式不断迭代、管理难度增加。提出一种可灵活策略、可配置的故障管理方法。方法基于IMA平台构建于分区OS上,参考ASAAC标准管理层级,提出预先配置故障管理策略及多级权限的管理机制,解决了传统故...     

基于HMP 架构CPU 的民机多安全级别系统实现方法

提出了一种基于HMP 异构多核CPU 和资源域控制器的设计方案,可部署在同一物理CPU 上并满 足DO178C 标准的多安全级别软件运行要求。首先讨论了HMP 异构多核CPU 和资源域控制器的相关概念及作 用,接着介绍了多安全级别系统的实现方案,最后在NXP iMX6 系统平台上进行设计和实现。结果表明,该方 案可成功地实现在机载设备上将不同安全级别的软件部署在同一物理CPU 上的需求,方案具有灵活、成本低 廉和功能可靠的优点。     

JPEG2000的核心算法研究

随着网络和多媒体技术的发展,对静态图像压缩不仅要求有较高的压缩性能,而且还要求有新的功能来适应一些特殊的要求。JPEG2000是一种新的图像编码标准,它具有优良的压缩性能和很高的灵活性,而且系统功能比以前所有的图像压缩标准都先进。通过对JPEG2000中核心算法的分析,阐述了JPEG2000压缩过程以及与现有压缩标准相比显示出来的优越性能。     

基于IGES的CAD/CAM后置处理器的实现

IGES是实现不同CAD/CAM系统之间的数据转换的文件标准,介绍了IGES的主要特点以及基于IGES的CAD/CAM平台后置处理器设计的基本过程。将一种CAD/CAM平台的模型数据通过IGES转换标准导入另一种CAD/CAM平台中,实现了模型数据的共享。     

A multi-formalisms approach for codesign in the development ofavionics

This paper presents a new approach in the development of avionics at AEROSPATIALE. The approach is based on a selective use of specification languages. Its aim is to compose partial avionics specifications in a unified format which is used for later concurrent hardware/software design steps. A demonstrator of the approach is currently in progress. It deals with the re-design of an avionics on-board system that belongs to the family of AIRBUS A340. The multi-languages specification is achieved through three graphical specification languages: Harel's StateCharts, SDL and SAO. The status of work and future perspectives are outlined     

基于DDS的实时中间件的研究与设计

为满足分布式实时应用的需求,项目管理组（OMG：ObjectManagementGroup）提出并发布了实时系统用数据分配业务（DDS：DataDistributionServiceforReal-timeSystems）规范。基于该规范,本文研究了发布／订阅系统的理论模型,设计了一个灵活、可靠的实时中间件（RTDDS...     

Method of equivalent transformations to control an observation satellite by means of inertial drives under uncertainty

A system of differential equations for the angular motion of an observation satellite (OS) equipped with an inertial drive electromagnetic device (EMD) without a controlling flywheel engine is presented. Apart from lag, the calculated and uncertain limited external and parametric disturbances constantly acting on the OS control system are taken into account. It is proposed that the sliding conditions be used to obtain the high-precision OS control with the specified direct indices of the transient process quality in the angular motion. A problem of equivalent system transformation is solved to safely provide the invariance of the sliding conditions to all listed disturbances with respect to the Euler angles and their first and second derivatives.     

CIMS刀具管理系统

介绍了ＣＩＭＳ刀具管理系统的组成、功能及开发方法。此系统的开发环境是关系数据库ＯＲＡＣＬＥ６,０版、ＵＮＩＸ３．３．２版和Ｃ语言６．０版以及ＷＹＳＥ３８６／４０微机。     

基于I~2C总线的CPU温度监控系统

随着高性能、高功耗器件在嵌入式领域中广泛应用,温度监控已成为高可靠嵌入式领域研究的热点,采用ADI公司的测温电路ADT7461设计了面向高性能PowerPC处理器的温度监控系统。介绍了ADT7461芯片的功能原理,描述了整个硬件电路的结构。在软件部分阐述了I2C总线协议以及基于I2C总线协议实现的ADT7461寄存器读/写基本操作,针对应用中会面临的实际问题给出了具体解决方法。设计方法对于同类温度监控系统设计有一定的参考意义。     

CORBA规范及其技术核心

CORBA(通用对象请求代理结构)规范被称为是面向21世纪的软件总线.已成为流行的分布对象计算规范.CORBA规范的内容很丰富,本文着重从整体上把握CORBA的体系结构和核心内容.基于对CORBA的发展和技术特色的介绍,本文详细讨论了OMA(对象管理体系结构)模型、ORB系统组成和ORB运行过程.     

基于VxWorks系统的PXI设备驱动的实现技术

介绍了VxWorks操作系统的组成和PXI系统特点,设备驱动在VxWorks操作系统中的层次关系,I／O系统的特点,分析了字符设备驱动的实现机制,并结合字符设备驱动的实现给出了PXI设备驱动的流程和实例。     

基于小生境遗传算法的分布式OS-CFAR检测系统优化与性能分析

 利用小生境遗传算法,对不同检测窗长度和检测信噪比的三传感器分布式 OS-CFAR检测系统进行了优化设计,给出了一组针对不同检测环境与融合方式的搜索结果。分析表明,对于非一致环境下分布式 OS-CFAR检测系统,小生境遗传算法是一种良好的优化算法。利用搜索结果,研究了不同融合方式下环境变化对分布式 OS-CFAR检测系统的性能影响,结果表明,“或”融合对检测环境的非一致变化具有较强的鲁棒性,而“3选2”融合和“与”融合对检测环境的变化比较敏感。     

PowerPC桥/存储器控制器FPGA验证平台的设计

针对PowerPC桥/存储器控制器功能逻辑的验证需求,采用软硬件协同测试的方法构建基于FPGA的逻辑功能验证平台.通过采用激励-响应的功能测试方法和无缝移植嵌入式操作系统、应用程序的软件测试方法,对待测逻辑功能进行差错验证.实践表明,该验证平台的调试方式全面,故障定位准确,有效提高验证效率,缩短开发周期.