Static Output Feedback Stabilization: An ILMI Approach

In this note, the static output feedback stabilization problem is addressed using the linear matrix inequality technique. A necessary and sufficient condition for static output feedback stabilizability for linear time-invariant systems is derived in the form of a matrix inequality. The extension of the result to H_∞ control is studied. An iterative LMI (ILMI) algorithm is proposed to compute the feedback gain. Numerical examples are employed to demonstrate the effectiveness and the convergence of the algorithm.     

认识逻辑(3):基于语义tableau的证明理论

本文定义了带有索引的认识逻辑ELI,讨论了ELI的语义tableau的证明过程,证明了模态tableau的相容性和完备性.由于ELI与认识逻辑EL是等价的,因而,本文讨论的tableau证明过程也可以作为EL的证明理论.     

基于ATM的群通信问题的研究*

群通信在并行计算中起着重要的作用.ATM(asynchronous transfer mode)网络有许多特点使之适合群通信.如何有效地利用ATM的这些特点来实现群通信操作是一个重要的研究课题.该文提出了一种基于ATM的群通信结构——混合树(Hybrid-Tree),该结构适合动态组中的群通信,并且能有效地利用ATM的特点.文中提出的组管理协议和树结构维护方法很好地解决了树结构的维护问题.     

模型库管理系统的设计和实现*

模型库管理系统是决策支持系统的核心，其基本功能包括模型的定义、组合、存储和调用.该文介绍一个支持客户/服务器模式的模型库管理系统的设计和实现，在这个系统中，模型被视为程序模块，通过运用面向对象的方法进行组织以及对模型的远程和动态的透明调用提供支持，使实现的系统具有良好的动态可扩充性.同时,通过提供模型定义语言和模型库管理，便于决策支持系统客户软件的开发.     

股票衍生证券定价模型的研究

若金融衍生证券的估值没有确切的表达方式时，可用数值分析法来估算其值，这样可以弥补金融衍生证券的定价公式在某些条件得不到满足而不能应用的局限性，以便更合理，准确地为金融衍生证券的定价提供科学的参考。本文在股票衍生证券定价模型的基础上，研究了美式期权估值的数值分析方法。     

V01弧焊机器人运动学反解及臂形标志的确定

为了对Ｖ０１弧焊机器人深层次的开发，需要首先剖析其运动学模型，求解的反臂形问题。本文利用几何解法，针对Ｖ０１弧焊机器人建立了相应的逆运动学算法，解决了求解臂形标志问题，从而为Ｖ０１弧焊机器人的离线编程打上了基础。     

线性最优调节器二阶工程设计法及应用

本文利用文[1]结论，给出一种实用线性最优调节器二阶工程设计法．该设计法建立了古典控制意义上的系统性能指标与二次型性能指标的关系．并给出解析其式，提出二阶最优参数域的概念．通过轧机综合最优控制系统的设计和实验，验证了该方法在工程设计中的可行性．     

BSP模型及其并行程序设计

当前并行计算领域的研究重点和热眯是研究“通用”并行计算的适用范围，而其中心议题是既具有可扩展并行性又同时具有体系结构独立必的可移植软件开发方法和工具的研究。解决体系结构独立的途径是通过引入的一个过渡模型使得软件和硬件得以较好的分离。ＢＳＰ（Ｂｕｌｋ Ｓｙｎｃｈｕｏｎｏｕｓ Ｐａｒａｌｌｅｌ）模型正是这样一个理论模型，它不但可提供既具有可扩展的并行性又独立于体系结构的并行软件开发方法，而且可为并行和     

全景视频信息空间模型

全景视频是一种以３６０度实景全景图像为基础来构造虚拟环境的技术，本文讨论了利用它来建立一个可操作、可漫游的虚拟信息空间，并就如何建立该空间模型进行研究。该空间具有立体显示和三维虚拟声音，能够组织、存取、操作和表现多媒体空间数据。     

Extrapolation Model of High Temperature Creep for 12Cr1MoV Steel

The creep curves of heat resistant steel 12Cr1MoV was investigated. by constant stress creep tests. The creep curves of constant stress creep are quite different from that of constant load creep. The original θ- Concept Project procedure can be validated to successfully describe the constant stress creep curves but not constant load creep. A modified θprocedure was developed. This approach can successfully described both constant stress creep and constant load creep curves. The new approach leads to a great improvement in accuracy of long term prediction of extrapolation due to validation of a great number of existing constant load creep data.