基于SysML的航电系统架构安全性评估方法

针对现有系统安全性分析方法中安全性分析与航电系统架构设计过程无法融合的问题,提出基于SysML的航电系统架构安全性评估方法。首先在EA中基于SysML建模语言建立系统架构模型;然后利用XML解析技术从中提取系统关键信息,并建立故障树模型对其失效概率与区域安全性等进行分析,得到安全性评估结果;最后基于SysML语言对IMA架构下的显示系统进行架构设计和安全性评估,评估结果验证了所提出安全性评估方法的有效性。      

一种基于外力场改进的快速GVF Snake算法

针对GVF Snake算法速度慢的问题,从GVF Snake算法运算的时间入手,将算法分为五个步骤,而后对这五个步骤花费的时间进行分析,得出改进GVF Snake算法速度的方法,通过减少力场计算面积和改进外力场来加快运算速度,最后通过实验验证,改进算法速度明显提升。     

基于蜂王进化遗传算法的特征匹配方法

提出了一种新颖的基于蜂王进化遗传算法的特征匹配方法,采用改进版Harris角点检测器提取出特征点,设计了一种新的染色体编码方法对特征点间的匹配关系进行编码,并相应为其开发了有效的交叉和变异操作,考虑5种匹配约束条件,利用蜂王进化机制和线性排队选择以及优胜替换,迅速获得全局最优解。实验结果表明该方法实现了快速、准确的角点匹配。     

基于CORBA构件的软件体系结构实现模型

软件体系结构是一种新型的基于构件以及构件库的深层的软件复用，它的提出使超大规模软件设计的简化成为了可能，这里提出了基于CORBA年的软件体系结构模型，通过给出ADL的BNF语法以扩充CIDL编译器和CORBA的服务，描述了其实现模型。     

一种立体匹配的新算法

提出了一种基于遗传算法进行立体匹配,并获得高密度视差图的方法。遗传算法比其它优化方法具有更强的搜索能力,因此非常适用于求解全局优化问题。利用这一特点,该文将每一幅视差图看作是一个个体,将视差值编码形成染色体,这样每个个体中都有许多染色体。然后,引入匹配约束条件,形成目标函数,利用遗传算法搜索全局最优解。另外,还采用了由粗到精的层次策略来减少匹配模糊性和搜索时间。最后,分别用合成图像和真实图像对这种方法进行了验证。     

基于DSP的图像旋转算法数据调度策略

为了在DSP平台上实现实时大图像旋转,结合TMS320DM642的性能结构特点,针对旋转算法中严重影响DSPCPU效率发挥的大量非连续图像像素地址访问的问题,提出了基于视口图像块覆盖的DSP图像旋转算法数据调度策略,对算法的结构流程进行了优化调整。     

基于VxWorks的无线接收器的人机界面设计与实现

文章介绍了嵌入式实时操作系统VxWorks及其开发环境Tornardo，提出了无线接收器的人机界面设计与实现，具有应用价值。     

基于六自由度的飞行仿真漫游控制新方法

漫游控制是飞行仿真实验中的一个重要环节,传统的方法是依据OpenGL中的库函数进行平移旋转变换解决这一问题,但可操作性差,精确度较低。本文所述新方法借助于一个基于六自由度控制的虚拟相机,采用OpenGL在PC机上实现了飞行仿真的漫游与控制,实验证明此方法易于操作、精确度较高,尤其适用于大型DEM数据绘制的地形场景漫游。     

基于网络通讯处理器的路由器设计

网络通讯处理器是为提高报文处理效率而出现的专用处理器,本文描述了网络处理器的基本体系结构,并以Motorola通讯处理器MPC860为例阐述了路由器的实现方法。     

基于CORBA构件的软件体系结构实现模型

软件体系结构是一种新型的基于构件以及构件库的深层的软件复用,它的提出使超大规模软件设计的简化成为了可能.这里提出了基于CORBA构件的软件体系结构模型,通过给出ADL的BNF语法以扩充CIDL编译器和CORBA的服务,描述了其实现模型.