进港飞机调度多目标优化精确算法研究

进港飞机的调度日益成为提高机场终端运作效率的一个重要环节.为了提高机场的运作效率和减少飞机降落延误所带来的损失,对于机场终端多跑道的情形,建立了混合整数0-1规划模型,旨在减少所有跑道的总工作量和最小化航班的总延误成本.为了解决该问题,开发出Epsilon约束算法,可以在几分钟内求解得出进港飞机降落方案的Pareto前沿.并通过实例证明模型的可行性及高效性,对机场终端进港飞机调度和资源的合理利用有一定的指导作用.     

集装箱甩挂运输模型与应用

描述了集装箱甩挂运输的作业流程.从车辆等待时间的角度及集装箱甩挂运输的特点,分析了集装箱甩挂运输在不同情况的适用性问题.使用0-1决策变量来描述集装箱甩挂运输的各个操作流程,建立了以提箱次数、放箱次数、行驶次数、等待时间及各项操作流程的发生顺序为约束条件、以完成全部作业的总时间最短为目标函数的集装箱甩挂运输模型.通过算例分析,算出传统集装箱运输与集装箱甩挂运输的车辆等待时间,验证了集装箱甩挂运输模型的可操作性.     

基于距离走动校正和多普勒高阶项补偿的高超音速目标检测方法

针对机载雷达对高超音速运动目标的检测性能下降问题,首先建立了高超音速运动目标回波信号模型,在此基础上定量分析了目标高超音速运动引起的跨距离单元走动和多普勒频率时变现象。经过详细推导,利用Keystone变换法完成了回波的跨距离单元走动校正,并将基于高阶模糊度函数的参数估计技术应用于高超音速目标多普勒参量估计中,补偿多普勒高阶项后进行相参积累处理。通过计算机仿真证明了所提方法的有效性。     

基于贝叶斯方法的HPRF雷达跟踪解距离模糊方法(英文)

高脉冲重复频率(HPRF)雷达目标跟踪需要解决距离模糊问题。本文通过把脉冲间隔数和脉冲间隔变化量作为目标的离散状态,目标的距离和径向速度作为目标的连续状态,将HPRF雷达的跟踪和解距离模糊问题转换为贝叶斯框架下的混合估计问题并且利用粒子滤波方法实现。仿真结果表明本文方法在脉冲间隔数变化时仍可以正确地解距离模糊,并且跟踪精度比多假设方法高。     

一种GPS双频多天线姿态测量方法

北京遥测技术研究所自主研制的双频GPS-OEM板可以提供精度很高的双频载波相位原始观测数据,利用其对载体进行姿态测量,将是一种即经济又方便的工作方式,而且还能获得很高的精度和稳定性。基于此展开对双频GPS载波相位测姿的研究工作,结合双频GPS载波相位可以组合出86 cm波长宽巷载波相位观测值的特性,基于伪距和载波相位组合获取模糊度搜索空间,再使用最小二乘降相关平差法(LAMBDA方法)搜索整周模糊度。大量的试验数据证明,利用双频GPS载波相位进行测姿切实可行,姿态初始化速度快,测姿结果精度高。     

费马大定理巧妙证明

费马大定理是费马发现巧妙证法之后提出来的。通过从特殊到一般的巧妙证法,用二项式定理等初等数学方法巧妙地证明了此定理。即:不定方程xn yn=zn(n>2)(本文的各种字母没有特别指出时,都表示是正整数),当x=10a时,z不等正整数。由此得出"1加正有理数n次方和的n次方根是无理数。"的引理。用此引理和集合包含关系巧妙地证明了此定理。     

脉冲超宽带信号测量性能分析

超宽带技术是一项新兴的无线通信技术,具有极其广阔的发展前景,但目前仅用于室内短距离通信,少见用于航天测控系统。为了将超宽带技术应用于测控系统中,以模糊函数为工具,对脉冲超宽带信号的测量性能进行分析。首先推导矩形脉冲串信号和载波调制矩形脉冲串信号的模糊函数,并对其模糊特性进行仿真分析。在此基础上,主要针对用于测控系统的伪码调制脉冲超宽带信号,利用其模糊函数分析其测距测速性能。结果表明:该超宽带信号具有良好的测距测速性能,其最大无模糊距离为1个伪码周期,最大无模糊多普勒频率为脉冲重复频率的倒数;单脉冲宽度越窄,其测距性能越好而测速性能越差。     

Virtual baseline method for Beidou attitude determination – An improved long-short baseline ambiguity resolution method

Ambiguity resolution (AR) is a critical step for successful attitude determination using carrier phase measurements of a satellite navigation system such as Beidou. This paper proposes an improved method for AR in support of Beidou attitude determination based on the concept of a “virtual baseline”. In the traditional long-short baseline method, the short baseline is limited to a length less than half of the carrier wave length of the Beidou signals. In the proposed method, a virtual short baseline is formed by differencing two collinear baselines. The AR equations for virtual short and long baselines are derived and the factors impacting the AR accuracy are analysed. Numerical simulation studies were carried out to evaluate the performance of the proposed AR method. The simulation results confirmed that the proposed method is an improvement over the traditional approach -- not only is it easier to deploy collinear antennas but also it keeps the capability of epoch-by-epoch AR, which makes it immune to cycle slips and there is no need for initialisation of ambiguity searching.     

高职学生英语歧义容忍度与写作成绩的相关性研究

对高职学生歧义容忍度总体水平以及歧义容忍度与写作成绩的关系运用访谈、问卷、测试等方法采集数据并对数据进行定量和定性分析。研究结果表明高职学生歧义容忍度水平较低；学生在写作方面的歧义容忍度水平最低，学生的写作成绩与歧义容忍度之间具有正相关的线性关系，但不具有显著性差异。本项研究对高职英语写作教学有重要的启示作用：帮助学生...     

飞机选型问题数学模型的建立

首先分析了航空运营者针对飞机选型问题工作的基本流程和要求;然后根据每一个步骤的工作内容给出计算方法,并建立飞机选型的数学模型及给出求解方法;最后对于求解所得的机型进行评估,为航空运营者在进行机队规划时,合理选择飞机型号提供了一种分析工具.