机场旅客人身检查双设备系统的安检成本研究

为了节约机场旅客人身安检成本,研究基于通过式金属门和毫米波人体成像设备的双设备系统,在确保系统安全性的前提下,对安检成本进行优化。人身安检设备在检查旅客时会产生错误报警和错误放行两类错误,通过正态分布模拟安检设备的响应,利用设备报警阈值控制两类错误发生的概率。所有旅客经过一阶段通过式金属门检查后,然后根据通过式金属门的报警情况确定是否进行二阶段毫米波人体成像设备检查,组合双设备的报警情况确定系统报警和系统放行。在两类错误可接受范围内分析两种安检规则的安全性,确定严格和普通安检通道最佳的安检规则。针对两种安检规则,以系统两类错误为限制条件,分别建立安检成本的非线性规划模型,最后利用蒙特卡罗模拟法求解。结果表明：安检规则1适合普通安检通道,安检规则2适合严格安检通道;两种规则的最低安检成本相近,安检规则1的人均安检成本低于安检规则2。     

具有插队和止步行为的M/M/1/m+1排队系统的等待时间分析

本文研究具有插队和止步行为的M/M/1/m+1排队系统中顾客的等待时间问题.首先,将顾客分为两类,一类顾客到达系统在队尾排队等待服务,称为常规顾客;另一类顾客总是尽可能的靠近队首插队,称为插队顾客.利用负指数分布、Laplace-Stieltjes变换、全概率公式,本文给出处于等待队列位置n的顾客、常规顾客、插队顾客的等待时间的表达式,并在此基础上,给出了相关指标随系统参数的变化情况.     

面向危险、安全失效模式的安全保障系统Signature可靠性分析

安全保障系统是指功能一旦失效将引起生命、财产的重大损失以及使环境遭到严重破坏的系统,通过对其性能的全面分析和指标的精确计算可以有效降低风险,提升系统安全性。本文利用系统Signature建立数学模型,对该系统的危险失效Signature和安全失效Signature进行定义和算法求解,探索两种失效模式下的系统性能。同时定义了危险、安全失效概率指数,精确计算系统失效时每种失效发生的可能性。最后以数值算例形式给出其算法求解和过程。     

规定安全间隔的CNS性能环境研究

对平行航路下规定安全间隔的CNS性能环境评估问题进行了研究.首先分析了CNS性能环境对飞机碰撞风险的影响,并结合Reich模型和概率论方法建立了CNS性能环境下飞机纵向、侧向和垂直方向上的碰撞风险模型;其次对碰撞风险模型进行分析转化得到了规定的安全间隔和安全目标水平下CNS性能环境的评估计算方法.最后对平行航路的CNS性能环境进行了评估计算,得到符合航路安全目标水平1.5×10~(-8)的CNS性能环境为RNP10、RCP400、RSP20.     

Copula-CVaR下考虑随机成本和需求的单周期订货决策研究

不确定环境下的单周期最优订货量决策具有重要且广泛的应用价值。与传统的仅考虑需求不确定性的报童模型不同,本文考虑市场价格恒定,但成本和需求随机变化且相关联下的报童决策问题。为此,采用Copula函数构建成本和需求之间的关联,考虑决策者可能具有的风险态度,建立了相应的Copula-CVaR模型,证明了模型解的存在性和唯一性,并将模型离散化为易求解的线性规划问题。最后,通过不同的风险水平和多种Copula函数下的仿真,分析了随机成本与需求的相关性和波动性对最优决策结果影响,并得到相关结论,为相关企业决策提供依据。     

基于系统动力学视角的生态安全可接受风险研究

与传统概率理论处理生态灾害风险特性不同,是从系统动力学的角度出发,构建生态灾害控制两阶段模型,分别从开环策略与闭环策略阐述了两点:对生态灾害风险事故损失率估计越精确,造成生态灾害的损失额越小;要使生态灾害接近于可接受风险标准并趋于稳定,就必须持续增加资源投入,不断降低生态灾害发生的概率.说明了随着经济体的功能与结构的复杂化,生态灾害可接受风险趋于稳定的情况下,初级控制与次级控制的资金投入量要持续增长.     

