非线性动态系统“黑箱”建模方法的研究

本文研究弱非线性动态系统“黑箱”建模的理论和方法，并简要给出根据此方法建模的结果。     

Increasing testing productivity and software quality: A comparison of software testing methodologies within NASA

Pressure to compress the development life cycle and reduce the duration and resources committed to testing lead to experimentation in testing at the NASA Goddard Space Flight Centerís Software Engineering Laboratory. This study investigates the trend to reduce developer testing and increasingly rely upon inspection techniques and independent functional testing to shorten the development life cycle, improve testing productivity, and improve software quality.An approach is developed to conduct this comparison. In particular, the problem faced by software researchers, having a comprehensive characterization of software projects so similar types may be identified for comparative studies, is addressed using expert opinion.     

Robust pole assignment for incomplete nonlinear decoupling applied to robots

A robustness analysis and synthesis for incomplete nonlinear decoupling for a class of nonlinear systems is discussed. Rigid and elastic-joint robot models belong to this class. For the elastic case, a transformation facilitates the robustness analysis under a weak assumption. Charts with H ₁- and H - norms of closed-loop disturbance transfer functions of the nonlinear-decoupled system are presented for a robust pole assignment.     

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.     

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.     

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.