固体模型化系统ESM的设计与实现

本文描述了固体模型化系统ESM的设计与实现,讨论了边界表示模型和Euler操作的功能及几何、拓扑性质,给出具体实现的手段,ESM系统采用本人设计的一种较新颖的数据结构,使系统定义固体方式的算法更加简捷方便,在ESM系统中,设计人员可以有二种定义固体方式、一种是基于Euler操作的方式,它利用Eulen操作去定义二维图案然后经过Sweeping操作生成复杂的三维物体,再辅助于GIUE和SPLITE操作。其次的定义方式是采用基本图无去定义复杂的三维物体,通过加,减成操作进行拼合,该系统是在微型计算机Victor—900上实现的,它对于我国目前大量存在低档计算有着重要意义。     

求最短子排列序及长度的一个图论方法

本文推广了DeBruijn图,用图论方法讨论了最短子排列序列,其结果可应用于编码、通迅、计算机存储等领域。     

费尔马大定理介绍

去年夏季费尔马大定理证明的宣布是使整个数学界都感到振奋的大事。本文将讲述费尔马大定理(通篇文章均简记为FLT)的数学史。我们把它分为三个阶段: 1、从刁番图到欧拉(公元250—1783); 2、从欧拉到Frcy(公元1783—1982); 3、从Frcy到Wiles(公元1982一1993)。 我们仅仅是给出费尔马大定理故事的介绍,并且我们的讲述是粗略的。文中大多数专     

两类积分型泛函极值问题的充分条件

在积分型泛函极值的必要条件———欧拉方程与勒让德条件的基础上 ,给出并证明文中的定理 1、定理 2 ,从理论上进一步完善了泛函极值问题     

对Hunk与Yorke猜想的证明

本文对Ｂ．Ｒ．Ｈｕｎｔ与Ｊ．Ａ．Ｙｏｒｋｅ的猜想给出一个证明，并用一个反例说明燕居让所给出的证明是不成立的。     

关于递推团图直径的PRS-猜想

本文证明了存在一个图G 使得它的直径与其n-次团图K~n(G)的直径满足关系。diamK~n(G)=diamG n其中n≥1为整数,这就是所谓PRS-猜想。     

一种高效节能螺旋装置

该文针对传统螺旋装置主要依据涡旋强度与轴旋转速度之间的函数关系而设计的缺陷,提出了一种新型高效节能螺旋装置的设计方案,着重分析了叶片(轮)的轴向安装角度对装置性能的影响,并给出了一般性结论。     

有关A’da’m猜想的定理

根据循环图的性质，得出了Ｃ＿ｎ＜ｊ＿１，ｊ＿２，…，ｊ＿ｒ＞与Ｃ＿ｎ＜ｊ＿１，ｊ＿２，…，ｊ＿ｒ＞同构的充要条件及Ａ’ｄａ’ｍ猜想对２ｒ度循环图成立的充要条件。