NbTi foil thermally controlled switches for superconducting converters with operation frequency up to 50 Hz. Part 1: Experiment

The increase of the operation frequency of superconducting converters up to 50 Hz opens new ways to improve their parameters. Thermally controlled switches using NbTi foil are able to operate at industrial frequency with reasonable efficiency and dynamic parameters. Such switches have been developed and tested. The paper presents experimental results of static and dynamic behavior of the switches. The rectification mode was tested with different shapes of the applied voltage, with currents from 150 to 450 A, voltages from 10 mV to 2.5 V and recovery times between 1 and 10 ms. The switches presented here have experimentally demonstrated superior dynamic parameters at higher efficiency than the ones reported in literature up to now

Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads

Context-bounded analysis has been shown to be both efficient and effective at finding bugs in concurrent programs. According to its original definition, context-bounded analysis explores all behaviors of a concurrent program up to some fixed number of context switches between threads. This definition is inadequate for programs that create threads dynamically because bounding the number of context switches in a computation also bounds the number of threads involved in the computation. In this paper, we propose a more general definition of context-bounded analysis useful for programs with dynamic thread creation. The idea is to bound the number of context switches for each thread instead of bounding the number of switches of all threads. We consider several variants based on this new definition, and we establish decidability and complexity results for the analysis induced by them

Lowest common ancestor interconnection networks

Lowest Common Ancestor (LCA) networks are built using switches capable of connecting u + d inputs/outputs in a permutation pattern. For n source nodes and I stages of switches, n/d switches are used in stage l - n/d - u/d in stage l - 2, and in general , n-u^l-i-l/d^l-i switches in stage i. The resulting hierarchical structure possesses interesting connectivity and permutational properties. A full characterization of LCA networks is presented together with a permutation routing algorithm for a family of LCA networks. The algorithm uses the network itself to collect and disseminate information about the permutation. A schedule of O(dp log_d/u n) passes is obtained with a switch set-up cost factor of O(log_d/u n) (p is the minimum number of passes that an algorithm with global knowledge schedules)

Design criteria monograph for actuators and operators

Instrumentation for actuators and operators includes electrical position-indicating switches, potentiometers, and transducers and pressure-indicating switches and transducers. Monograph is based on critical evaluation of experiences and practices in design, test, and use of these control devices and instruments in operational space vehicles

Cascaded transformerless DC-DC voltage amplifier with optically isolated switching devices

A very high voltage amplifier is provided in which plural cascaded banks of capacitors are switched by optically isolated control switches so as to be charged in parallel from the preceding stage or capacitor bank and to discharge in series to the succeeding stage or capacitor bank in alternating control cycles. The optically isolated control switches are controlled by a logic controller whose power supply is virtually immune to interference from the very high voltage output of the amplifier by the optical isolation provided by the switches, so that a very high voltage amplification ratio may be attained using many capacitor banks in cascade

Mathematical model of a serine integrase-controlled toggle switch with a single input

Dual-state genetic switches that can change their state in response to input signals can be used in synthetic biology to encode memory and control gene expression. A transcriptional toggle switch (TTS), with two mutually repressing transcription regulators, was previously used for switching between two expression states. In other studies, serine integrases have been used to control DNA inversion switches that can alternate between two different states. Both of these switches use two different inputs to switch ON or OFF. Here, we use mathematical modelling to design a robust one-input binary switch, which combines a TTS with a DNA inversion switch. This combined circuit switches between the two states every time it receives a pulse of a single-input signal. The robustness of the switch is based on the bistability of its TTS, while integrase recombination allows single-input control. Unidirectional integrase-RDF-mediated recombination is provided by a recently developed integrase-RDF fusion protein. We show that the switch is stable against parameter variations and molecular noise, making it a promising candidate for further use as a basic element of binary counting devices

Engineering test procedure for the patient assist device

The test procedure completely tests the functioning of the patient assist device. All modes of operation are included in the test. Patient activated switches may be chosen for use with this device as desired. These switches, however, must be single-pole, single-throw, momentarily-on switches

Design optimization for energy-efficient pulse-switching networks in carrier-injection based Si-photonics

We compare pulse-switching operations in MZI- and ring-switches both experimentally and based on large-signal circuit simulations. With a modification in switch design and with optimization of phase modulator lengths, we show high-speed switches with potential for an over 3 dB improvement in energy consumption