广义系统的靶点和靶路能控性

研究广义系统的经济能控性问题。将丁伯根(Tinbergen)经济系统能控性原理推广到广义系统,分别给出了广义系统靶点能控和靶路能控的充要条件。     

一类热方程扰动系统的能控性

研究了一类热方程扰动系统的能控性问题.首先得到了系统的逼近能控性;然后采用变分方法对系统线性化,再结合解映射的性质,应用推广的隐函数定理,证明系统的局部零能控性;最后给出系统零能控的结论.     

一类广义系统的能控性

能控性是现代控制论的基本问题,广义系统的能控性是难题之一,引起许多专家学者的重视和探究。通过一个定理,在系统正则的条件下,将系统分为快、慢两个子系统并分别讨论了它们的能控问题,得到了一类广义系统能控的充要条件,最后给出了一个范例。     

量化网络控制系统的能控性与能观性

将网络引入控制系统不可避免地引起很多新的问题,传统意义下的系统能控性与能观性在应用到网络化系统时必须重新考虑.针对网络控制系统中普遍存在的信息量化问题,研究网络控制系统的基本问题.定义量化网络控制系统的能控性与能观性,给出系统能控和能观的充分条件,指出量化网络控制系统的能控性与能观性取决于量化阶距的选取.     

一类组合系统能控性和能观测性的充分必要条件

本讨论了能控性的判别问题,给出了一类组合系统能控性和能观测性的充分必要条件。     

一类抛物型方程的能控性

研究了一类由抛物型偏微分方程描述的分布参数系统的能控性问题 ,通过构造凸泛函 ,用与Sakawa不同的方法 ,得到了系统的全局近似能控性 ,并进一步证明了系统具有有限维精确能控性 ,改进了Sakawa已有的结果。     

离散广义系统允许控制的条件

系统的稳定性、能控性、能观测性是控制系统的结构属性,是实际工程中必不可少的问题.本文研究了离散广义系统的稳定性问题,以及离散广义系统的能控(能观)性、稳定性和Lyapunov方程有对称解三者之间的关系,并得到了有关的判据.     

关于渐近能控性的一个注记

无穷维线性系统能控性问题的研究一直是人们很关注的问题。由于不少系统不是精确能控的,因此一种更弱的能控性概念—渐近能控性就被提出来了,但是深入研究人们却义发现近能控性的概念在无穷维线性系统的其它理论中并不能很好地得到应用,     

奇异系统中的几个基本观控性子空间

重新定义了奇异系统的脉冲能控(观)性子空间和脉冲能控(观)性,讨论了系统脉冲能控(观)模的个数问题;在不分解原系统的情况下,用原系统参数直接给出了脉冲能控(观)性子空间,强能控(观)性子空间和能达能控(观)性子空间的表达式;应用所得到的结果,建立了一些有关奇异系统能控(观)性的新判据。     

非线性大系统的弱能控性的一个判别条件

将非线性系统的弱能控性的方法应用于非线性大系统,提出了非线性大系统的弱能控性的定义及非线性大系统的弱能控性的条件·由非线性子系统的弱能控性得到了非线性大系统的弱能控性,非线性大系统的弱能控的充要条件是它的各个子系统弱能控·研究发现非线性系统是否弱能控可以考察它的能控性李代数是否满秩,非线性大系统是否弱能控可以考察它的各个子系统是否弱能控,即各个子系统的能控性李代数是否满秩,而无需考察大系统的能控性李代数是否满秩·     

周期边界条件下Sturm-Liouville方程组特征值问题的迹公式

讨论了周期边界条件下Sturm-Liouville方程组特征值问题.首先将特征值的存在性问题化为一个整函数零点的存在性问题,然后借助于一个积分恒等式,采用留数方法,得到了周期边界条件下Sturm-Liouville方程组特征值问题的迹公式.     

广义纳什均衡问题求解的极小极大方法

应用正则化Nikaido-Isoda函数, 一类广义纳什均衡问题的求解被转化为一个极小极大问题的求解．利用Fischer-Burmeister函数将与极小极大问题的必要性条件等价的变分不等式的Karush-Kuhn-Tucker系统转化为一个半光滑方程组．应用牛顿法求解此方程组, 并给出了半光滑牛顿法局部超线性收敛的充分条件．数值结果验证了极小极大方法对解决广义纳什均衡问题的有效性．     

PRAPS：一个用于自动程序设计的问题表示系统

提出了使用领域知识与专家系统技术形成形式问题模型的方法，并在ＰＲＡＰＳ系统中得以实现。这一方法的应用，使用户仅以自然语言形式提出问题，经ＰＲＡＰＳ系统，最终形成描述问题的形式化模型，从而为自动设计解决问题的程序奠定了基础。     

一类一阶椭圆型方程组的Schauder估计

考察在两维平面上,当边界并非光滑的情况下,一类一阶椭圆型方程组的边值问题.采取了Schauder估计的方法,选取一种加权的Hlder范数,通过将一阶椭圆组化为二阶的形式,利用二阶椭圆方程相关结果,得到了方程组的正则性和Fredholm型可解性结果.     

年龄相关的时变种群系统的分布能控性

考察了年龄相关的时变种群系统的分布控制问题,系统的数学模型是积分-偏微分方程.阐明了对每个固定的有限时刻T的近似能控性,证明了伴随问题的后向惟一性性质.     

一类具有年龄结构的竞争系统的最优输入率控制

研究一类具有年龄结构的竞争系统的最优输入率控制问题．利用特征线法给出了解对控制变量的连续依赖性定理，利用法锥概念和共轭方程导出了最优性条件．所得结果可以为非线性的竞争系统最优控制问题提供必要的理论基础．     

拟线性椭圆组的一类广义斜微商边值问题

拟线性椭圆组的一类广义斜微商边值问题刘秀君１）李子植２）１）河北科技大学基础部，０５００１８，石家庄；２）河北大学数学系，０７１００２，保定关键词拟线性椭圆组，斜微商问题，奇异积分方程组分类号（中图）Ｏ１７５．２５，Ｏ１７５．８；（１９９１ＭＲ）３５...     

M-O模型的拟合优度检验

针对在软件可靠性中广泛使用的M-O模型,考虑了如何判定其是否适合特定的软件系统的问题.首先将该问题转化成了统计中的拟合优度检验问题,然后为该检验问题提出了一个合理的检验统计量,证明了统计量的渐近正态性,并给出了检验的拒绝域.     

广义解析函数的RD~2 H复合边值问题(英文)

研究了一阶线性椭圆型偏微分方程的边界条件中含有二阶微商的RD2 H复合边值问题 ,利用消去法将其化为等价的广义解析向量的Hilbert边值问题 ,并利用奇异积分方程组的理论给出了问题的可解性结果     

基于MAS的生产计划与控制系统研究

生产计划与控制是制造企业的核心问题,Agent技术是进行分布式制造系统建模的一种主要方法之一。文章针对多品种、小批量的订货生产型中小企业生产计划与控制的特点,提出了基于多代理系统的生产计划与控制系统模型,分析了该系统模型的运行模式,并对系统中MAS的框架应用结构以及多Agent的实现方式进行研究和探讨,有效地解决了生产计划的不可行问题。