摘要：我代表第二届学院党委作报告，请予审议。

摘要：针对一类含有时变时滞的不确定参数线性系统,研究了在执行器发生故障情况下的鲁棒可靠控制器设计问题。系统中的参数不确定性满足广义匹配条件,时变时滞的大小及其变化率有界,并假设故障执行器元件的输出为零。经过适当的模型变换,将原系统的鲁棒指数镇定问题转化为另一个等价系统的鲁棒镇定问题。根据Lyapunov稳定性理论和线性矩阵不等式(LMI)方法,分别给出了鲁棒可靠控制器存在的时滞无关和时滞相关充分条件。仿真结果表明了该控制器设计方法的有效性。

摘要：针对一类参数不确定离散时滞系统,研究了当传感器发生增益故障情况下的静态输出反馈保成本可靠控制器设计问题。系统中的参数不确定性满足广义匹配条件,传感器元件具有部分输出增益故障。根据Lyapunov稳定性理论和线性矩阵不等式(LMI)方法,分别给出了含有时滞记忆和无时滞静态输出反馈保成本鲁棒可靠控制律的存在条件。通过求解由一组线性矩阵不等式所表示的凸优化问题可以得到使得闭环保成本上界最小的鲁棒可靠控制器。最后通过仿真示例说明所提出方法的正确性。

摘要：ＶＭＤＰ（ｖｉｓｕａｌｍｏｄｅｆｏｒｄｉｓｔｒｉｂｕｔｅｄｐｒｏｇｒａｍｍｉｎｇ）模型是一个基于图标的面向分布式程序设计的图示化模型．它用图标表示分布式系统中的对象及其控制，例如，用车辆、路口和红绿灯等图标分别表示进程、资源和进程控制，从而使分布式系统中进程之间的同步、异步、互斥、共享等协调关系变得十分直观和易于理解．ＶＭＤＰ模型可以广泛应用到分布式系统模型、网络程序设计、并行程序设计和分布式程序设计等领域．

摘要：提出了一个基于工作站网 ( network of workstations,简称 NOW)的分布式程序设计语言 NC++( NOWC++) .它是 DC++语言的扩充 .NC++提供了一个完备的编程环境 ,包括 NC++预编译器、图视编程界面、多目通信机制和测试系统 .它完善了组管理机制和进程通信机制 ,提出了一个基于信度推理网络的分布共享内存( distributed shared memory,简称 DSM)机制以管理 C++公共变量 .实践证明 ,NC++语言在确保编程方便性的前提下保证了分布式程序的性能 .

摘要：分布式系统的动态配置问题近年来引起了各国研究者的广泛关注．该文对面向图结构的分布式程序设计模型ＧＯＭ（ｇｒａｐｈ－ｏｒｉｅｎｔｅｄ ｍ ｏｄｅｌ）进行了扩充和改进，提出了支持动态配置的程序设计模型ＥｘＧＯＭ（ｅｘｔｅｎｄｅｄ ｇｒａｐｈ－ｏｒｉｅｎｔｅｄ ｍ ｏｄｅｌ）．ＥｘＧＯＭ提供了多种基于图结构的配置操作．用户可在配置文件中描述系统结构的动态变化，也可在程序中利用配置操作进行动态配置．这一特性使得系统可支持不可预计的动态配置．文章还给出了以多Ａｇｅｎｔ机制实现ＥｘＧＯＭ

摘要：本文描述了与操作系统的人机通信智能化有关的操作系统命令知识和自然语言知识的表示,同时也介绍了管理上述知识的知识库管理系统KZ1/ZG的功能,结构和实现.最后给出了本研究的结论.

摘要：针对一类含有不确定参数的离散时滞系统,研究了当传感器发生增益故障情况下的静态输出反馈鲁棒H∞容错控制器设计问题.系统中的参数不确定性满足广义匹配条件,传感器元件具有部分增益故障.根据Lya-punov稳定性理论和线性矩阵不等式(LMI)方法,分别给出了含有时滞记忆和无时滞记忆静态输出反馈鲁棒容错镇定控制器以及静态输出反馈H∞容错控制器的存在条件.通过求解一组线性矩阵不等式可以得到使得闭环系统渐近稳定并且H∞范数小于给定界γ的鲁棒容错控制器.最后通过仿真示例说明本文提出设计方法的正确性.

摘要：并行、分布式系统应用日益广泛，但它的开发却很困难，可视化是其解决方法之一。给出了一个以面向对象的分布式程序设计语言NC＋＋为基础的可视化分布式程序设计的基本模型VGOM，将一个分布式程序的特征用图加以描述；同时在原有NC＋＋语言基础上增加了高层的基于图结构的图操作原语，包括通信原语等，从而提供结构化的通信方式。在SUN工作站上，使用Motif与PVM实现了该模型。

摘要：很多分布式程序由一组分散在不同处理器结点上的松散耦合的进程协作完成某项任务．这些进程底层的逻辑结构可以用一个图来表示，进程间的通信和同步关系可以用图上的操作来表示．该文描述了面向图结构的模型GOM（Graph-oriented Model）以及它的实现GOS（Graph-ori-ented System）．在GOM层，一个分布式程序由一个概念图以及由消息激活的若干函数构成．这些函数提供了图结构上的各种操作，如通信和同步、子图操作、修改操作、查询操作等．GOS则向用户提供高层的、基于图结构的分布式程序设计环境．