变时滞不确定线性系统的H_\infty控制

对于一类不确定状态时变时滞系统,利用基于时滞划分的Lyapunov-Krasovskii泛函讨论其稳定性,并得到以LMI形式给出的一种保守性小的稳定性条件,最后通过分析并给出了保证系统鲁棒稳定的H_\infty控制器,数值实例表明了方法的有效性.     

时变观测算子族的无限时容许性

对Hilbert空间中的无界时变观测算子族引入无限时容许性概念,并利用发展半群理论,给出无界时变观测算子族的无限时容许性刻画.最后,对一类具混合边界条件的非自治系统,构造了一类无限时容许观测算子族.     

基于LMI方法的一类非线性模糊脉冲系统的鲁棒模糊控制

通过推广一般T-S模糊模型定义了一类非线性模糊脉冲系统.基于线性矩阵不等式(LMI)方法提出了一种鲁棒模糊控制新方案.采用并行分布补偿(PDC)的基本思想设计状态反馈控制器,并利用Lyapunov方法理论证明闭环系统全局指数稳定.最后基于LMI方法,将鲁棒模糊控制器的设计问题转化为线性矩阵不等式问题(LMIP).仿真表明本方法的有效性.     

格蕴涵代数定义的简化

证明定义有二元运算→和零元运算(固定元)0的非空集合L(即:L是(2,0)型代数)只要满足四条算律就可成为格蕴涵代数.因此,在定义格蕴涵代数时,我们不必要求L是有界有余格,从L是(2,0)型代数出发即可,这样大大简化了格蕴涵代数的定义.     

复合有限自动机系统的不透明度

本文研究了由两个有限自动机组成的复合系统的不透明度的性质.利用J.-Y.Yao在其工作中给出的单个有限自动机系统的基本性质与算法,得到了复合系统是透明的和不透明的充要条件.     

线性广义系统的P型、PD型和PID型迭代学习控制

本文研究了线性定常广义系统在P型、PD型和PID型学习律作用下的迭代控制问题,利用矩阵理论和微分不等式方法,得到了其迭代控制收敛性结果.不仅对于时变系统也成立,而且,可以移植到线性定常广义离散时间系统.     

药品中残留溶剂的检测方法

谱柱系统对药物中残留溶剂进行定性和定量检测的方法。该方法是在气相色谱的进样系统之后、色谱柱之前增加一个双通道或三通道的分流管，其后并列连接极性相反的色谱柱。还可以连接质谱分析系统，每个通道有单独的开关控制其流通与否。根据对所有通道内样品的检测结果比较和分析，本发明的方法可以对同一样品一次性完成定性和定量分析，并且更加高效和准确。     

细胞周期蛋白依赖性激酶CDK4抑制剂的3D-QSAR研究

采用比较分子场分析法（comparative molecular field analysis，CoMFA）和比较分子相似性指数分析法（comparative similarity indices analysis，CoMSIA），系统研究了57个CDK4酶抑制剂的三维定量结构-活性关系．所建立CoMFA和CoMSIA模型的交叉验证系数q^2值分别为0．656和0．811，非交叉验证相关系数r^2分别为0．954和0．969，都具有较好的预测能力．CoMFA和CoMSIA模型的三维等值图直观地解释了化合物的构效关系，为进一步研究提供了重要依据．     

Schiff碱作为桥配体的双核钌化合物的合成与性质

合成并表征了3个Schiff碱配体及由其桥联的3个双核钌配合物,并通过核磁共振谱、红外光谱、质谱及元素分析等测试手段对配体及化合物进行了表征.电化学测试结果表明,在3个双核配合物中存在着分子内的金属-金属间相互作用,且连接两个金属的桥配体是影响金属间相互作用强弱的关键因素.