Diagnosability of Fuzzy Discrete Event Systems

In order to more effectively cope with the real-world problems of vagueness, {\it fuzzy discrete event systems} (FDESs) were proposed recently, and the supervisory control theory of FDESs was developed. In view of the importance of failure diagnosis, in this paper, we present an approach of the failure diagnosis in the framework of FDESs. More specifically: (1) We formalize the definition of diagnosability for FDESs, in which the observable set and failure set of events are {\it fuzzy}, that is, each event has certain degree to be observable and unobservable, and, also, each event may possess different possibility of failure occurring. (2) Through the construction of observability-based diagnosers of FDESs, we investigate its some basic properties. In particular, we present a necessary and sufficient condition for diagnosability of FDESs. (3) Some examples serving to illuminate the applications of the diagnosability of FDESs are described. To conclude, some related issues are raised for further consideration.Comment: 14 pages; revisions have been mad

Global Solution to the Three-Dimensional Incompressible Flow of Liquid Crystals

The equations for the three-dimensional incompressible flow of liquid crystals are considered in a smooth bounded domain. The existence and uniqueness of the global strong solution with small initial data are established. It is also proved that when the strong solution exists, all the global weak solutions constructed in [16] must be equal to the unique strong solution

Landau-De Gennes theory of nematic liquid\ud crystals: the Oseen-Frank limit and beyond

We study global minimizers of a continuum Landau-De Gennes energy functional for nematic liquid crystals, in three-dimensional domains, subject to uniaxial boundary conditions. We analyze the physically relevant limit of small elastic constant and show that global minimizers converge strongly, in W 1,2 , to a global minimizer predicted by the Oseen-Frank theory for uniaxial nematic liquid crystals with constant order parameter. Moreover, the convergence is uniform in the interior of the domain, away from the singularities of the limiting Oseen-Frank global minimizer. We obtain results on the rate of convergence of the eigenvalues and the regularity of the eigenvectors of the Landau-De Gennes global minimizer.\ud \ud \ud We also study the interplay between biaxiality and uniaxiality in Landau-De Gennes global energy minimizers and obtain estimates for various related quantities such as the biaxiality parameter and the size of admissible strongly biaxial regions

A blowup criterion for ideal viscoelastic flow

We establish an analog of the Beale-Kato-Majda criterion for singularities of smooth solutions of the system of PDE arising in the Oldroyd model for ideal viscoelastic flow

Creep fatigue life prediction for engine hot section materials (ISOTROPIC)

The specific activities summarized include: verification experiments (base program); thermomechanical cycling model; multiaxial stress state model; cumulative loading model; screening of potential environmental and protective coating models; and environmental attack model

Thermal energy storage testing facility

The thermal performance of resistance storage heaters in respect to current standards is determined. The design and construction of a storage heater test facility with capability for measuring the performance of electric resistance heated storage units is described. The performance of commercial units are compared based on existing standards. Additional performance standards are proposed