利用半无限规划的离散化方法求解半定规划问题

【目的】对半定规划的强对偶定理以及求解半定规划近似解的算法进行讨论。【方法】利用求解半无限规划的近似解的离散化思想,及线性规划的强对偶定理。【结果】得到了半定规划强对偶定理一种新的证明方法以及求解半定规划近似解的离散化算法,给出了该算法的数值实验结果。【结论】为半定规划问题提供了一种新的近似求解算法。     

求解最优潮流全局最优解的二阶半定规划方法

【目的】半定规划凸松弛方法是求取电力系统最优潮流(Optimal power flow, OPF)问题全局最优解的有效技术手段，但解的秩为1的条件难以满足，导致应用具有一定的局限性。针对这一求解困境，提出了一种新的半定规划凸松弛方法。【方法】基于变量扩展，将原变量对应的二阶单项式扩展为新的变量，扩展后可构造一阶及二阶的半正定扩展矩阵，在此基础上将不等式约束转化为矩阵不等式约束，从而形成二阶半定规划凸松弛模型。【结果】为验证所提方法的有效性，求解了常规半定规划方法应用失败的一些反例，结果表明：二阶半定规划松弛模型能更可靠地求得秩为1的扩展矩阵，从而直接获得原OPF问题精确的全局最优解。【结论】二阶半定规划松弛方法为电力系统OPF问题提供了一种更可靠的全局最优算法，具有更好的应用前景。     

球约束加权极大极小离差问题的SDP松弛的注记

【目的】研究利用CVX软件有效求解球约束下的加权极大极小离差问题的SDP松弛模型。【方法】应用半定规划的强对偶定理和Gershgorin圆盘定理。【结果】证明了Haines等人给出的球形约束下离差问题的SDP松弛的解的存在性;同时提出了另一个球形约束下的离差问题,并给出了它的SDP松弛模型的解的存在性证明。【结论】提出的新的证明方法为CVX中嵌入的SeDuMi和SDPT3这两种内点算法提供了有效求解SDP松弛模型的理论依据。     

凸二次规划SDP松弛解的存在性证明

针对利用CVX软件求解半定规划问题的有效性依赖于该半定规划问题的原始-对偶性,提出利用半定规划问题的强对偶定理和Gershgorin圆盘定理证明在箱子约束及单位球形约束下的凸二次规划问题的半定规划松弛模型解的存在性。该证明方法为嵌入了SeDuMi和SDPT3这两种内点算法的CVX软件提供了有效求解半定规划松弛模型的理论依据;一旦利用该方法证明了半定规划问题解的存在,必然可利用CVX软件有效求解。     

多目标半定规划的Lagrange对偶与鞍点定理

主要研究含矩阵函数半定约束和向量函数等式约束以及多个目标函数的多目标半定规划的对偶和鞍点问题．首先在似凸条件下建立了一个含矩阵函数半定约束系统的择一性定理,由此得到多目标半定规划及其在弱有效解意义下的Lagrange对偶理论,包括弱对偶、强对偶和逆对偶等．然后利用鞍点的等价定义,得到多目标半定规划的鞍点最优性条件．     

一类非可微多目标规划的改进的Mond-Weir型对偶

【目的】研究一类非可微多目标规划问题改进的Mond-Weir型对偶。【方法】分析Mond-Weir型对偶问题基础上,给出该问题的一类改进的Mond-Weir型对偶模型,利用G-不变凸性证明原问题与对偶问题之间的对偶结果。【结果】在适当条件下,得出该问题与对偶问题的弱对偶定理、强对偶定理和非极大逆对偶定 理 并 进 行 证 明。【结 论】改 进 的Mond-Weir型对偶结果可以在更弱的条件下得以证明。
     

半定规划的解析中心割平面法

给出了半定规划的解析中心割平面算法,它可以用于求解较大规模的半定规划问题。这个算法在每一步迭代中解决对偶半定规划线性松弛问题,并以割平面的解析中心作为下一个迭代点。我们证明了算法的收敛性,并在最后给出了实际算例。     

