广义双Poisson风险模型下的破产概率

首先将双Poisson风险模型推广到保费过程是广义齐次Poisson过程的一种新模型,然后利用鞅论的方法得出了破产概率满足的Lundberg不等式和一般公式,以及当个体所赔服从指数分布时破产概率的具体表达式.此模型可以解决同一时刻有2张以上保单到达的实际问题.     

CDMA无线网络小区规划问题的研究

CDMA系统的容量优势需要通过合理的规划来实现，本文对CDMA无一网络小区规划中的核心问题-覆盖和容量的关系问题进行了讨论，在对软切换概率和办切换下中断概率进行分析的基础上，将现有的单小区下的中断概率分析扩展到了多小区正此基础上，引入空间Poisson过程描述用户数的时间和窨 分布，并对均匀和非均匀分布情况进行了相应分析，导出了相应的单小区和多小区下的覆盖与容量的关系。有关理论结果可以应用于实验小区规划。     

多级载荷作用下疲劳破坏的概率分析

本文以Ｂｏｇｄａｎｏｆｆ提出的Ｂ模型为基础，运用概率统计及随机过程理论，探讨在多级载荷作用下疲劳破坏过程，在分析过程中，把疲劳损伤的许多变量处理成模型的内在因子，从而使它更贴近复杂的疲劳过程。将恒幅载荷作用下的损伤累积过程推广到多级载荷作用甚至随机载荷作用的情况，提出了在多级载荷作用下，处理荷载相互作用的方法。     

区域计算机联锁系统安全性分析的动态故障树模型与方法研究

目前,国内外关于动态冗余系统安全性分析的主要方法是Markov模型。对于区域计算机联锁系统,使用Markov模型进行分析时,其状态空间规模较大,致使其建模及求解过程十分繁琐。为了解决这个问题,本文从系统失效的角度建立区域计算机联锁系统动态故障树模型,采用概率近似法求出系统的安全失效概率和危险失效概率,并将所得结果与Markov方法所求指标进行比较。研究结果表明,故障树概率近似法和Markov方法计算结果十分接近,但计算过程简单且对存储量要求小。说明对于低失效率和短维护时间的铁路信号安全苛求系统,采用故障树概率近似法计算有关安全性能指标切实可行,避免了利用Markov方法求解的繁琐过程,为复杂冗余动态系统的安全性分析与计算提供了新的解决方案。     

基于概率Petri网的柴油机故障诊断方法研究

将概率信息引入Petri网，提出了柴油机故障诊断概率Petri网模型。利用概率信息处理冲突消解问题，寻找最有可能发生的故障传播路径，提高了柴油机故障诊断效率。仿真结果验证了方法的可行性。     

蜂窝系统中综合话音／数据业务的越区切换性难分析

提出了一种蜂窝系统中的综合话音／数据业务切换的数学模型，该模型中，话音业务的切换采用预留信道的办法，而数据业务的切换则采用排队模型，评价该模型性能参数包括新呼叫阻塞概率和切换拒绝概率。结果表明：该种方法能够极大地减少业务的切换拒绝概率，数据业务在业务中占的比例越大，越区切换的性能越好。     

基于贝叶斯更新的盾构掘进经验模型可靠性分析

利用一种能够考虑经验模型不确定性的贝叶斯更新方法,将模型偏差系数视为随机变量,并根据现场观测数据对其进行不断更新,所得更新结果可用于后续阶段盾构掘进最大地表沉降和失效概率的预测。以福州地铁某区间隧道掘进为例,将本文所提方法应用于Peck模型、O′Reilly-New模型和刘建航修正的Peck模型等3种经验模型。研究结果表明:3种模型一般都会高估最大地表沉降,其中Peck模型偏差最大,刘建航修正的Peck模型次之,O′Reilly-New模型最小,而刘建航修正的Peck模型偏差比O′Reilly-New模型的变异性更小,通过所提方法可以有效考虑模型不确定性的影响;盾构掘进过程中,与另外2个模型比较,利用刘建航修正的Peck模型进行计算得到的结果更加准确;在本文所研究的算例中,盾构掘进过程中,检测数据不断增加,降低了模型偏差系数和土体参数的波动概率,从而使隧道失效概率的预测值降低。     

