【摘 要】
：
由于电路二等分问题在超大规模集成电路 (VLSI)设计中的基础地位 ,电路二等分半定松驰问题一直引人关注 .能否找到更好的半定规划模型 ,使其为电路二等分问题提供一个更好的
【机 构】
：
西安电子科技大学应用数学系,西安电子科技大学应用数学系陕西西安,陕西西安
【基金项目】
：
国家自然科学基金资助项目 (69972 0 36),, 陕西省自然科学研究项目 (2 0 0 0SL0 3)
论文部分内容阅读
由于电路二等分问题在超大规模集成电路 (VLSI)设计中的基础地位 ,电路二等分半定松驰问题一直引人关注 .能否找到更好的半定规划模型 ,使其为电路二等分问题提供一个更好的下界 ,成为一个重要的研究方向 ;本文在已有半定规划松驰模型的基础上 ,通过增加非线性约束 ,得出电路二等分问题的等价模型 ,再利用提升技巧 ,得到一个强化半定规划松驰模型 .理论证明该模型给出了原有问题的一个更好的下界 ,数值实验也说明了这一点 .
其他文献
考虑了容许借贷的消费投资决策问题，投资者选择债券和带有红利回报的风险股票，在效用最大化的标准下，研究了最优消费投资策略。最后就ＨＡＲＡ效用函数提供了最优策略。
本文引入了集值映射的伪（＊）连续性与弱（＊）连续性概念的定义，研究了伪（＊）连续、（＊）连续及弱（＊）连续的等价关系，最后研究了乘积空间中的集值映射成为伪（＊）连续和弱（＊）连续的充要条件。
设e是3连通图G的一条边,如果G-e是某个3连通图的剖分,则称e是G的可去边.本文给出了3连通图的可去边数依赖于极大半轮的下界以及达到下界的极图.
本文针对一维线性和非线性对流扩散方程提出了一种Crank-Nicolson类型的特征差分格式,给出了该格式形成的线性代数方程组可解的一个充分条件,证明了该格式按离散L2模是收敛的
在Lukasiewicz蕴涵算子RL的三I算法的理论,给出了模糊MP算法与模糊MT算法的文献[1]提出的三I算法的支持度理论的基础上,全面展开了基于计算公式,并考虑了三I算法制还原性问题
本文对凸约束优化问题提出一类新的非单调信赖域算法,在二次模型Hesse矩阵{Bk}一致有界条件下,证明了算法具有强收敛性;在{Bk}线性增长的条件下,证明了算法具有弱收敛性;这推
本文获得了一类障碍问题的两个存在性结果.关键词:障碍问题;变分不等式;p-Laplacian
对于定数截尾试验下双参数指数分布刻度参数的经验Bayes估计问题,用间接EB方法得到其EB估计.计算机模拟例子表明本文所给的估计较好.
设Ａ是Ａｍａｎｎ意义下的凹（凸）算子，本文提出序Ｌｉｐｓｃｈｉｔｚ条件，无需考虑任何紧性或连续性条件，由Ｍａｎｎ迭代技巧证明了方程Ａｘ＝ｘ的解的存在性，将所得结果应用于无辊域ａｍｍｅｒｓｔｅｉｎ发方程，得到了新结果。
本文考虑文[6]中提出的光滑化函数.证明了:该光滑化函数拥有两个在求解变分不等式和互补问题的非内部连续化算法的全局线性和局部超线性(或二次)收敛性分析中非常有用的两个