l_1系统辨识中的代数算法及其Worst－case误差

讨论单输入单输出、离散时不变因果系统的ｌ１系统辨识问题。首先提出基于代数方法的代数算法，并分析了该算法的特点；然后估计其Ｗｏｒｓｔ－ｃａｓｅ误差，并证明了该算法的收敛性；最后讨论了在某些特殊情况下该算法的相应形式。所给结果是面向鲁棒控制的。     

Ｈ∞辨识中的代数方法*

本文讨论了单输入、单输出、离散、时不变因果系统的面向控制的Ｈ∞辨识问题，在该问题中，中心估计是最优的，插值估计是次优的，但一般都难以求取，本文提出了非插值类的代数算法，该算法计算量小，所得模型简单且估计出的Ｗｏｒｓｔ－Ｃａｓｅ误差较小，该算法是收敛的，因而具有较好的实用价值。     

离散非线性系统Worst—Case辨识——小波逼近法

利用小波逼近的软阈方法，研究了离散非线性系统的ＷｏｒｓｔＣａｓｅ辨识问题。证明了该算法在Ｗｏｒｓｔ－Ｃａｓｅ误差下的拟最优性和光滑性；估计了该算法的Ｗｏｒｓｔ－Ｃａｓｅ误差；给出了存在鲁棒收敛的辨识算法的充要条件；最后，证明了小波网逼近算法是鲁棒收敛的。     

概念代数—新一代数据库系统的理论

念代数ＣＡ是Ｎｉｌｓｓｏｎ教授以格（ｌａｔｔｉｃｅ）理论为数学背景提出的一个新的代数系统。在ＣＡ中，关系范型、ＯＯ范型、逻辑程序设计和框架知识表示获得了统一的表示－概念项，项进一步组成句子。一个完整的知识库就由这样折的项和句子组成。推理操作是一组被称为重写规则的代数公理。目前的ＣＡ还只是个代数系统雏形，有很多方面有待扩充。本文对概念代数进行综述，并给出初步的扩充。     

离散非线性系统Worst-Case辨识--小波逼近法

利用小波逼近的软阈（Ｓｏｆｔ－Ｔｈｒｅｓｈｏｌｄｉｎｇ）方法，研究了离散非线性系统的Ｗｏｒｓｔ－Ｃａｓｅ辨识问题．证明了该算法在Ｗｏｒｓｔ－Ｃａｓｅ误差下的拟最优性和光滑性；估计了该算法的Ｗｏｒｓｔ－Ｃａｓｅ误差：给出了存在鲁棒收敛的辨识算法的充要条件；最后，证明了小波网逼近算法是鲁棒收敛的．     

Neocognitron学习算法分析

现有的对Ｎｅｏｃｏｇｎｉｔｒｏｎ的分析都采用代数法，因而无法研究它的动态特性．本文把Ｎｅｏｃｏｇｎｉｔｒｏｎ及其学习算法推广到连续时域，借助微分方程来研究Ｎｅｏｃｏｇｎｉｔｒｏｎ．文中给出了无教师学习算法一般情况下，学习过程中Ｕｓ层神经元输出变化规律的微分方程，指出其增加的条件，并推出权ａ、ｂ初始值选择的一个必要条件；进一步得出无教师算法代表稳定后和有教师学习情况下Ｕｓ变化的一种等效显式函数，指出此时学习过程是Ｕｓ层神经元输出向一个系数的逼近过程，且有教师学习过程的最后状态与可变权初值和学习率无关．并讨论了影响Ｕｓ终值和逼近速度的因素．     

不可靠制造系统的一种控制策略的参数最优化

本文研究生产单类工件的两台串级机器的系统，机器是不可靠的。系统采用Ｓｕｒｐｌｕｓ Ｃｏｎｔｒｏｌ策略，该策略以每台机器的一个阈值作为控制参数。基于扰动分析方法，我们提出了一种简单的算法用于估计系统费用函数对于控制参数的梯度，并证明了估计的无偏性，仿真例子验证了算法的有效性。     

BFGS算法在多Transputer系统上的并行实现

本文讨论了ＢＦＧＳ算法在多Ｔｒａｎｓｐｕｔｅｒ系统上的并行实现问题，利用向量和矩阵分解并充分考虑到多Ｔｒａｎｓｐｕｔｅｒ系统的硬件特点，构造了一个负载平衡度高，通讯量小的并行ＢＦＧＳ算法。     

具有参数扰动时滞系统的鲁棒镇定性

利用标量的Ｌｙａｐｕｎｏｖ函数，结合代数Ｒｉｃｃａｔｉ方程和Ｒａｙｌｅｉｇｈ’ｓ原理，讨论了具有参数扰动时滞系统的鲁棒镇定性，获得了一个充分条件。     

归纳定义与递归算法

