时间最优控制的Meyer逼近

用变换的思想，构造一个Meyer问题序列去逼近时间最优控制，从而证明时间最优控制的存在性。这不仅给出时间最优控制存在性的新证明，同时为时间最优控制的计算提供了一个新途径，并揭示了时间最优控制问题和Meyer问题的深刻关系。     

离散事件系统基于语言的最优监控方法

针对一类实际问题研究在合法行为基础上的最优控制,在合法行为集上定义数量指标,提出该数量指标下的最优控制问题,最后证明此最优控制问题解的存在性。     

Banach空间中一类非线性脉冲积微分方程与最优控制

讨论了Banach空间中一类非线性脉冲积微分方程及其最优控制问题,给出了Bolza问题最优控制的存在性,并且给出了最优控制存在的必要条件,最后,以一个例子展示了抽象结果的应用。     

周期环境下具有年龄结构种群动力系统的最优控制

在周期环境下,研究一类具有年龄结构种群线性动力系统的最优控制问题.利用Mazur’s定理,证明最优控制问题最优解的存在性,由法锥概念的特征刻画,得到最优控制问题最优解存在的必要条件.     

具有年龄结构和空间扩散的捕食与被捕食种群系统的最优控制

讨论具有年龄结构和空间扩散的捕食与被捕食种群系统的最优控制问题,用Mazur’s引理证明了最优控制的存在性,并给出了最优控制条件.     

非线性发展系统最优控制的存在性及其应用

研究了一类非线性发展系统连同积分型指标泛函的最优控制问题，证明了最优控制对的存在性．作为应用，研究了非线性抛物型积分－微分方程所描述的分布参数系统的最优控制问题，给出了最优控制对存在的充分条件．     

一类退化抛物方程的最优控制的存在唯一性

研究了一类在边界退化的退化抛物方程的最优控制问题,证明了目标泛函的极小值点的存在唯一性,并给出了最优控制函数的表达式.证明了最优控制的存在性,并导出最优控制存在的必要条件,通过证明优化系统解的唯一性得到最优控制的唯一性.     

一类无穷维最优控制解的存在性

研究了一类无穷维最优控制解的存在性,给出了这类问题解的存在性定理.由于最优控制的约束条件是一类带有初边值条件的Maxwell方程与热传导方程组成的耦合系统,所以该问题解的存在性具有一定的理论价值,所提供的证明方法有一定研究意义,为有关学者进一步学习无穷维最优控制提供了理论参考.     

一类具有Size结构的非线性种群系统的最优控制

研究一类具有Size结构的非线性种群系统的最优控制问题.利用Ekeland变分原理和共轭系统证明了最优控制的存在性,并借助法锥概念得到了最优控制的必要性条件.     

一类比例依赖的捕食系统局部能控性及最优控制

研究了一类比例依赖的捕食模型正平衡态的局部能控性及最优控制问题.通过分析的方法并借助Kalman秩条件得到了该模型正平衡态局部能控的充分条件,并用具体的例子进一步验证了结论的正确性.同时证明了相应的最优控制问题最优对的存在性,并利用庞德里亚金最小值原理证明了最优控制必为Bang-Bang控制.     

电力传动动力系统的几何描述

本文给出了Ｅｌｅｃｔｒｏｍｅｃｈａｎｉｃａｌ－Ｌａｇｒａｎｇｅ（简称ＥＭ－Ｌａｇｒａｎｇｅ）系统的几何描述．首先讨论了定义在辛流形上的Ｅｕｌｅｒ－Ｌａｇｒａｎｇｅ系统和具有外力的Ｌａｇａｎｇｅ系统．然后用几何方法对ＥＭ－Ｌａｇｒａｎｇｅ系统进行定义．通常，电力传动动力系统在一定条件下可由ＥＭ－Ｌａｇｒａｎｇｅ系统来描述．其结果表明，结合几何理论方法，该数学模型可以广泛地被用来对电力传动动力系统进行更为深入的研究．     

一个对合系的一般生成元与有限维可积系统

共焦对合系对确定有限维Hamiltonian系统的可积结构起着重要的作用，与有限维可积系统相联系的许多对合系可由共焦生成元生成．据此，提出一个一般的对合系的生成元．作为应用，导出一类新的Liouville意义下的有限维完全可积系统．     

