Discretized LKF method for stability of coupled differential‐difference equations with multiple discrete and distributed delays

Time‐delay systems described by coupled differential‐functional equations include as special cases many types of time‐delay systems and coupled differential‐difference systems with time delays. This article discusses the discretized Lyapunov–Krasovskii functional (LKF) method for the stability problem of coupled differential‐difference equations with multiple discrete and distributed delays. Through independently dividing every delay region that the plane regions consists in two delays to discretize LKF, the exponential stability conditions for coupled systems with multiple discrete and distributed delays are established based on a linear matrix inequality (LMI). The numerical examples show that the analysis limit of delay bound in which the systems are stable may be approached by our result. Copyright © 2011 John Wiley & Sons, Ltd.     

Globally asymptotic stabilization for nonlinear time-delay systems with ISS inverse dynamics

The output feedback stabilization is considered for a class of nonlinear time-delay systems with inverse dynamics in this paper.An appropriate state observer is constructed for the unmeasurable system states in order to realize the control objective.By adopting the backstepping and Lyapunov-Krasovskii functional methods,a systematic design procedure for a memoryless output feedback control law is presented.It is shown that the designed controller can make the closed-loop system globally asymptotically stable while keeping all signals bounded.An illustrative example is discussed to show the effectiveness of the proposed control strategy.     

Augmented Lyapunov functional approach for stability of neutral systems with mixed delays

This paper is concerned with the neutral‐delay‐dependent and discrete‐delay‐dependent stability for uncertain neutral systems with mixed delays and norm‐bounded uncertainties. Through constructing a new augmented Lyapunov‐Krasovskii functional and proving its positive definiteness, introducing some slack matrices and using integral inequality, the improved delay‐dependent stability criteria are derived in terms of linear matrix inequalities. Numerical examples are given to illustrate the significant improvement on the conservatism of the delay bound over some existing results. Copyright © 2010 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society     

福禄宫“蝼蜂窠”制作技术初探

福禄宫位于湖南长沙市城西区,始建于清代光绪年间。解放后,福禄宫因未及时修理维护,朽损情况严重,1983年底被拆毁。通过对残留木制装修构件拼凑,推算出该建筑的蝼蜂窠部分测绘图。福禄宫蝼蜂窠类似于北方斗栱中的平身科,是一种装饰性构件。福禄宫的昂嘴采用翼龙飞凤交错排列的形式,部分昂嘴端部另加雕饰花板。蝼蜂窠采用层层叠置出踩的形式,其表面只施以桐油或光油等透明涂料,未施其它色漆及彩绘。     

Modal logic as metalogic

The goal of this paper is to show how modal logic may be conceived as recording the derived rules of a logical system in the system itself. This conception of modal logic was propounded by Dana Scott in the early seventies. Here, similar ideas are pursued in a context less classical than Scott's.First a family of propositional logical systems is considered, which is obtained by gradually adding structural rules to a variant of the nonassociative Lambek calculus. In this family one finds systems that correspond to the associative Lambek calculus, linear logic, relevant logics, BCK logic and intuitionistic logic. Above these basic systems, sequent systems parallel to the basic systems are constructed, which formalize various notions of derived rules for the basic systems. The deduction theorem is provable for the basic systems if, and only if, they are at least as strong as systems corresponding to linear logic, or BCK logic, depending on the language, and their deductive metalogic is not stronger than they are.However, though we do not always have the deduction theorem, we may always obtain a modal analogue of the deduction theorem for conservative modal extensions of the basic systems. Modal postulates which are necessary and sufficient for that are postulates of S4 plus modal postulates which mimic structural rules. For example, the modal postulates which Girard has recently considered in linear logic are necessary and sufficient for the modal analogue of the deduction theorem.All this may lead towards results about functional completeness in categories. When functional completeness, which is analogous to the deduction theorem, fails, we may perhaps envisage a modal analogue of functional completeness in a modal category, of which our original category is a full subcategory.     

一种用于视频流的强鲁棒性数字水印方案

研究了视频流的水印嵌入和提取,为视频流提供版权保护。针对现阶段越来越多的视频流盗版现状,为了保护版权方的利益,提出了一种将版权方信息作为数字水印嵌入到视频流中的方法。通过该方法,在视频流中嵌入了不易破坏的版权方的信息,该信息可作为流媒体的追溯标记和证据。经实验证明:改进方案与其他数字水印方案相比,具有很强的鲁棒性,可抵抗视频的重复编码,抵抗分辨率缩放,抵抗一定程度的内容修改,支持水印的盲提取。     

巨磁电阻材料的研究与应用

介绍了一种新型的磁性功能材料－巨磁电阻材料，综述了其研究进展情况。并就它在巨磁电阻传感器、高密度磁记录读出磁头、巨磁电阻随机存储器以及自旋晶体管等磁电子元器件上的进行了论述。     

Analysis of Sequence Divergence in Mammalian ABCGs Predicts a Structural Network of Residues That Underlies Functional Divergence

The five members of the mammalian G subfamily of ATP-binding cassette transporters differ greatly in their substrate specificity. Four members of the subfamily are important in lipid transport and the wide substrate specificity of one of the members, ABCG2, is of significance due to its role in multidrug resistance. To explore the origin of substrate selectivity in members 1, 2, 4, 5 and 8 of this subfamily, we have analysed the differences in conservation between members in a multiple sequence alignment of ABCG sequences from mammals. Mapping sets of residues with similar patterns of conservation onto the resolved 3D structure of ABCG2 reveals possible explanations for differences in function, via a connected network of residues from the cytoplasmic to transmembrane domains. In ABCG2, this network of residues may confer extra conformational flexibility, enabling it to transport a wider array of substrates.     

烟气成分对湿式电除尘器电晕放电特性的影响

建立单通道线板式湿式电除尘器机理实验台,考察烟气中主要成分(O₂、H₂O和粉尘)对湿式静电除尘器放电特性的影响。随着烟气成分(O₂、H₂O和粉尘)浓度的增加,空间静电场中负电荷密度增加,电场分布均匀性提高,抑制电晕放电,电晕电流降低;随着电压升高,烟气成分对电晕放电的抑制作用减弱。其中,烟气中O₂的体积分数增加引起电晕电流下降的速率不为常数,O₂体积分数小于6%时,下降速率明显减小。烟气中液相水滴附着在电晕线表面引起表面电场畸化,起晕电压降低,击穿电压提高,湿式静电除尘器的工作电压窗口增大。电晕电流与烟气中粉尘浓度呈线性相关关系,粉尘粒径越小对电晕放电的抑制作用越明显。     

多孔结构耐磨超疏水薄膜的制备及性能

为了获得持久稳定的超疏水材料,本研究将聚偏氟乙烯共六氟丙烯共聚物（P(VDF-HFP)）和疏水改性的纳米三氧化二铝（Al2O3）进行复合并通过溶剂/非溶剂诱导相分离法制备了一种耐磨超疏水薄膜。采用SEM及能谱分析仪和接触角测量仪分别对薄膜的表面微观结构、化学组成和疏水性能进行表征。结果表明：制备的薄膜具有自相似微纳米复合微观结构。并且薄膜具有优异的自清洁性和耐机械摩擦性,即使经历360个周期的砂纸磨损（100 g载重）后仍保持超疏水性。除此之外薄膜具有优异耐化学溶液和紫外灯照射稳定性。