不确定系统鲁棒容错H∞控制的LMI设计方法

针对不确定线性系统,研究了执行器失效情况下鲁棒容错H_∞控制问题.基于连续增益故障模式.利用线性矩阵不等式LMI推导了系统H_∞指标约束下鲁棒容错镇定的充要条件,分别给出了输出反馈和状态反馈H_∞控制器的设计方法.通过引入变量代换,将求解输出反馈H_∞指标约束的鲁棒容错控制器的可解条件转化为标准的LMI所获得的控制器不仅能使故障系统鲁棒定,并且能达到给定的H_∞性能指标.仿真实例验证了所提出设计方法的有效性.

     

一类约化梯阵的RaRb表示

本文首先阐明线性R_aR_b变换之间的关系，并提出了算法MR_ab，再引用标准线性R_aR_b变换，证明了R_aR_b变换与算法MR_ab求解方程组的能力是等价的．然后讨论MR_ab与算法ALT之间的关系，进而说明受ALT攻击的那些有限自动机包含     

线性控制系统窗口频域分析与设计

针对局部频率范围提出了窗口H_∞范数的新概念,指出传统H_∞范数是窗口H_∞范数的特例.利用GKYP引理证明了广义界实定理,研究了线性控制系统在窗口频域的性能分析问题.基于近似模型匹配原则和广义界实定理,将控制器设计问题转化为窗口H_∞范数优化问题.仿真实例表明,窗口H_∞范数适于窗口频域的线性控制系统分析和设计.

     

具有非线性扰动的广义系统的鲁棒H∞控制

研究具有非线性结构扰动广义系统的鲁棒H_∞控制和鲁棒H_∞保性能控制问题,该不确定性为时间和状态的函数,且满足Lipschitz条件.目的是分别设计系统的鲁棒H_∞控制器和鲁棒H_∞保性能控制器.应用线性矩阵不等式方法,分别给出了系统的鲁棒H_∞控制器和鲁棒H_∞保性能控制器存在的充分条件.当这些条件可解时,分别给出了鲁棒H_∞控制器和鲁棒H_∞保性能控制器的表达式.最后通过一个仿真算例说明了所给出方法的应用.

     

模态K4、D4系统的归结推理

本文将Ｐ．Ｅｎｊａｌｂｅｒｔ和Ｌ．ＦａｒｉｎａｓｄｅｌＣｅｒｒｏ提出的模态归结推理方法推广到命题模态逻辑K₄和D₄系统，建立了K₄逻辑的归结推理ＲK₄；D₄逻辑的归结推理R D₄，分别证明了ＲK₄和ＲD₄关于K相似文献   

基于B／S模式数据库设计的优化

中国3G之路 5月10日中午,北京居民陈立勤接到一个奇怪的手机来电,号码显示是“189××××××××”。     

基于观测器的非线性系统H∞模糊可靠控制

研究了基于观测器的非线性系统H_∞模糊可靠控制问题.采用T-S模糊模型对非线性系统进行建模,用模糊观测器重构系统状态.在系统发生故障时满足给定H_∞性能的约束下,最小化正常情况下的H_∞性能,实现次优H_∞模糊可靠控制.提出了两种应用线性矩阵不等式(LMI)的H_∞模糊可靠控制器设计方法.分别采用两步法和相似变换法将双线性矩阵不等式问题转化为LMI问题.仿真示例验证了所提出方法的有效性.

     

信捷电子-全新XCM系列运动控制型PLC

特点： ·运动控制专用PLC; ·直接在XCP Pro软件中调用控制代码; ·容量更大,处理速度更快; ·可扩展模块和BD板,支持MODBUS通讯。     

基于opencv的单目视觉测量系统的研究

_{介绍一种基于机器视觉的测量工件宽度的新方法,在开源计算机视觉库OpenCV的支持下,设计并实现一种对工件宽度进行动态实时测量的系统。为了降低其它光的影响,在CCD镜头下面固定一块红光滤光片,系统通过采集经红光线激光器投射的工件图像,对图像进行二值化、截取感兴趣区域、轮廓提取等处理,最后实现工件宽度的自动测量。对不同尺寸的工件进行了自动测量实验,实验结果表明,采用的测量方法在实际工件测量中是可用的,整个测量过程用时在100ms左右,最大相对误差不超过1.5%。}     

多输入多输出离散系统的量化H∞滤波器设计

研究多输入多输出线性离散系统的量化H_∞滤波器设计问题.每路输出采用一个独立的静态对数量化器.采用扇形界方法描述量化误差,并将量化滤波问题转化为范数不确定系统的滤波问题.进而采用线性矩阵不等式方法设计线性H_∞滤波器,使滤波误差系统渐近稳定并具有给定的H_∞性能.数值仿真表明了设计方法的有效性.

     

