数理逻辑在排队论中的应用

在科学研究和工程技术中，排队论(又称搏奕论)有着广泛的应用，本文将数理逻辑，确切地说是命题逻辑中关于对偶和析取范式、合取范式的理论，应用于排队论中，给出了一个排队论的解法，从而可以解决生产实践中的相关问题。     

容错计算机系统的可用性分析

本文应用网络排队论来决定容错多重处理机计算机系统的可用性。计算了系统装置的平均修复时间及利用率。子系统的可用性是通过对网络排队论进行分解的方法取得的。     

基于极大代数的离港航班优化调度

改变以往采用的排队论和线性规划等方法，用极大代数理论研究了航班调度优化问题，将进离港系统的非线性转化为极大代数意义下的线性，结合离散事件动态系统理论(DES)的摄动分析法、鲁棒分析法，论证了不同机型排列对系统性能的影响?运用这一方法，实现了对机型排列的寻优，为科学的航班调度提供了定量的参考：     

救护直升机机载救护装备优化配置研究

基于救护直升机勤务功能及作业能力,研究救护直升机机载装备的优化配置。首先根据救护直升机的勤务需求,确定救护直升机机型装备的品种,然后采用排队论方法研究救护直升机机载装备的数量配置。结果表明排队论方法能够为救护直升机机载装备数量配置提供一个有效的、客观的科学手段,研究结果可为救护直升机研制提供依据。     

爱尔朗排队模型在旅客候机楼中的应用

利用随机过程和排队论的基础知识,对爱尔朗排队模型进行性能分析和参数求解,给出其在机场旅客航站楼中的应用范围。通过实例计算,研究单路排队和多路排队方式的区别,为航站楼值机大厅的旅客组织和面积设计提供理论依据,推广排队论在航站楼设计中的应用。     

机场离港过程的仿真研究

以往对机场进离港系统运行的研究通常只停留在系统输出流量的分析上。提出一种基于离散事件动态系统理论(DEDS)的机场离港过程排队论模型，结合统计中的非参数检验方法确定模型的参数，实现离港过程的仿真。同时利用这种方法，对离港过程的各阶段进行分析，得出了在简化模型下各阶段的效率。     

一种新的基于可解释性置信规则库的飞轮健康状态评估模型

飞轮系统的稳定运行对于航天器在轨安全影响重大，因而对飞轮系统进行健康状态评估至关重要。在进行飞轮系统健康状态评估建模时，不仅要求模型能够处理各种不确定性以保障评估结果的准确性，同时要求其具有透明合理的评估过程与可解释、可追溯的评估结果。因此，在深入研究置信规则库（BRB）建模方法的基础上，构建了一种新的基于可解释性建模的置信规则库（BRB-e）飞轮系统健康状态评估模型。首先，结合飞轮系统特征对模型的可解释性建模准则进行定义；在此基础上，设计了BRB-e评估模型的推理过程；然后，基于鲸鱼优化算法（WOA），提出了一种具有可解释性约束的BRBBRB-ee模型参数优化方法；最后，通过对某飞轮系统中轴承组件的评估案例研究，验证了模型在飞轮系统健康状态评估中的有效性。对比研究表明，BRBBRB-ee模型在评估结果准确性和评估过程可解释性方面具有一定的优势。     

排队论与整数规划：转场背景下对A机场旅客检查人员配置的考察

机场旅检工作人员工作模式相对特殊，实行上一休二的倒班模式，本文通过调研A机场Y航站楼转场前后连续3天的出港旅客到达率情况，并结合前人研究，利用排队论M/M/c和整数规划模型对A机场目前的旅检工作人员配置情况进行分析，发现A机场存在较大的人力资源浪费现象，特别是每天出港航班波峰期之外，人力资源浪费更加明显。本文对旅检人员配置提出两种优化方案，首先，在保证旅客服务质量符合民航局要求的前提下，利用模型测算出每个时段需要开放的最小安检通道数量；其次，提出上一休二与上五休二的综合排班模式，对旅检人员配置做更进一步的优化，实现配置效用最大化。     

航空电子总线性能分析

以排队论为工具，建立了航空电子综合化网络系统的模型，对以“MIL-STD-1553B”数据传输总线为互联网络接口的航空电子综合化系统的时间性能指标进行了定量的分析和研究，对航空电子综合化网络系统的结构和动态特性进行了描述、分析。     

排队论在航空发动机装配任务管理中的应用

简介了排队论;应用排队论,对某研究所航空发动机装配任务管理进行了计算和分析,认为任务完成时间的不确定性是影响等待队列长度的主要因素;重点在减小任务完成时间的波动等方面,给出了减小队列长度的改进方法。     

蜂群无人机充电排队优化方法

针对蜂群无人机快速充电排队问题，首次提出以平均队列长度和平均等待时间作为蜂群无人机充电排队优劣的评价指标。并通过理论分析和数值计算，在多充电平台的条件下，对蜂群无人机的分布式充电和集中式充电2种充电排队方式进行了比较和分析。得出蜂群无人机在泊松到达的条件下，随着服务强度的增加，评价指标对应的曲线出现了一个交叉点。在这个交叉点前，即服务强度较弱时，集中式充电排队方式优于分布式充电排队方式。在交叉点之后，即随着服务强度的增强，分布式充电排队方式将逐渐优于集中式充电排队方式。本文为蜂群无人机高效地完成任务提供了快速充电排队解决方案。     

