预估-校正算法跟踪组合内点同伦路径

1.引 言 考虑下列凸数学规划（CNLP）问题 min f（x）,s.t.x ∈ Ω,（1.1）严格可行集合Ω0={x∈Rn:gi（x）<0,i=1,…,m}集合Ω表示Ω0的闭包,f（x）,gi（x）均为充分光滑函数.Ω的边界集合　Ω=Ω\Ω0,g=（g,…,gm）T,　x∈Ω,     

不等式研究成果集锦(17)

20 2　设 xi >0 ,i =1,2 ,… ,n,n≥ 2 ,∑ni= 1xi =1,记 Ek(x) =Ek(x1 ,x2 ,… ,xn) =∑1≤ i1 <… 0 )时 ,有Ek(1x1 - m,… ,1xn - m)≥ Ckn(n - m) k.(续铁权 .2 0 0 1,1)2 0 3　设 Ai >0 ,λk>0　 (i =1,2 ,… ,n;k = 1,2 ,… ,n) ,∑ni=1Ai ≤π,n∈ N.(1)若 0≤λ≤ 1,有C2n(1-λ21 λ2 ) 2 (λπ) 2 ≤ (n - 1 cosλπ) .∑nk= 1cos2 λAk - cosλπ(∑ni=1cosλAi) 2 ≤ C2n(λπ) 2 ,等号同时成立当且仅当λ=0 .(2 )若 0≤λ≤ 1,有4λ2 C2ncos2 λ2 π≤ (n - 1 cosλ…     

不定方程x4-y4=n整数解求法探讨

求方程 x4- y4=n　 ( n∈ N)的整数解 ,至今还没见到一般方法 ,本文将给出这类不定方程一种解法 .文中字母 P表示质数集 ,符号 ( a,b)( a、b∈ Z)表示不定方程　　 x4- y4=n　 ( n∈ N) ( 1 )的整数解 .定理 1　若 n∈ P,则方程 ( 1 )没有整数解 .证明　假定方程 ( 1 )有整数解 ( a,b) ,定有　 a2 b2 =n,　 a2 - b2 =1 ,∵　 a、b∈ Z,| a| >| b| ,只有　　　 (± 1 ) 2 - 0 2 =1 ,∴　 a =± 1 ,　 b =0 ,　 a2 b2 =1 ,与 a2 b2 =n是质数相矛盾 ,故方程 ( 1 )没有整数解 .由费马定理知 ,有定理 2　当 n =m4( n∈ N)时 ,则方程 ( 1…     

求解不可微箱约束变分不等式的下降算法

1 引 论 设X(?)Rn是非空闭集,F:Rn→Rn连续映射,变分不等式问题VI(X,F)是指:求x∈X,使 F(x)T(y-x)≥0,　 (?)y∈X,(1)记指标集N=(1,2,…,n},当 X=[a,b]≡{x∈Rn|a≤xi≤bi,i∈N},(2)其中a={a1,a2,…,an}T,b={b1,b2,…,bn}T∈Rn时,VI(X,F)化为箱约束变分不等式VI(a,b,F).若ai=0,bi=+∞,i∈N,即X=R+n≡{x∈Rn|x≥0}时,VI(a,b,F)化为非线性     

整数集上四连贯n次多项式的构造

连贯、m (m∈ N,m≥ 3)连贯的定义见[1]或 [2 ].约定 :本文中表示数的字母均表整数 .定理　当an-i =p1 q1 ki-1 (pq1 p1 q) ki pqki 1 ,(i=0 ,1,… ,n- 1,n∈ N,n≥ 2 ,k-1 =k0 =0 )kn =± 1,pq1 - p1 q =± 1,a0 =p1 (q1 kn-1 qkn)时 ,多项式 f (x) =∑n-1i=0an-ixn-i a0 在整数集 Z上连贯 ,且 f(x) j (j =0 ,1)分别有因式px p1 ,qx q1 .证明　这是因为由题设可证得 :f(x) =(px p1 ) ∑n-1i=0(q1 ki qki 1 ) xn-i-1 ,f(x) 1=(qx q1 ) ∑n-1i=0(p1 ki pki 1 ) xn-i-1 .在定理中可选 :(1) kn=1,q1 =rp1 1,p …     

基于拟法锥条件的非凸非线性规划问题的同伦内点法

1 引言 考虑如下的非线性规划问题: min f(x) (1) 8.t.gi(x)≤0,i=1,…,m,其中xR~n,我们总假定f,gi是二次连续可微的。 称Ω={xR~n|gi(x)≤0,i=1,…,m}为(1)的行域;Ω~0={xR~n|gi(x)<0,i=1,…,m}为(1)的严格可行域;Ω=Ω\Ω~0为Ω的边界。 此外,记     

数学竞赛之窗

本期给出 2 0 0 4年美国数学奥林匹克的试题与解答 ,由上海中学冯志刚老师与林运成同学提供 .第 33届美国数学奥林匹克(第一天　 2 0 0 4年 4月 2 7日 )1　设ABCD是一个有内切圆为凸四边形 ,它的每个内角和外角都不小于 6 0° .证明 :13|AB3 -AD3 |≤ |BC3 -CD3 |≤ 3|AB3 -AD3 | .等号何时成立 ?2　设a1,a2 ,… ,an 是整数 ,它们的最大公约数等于1.设S是具有下述性质的一个由整数组成的集合 :1)ai∈S ,i=1,2 ,… ,n ;2 )ai-aj∈S ,1≤i,j≤n (i,j可以相同 ) ;3)对任意整数x ,y∈S ,若x +y∈S ,则x -y∈S .证明 :S等于由所有整数…     

