Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 37 for “"Fail-safe"”.
-
Fail-Safe Testing of Safety-Critical Systems
… dissertation proposes an approach for testing of safety-critical systems. It is based on a behavioral and a fault model. The two models are analyzed for compatibility and necessary changes are identified to make them compatible. Then transformation rules are used to transform the fault model into …
-
Design of Fail-Safe Asynchronous Sequential Machines
Made available in DSpace on 2014-12-13T18:01:46Z (GMT). No. of bitstreams: 1 7616131.pdf: 2237028 bytes, checksum: f4cbe4a19d9dddbf9ee37dca13c8c312 (MD5) Previous issue date: 1976
-
Fail-Safe Test Generation of Safety Critical Systems
… introduces a technique for testing proper failure mitigation in safety critical systems. Unlike other approaches which integrate behavioral and failure models, and then generate tests from the integrated model, we build safety mitigation tests from an existing behavioral test suite, using …
-
Fail-safe source-driven fission and fusion-fission hybrid reactor configurations
… is thought to offer adesirable fail-safe reactor alternative in that the loss of the fission or the fusion neutron sourceswould automatically lead to a shut-down of the system into a stable subcritical statewith an effective multiplication factor of less than unity (1effk). This …
-
A fail-safe, three way, variable flow control valve for a commercially available, implantable insulin infusion pump
Thesis (B.S.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 1985.
-
Design of a fail-safe wearable robot with novel extendable arms for ergonomic accommodation during floor work
… mechanical design of the system ensures it is fail-safe. A prototype has been fabricated to demonstrate the feasibility of the system. Keywords: Human Augmentation, Supernumerary Robotic Limbs, Exoskeletons, Mechanism Design, Industrial Robotics
-
A Fail-safe, Bi-Linear Liquid Spring, Controllable Magnetorheological Fluid Damper for a Three-dimensional Earthquake Isolation System
… damage from vertical motions. In this study, a fail-safe, bi-linear liquid spring, controllable magnetorheological (MR) damper is designed, built and tested. The device combines the controllable MR damping in addition to the fail-safe viscous damping and liquid spring features on a single unit …
-
Uncovering vital molecular contacts within the replisome and characterizing fail-safe mechanisms ensuring genomic stability in E. coli.
To study replisome coupling interactions and gain a better understanding of enzymatic communication, we modeled interfacial residues between α-Pol III and τ-CLC. A critical C-terminal linker in the τ-subunit tethers α-Pol III to the DnaB helicase for efficient DNA replication in E. coli. Therefore, …
-
Fault-tolerant digital machine design.
… Digital Machine Design. As a preview, fail-safe machine design is discussed in detail, and various new design techniques are presented. The fundamentals of fault-tolerant digital machine design are presented, along with various design techniques. Both hardware construction and computer …
-
Improvements of and Extensions to FSMWeb: Testing Mobile Apps
… an approach to generate black-box tests to test fail-safe behavior for web applications. We apply the approach to a large commercial web application. The approach uses a functional (behavioral) model to generate tests. It then determines at which states in the execution of behavioral test …
-
The design of safety-critical medical infusion devices
… fluid dosing must be both accurate and safe since unwanted flow disturbance can cause physiological harm to the patient. This study consists of three discrete projects based on these vital themes of safe device design and accurate fluid delivery.<br/><br/>The first project, commissioned …
-
Analysis and Optimization of Communication Networks with Flow Requirements
… reliability. There, vertices are modelled as fail-safe and edges fail stochastically independent. For a fixxed k, the network is then considered operational when each pair of vertices has k edge disjoint or internally disjoint paths, respectively, connecting them in the surviving subnetwork. …
-
An analytical investigation of passive and active suspension systems for articulated freight vehicles
… weights of these vehicles. The driver health and safety risks posed by ride vibrations, and the significant tire induced road damage caused by heavy vehicles have prompted a growing demand for design of driver- and road-friendly vehicles. Different active and passive suspension systems are thus …
-
Superconducting RF front-end filters for cell phone base stations
… an increase of cryocooler mean time between failure(MTBF) to more than 500,000 hours, and through a recently overturned patent on fail-safe operation in case of cooler failure. Comparable businesses have typical quarterly losses on the order of 10s of millions of dollars, but do sell …
-
A Hybrid Tracking Approach for Autonomous Docking in Self-Reconfigurable Robotic Modules
… as GHEFT (Genderless, High strength, Efficient, Fail-Safe, high misalignment Tolerant) allows for an efficient docking while tolerating misalignments in 6-DOF. In addition, motion along the vertical axis is also achieved via an additional translational DOF, allowing for toggling between tracked …
-
Decentralized state-space controller design of a large PHWR
… were analyzed after a reactivity disturbance. A fail-safe study was done to highlight one of the advantages of decentralized controllers.
-
Reference Design of an Online Emulation and Hot-Patching Approach for Power Electronic Controller Validation
… is inevitable. This thesis attempts to provide a fail-safe approach to securing the system by targeting the safety of the power-electronic controller. This approach applies an additional security layer in case of a malicious or accidental controller firmware malfunction. </p> <p>The online …
-
Text-Independent Speaker Identification using Statistical Learning
… offer also call for a need for them to be fail-safe against impersonators. Due to the sensitive information that might be shred on these systems, it is imperative that security be an utmost concern during the development stages. Vital systems like these should incorporate a functionality of …
Page 1 of 2