铁道部转发国有企业试行破产有关会计处理问题暂行规定︾

铁道部转发︽国有企业试行破产有关会计处理问题暂行规定︾铁道部最近向全路转发了国家财政部《国有企业试行破产有关会计处理问题暂行规定》，对破产企业的财务处理和清算处理作了具体规定：破产企业在宣告破产并成立破产清算组后，应接受清算组的指导，协助清算组对企业...     

运用概率理论进行投标报价决策的探讨

推导通用型最佳报价公式，运用概率理论关于多维随机变量分布函数和数字特征的理论，建立离散型分布函数模型，根据投标报价决策时所涉及的各项因素变量取值及其概率，推算出最佳报价的取值范围及该范围内具体取值相应的概率，从而为决策提供科学、准确决策依据。通过实例模拟决策验证，实际最佳报价匀在推算取值范围之内，且相应概率较高。此方法对投标报价决策具有一定的参考价值。     

基于最大期望算法的列车完整性检测方法

面向中国中西部低密度线路条件,基于GNSS的列车完整性检测系统是一种经济有效的列车完整性解决手段,也可作为制动管风压检测的辅助冗余检测方式,以进一步保障列车运行安全。针对列车运行过程中基于GNSS列车完整性检测系统问题建立完整性检测模型,模型包含列车完整状态及断裂状态下的系统时间动态转换过程。基于系统参数先验统计特性未知情况下的模型参数估计,提出基于最大期望算法的离线训练学习方法,得到列车完整性检测系统模型后验参数的极大似然估计。在列车完整性检测过程中,针对当前时刻的观测值,进行列车完整性所有状态的概率推理估计,采用高斯和滤波的方法实现状态的概率推理计算,选取最大概率下的列车完整性状态,实现列车完整性检测。结合现场测试及仿真数据,针对本文提出的列车完整性检测方法进行测试验证,结果证明了该方法的有效性。     

CRH_2型动车组用YC216连接器可靠性分析

在高速列车运行中的连接器需确保接触可靠性、端接可靠性和连接可靠性,通过3种可靠性的分析,建立了过程失效模型,重点阐述提高连接器固有可靠性的途径。化解各失效模型,降低失效概率。     

贝叶斯分层模型变分推理与概率编程方法综述

在贝叶斯模型中，往往无法解析计算后验概率，在实践中依赖于近似推理。变分推理（VI,Variational Inference）是重要的确定性近似推理方法，比马尔科夫链蒙特卡罗（MCMC,Markov Chain Monte Carlo）采样具有更高的计算效率，在大数据时代有着显著优势。文章通过贝叶斯分层模型，回顾了经典VI，分析了随机变分推理（SVI,Stochastic Variational Inference）及其在主题模型中的应用，综述了更稳健的VI，概述了概率编程系统的研究进展，并对VI的未来发展趋势做出了展望。     

基于调车系统的技术站编组去向方案优化

优化编组去向方案是改善技术站系统分工、合理使用调车线的重要措施。针对传统单点列车编组计划模型将车站视为一个点从而忽视折角车流的不足，将双向编组站的上下行系统分别看作不同的点，提出基于调车系统的编组去向方案优化模型。区别于既有多点列车编组计划模型，根据编组去向的车流内容引入车流折角改编概率，并将编组去向的最小流量、车站的折角改编车流比例、不同编组去向的车流共用同一调车线等纳入模型约束中。在不降低解的质量下，基于Sigmoid函数拟合得到车流折角改编概率的近似计算公式，有效提高模型的求解效率。基于实际路网的算例结果表明，本文模型所得编组去向方案相较于既有模型更加符合运输实际。     

遗传算法在系统最优交通分配模型中的应用

在改进选择策略，实行两点变异并采用随机的交叉概率与变异概率的基础上，将遗传算法应用于系统最优交通分配模型中，通过算例与Frank-Wolfe算法进行比较，说明了遗传算法的有效性与可行性，指出了遗传算法相对于Frank-Wolfe算法特有的优越性，为交通分配问题的计算引入了新的有效途径。     

基于量测数据频率分布的隧道变形分析与预测方法

