Lω-空间中的ω*Ti分离性

在Lω-空间中引进一组新的分离公理。即ω^＊Ti分离公理（i=0，1，2），给出了它们的特征性质，证明了ω^＊Ti分离性具有可遗传性、可乘性和ω-同胚不变性，以及在R．Lowen意义下“好的推广”等重要性质，并且它们之间有很好的协调一致性．     

山西霍山荆条群落的生态特征及其空间分布的研究

根据野外调查的样地资料,本文分析了分布于山西霍山的荆条灌丛群落的种类组成,区系成分,外貌特征,垂直结构等基本生态学特征;统计分析了霍山上荆条灌丛的分布格局.结果表明:该群落种类组成非常丰富;区系成分以北温带分布为主;生活型以地上芽植物和一年生植物占优势;垂直分化明显,一般为乔木层、灌木层、草本层、地被层四层, 灌木层和草本层为优势片层;群落中荆条种群的分布格局为集群型,其他种群则多近似均匀型分布.     

R0-代数的R0-语义集上的拓扑

以ΩM记R0-代数M到R0-单位区间的全体赋值之集.证明一个同构于一族全序的至多可数的R0-代数的直积的子R0-代数M是赋值决定序的,即x≤y当且仅当(V)v∈ΩM,v(x)≤v(y).然后通过一种自然的方式在ΩM上引入Fuzzy拓扑δ,研究拓扑δ及其相应的截拓扑的性质.建立R0-代数的Fuzzy拓扑表现定理和Loomis-Sikorski定理.     

一类不确定离散时间切换系统的鲁棒H_∞控制

针对一类不确定性离散时间切换系统,在任意切换的情况下研究了这类系统的鲁棒H∞控制问题.首先基于多Lyapunov函数法分析含有状态反馈控制器的切换系统的鲁棒稳定性和干扰抑制性能,得到了切换系统鲁棒稳定且具有H∞扰动衰减度的充分条件.其次运用线性矩阵不等式给出了状态反馈控制器的设计方案,举例说明了所提方法的应用.     

不确定时滞非线性混沌系统的鲁棒容错控制

研究了不确定时滞非线性混沌的鲁棒容错控制问题.基于Lyapunov泛函,运用线性矩阵不等式(LMI)的方法,利用不稳定不动点的控制,引入一种带时滞的状态反馈控制律,对传感器或执行器失效的情况,证明了一类非线性不确定时滞混沌系统对于传感器和执行器故障都具有完整性.结果表明,所给出的控制律不但可以实现对某些传感器故障的容错,而且在正常和故障情况下对于传感器和执行器故障都具有完整性.     

Hilbert空间中(ψ)-强伪压缩映像不动点的迭代逼近

在Hilbert空间中研究了一类未必连续,甚至未必有界的(ψ)-强伪压缩映像的不动点的迭代逼近问题,获得了一个大范围收敛定理.     

一个具有半连续Gteaux导数的泛函的minimax定理和非线性波方程的解(英文)

本文中,我们证明了一个minimax定理,利用这个定理,我们证明了一个新的非线性波动方程的边界值问题的解的存在唯一性定理．     

协同设计中基于DSM过程重构的研究

将设计结构矩阵方法应用到复杂产品的协同设计开发过程中，通过分析设计行为之间的信息交互获得DSM的量化表达，利用图论中的强连通分支问题算法识别耦合活动集，并在此基础上根据DSM重构原则对DSM进行模块化的过程重构，同时对块内设计任务进行聚类、撕裂，获得协同设计开发过程中的优化重组，为复杂产品的设计开发提供了有效的解决方法，并通过实例说明了该方法的实用性。     

基于变量分离的生产调度空间划分算法

静态生产调度大多形成MILP或MINLP模型，由于调度规模大及混合整数规划的组合优化特性，造成调度求解困难。通过对混合整数规划模型空间的分析，提出依据整数变量和连续变量的分离策略进行空间的自然划分，从而将模型的求解转化为多个较小规模连续子空间的寻优。对典型间歇调度模型的分析表明，将空间划分后进行连续寻优的策略较大地降低了实际运算的规模，降低了求解难度，可以提高问题的求解速度和效率。     

高速线材吐丝机吐丝管空间曲线研究和改进

针对唐钢高线吐丝机存在的吐丝质量问题，采用三次样条拟合现场实测数据得到吐丝管曲线方程；根据吐丝管中线材的速度和受力模型，分析线材在吐丝管中的运动状态，研究吐丝管空间曲线对吐丝质量的影响，得到吐丝管空间曲率波动过大和出口速度变化过快是导致吐丝质量不好的主要原因；通过改善吐丝管空间曲线和规范煨管工艺制度，显著改善了甩尾、吐圈摆动等吐丝质量，吐丝管寿命提高了1倍。