无约束全局最优化的一种新的辅助函数法 (三峡地区资源环境生态研究)

对无约束全局最优化问题提出一种新的平稳点函数法和拟平稳点函数法,通过实现一系列局部极小化来获得问题的全局极小。这种求解过程由局部极小化的两阶段循环组成:第一阶段对原目标函数执行局部极小化;第二阶段对提出的这种新的平稳点函数或拟平稳点函数执行极小化,同时使得原目标函数下降。最后通过举例,并运用Matlab7.11进行数值计算,结果表明:本文提出的新的平稳点函数法和拟平稳点函数法是非常有效的。     

基于BDD快速求解Petri网的陷阱和极小信标

为了分析和计算Petri网模型的陷阱和极小信标,同时实现符号化快速求解,提出了基于二叉决策图(BDD)获取模型的陷阱和优化已有的求解极小信标的方法,主要对原有方法缩减计算步骤并进行优化。通过引入BDD布尔计算方式,可快速求解较大规模Petri网模型的陷阱和极小信标。依据布尔函数给出了相应的符号化表述,并结合实例使用提出的方法进行求解,求得并分析相关结果。分析表明,极小信标求解方法的优化具有显著的时间优势,使用BDD符号化计算方式可以快速求出Petri网模型的陷阱和极小信标,甚至对规模更大的Petri网模型也是有效的。     

高精度锥孔的精加工与检测

提出一种精加工和测量锥孔的新方法,该方法加工和测量简便,并介绍其加工原理和检测结果。在机械加工和检测方面具有一定的参考价值。     

连续无约束优化问题的一个新填充函数

关于连续无约束全局优化的问题,构造了一种新填充函数的形式,证明了该形式是满足所定义的填充函数的有关性质,根据该函数形式设计了相应填充函数算法。数值试验表明此算法是可行和有效的。     

具有抽象约束的l-稳定函数的多目标优化问题的二阶充分条件

对于多目标优化问题而言,二阶最优性条件在优化理论中占有非常重要的地位,尤其是多目标问题的二阶充分条件,因为它能保证求得的解确实是原问题的有效解.在已有的无约束l-稳定函数多目标优化问题的二阶充分条件的基础上,借助定向距离函数和l-稳定函数的性质及引入的广义二阶Peano(Dini)方向导数,进一步刻画了具有抽象约束的l-稳定函数的多目标优化问题的二阶孤立极小点的二阶充分条件.     

局部对称空间中的极小子流形

Yau研究了常曲率空间中的紧致极小子流形,获得一个与Simons不等式类似的结果,该文将类似问题推广到局部对称空间中,得到了相关结论.     

论修正的Navier—Stokes方程的吸引子上有运动

就修正的Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程的可吸引任何有界集的吸引子μ证明了：ｉ）μ上的运动都是几乎周期的：ｉｉ）对α∈μ，〔γ（α）〕＝ω（α）是极小集。     

论修正的Navier-Stokes方程的吸引子上的运动(英文)

就修正的Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程的可吸引任何有界集的吸引子Ｍ证明了：ｉ）Ｍ上的运动都是几乎周期的；ｉ）对ａ∈Ｍ，〔γ（ａ）〕＝ω（ａ）是极小集．     

方程—Δu—μu／x^2＝u^2—1＋σf（x）极小正解的存在性

考虑了半线性椭圆型方程。这里，0∈Ω，ΩN是一个光滑有界区域，σ＞0是一个参数,μ＜μ－＝（N－2）^2／4，f(x)是L∞（Ω）中一个给定的函数，并且f(x)大于等于0，f(x)不等于0，利用隐函数定量及上下解方法，我们得到了一定条件下，方程极小正解的存在性。     

精确车削圆锥面方法的探讨与实践

数学三角函数原理,利用量表结合机床尾座套筒与三角形正弦原理调整小滑板法,对圆锥面的加工方法进行设计。