互补约束数学规划问题的对偶性

【目的】研究互补约束数学规划问题的Mond-Weir型对偶。【方法】把非线性规划问题的Mond-Weir型对偶推广到互补约束数学规划问题。【结果】在一些弱凸性条件下证明了弱对偶定理、强对偶定理和严格逆对偶定理。【结论】举例说明本文给出的互补约束数学规划问题Mond-Weir型对偶是合理的。     

解半定规划的带筛子的正则化方法

研究了求解半定规划问题的一个带有筛子的正则化方法,该方法是基于经典的二次正则化方法,将半定规划问题转化为目标函数为凸的、可微的无约束优化问题。利用筛选信赖域方法来解这个无约束优化问题,并给出算法及其收敛性分析。     

半预不变凸多目标规划的最优性条件及Wolfe型对偶定理

讨论了半预不变凸多目标规划问题有效解的充要条件,得到了半预不变凸多目标规划问题Wolfe型对偶模型的弱对偶和强对偶定理.     

一个面向对象的问题求解环境

叙述了面向对象的专家系统构造工具ＯＥＣ所提供的问题求解环境。系统取消了统一的推理机构，以对象作为知识的基本元素和问题求解的独立单元，形成了一个将多种知识表示形式、多种问题求解机制融于一体的面向对象的环境。本文着重介绍多种问题求解方式的形成，以及彼此之间的调用与协调。     

视频会议解决方案

会议是企业工作的重要组成部分。视频会议是网络时代出现的新型会议方式，其数据和图像传送功能是传统会议所不可比拟的。结合铁三局网络建设的实际情况，提出一套适用于企业内部各种规模会议需要的视频会议解决方案。     

勒让德方程解的探索

给出了探究性方法在数学物理方法课程教学中的一个典型案例.该方法简明直观、具有启发性,有助于培养学生的创新意识与能力.     

用F展开法解Sine-Gordon方程

用未知函数的变换将Sine—Gordon方程变换成新未知函数及其偏导数为变元的多项式型的非线性偏微分方程。这个偏微分方程可用F展开法求解。因这里的F代表每一个Jacobi椭圆函数，所以F展开法可看作是Jacobi椭圆函数展开方法的概括惑浓缩，并不需要计算Jacobi椭圆函数，我们得到Sine-Gordon方程的10种借Jacobi椭圆函数和双曲函数表示的精确解。     

求解反对称线性方程组

本文首先将反对称线性方程组的系数矩阵A化为反对称三对角矩阵,并且给出了这种方法的算法。然后,在求解系数矩阵为反对称三对角线性方程组的基础上,解出反对称线性方程组。     

试论Bernoulli方程的几种解法

文章系统总结了Bernoulli方程的三种解法．1)普遍采用的变替换法；2)提出了用常数变易法求解的新观点；3)针对特殊的Bernoulli方程的分离变量法．     

机器人问题求解系统

介绍一种综合考虑水平和垂直两个方向上冲突目标的机器人问题求解系统。该系统在理解自然语言基础上,生成行动规划,完成作业空间的动态划分并最终控制机械上实现规划,系统还能回答有关状态的提问。     

圆排列包装问题最优解解析

研究圆排列包装问题,给出该问题的数学模型及其简化形式.通过研究圆排列包装问题的最优解的性质,将该问题的数学模型进一步转化为一个较易求解的数学模型,并给出一个关于其最优解的定理和证明.该定理表明:按半径大小降序排列且两两相切的圆排列为圆排列包装问题的一个最优圆排列.     

物理学计算机方法教学初探

本文阐述了利用计算机解决物理问题的方法,并讨论了存在的问题.     

数学教学与问题解决

问题解决教学在培养学生解决问题的能力、创造性思维能力、数学素质及主动学习数学的态度等方面具有重要的作用，是数学教学中实施素质教育、贯彻落实新课程理念的一条重要途径，因此，需要对问题、问题解决以及加强问题解决数学的教学策略进行探讨。