振荡器相位噪声对GNSS接收机载波跟踪数字锁相环性能的影响

关于振荡器相位噪声引起的GNSS接收机载波跟踪数字锁相环相位抖动,目前的解析结论仍是基于模拟锁相环的,不能说明相位抖动大小与中频积累时间的关系,因此不能有效指导高灵敏度、高精度载波跟踪锁相环参数设计.本文首先推导中频积累输出的频率白噪声、频率游走噪声序列的功率谱,然后基于数字二阶锁相环离散线性模型导出了环路相位抖动公式并进行了仿真验证,最后对公式进行了解析和数值分析.分析结果表明:频率白噪声、频率游走噪声引起的二阶载波跟踪锁相环相位抖动,均随中频积累时间单调递增,随环路带宽先递减后递增.本文推得的相位抖动公式及其随参数变化特征的分析结论,可用于具体指导GNSS载波跟踪锁相环参数设计.     

Production scheduling with history‐dependent setup times

We consider a parallel‐machine scheduling problem with jobs that require setups. The duration of a setup does not depend only on the job just completed but on a number of preceding jobs. These setup times are referred to as history‐dependent. Such a scheduling problem is often encountered in the food processing industry as well as in other process industries. In our model, we consider two types of setup times—a regular setup time and a major setup time that becomes necessary after several “hard‐to‐clean” jobs have been processed on the same machine. We consider multiple objectives, including facility utilization, flexibility, number of major setups, and tardiness. We solve several special cases assuming predetermined job sequences and propose strongly polynomial time algorithms to determine the optimal timing of the major setups for given job sequences. We also extend our analysis to develop pseudopolynomial time algorithms for cases with additional objectives, including the total weighted completion time, the total weighted tardiness, and the weighted number of tardy jobs. © 2012 Wiley Periodicals, Inc. Naval Research Logistics, 2012     

Determining crane areas for balancing workload among interfering and noninterfering cranes

This article treats the problem of subdividing an area for storing containers such that the workload is evenly shared among the cranes operating the resulting subareas. We consider two crane sets: while noncrossing constraints between cranes of the same set need to be observed, cranes of different sets do not interfere. Such a problem setting is, for instance, relevant for scheduling the (un‐)loading of vessels by parallel quay cranes operating on opposing berths or in container yards with cross‐over cranes. We formalize the resulting optimization problem, prove computational complexity, and present exact and heuristic solution procedures. © 2012 Wiley Periodicals, Inc. Naval Research Logistics, 2012     

太阳辐射作用下的飞机表面温场分布实验研究

提出一种通过缩比模型测试飞机在太阳辐射作用下的表面温度场分布,进而通过有限元方法实现太阳辐射温场的三维模拟显示的实验方法.该方法避免了外场测试条件中自然日光辐射强度不可控和环境温度变化的影响,为飞机在太阳辐射作用下的表面温场理论模型验证和实测提供一种有效的方法,对飞机红外特性、日历寿命等研究具有借鉴意义.     

论庭前证据展示制度在我国刑事审判中的应用

刑事证据展示制度作为一项全新的刑诉制度是诉讼公正和效率的关键保证。我国修订后的刑诉法没有确立真正意义上的证据展示制度 ,导致在审判中出现诸多问题。论述了刑事证据展示制度的概念、来源以及建立该制度的重要意义 ,并且结合我国的审判实践 ,提出了建立有中国特色的刑事证据展示制度的构想     

论闲暇教育

随着社会的发展,个人所掌握的闲暇时间越来越多,闲暇教育也越来越为人重视。其实追溯历史,闲暇教育思想源远流长,梳理前人对闲暇教育的认识能使我们更好地理解闲暇教育。     

轴向冲击载荷下圆柱壳的塑性动力屈曲

对于轴向冲击载荷下圆柱壳的轴对称塑性动力屈曲问题,将临界应力和屈曲惯性项指数参数作为双特征参数求解.由相邻平衡准则导出失稳控制方程、边界条件和波阵面上的连续条件.由失稳瞬间的能量转换和守恒准则,导出波阵面上的一个屈曲变形约束方程.由此得出定量求解2个特征参数和动力屈曲模态的完备定解条件.关于屈曲应力和屈曲波数的理论计算结果与已有实验吻合良好.     

纯时滞三种群捕食系统持续生存与全局吸引性

研究了具有HollingⅡ功能性反应的纯时滞的两捕食者、一食饵生物系统,通过构造合理的Lyapunov函数讨论了系统的全局吸引性,并得到系统持续生存的充分条件。     

基于分合粒子群算法的多无人机任务重分配

多UAV在执行任务过程中,战场环境以及UAV编队状态的改变将导致原有的分配计划失效或效率降低,因此有必要重新分配任务。针对多无人机任务重分配问题,首先建立了相应的数学模型。其次运用分组基础上的任务重分配策略进行任务分配,提出了改进的K均值聚类算法进行初步分组,再在分组的基础下,提出了分合粒子群优化算法进行组内任务分配。最后进行实验仿真。实验结果与分析表明基于分合粒子群算法的任务重分配方法能有效地满足多变的战场环境要求。     

动态立体灭火救援圈理论在大型油罐火灾救援中的应用

我国石油、化工原料库区不断增多,大型油罐日益集中,火灾事故频发,大型油罐火灾事故发生后,仅靠本地区的救援力量已经不能满足这类重特大火灾的灭火救援行动需要,必须要建立跨区域联合救援体制和机制。以一起大型油罐火灾事故为例,分析了动态立体灭火救援圈理论在火灾扑救中的实践应用过程。