矩阵表示法在贝塞尔-高斯光束通过多光阑复杂光学系统传输中的应用

用矩阵表示法研究了贝塞尔-高斯光束通过多光阑复杂光学系统的传输,给出了用矩阵表示的传输公式,以光阑-透镜系统为例进行数值计算,计算结果与直接由Collins公式积分所得结果一致,矩阵表示法在菲涅尔区和夫朗和费区都达到了足够的精度,并节约了大量机时.     

扁矩阵

本文给出了扁矩阵的定义、基本性质、以及扁矩阵在矩阵秩的问题、解一般线性方程组方面的应用.     

矩阵多项式秩的一个恒等式及其应用

证明了矩阵A的两个矩阵多项式秩的和等于它们最大公因式与最小公倍式秩的和.其结果 不仅概括了已有文献的相关结论 ,而且作为应用解决了关于矩阵的一次多项式秩的恒等式的两个猜想.     

具有输入时滞不确定切换系统的鲁棒稳定性分析与控制

本文研究了一类输入中同时存在常时滞和时变时滞不确定切换系统的鲁棒稳定性及控制问题,依据还原法思想,Lyapunov稳定性理论并结合LMI,设计了切换系统的状态反馈控制器及相应的切换策略,并给出了系统在控制器作用下稳定的充分条件,仿真算例证明了本文方法的有效性. 最后证明系统在某些情况下使用还原法所设计的控制器与传统的无记忆控制器相比能够镇定更多的系统。     

确定有限自动机的矩阵形式

研究自动机的方法有状态转换函数、RTL、VHDL以及矩阵形式等方法.矩阵形式与其它方法相比能很好地完成对自动机状态转化过程的演算.自动机是描述集合之间某种关系,它的工作过程是一种逻辑推理过程.根据自动机的逻辑形式定义,结合矩阵方式,建立了自动机的矩阵逻辑运算方程;同时讨论了矩阵表示的有关性质.     

社会保障性住房类型的评价

我国建立了经济适用房、限价房、廉租房多层次的住房保障供应体系,分析了三种住房保障类型层次的区别,建立了社会住房保障类型综合评价指标和模型,运用层次分析法全面客观地对社会保障性住房类型体系进行评价,将定性分析与定量分析相结合,以对完善社会住房保障体系提供理论依据。     

实方阵存在Volterra乘子的判定准则

给出了实方阵A存在Volterra乘子的几个新的充分性条件     

Modeling expert forecasting knowledge for incorporation into expert systems

The use of continuous multivariate models to represent experts' knowledge of relations among a set of variables is reviewed. Such knowledge models can be incorporated into expert systems, complementing contingent rules, especially when representing experts' knowledge of functional relations among entities in noisy domains. Past work has most commonly involved linear averaging models in static domains, although nonlinear models and dynamic domains are also possible. Detecting errors in continuous multivariate models requires a different approach from detecting errors in collections of if-then rules. Methods for eliciting expert knowledge include modeling judgments made in real or hypothetical situations and using expert's self-insight directly to assist in construction of the model. Procedures for managing each of these methods have been computerized and could be included as elicitation tools in expert system building environments.     

非线性方程组的分裂型单调迭代方法(Ⅱ)

在文献[1]中，引入符号矩阵，L分裂等全新概念．在半序Banach空间上建立了分《型单调遣代方法。本文是[1]工作的继续，讨论了该方法的唯一性。该理论包括了众多常见的单调这代方法的唯一性。     

E—1330控制器在点阵液晶显示模块中的应用程序

利用Ｅ—１３３０控制器板在点阵液晶显示模块绘制图形中，采用贝森海姆园算法──ＢＲＥＮＨＡＭ’ＳＣＩＲＣＬＥＡＬＧＯＲＩＴＨＭ提供一种有效的绘园算法和显示方法。