目前隧道围岩主要通过建立本构模型，利用理想化力学模型对其变形进行分析与预测。但影响围岩变形的变量较多，存在一定随机性，其定量分析和预测结果准确性依赖于本构模型与实际围岩匹配程度，工程实用性较差。围岩量测数据是在各种变量作用下围岩变形行为最为宏观和客观的表现，其变形因素和结果应满足一定的概率分布规律。本文以张吉怀铁路新华山隧道为背景，介绍通过既有量测数据的分布频率预测围岩变形原理及方法，从概率角度对围岩变形行为进行分析，以概率形式预测变形趋势，实用性较强。     

基于贝叶斯DLM的桥梁结构可靠度预测

桥梁结构的性能是时变的,可利用时间序列模型来描述,本文引入贝叶斯动态线性模型(DLM)。运用贝叶斯DLM建立桥梁结构退化抗力的观测方程和状态方程,通过贝叶斯因子对桥梁结构检测信息进行监控,通过检测信息和退化抗力状态参数的先验信息,对退化抗力的状态参数进行贝叶斯后验概率推断,通过不断的"概率预测-修正"递推运算,获得最优退化抗力的状态概率估计预测老化桥梁的退化抗力,建立一个DLM预测桥梁抗力的变化趋势。DLM以及DLM的概率递推过程类似于著名的卡尔曼滤波算法,可以实现桥梁退化抗力的贝叶斯动态预测(向前预测和向后预测),考虑到状态变量的不确定性,本文引入折扣因子确定状态误差方差。基于贝叶斯动态修正的抗力概率模型建立桥梁结构可靠度的预测公式。通过算例验证了本文所建模型的合理性。     

考虑节理尺寸的随机块体可靠度及其出现概率分析

本文从岩体内节理面的间距分布参数出发，对不同大小块体的出现概率进行了分析。在分析块体的可靠度时考虑了结构面的产状粘结系数，摩擦系数，岩体的容重等多个随机因素。并对分析过程编制成通用程序，可以分析具体的工程设施在开挖面内不同尺寸块体的出现概率及其失效概率，以便作为支护设计提供科学依据。     

基于有色Petri网的CTCS-3级列控系统RBC切换的建模与形式化分析

在CTCS-3级列控系统中,车载设备在执行RBC切换过程中所用时间的长短和切换成功概率的大小,严重影响着列车的运行效率。本文利用有色Petri网对车载设备进行RBC切换的两种方式分别建模,模型中引入GSM-R故障模型和非周期消息模型,模拟在GSM-R网络中消息的传输过程和重发机制。研究结果表明:基于两部车载电台的RBC切换方式比基于一部车载电台的RBC切换方式所用时间更少,效率更高。列车速度、消息重发时间间隔都会影响列车执行RBC切换的时间。消息重发时间间隔和RBC重叠范围又会影响车载设备进行RBC切换的成功概率。     

面向行车安全的高铁系统风险辨识与动态演化研究

为研究高铁行车安全风险致因因素动态演化过程，从高铁行车安全风险致因因素的关联关系视角出发，利用解释结构模型构建模糊多态贝叶斯网络结构，同时引入广义区间梯形模糊数进行风险概率计算，建立基于模糊贝叶斯网络的高铁行车安全风险致因因素动态演化模型，并进行了计算验证，证实了模型的有效性。结果表明：18项高铁行车事故致因因素间存在明显的层级结构和关联关系，并基于模糊多态贝叶斯网络风险概率计算，可以在多层级解释结构模型中确定风险动态演化路径，从而对风险动态演化路径中的关键因素进行提前预防控制，为高铁行车安全管理提供重要参考和依据。     

基于模糊贝叶斯网络的山区高速铁路桥梁运营风险评估

针对山区高速铁路桥梁风险情况复杂且影响巨大的特点,提出基于模糊贝叶斯网络,建立山区高速铁路桥梁运营风险评估模型。将山区高速铁路桥梁风险损失划分成3类,分别列出各类损失的风险因素,构建桥梁运营风险概率评估的贝叶斯网络,通过专家调查法统计出桥梁风险因素的概率等级分布,并根据链式传递规则计算出风险事故的概率等级分布。然后,结合风险矩阵对桥梁运营风险水平进行评估。最后,利用该方法分析贵广高速铁路上云阳双线特大桥的运营风险。结果表明,建立的模型计算过程简便,评价结果符合实际,具有较高的实用性。