p-基本限制李三系

群的Frattini理论具有非常重要的意义,本文平行于群建立了限制李三系的Frattini理论,定义了P-基本限制李三系,并进一步讨论了P-基本限制李三系的一些基本性质,以及一些充分与必要条件.     

执行器饱和的随机Markov切换系统的观测器设计

利用直接法对转移概率是部分未知的,并且具有执行器饱和现象的随机Markov切换系统进行稳定性分析.通过引入自由连接权矩阵降低系统的保守性.首先,针对此类随机Markov切换系统,充分考虑转移概率中元素之间的特性,通过构建参数依赖型Lyapunov函数,并设计观测器确保闭环饱和系统的随机稳定性.然后,在线性矩阵不等式的框架下,得到均方意义下的最大不变吸引域,并将其归结为求解一组线性矩阵不等式的可行性问题.最后,数值仿真算例验证本方法的有效性.     

企业信息化环境下人-信息系统交互效率

针对制造业人-信息系统(H-IS)交互效率不高的问题,提出从任务-人-信息系统匹配的角度来优化交互效率,构建了人、任务、信息系统和交互环境匹配优度的概念模型.分析了任务与人、任务与信息系统、人与信息系统匹配对交互效率的影响机理,分析结果表明:任务与人的匹配、人与信息系统的匹配通过认知负荷、心理负荷影响人的认知效率和信息加工效率,进而影响人的自我效能感、焦虑程度和操作错误数;任务与信息系统的匹配通过员工的焦虑和信息系统功能的合理性要求影响人的情绪,进而影响人的觉醒水平和认知效率,最终影响人-信息系统交互效率.     

时滞反应扩散方程组周期解的存在性

利用上、下解方法及不动点理论研究了一类反应项非单调的时滞反应扩散方程组,构造了非单调反应项的上、下控制函数,并证明了所构造的函数满足Lipschitz条件及单调性,克服了反应项非单调无法利用单调迭代方法的局限性,为讨论反应项非单调的微分方程提供了一种有效方法,并获得了此系统边值问题周期解存在性的充分条件,推广了已有的一些结果.     

基于网络的模型库结构表示方法研究

针对现有方法存在的不能表示复杂模型关系以及模型组合与求解自动化程度低的局限性,在对模型库结构表示方式进行比较的基础上,从而进一步分析并提出了数据类型广义匹配的概念,将其应用于模型连接的表示,给出了模型库的网络结构表示的定义及其构造方法。分析了模型组合及模型库必须考虑的元素,并用网络结构表示模型库中元素间的静态连接结构;给出了模型库网络结构的形式化定义,模型间的连接通过引入类型转换实现。从而简化模型之间连接,使模型的连接判断由类型匹配判断转化为模型与转换和转换与模型之间的类型相等性判别,而类型匹配操作则通过转换自动完成。并且在组合模型求解过程中,转换过程也会自动完成,提高了模型组合与求解的自动化。     

Numerical Experiments and Structural Transformation of NonLinear Evolution in Illposed Systems

Numerical experiments on nonlinear equations of the 1st and 3rdorder derivatives have been carried out through structural analyses in the phase space according to the numerical instability of illposed systems, with changes of initial values and parameters, etc.. The results show that the quantitative instability in an illposed system may reveal reversed transformation in system evolution by structural representation, and confirm A·Dauglas’ theorem that “a nonlinear equation does not satisfy the existence of the initial value in a linear wellposed system”.     

MEMS磁场传感器的设计及测试

以U型梁为主要结构设计了一种新型的洛伦兹力驱动的磁场传感器,检测在磁场中作切割磁力线运动的金属线上的感生电压,实现磁场测量.首先介绍了传感器的工作原理,并用振动理论对传感器的受力及响应进行了分析,接着用有限元软件建立结构模型并对其振动模态和频率进行了仿真.该MEMS磁场传感器采用标准的CMOS工艺加上后处理来实现.最后...     

热连轧活套系统的分散控制

分析热连轧轧制速度增量对活套系统性能的影响,建立了活套关联系统模型,提高了活套系统模型精度.基于H∞原理,将活套高度与张力系统之间的耦合影响看作扰动,采用分散控制方式,为每台轧机活套系统单独设计控制器.仿真结果表明,基于活套关联系统模型,采用分散方式设计控制器,提高了活套系统的控制性能.     

有界变参数车道保持准滑模控制

假定车辆质量、转动惯量、轮胎侧偏刚度等参数具有不确定性,考虑时变有界和慢变未知两种情况,研究了自动化公路系统车道保持控制方法.基于位置预瞄策略和车辆横向动力学模型,建立预瞄点处的车辆横向位置误差和横摆角误差动态方程;采用准滑模控制方法,设计车道保持变结构控制规律;基于李雅普诺夫稳定性理论,对控制系统的稳定性进行分析.仿真实验表明,采用文中设计的控制方法,在达到满意跟踪性能的同时,还能有效抑制颤振,对参数不确定性具有鲁棒性.     

语篇连贯的扩展——互文性与连贯的超语篇认知阐释

连贯是语篇分析的重要课题之一。从互文性角度对连贯现象进行重新审视,一方面,展示出了互文性与连贯的紧密联系,另一方面,更揭示了语篇连贯的实质,即语篇的连贯是与当前语篇相关的主客体在语篇交际中的认知整合性连贯,是超出单个语篇范围、诸因素间的理据性关系。连贯的互文分析法,能给研究语篇连贯提供一个新的视角。