R0代数的一种等价形式

R0代数是与模糊命题演算的形式演绎系统L*在语义相匹配的代数系统,为了进一步研究R0代数,引入了R0代数和基础R0代数的定义,讨论了R0代数其中的一些基本性质及R0代数与基础R0代数的区别与联系,在(a→b)∨((a→b)→a∨b)=1条件下基础R0代数就是R0代数,并且得到了R0代数的一类等价系统.     

示例解析M文件形式的S—函数

通过编写一个模糊控制规则的S－函数示例，介绍了MATLAB中M文件形式的S－函数的编写过程及其相关事项。     

一种整流器直流侧R—C保护回路的分析与计算

从整流机组的直流事故断路以及交流侧切断负荷电流两个方面,分析了双Ｙ带平衡电抗器的整流器设置直流侧Ｒ－Ｃ过电压保护回路的必要性,推导了现回路参数的计算公式,以供从事整流设计人员参考。     

Weitzenbck公式的等价形式的一种证明

本文主要给出了Weitzenbock公式的等价形式的一种证明     

Bernstein—Durrmeyer算子导数的等价刻划

研究了Bernstein-Durrmeyer算子高阶导数与函数光滑之间的等价关系，用Ditzian-Totik模刻划算子点态和整体导数的特征，得到了一个等价刻划定理，所得结果统一了该算子导数的点态和整体两种渐近性态的等价表征。     

Grashof准则的等价形式及其应用

本文导出了Grashof准则的等价形式－一组关于相对杆长的光滑非线性不等式，解决了四杆机构最优综合中，杆长可以为负的情形下机构的可动性约束问题。文中讨论了函数发生机构最优综合的两种数学模型，给出了一个应用实例。     

可测函数的几个等价定义

介绍可不则函数的几个等价定义，由此得出可测函数能用简单函数逼近和连续函数逼近。     

可测函数的几个等价定义

介绍可测函数的几个等价定义，由此得出可测函数能用简单函数逼近和连续函数逼近。     

关于BCK／BCI—代数的几个等价公理系

分别给出ＢＣＫ－代数，蕴涵ＢＣＫ－代数，ＢＣＩ－代数及蕴涵ＢＣＩ－代数的一个等价公理系，说明了蕴涵ＢＣＩ－代数的自然推广，亦说明了蕴涵性是“双Ｂ”代数的“固有属性”。     

Fe—Mn—Al—C合金相结构的经验判别公式

提出了γＢ相中Ｃ,Ａｌ,Ｍｎ元素含量的计算公式,以γＢ相为参照,得到了Ｆｅ－Ｍｎ－Ａｌ－Ｃ合金相结构唯一性判据的经验计算公式。     

形式函数的解析性

研究了f（z,z）型复变函数,通过定义形式导数和微分,求出形式函数的C-R条件,推出了形式函数可微和解析的条件.     

自治可控系统X=Ax+bu的一个等价形式

讨论了自治可控系统Ｘ＝Ａｕ＋ｂｕ与一个形式为ｙ＾（ｎ）＋ａ１ｙ＾（ｎ－２）＋…＋ａｎｙ＝ｕ的自治线性过程是等价的。     

几种典型的非线性演化方程的有理型弧波解

本应用行波法，直接得到了ＫｄＶ型方程，Ｂｏｕｓｓｉｎｅｓｑ方程、Ｋ－Ｐ方程与浅水波模型方程的有理型弧波解。     

勒贝格积分三种定义的等价证明

实变函数教材中给出了三种勒贝格积分的定义，这三种定义在形式上存在着很大的差别。为了使初学者能很好的掌握勒贝格积分，这里将讨论这三种勒贝格积分定义的特征，并给出它们之间的等价性证明。从而使初学者能深刻地体会勒贝格积分与黎曼积分的区别，并在创新思维的培养方面受到启发。     

Navier—Cauchy方程在边界元法中的应用

用Ｎａｖｉｅｒ－Ｃａｕｃｈｙ方程，通过动力互等定理推导边界量的约束方程－－边界积分方程，对时间和物体表面进行离散，即可应用于工程实际，为边界元法在动力学问题中的应用打好基础，并把三维问题基本解应用于二维问题，大大简化边界元法的奇异积分。     

平面运动刚体的动量矩方程的几种形式

对三种情况下平面运动刚体的动量矩进行了分析和讨论，得到一般形式的动量矩方程。