数学规划中的初等矩阵方法

§1.引言我们知道x≥0是线性不等式组Ax≥0的解的充要条件是x=K(A)w,w≥0.其中K(A)称为矩阵A的初等矩阵.人们把这一手段应用于线性规划的降阶上,将齐次线性不等式约束去掉.我们把初等矩阵方法的应用加以拓广,使之成为解线性规划普遍有效的方法.还用之于解线性不等式、多目标线性规划、非线性规划等.只要稍加安排,初等矩阵方法的存贮量和运算量都不大,实用中发现这一方法是很有效的.     

简单补偿随机线性规划的对偶并行算法

一、引言随机线性规划中,具有简单补偿的二阶段问题是(?){c~Tx E(?)q~Ty|Wy=b(ω)-AX,y≥0}(A)其中 c 是 n 维常向量,q=(q~ /q~-)是2m 维常向量,且(?)=q~ q~-≥0,A 是 m×n 常矩阵,W=((?),I),I 是 m×m 单位矩阵,b(ω)=(b_1(ω),…,b_m(ω))~T 是 m 维随机向量,它的边沿分布函数为 F_b(τ)=(F_1(τ_1),…,F(τ_n))~T,E 表示求随机变量的数学期望,X(?)R~n 是凸多面体集.可以证明,问题(A)与下列问题等价     

求解整数规划代理对偶的一个新方法

考虑如下的整数线性规划问题: (P)min Cx, s.tAx≥b, x≥0,且为整数向量,其中c,b是具有适当维数的行向量或列向量,A是已知的矩阵,c的分量均为正数,且假定(P)是可行的,x是n维变量。 用V(·)表示优化问题(·)的最优值。如果对x放弃整数限制要求,问题(P)的线     

非线性规划的一个可行方向方法

