达布定理的推广与柯西中值定理的一个新证明

本文推广了达布定理,並用它给出了柯西中值定理的一个新证明。     

微分中值定理与Newton-Leibniz公式的关系及证明

用Newton-Leibniz公式证明了广义微分中值定理，并且证明了所有的微分中值定理与Newton-Leibniz公式在一定条件下可以相互证明。     

变上限定积分的应用

本文应用变上限定积分的基本性质,给出了定积分中值定理的新证明,並改进了有关结果,还指出了积分中值定理与微分中值定理、积分第一中值定理与积分第二中值定理之间的联系。最后还通过几个实例,给出了一个化有字母限的积分问题为微分学问题的有效方法。     

一种信道编码定理证明的改进

文章指出信息论的最重要定理——信道编码定理的译码函数可能是多值的,这不符合实际译码情形,且它直接导致证明中不得不定义两类误差概率,证明因此变得冗长而复杂。本文通过改进阈值译码解决了这一问题,使译码变得简明。     

概率方法在不等式证明中的应用

本文利用概率论的性质，定理以及由性质，定理推导出的有关结论证明了一些不等式，阐述了概率方法在不等式证明中的应用，显示不概率应用巧妙性和优越性。     

关于Caristi不动点定理的一点注记

本文利用半序方法给出了一个新的Caristi型不动点定理，与原有结果不同的是：在我们的定理中，不动点可以用迭代方法求出。     

椭圆外切2n+1边形中切顶线三角形有向面积的定值定理及其应用

本文给出椭圆外切2n 1边形中一类切顶线三角形有向面积的一个定值定理及其若干推论，其中包括射影几何中著名的Brisanchon定理在椭圆外切三角形中的情形。     

圆外切五边形中有向面积的定值定理及其应用

本文给出圆外切五边形中有向面积的几个定值定理，并据此推出圆外切五边形中的一些共点性结论，其中包括射影几何中著名的Brianchon定理在圆外切五边形中的情形。     

关于切顶线三角形有向面积的定值定理及其应用

本文给出切顶线三角形（有向）面积的一些定值定理，并据此推出切顶线共点（其中包括射影几何中著名的Brianchon定理在圆外切三角形中的情形）的结论。     

区间模糊集理论及其运算法则(英文)

在区间模糊集概念及其性质的基础上,针对区间模糊集的3个理论尚未得到有效证明的现状,首先对区间模糊集的知识表示及其运算法则进行了研究,然后提出了基于区间模糊集的截集概念。并在此基础之上进一步研究了基于区间模糊集的分解定理、表现定理和扩展定理,并通过实例说明了传统模糊集是区间模糊集的一个特例,区间模糊集是传统模糊集的有效扩展。     

在线三维几何量测量软件研究

介绍了最近研制成功的依维柯汽车底盘潢梁在三维几何量微电脑测量系统的测量原理和测量软件。该系统采用相对测量原理建立三维测量坐标系，通过系统误差软补偿提高测量系统精度。并根据优化原理提出了三坐标测量中一种新的几何量误差计算方法，该方法通过模拟被测件装配过程，对相关几何量误差进行最优计算，使测量误检率大大降低，保证了在实际测量中最大程度地通过合格件。     

非正交曲线坐标湍流族流的数值模拟

对锥形燃烧室的冷态流场进行了数值模拟，采用Ｔｈｏｍｐｓｏｎ的非正交贴你坐标系统，用坐标变换的方法处理锥形燃烧室曲线壁面边界，用ＳＩＭＰＬＥ算法求解连续方程和Ｎ－Ｓ方程。亲流模型采用工程上常用的ｋ－ε模型。还运用贴体坐标系统数值研究了不同旋流数和不同进口紊流动能对湍流旋流流动的影响，并与实验结果相比较获得较满意的结果，对新型燃烧室的设计提供了理论依据。     

基于CAD/CAM技术的加工中心误差分析与控制

基于机器人运动学原理,利用齐次坐标变换理论以一台立式加工中心为研究对象,建立了包含21项误差的数控机床误差模型.同时以CAD/CAM技术为平台建立加工中心误差工艺数据库,再通过工艺决策及程序实现对加工中心误差的识别及自动调整等,从而控制加工工件误差、提高产品质量.所建立的误差模型及分析方法可推广应用到其它多轴数控机床及相关领域.     

