考虑目标间不同转换方式的成像卫星调度

针对相邻目标间具有不同转换方式的成像卫星调度问题,分析动作转换时间、存储容量、卫星能量等复杂约束,建立动态拓扑结构无环路有向图模型,引入非约束支配路径的概念,提出基于标记更新思想的动态路径搜索算法(DPSA)对问题进行求解。实验结果表明,考虑目标间不同转换方式的DPSA算法在牺牲一定求解效率的基础上,能够全面提高调度效果。     

抑制UKF发散的改进算法在卫星轨道确定中的应用

为避免实际应用中一般无迹Kalman滤波（UKF）算法的不稳定性,基于对传统线性Kalman框架的UKF算法造成滤波发散现象的阐述,讨论了无迹转换（uT）的基本原理开口UKF算法,并给出了造成滤波发散的原因,提出了两种抑制滤波发散的改进UKF算法。仿真分析了某星载GPS低轨卫星轨道发散的主因,结果表明改进算法有效。     

基于状态转换的双天线定向软件的设计与验证

在高动态的导航定位定向的应用中,经常会遇到观测环境比较恶劣的情况。针对这种情况,本文详细分析了在不同的变星情况下模糊度空间的传递过程,并以此为基础设计了一种基于状态转换的双天线定向软件。用户可以时刻了解系统的运行状态,便于用户进行其他实时操作。通过理论推导和实测仿真数据分析表明,该软件能很好地适用于卫星频繁遮挡的情况,且实验效果良好,长度为3m的基线其航向角精度优于0.1°,俯仰角精度优于0.2°,具有一定的实用价值。     

基于顺序失效符的动态故障树形式规约

首先定义了顺序失效符(SFS,Sequence Failure Symbol)的形式化框架,包括SFS定义、性质、规则和定理,这是动态故障树(DFT,Dynamic Fault Tree)形式规约的基础.然后给出了任意形式的静态故障树(SFT,Static Fault Tree)和DFT在SFS形式化框架下的形式规约方式和自动转换算法.最后,通过示例验证了方法的有效性.形式规约构建了DFT在数学层面上更加严密的理论体系,同时,基于SFS的形式规约自动转换算法有助于DFT计算机辅助建模的实现.     

从银河系看宇宙

什么是宇宙?宇宙是一切物质及其存在形式的总和,它包括地球和其他一切天体。所以,宇宙是由空间、时间、物质和能量所构成的统一体。人类对宇宙的认识是先从地球开始的,然后从地球扩展到太阳系,从太阳系扩展到银河系,从银河系扩展到星系,从星系扩展到星系团……等等。宇宙是如此之大,包括上千亿个星系,但人类可以观察到的     

一种BT.656到XGA视频格式转换结构的FPGA实现

本文简化了常用的BT.656接口复合视频信号向1024×768的XGA视频信号转换的结构,在matlab中对该结构的核心转换模块进行了算法建模和仿真。在此基础上用HDL描述语言描述了整个转换结构的功能模型,并用matlab生成视频数据文件供modelsim工具作为输入,仿真后输出图像数据经matlab处理显示结果正确。最后在FPGA验证板上对整个视频格式转换模块进行了原型验证,输出视频信号清晰地显示在显示器上。     

周期性结构在毫米波波导同轴转换中应用

波导同轴转换连接器是微波、毫米波通信和测试中非常重要的器件.基于PBG(Photonic Band-Gap)和阶梯阻抗变换结构在导波系统中对电磁波传播性能的影响,探讨和研究了将这2种周期性结构应用在8 mm波导同轴转换连接器的设计中的情况,通过在同轴腔内导体介质支撑垫中布置二维PBG结构抑制同轴部分横向溢散的电磁波,通过在波导腔体内增加阶梯阻抗结构,改善阻抗变换效率,提高波导同轴转换器件的传输性能.仿真和实验证明了这种PBG/阶梯阻抗变换结构在毫米波波段同轴波导转换设计应用中的有效性,改善了系统的性能及稳定性,在不增加通常的调谐器件情况下,在较宽的频带范围内有效降低了驻波比.      

数据聚类方法的研究与分析

聚类分析是近年来迅速发展起来的一种新兴的数据处理技术,它在许多领域有着广泛的应用,尤其是在数据挖掘领域。首先阐述了聚类分析的基本概念和分类,然后针对目前几类主要的聚类分析方法,重点分析了基于密度的DBSCAN算法,基于层次的BIRCH算法以及基于网格的Wave Cluster算法这三种具有代表性的聚类方法,分析了它们的优缺点和时间复杂度。最后提及了聚类分析方法的应用范围以及今后需要解决的问题和发展方向。     

多链可重构模块化机器人的构型转换

可变形指尖陀螺是一种流行的玩具,其多链、可变形的优点为空间机器人提供了一种方案。以此玩具为启发,结合链型机器人灵活多变的特点,引入了多链可重构模块化机器人。以构型分析及构型转换策略为重点对多链可重构模块化机器人的拓扑构型展开研究,使其改变拓扑构型来适应不同任务。首先,结合整数拆分及排列组合,建立了适用于正六边形基座的模块化机器人基本非同构构型库,提出了一种非同构构型枚举算法,该算法表明非同构构型数随模块数的增加呈指数型增长;其次,以构型转换为核心,定义了基于结构特征的等价关系库,设计了一种构型匹配的重构策略来完成构型间的最优匹配与转换;最后,通过演示与仿真,验证了重构策略的有效性。     

基于VaR-PARCH-CED模型对附有赎回条款的可转换债券风险测度的研究

本文首先对附有赎回条款的可转换债券的风险因素进行分析,然后以桂冠转债的日收盘价格数据为样本,利用不同分布假设下的PARCH族模型进行实证研究,结果发现GED分布所测得的VaR要比t分布和正态分布所测得的VaR值更精确,更适合可转换债券风险测度要求。