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.     

Comparative filtration and dewatering behavior of vitrinite and inertinite of bituminous coal: Experiment and simulation study

The filtration and dewatering of fine clean coal not only ensure industrial water recycle in coal washing plant, but also reduce the moisture of coal product in order to meet the requirements of combustion or coking industry. Fine clean coal is mainly composed by organic matter, and the property difference of different organic matter determines the filtration and dewatering behavior. In this investigation, vitrinite and inertinite were separated from a clean bituminous coal, and the comparative filtration and dewatering behavior of vitrinite and inertinite were conducted. The results showed that inertinite has lower dewatering rate and higher filter cake moisture than vitrinite. The analysis of filter cake structure showed that inertinite particle is easier to be broken into small particles due to the difference of mechanical properties, thus forming more compact filter cake than vitrinite. The analysis of particle surface properties showed that vitrinite is more hydrophobic than inertinite, which makes water easier drained from filter cake. The simulation study showed that the structure of inertinite is more porous than that of vitrinite,and the interaction between inertinite and water is stronger than that between vitrinite and water. This study provides a theoretical basis for improving coal dewatering by selectively improving coal maceral hydrophobicity.     

Sulfamic acid functionalized slag for effective removal of organic dye and toxic metal from the aqueous samples

Surface functionalization of blast furnace slag with sulfamic acid(a zwitterion) was performed for the removal of Cr~(3+) and methylene blue dye(MB) from water samples. The slag functionalization process was optimized using Response Surface Methodology Design. Statistical analysis of the parameters that include the sulfamic acid amount(A), reaction time(B), and temperature(C) revealed that(A) increase had a negative effect on the adsorption of both pollutants by the zwitterion slag, whereas(B) and(C)increase presented a positive impact. At the optimum condition of 2 g sulfamic acid amount, 50 min reaction time and 37 °C temperature, the prepared slag showed a removal efficiency of more than 90% for both Cr~(3+) and MB. Surface characterization by SEM/EDS, FTIR, XPS and surface area analyser, showed an improvement in surface properties and the incorporation of zwitterionic NH_2~+ and S@O groups of sulfamic acid. Adsorption isotherm and kinetic studies conducted with the zwitterion slag showed the adsorption process was suited to Freundlich isotherm model and pseudo-second-order kinetic model.The thermodynamic study conducted revealed the spontaneity of the process based on the calculated negative DG(Gibb's free energy) values. The prepared zwitterion slag offered easy regeneration with dilute HCl solution and showed a considerable removal(Cr3+: 65% and MB: 80%) for both pollutants even after 3 cycles of usage.     

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

为了获得持久稳定的超疏水材料,本研究将聚偏氟乙烯共六氟丙烯共聚物（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.     

Supramolecular Nanofibers from Collagen-Mimetic Peptides Bearing Various Aromatic Groups at N-Termini via Hierarchical Self-Assembly

Self-assembly of artificial peptides has been widely studied for constructing nanostructured materials, with numerous potential applications in the nanobiotechnology field. Herein, we report the synthesis and hierarchical self-assembly of collagen-mimetic peptides (CMPs) bearing various aromatic groups at the N-termini, including 2-naphthyl, 1-naphtyl, anthracenyl, and pyrenyl groups, into nanofibers. The CMPs (R-(GPO)_n: n > 4) formed a triple helix structure in water at 4 °C, as confirmed via CD analyses, and their conformations were more stable with increasing hydrophobicity of the terminal aromatic group and peptide chain length. The resulting pre-organized triple helical CMPs showed diverse self-assembly into highly ordered nanofibers, reflecting their slight differences in hydrophobic/hydrophilic balance and configuration of aromatic templates. TEM analysis demonstrated that 2Np-CMP_n (n = 6 and 7) and Py-CMP₆ provided well-developed natural collagen-like nanofibers and An-CMP_n (n = 5–7) self-assembled into rod-like micelle fibers. On the other hand, 2Np-CMP₅ and 1Np-CMP₆ were unable to form nanofibers under the same conditions. Furthermore, the Py-CMP₆ nanofiber was found to encapsulate a guest hydrophobic molecule, Nile red, and exhibited unique emission behavior based on the specific nanostructure. In addition to the ability of CMPs to bind small molecules, their controlled self-assembly enables their versatile utilization in drug delivery and wavelength-conversion nanomaterials.