马氏正态过程在教育质量评价中的应用

首先利用正态分布给出状态空间的划分方法;然后将马氏正态过程离散化为马氏链,并给出一步转移矩阵的计算方法,根据不同的状态划分,给出对应的权矩阵,并使用加权平均确定出教学效率的指标,从而给出一种评价教学效率的新方法,并用实例验证其可行性及有效性.     

一类线性切换系统的非脆弱鲁棒H∞控制器设计

研究控制器增益存在加性摄动时的一类线切换系统的非脆弱鲁棒H∞控制问题.首先,利用多Lyapunov函数方法,把状态空间划分为N(子系统个数)个子区域,并以最小Lyapunov函数作为切换规则,研究标称系统的稳定性,而给出的稳定性条件不要求每一个子系统都是渐近稳定的.然后,考虑系统的不确定性,给出了非脆弱状态反馈控制器和切换律设计方案.通过子系统之间的切换,保证系统对所有允许的不确定性是渐近稳定的且具有H∞性能界,并以线性矩阵不等式组的形式给出控制器增益矩阵存在的充分条件.最后,以数值仿真验证了该方法的有效性.     

一类不确定离散切换模糊时滞系统的鲁棒输出反馈控制

针对状态不可观测的情况,重构系统状态,提出了一类不确定离散切换模糊时滞系统的鲁棒镇定问题.考虑每个切换子系统都是模糊系统的切换系统模型,利用切换技术,对于系统状态采用多Lyapunov函数方法,对于观测器误差采用共同Lyapunov函数方法,给出了切换律设计.利用平行分布补偿算法(PDC),给出了基于观测器的切换模糊反馈控制器设计,使得闭环系统对所有允许的不确定性,在所设计的反馈控制器和切换律下具有鲁棒性.最后通过数值仿真例子验证了该设计方法的有效性和可行性.     

线性图像处理的2D离散状态空间切换模型的能控性

研究了线性图像处理的Roesser模型的能控性,并讨论了相应的切换模型的能控性.给出一个最小不变子空间,得到了2D离散状态空间切换模型的一个能控性判据.     

混合动态系统的模糊接口设计

利用模糊逻辑控制的思想,给出了混合系统的模糊接口设计.该接口通过其内部参数的学习把连续状态空间划分成多个子空间,使受控对象的非线性系统在每个子空间内可由一基于模糊逻辑的线性模型逼近,从而简化了对象模型和设计任务.当连续状态穿越空间边界时,则由上层离散事件控制器进行模式切换,从而使系统以稳定安全的方式运行.     

一类离散时延线性切换系统的控制器设计

运用多李雅普诺夫函数方法研究了离散时延线性切换系统的镇定问题,给出了状态反馈控制器的设计方法;而后将该方法推广到基于状态观测器的离散时延切换系统控制器设计中。同时给出了求解文中双线性矩阵不等式（BMI）的巡回算法。最后通过一个仿真例子证明了设计方法的有效性。     

切换离散线性奇异系统的观测器设计

目的 研究切换离散线性奇异系统的状态观测器设计问题.方法 利用共同Lyapunov函数方法.结果 与结论 给出了一个在任意切换律下是渐近稳定的充分条件和一类共同Lyapunov函数, 并在所有子系统均能检测且因果能观的条件下,给出了切换离散线性奇异系统存在奇异状态观测器和正常降维状态观测器的充分条件和设计算法.最后以一个数值例子说明了该方法的有效性.     

不稳定子系统组成的离散时间切换系统区间观测器设计

目的 研究离散时间切换系统区间观测器的设计,实现所有子系统不稳定的离散时间切换系统状态估计,解决电主轴等复杂系统的状态监测.方法 针对不稳定子系统组成的离散时间切换系统设计区间观测器,通过构造一类递减Lyapunov函数,利用驻留时间方法给出误差系统的指数稳定条件.结果 在数值仿真中,所有子系统的状态不稳定,采用切换策...     

一类离散不确定切换系统的滑模控制

由于离散切换系统的输入矩阵不同,采用矩阵加权方法设计了一个公共滑模面。基于平均驻留时间方法设计切换信号,给出了理想滑动模态指数稳定性的充分条件。通过设计的滑模控制律,将系统状态轨迹于有限时间内趋使到准滑动模态内。最后,数值仿真验证了该方法的有效性。     

一类级联切换系统的输入对状态稳定

利用平均驻留时间方法研究了一类带有不稳定子系统的级联非线性离散切换系统的输入对状态稳定问题,并给出了使得系统输入对状态稳定的充分条件.     

基于区间计算的混合系统定时器设定范围的实例验证

针对混合系统的连续部分存在定时器时难于进行离散模型近似的问题,提出了一种结合阈值切换面划分和变步长区间计算的解决方案,应用区间计算方法能很容易地得出复杂连续动态的过渡状态,不仅可以很好对具有定时器的混合系统在某一时刻上进行验证,还可对定时器处在某一范围内的情况进行验证,化工过程控制中混合系统的实例验证过程,证明了上述思想的可行性。     

