基于随机集证据推理的构件软件体系可靠性模型

将随机集证据推理应用于军事信息系统软件可靠性建模研究,采用其分析软构件故障过程,计算 软构件可靠性参数,并在此基础上构建了一个基于随机集证据推理-贝叶斯网络的军事信息系统软件可靠性模型.本模型实现了对构件软件体系全过程的可靠性跟踪和监控.仿真实验验证了该模型的实用性和有效性.本模型还可应用于对大型设备系统的故障诊断.     

Improved unequal interval grey model and its applications

A new method to improve prediction precision of GM(1,1) model with unequal time interval is presented.The grey derivative is multiplied by a parameter to guarantee the time response function satisfying approximately exponential function distribution.To simplify the process of parametric estimation,an approximate value is taken for the multiplied parameter.Then the estimators of coefficient of development and grey action quantity can be derived.At the same time,the principle of the new information priority is also considered.We take the last item of the first-order accumulated generation operator(1-AGO) on raw data sequence as the initial condition in the time response function.Then the new information can be taken full advantage of through the improved initial condition.Some properties of this new model are also discussed.The presented method is actually a combination of improvement of grey derivative and improvement of the initial condition.The results of an example indicate that the proposed method can improve prediction precision prominently.     

区间小波变换域的新拟牛顿LMS自适应消噪

将小波变换、自适应算法和新拟牛顿算法相结合,得出一种区间离散正交小波变换域新拟牛顿LMS消噪算法。该算法具有较好的环境适应性,有效克服了传统步长因子选取和输入信号自相关函数估计误差对算法收敛速度和稳态误差的影响。计算机仿真结果表明,在新拟牛顿条件下,该算法具有较快的收敛速度和较强的消噪能力,可以很好地应用于自适应消噪系统中。     

一类线性内部奇点边值问题的区间分段求解

本文对一类线性的、具有单个内部奇点的奇异边值问题采用区间分段处理,从而较好地刻画解的奇异行为。文中给出的数值例子说明了求解该类问题的具体方法与步骤,其计算结果表明,该方法是有效的。     

区间值积分及其性质

借助达布(Darboux)定理提出区间值积分的新概念，研究了区间值积分的基本性质，包括线性运算性质、不等式性质、区间分割性质及中值定理等，推广了Riemann积分理论。     

实数连续性理论在平面几何上的应用

本文利用实数的连续性理论解决了平面几何方面的问题，具体用闭区间套定理证明了平面上任给一个三角形都存在任意方向上的一条直线，可将该三角形分成面积相等的两部分，进一步又禧到：对于一个三角形和一个多边形，至少存在一条直线可将它们同时分成面积相等的两部分．     

Integrate-and-Fire模型输入的最优解码

研究了随机相关输入的Integrate-and-Fire(IF)神经元模型的最优解码问题.使用Fisher信息,在理论上解决了这样一个问题:当抑制和兴奋输入的比r取何值时,神经元能最精确地解码IF神经元的输入.指出相关输入整体上减小了解码的精确性.     

新不确定度量下的冲突证据融合

针对证据高度冲突的情况下,DS证据理论在实际应用中出现错误融合结果的问题,提出基于不确定度的冲突解决方法.首先分析现有的不确定度量方法的不足,研究基本概率赋值本身所包含的信息,提出一种新的对证据不确定性度量的方法;依据新的不确定度量,结合证据距离生成权重来修正待组合证据体,再利用Dempster规则完成证据组合,可有效解决证据高度冲突情况下的信息融合问题,最后通过算例验证了该方法的有效性.     

红楼纪年审计报告

《红楼梦》有三个模糊不清:故事的年代模糊不清,人物的年龄模糊不清,故事的地点模糊不清。本报告是对《红楼梦》故事的年代进行的专项审计,文章的独特之处是:揭开这些模糊不清的秘密,不是依靠复杂繁琐的史实考证和史料考证,而主要从《红楼梦》的文字叙述来寻找依据,进行逻辑推理和演绎推算;文章的基本内容是:红楼纪年的命名和时间,各个红楼年代的文章结构、审定证据和重要事件。     

基于时间区间内航线机型优化分配的机队规划方法

传统机队规划方法所形成的机队构成无法适应市场需求的波动,按照旅客需求的波动规律将航线上的时段进行分割形成时间区间,以时间区间内航线机型运行频次为决策变量,不同航线上机型的适航性限制、飞行机组的可用飞行时间、选定机型飞机的最少投放数等因素为约束条件,构造以航线机型分配的运营利润最大化为目标函数的时间区间内航线机型优化匹配模型,并结合Lagrange松弛算法求解机队规划问题.通过分析某航空公司19条航线、299个航班、6种候选机型的问题发现,该方法能够反映出航线上的机型分布特点,且形成的机队构成更能适应公司生产运营环境的变化,因此方法可行.