一种求解合取范式可满足性问题的数学物理方法

给出合取范式与带电质点在某类静电场中势函数的一一对应关系,证明判断一个合取范式是否可满足等价于判断一个带电质点在相应的静电场中是否有使其势函数为零的位置,由于带电质点在静电场中总是沿使其势能下降最快的方向,也就是沿其势函数梯度指引的方向运动,并最终达到势能最低的位置。因此,对一个客观上可满足的合取范式所对应的势函数,使用梯度算法是求使该合取范式成真的赋值的高效算法。     

任意凸多面体上布点均匀性的度量

均匀性度量是构作均匀设计的基础,本文从距离概念出发,通过对称的方法,得到一种新的距离函数-势函数,并将势函数作为衡量任意凸多面体上布点均匀性好坏的准则.数值例子和多变量Kendall 协和系数检验表明,当试验区域限制在单位立方体上时,势函数与目前常用的两种偏差-中心化L_2-偏差和可卷L_2.偏差在度量布点均匀性方面结论一致.     

He-H2碰撞振动和转动激发截面的理论计算

本文对He-H₂体系构造了Tang-Toennies势,给出了A,b,C_2n随r变化的表达式,得到的色散系数C₆,C₈,C₁₀与公认比较准确的Meyer等计算结果符合得很好,也与Tang和Toennies计算结果符合得很好,从而使作者计算的He-H₂势函数,当r和R变化时,在大范围内均与比较准确的Meyer计算结果相符.利用我们构造的势函数计算了He-H₂碰撞的44种不同的振动-转动激发截面,并研究了原子-分子碰撞弹性分波截面和非弹性碰撞激发分波截面随量子数增加的变化规律.     

冲突分析的一种改进方法

本文分析了冲突分析所存在的问题并提出了解决方法，为此引入了势函数．用势函数代替偏好值进行冲突分析，所得结论更合理更精确．     

奇型Sturm-Liouville算子的半逆问题

奇型Sturm-Liouville问题的势函数q(x)由两组谱唯一确定的,Sturm-Liouville算子的半逆问题讨论由一组谱和一半势函数唯一确定势函数q(x).本文利用Koyunbakan和Panakhov的方法,证明一组谱和(π/2,π)上的势函数q(x)唯一确定(0,π)上Sturm-Liouville方程含有奇型的1sin2x的势函数q(x).     

蛋白质空间结构预测的一种优化模型及算法

用理论方法预测蛋白质结构有两个难点,第一是要有一个合理的势函数,第二是要有一个有效的寻优方法找到势函数的全局极小点,本文采用联合残基力场建立了蛋白质空间结构预测模型,然后用我们给出的一种改进模拟退火算法搜索势函数的全局极小点,对脑啡肽的空间结构进行了预测和分析。     

Sturm-Liouville问题的特征值对势函数的依赖性

研究了定义在[0,1]上的Sturm-Liouville问题的特征值对势函数的连续依赖性.应用比较定理和定义区间单调性证明了:当部分区间[x0,1]上的势函数趋于无穷大时,[0,1]区间上的特征值渐进趋近于[0,x0]区间上的某个特征值.推广了一些作者对Sturm-Liouville问题研究的相应结果,并为其相应问题的研究提供了一个新的视角.     

横观各向同性电磁弹性固体耦合方程的一般解

横观各向同性电磁弹性固体的耦合特征由5个关于弹性位移、电位和磁位的二阶偏微分方程控制.基于势函数理论,耦合的方程组被简化为5个非耦合的关于势函数的广义Laplace方程.弹性场和电磁场由势函数表示,这构成了横观各向同性电磁弹性固体的一般解.     

压电材料Ⅰ型裂纹动态问题的对偶方程组及其求解

首先引入势函数,用势函数表示压电材料的基本微分方程,并采用Laplace变换、半无限对称Fourier正弦变换和Fourier余弦变换,对微分方程进行变换和初步求解;然后通过Fourier反演和引入边界条件,建立了二维压电材料动态裂纹问题的对偶方程组; 再根据Bessel函数性质, 利用Abel型积分方程及其反演,将对偶方程组化为第二类Fredholm积分方程组．结果表明,方法是可行的,可以成为研究此类问题的一种有效方法．     

卡门涡街的去奇异化

卡门涡街是二维不可压缩欧拉方程的一种周期行波解,该文利用涡方法研究卡门涡街的存在性.该文利用变分方法构造一族卡门涡街型的涡补丁解,并对该族解的渐近行为进行了分析.在涡强参数趋向正无穷时,该族解构成了涡街型点涡对的一个去奇异化.     

常系数投资消费模型的一些优化性质