线性混合系统的一种验证方法

混合系统是指嵌入于物理环境中的数字实时系统．由于计算机技术的快速发展,混合系统在各行各业中都得到广泛应用,但是由于混合系统涉及到连续时间,因此其验证问题始终没有得到完善的解决．近年来,人们普遍采用模型检验方法对混合系统进行验证．由于线性混合系统在实际应用中可以表示大多数的嵌入式实时系统,因此我们着重研究这类混合系统的验证算法．本文首先介绍了混合系统的模型—混合自动机,然后提出了一种针对线性混合系统的基于区域的先划分再遍历的半确定性验证方法．经实例检验,该方法能够有效地验证线性混合系统．最后将本文的方法同有关的其它算法进行了比较     

基于八叉树的隐式曲面与隐式曲面求交

先将隐式曲面进行多边形化,两隐式曲面的求交,采用八叉树来搜索它们相应的两组多边形面片的交线,这一方法既避免了解析法对所给定隐式曲面要有特殊的局限性,又有克服数值法遇到初始点选取和迭代收敛性问题,算法准确可靠。     

硬盘特殊手工分区技术研究

通过对Windows 2000/XP下硬盘分区状态、分区信息表及分区引导扇区格式的全面剖析,给出在硬盘有剩余空间与不损坏原扩展分区的信息的状态下,用手工的技术去实现扩展分区的扩大技术.     

分片代数曲面的绘制

提出了一种基于多边形化的分片代数曲面的绘制方法．首先，计算每一个单元所处的片的序号，接着计算它们和曲面的所有的交点形成一个多边形，然后将这个多边形分解成若干个三角形使得每一个三角形都落在同一片曲面上．在该方法中，每一片被染上不同的颜色以便对它们进行局部的控制．最后给出了一些例子以说明这个方法的有效．     

Eu-Ru共掺NiO-SnO2复合纳米粒子薄膜的阻变特性

通过低温水浴法制备了Eu-Ru共掺杂NiO-SnO2复合纳米粒子，透射电镜图像显示纳米粒子粒径均匀，选区电子衍射表明结晶性差，所测晶面间距与SnO2和NiO相应卡片数据一致，水热机理分析表明纳米粒子由NiO-SnO2微观p-n结组成.原子力显微镜测试薄膜表面平均粗糙度约025nm，由于薄膜太薄及样品结晶性差，XRD分析未见明显衍射峰.电学测试表明纳米粒子薄膜具有可重复双极阻变特性，阈值电压约1V，开关比约500.薄膜高阻态电学输运符合缺陷俘获载流子所致空间电荷限制导电机制，低阻态呈欧姆特性，故阻变机理应为电荷俘获及再释.     

PWM开关稳压电源反馈控制律的大信号设计

在ＰＷＭ开关稳压电源的双线性模型及Ｌｉａｐｕｎｏｖ渐近稳定性理论的基础上．给出了这类系统的线性反馈控制律设计的新方法。这一大信号设计方法可使开关稳压电源有较满意的局部稳定域和瞬态响应，而所需控制能量较小。文中以双环ｂｏｏｓｔ开关稳压电源为例进行设计，并用离散时域数字仿真法对大信号扰动下的瞬态响应进行仿真。     

混合动态系统的离散事件受控对象模型

混合动态起因于离散事件系统用于监控连续状态系统的行为。用抽象语言方法描述连续状态系统，通过对连续状态系统空间的一致性分划，抽象出离散事件对象模型。基于输入／输出观点简要地讨论了离散控制器综合。     

有一个内网点的多边形区域上的多项式样条函数光滑连接问题

应用光滑余因子方法,从多元样条空间的协调方程出发,研究具有一个内网点的多边形区域内不存在贯穿三角剖分条件下的两个二元二次多项式样条函数的光滑连接问题,给出了这样两个二元二次样条函数自然连接为一个二元二次样条函数的条件.并应用所得结论给出曲面光滑连接的一个例子.     

继电保护压板的智能校核方法

继电保护压板位置一般与一次设备运行方式相关,在一次设备运行方式改变时,有时需要改变压板的位置进行匹配。实际运行操作中因压板位置投退错误,已导致多起事故发生。为了避免保护压板出现漏投、误投现象,从搜索一次元件状态、运行方式的角度出发,在采集压板位置信息基础上,提出了一种压板位置与一次元件运行方式匹配状态的智能校核方法。根据一次元件的运行状态及相应的压板整定规则,生成一次元件压板位置关联规则库,利用变电站开关状态信息在变电站倒闸操作后自动识别一次元件状态,与一次元件压板规则库进行比较,当出现不一致时给出报警提示信号,实现了压板位置的智能校核。通过对实际工程中变压器运行转检修操作任务的分析,验证了所提方法的有效性。