网络可靠度分析的改进最小割递推分解算法

在网络连通可靠度分析的最小割递推分解算法基础上,充分利用分解过程中获得的信息,采用合并节点以及合并并联边的方法,有效地简化了分解出来的子网,大幅度降低了算法分解出来的不交最小割和不交最小路数量,从而大幅度地减少了计算时间.3个网络实例计算分析表明,与最小割递推分解算法相比,改进最小割递推分解算法能更高效地计算得到网络系统的连通可靠度,为生命线工程网络的抗震可靠性提供了1种更加有效的分析工具.     

矿井通风网络最小割集不交和可靠度的计算

运用可靠性工程理论及不交型积之和定律,在大型网络系统可靠度计算的基础上,提出了矿井通风网络系统最大线性无关最小割集予以真子集涤除的不交和可靠度算法及其实现步骤.根据此算法,当最小割集按所含网络分支的多少进行升序排列时,还可进一步减少中间过程的计算量,从而达到最佳不交和简化计算的效果.实例分析表明:采用升序排列的最小割集并按不交型积之和定理予以真子集涤除的不交和处理后,不仅计算值等同于一般网络分析中用全概率公式计算的矿井通风网络系统可靠度,而且计算中具有所含网络分支布尔积的代数和项数少,计算工作量大为简化等特点.图2,表1,参9.     

大型生命线工程抗震可靠度分析的递推分解算法

提出了系统结构函数的递推分解格式,建立了网络抗震可靠度的递推分解算法,这一算法的邦弗瑞尼不等式下限为系统可靠度的真实界限,从而给出了计算大型网络系统抗震可靠度的一类新方法,并进行了不同类型系统抗震可靠性分析的案例研究,证实了建议算法的有效性。     

基于网络缩减的递推分解算法

根据生命线工程网络的特点,介绍了串联边缩减、并联边缩减和源点合并这三种有效的网络缩减规则,并将这些网络缩减规则引入到改进最小路递推分解算法和改进最小割递推分解算法之中,大大简化了上述算法分解出来的子网,减少了网络可靠度分析的复杂程度.实例分析表明,通过引入网络缩减技术,可以有效地降低网络的复杂程度,并能大幅度地提高计算效率.     

基于网络简化技术的通风网络可靠度新算法

为了解决在网络可靠度计算中存在运算量过大的问题,利用不交和的原理计算网络的可靠性是当今所有计算网络可靠性方法中最有效的方法之一,但对大型网络依然无法快速确定网络可靠度。针对这一问题,采用直接构造不交化通路集的方法,结合网络简化技术和截断误差理论,提出了一种快速确定大型通风网络可靠度的算法。结果表明:本算法可在24 s内计算出传统算法10 h都无法算出的大型通风网络可靠度问题。该算法对提高大型通风网络可靠度计算速度具有很大作用。     

差商层开系数的递推公式和算法

指导出了差商展开系数的一个递推公式，基于该公式给出了计算差商展开系数的一个新算法，本算法比已有的算法更易理解和实现，而且可同时计算一个节点向量上多个相邻的k了介差商的展开系数，当计算一个节点向量上的所有k阶差商的展开系数时，本算法效率较高，时间复杂性这O（k^2max(k,n 1),其中k为差商的阶，n k 1为节点向量所含的节点数。     

多点多重Newton型插值公式

讨论了一般多点多重Hermite插值问题,利用局部自由因子获得了完全展开的多点多重Newton型插值公式,给出了增加一个自由度时的插值递推公式及有重差商表的构造原理.并提出了计算Newton型插值公式的多种快速算法.     

BDD在网络系统可靠度算法中的应用

本文在已有的最小路集算法求网络系统可靠度的基础上,提出了一种利用二元判决图BDD计算网络可靠度的方法。该方法将网络的最小路集用二元判决图来表示,并得到最小路集的不交和,最后获得网络的可靠度。与其他方法比较,该方法所用的二元判决图的规模较小,并且可以计算出在不同故障率条件下、不同时间长度下的网络可靠度。     

一个计算无圈有向网络可靠度的有效算法

研究了无圈有向网络结点集合的两部分划分(点化分)与极小割集之间的关系·通过对网络结点集合的满足一定条件的两部分点划分,直接得到了网络的极小割集·根据点划分对应结点集合之间的包含关系,提出并证明了网络可靠度的容斥原理表达式中项的几个相消原则;在此基础上建立了一个基于割集的计算无圈有向网络可靠度的容斥原理公式及算法,算法直接给出了容斥原理公式中的所有不相消项;最后,通过例子说明了算法的有效性·     

