一种无人战斗机系统使用保障费用分析方法

基于无人战斗机系统在使用保障上的特点,通过对有人战斗机使用保障费用模型进行合理改造,使其能适用于无人战斗机的使用保障费用分析。经过改造的模型具有结构清晰、概念明确的特点。适合在飞机总体设计阶段用于全寿命周期的费用估算以及飞机的费效分析和综合优化设计。通过与有人战斗机的使用保障费用进行对比计算表明,无人战斗机系统的使用保障费用具有明显的经济优势。     

多传感器组合导航系统评述

介绍了组合导航系统的重要性、发展现状和发展趋势。根据导航与目标跟踪的区别与联系,从多传感器组合导航系统研究的角度出发,在概念理解、模型建立和系统结构等方面做了详细的评述,提出了多传感器导航信息融合系统的功能模型,分析了位置融合级的结构模型。     

论消防工作与政府投入的数学原理

近年来,政府对消防投入水平较低。通过建立数学模型,从消防部门与政府的相互关系进行理论论证,抛砖引玉,提出消防工作的建议。     

Ka频段卫星通信的信道特性及系统性能仿真

在Ka频段卫星通信系统中,大气、降雨、闪烁会引起地空链路信道质量的恶化.详尽分析了Ka频段卫星通信信道的电波传播特性,重点分析了降雨对减弱信号效率,增加接收系统噪声温度及改变信号极化方向等的影响,在此基础上建立了Ka频段卫星通信信道及Ka频段卫星通信信道模型仿真模型,并在Matlab环境下对Ka频段卫星通信信道模型的BER性能进行了仿真,为卫星通信链路分析及抗雨衰对策提供了理论依据.     

某型无人机发动机动力学建模与仿真

无人机飞控系统是无人机模拟训练系统的一个重要组成部分.基于某型无人机实飞参数,解出发动机推力,建立了发动机动力学模型,并结合无人机六自由度模型建立了无人机飞行仿真模型,对该型无人机模拟训练系统飞控系统的研制具有重要意义.最后在MATLAB/SIMULINK环境下进行了仿真,结果表明该建模方法是正确的.     

空间救援发射窗口分析

从发射窗口的基本特性出发,推导了空间救援任务发射窗口的解析求解方法.将空间救援发射窗口问题分解为平面窗口问题和相位窗口问题,分别建立了平面窗口与相位窗口的解析求解模型,最后获得了发射窗口解析解.用直观曲线描述了同一经度的不同纬度所有发射点对应的发射窗口,为空间救援任务发射窗口的分析和快速计算提供了基础.     

基于工作流的GIS服务动态聚合方法、技术体系和参考模型研究

基于GIS服务的特点和动态服务聚合的应用实际,提出了一种基于工作流的GIS服务动态聚合实现方法,该方法通过引入服务群的概念,有效适应了GIS服务的动态变化性;提出了基于工作流的GIS服务聚合技术体系,界定了GIS服务聚合的研究内容和层次关系,为GIS服务动态聚合关键技术的研究提供了总体框架和顶层指导;参考工作流的研究成果,提出了动态服务聚合参考模型DSCRM,为开发聚合服务支撵平台以及在此基础上构造特定的服务聚合应用提供了可参考的计算模型.给出了一个GIS服务聚合应用实例来说明工作的可行性和有效性.     

一种新型混合跳频通信技术

文中提出了一种新型混合跳频通信技术,该技术结合传统跳频技术和差分跳频技术,在较窄的频带上采用差分跳频调制,并将该调制信号与另一更宽频带内的慢跳频信号进行混频,最终得到一个跳速高、频带宽的调制信号。接收端解调时,先按照传统跳频解调的方式进行慢跳频的解调,再按照差分跳频解调的方式对信号进行差分跳频解调。这种混合跳频通信技术在提高数据传输速率的同时,也可以很好地改善系统的误码率性能和抗单音干扰性能。     

一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.     

捷联惯导系统快速自对准误差模型的建立

通过对惯性制导系统两个基本方程的研究,求出了各状态矢量在各坐标系下的微分方程,然后以ψ角法所确立的平台为基准,分别推导得出惯性制导系统各主要状态的微分方程,从而建立了捷联惯性制导系统的误差模型.最后根据静基座捷联惯导系统初始对准的特点对其进行简化,得到了静基座捷联惯导系统快速自对准的误差模型.