<正> 本文的目的是给出非线性规划问题(P) min(?) f(x),R={x|Ax=b,x≥0}的一个具收敛性的算法.其中,f(x)∈C′,A 是 m×n 阶矩阵(m相似文献   

线性规划的最钝角CRISS-CROSS算法

1 引言 考虑如下标准线性规划问题 minimize c~Tx (1) subject to Ax=b, x≥0 其中A∈R~(m×n) (m相似文献   

求解一类广义线性规划的分裂算法

1　引　　言我们知道,描述常义线性规划问题的数学模型为:mincTxs.tAx=bx≥0　　在经济问题中,线性规划中的向量c往往表示为价格,而在许多实际规划问题中价格向量c往往会在一定范围内扰动.这时,我们可以考虑这样一类广义线性规划问题:minx{maxy∈YyTx}s.tAx=b　x∈X(1)其中,A∈Rm×n,b∈Rm,X={x∈Rn|x≥0},Y是Rn中的一个凸闭子集.有关广义线性规划问题的求解,何在文献[1]中作过一些讨论.我们通过对线性约束Ax=b引入乘子可得到广义线性规划问题(1)定义在X×Y×Rm上的Lagrange函数为:L(x,y,η)=yTx-ηT(Ax-b)(2)　　如果x*是(1)式的…     

三角函数周期的探讨

有高中“三角函数”这一章中,我们知道y =Asin(ωx + φ) (x∈R ,Aω≠0 ,A ,ω,φ为常数)与y =Acos(ωx + φ) (x∈R ,Aω≠0 ,A ,ω,φ为常数)及y =Asin2 (ωx + φ) (x∈R ,Aω≠0 ,A ,ω,φ为常数)与y =Acos2 (ωx +φ) (x∈R ,A·ω≠0 ,A ,ω,φ为常数)这些三角函数的周期.那么,三角函数y =Asinn(ωx+ φ)与y =Acosn(ωx + φ) (A·ω≠0 ,A ,ω,φ为常数x∈R)的周期又是怎样的呢?定理1　1 )函数y =sinnx (x∈R) .当n为偶数时的周期为kπ,(k∈Z ,k≠0 ) ,最小正周期为π;当n为奇数时,周期为2kπ(k∈Z ,k≠0 ) ,最小正周期为…     

2006年高考数学安徽卷

一、选择题:共12小题,每小题5分,共60分.1.复数1+3i3-i等于A.i B.-i C.3+i D.3-i2.设集合A={x||x-2|≤2,x∈R},B={y|y=-x2,-1≤x≤2},则R(A∩B)等于A.RB.{x|x∈R,x≠0}C.{0}D.3.若抛物线y2=2px的焦点与椭圆x62+y22=1的右焦点重合,则p的值为A.-2B.2C.-4D.44.设a,b∈R,已知命题p∶a=b;命题q∶(a2+b)2≤a22+b2,则p是q成立的A.必要不充分条件B.充分不必要条件C.充分必要条件D.既不充分也不必要条件5.函数y=2x,x≥0,-x2,x<0的反函数是A.y=x2,x≥0-x,x<0B.2x,x≥0-x,x<0C.y=x2,x≥0--x,x<0D.2x,x≥0--x,x<0第(6)题图6.将函数y=sinωx(…     

一个新的线性规划多项式算法——Karmarkar 方法

<正> 最近,《纽约时报》和《时代》周刊等许多报刊均以醒目的标题详细地报道了美国贝尔实验室28岁的印度数学家 N.Karmarkar 在线性规划理论方面取得重大突破的消息.所谓线性规划问题,就是在一组线性不等式的约束下求一个线性目标函数的极值问题.其数学模型的一般形式可表示为min c~Tx,x∈P,其中 P-{x∈R~n|Ax≤b,x≥0},c 和 b 分别是 n 维和 m 维实向量,A 是 m×n 实矩阵.就是这样一个简单的问题,其应用广泛性简直令人惊讶.据国外有人统计,它占用了世界上计算机的大部分时间.     

马氏链的离散分布(Ⅱ)

设X(ω)={x(t,ω), t≥0}是定义在完备概率空间(Ω,,p)上的马氏链。其状态空间1={0,1,2,…}。如不作特别声明都假定X(ω)具有标准转移矩阵,完全可分,Borel可测,状态稳定。令     

多品种容量运输问题的位势法

运输问题有很广泛的应用,其解法也很多.做为多品种物资容量运输问题,尽管在现实中有极为广泛的应用,但对其算法讨论的却很少.从计算数学角度来看,用线性规划分解原则来处理它,明显是不适宜的;用图论方法解它,也有困难.为此,我们把位势法推广到多品种物资容量运输问题上,并相应地做了必要的理论讨论.     

On the Modular Figure and Ford-Spheres

In §1 we study Figure 1 for variable h. In §2 and §3 this is combined with Ford-circles (Figure 2) and the choice h = 0 (Figure 3). In §4 a limit is evaluated. In §5 we treat Figure 5 (“Ford-circles inside the unit-circle”) and a technical application. In §6 contains various modular figures (Figures 7, 8, 9). §7 treats synchronous rotation of Figure 1 and Eoing from R² to R³; the rotating upper half-plane of C corresponds then to the unit-sphere. In §8 a sphere-packing on C is introduced. Finally in §9 a sphere-packing inside the unit-sphere arises.     

有限元结构分析在MIMD计算机上的并行直接解法

§1.前言 并行计算是近十几年来随着并行计算机发展而发展起来的一门新兴学科,特别是对于多指令流多数据流(MIMD)的并行计算机,由于它是由多台普通计算机甚至是向量计算机相互以一定方式联结起来的新型计算机系统,因此无论是它的运算速度或存贮空     

关于“K类”准线性双曲型守恒律组整体解的研究

<正> 关于准线性双曲型守恒律组整体解的研究,其意义是许多人所熟知的.Diperna R.J.在文[1]中,利用Glimm J.格式证明了“K类”守恒律组之具有界变差初值的初值问题存在整体广义解.关于研究这类方程的意义,该文已经说明. 我们知道,对于方程式的情形,曾经用多种方法研究存在性问题,这不是为了改善证明方法,而是不同方法各自有不同实际意义.但是,迄今对于方程组,用Glimm J.格式几乎成了唯一的方法,其他只有对初值用阶梯函数逼近的方法有一些结果.     

States of total pure radiation in general relativity

Summary In this paper we investigate and exhibit space-times which admit states of pure radiation in the sense of Lichnerowicz. In § 1 the notion of special total pure radiation is introduced, and in § 2 we derive the canonical line element for this type of radiation. An additional type of spacetime admitting radiation is considered in § 3. A class of singular integrable electromagnetic fields for the space-times of § 2 are constructed in § 4. The final section is concerned with the radiation condition proposed by Zakharov. Work supported by National Science Foundation Grants GP 6876 and GP 7401.     

On the Automorphism Group of a Free Pro-l Meta-abelian Group and an Application to Galois Representations

In § l of this article, we study group-theoretical properties of some automorphism group Ψ^* of the meta-abelian quotient § of a free pro-l group § of rank two, and show that the conjugacy class of some element of order two of Ψ^* is not determined by the action induced on the abelian quotient § of § in the case of § = 2. In § 2 we apply the results to the outer Galois representation § attached to the curve C deleted one point from an elliptic curve E, and give an example that §_c does not factor through the l-adic representation attached to E.     

A new trigonometric method of summation and its application to the degree of approximation

The object of the present investigation is to introduce a new trigonometric method of summation which is both regular and Fourier effective and determine its status with reference to other methods of summation (see §2-§4) and also give an application of this method to determine the degree of approximation in a new Banach space of functions conceived as a generalized Holder metric (see §5).     

Operatori pseudo-differenziali inR n e applicazioni

Summary In §1 we study a class of pseudo-differential operators inR ⁿ. In §3 the results obtained in §§1, 2 are applied to study of an elliptic boundary value problem in the exterior of a bounded domain ofR ⁿ for differential operators whose coefficients have a polynomial growth to infinity. Entrata in Redazione il 23 marzo 1972.     

Modal Meinongianism for Fictional Objects

Drawing on different suggestions from the literature, we outline a unified metaphysical framework, labeled as Modal Meinongian Metaphysics (MMM), combining Meinongian themes with a non-standard modal ontology. The MMM approach is based on (1) a comprehension principle (CP) for objects in unrestricted, but qualified form, and (2) the employment of an ontology of impossible worlds, besides possible ones. In §§1–2, we introduce the classical Meinongian metaphysics and consider two famous Russellian criticisms, namely (a) the charge of inconsistency and (b) the claim that naïve Meinongianism allows one to prove that anything exists. In §3, we have impossible worlds enter the stage and provide independent justification for their use. In §4, we introduce our revised comprehension principle: our CP has no restriction on the (sets of) properties that can characterize objects, but parameterizes them to worlds, therefore having modality explicitly built into it. In §5, we propose an application of the MMM apparatus to fictional objects and defend the naturalness of our treatment against alternative approaches. Finally, in §6, we consider David Lewis’ notorious objection to impossibilia, and provide a reply to it by resorting to an ersatz account of worlds.     

平面图的理论与四色问题(Ⅰ)——平面性与对偶性

四色问题是与数论中的Fermat猜想,函数论中的Riemann假设相提并论的数学难题。1976年,K.I.Appel和W.Haken在美国数学会的通报上声明借助电子计算机解决了这个问题。他们的基本方法是在所有平面图的可约构形中找出一个不可免的完备集。占用计算时间1200多个小时。这样的工作量是人工难以胜任的。另一方面,E.F.Mcore却发现了一个平面图,其任何一个可约构形的外圈长均至少为12。由此观之,这种方法不大可能作出本质上的简化以致达到人工通常所能胜任的地步。然而,如何只通过数学上的逻辑推理证明四色定理,仍是一个重要的理论课题。