公路建设项目水环境风险评价方法

基于某高速公路环境风险评价实例，对高速公路水环境风险评价方法进行了探讨。认为目前在公路交通危险品运输对地表河流的风险评价中，采用的风险概率计算模型应增加交通事故中的泄漏概率项；危险品的泄漏速率计算采用非稳态孔口出流计算方法比稳态孔口出流计算方法更符合客观实际。采用卷积分模型成功预测计算了危险品泄漏后河流中污染物浓度的分布。     

基于滑动概率神经网络的早期故障诊断

针对机电设备早期故障难以识别的问题，提出了一种动态的概率密度估计方法——滑动概率神经网络，用以跟踪分析测量信号的概率密度变化过程，及时发现早期故障．该网络以固定不变的抽样集作为第一层，动态滑动的测量信号作为样本层，通过求和层得到抽样集的条件概率密度估计，将样本层内测量信号的概率密度动态地投影到统一的抽样集上．将网络分解成以测量值为中心的子网络，来实现网络的递归运算，并且利用高斯函数的快速衰减特性或使用分段线性函数近似高斯函数，从而提高了网络的计算实时性．通过压缩机喘振过程数据的应用实例，表明该方法能够有效识剐故障的早期征兆．     

马尔可夫链在太湖流域梅雨期预报中的应用

依据1954~1991年太湖流域的入、出梅日期以及梅雨集中期,应用马尔可夫链预报了太湖流域1992年和1993年的梅雨期,并利用其平稳分布分析了梅雨期系统在各状态下的概率.应用结果表明:在太湖流域气候条件稳定的情况下,历史数据越多越精确,预测也就越可靠;以马氏链预测梅雨状态的方法是一种概率预报方法,需通过大量的预测检验才能显示出该方法的准确性和可靠性.     

一类保费与理赔相关的破产模型

对经典poisson风险模型推广至一种相依的结构,索赔产生时以概率P的可能性同时产生一次续保.对此模型,得到了最终破产概率的一般表达式和破产概率的一个上界估计.     

A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS

A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions.     

用契比谢夫不等式估计设备失效概率的上限

可靠度的估计是可靠度分析中重要问题，本文分析当强度、应力的分布函数未知时，估计机械设备失效概率。     

随机利率场合下一类离散时间模型的破产概率

研究了带有随机利率的一个离散时间风险模型中的破产概率，得到了在通货膨胀和通货紧缩条件下关于破产概率的若干定性结果，所得结果推广了常数利率下经典模型的相应结果．     

基于径向基概率神经网络模型的小儿厌食症状辅助诊断

结合了径向基神经网络较强模式分类能力与概率神经网络运算简单的优点,提出了一种径向基概率神经网络模型,并应用于小儿厌食症的辅助诊断,通过对119例样本数据的处理,获得了92.4%的准确率.此外,偏最小二乘法的分析结果表明,Zn元素与小儿厌食症关系最为紧密.     

中程空地导弹武器系统作战效能评估

为定量分析和评估中程空地导弹武器系统在给定条件下完成规定任务的程度,依据美国工业界武器系统效能咨询委员会给出的模型思路和方法,对武器系统的作战效能进行了分析和评估建模。给出了武器系统可用度、可信性和考虑敌方对抗条件下的系统能力、作战效能计算公式,详细讨论了对抗环境对武器系统作战效能的影响和提高武器系统突防概率及作战效能的方法。着重分析了电子对抗环境对突防空地导弹命中毁伤概率的影响,火力对抗环境对突防空地导弹生存概率的影响和提高突防概率的方法,还依据有关文献分析了突防空地导弹撞地概率的计算方法,在分析的基础上均给出了计算公式,据此可定量分析和评估武器系统的作战效能。     

RED算法的分析及其在FPGA中的实现

拥塞检测与拥塞避免算法是实现IP网络QoS的重要措施之一.随机早检测算法通过计算TCP流的平均队列长度,进行适当的概率丢弃分组,从而有效地避免了由TCP流导致的网络拥塞.该算法因其具有较低的时延、较高的吞吐量和较好的公平性而被广泛采用.首先详细阐述了RED算法的基本原理,通过对算法的理解和分析,提出了一种有效的和可行的FPGA实现方案,该方案在遵循算法原理本身的同时,以相对较少的硬件资源和快速性实现了RED算法.