高维Mbius群的分类、生成系统和离散准则

本文利用高维Ｍｏｂｉｕｓ变换的Ｃｌｉｆｆｏｒｄ矩阵表示，给出了高维Ｍｏｂｉｕｓ子群的一个分类定理，证明了非初等子群的最小纯斜驶生成系统的存在性，得到了一条离散准则。     

相乘型需求下考虑生产能力约束和销售成本递增的供应链协调研究

当供应商受到生产能力限制时,单位产品生产成本会随产量的提高而增加。而订货量增加时,零售商会尽力实现自己的销售目标,销售成本会随订货量递增。综合考虑单位产品生产成本递增和销售成本递增,以及市场需求函数为相乘型形式,以一个供应商和一个零售商组成的供应链为研究对象,建立了基于收益共享契约的协调模型,研究发现零售商订购量增加,供应商会提高批发价格,但它会主动替零售商承担一部分递增的销售成本,其承担比例与其占零售商销售收益的份额成正比关系,可实现供应链的完美协调。最后,进行数值分析验证了研究结论。     

考虑员工疲劳度和休假的退化系统可靠性建模与检测策略研究

在退化系统检测维修策略的研究中,很少考虑人为因素对检测正确率的影响。事实上,考虑员工疲劳度水平和其工作状态可以更精确地评估和优化维修检测策略,帮助企业降低运维成本。本文考虑维修工的工作状态对检测结果的影响,通过建立疲劳度和检测正确率的函数关系,构建检测维修模型,以最小化维修成本为目标,优化员工工作时间安排、休假时间安排以及检测时间间隔;最后进行算例分析,针对各成本参数做敏感度分析,讨论参数变化时最优休假策略和维修策略的变化规律,从而寻找更广泛的优化适用性。结果表明检测出错成本大的系统,决策者应提高员工休假时间,降低检测频率;预防性维修成本高的系统,决策者应适当提高员工在岗时间并降低检测频率;停机机会成本更高的系统应提高员工在岗时间,同时提高检测频率。     

Markovian Controllable Queueing Systems with Hysteretic Policies: Busy Period and Waiting Time Analysis

We study Markovian queueing systems in which the service rate varies whenever the queue length changes. More specifically we consider controllable queues operating under the so-called hysteretic policy which provides a rather versatile class of operating rules for increasing and decreasing service rate at the arrival and service completion times. The objective of this paper is to investigate algorithmically the busy period and the waiting time distributions. Our analysis supplements the classical work of Yadin and Naor (1967) who focused on the steady-state probabilities of the system state. AMS 2000 Subject Classification 60K25, 90B22     

On the Analysis of the Virtual Waiting Time in Open Queueing Networks

The model of an open queueing network in heavy traffic has been developed. These models are mathematical models of computer networks in heavy traffic. A limit theorem has been presented for the virtual waiting time of a customer in heavy traffic in open queueing networks. Finally, we present an application of the theorem—a reliability model from computer network practice.     

考虑运营期收益的项目建设期时间/费用交换问题(TCTP/R)研究

给出了考虑运营期收益的项目建设期时间/费用交换问题DTCTP/R的概念,讨论了项目工期/收益的函数关系,建立了优化的数学模型,并且将遗传算法应用于问题的求解.最后,结合一个案例说明了在对建设期优化时,应当考虑其对项目运营收入的影响,从全局的角度来进行时间/费用的优化,所得结果才准确与可靠.     

成批到达的有特殊服务时间的多重休假排队系统分析

本文利用嵌入马尔可夫链方法研究了多重休假M^X／Gn／1排队系统。首先，利用概率分析法得到了排队系统的嵌入马尔可夫链的一步转移概率矩阵，以此为依据得到系统的稳态队长和同批第一个接受服务顾客的稳态等待时间。     

基于折合劳动成本视角的工作时间优化及影响因素研究

