NET-RAM的设计与实现

对SNOW机群系统的分布式共享存储管理机制进行适当的简化,就可实现网络虚拟存储环境.它以本地节点的主存作为cache,以网络上其它节点机的主存作为本地节点机主存的后援存储,取代本地节点机的硬盘或其它介质的存储设备.充分利用网络上节点的物理存储空间,使一些在单机上由于内存限制而无法完成的计算成为可能.这对于时间敏感性不高但需使用大内存的计算程序尤其适合.本文在介绍了网络虚存的概念之后,详细阐述了一个网络虚拟环境NET-RAM总体结构,软cache的实现方法,并对该网络虚存环境进行了测试,分析了测试结果.最后对今后的工作进行了探讨.      

LTPB网络带宽分配策略的实时性能研究

研究LTPB(线性令牌传递总线)在通信网络中保证消息实时传输的带宽分配问题.LTPB网络带宽的分配是以保证网络消息的实时传输为目标的,网络中关键参数(一定时间内发送消息的最小量)的准确与否将关系到网络带宽分配的合理性和有效性.通过对带宽分配方法实时特性的分析,发现了当前分析方法中的不足,提出了"最差情形"的概念,并以此建立了合理的推导模型,得出了有关LTPB网络实时性分析的关键性结果,并为下一步寻求更优的带宽分配方法提供了可靠的分析基础.      

航电系统SCI互连的可靠性模型研究

研究未来航电系统关键协议——SCI(可扩展的一致性接口)的可靠性建模问题.从SCI互连的基本模型出发,提出了基于任务的系统可靠性分析方法,建立了系统的可靠性模型,并针对航电系统中SCI的蝶型互连进行了可靠性分析,指明该方法在航电系统设计阶段对于任务划分和拓扑选择都将起到指导作用.      

实现Developer/2000环境下动态生成报表功能

通常数据库应用系统中的输出报表必须在系统开发阶段定制,不能满足用户不断变化的管理需求.介绍了用Oracle开发工具Developer/2000结合DDE(Dynamic Data Exchange)技术实现任选查询和动态生成报表的方法,这种方法允许用户根据自己的要求选择输出报表的内容和格式,并利用Excel进行编辑,极大地增强了系统的报表生成能力和灵活性,具有很好的实用性.      

一种基于混沌神经网络的拟人智能控制方法

提出一种基于混沌神经网络(CNN)的拟人智能控制方法.首先利用拟人智能控制理论得到定性控制律(线性或非线性),然后利用CNN实现控制律的定量化.Hopfield神经网络具有快速的优化能力,但容易陷入局部极小,将遍历性的渐变混沌噪声引入其中,形成具有快速全局优化能力的CNN.对二级倒立摆控制的仿真和实验结果均表明该方法有效.      

基于Kohonen自组织网络算法规划数控抛光路径

为避免在数控抛光中因采用规则运动路径产生的规律性高频误差,故借助于神经网络方法,采用基于Kohonen自组织网络算法,对抛光头的运动路径进行规划。     

新一代飞控计算机余度构型

飞控计算机广泛采用容错技术达到高可靠性指标,随着可靠性要求的日益提高,必须引入新的容错结构以及余度构型。本文结合析一代飞控计算机对高可靠性、强实时性的要求,对比目前飞控计算机的容错结构以及余度构型,提出了三种三余度构型方案,并对其故障模式进行了分析。在此基础上针对三种方案之一介绍了一种分组优先级剥夺调度算法,给出了详细说明。最后对比了这三种新的三余度方案的优缺点,为容错飞控计算机的发展提供了构型、算法的参考。     

分区间通信在航空电子系统中的设计与实现

新一代航空电子系统是一种高度综合化、模块化的系统,为了确保系统工作的安全、可靠,必须有高安全性的实时操作系统支持。在高安全性的实时操作系统中提出了分区(Partition)的概念,原有的“子系统”概念已由硬件实体演变为软的“子系统”。分区是运行于一个处理机模块上的多个应用程序(或子系统),这些应用程序在时间和空间上彼此隔离,互不影响,当一个分区内的应用发生错误时,在时间和空间上都不会影响到别的分区的执行。为了适应分区间隔离的需要,应用程序之间的通信由传统的进程间通信方式变为分区间的通信方式,本文着重介绍了自主版权操作系统(ACoreOS653)中满足ARINC653要求的分区间通信的设计与实现方法。     

基于COTS的某型大气数据计算机设计CSCD

大气数据计算机是无人机重要机载设备,为节省设计成本和时间,采用基于COTS的方法对大气数据计算机进行设计,给出了系统的硬件平台选型方案,以商用uc/os系统为底层操作系统,完成系统功能设计,并对设备的工作性能进行了验证,结果表明该方案合理可行,满足无人机设计使用要求。     

Event-triggered cooperative target tracking in wireless sensor networks

Since the issues of low communication bandwidth supply and limited battery capacity are very crucial for wireless sensor networks, this paper focuses on the problem of event-triggered cooperative target tracking based on set-membership information filtering. We study some fundamental properties of the set-membership information filter with multiple sensor measure-ments. First, a sufficient condition is derived for the set-membership information filter, under which the boundedness of the outer ellipsoidal approximation set of the estimation means is guaranteed. Second, the equivalence property between the parallel and sequential versions of the set-membership information filter is presented. Finally, the results are applied to a 1D event-triggered target tracking scenario in which the negative information is exploited in the sense that the measurements that do not satisfy the triggering conditions are modelled as set-membership mea-surements. The tracking performance of the proposed method is validated with extensive Monte Carlo simulations.