归一化一般加权函数LSL—FIR系统辨识递推算法

本文提出了在无穷维Hilbert空间用一般加权函数的归一化LSL—FIR(Least Squares Lattice—Finite Impulse Response)系统辨识算法。首次提出了混合时间修正概念并导出了混合时间修正公式,它与阶修正公式联立,形成完备递推集。本文算法统一了至今为止的全部LSL—FIR算法。     

带时间和成本约束的随机流网络可靠度的计算

给出了一种求满足传输量要求的时间和成本约束下网络的所有极小状态(下界点集)的简单方法.讨论了基于下界点集合的可靠度的容斥原理公式,直接应用容斥原理公式会有很多相互抵消的项.如果所有的数据通过k条不相交的极小路径同时传输,只需讨论r-1项和r(1相似文献   

图之极小顶点覆盖

图的一个顶点覆盖被称为极小的假如其任何真子集不再是该图的一顶点覆盖，本文证明了某些图之所有极小顶点覆盖的个数的明确表达式，其中包括路径，梯形图，及线性ｎ部图。     

一类网络容量扩充问题

给定一个连通网络,找两点之间的最短路,作为两点之间的流量路径。每条路径都有一定的需求,网络中每条边的容量至少为经过该边的所有路径的需求之和,若某条边的容量小于经过该边的所有路径的需求之和,则需要对其容量进行扩充。每种扩充方案的扩充费用是关于扩充容量的函数。本文给出解决该问题的一个多项式时间算法,使得各边容量达到需求,且总的扩充费用最小。     

多端网模式下的逻辑划分

一个适当的模式对于划分逻辑电路来说是很必要的。本文提出了一个直接反映实际电路连接关系的多端网模式。在这个模式下，推导出了划分中关于两子集间代价的对交换增益公式及关于子集外部代价的单边移动增益公式和对交换增益公式。本文提出了一个将对交换法和单边移动法相结合的用于二路迭代改进划分的算法。最后，给出一些实验结果。     

基于Mapinfo的最短路径混合搜索算法

在迪杰斯特拉(Dijkstra)算法的基础上,针对有较多节点和道路的大网络在求解最短路径时计算时间慢、扩展节点多的缺点,采用基于局部最优方向和A*算法的混合算法,利用局部最优方向法的结果,对A*算法的启发函数加以改造,可以减少扩展的节点数量,快速的找到一条最短路径.通过实验仿真证实了该算法的快速有效性.     

Reasoning with Inconsistent Ontologies

Reasoning with inconsistent ontologies involves using an inconsistency reasoner to get meaningful answers from inconsistent ontologies. This paper introduces an improved inconsistency reasoner, which selects consistent subsets using minimal inconsistent sets and a resolution method, to improve the run-time performance of the reasoning processing. A minimal inconsistent set contains a minimal explanation for the inconsistency of a given ontology. Thus, it can replace the consistency checking operation, which is executed frequently in existing approaches. When selecting subsets of the inconsistent ontology, formulas which can be directly or indirectly resolved with the negation of the query formula are selected because only those formulas affect the consequences of the reasoner. Therefore, the complexity of the reasoning processing is significantly reduced. Tests show that the run-time performance of the inconsistency reasoner is significantly improved.     

一种计算通信网络最小路集和割集的新算法

提出了一种新的简易算法，可用以确定通信网络任一端对的全部最小路集和当网络为平面网络时的全部最小割集     

一种带路径约束的多商品流网络设计问题及其禁忌算法

多商品流网络设计问题在实际中有很广阔的应用背景,然而在多商品流模型中,有些实际应用问题对运送商品的路径提出了额外要求,如时间、可行性等．在此,将考虑一种带路径约束的多商品流网络设计问题,并借助改进单纯形法、列生成和最短路径算法为提出的模型构造一种禁忌(tabu search)算法,最后给出该算法的计算实验结果．     

I{2}和M{2}的有效刻画(英文)

Stewart给出了一个矩阵2-逆集合M{2}的刻画公式.但其中含有多余的任意参数,因而不是一个有效刻画.本文利用方阵的满秩分解,为I{2}_s的一个真子集B_1剔除了Stewart公式中的多余任意参数,得到了B_1的有效刻画公式;还证明了I{2}是其有限个子集的并集,其中每个子集与B_1等距同构.由此可分别建立I{2},I{2},M{2}和M{2}的有效刻画公式.算法2.1则可用于无重复地计算I{2}_s的每个元素.