一类约化梯阵的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∞控制的LMI设计方法

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

     

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

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

     

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

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

     

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

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

环F2+uF2上的Gray映射

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

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

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

基于蕴涵算子族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端口;     

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

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

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

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

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

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

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

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

     

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

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

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

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

     

Goguen命题逻辑系统公理化扩张的Γ-k真度理论及性质

本文首先对n值Goguen命题逻辑进行公理化扩张,Goguen_~,△,记为Π_~,△.利用公式的诱导函数给出公式在k（k任取~或△）连接词下相对于局部有限理论Γ的Γ-k真度的定义;讨论了Π_~,△中Γ-k真度的MP规则、HS规则等相关性质;最后,在Π_~,△中定义了两公式间的Γ-k相似度与Γ-k伪距离,得到了公式在连接词下相对于局部有限理论Γ的Γ-k相似度与Γ-k伪距离所具有的一些良好性质.     

会画图的18×刻录机——三星TS-H652M光雕刻录机

三星TS-H652M可以说是刚刚发布的TS-H652D功能升级版本，除增加了支持光雕技术外，其他读写规格上并没有发生过多的变化，同样拥有2MB缓存，支持18×DVD＋/-R写入与12×读取；双层DVD＋/-R可达8×读写；8×DVD＋RW与6×DVD-RW复写；48×CD-R写入和32×CD-RW复写，并支持16×DVD-ROM和48×CD-ROM读取，从以上规格上来看，仍然保持着原有的速度指标。     

有Mate-Pairs的个体单体型MSR问题的参数化算法

个体单体型MSR(minimum SNP removal)问题是指如何利用个体的基因测序片断数据去掉最少的SNP(single-nucleotide polymorphisms)位点,以确定该个体单体型的计算问题.对此问题,Bafna等人提出了时间复杂度为O(2^kn²m)的算法,其中,m为DNA片断总数,n为SNP位点总数,k为片断中洞(片断中的空值位点)的个数.由于一个Mate-Pair片段中洞的个数可以达到100,因此,在片段数据中有Mate-Pair的情况下,Bafna的算法通常是不可行的.根据片段数据的特点提出了一个时间复杂度为O((n-1)(k₁-1)k₂2^2h+(k₁+1)^2h+nk₂+mk₁)的新算法,其中,k₁为一个片断覆盖的最大SNP位点数(不大于n),k₂为覆盖同一SNP位点的片段的最大数(通常不大于19),h为覆盖同一SNP位点且在该位点取空值的片断的最大数(不大于k₂).该算法的时间复杂度与片断中洞的个数的最大值k没有直接的关系,在有Mate-Pair片断数据的情况下仍然能够有效地进行计算,具有良好的可扩展性和较高的实用价值.