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

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

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

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

排队论在高速公路收费系统中的应用

目的 排队论在高速公路收费系统中的应用；方法 建立比较合理的数学模型，最后对模型进行优化以达到更理想的效果；结果 通过对模型的优化设计，确定收费亭的数目，使得在成本一定的情况下，车辆排队等待的时间尽可能的短；结论 排队论在高速公路收费系统优化设计中具有实际用途。     

离散事件系统的Petri网图仿真

1.前言 离散事件动态系统DEDS(Discrete Event Dynamic System)的传统分析方法——应用排队论和随机过程理论为离散事件动态系统建立排队网络模型,在很多情况下已不适用。新的理论和研究方法相继提出。其中之一是“皮特里网”(Petri Nets)理论。另一种比较成熟的方法是仿真法,但是,仿真法要以高昂的计算机设备的大量计算时间为代     

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

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

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

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

VHF地空数据链网关信息处理模式分析

VHF数据链网关信息处理模式直接影响系统的实时性,采用排队论模型详细分析了两种信息处理模式对系统实时性的影响,进行了计算机仿真,通过分析仿真结果,得到了适合的信息处理模式。     

加强计算机网络信息安全的若干措施

针对计算机网络中信息的保密性、真实性、完整性、可用性和占有性,从四个方面提出了确保计算机网络信息安全的若干措施.     

航空电子总线性能分析

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

多机场协同下航路网络通行能力优化

针对目前管制员依靠自身经验,缺乏量化的模型为管制员向各航路分配交通流提供决策依据,在大流量的复杂空域易造成管制员疲劳、加剧航路网络的问题,提出了一种改进的Dial算法来提升空域效率、缓解航路网拥挤。首先,考虑航路容量、管制员负荷,并通过排队论构建了航路与交叉点的阻抗函数,建立了一个以航行时间最小为目标的数学模型;然后,引入连通系数和容忍度的概念,改进了Dial算法的连通性问题和改航问题,并通过改进的算法对模型进行求解。仿真结果表明,所提方法在容忍度为0. 3～0. 5时能有效地缓解航路网络拥挤。     

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

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

排队论在航站楼容量分析中的应用

在分析航站楼概念和特征的基础上,指出了定性、定量计算航站楼容量的方法.应用排队论建立了容量分析模型,并使用该模型对航站楼各个环节的容量进行分析计算,找到流程中的瓶颈环节,以改善航站楼系统、增加航站楼容量、提高服务质量.     

飞机战伤抢修力量配置中的运筹学研究

首先运用排队论建立抢修分队数量预测模型即M/M/C/m/m排队模型,然后运用非平衡任务指派模型理论对抢修分队中的每位人员进行任务指派,并运用改进的匈牙利算法对目标函数加以求解,得出对战伤抢修人员优化配置的方法。     

基于排队论的机群出动能力模型

文章建立了有备份飞机条件下机群出动能力的排队论模型,并阐述了根据故障率和所需出动飞机数量确定备份飞机数量和维修组数的分析流程,其仿真结果符合实际情况,模型可用于陆基或舰基机群出动能力的评估和分析,并对保障资源优化配置具有参考价值。     

TCP／IP协议下网络编程技术及其实现

建立在传输层协议上的抽象数据结构socket作为网络中数据交换的排队点 ,是TCP/IP网络最为通用的API。文章在介绍TCP协议客户端和服务器端进程通信流程和具体实现的基础上 ,以Delphi环境为编程语言说明了在Windows下使用socket进行网络编程的方法和特点。基于事务处理的socket网络编程技术可应用在分布式系统进程通信中 ,是Internet上进行应用开发最为通用的API。     

多防线要地防空体系目标拦截能力评估

应用排队论计算目标沿某方向进袭要地的突防概率。应用插值算法，使离散的各方向目标进袭要地的突防概率形成一条近似表达突防概率关于目标进袭方向的函数曲线，得出单一防线防空火力网拦截能力的数学描述，进而得出目标进袭多条防线的突防概率。仿真实验验证了该方法的可行性。     

防空导弹防御系统中的TBM突防能力研究

建立了防空导弹弹道数学模型并应用排队论理论建立了TBM突防概率模型。通过仿真计算，深入定量地探讨了TBM的进入密度、防御武器数量和火力单元拦截概率等因素对TBM突防能力的影响，在此基础上，从导弹技术与战术运用方面，针对防空导弹的防御，进一步提高TBM突防能力的对策和途径。     

基于冗余网络的数据综合处理热备份策略

在传统集中分布式地面控制系统架构的基础上,通过改进网络冗余、综合设备故障状态,设计了一 种基于冗余网络的数据综合处理架构,提出了实时高效的主备切换策略,有效降低了地面控制站系统风险、提 高了系统的可用性,通过验证得出该技术有效地保证双机切换的实时要求。     

基于排队论的地空导弹群射击效能评估模型

针对现代防空作战中组建地空导弹群抗击敌空袭编队的特点,运用排队论原理和概率论理论对同型和异型的地空导弹群射击效能评估模型进行了研究,并通过实例验证了该模型的可行性和有效性.该模型的建立,对于优选火力运用方案、充分发挥地空导弹群的作战效能,具有重要的理论意义和实践价值.     

信息系统的可用性研究

虽然可用性不是一个新的概念或术语,但信息系统的可用性在我国还是一件新事物。提出信息系统的可用性问题,有可能在设计思想和人们的使用观念上带来一场革命。