一类不确定时滞系统的鲁棒可靠控制

研究了在执行器发生故障的情形下,具有状态时滞的一类不确定系统的时滞依赖型鲁棒可靠镇定控制器的设计问题.基于二次可靠镇定的定义,通过构造双积分型Lyapunov函数,得出了系统鲁棒可靠镇定的充分条件,该方法减弱了控制器设计的保守性.最后通过仿真实例验证了所提方法的正确性和有效性.     

XML规范化研究

讨论了在XML规范化过程中涉及到的DTD的关系表示和无损联接分解并给出了保持依赖分解的定义，     

并发程序内部表示及静态切片算法的改进

通过分析Krinke切片算法对程序循环体内嵌套一个或多个线程结构会产生切片不精确现象,得出Krinke算法所基于的程序依赖图对线程间数据的依赖关系定义得过于粗糙,且对并发程序执行行为的合法性约束不够严格的结果.据此,提出一种新的并发程序依赖图,引入跨线程边界循环-承载数据依赖关系,并在此数据结构上改进了切片算法;引入区域化执行证据概念,进一步约束程序执行行为的合法性,并给出了添加跨线程边界循环-承载数据依赖关系的算法及新的并发程序切片算法的伪代码.实例分析与算法性能测试表明,改进的切片算法克服了Krinke算法的不精确现象,降低了时间开销,改善了算法的可伸缩性.     

北方山溪鲵与隆肛蛙视网膜显微结构的观察比较

为探讨北方山溪鲵和隆肛蛙视网膜结构与生活习性、捕食方式的关系，用光镜观察了这两种动物视网膜的结构，测量各层厚度、3个核层胞核的层数及胞核直径．结果表明，山溪鲵与隆肛蛙视网膜虽然各核层的层数相似，但隆肛蛙的胞核直径明显小于山溪鲵，致使两种动物在3个核层和2个网层的厚度上存在明显差异．从视网膜结构分析其机能，依赖于视觉捕食的隆肛蛙，视网膜具有较高的视敏度；捕食时以嗅觉为主、视觉为辅的山溪鲵，视网膜则具有较高的光敏度．显示了视网膜结构机能与各自的捕食方式的适应性．     

依赖注入技术及其执行过程的形式化描述

依赖注入技术指由构件运行平台在运行期根据系统配置文件中定义的构件间的依赖关系，将被调用构件实例化，并注入到调用构件之中。本文在分析研究依赖注入技术的基础上，用完全格工具形式化地描述依赖注入的执行过程。     

多值依赖无分裂覆盖问题的研究

基于函数依赖规范化理论及多值依赖基本概念，给出了多值依赖的分裂、无分裂多值依赖集等定义，提出了满足无分裂多值依赖集的良好特性，以及无分裂多值依赖集的判定算法，并且提出分裂多值依赖集存在无分裂覆盖满足的条件及其算法．这对于多值依赖集化简、规范化设计和无环数据库设计提供了理论基础．     

细菌与细菌之间的信息交流--革兰氏阴性细菌的Quorum-Sensing系统

人们长期以来一直认为细菌是以单个细胞的方式生存于自然界的.但是,自从10年前研究人员发现细菌与细菌之间存在着相互间的信息交流后,人们改变了对细菌的生存方式和其生理习性的认识.细菌其实是具有协同作战能力的多细胞习性微生物,而这种能力的形成需要依赖细胞与细胞之间的信息交流.细菌之间的信息交流涉及到细菌的多种生理功能、细菌致病能力以及细菌对抗菌素的耐药等方面.因此,了解和研究细菌的这一机制,阻断其信息交流,也许能达到削减细菌毒力的目的.文中将借助国外的最新报道,结合作者的研究成果,介绍细菌与细菌之间信息系统的由来,该系统的调节机制,研究该系统的手段、意义以及前景展望等.     

移动分布式数据库系统中合作事务恢复技术

形式地给出了合作事务定义及事务间由于消息交换而形成的各务间的检验点依赖和恢复依赖，基于这些定义，某一事务记检验点时，所有检验点依赖于该事务也记检验点，当某一事务恢复时，所有恢复依赖于该事务的事务也恢复到其检验点的状态，开发了一种适合于移动环境的事务恢复技术，；在事务正常的消息传送中，通过额外的一点带宽附加传送事务间的依赖关系，在事务记检验点时，尽可能并行地通知所有相关的事务记检验点，实验表明，该事务恢复技术能减少系统检验点的响应时间，提高系统的恢复速度及系统吞吐率，对网络带宽的要求基本没有增加。     

AIP吸收器传质特性中试装置及KLa测试方法研究

基于不依赖空气动力装置（AIP）排出CO2气体旋转床吸收器传质特性研究要求，选择S-195型柴油机为AIP排出气体发生器，优化设计了气、水流程，建立了波纹碟片填料旋转床吸收器的传质特性中间试验装置（简称中试装置），该装置具有多参数调节和测试功能。针对在较高气体压力下，AIP排出气体旋转床传质试验无法直接测算其体积传质系数（Kla），提出了一种间接测算Kla实验值的方法。实验结果表明，用间接测算方法求取的Kla实验值与直接测算值相对误差小于10％。     

面向对象数据库中的数据依赖和规范化

从分析面向对象数据库中的数据依赖着手，提出对象函数依赖概念，它反映了面向对象数据库中对象标识符，复杂对象及集合类型的特点，在对象函数依赖基础上，提出了分解为基础为模式规范化方法，并且特别引入语义相关集的概念，最后，给出类模式分解的形式化定义并证明了类模式的任一分解都是无损分解。