利用推广卡尔曼滤波实现纯方位目标跟踪

本文讨论在修正极坐标下利用推广卡尔曼滤波实现纯方位目标跟踪的具体方法。通过采用协方差平方根滤波与变系数衰减记忆滤波,克服了跟踪过程中的计算发散和滤波发散,获得了比较满意的稳定和渐近无偏的估计结果,并利用Z80-CPU配接适当的外部设备实现了实时的跟踪处理。此外,还对纯方位目标跟踪的一些性质进行了分析。     

多项式系统几何性质的注记

证明：在研究多项式系统的几何性质时，多项式系统应当定义成射影空间中奇点集之余维数至少为2的线场。在这个定义中，多项式系统的次数与通常的次数，在概念上不同相同，通常的n 1次退化系统属于这里的n次系统。值得注意的是，本给出的定义与坐标系的选取无关，在这种定义下，多项式系统的某些几何性质变得非常明显。     

高架运输索道的静力分析

根据柔索应变与位移的非线性几何关系以及自重作用与温度影响下的平衡方程,采用欧拉描述的坐标系统精确地求得了各点的位移和张力的一般解。由高架运输索道静力问题建立的非线性代数方程组应用改进的Powell混合算法编制的高精度DNEQNF程序直接进行求解。在例题中计算了索道在两端各种高度、跨度以及温度不同的情形并进行了分析。用本文的方法对高度相同的索道问题与其他学者用不同方法得到的结果进行了对比和讨论。     

柔索的非线性变形分析

根据柔索应变与位移非线性几何关系以及自重作用与温度影响下的平衡方程,采用欧拉坐标系统精确地求得了各点位移和张力的一般解.由柔索的非线性变形问题建立的非线性代数方程组应用改进Powell混合算法编制的高精度DNEQNF程序直接进行求解.算例中对柔索两端点在同一水平线上承受自重或集中力两种情形进行了计算,并与其他学者用不同...     

刚架模型驱动网格曲面保特征变形

将刚架结构受力变形原理应用于网格曲面的变形设计中,提出一种新的曲面造型方法。通过建立与网格拓扑关系一致的刚架模型,运用刚架模型驱动网格曲面变形:即对刚架节点施加载荷或添加几何约束反算出刚架节点载荷,在载荷作用下刚架变形驱动网格曲面变形。针对几何约束变形问题,建立以节点位移为变量,由载荷最小和节点位移最小组成的目标函数,组合使用两种不同的最小化模型,实现不同的变形需求。在变形过程中,采用增大网格曲面特征区域所关联单元体弹性模量的方法,达到整体变形中局部形状特征的保持,避免了传统方法中繁琐的特征信息记录公式。实验结果表明,该变形方法直观方便,可以产生理想的变形效果。     

结构动特性计算的广义模型物理化方法及应用

大型组合结构动特性计算往往采用子结构模态综合技术。子结构模态综合技术是将大型结构划分多个部件,将部件按照模态坐标展开为广义模型,再将广义模型进行综合,获得整体结构动特性。本文给出一种将部件的广义模型和物理模型直接综合的方法一广义模型物理化方法,并提供了方法在Nastran软件的实现途径。该方法不同于传统的子结构综合方法,能够将广义模型直接按照物理模型看待,从而将广义模型直接和物理模型进行综合,避免了繁琐的模态综合过程,使得对广义模型的理解和使用更加直观。文章晟后给出了广义模型物理化方法的验证算例以及工程应用实例。     

大转角条件下二维计算雷达像的改进

为提高转台目标成像时的横向分辨率,需增大转角,而增大转角会引起雷达像模糊。文中在频率空间的直角坐标系中用板块法仿真出大转角转台目标的雷达回波数据,然后用二维快速傅里叶变换对回波数据进行处理,从而获得转台目标的雷达像。经过对仿真数据进行验证,用该方法获得的二维雷达像,其质量高于用极坐标回波数据所成的像