基于符号对象函数的状态反馈调节系统的CAD

针对MATLAB控制系统工具箱中极点配置函数 ,不能完成状态反馈调节系统计算问题 ,提出借助符号数学工具箱中有关符号对象函数 ,构成M文件 ,自动完成设计过程。该方法计算结果与仿真结果比较 ,两者完全一致 ,证明此方法的正确性和实用性     

求无源网络符号函数的主元凝集法

提出一种用于计算行列式的主元凝集法，并应用于网络拓扑分析中，拓宽了Ｋ－树法求无源网络符号函数的范围。     

符号动力系统中同构于Almeida-Ramos树的另一个树

运用纯组合学方法构造了０－１序列的一个树Ｔ，证明了Ｔ同构于Ａｌｍｅｉｄａ－Ｒａｍｏｓ树。此外，还研究了Ｔ的自相似性及Ｔ中元素的特征值。     

图的最小符号控制函数的充要条件

在图G=（V,E）的顶点集V上定义一个二值函数f=V→{-1,1},使对任何v∈V,f(N[v])≥1,则称f是图G的一个符号控制函数。图的符号控制函数的权重定义为f(V)=∑v∈vf(V),它的最小权重称为图的符号控制数,记为γs(G）达到最小权重的符号控制函数称为图的最小符号控制函数,本文讨论最小符号控制函数的必要条件。     

离散有限状态空间的一般熵函数

本文导出了表述离散有限状态空间不确定性的一般熵函数,同时证明了该状态空间各种不同的熵函数,都是一般熵函数的特例。所得到的熵的统一形式,为研究熵问题提供了一种有效的工具。     

状态空间Lagrange函数和运动方程

将力学系统Lagrange函数和Lagrange方程从位形空间推广到状态空间;在Lagrange力学逆问题基础上,建立状态空间中系统Lagrange函数和方程的普遍形式;将Lagrange函数两种等效变换推广到状态空间Lagrange力学,给出从状态空间Lagrange函数导出位形空间Lagrange函数和Hamilton函数的条件和方法;提出类力学系统概念.举例说明所得的结果.     

求齐次有限马尔科失链状态空间全体闭集的算法

本文给出了齐次有限马尔科夫链状态空间的闭集族的算法，为了减少计算量和无重复地列出全体闭集，引进了状态空间压缩法和逐点删去法。对状态个数不太大的情形，可利用压缩状态空间的状态转移图求全体闭集；对一般情形，给出了计算机算法。     

产生符号函数的一种算法

本文基于DFT算法提出了用计算机产生符号函数的一种新算法,并叙述了如何由状态方程或由电路产生传递函数H(S),最后举例说明了本算法同样能处理复杂度未知的电路。     

状态空间搜索的几种算法讨论

论述了状态空间搜索的几种算法，给出了深度优先搜索、广度优先搜索和启发式搜索之间的算法比较。通过比较，得到了这样一个结论：在通常情况下，采用启发式搜索算法来进行状态空间搜索更为方便、快捷。     

最小支撑树的新算法

从树的等价定义出发,叙述并证明了一种不必考虑圈的求最小支撑树的算法.     

求赋权图上最小树的两个算法

该文证明了赋权图上的树为最小树的一个充要条件，并由此得到求赋权图上最小树的两个算法。     

一种改进的自映射空间判定树算法

判定树在基于知识的专家系统中非常有用,同时在数据挖掘中也是一种重要的方法.但是目前的判定树判定方法并不能准确、清晰地处理与人类思想和感觉的知识.通过自映射空间模型作为知识表达和处理不确定性的方法以达到改进目前方法的目的.与传统的分类方法相比,自映射空间方法更好地集成了模糊性和随机性.提出了基于自映射空间模型的判定树方法,该方法处理人类思维更加自然.在实际的分类问题过程中,自映射空间方法更加有效、灵活.     

一种判定树同构的BULT算法

将判定两棵树的同构问题转化成"图的同构"问题和"两棵树根结点之间的对应关系"问题的判定.基于图与树的关系,提出一种自底向上分层遍历图结点(Bottom-Up Layer Traversing)的方法,简称 BULT方法,解决以上两个问题,从而得到一种线性的时间复杂度与空间复杂度的树同构判定算法,并给出了算法正确性证明.该算法很容易扩展为图同构的判定算法.     

对树图生成算法的比较研究

通过对树图生成算法的分析比较,得到各种树图生成算法的优劣性,从而可根据数据集合的特征和用户对可视化效果的不同要求,来选择算法或将几种算法结合使用.     

立体车库钢结构系统失效树分析及软件研制

基于有限元理论 ,结合优化准则法 ,提出了立体停车库钢结构系统失效树理论分析方法 ,开发了计算软件FTA ,算例结果表明 :根据结构规模和具体特征选择合理的控制参数 ,不仅可以提高计算效率 ,而且可以保证计算的准确性 ;失效树中第一个失效元件是导致其余元件失效的根源 ,加强第一个失效元件 ,是保证结构系统不失效的最合理、最经济的方法 ;本文提出的分析计算方法及其软件FTA是有效的。     

找K个最小生成树的并行算法

基于SIMD 机器——一种可以同时读但不可同时写的共享计算模型(CREW-PRAM)给出了找K 个最小生成树的并行算法,此算法需O(log~2n+Klogn~*)时间及O(n~2)处理器;而基于可以同时读、写的更强计算模型(CRCW-PRAM),求K 个最小生成树仅需O(Klogn)时间及O(n~2)处理器,这里n 是图的顶点数.     

对树图生成算法的比较研究

通过对树图生成算法的分析比较,得到各种树图生成算法的优劣性,从而可根据数据集合的特征和用户对可视化效果的不同要求,来选择算法或将几种算法结合使用。