计算约简的差别矩阵简化算法不成立

Skowron差别矩阵给出了粗集约简的一般方法,但该算法要求生成、存储差别矩阵的中间环节,造成时间和空间上的浪费.实际应用中给出一种简化算法:一边从信息表中提取差别元素构成合取范式,一边用分配律、吸收律作逻辑公式的等价变换,直接得到最小析取范式.本章给出反例,说明该简化算法不总成立.     

矩阵分解及其一个简单应用

利用初等变换给出了三个矩阵的分解形式和它的一个简单应用。     

矩阵广义Schur余的性质

本文得到了Hermite矩阵以及正规矩阵广义Schur余的一些性质,这些结果改进了[1]和[4]等文献中的相应结果．     

Design of unknown input observer with H∞ performance for linear time-delay systems

A unknown input observer (UIO) design for a class of linear time-delay systems when the observer error can't completely decouple from unknown input is dealt with. A sufficient condition to its existence is presented based on Lyapunov stability method. Design problem of the proposed observer is formulated in term of linear matrix inequalities. Two design problems of the observer with internal delay and without internal delay are formulated. Based on H∞ control theory in time-delay systems, the proposed observer is designed in term of linear matrix inequalities (LMI). A design algorithm is proposed. The effective of the proposed approach is illustrated by a numerical example.     

区间Lurie时滞系统鲁棒绝对稳定性的LMI方法

对于区间Lurie时滞控制系统 ,构造了关于Lurie型Lyapunov泛函中正定矩阵和积分项系数的线性矩阵不等式 (LMI) ,通过LMI的解构造的Lyapunov泛函来保证系统的鲁棒绝对稳定性 ,不必选择和调整参数。分别讨论了无穷扇形角和有限扇形角的情形 ,所获得的结果适用于系统具有多个非线性执行机构的情形。最后给出一个实例说明本方法的有效性 ,并通过实例分析了扇形角的大小与鲁棒稳定度的关系。     

薄板稳定和振动分析的精化九参数三角形单元

对精化三角形薄板单元分别按一致质量矩阵和一致几何矩阵进行振动和稳定性分析，结果表明该薄板单元在此类特征值问题中具有精度高，易于实施的优点。进一步又提出一种新的建立质量矩阵的方法（可称之为组合一致质量矩阵），并给出了变分依据。该方法中显著地提高求解振动频率的精度。     

Authorware课件中交流模块的开发

在 Authorware所开发的课件中 ,使用者与使用者、教师与学生之间采用课件本身进行记录并交流的模块几乎没有 .在此用编程的方法 ,在 Authorware环境下较好地解决了此问题 ,并形成了一个相对独立的模块 ,而且此模块可以直接嫁接到 Authorware所开发的课件中 ,为课件增添了新的活力 .     

直线法结合有限差分法计算多层多导体传输线电容和电感矩阵

本文首次将直线法和有限差分法结合起来,用于计算多层介质多导体传输线的电容和电感矩阵.通过在纯介质区域使用直线法,导体所在区域使用有限差分法分别进行求解,充分发挥两种方法各自的优越性.数值结果表明:方法是有效的,且计算时间与介质层的厚度无关.