费尔马面积

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

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

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

INTEL8086／8088指令代码全集的生成与应用

给了出了一种程序生成指令代码，根据指令代码的长度，把ＩＮＴＥＬ８０８６／８０８８指令系统分为７类，为各类指令设置了识别码一分类号，建立了控制码表，并采用汇编语言编程，生成了ＩＮＴＥＬ８０８６／８０８８的指令代码全集。     

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

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

马氏链周期状态类的一个极限定理

本文把马氏链n步转移概率P~n_(ij)在n趋于无穷时的极限定理推广到i是滑过状态、j属于周期为d的返回类,并采用了新的证明方法。     

具广义单调Fourier系数函数的L′收敛和L′逼近

<正>~~     

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

本文在中介原则的观点下构造中介逻辑的谓词演算系统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     

{αn}≤{βn}对所有正整数n成立是否蕴涵{α}={β}?

运用连分数理论证明了下面两个结果:①如果α,β为正实数且α不为整数,对所有正整数n满足{αn}≤{βn},那么{α}={β};②如果,αβ为正有理数,对所有素数p有{αp}≤{βp},那么{α}={β}.同时提出两个问题:①是否对n2也成立?②是否对,αβ为正无理数也成立?     

F E Browder不动点定理及其在对策和经济理论中的应用

本文应用F E Browder不动点定理证明了两个新的定理,然后应用这两个新的结果,证明了对策论中的鞍点定理和抽象经济平衡的存在定理。     

关于Azumaya定理

本文证明了下述定理:若M为Le-分解模,则下述条件等价:(Ⅰ)M的每一极大直和项有唯一补;(Ⅱ)如K为M的任一非零直和项,则有B(?)A使K=(?)Mβ