基于极小作用原理的Lagrange系统周期解的存在性

利用变分方法中的极小作用原理在一定的条件下讨论了Lagrange系统周期解的存在性.介绍了极小作用原理,给出了从讨论Lagrange系统的周期解的存在性到讨论相应的泛函临界点的存在性的转化,在强制性条件下讨论了Lagrange系统周期解的存在性.     

一类离散Lotka-Volterra系统持久性态的研究

单时滞的Lotka-Volterra竞争系统的持久性,Saito等已经做了比较详尽的讨论,也得到了比较好的结论.但是Saito等只讨论了单时滞系统的情形,对于多时滞的较为复杂的系统并没有进一步讨论.本文将讨论多时滞的Lotka-Volterra竞争系统的持久性.持久性对于一个生态系统而言是一个非常重要的性质.在对系统做了一些合理的限定后,得到了关于该系统持久的一些充分性的结论.     

参数Kleene系统的可靠性定理

介绍了参数Kleene系统和参数Kleene系统的三-I算法,并讨论了它们随参数值的变化.把参数Kleene系统广义三-I算法归入到逻辑演算意义下,讨论了参数Kleene系统的可靠性.     

一类特殊系统的焦点量上界问题

本文讨论了一类特殊类型的系统,给出了这类系统在原点O(0,0)邻域的焦点量的上界,从而为进一步讨论这类系统奠定了基础。     

二阶常微分方程的最优控制的必要条件

讨论控制出现在最高阶系数上二阶常微分方程系统最优控制满足的必要条件,得到了最优控制满足的变分不等式。首先讨论了系统的解的存在与唯一性,接着讨论了解的连续相依性。然后利用针状变分求出系统的变分方程,从而得到了最优控制满足的变分不等式。本文讨论的问题是类似文献[1]的最优控制问题在空间维数n=1的情形。     

非线性森林发展系统解的渐近性

讨论一类非线性森林发展系统,利用临界增生率概念和算子的实特征值,讨论了系统解的渐近性质.     

最优化的量子操作

讨论物理系统在不同的正交态之间演化所需要的时间.首先讨论了两能级系统,随后进一步讨论多能级系统.发现对多能级系统而言,在任意两个正交态之间演化的时间是两能级系统的2倍.这有利于在量子调控时,进行最优化的量子操作.     

用Luenberger观测器观测线性延时系统的设计

讨论了线性延时系统状态观测器的设计问题，给出了用Ｌｕｅｎｂｅｒｇｅｒ观测器观测线性延时系统的设计方法及渐近观测器的稳定判据，应用对偶原理讨论了线性延时系统状态控制的设计问题，应用分离原理讨论了线性延时系统带状态观测器的状态控制器的设计问题。给出了证明实例。     

竞争扩散系统存在周期解的充分条件

讨论了一类周期竞争扩散系统,给出诺依曼边界条件下周期竞争扩散系统的周期解唯一性的充分条件,并讨论对应周期扩散系统初边值问题解的渐进性.     

多变量系统的极点配置与最佳控制中权矩阵的确定

本文根据线性多变量系统的能控分块相伴形,讨论了系统的极点配置,得出了由给定特征值确定系统S矩阵的方法,同时根据指定的特征值或系统S矩阵给出了确定反馈矩阵的方法,在此基础上讨论了最佳控制中权矩阵Q的求解方法。     

用Luenberger观测器观测线性延时系统的设计

讨论了线性延时系统状态观测器的设计问题，给出了用Ｌｕｅｎｂｅｒｇｅｒ观测器观测线性延时系统的设计方法及渐近观测器的稳定判据，应用对偶原理讨论了线性延时系统状态控制的设计问题，应用分离原理讨论了线性延时系统带状态观测器的状态控制器的设计问题．给出了证明实例．     

时滞捕食系统的稳定性与Hopf分支现象

讨论了具有时滞和基于比率的2种群捕食系统,通过构造合理Lyapunov函数,得到了系统正平衡点全局渐近稳定的充分条件,并讨论了Hopf分支现象.     

一类非线性不确定时滞系统的鲁棒性

主要讨论了利用LMI求解一类非线性不确定时滞系统的鲁棒性．在非线性不确定性满足增益有界条件下,首先讨论了自由系统的稳定性问题,然后又构造了无记忆状态反馈控制器来镇定系统并且使系统具有一定的鲁棒性．     

基于UNIX平台银证转账系统的几点研究

该文讨论了银证转账系统的重建工程。通过系统重建大大提高了系统的安全性、可靠性和性能,取得了良好的经济效益和社会效益。该文主要从系统的架构设计、安全性设计、自动冲正系统设计、性能优化设计等方面进行讨论。     

具饱和传染率的一类捕食者-食饵模型的分析

讨论了疾病仅在食饵中传播的捕食者-食饵模型.假设捕食者只捕食染病的食饵种群,且疾病的发生率为非线性的.本文首先讨论系统解的有界性,然后讨论系统平衡点的存在性及其存在时的稳定性,得到了边界平衡点和正平衡点的全局稳定性.     

三种竞争种群的古典Gause—Lotka—Volterra系统

本文讨论了三种竞争种群的古典GLV系统。我们讨论了系统所有非负平衡点的稳定性,给出了正平衡点全局稳定的充分条件。应用Hopf分支定理，我们给出了系统具有分支值的充分条件。     

共振条件下氨分子的相位

讨论了振荡电场中的氨分子，利用坐标变换法求出了系统的薛定谔方程的解，讨论了系统在共振条件下的相位。     

分布式管理信息系统的研究与实现

讨论了在POS系统的开发研制过程中所采用的分布式处理方法,着重讨论了实现数据的分布处理、功能的分布处理、分层管理和并发控制问题,这种处理方法可大大提高系统运行的速度,减少系统的网络开销.     

具有脉冲和功能反应函数的捕食-食饵系统正周期解的存在性

讨论一类基于比率具有脉冲效应和一般功能反应函数的捕食-食饵系统,利用重合度理论讨论了系统正周期解的存在性,得到了正周期解存在的充分条件.     

基于SharpDevelp插件架构的研究及应用

 作者研究了SharpDevelop的插件系统的原理,并以此为基础,讨论了如何在特定的应用程序中引入SharpDevelop的插件系统,如何将此插件系统改造为通用性更好的应用程序插件架构,并深入讨论了如何开发在此架构下的插件程序.