一种面向语义正确性的关系数据库访问方法

从异构关系数据源中获取语义正确的信息是当前利用数据资产辅助决策所面临的一大难题.为解决这一问题,提出了一种研究面向语义正确性的关系数据库访问方法(SCORDA).SCORDA方法采用DL -LiteNOWL本体作为支持数据访问任务的概念视图,在本体的表达能力和推理复杂度之间做了一定折中;SCORDA方法通过LAV+ GAV的映射方式建立本体与关系数据源之间的语义关联,兼顾了模式异构和阻抗失配问题;此外,SCORDA方法采用了一种动态ABox结构,即时从异构关系数据源中恢复虚拟对象,并且利用动态ABox进行实例检测推理任务,通过本体的模型语义来保证数据访问的正确性.通过原型系统验证了该方法的可行性.     

一种高分辨SAR层析成像方法

在城区建筑三维重建中,如何利用非均匀的少量观测数据,在保持方位向-距离向分辨率的同时实现高度向的高分辨成像是SAR层析面临的一个主要难题.在确定性点目标模型下,基于RELAX算法,提出了一种适用于城区建筑三维重建的SAR层析高分辨成像方法.与统计模型下的空间谱估计方法相比,该方法无需多视处理,能够保持方位向-距离向分辨率.与奇异值分解方法相比,该方法具有更优的高度向分辨能力.在仿真数据和Envisat-ASAR实测数据处理实验中,该方法的有效性得到了验证.     

遥操作交会对接系统研究

遥操作交会对接是指操作人员在远端通过遥操作方式控制追踪航天器进行交会对接,主要用于无人航天器自动交会对接系统故障条件下平移靠拢段的交会对接控制.简要介绍了遥操作交会对接的基本概念及其国内外研究现状;结合我国载人航天工程的基本特点,设计了适用于我国未来空间站任务的遥操作交会对接系统;根据设计的系统方案,设计和开发了相应的遥操作交会对接仿真系统,并进行了部分仿真分析和遥操作交会对接试验,初步验证了设计方案的可行性.     

非晶丝GMI磁传感器信号的小波分析

当非晶丝巨磁阻抗效应( Giant Magneto-Impedance,GMI)磁探头输出数据的信噪比小于0时,常规的峰值检波方法难以检出真实信号.为此,提出了一种新的微弱信号检测方法,将非晶丝GMI磁探头的输出信号经放大、滤波和采样之后直接送入数字信号处理系统,利用小波变换方法提取微弱信号的特征,并利用相关分析法确定...     

一种新的小波收缩统一阈值函数

提出一种新的小波收缩统一阈值函数,并证明了新阈值函数具有收敛性,通过调节可变参数的取值可以改变新阈值函数的趋向,为图像阈值去噪的自适应处理提供了可能.此外,给出了新阈值函数的期望、方差与风险的关系式.仿真结果表明新阈值函数不仅能有效去除噪声,而且比两种经典的阈值函数有更高的灵活性,可以获得更高的信噪比和更好的视觉效果.     

面向装备健康管理的可测性指标研究

可测性指标是开展可测性设计、验证和评估的依据.针对传统可测性指标主要用于故障可检测性和故障可隔离性水平评价,不能全面反映面向装备健康管理可测性水平的问题,在定性分析装备健康管理对可测性的本质需求基础上,从全域和瞬态角度提出了五个可测性指标以定量描述面向装备健康管理的可测性水平;并基于故障模式状态矢量给出了可测性指标的分析计算流程.最后以某装备柴油机的机体子系统为案例详细说明了可测性指标的计算过程,应用结果表明所提指标具有一定的可行性和合理性,可以有效指导面向装备健康管理的可测性优化设计.     

优化多星协同观测的改进广义模式搜索算法

多星协同观测可以最大化卫星的整体效能,如何对多星进行部署是一个设计空间大、设计变量多的优化问题.对此,提出了基于Kriging模型的改进广义模式搜索算法.在算法的搜索步,通过代理模型最优和最大期望提高在当前网格内进行选点,避免选择的盲目性;在筛选步,利用代理模型预测筛选集中各点提高的比例并排序,减少不必要的仿真分析.最后,采用该算法对多星部署方案进行优化,通过对比发现,算法性能优于STK-Analyzer,证明了算法的可行性和有效性.     

红外发射率可变材料在航天器热控技术中的应用

基于热致变色和电致变色的可变发射率涂层或器件由于其重量轻、体积小、能耗少、调控灵活等优点在航天器热控技术中具有极大的应用前景.红外发射率可变材料是可变发射率涂层或器件的核心,主要有电致变发射率材料和热致变发射率材料两类.分析了红外发射率可变材料在航天器热控中应用的原理,重点介绍了钙钛矿型复合氧化物(A1-xBxMO3)、二氧化钒(VO2)、三氧化钨(WO3)、导电高分子(CPs)等四类典型红外发射率可变材料应用于航天器热控的研究进展.根据航天器总体和热控技术的发展需求,指出了未来航天器热控用红外发射率可变材料的发展趋势.     

真比例导引律的降维分析方法

提出了三维真比例导引律的降维分析方法。首先研究视线的运动规律,提出了视线的两种旋转角速度及其计算方法,建立了视线运动方程与新的弹目相对运动方程。其次通过对弹目相对运动的分析,发现在三维空间中存在视线瞬时旋转平面,可以在该平面内构造二维制导律,以应用于三维拦截问题的制导控制。然后将空间真比例导引律不加任何近似与线性化直接引入视线瞬时旋转平面,使其维度从三维降为二维,并对其制导特性进行了分析。最后通过仿真对比分析,验证了真比例导引律降维分析方法的有效性。     

基于循环移位和异或运算的对合线性变换研究

在对称密码算法的设计中,为达到良好的扩散作用,设计者一般均选择分支数较大的线性变换.基于循环移位和异或运算的线性变换由于其实现效率较高,已经在很多密码算法中被采用,比如分组密码SMS4、HIGHT,Hash函数SHA -2、MD6等.此外,如果线性变换是对合的,还为解密带来了方便.研究了基于循环移位和异或运算设计的对合线性变换,给出了这类线性变换的计数公式,指出它们的分支数上界为4,并讨论了循环移位的参数与分支数之间的关系,从而为基于这类运算设计的线性变换提供了理论依据.