LAAS处理算法及其完善性仿真研究

为了满足民用航空用户在精密进场与着陆中的应用需求,美国联邦航空管理局设计了GPS局域增强系统(Local Area Augmention System,LAAS).LAAS地面站设备采用3-4个安装在机场固定已知点的高性能GPS接收机,观测所有可见卫星,并将这些观测数据同时发送给处理单元,处理单元将码相位测量的伪距数据进行载波相位平滑,同时使用差分技术获得每颗可用卫星的误差修正值,并进行完善性监测,最后利用甚高频(VHF)广播这些修正数据.当某颗卫星出现故障后,整个系统的可用性发生改变.通过仿真研究可以得到当可见卫星数量在6颗或6颗以上时,减少一个卫星对完善性影响不大,甚至会变好,在可见卫星为5颗的时候较少一个完善性的可用性降低.并且完善性还和卫星的几何分布有关.     

基层党员应加强经常性教育

党员经常性教育工作是精神文明建设的一项基础性工作,也是搞好两个文明建设的基本保证。党员经常性教育要收到实效,既要靠党员加强个人修养,严格自律,更要靠建立制度机制,强调他律,使党员经常性教育日常化、制度化、机制化。     

天基预警系统资源调度方法

对面向导弹预警任务的天基预警系统中的低轨卫星资源调度问题进行了研究.对预警任务的特性进行分析,提出了一种预警任务规划与分解方法以减少任务对资源占用时间的需求;在此基础上建立了该问题的约束满足CSP调度模型;针对该模型变量多、解空间规模庞大的特点以及对求解算法时效性的要求,设计了一种基于局部解空间跳出机制的改进型遗传算法MGA.仿真表明该模型与算法在给定时间内能够得到满意的调度方案.     

PSPICE仿真的测试性验证方法

阐明了对复杂电子设备测试性进行验证的重要性,介绍了PSPICE软件的特点,对基于PSPICE仿真的电子设备测试性验证方法进行了研究,提出了电子设备测试性验证的具体方案.在确定电子设备测试性验证指标的基础上,通过实例分析对方案进行验证,并对实验结果进行了分析,总结了验证过程中存在的问题.实验表明,基于PSPICE仿真的测试性验证方法是可行的.     

武器装备体系的经济可承受性成熟度评估

在武器装备体系方案论证初期,备选方案空间一般是非常巨大的,为了比较不同设计方案的国民经济承受能力和技术研制开发能力,介绍了基于能力的装备发展模式,定义了武器装备体系经济可承受性的概念,分析经济可承受性评估研究现状与存在不足,构建了武器装备体系的经济可承受性成熟度评价指标体系和数学模型,并进行了实例分析,结果表明,提出的评估模型可为体系的方案筛选、确定提供理论支持。     

考虑落角约束与驾驶仪特性的自适应径向基空间末制导律

为使舰炮制导炮弹在打击近岸机动目标的末制导段满足落角约束,考虑驾驶仪动态特性,基于自适应径向基逼近网络与动态面提出一种空间末制导律。构建弹目相对运动模型,通过带改进微分跟踪器的扩张状态观测器估计目标加速度。为零化视线角跟踪误差与角速率,采用自适应指数趋近律设计非奇异终端滑模,运用自适应径向基逼近网络削弱控制指令抖振。通过Lyapunov第二法证明了系统的视线角跟踪误差与视线角速率均最终一致有界。仿真实验表明:该末制导律使制导炮弹在空间中打击不同机动形式的近岸目标时,具备良好的末制导性能。     

基于反正切函数的测试性分配方法

针对现有主流测试性分配方法存在的分配指标过低和过高等不合理问题,分析认为其根源在于现有方法采用线性分配函数,而该函数不符合测试性指标提升规律,为此,构造了一种基于反正切函数的测试性分配函数,设计故障检测率与故障隔离率指标的分配算法,开展案例应用并与经典故障率分配法和综合加权分配法进行对比分析,结果表明随着分配权重(故障率)的变大,本方法分配指标的增幅逐渐减小,不会出现极低指标和超1指标的不合理情形。     

基于CWLS时差频差无源定位闭式解算方法

针对时差频差无源定位场景,提出一种基于约束加权最小二乘的无源定位闭式解算方法。在两步加权最小二乘算法基础上,建立了基于约束加权最小二乘的无源定位模型,推导其无约束最优化形式并给出目标状态估计的解析解。推导了目标状态估计均方误差的表达式,通过理论分析证明所提算法在保持两步加权最小二乘算法定位精度基础上,具有偏差减小特性。仿真结果表明,所提算法定位精度能够逼近CRLB,定位偏差明显小于两步加权最小二乘算法,验证了理论分析的有效性和所提算法的优越性。     

带任意泛函约束的多项式再生核的计算

讨论多项式再生核的构造与计算,指出了带任意泛函约束的多项式再生核可由带初值约束的再生核取两次投影余项而得到,并建立了具体的计算方法.     

基于Fisher线性判别模型的文本特征选择算法

在采用向量空间模型表示方法的文本分类系统中,维数约简是必要的步骤,特征选择方法由于计算复杂度较低而被广泛采用.本文基于Fisher线性判别模型提出了一种新的文本特征选择算法,将其求解过程转换为一个特征项优化组合的问题,避免了复杂的矩阵变换运算.实验表明,该方法与信息增益、卡方统计方法比较,具有较明显的优势.