关于R0代数结构的研究

对凡代数作进一步研究，证明了有限的非全序R0代数至少存在两个不同的分子和原子，引入并讨论了R0代数中界元的性质，得到了非全序尺。代数的一些蕴涵性质，给出了元素个数最少的含中界元的非全序R0代数的例子，从而确定了含中界元的非全序R0代数的存在性.     

C—R方程的几种等价形式

本文给出了与直角坐标系下的Ｃ－Ｒ方程等价的三个定理。利用这些定理可使解决某些问题的方法简化。     

R0-代数的正规MP～理想

R0-代数是基于系统研究形式演绎系统￡^*而提出的一类逻辑代数，研究了R0-代数的结构，引进了R0-代数的正规MP-理想的概念，讨论了正规MP-理想与MP-理想之间的关系，给出了正规MP-理想的特征性质和扩张性质，用正规MP-理想完全刻画，了正规R0-代数。     

一种代数形式的稳定性判据

应用Ｒｏｕｃｈｅ定理于线性定常系统的稳定性分析，得到关于单输入单输出（ＳＩＳＯ）系统不等式形式的稳定性判据，并将此方法推广到多输入多输出（ＭＩＭＯ）系统，导出了判定多变量系统稳定性的一个充分条件。分析预示了Ｒｏｕｃｈｅ定理在系统理论中的应用潜力。     

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

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

可视形式代数法——一种实用的空间结构建模方法

采用形式代数法来描述空间结构，详细分析了ＡＬＧＯＲ ＦＥＡＳ软件的前、后处理功能及其数据结构，编写了形式代数法模型库软件包以及与ＡＬＧＯＲ ＦＥＡＳ软件之间的接口程序，真正实现了结构计算可视化。     

粗糙集的代数刻划

讨论了近似空间中粗糙集的代数性质,给出了粗糙并、交、补的定义,并定义了粗糙集的伪补元、对偶伪补元.且从多方面研究了粗糙集的代数性质,如:它是一个有界分配的原子格、半单的Neslon代数、双Stone代数,甚至是Lukasiewicz三值代数.     

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

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

关于等价无穷小代换的推广

等价无穷小代换是计算0/0型极限的重要方法,但在实际应用中还存在一些不足之处.通过研究该方法,得到了函数乘除极限形式下可直接代换的结论,并讨论分析了加减法极限情况下的等价代换.     

一种命题形式系统的等价性证明

Lukasiewicz提出的一个命题形式系统与两个常见的命题形式系统之间的等价性证明关键就在于在Lukasiewicz系统中证明公理模式A→（B→A）和（A→（B→C））→（（A→B）→（A→C））。而要证明这两个公理模式其关键又在于证明若干重要的中间公式，如A→（（┐B→B）→B）以及皮尔士律、吸收律、段定律等。就此，在Lukasiewicz给出的证明的基础上，讨论了一种不同的、相对简单一些的证明过程。     

计算机代数系统SAC/2中的无限精度整数运算

计算机代数系统的处理对象虽然是符号公式,但也需要整数运算,并且需要的是无限精度整数运算。SAC/2在无限精度整数运算的基础上建立起算术系统,使算术系统成为整个系统的有力支柱。     

管式加热炉节能优化及运行状态诊断专家系统

针对石油化工等行业 ,研究开发了一种管式加热炉节能优化及状态诊断专家系统。它能有效的解决目前管式加热炉故障诊断及相应解决方案严重滞后的问题。本专家系统的一大特点是采用了 Visual C+ +语言进行编写 ,大大增强了用户界面的友好性 ,便于用户在比较短的时间内迅速掌握此软件的运用。此套专家系统采用了模糊逻辑的推理机制 ,从而提高了结论的可靠性及运行速度     

时变系统可识辩性的等价条件

采用文献［１］中的方法，讨论时变线性系统的全局与局部可识辩性，进而给出了一个系统可识辩充要条件。     

非线性体系动力可靠性分析的等效Duffing体系法

等效线性化法是非线性结构体系的随机反应分析最常用的方法,但使用等效线性化法给出的反应结果进行结构动力可靠性分析会带来很大的误差.将一般非线性体系通过均方最小误差原则等效为Duffing非线性体系来进行结构动力可靠性分析.Duffing非线性体系可以通过FPK方程求得其稳态精确解析解,所以使用该等效非线性法进行结构动力可靠性分析不仅计算上方便可行而且精度较高.算例分析表明了等效非线性法分析结果可靠,且比等效线性化法的计算精度有明显提高.     

一类复杂系统分散输出反馈鲁棒镇定

利用模糊逻辑系统的万能逼近性质，分析和研究了一类非线必不确定复杂系统的输出反馈鲁棒镇定问题，给出了这类系统的分散自适应输出反馈鲁棒控制器和模糊逻辑系统参数估计的自适应律，并在较弱的假设条件下，证明了这种控制器使被控系统的状态及参数估计误差一致终极有界。仿真实例说明了中提出的方法是有效的。     

一类多自由度非线性系统随机振动的等效线性化法研究

根据机械振动系统中弹性力、阻尼力只决定于弹性元件的变形和阻尼元件的相对速度的特点，建立了一种处理弹性元件与阻尼无件并联时多自由度非线性系统随机振动的新方法。此方法具有物理意义明确、计算量小之特点，是分析这类非线性系统随机振动行之有效的方法。     

橡胶平板硫化机等效硫化集散控制系统设计

根据等效硫化理论,由橡胶硫化效应计算出等效硫化时间.在此基础上,开发一套用于控制橡胶硫化的集散控制系统,可根据温度的变化,不断调整硫化时间,从而达到最佳硫化效果.该控制系统用一台工控机作为上位机,实现控制算法并监视全部硫化系统的工作状态;下位机使用可编程控制器(PLC),执行硫化操作过程;实现对硫化过程等效控制的目的.     

Spatial Target Detection Based on the Measurement of Equivalent Blackbody Temperature

At low SNR cases,the distinction between spatial point-target and interferences as decoys is still a very difficult problem. Based on the characteristics that target and interferences as decoys and noise had different radiation intensity and radiation changing frequency,the concept of the equivalent blackbody temperature (EBT) was built and the calculation model of EBT was designed. The model could effectively reduce the interference of the space environment and fully show the radiation differences between ...     

电子战飞机干扰环境等效模拟与构建方法

为满足部队抗干扰训练的需要,分析了EA-18G电子战飞机的干扰能力,给出了一种干扰环境等效构建方法.利用干扰设备模拟器,考虑干扰信号进入方向和干扰机运动模型,根据功率等效原则,对电子战飞机干扰环境进行模拟构建;然后根据干扰距离、方式与模拟器相对雷达距离变化之间的定量关系,给出了干扰机、雷达、模拟设备之间的模拟变化曲线;...