不确定系统鲁棒容错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_∞范数适于窗口频域的线性控制系统分析和设计.

     

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

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

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

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

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

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

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

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

     

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

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

     

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

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

     

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

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

环F2+uF2上的Gray映射

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

新产品＆新工具

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。     

基于连续故障模型的Ｄｅｌｔａ算子系统可靠鲁棒H∞ 控制

研究具有执行器故障的Ｄｅｌｔａ算子线性不确定系统的可靠鲁棒H_∞ 问题．设计控制器,确保在执行器发生故障时闭环系统仍能保持鲁棒稳定,且满足给定的H_∞ 指标．针对执行器连续故障模型,运用线性矩阵不等式方法,得到Ｄｅｌｔａ算子系统α-次优可靠鲁棒H_∞ 状态反馈控制器的存在条件和设计方法,并进一步给出了Ｄｅｌｔａ算子系统最优可靠鲁棒H_∞ 控制器的设计方法．数值算例表明,该设计方法是有效而可行的．

     

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

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

排序的相互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端口;     

F2+uF2和Z4上循环码的Gray象

利用Gray映射Φ的性质,研究了环F₂+uF₂和Z₄上的任意长循环码。证明了环F₂+uF₂上任意长码是循环码当且仅当它的Gray象是域F2上的准循环码,得到了Z₄上任意长码是循环码的一个充分必要条件。特别的,环F₂+uF₂上长为n的线性循环码的Gray象是域F₂上指标为2长为2n的线性准循环码,环Z₄上长为n的线性循环码的Gray象是域F₂上指标为2长为2n的准循环码。     

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

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

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

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

基于迭代p阈值投影算法的压缩感知磁共振成像

针对迭代软阈值投影算法中的软阈值函数收缩功能较差的问题，提出了迭代p阈值投影算法。用p阈值函数替换迭代软阈值投影算法中的软阈值函数，对小系数的惩罚更大，对大系数产生更小的偏置，以抑制噪声，减少重建误差。为加快算法速度，利用Nesterov梯度加速技术，设计了快速迭代p阈值投影算法，用于磁共振图像重建。在紧标架为平移不变离散小波变换和轮廓波下，将快速迭代p阈值投影算法用于压缩感知磁共振成像。与光滑化的快速迭代软阈值算法、迭代软阈值投影算法和交替方向乘子法进行仿真对比分析的结果表明，快速迭代p阈值投影算法提高了磁共振成像的重建速度和重建质量。分析了p值对算法性能的影响，给出了适合的p值选择方法，以获得较好的收敛速度、减小重构误差。