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     

Estimation of elastic constant of rocks using an ANFIS approach

The engineering properties of the rocks have the most vital role in planning of rock excavation and construction for optimum utilization of earth resources with greater safety and least damage to surroundings. The design and construction of structure is influenced by physico-mechanical properties of rock mass. Young's modulus provides insight about the magnitude and characteristic of the rock mass deformation due to change in stress field. The determination of the Young's modulus in laboratory is very time consuming and costly. Therefore, basic rock properties like point load, density and water absorption have been used to predict the Young's modulus. Point load, density and water absorption can be easily determined in field as well as laboratory and are pertinent properties to characterize a rock mass. The artificial neural network (ANN), fuzzy inference system (FIS) and neuro fuzzy are promising techniques which have proven to be very reliable in recent years. In, present study, neuro fuzzy system is applied to predict the rock Young's modulus to overcome the limitation of ANN and fuzzy logic. Total 85 dataset were used for training the network and 10 dataset for testing and validation of network rules. The network performance indices correlation coefficient, mean absolute percentage error (MAPE), root mean square error (RMSE), and variance account for (VAF) are found to be 0.6643, 7.583, 6.799, and 91.95 respectively, which endow with high performance of predictive neuro-fuzzy system to make use for prediction of complex rock parameter.     

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.     

Densities and excess molar volumes of mixtures containing diesel,biodiesel and alkanols at temperatures from 288.15 to 313.15 K

The present work is focusing on the synthesization and physico-chemical properties of Jatropha curcas biodiesel with diesel and alcohols.The densities of binary diesel (2)+1-alkanols (C_3 or C_4)(3) and ternary Jatropha curcas biodiesel (1)+diesel (2)+1-alkanols (C_3or C_4)(3) blends have been reported over full range of composition at temperatures within range 288.15 to 313.15 K.Also densities of Jatropha curcas biodiesel (1)+diesel or 1-alkanols (C_3 or C_4)(2) blends have been measured at 313.15 K.Excess molar volumes,V~E,V~E_(123)of binary and ternary blends were calculated from the measured data and the derived properties were correlated to composition using Redlich–Kister equation.A reasonable agreement was found between the measured and estimated values.Further,densities and excess molar volumes data were reasoned to discuss molecular interactions taking into consideration effect of composition and temperature.     

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

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

Genetic Architecture and Molecular,Imaging and Prodromic Markers in Dementia with Lewy Bodies: State of the Art,Opportunities and Challenges

Dementia with Lewy bodies (DLB) is one of the most common causes of dementia and belongs to the group of α-synucleinopathies. Due to its clinical overlap with other neurodegenerative disorders and its high clinical heterogeneity, the clinical differential diagnosis of DLB from other similar disorders is often difficult and it is frequently underdiagnosed. Moreover, its genetic etiology has been studied only recently due to the unavailability of large cohorts with a certain diagnosis and shows genetic heterogeneity with a rare contribution of pathogenic mutations and relatively common risk factors. The rapid increase in the reported cases of DLB highlights the need for an easy, efficient and accurate diagnosis of the disease in its initial stages in order to halt or delay the progression. The currently used diagnostic methods proposed by the International DLB consortium rely on a list of criteria that comprises both clinical observations and the use of biomarkers. Herein, we summarize the up-to-now reported knowledge on the genetic architecture of DLB and discuss the use of prodromal biomarkers as well as recent promising candidates from alternative body fluids and new imaging techniques.