When data disaster happens, the disaster recovery system (DRS) can respond automatically and real-time, and quickly restart the application system in the redundant device to keep the processing of the business. The construction principle of the disaster recovery system has been studied, and combining the base function and national standard of the hospital information system (HIS), the data disa...

The SC project arose out of the recognition that the Symbolic Computation and Satisfiability Checking communities mutually benefit from the sharing of results and techniques. An SMT solver can profit from the inclusion of computer algebra techniques in its theory solver, while a computer algebra system can profit from dispatching SAT or SMT queries which arise as sub-problems during computation...

This investigation deals with the transient analysis of the machine repair system consisting of M-operating units operating under the care of single repairman. To improve the system reliability/availability, Y warm standby and S cold standby units are provided to replace the failed units. In case when all spares are being used, the failure of units occurs in degraded fashion. In such situation ...

The costs and consequences of America's fragmented and profit-driven health system have reached unsustainable levels. Far too much is spent on redundant bureaucracy, and on medical interventions that are either unproven or have been shown to be ineffective, while millions of people lack coverage for basic cost-effective health care. The current level of corporate influence on research, educatio...

Parasitic bipolar mechanisms can effectively prevent MCUs of redundant flip-flop, which improve the tolerance of soft errors. Device-level simulations reveals that no MCU occurs in redundant latches storing the opposite values by the parasitic bipolar effect, while MCU occurs by a particle hit with high energy in the redundant latches storing the same value.

workspace analysis is one of the most important issues in the robotic parallel manipulator design. ‎however, ‎the unidirectional constraint imposed by cables causes this analysis more challenging in the cabledriven redundant parallel manipulators. controllable workspace is one of the general workspace in the cabledriven redundant parallel manipulators due to the dependency on geometry parameter...