广义系统具有完整性圆盘极点配置控制器设计

考虑线性连续广义系统具有完整性的圆盘极点配置设计问题·利用广义李亚普诺夫方程和不等式给出系统正则、无脉冲,以及极点在圆盘内的充分必要条件·同时针对执行器失效的线性连续广义系统,利用Riccati不等式给出具有执行器完整性圆盘极点配置控制器的设计方法,所设计的状态反馈控制器在系统正常时是正则、无脉冲、极点配置在圆盘内即系统是D允许的,在一定条件下,仍能使执行器故障具有D允许性     

Banach空间中积分-微分方程的周期边值问题

考虑Banach空间中非线性积分-微分方程的周期边值问题u ′=f(t,u,Tu),u(0)=u(2π) ∈E。其中Tu=∫0t h(t,s)u(s)ds, h > 0,f∈C[J×E×E,E].利用抽象锥、推广了的比较定理和定义域与值域不同的非线性算子的不动点定理,构造出两个单调迭代序列,证明了Banach空间中非线性积分-徽分方程具有周期边值的最小值、最大解存在定理。     

FMS中加工设备负荷分配算法研究

研究柔性制造系统中加工设备负荷分配问题和极大消去法的应用.在考虑设备的历史加工负荷和设备被选权重的基础上,提出了一种新的负荷分配算法--改进极大消去法,使设备负荷分配更加实用可行,并应用矩阵进行运算,为CAPP和生产调度的集成实现创造了条件.最后给出了该算法的算例分析结果.     

并列运行工业锅炉的负荷优化分配

提出一种更具实用性的并列运行工业锅炉负荷优化设计方法.借助拉格朗日乘数法建立增广的目标函数,提出等耗量微增率准则及静态锅炉模型辨识方法,对耗量函数的性质给出了凸性要求.用实例说明负荷分配理论,并在例中对一些特殊问题进行了处理,得到了数据结果.针对不同的锅炉群组,只要得到其明确的燃料耗量特性函数,就可以通过这种线性规划方法得到并列运行锅炉负荷优化分配结果.     

程序中表达式的副作用问题讨论

讨论函数式语言中引入赋值操作 ,表达式的副作用对程序正确性检查的影响 ,同时也讨论了强制型语言中如何克服表达式的副作用 .文中引入了良性副作用的概念 ,并对函数式语言和强制型语言中表达式副作用是否是良性的作了进一步的讨论     

关于方程y＇=f(x,y)解存在的一个定理

本文证明了在以下条件: 若f(x,y)是区域D:|x-x_0|≤a,|y-y_0|≤b上的函数,并且|f(x,y)|≤M,当固定x,y∈[y_0-b,y_0+b]时,f(x,y)是y的左连续递增涵数;当固定y,x∈[x_0-a,x_0+a]时,f(x,y)是x的递增涵数时,那么(E)在(?){a,b/M}上有递增函数解。     

半紧1-集压缩映象的耦合不动点定理

本文利用严格集压缩算子列逼近半紧1-集压缩算子,得到了半紧1-集压缩算子的耦合不动点定理,对已有的结果进行了推广.     

一类模糊映象的广义变分不等式

给出了一类模糊映象的广义变分不等式解的存在性定理，讨论了模糊映象的满射性及有关性质。     

Banach空间中混合型非线性积分──微分方程的最大解和最小解

在弱序列完备的Ｂａｎａｃｈ空间中，利用推理论和单调迭代方法，研究了混合型非线性积分－微分方程初值问题最大解和最小解的存在性。其结果改进和推广了许多已知的结果。