90 research outputs found
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. © 2010 Springer
REALIZATION OF QUANTUM LOGIC GATES AND CLUSTER STATES WITH SUPERCONDUCTING QUANTUM-INTERFERENCE DEVICES
- …