无人机复杂环境中跟踪运动目标的实时航路规划

在复杂地形环境中,无人机在跟踪运动目标时,现有的航路规划方法在实时性和可行性上存在一定缺陷.提出了一种新的滚动窗口启发方向计算方法,使其能够跟踪运动目标,同时在滚动窗口内采用流函数法进行避障.根据无人机约束,滚动窗口为三角形,并设计了基于行为的伸缩功能.在流函数中,利用水势能方法克服了陷阱地形并进行了航路平滑.仿真结果表明:这种混合算法对于复杂地形条件下跟踪运动目标的航路规划,能够减小规划算法的时间和空间复杂度,使规划出的航路适于无人机飞行.     

Flash存储中的纠错编码

Flash闪存是一种非易失性的存储器件,随着工艺尺寸的不断减小,存储容量需求的不断增加,存储可靠性与寿命成为Flash生产与应用过程中最严重的两个挑战.基于多级 (MLC,Multilevel Cell) "与非(NAND)型" Flash的层级结构特征与读写操作特性,构造了一种基于正交映射的纠错编码方法,给出其编解码原理与结构,并分析其纠错能力.在此基础上,分析了该编码方法在Flash存储系统中的两种典型应用场景,即分布式多用户共享存储以及历史数据的无差错恢复.此外,Flash存储单元的可靠性受擦除次数的限制,其寿命相当有限,该编码方法可以有效地利用坏块来提高Flash的整体生命周期.分析结果表明:不改变整体结构,只需对编码模块进行简单调整,即可实现多种实际应用需求.     

基于全信息的正态分布型数据的线性回归分析

针对正态的分布型符号数据,提出一种新的线性回归分析方法.以体现正态的分布型数据的全部原始信息为出发点,给出正态的分布型变量的一阶矩、二阶原点矩、二阶混合原点矩的定义和计算原则.在此基础上,定义针对正态的分布型数据的线性回归模型以及残差信息的平方和,推导最小二乘回归系数.仿真实验证明了该方法所得回归模型在解释能力和预测能力上的有效性以及相对于"中心法"的优越性.给出的正态分布型变量数字特征的定义和计算原则为将其他经典的多元统计方法推广到分布型数据奠定了基础.     

飞机进近着陆电磁环境建模与辐射分布分析

机场终端区电磁、地形和地物在拓扑、物理和语义上的异构性导致进近着陆电磁环境构成机理复杂,很难用单尺度解析模型表征电磁环境的本质属性.在分析终端区多要素层次构成机理和关联耦合特征的基础上,提出一种多层融合的进近着陆电磁环境模型架构.综合采用矩量法和射线追踪法模拟台站辐射特性和地空电波传播模式,建立进近着陆区域电磁辐射强度量化表征与空间分布计算模型,有效降低了场边界特性不规则时空变化带来的电波预测误差.结合某机场地形和航向台数据,对终端区主航道和余隙航道的电磁辐射强度和覆盖范围进行计算和对比分析.仿真结果验证了本建模与分析方法的有效性.     

军工高安全软件数值型运行时错误分析方法

提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现.     

中国地区MAGSAT卫星标量和矢量磁异常图

使用MAGSAT卫星资料,编绘中国及邻近地区的卫星磁异常图(10°N—60°N,70°E—140°E)。为了提取地壳异常场,必须从观测资料中消除主磁场、磁层场,感应场和电离层场。本文选用GSFC(12/83)地磁场模型,消除主磁场,磁层场和感应场。为了进一步消除电离层场的影响,改善相邻轨道磁异常的一致性,用纬度的二次多项式拟合每一条轨道的初始地壳异常,并从初始地壳磁异常值减去这一拟合值,从而获得最后的地壳异常值(△X,△Y,△Z,△F)。把研究地区分成1°×1°的网格,将每个网格内的磁异常进行平均,以获得网格中心点的异常值。根据这些网点值绘制中国及邻近地区的卫星标量和矢量磁异常图。等值线间隔为2nT。为了检验卫星磁异常图的可靠性,将卫星资料分成黎明组、黄昏组和联合组,分别进行处理和绘制卫星磁异常图。结果表明:根据上述资料绘制的卫星磁异常图有很好的一致性。中国地区的卫星磁异常值位于—10nT—10nT。卫星磁异常与区域构造特征有较好的一致性;塔里木地台、扬子地台和中朝地台是正磁异常区,西藏高原是负磁异常区。卫星磁异常反映出下地壳磁化强度的横向不均匀性。     

CC—高阶通信系统的并发演算

并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。     

一种模块级可降级重组双机系统的系统管理程序实现方法

分析了模块级可降级重组双机系统的有效组态数,并与双机系统级备份进行了比较。分析结果表明,随着冗余级别的降低,系统的可靠性有所改善,但系统的有效组态数将大大增加,这将导致系统管理程序的复杂化。文章介绍了该系统管理程序的设计准则,并对其中几个有特点的子程序作了简要说明。     

一种基于Hausdorff距离的改进星图识别方法

针对基于Hausdorff距离HD(Hausdorff Distance)识别法存在识别速度慢和对星敏感器镜头旋转特别敏感的问题,提出了一种基于Hausdorff 距离进行星图识别的改进算法,它采用有向距离和绝对距离相结合的方法,利用恒星的空间结构信息,构建有向距离匹配模型;根据镜头旋转特性,建立绝对距离抗旋转模型;对两种模型测试研究确定加权因子,同时选取恰当的匹配识别门限,最终实现匹配识别的性能达到最优.仿真实验结果表明,改进后的算法不但保持了原有算法的高识别率,强抗噪性,而且还具有更快的识别速度和好的抗旋转特性.它在实际工程中已得到成功应用.      

多媒体流处理器中缓冲器的体系结构设计

传统微处理器体系结构不能很好地匹配媒体处理应用的特点.针对处理器与存储器之间日益增长的性能间隙问题,分析了传统微处理器对媒体处理应用的通讯瓶颈;通过分析Cache存储器的特点,得出了传统的Cache结构并不适合现代媒体处理应用的结论,讨论了目前针对处理器通讯瓶颈的一些解决办法;提出了一种以大容量流寄存器堆替代Cache作为中间缓冲器,并能适合于媒体处理应用的金字塔存储层次体系结构设计.该体系结构具有三级并行数据带宽存储层次,即片外SDRAM、全局寄存器堆和局部寄存器堆.三级并行存储层次所能提供的带宽依次提高一个数量级,带宽之比为1∶16∶256,从而可以有效地支持卫星遥感图像预处理对数据带宽的需求.