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     

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.     

功能化木材在水污染净化领域的研究进展

木材在工业废水治理领域拥有独特优势,如绿色、可再生、原料易得、适用范围广等。本文简单介绍了以木材为原料,通过脱木质素、功能纳米材料负载、官能团修饰等方法制备新型功能化木质复合材料（如：木材滤膜、木材气凝胶吸附材料、木材海绵等）,并用于净化含有重金属离子、微生物、有机物染料、油污等工业废水的相关研究进展。分析了制备工艺、改良方法等对木材过滤与吸附废水中污染物种类、降解效率、吸附容量、杀菌效果以及循环使用性的影响,并指出了木质复合材料在水污染净化领域存在的潜在问题与未来应用前景。     

Curvature effects on electric-double-layer capacitance

Understanding the microscopic structure and thermodynamic properties of electrode/electrolyte interfaces is central to the rational design of electric-double-layer capacitors (EDLCs). Whereas practical applications often entail electrodes with complicated pore structures, theoretical studies are mostly restricted to EDLCs of simple geometry such as planar or slit pores ignoring the curvature effects of the electrode surface. Significant gaps exist regarding the EDLC performance and the interfacial structure. Herein the classical density functional theory (CDFT) is used to study the capacitance and interfacial behavior of spherical electric double layers within a coarse-grained model. The capacitive performance is associated with electrode curvature, surface potential, and electrolyte concentration and can be correlated with a regression-tree (RT) model. The combination of CDFT with machine-learning methods provides a promising quantitative framework useful for the computational screening of porous electrodes and novel electrolytes.     

热氧老化EPR电缆绝缘局部放电特性及劣化机理

为了探究热氧老化后乙丙橡胶电缆绝缘的局部放电特性及劣化机理,文中通过典型柱–板电极对不同老化程度的乙丙橡胶试样进行了局部放电试验,并对其放电发展特性和材料理化性质进行了分析。结果表明:放电起始电压和闪络电压均随绝缘老化程度的提高而降低;根据放电过程中放电特征量的变化规律,可将放电过程划分为4个阶段:起始阶段、发展阶段、持续阶段、预闪络阶段,且不同老化程度试样的PRPD谱图在各阶段呈现出特定形状;老化后的试样表面气化或气体解吸附、内部添加剂成分析出导致试样表面出现"沟壑区"、白色块状物和"微孔",分子结构中的羰基等含氧基团、聚乙烯和聚丙烯等自由基数量的增加是乙丙橡胶绝缘在热氧老化后更易出现局部放电的关键原因。     

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

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