基于劳动力天然再生成与有限存储的假设,采用经济优化方法,将工作过程中的疲劳积累与以劳动力储蓄池的再生产为目的的休息活动对生产所造成的负面影响折合为劳动成本,分别构建等分模型和拓展模型研究确定时域和不确定时域两种情形下的最佳工作时间,并基于上述模型对工作时间的影响因素进行灵敏度分析。结果表明：劳动强度系数和疲劳成本系数与最佳工作时间负相关,敏感性相等且为最高;休息成本系数与最佳工作时间正相关,敏感性次之;必要休息时间对工作周期决策的影响则取决于各项成本系数的构成比例,且敏感性为最弱。本研究丰富了劳动科学理论体系,成果可指导工作制度的改进,对于缓解当前产业工人中普遍存在的过劳问题具有重要意义。     

基于时间序列的网络安全态势预测方法的研究

互联网上每天充斥着大量入侵与攻击事件,已经严重威胁到网络安全,如何把握网络目前安全态势并预测其发展趋势已成为国内外网络应急响应的热点研究内容之一.根据网络安全事件发生的统计规律性,分别研究了基于时间序列的神经网络和灰色系统理论对未来一段时间内的安全事件数量进行预测的方法,并在此基础上对未来的安全态势进行评估,从而得知网络的整体安全运行状况,有效指导了管理员对网络安全的控制.     

Sooner and Later Waiting Time Problems Based on a Dependent Sequence

This paper introduces a new concept: a binary sequence of order (k,r), which is an extension of a binary sequence of order k and a Markov dependent sequence. The probability functions of the sooner and later waiting time random variables are derived in the binary sequence of order (k,r). The probability generating functions of the sooner and later waiting time distributions are also obtained. Extensions of these results to binary sequence of order (g,h) are also presented.     

最短时限最少耗费的缺省指派问题及决策求解

文章指出了存在于军事决策与管理科学中最短时限最少耗费的缺省指派问题，并对其进行了深入的理论研究。论证了逼近最短时限的一个重要的定理及联系最短时限、最少耗费缺省指派最优解与经典指派问题最优解之间的相关性定理。据此首次建立了求解最短时限、最少耗费缺省指派的决策方法。这一方法可被广泛地应用于军事决策中进攻目标最优缺省选择与经济建设中工程最优缺省立项尽快见效等方面的一类新的科学决策。     

Age Process, Workload Process, Sojourn Times, and Waiting Times in a Discrete Time SM[K]/PH[K]/1/FCFS Queue

In this paper, we study a discrete time queueing system with multiple types of customers and a first-come-first-served (FCFS) service discipline. Customers arrive according to a semi-Markov arrival process and the service times of individual customers have PH-distributions. A GI/M/1 type Markov chain for a generalized age process of batches of customers is introduced. The steady state distribution of the GI/M/1 type Markov chain is found explicitly and, consequently, the steady state distributions of the age of the batch in service, the total workload in the system, waiting times, and sojourn times of different batches and different types of customers are obtained. We show that the generalized age process and a generalized total workload process have the same steady state distribution. We prove that the waiting times and sojourn times have PH-distributions and find matrix representations of those PH-distributions. When the arrival process is a Markov arrival process with marked transitions, we construct a QBD process for the age process and the total workload process. The steady state distributions of the waiting times and the sojourn times, both at the batch level and the customer level, are obtained from the steady state distribution of the QBD process. A number of numerical examples are presented to gain insight into the waiting processes of different types of customers.AMS subject classification: 60K25, 60J10This revised version was published online in June 2005 with corrected coverdate     

食品卫生安全保障体系数学模型及改进问题研究

论文研究了食品卫生安全保障体系的数学模型,阐述了各种模型的建立方法.在建模过程中,探讨解决了一些改进模型的理论问题.主要工作包括:1、通过改进CAC食品分类标准,给出了一种有效的适用于抽样调查的食物分类方法,在此基础上建立了膳食模型;2、给出了污染物分布模型及建模方法,提出了一种由少量样本数据迭代地外推随机变量整体概率密度函数的算法,讨论了由不同区域的监测数据估计全国总体分布的问题,并给出了一种解决方案;3、建立了风险评估模型,探讨了输入数据不配套时,抽样调查数据的衔接问题.提出了一种新的污染物摄入量的99.999%的右分位点的估计方法.