Research on Fault Diagnosis Based on Dynamic causality diagram and Fuzzy Reasoning Fusion Method

With the progress of urbanization, the demand for elevators has upgraded from safe operation to comfortable, efficient, and all-round demand. The abnormal operation of the elevator is difficult to diagnose due to the complexity of the fault. This paper proposes a fault diagnosis method based on dynamic causality diagram and fuzzy reasoning. The dynamic causality diagram is extended, the intermediate module nodes are added, the description of the intermediate process of the elevator control system is solved, and the complete expression of knowledge is realized. The control timing of the elevator operation is introduced into the network structure of the dynamic causality diagram, which enhances the dynamic characteristics of the network. The causal cycle logic of the dynamic causality diagram is used to represent input and output signals and faults in elevator control systems. In the update of fuzzy rules, the real-time of fuzzy reasoning is enhanced, the search space of fuzzy rule matching is reduced, and the efficiency is improved. This paper combines actual field measurements and experimental data for fault diagnosis. Finally, the simulation, diagnosis and maintenance decision of the fault are realized, and an intelligent solution for elevator fault diagnosis is further proposed

Many-body dynamics of a Bose system with attractive interactions on a ring

We investigate the many-body dynamics of an effectively attractive one-dimensional Bose system confined in a toroidal trap. The mean-field theory predicts that a bright-soliton state will be formed when increasing the interparticle interaction over a critical point. The study of quantum many-body dynamics in this paper reveals that there is a modulation instability in a finite Bose system correspondingly. We show that Shannon entropy becomes irregular near and above the critical point due to quantum correlations. We also study the dynamical behavior of the instability by exploring the momentum distribution and the fringe visibility, which can be verified experimentally by releasing the trapComment: 6 pages,5 figure

Multicenter validation of the value of BASFI and BASDAI in Chinese ankylosing spondylitis and undifferentiated spondyloarthropathy patients

The objectives of this study were to evaluate the reliability of Bath ankylosing spondylitis functional index (BASFI) and Bath ankylosing spondylitis disease activity index (BASDAI) in Chinese ankylosing spondylitis (AS) and undifferentiated spondyloarthropathy (USpA) patients. 664 AS patients by the revised New York criteria for AS and 252 USpA patients by the European Spondyloarthropathy Study Group criteria were enrolled. BASDAI and BASFI questionnaires were translated into Chinese. Participants were required to fill in BASFI and BASDAI questionnaires again after 24 h. Moreover, BASDAI and BASFI were compared in AS patients receiving Enbrel or infliximab before and after treatment. For AS group, BASDAI ICC: 0.9502 (95% CI: 0.9330–0.9502, α = 0.9702), BASFI ICC: 0.9587 (95% CI: 0.9521–0.9645, α = 0.9789). For USpA group, BASDAI ICC: 0.9530 (95% CI: 0.9402–0.9632, α = 0.9760), BASFI ICC: 0.9900 (95% CI: 0.9871–0.9922, α = 0.9950). In the AS group, disease duration, occipital wall distance, modified Schober test, chest expansion, ESR, and CRP showed significant correlation with BASDAI and BASFI (all P < 0.01). In the USpA group, onset age, ESR, and CRP were significantly correlated with BASDAI (all P < 0.05), while modified Schober test, ESR, and CRP were significantly associated with BASFI (all P < 0.05). The change in BASDAI and BASFI via Enbrel or infliximab treatment showed a significant positive correlation (P < 0.01). The two instruments have good reliability and reference value regarding the evaluation of patient’s condition and anti-TNF-α treatment response

model checking linear duration invariants of networks of automata

Linear duration invariants (LDIs) are important safety properties of real-time systems. In this paper, we reduce the problem of verification of a network of timed automata against an LDI to an equivalent problem of model checking whether a failure state is never reached. Our approach is first to transform each component automaton Ai of the network A to an automaton Gi. The transformation helps us to record entry and exit to critical locations that appear in the LDI. We then introduce an auxiliary checker automaton S and define a failure state to verify the LDI on a given interval. Since a model checker checks exhaustively, a failure of the checker automaton to find the failure state will prove that the LDI holds. &copy; 2010 Springer

International Institute for Software Technology A Model of Component-Based Programming

Centre of the United Nations University (UNU). It is based in Macao, and was founded in 1991. It started operations in July 1992. UNU-IIST is jointly funded by the government of Macao and the governments of the People’s Republic of China and Portugal through a contribution to the UNU Endowment Fund. As well as providing twothirds of the endowment fund, the Macao authorities also supply UNU-IIST with its office premises and furniture and subsidise fellow accommodation. The mission of UNU-IIST is to assist developing countries in the application and development of software technology. UNU-IIST contributes through its programmatic activities: 1. Advanced development projects, in which software techniques supported by tools are applied, 2. Research projects, in which new techniques for software development are investigated, 3. Curriculum development projects, in which courses of software technology for universities in developing countries are developed, 4. University development projects, which complement the curriculum development projects by aiming to strengthen all aspects of computer science teaching in universities in developing countries, 5. Schools and Courses, which typically teach advanced software development techniques, 6. Events, in which conferences and workshops are organised or supported by UNU-IIST, an