一类“数学问题”的统一证法

文[1]给出了不等式:已知x,y,z∈R+,m∈N+.求证:x/mx+y+z+y/x+my+z+z/x+y+mz≤3/m+2. 文[2]给出了不等式:已知xi＞0(i=1,2,…n),k＜1,求证: n∑i=1 xi/x1+x2+…+xi-1+kxi+xi+1+…+xn≥n/n+k-1. 文[3]给出了不等式:设ai＞0(i=1,2,3,…,n),p∈R,q＞0,且n∑i=1ai=A,Si=pai+q(A一ai)＞0(i=1,2,…,n),求证:     

解有约束总极值问题的弃舍方法和简约方法

1.提出问题 设f(x);g_1(x),…,g_m(x);l_1(x),…,l_r(＊)是n维欧氏空间R~n上的连续函数,试求总极小值 c=inf f(x),x∈G_u, (1)其中 G={x|g_i(x)≤0,i=1,…,m}, (2) L={x|l_j(x)=0,j=1,…,r}. (3)如果问题有解,则求总极值点集H.我们假设、存在实数a,使得水平集 H={x|f(x)≤a,x∈G_0}     

仿射共轭梯度路径信赖域方法解有界约束优化

1 引言本文研究含有界变量约束的非线性优化问题 min f(x),x∈Ω (1．1) 其中f:Rn→R是光滑的非线性函数,约束可行集Ω=def{x∈Rn|li≤xi≤ui,i= 1,…,n},可行内点集int(Ω)=def{x∈Rn|li     

改进的遗传模糊聚类算法

对基于遗传算法的FCM(模糊c^-均值法)聚类算法进行了改进,能更好地把遗传算法的全局搜索能力和FCM的局部搜索能力结合起来。实验结果表明,这种改进的算法在分类正确率和稳定性上优于[1]和[3]中的方法;收敛速度和对初值的敏感性都明显优于FCM。     

A combined branch-and-bound and genetic algorithm based approach for a flowshop scheduling problem

In this paper, we study the application of a meta-heuristic to a two-machine flowshop scheduling problem. The meta-heuristic uses a branch-and-bound procedure to generate some information, which in turn is used to guide a genetic algorithm's search for optimal and near-optimal solutions. The criteria considered are makespan and average job flowtime. The problem has applications in flowshop environments where management is interested in reducing turn-around and job idle times simultaneously. We develop the combined branch-and-bound and genetic algorithm based procedure and two modified versions of it. Their performance is compared with that of three algorithms: pure branch-and-bound, pure genetic algorithm, and a heuristic. The results indicate that the combined approach and its modified versions are better than either of the pure strategies as well as the heuristic algorithm.     

A Memetic Algorithm for Minimum-Cost Vertex-Biconnectivity Augmentation of Graphs

This paper considers the problem of augmenting a given graph by a cheapest possible set of additional edges in order to make the graph vertex-biconnected. A real-world instance of this problem is the enhancement of an already established computer network to become robust against single node failures. The presented memetic algorithm includes effective preprocessing of problem data and a fast local improvement strategy which is applied before a solution is included into the population. In this way, the memetic algorithm's population consists always of only feasible, locally optimal solution candidates. Empirical results on two sets of test instances indicate the superiority of the new approach over two previous heuristics and an earlier genetic algorithm.     

软件可靠性模型的Bayes推断及Gibbs算法

作为重要的软件可靠性模型,JM模型的研究具有重要意义.论文研究了JM模型Bayes估计及其Gibbs算法.在先验分布确定的情况下,给出了Bayes估计的Gibbs算法,并证明了其收敛性.最后通过模拟分析发现：在1≥100,k〉600时,所得到的参数Bayes估计与初始值几乎无关.从而说明Gibbs算法的可行性.     

An ellipsoid algorithm for nonlinear programming

We investigate an ellipsoid algorithm for nonlinear programming. After describing the basic steps of the algorithm, we discuss its computer implementation and present a method for measuring computational efficiency. The computational results obtained from experimenting with the algorithm are discussed and the algorithm's performance is compared with that of a widely used commercial code. This research was supported in part by The National Science Foundation, Grant No. MCS78-02096.     

军事物流系统中定位-运输路线安排模型及算法

考虑到战时物资需求的紧迫性和保障资源的有限性,从决策者的角度出发,以军事物流系统总体供应时间最短为目标,构建了两级军事配送网络的定位-运输路线安排模型,并给出一种启发式算法.算法分为两个阶段,首先利用蚁群算法和线性规划的方法解决运输路线安排问题,然后运用贪婪搜索算法解决军事物流配送中心选址问题.最终,将两种算法结合起来进行逐步搜索,从而得到模型的解,并运用实例说明了算法的有效性和可行性.     

连续化方法求解变分不等式问题

利用变分不等式问题的KKT条件,给出了连续化方法求解变分不等式问题的一般框架,该框架包含了现存的几种连续方法;并给出一种求解的基本算法,证明了基本算法的可行性及算法的收敛性;最后用数值试验验证了算法的稳定性和有效性。     

二次半定规划的增广拉格朗日算法

基于变换X=VV~T,本文将半定规划问题转换为非线性规划问题,提出了解决此问题的增广拉格朗日算法,并证明了算法的线性收敛性.在此算法中,每一次迭代计算的子问题利用最速下降搜索方向和满足wolf条件的线性搜索法求最优解.数值实验表明,此算法是行之有效的,且优于内点算法.     

改进Canny算法在钢印数字特征提取中的应用

边缘检测是实现图像分割、特征提取和图像理解的基础.研究了传统Canny算子的优势与不足.在此基础上,提出了一种快速分块自适应Canny算法.方法首先按字符大小分割图像,然后在每一块上进行自适应边缘检测.自适应边缘检测是在平滑图像的同时得到高斯滤波尺度参数,然后采用Otsu方法的自适应阈值计算Canny算子的高、低门限值.实验结果表明,方法不需人工设定参数就能自动提取不同光照背景下的钢印数字边缘,而且能有效抑制噪声,与传统Canny算子相比,边缘连接程度最佳,噪声敏感程度较低,实时性较强.