环F2+uF2上的Gray映射

在有限环R=F₂+uF₂与F₂之间定义了一个新的Gray映射。证明了该映射是（Rⁿ,Lee重量）到（F²ⁿ,Hamming重量）的等重等距映射,同时证明了环F₂+uF₂上线性码C的二元像Φ（C）是距离不变码,而且如果环F₂+uF₂上线性码C是Lee恒距码,则二元像Φ（C）是F₂上Hamming恒距码。     

基于蕴涵算子族L-λ-R0的模糊推理α-三I约束算法

提出了基于蕴涵算子族L-λ-R₀的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族L-λ-R₀给出了模糊推理的FMP模型及FMT模型的α-三I约束算法。     

参数不确定的供应链传递函数H∞保成本计算与分析

针对参数不确定的供应链传递函数系统,提出基于H_∞保成本计算的订货策略优选方法.首先,通过遗传算法(GA)和线性矩阵不等式(LMI)相结合的H_∞保成本计算,搜寻参数不确定的传递函数H_∞范数;然后,根据传递函数H_∞范数的大小,比较其对于扰动抑制的能力,确定供应链订货策略的选择;最后,对参数不确定的补货系统和基于生产控制系统的库存和订货系统两类供应链进行了仿真,并进行了最优订货策略的选择与分析.

     

排序的相互k-Skyband查询算法

不同于传统的k-Skyband 查询方法,提出一种相互k-Skyband 查询(MkSB),它从对称角度执行Skyline查询,找出所有既在q的动态k-Skyband(DkSB)中又在q的反向k-Skyband(RkSB)中的数据对象.进一步地,为了更好地支持用户决策和数据分析,排序操作被引入到MkSB算法中.因为MkSB 需要执行q的DkSB 和反向RkSB,故它需要遍历索引多次,从而导致了大量冗余的I/O 开销.利用信息重用技术和若干有效的修剪方法,MkSB 将多次的索引搜索合并成单次,极大地降低了I/O访问次数.同时,证明了基于窗口查询的MkSB(WMkSB)算法具有最低的I/O 代价.在真实与合成数据集上的实验结果表明,所提出的算法是有效的且明显胜过基于BBS 的算法,尤其WMkSB 算法具有极少的I/O 开销,通常能够减少95%以上的冗余I/O.     

祈飞科技-CF卡

特点： ·容量：16MB～4GB; ·MTBF时间大于1,000,000小时; ·True IDE模式; ·命令／地址／数据复用I／O端口;     

新产品＆新工具

Excelsior JET7.0;Google App Engine SDK1.3.0;Moonlight2.0;Gerrit2.1;NuttX5.0;XMLBeans2.5.0;Android2.0.1;Etherpad;WordPress2.9;Spring3.0.0 GA;Google Map Server。     

构造有限域上具有给定阶点的椭圆曲线

考虑有限域上椭圆曲线的构造.设q是一个奇素数的方幂,l是一个素数.证明了,如果GF(q)[x]上的方程U²-D(x)V2=ε(x-a)^l有本原解,其中,D(x)∈GF(q)[x]是一个首1三次无平方因子的多项式,则椭圆曲线y²=D(x)上的点(a,b)的阶是l.由此,给出了一种构造具有给定阶点的椭圆曲线的算法.     

P2-Packing问题参数算法的改进

P₂-Packing问题是一个典型的NP难问题.目前这个问题的最好结果是时间复杂度为O^*(2^5.301k)的参数算法,其核的大小为15k.通过对P₂-packing问题的结构作进一步分析,提出了改进的核心化算法,得到大小为7k的核,并在此基础上提出了一种时间复杂度为O^*(2^4.142k)的参数算法,大幅度改进了目前文献中的最好结果.     

施迈赛－电磁安全锁TZM／TZF系列

特点： ·热塑外壳; ·手动、紧急开关或紧急; ·寿命长,机械寿命可达200万次; ·双绝缘; ·锁紧力达1500N;     

一类不确定时滞系统的非线性H∞控制

利用Lyapunov稳定性定理和线性矩阵不等式工具,讨论了一类不确定时滞系统的非线性H_∞控制问题.设计的非线性H_∞控制器可由线性矩阵不等式的解给出.进一步,建立一个具有线性矩阵不等式约束的凸优化问题,得到了不确定时滞系统的最优状态反馈H_∞控制律.仿真示例表明了该方法的可行性.