没有P S条件的山路引理

本文研究了没有Palais-Smale条件的山路引理．对于不满足Palais-Smale条件的泛函．得到了渐近临界点的存在性，推广了古典的山路引理．本文还提供了更弱条件下的山路引理的新的证明．     

推广的Chebyshev定理的一个证明

文中给出推广的Ｃｈｅｂｙｓｈｅｖ定理的一个证明，该证明基于Ｃｈｅｂｙｓｈｅｖ系的两个性质（引理１，引理２），而不涉及Ｋｏｌｏｍｏｇｏｒｏｖ定理．     

S~4内具有常数量曲率及常中曲率的超曲面

由于一个引理不真，文［１］中的一个主要定理实际上并没完全得到证明．本文采用不同的方法对该定理进行重新的证明．     

一类随机变量性态的研究

本文通过证明一个引理，对文［１］中一个概率问题给出更强的结论．     

关于Camina群的基本定理

设K是有限群G的一个非平凡正规子群，如果对于每个X∈G-，X与xy A∈K，那么，称G为以K为核的Camina群．A．R．Camina建立了关于Camina群的一个基本定理．作者给出了这个基本定理的一个初等证明，这个初等证明不但避免使用M．Suzuki的质幂元单群的分类定理，还同时改进了这个基本定理的结论．此外，所用的证明方法还为基本定理的原证明过程中的一个重要引理提供了一个很简洁的证明．最后，得到Camina群是Frobenius群的一个充分条件以及Camina群是以其换位子群为核的Frobenius群的一个充分条件．     

半群中一个猜测的证明

半群中一个猜测的证明郑恒武（曲阜师范大学数学系，２７３１６５，山东省曲阜市）文［２］中提出了一个猜测：完全正则半群是正则交半群。本文证明这个猜测是肯定的。文中的符号与术语同［３］。引理１￣［１，引理１．３．７］令Ｔ为完全正则半群Ｓ的正则子半群。则Ｔ为...     

二维复常系数线性微分系统的通解公式

先提出一个引理．同时证明这个引理．然后利用此引理并借助文《复系数复数方程的求根及复系数微分方程的通解公式》中的6个定理．具体给出了三类二维复常系数线性微分系统的通解公式．     

一个在导出正态分布过程中至关重要的分析引理的证明

本文给出了一个分析引理，并从理论上予以证明，最后用实例阐述了引理的应用。     

一个数论函数τsp（n）的均值

引入了一个新的数论函数，称其为简单除数函数，给出了两个引理，在这些的基础上运用初等方法研究了简单除数函数的均值性质．得到了一个渐近公式并给出了相应的证明．     

实变函数论中定理证明方法探究

本文首先提出了关于测度理论的一个引理，然后运用引理和新的方法给出了实变函数论中两个定理的证明，进而阐述这种证明改进的必要性。     

面向全生命周期的零件族层次特性建模方法

为了建立能够有效支持产品平台设计的零件族系统,本研究构建了一个描述零件族全生命周期特性的模型。首先采用面向对象的分析方法对零件族和零件实例的全生命周期信息进行分析,然后利用事物特性表技术对零件族的属性信息和组织结构进行描述,建立了层次性的零件族属性模型,最后提出了面向全生命周期的零件族层次特性模型,并通过实例对模型进行了验证。     

“右文说”概述

所谓“右文说”,就是白北宋王圣美明确提出的对形声字中声符的分析法。此前学术界一般认为,形声字声符的功能仅仅是标音,而示义的功能则白义符承担。王圣美则认为在形声字中,声符本身兼有表示一定的意义,并进而得出同声符之字意义相通。     

基于虚拟零件的自顶向下并行装配设计

通过对零件拓扑面建立编码 ,提出了虚拟零件和虚拟元素的概念 ,建立了虚拟零件模型 ;根据虚拟零件的特性构建了基于虚拟零件的装配模型 ,把约束信息附着在虚拟零件上 ,使得该模型可以很好地支持自顶向下设计和并行设计 .实践表明该模型是可行且有效的     

轴、齿轮类零件三维建模类库的构造

论述了在三维零件的设计中，通过对零件特征参数及相应数据结构的归纳与相应方法、函数的划分，提出了构造相应零件类，继而建立零件类库的设计思想。从最基本的公共特征父类再通过派生而得到具体的零件子类。既能提供常用零件的类，又能在常用零件类上加以扩充生成新的零件类。     

基于形位特征的机械零件加工位置识别

不同形状零件具有个性特征,为了对具体形状零件的准确定位进行进一步研究,首先通过霍夫变换提取给定零件轮廓中发直线和圆特征,进而利用峰值检测和K-means聚类分析方法准确识别有效的直线和圆特征;依次建立零件轮廓的绝对坐标系和零件标准位置模板坐标系;分别采用基于零件全特征和基于零件主要特征的方式提取零件轮廓的有效像素点,并通过模拟退火算法求解了不同迭代次数下采用这两种方式识别零件位置的速度和精度。为提高识别速度,建立基于零件几何特征的快速识别模型,即将目标函数简化为被测零件的圆心与标准位置模板圆心的最短距离和为最小,通过模拟退火算法进行求解。结果表明,零件的识别时间为0. 321 s,最低识别精度为98. 7%,可见该方法识别精度高,识别速度快。     

用二维拼装方法实现机械装配图CAD的技术策略

提出“三维问题二维解决”的新思路；用二维拼装的方法，方便迅速地实现机械零部件的装配。同时调用装配零部件的一组二维存贮的视图，并且在零部件图形库中通过赋给不同属性和分形分层处理等方法，为完成装配图中零部件标号与明细，消除零部件之间的遮挡及拆卸专用零部件图提供必要的数据。     

面向非回转体类零件制造单元研究

为了解决非转体类零件中一些零件加工复杂,生产效率低。经常需要使用专用的工夹量具。采用成组技术把非回转体类零件分类成组,通过建立零件族,设计出零件族的典型工艺,进而建立非回转体类零件的制造单元,在制作单元内完成零件的加工过程,这样有利于使用非回转体类零件的成组的工夹量具,能提高非回转体类零件的生产效率和加工质量。     

UG二次开发技术在企业标准件数据库建立中的应用

研究了三维企业标准件数据库建立中Windows2000平台上UG的二次开发关键技术．提出了一种新颖的基于UG的汽车焊装生产线企业标准件数据库系统，实现了企业标准件数据库系统中的数据库和图形库同步管理。     

锚杆锚固质量动测法底端反射显现规律研究

根据锚固体系的锚杆动力学及应力波运动学理论，运用应力波反射法，通过分段截取，在自制的模拟试件上进行了大量实验研究，得出了锚杆底端反射的显现与锚杆自由段长度、锚固段长度、波长之间的定量关系：对于水泥锚杆，当自由段长度等于2．5倍波长，或2．87倍锚固段长度，对于树脂锚杆，当自由段长度等于2．5倍波长，或5．882倍锚固段长度时，底端反射消失，并给出了在工程实践中彻底解决锚杆锚固质量动态检测底端反射问题的方法和途径。     

零均值随机变幅载荷作用下零件疲劳可靠度尺寸的计算方法

本文根据现有的疲劳理论,提出了进行零均值随机变幅载荷作用下零件疲劳可靠度尺寸的计算方法。这个计算方法同时也适用于零均值随机变幅应力下,零件给定可靠度时的寿命计算及给定工作寿命时的可靠度计算。计算过程简单,适合于工程应用。