费尔马面积

本文由费尔马大定理,创建费尔马面积,并取得重要结果,从而可使费尔马大定理获得有用的转化.     

关于多参数局部分歧的一个问题

引进Ｌ０－Ｌ本征值的新概念，讨论了更加一般的非线性方程的分歧问题，并得到有关结果。     

GLOBAL CONVERGENCE OF UNCONSTRAINED MINIMIZATION METHODS WITH A GENERALIZED BACKTRACKING LINESEARCH PROCEDURE

ＧＬＯＢＡＬＣＯＮＶＥＲＧＥＮＣＥＯＦＵＮＣＯＮＳＴＲＡＩＮＥＤＭＩＮＩＭＩＺＡＴＩＯＮＭＥＴＨＯＤＳＷＩＴＨＡＧＥＮＥＲＡＬＩＺＥＤＢＡＣＫＴＲＡＣＫＩＮＧＬＩＮＥＳＥＡＲＣＨＰＲＯＣＥＤＵＲＥＬＩＵＧｕａｎｇｈｕｉ；ＨＡＮＪｉｙｅ（Ｉｎｓｔｉｔｕ...     

一个几何布局问题的F—算法

考虑一个实际的几何布局问题．平面上ｎ个大小不一、位置可以自由移动的圆，在互不重叠（边界可以相切）条件下，求出包络它们的最小圆，确定这些圆的相对位置．用Ｆｌｏｕｄａｓ提出的算法，经过有限次选代寻求问题的ε－最优解，我们还要讨论Ｆ－算法的计算复杂性．     

汽轮机特殊结构轴承稳态性能分析和试验研究

本文对一种引进的特殊结构轴承进行了稳态性能研究。首先,建立了该轴承的数学模型,这一模型计及了偏心油楔油槽、瓦块惯性、轴颈轴向偏斜及紊流的影响;其次,采用二阶有限单元,求解了稳态数学模型并根据相似原理进行模拟试验,获得了稳态性能的计算和试验数据。     

外场对双模化学振荡反应的影响

本文利用微扰理论对有外场作用时,存在奇波模和偶波模相互作用的化学振荡(波)体系的次级分支行为进行了初步的探讨,所得结论与有关实验结果基本相符。     

中介逻辑的谓词演算系统(Ⅰ)

本文在中介原则的观点下构造中介逻辑的谓词演算系统MF,我们首先给出它的符号系统、形成规则和推理规则,又作为MF的初步展开而给出它的若干个形式推理关系,其中包括的一个重要定理,那就是MF中的替换定理。M F 形式符号:(一)逻样词s(二)个体词,a,b,c ,a; ,b;,c;< z = 1。2,…;(三)谓词F,G,rH,(i二1,2…),(四)约束变元X,L,Xr,Zt Yf, 了五)技术符MF的形成规贝.:(i) F'(a,...a})是合式公式;(ii)如果J是合式公式,则一工和X是合式公式,(iii)如果X和Y是合式公式,则〔X-> Y〕是合式公式;(iv)如果X(a>是合式公式。在其中出现,X不在其中出现,则和ExX }x}是合式公式。至于FM的形式推理规则,乃在接受M的全部推理规之外,另加如下六条(a).其中a不在r中出现,则r卜}TxA }x} ; ( 3 _)若A(a) - B,其中。不在B中出现,则3 xAB; ( 3 +)A(a) }-其中A }x}是由A(a)把其中a的某些出现替换为x而得; 定理4(替换定理)如果AI-I B,而f(P)为MF中之任一今式公式,则有fcA>I=If(B)>o     

多用途薄壁杆最轻重量优化设计

本文在给定抗弯、抗扭刚度约束下,对具有定周长、等壁厚的多用途薄壁杆进行最轻重量优化设计。优化采用求总极值的统计试验法,求得了各刚度比所对应的优化截面中心线方程及最小厚度值。与常用的圆形截面薄壁杆相比,优化结果显示了较明显的减轻杆件自重的效果。     

含弱阻尼和源项的非线性波方程的初边值问题

研究了含弱阻尼和源项的非线性波方程初边值问题．利用势阱理论和凹方法，证明当初始能量E（0）满足0〈E（O）〈d时（其中d为势阱深度）整体解的不存在性．