飞越北极航行时间模型的研究

对飞越北极,缩短航线,节省航行时间问题进行了研究。采用了多种算法,对其有效性、适用性和复杂性进行分析讨论。假设"在旋转椭球体中,以通过球心和该椭球体上任意两点所构成的平面截此椭球体所得轨迹弧长作为曲面上两点间最短距离的近似值",在此基础上,通过运用数学软件计算得出结论:从北京出发,飞越北极抵达底特律的飞行时间可节省4.079 6h,从而使问题得到了进一步的验证。     

强实时双系统中容错技术研究

在关键任务部门中 ,实时双系统的应用越来越广泛。如何保证高的可用度和高的响应时间是它们共同面临的问题。在本文中 ,全面论述了强实时双系统容错技术中的关键问题 ,包括系统结构定义、故障检测、状态切换。实际应用的结果表明 ,方案可以满足应用系统高可靠、强实时的需求 ,取得了良好的效果     

切伦科夫辐射的强流电子束均匀性光学诊断

透明介质中带电粒子的运动速度大于介质中的光速时就会产生切伦科夫辐射光。搭建了基于切伦科夫辐射光的强流电子束均匀性诊断系统,实现了时间和空间分辨的纳秒级电子束均匀性光学诊断。利用程序对诊断系统进行设计。在此基础上对两种天鹅绒阴极发射均匀性进行光学诊断测量。结果表明:在相同电参数下,碳纤维天鹅绒较化纤天鹅绒具有更好的发射性能,与之对应的切伦科夫辐射光斑面积更大,其亮度扫描曲线不但中心增强区域较化纤天鹅绒宽,在其边缘附近也有较强的亮度分布;通过分析切伦科夫辐射光斑的分布和强弱的时间分辨图像,可以得到阴极在电脉冲过程中的运行状态,具有10ns~100ns级时间分辨特性。     

Inventory models with nonlinear shortage costs and stochastic lead times; applications of shape properties of randomly stopped counting processes

In this article, we study generalizations of some of the inventory models with nonlinear costs considered by Rosling in (Oper. Res. 50 (2002) 797–809). In particular, we extend the study of both the periodic review and the compound renewal demand processes from a constant lead time to a random lead time. We find that the quasiconvexity properties of the cost function (and therefore the existence of optimal (s, S) policies), holds true when the lead time has suitable log‐concavity properties. The results are derived by structural properties of renewal delayed processes stopped at an independent random time and by the study of log‐concavity properties of compound distributions. © 2015 Wiley Periodicals, Inc. Naval Research Logistics 62: 345–356, 2015     

地球静止轨道粗定位的北斗系统接收机快速定位方法

传统全球导航卫星系统信号发射时间的整毫秒恢复算法,在接收机概略位置未知时存在计算量剧增而无法应用的问题。利用北斗系统混合星座中GEO卫星电文速率高的这一特点,提出一种基于GEO粗定位的北斗接收机快速定位的方法。在接收机概略位置完全未知的情况下,使用已获取完整信号发射时刻的纯GEO星座进行粗定位,根据解算获得的概略位置对非GEO卫星发射时刻毫秒整数时间进行恢复,利用所有可见卫星进行精确定位。使用国际全球连续监测评估系统测站观测伪距对算法进行验证,国内测站可100%实现伪距恢复,完成快速定位。仿真遍历中国区域用户,在仿真伪距增加均值为0,标准差为6m噪声,截止仰角为0°时,中国附近区域实现快速定位概率均大于98.68%,其中约80%的中国附近区域可以100%实现卫星信号传输时间恢复并完成快速定位。     

海战潜艇兵力作战任务聚合、解聚与重构实现

根据海战仿真对潜艇作战仿真的多分辨率需求,采用聚合与解聚的方法对潜艇智能兵力作战行为模型进行层次划分和结构化设计,利用J2EE/EJB组件建模技术构建了潜艇智能兵力作战行为仿真组件模型,通过行为决策模型构建和多分辨率接口设计,对兵力作战任务进行解聚和聚合,仿真不同分辨率下的作战任务行为和作战指标,并通过任务行为决策控制参数调整实现兵力作战行为重构,满足了系统对智能兵力作战行为多分辨率建模和战法战术验证的功能需求,并有效提高了模型利用效率和可重用性。     

采用时序多属性评价方法的空战威胁排序

鉴于空战中威胁目标的多属性及动态变化特点,提出采用时序多属性评价方法来解决空战目标动态威胁排序问题。在建立空战威胁指标体系基础上,采用熵权法确定目标属性权重,并通过指数分布法确定各时刻权重,最后综合依据威胁目标多时刻的属性信息,实现了空战动态威胁排序。仿真结果说明该方法的合理性。     

基于锥形量热法的油池火相似性及点火特性模拟实验

针对油料池火灾相似性及点火特性研究需要,构建了一种基于耗氧原理的油池火锥形量热法模拟实验系统,引入火灾尺度相似性概念,研究了实验室尺度油池火与真实尺度油池火的相似性关系,探讨了实验室尺度油池火预测真实尺度油池火的可行性,基于实验室尺度锥形量热法研究了油池火点火特性,得到了辐射强度、辐射距离对油料点燃时间的影响规律以及点燃时间与锥照射强度之间的拟合公式。     

海水声速快速高精度测量方法

为实现对海水声速快速、高精度的测量,采用一种系统结构简单的声速测量方案。通过连续波信号参数估计的方法实现了对声传播时间和声速值的测量。采用伪随机序列对连续波进行调制处理,解决了单频连续波信号在测量中存在的整周期模糊与回波干扰问题。通过构建声速试验平台,进行了系统校准与测量试验。试验结果表明该方法具有测量精度高、响应快速的优点,适合于在水下机动平台上对海洋声速剖面进行快速、高精度的测量。     

基于时间切片的通信计划合规性评估模型

针对体系作战背景下通信计划规划任务多线性和关系复杂的问题,提出了一种通信计划合规性评估模型。该模型通过构建计划时间切片,描述了多个通信保障任务主线在各阶段的全局关系视图,并定义了通信链路连接矩阵、电磁频谱三级规划和指控系统命名类量化,描述了通信计划的基本内容,同时定义了3类评估规则和3种评估运算法则,形成了完整的合规性评估体系。最后,通过实例分析验证了模型有效性,结果表明,评估模型能够较好地区分不同信息需求下的通信计划合理程度。