可靠性网络中费用最小化问题一种新分枝定界算法.pdfVIP

维普资讯 2005年6月 应用数学与计算数学学报 第 19卷第 1期 June，2005 COMM．ON APPL．MATH．AND COMPUT Vo1．19 No．1 可靠性网络中费用最小化问题的一种新的分枝定界算法 郭慧娟 孙小玲 陈娟 上海大学数学系，200444，上海 摘要：本文对可靠性网络中串一并系统的费用最小化问题提出一种新的分枝定界算 法．我们根据这类网络的特殊结构和性质，建立了新的最优性必要条件，在分枝搜索过程 中增加新的剪枝准则，从而加速了算法的收敛速度．有效的数值试验表明，该算法可求解 大规模可靠性网络的费用最小化问题． 关键词；串一并可靠性网络，冗余，费用最小化，非线性整数规划，分枝定界算法， 连续松弛问题 1．引 言 随着现代科技的发展，工业生产，交通运输，计算机网络等各种系统和网络被设计 得越来越复杂，而这些设备和系统的可靠性是影响系统效率和安全的关键因素．若可 靠性达不到一定的指标，就会造成经济、信誉、甚至是生命安全等方面的严重损失．近 四十年来，系统可靠性在定量计算方面得到了发展，研究者提出了许多改进系统可靠 性的方法．经过实践认为比较好的是最优冗余分配方法，即增加相同部件的冗余数， 以提高系统可靠性．但增加冗余会受到费用条件的限制 (一般为价格、重量、体积或者 这些项 目的组合)． 现在考虑一个串一并系统 (如图1)，要求在系统可靠性不低于一个给定的最低水平 的约束条件下，寻求一组最优的部件冗余数 (X1，X2，…，X)，使系统的费用为最小，这 即是可靠性网络的费用最小化问题 [10]．该问题的数学模型可表示为： P() min∑^(t) i=1 s．t．R()=H(1一(1一)) ， L{ Xt ，X{整数，i=1，…，n 其中，X，i=1…．，几，为第i个子系统中相同部件的个数，f~(xi)是凸函数且单调递 增，代表第i个子系统使用Xi个相同部件的费用，n是第i个子系统中相同部件的可 靠性， 是系统要求达到的可靠性， 和 分别是Xi的下界和上界，R(x)是整 个系统可靠性．不失一般性，我们假设rl r2 … r． 本文2004年9月24日收到． 维普资讯 应用数学与计算数学学报 ] ：广 ]二二 ：：J r_= ] 图 1．带冗余的串一并可靠性系统 串一并系统的费用最小化问题是一类特殊的非线性整数规划问题．目前解决此类 问题主要有动态规划方法，分枝定界方法以及拉格朗日对偶方法等．由于问题的可分 离性，问题 (P)可用动态规划方法求解 (见 [2])，但动态规划方法要求 (i)是整值函 数，而整值性在实际应用中常常得不到满足．Marsten和Morin提出了动态规划与分 枝定界相结合的混合算法 (见f7])，该算法利用动态规划搜索所有的有效解，并结合分 枝定界策略对不完全有效解进行剪枝．可以证明，对凸整数规划问题，应用拉格朗日 松弛产生的界总是不差于连续松弛产生的界，故用拉格朗日对偶方法可以得到较好的 界．众所周知，拉格朗日方法会产生对偶间隙，文 [6]中讨论了如何减小对偶间隙， 从而设计收敛的拉格朗日方法的策略．Bretthauer和Shetty(见f1])提出了一种解非线 性背包问题连续松弛的Pegging算法，对问题 (P)，该算法只对fi(x)为线性时较为有 效．Djerdjour在文 [5]中也提出一种分枝定界算法解决问题 (P)(也见 [3][4])，但是没有 进行算法实现． 本文提出一种新的分枝定界算法，算法的创新之处是我们根据串一并系统可靠性 函数的特殊性质，引入一个新的最优性必要条件及相应的剪枝判断准则．算法通过解 一 个等价的O-1背包问题得到连续松弛问题的解，在每次解子问题前检验