本文在有效易费的常系数投资消费模型下，讨论了折算函数和价值函数的一些基本性质，即给出了价值函数的凹性、连续性、正则性和变分不等式的粘性上解以及粘性解存在性等结果。     

Gap functions for constrained vector variational inequalities with applications

In this paper, the image space analysis is applied to investigate scalar-valued gap functions and their applications for a (parametric)-constrained vector variational inequality. Firstly, using a non-linear regular weak separation function in image space, a gap function of a constrained vector variational inequality is obtained without any assumptions. Then, as an application of the gap function, two error bounds for the constrained vector variational inequality are derived by means of the gap function under some mild assumptions. Further, a parametric gap function of a parametric constrained vector variational inequality is presented. As an application of the parametric gap function, a sufficient condition for the continuity of the solution map of the parametric constrained vector variational inequality is established within the continuity and strict convexity of the parametric gap function. These assumptions do not include any information on the solution set of the parametric constrained vector variational inequality.     

Theoretical and numerical investigation of the D-gap function for box constrained variational inequalities

The D-gap function, recently introduced by Peng and further studied by Yamashita et al., allows a smooth unconstrained minimization reformulation of the general variational inequality problem. This paper is concerned with the D-gap function for variational inequality problems over a box or, equivalently, mixed complementarity problems. The purpose of this paper is twofold. First we investigate theoretical properties in depth of the D-gap function, such as the optimality of stationary points, bounded level sets, global error bounds and generalized Hessians. Next we present a nonsmooth Gauss-Newton type algorithm for minimizing the D-gap function, and report extensive numerical results for the whole set of problems in the MCPLIB test problem collection. The work of this author was supported in part by the Scientific Research Grant-in-Aid from the Ministry of Education, Science, Sports and Culture, Japan.     

线弹性微孔材料广义变分原理的构造函数理论

本文应用构造函数理论得到线弹性微孔材料的广义变分原理,得到构造函数与广义变分原理之间的对应关系.     

基于改进集的集值Ekeland变分原理

Ekeland变分原理在最优化理论及应用研究中具有十分重要的作用.利用非线性标量化函数及相应的非凸分离定理建立了基于改进集的集值Ekeland变分原理.新的Ekeland变分原理包含了一些经典的Ekeland变分原理作为其特例.     

基于变分等值线方法的图像分割技术

使用level set,函数来隐式地追踪目标图像,给出了level set函数的变分模型和相应的 Euler-Lagrange方程．在保证level set函数的等值线在目标图像附近的运动速度渐趋于零的前提下,改进了原来的Euler-Lagrange疗程,加快迭代速度．可灵活地调节模型参数以满足不同的分割要求．文中算例说明本模型的有效性、灵活性．     

混合向量变分不等式标量化及间隙函数误差界

利用Konnov对变分不等式问题的标量化方法,对一般的强变分不等式（SVI）和弱变分不等式（WVI）进行了进一步的推广.主要介绍了基于集值映射的强广义混合向量变分不等式（SGMVVI）和弱广义混合向量变分不等式（WGMVVI）,考虑了与它们相关的间隙函数,在合适的条件下讨论了强广义混合集值变分不等式（SGMVI）的间隙函数和SGMVVI的间隙函数之间的关系,以及WGMVVI和SGMVI的间隙函数之间的关系,最后讨论了它们的间隙函数的全局误差界.     

Super Efficiency of Multicriterion Network Equilibrium Model and Vector Variational Inequality

The super efficiency of a vector variational inequality is considered in this paper. We show that for both the single and multiple criteria cases, a network equilibrium model can be recast as super efficient solutions to a kind of variational inequality. For the network equilibrium model with a vector-valued cost function, we derive the necessary and sufficient condition in terms of the super efficiency of a vector variational inequality by using the Gerstewitz’s function without any convex assumptions.     

一个光滑化函数的两个性质

本文考虑文[6]中提出的光滑化函数,证明了：该光滑化函数拥有两个在求解变分不等式和互补问题的非内部连续化算法的全局线性和局部超线性（或二次）收敛性分析中非常有用的两个性质。     

Gap functions and global error bounds for differential variational–hemivariational inequalities

This paper concerns with the study of a differential variational–hemivariational inequality (DVHVI, for short) in infinite-dimensional Banach spaces. We first introduce the new concept of gap functions for the variational control system of (DVHVI). Then, we consider two kinds of gap functions which are regularized gap function and Moreau–Yosida regularized gap function, respectively, and examine the relevant properties of the gap functions. Moreover, two global error bounds which depend implicitly on the regularized gap function and the Moreau–Yosida regularized gap function, accordingly, are obtained. Finally, in order to illustrate the applicability of the theoretical results, we investigate a coupled dynamic system which is formulated by a nonlinear reaction–diffusion equation described by a time-dependent nonsmooth semipermeability problem.