空中高速路匝口排序延误研究

航空运输业的迅速发展,空中交通流量需求越来越大,空中高速路的规划和设计有助于缓解日益严重的空中交通拥挤问题。从空中高速路的基本概念入手提出了匝口容量计算方法,运用Monte Carlo方法对匝口排序进行仿真并计算匝口排序延误。考虑到匝口容量和排序延误在很大程度上受空中高速路航路流量的影响,研究了航路上不同流率情况下的匝口容量和排序延误。结果表明：该方法能够仿真和计算不同情况下的排序延误,具有很好的实用性。     

机载电子对抗系统效率分析

随着电子对抗的发展,机载电子对抗系统的效率评价成为人们越来越关注的问题。本文首先分析了评价效率的重要性,进而运用运筹学的方法进行了分析和计算。也就是用排队论的有关方法解算了载机的突防概率和生存概率;用博奕论的方法分析了电子对抗运用手段对系统效率的影响。最后,通过对一次电子对抗实战情况的分析,提出了载机利用系数的计算方法。     

The Charging of Planetary Rings

This chapter will review what is known about the charging of planetary rings, in particular the sum of the individual currents from the time-varying charge dQ/dt, of the planetary ring particle. For the smallest ring particles, in addition to checking the plasma conditions for the charging currents, one must consider if collective effects in the ring environment are relevant. Two planetary ring environments that have held a strong interest for ring scientists in the last two decades are Saturn’s spokes in the B Ring and the environment of Saturn’s E ring. Two sections of this chapter will describe these planetary ring charging environments in detail. Finally, we describe two charging effects that demonstrate areas of future studies while providing fresh examples of the intriguing effects from planetary ring charging processes.     

支持向量机时间序列预测模型的参数影响分析与自适应优化

建立在统计学习理论和结构风险最小原则上的支持向量机在理论上保证了模型的最大泛化能力,因此与建立在经验风险最小原则上的神经网络模型相比,理论上更为完善.本文运用支持向量机建立时间序列预测模型,研究影响模型预测精度的相关参数,在分析参数对时间序列预测精度的影响基础上,提出用遗传算法建立支持向量机预测模型的参数自适应优化算法.最后,用太阳黑子数据和航空发动机油样光谱数据进行了预测分析.算例表明了本文算法的正确性.     

Analysis of queuing behavior of automatic ESM systems

Radar electronic support measures (ESM) systems detect active emitters in a given area and determine their identities and bearings. The high arrival rate of radar pulses in dense emitter environments demands fast automatic processing of arriving pulses so that the ESM system can fulfill its functions properly in real time. Yet, the performance analysis of automatic ESM system in real life Is difficult since both pulse arrivals and widths can be specified only probabilistically. The success of queuing theory in many applications such as computer communication networks and flow-control has encouraged designers to utilize queuing theory in qualifying and judging the performance of automatic ESM systems in dense emitter environments. The queuing behavior of these systems is analytically evaluated under different service disciplines and elaborate computer simulations validate the results. The analysis involves statistical modeling of arrival and departure processes as well as distribution of service times. It permits estimating the blocking probability due to high arrival rates of intercepted radar pulses or due to limited speed of the deinterleaver processor. Queuing analysis is shown to be quite useful to quantitatively assess tradeoffs in ESM systems design     

一种用于纳米颗粒场致发射推力器的自中和技术

纳米颗粒场致发射推力器(NFET)是一种用于微小卫星的固体工质静电推力器,为促进NFET的工程研制,提出一种新的自中和技术——反向充电中和策略。为研究这种自中和技术的设计方法,建立相应的数值模型以模拟该中和技术下羽流输运过程,并且,在真空舱中开展NFET的羽流测量试验来验证中和模型的正确性。以比色温度计和"打靶法"装置来分别测量羽流温度分布和推力,通过试验与仿真结果的对比,羽流温度变化的试验结果与仿真结果在定性规律上一致,推力的计算误差在9%～10%。在验证模型正确性的基础上,利用该数值模型对关键设计参数进行数值分析。结果表明:引出极与发射极的内径比变化会导致外加电场对剩余电荷颗粒作负功,引起推力下降,该物理参数在0.94附近时,推力达到极大值;而随着颗粒直径的增加,羽流中和区域整体向下游推移,推力升高。本文结论可为NFET的反向充电中和策略提供设计参考。     

飞机碱性电瓶最佳充电方式研究及其实现

应用电瓶最佳受电原理，对常用飞机碱性电瓶的充电方式进行了分析和比较，提出了脉冲恒流二阶段充电法是电瓶的最佳充电方法之一的设想，其可行性已被试验证实。利用该充电方法，研制成了飞机碱性电瓶专用充电器．实验结果表明该充电方法能大大提高电瓶的充电效率，延长电瓶的使用寿命。