归纳定义是定义某些概念时常用到的一种定义方法，但是，什么叫做“归纳定义”并没有严格的说法，本文从代数系统的观点出发，对归纳定义进行了严格的数学定义。递归算法是编程时经常使用的一种算法设计方法，其思想就是算法本身调用自己。本文对归纳定义与递归算法之间的联系进行了深入的讨论和研究，结论是：利用归纳定义所定义的概念一定可以利用递归算法进行判定；反之，由递归算法可以判定的概念一定能够进行归纳定义。     

从系统框图描述求传递函数的两个算法

针对线性多变量和单变量系统的控制系统计算机辅助设计，给出从复杂控制系统框图求传递函数的两个算法，对解的存在性进行了讨论，并给出计算实例。该算法适用于对复杂系统稳定性、抗摄动性能等方面的分析和计算。     

基于DISCOVERER的Petri网不变式自动生成*

在Petri网的验证中,代数不变式起着非常重要的作用。将Petri网建模为半代数变迁系统,提出了自动生成不变式的算法,该不变式有助于更好地分析Petri网可达空间。算法首先将Petri网的不变式假定为一个含参数系统,然后通过求解半代数系统来求解不变式中的参数;最后,基于DISCOVERER和QEPCAD等Maple软件包实现了该算法,并通过实例说明了算法的有效性。     

数学抽象度与抽象关系度

采用布尔矩阵的运算,给出了数学抽象度的代数算法,提出了抽象关系应的新概念并对其进行了研究,进一步发展了数学抽象应分析法理论,同时也给出了抽象关系度的代数算法,最后讨论了抽象物系统中的核。     

一类非线性微分代数系统的能控性子分布

能控性子分布在系统的能控性分解中起着重要作用.针对一类非线性微分代数系统,利用M导数方法,提出了能控性子分布的概念.给出了一个计算包含在某些分布内的最大能控性子分布的算法,同时讨论了该算法的一些性质.最后,给出一个例子说明如何利用本文给出的算法计算此类微分代数系统的包含在某给定分布内的最大能控性子分布.     

LonWorks技术在我国智能大厦中的应用

本文针对我国智能大厦控制系统的设计需求，介绍了一种新型分布式控制网络———ＬｏｎＷｏｒｋｓ技术；讨论了ＬｏｎＷｏｒｋｓ在楼宇自动控制系统中的应用特点；提出了应用系统的设计思想和组成原理。并结合应用实例，介绍了基于ＬｏｎＷｏｒｋｓ技术建设的智能大厦控制系统。     

参数估计的Systolic算法

本文根据最小二乘原理在三角形Ｓｙｓｔｏｌｉｃ阵列上实现了单输入单输出系统的递推参数估计算法，首先利用矩阵的三角分解给出了待估参数及协方差阵的递推公式，然后利用正交平面旋转并结合三角形Ｓｙｓｔｏｌｉｃ阵列的特点给出了相应的Ｓｙｓｔｏｌｉｃ递推参数估计算法，最后还考虑了算法实现时的性能指标，其后是一些数值仿真结果，由于文中利用了正交平面旋转，因而所得算法是数值稳定的。     

定性代数的形式框架FAQA

本文首先讨论了定性推理系统和一量推理系统的描述，进而给出了定性代数的一种形式框架ＦＡＱＡ，提出了定性、定量是不同层次观察结果的观点，并对定性（混合）结构进行了分析描述。ＦＡＱＡ框架是Ｗｉｌｌｉａｍｓ等人工作理论上的完善及统一基础。     

改进NSGA—II终止判断准则

在基于进化算法的多目标优化中,往往是通过设置最大进化代数来确定算法何时终止。但是,如果最大进化代数设置太大,会增加许多不必要的计算量,设置太小可能得不到理想的结果。为了解决上述问题,提出一种改进的终止判断准则,通过该终止判断准则,即使在最大进化代数设置得非常大的情况下,只要连续几次获得的相隔一定进化代数的Pareto优解集的种群距离均小于给定的阈值,算法即可终止,并得到理想的结果,算法不再继续计算直到进化到最大进化代数后才终止。从仿真结果可以看出,通过终止判断准则,不仅降低了进化代数,减少了计算量,证实了新终止判断准则可行。     

非线性不确定系统的直接自适应输出反馈模糊控制

针对一类单输入单输出非线性不确定系统，基于状态观测器并结合自适应模糊系统和滑模控制，提出一种稳定的直接自适应模糊输出反馈控制算法。该算法不需要系统状态可测的条件，并能保证闭环系统稳定。仿真结果表明了该方法的有效性。     

计算机代数化简系统CASS1

CASS1是用代数化简方法设计的计算机代数系统。本文讨论CASS1的几个重要算法,包括:有理表达式的规范化简算法、非嵌套根式表达式的规范化简算法以及一类超越表达式的化简算法等。CASS1是用算法描绘语言ALDES语言实现的,是计算机代数系统建造规范化的一种尝试。