一类不确定非线性切换系统的鲁棒稳定性

充分利用结构特点,通过标称系统各部分的稳定性获得一类不确定非线性切换系统的鲁棒稳定性.当标称系统的线性部分及零动态均存在共同Lyapunov函数时,通过构造依赖于不确定参数的共同Lyapunov函数得到整个系统在任意切换下的鲁棒稳定性.进一步,当标称系统的线性部分及零动态的各子系统都不渐近稳定时,通过设计切换律得到了该切换系统鲁棒稳定性的充分条件.     

二次李超三系的分解及唯一性

研究了二次李超三系的分解及唯一性问题,讨论了二次李超三系的唯一分解,得到了二次李超三系分解为非退化不可约阶化理想的分解定理,从而使李超三系与二次李超三系理论得到了进一步的完善.     

基于T-S模糊模型的Nadolschi混沌系统同步控制

为了实现一类新型混沌系统的同步控制,提出一种基于T-S模型的模糊控制方法。利用T-S模糊模型对Nadolschi混沌系统进行精确描述;采用并行分布补偿技术设计状态反馈控制器;进而将Nadolschi系统的同步控制问题转化为误差模糊系统零平衡点的镇定问题。然后,利用精确线性化的方法将误差模糊系统转换成定常系统,最后,根据线性系统理论,得出使Nadolschi混沌系统达到渐近同步的充分条件。仿真结果验证了所提方法的有效性,所设计的模糊控制器具用结构简单,规则少,控制响应速度快等优点。     

计算机仿真在根系牵引效应研究中的应用

针对根系牵引效应研究中杆状模型存在的问题与不足,通过双链表动态数据结构的方法,构建了植物根系的计算机仿真模型。并以VC++6.0为开发工具,建立了根系计算机仿真系统。通过计算机仿真出的根系模型不仅能够较真实的显示根系形态-分布特征,而且可以有效地进行区段划分和参数输出。以竹子地下根系为研究对象的实例表明了采用该方法研究根系牵引效应的有效性。     

双线性系统状态反馈鲁棒控制的新方法

研究了存在扰动的一般双线性系统的非线性状态反馈控制方案及双线性系统进行状态反馈精确线性化的特点,结合线性系统鲁棒控制的研究成果及非线性系统输出稳定理论,给出了一种双线性不确定系统鲁棒控制的新方案,最后给出了设计示例。     

线性切换系统的非奇异变换

线性切换系统是一类重要的混合动态系统。为了深入分析线性切换系统的能控性 ,寻找系统能控性判定的充要条件 ,首次研究了线性切换系统在非奇异变换下的性质。首先 ,证明线性切换系统的能控性在任意非奇异变换下保持不变。其次 ,基于一个恰当的非奇异变换 ,将状态空间适当分解为两个部分 ,给出了一个能控性的必要性条件的新证明。该证明比之已有证明更加简洁直观。最后 ,通过一个具体例 ,验证了能控性在非奇异变换下确实不变。     

基于CUDA并行平台实现核膜系统求解可满足性问题的研究

膜系统能以空间换时间的方式在多项式时间内求解NP难问题,作为膜系统中的一个新类型,核膜系统不仅包含了不同类型膜系统的特征,而且能提供一种统一性的描述．因此基于核膜系统构建系统模型,并以此求解一个典型的NP难问题：可满足性问题．为了加速对核膜系统的仿真过程,程序将在CUDA并行方式下仿真实现,通过与传统的串行方式比较,使用CUDA能减少95％的仿真时间,这也表明使用CUDA并行方式非常适合仿真核膜系统．     

一类非线性系统状态观测器的构造

讨论了一类非线性系统观测器的构造方法 .对仿射非线性系统观测器的条件进行了讨论 ,给出了必要的假设 ,得到与原系统微分同胚的系统 (简称同胚系统 ) ,并保持仿射性不变 .对同胚系统观测器给出了适当定义 ,它表现为一个模型系统 ,并根据其输出与同胚系统输出间的误差进行修正 .给出并论证了同胚系统状态观测器的构造方法 ,其关键是选择与模型系统和同胚系统间输出误差有关的增益矩阵 .对原系统 ,只要寻求与同胚系统间的一个适当变换 ,即可实现原系统的状态观测器 .参 6 .