75 FR 70289 - In the Matter of Certain Ground Fault Circuit Interrupters and Products Containing Same; Notice...

Science.gov (United States)

2010-11-17

... INTERNATIONAL TRADE COMMISSION [Investigation No. 337-TA-739] In the Matter of Certain Ground Fault Circuit Interrupters and Products Containing Same; Notice of Commission Determination Not To... importation, and the sale within the United States after importation of certain ground fault circuit...

75 FR 62420 - In the Matter of: Certain Ground Fault Circuit Interrupters and Products Containing Same; Notice...

Science.gov (United States)

2010-10-08

... INTERNATIONAL TRADE COMMISSION [Inv. No. 337-TA-739] In the Matter of: Certain Ground Fault... fault circuit interrupters and products containing same by reason of infringement of certain claims of U... certain ground fault circuit interrupters and products containing same that infringe one or more of claims...

Finite Ground Coplanar (FGC) Waveguide: Characteristics and Advantages Evaluated for Radiofrequency and Wireless Communication Circuits

Science.gov (United States)

Ponchak, George E.

1999-01-01

Researchers in NASA Lewis Research Center s Electron Device Technology Branch are developing transmission lines for radiofrequency and wireless circuits that are more efficient, smaller, and make lower cost circuits possible. Traditionally, radiofrequency and wireless circuits have employed a microstrip or coplanar waveguide to interconnect the various electrical elements that comprise a circuit. Although a coplanar waveguide (CPW) is widely viewed as better than a microstrip for most applications, it too has problems. To solve these problems, NASA Lewis and the University of Michigan developed a new version of a coplanar waveguide with electrically narrow ground planes. Through extensive numerical modeling and experimental measurements, we have characterized the propagation constant of the FGC waveguide, the lumped and distributed circuit elements integrated in the FGC waveguide, and the coupling between parallel transmission lines. Although the attenuation per unit length is higher for the FGC waveguide because of higher conductor loss, the attenuation is comparable when the ground plane width is twice the center conductor width as shown in the following graph. An upper limit to the line width is derived from observations that when the total line width is greater than ld/2, spurious resonances due to the parallel plate waveguide mode are established. Thus, the ground plane width must be less than ld/4 where ld is the wavelength in the dielectric. Since the center conductor width S is typically less than l/10 to maintain good transverse electromagnetic mode characteristics, it follows that a ground plane width of B = 2S would also be electrically narrow. Thus, we can now treat the ground strips of the FGC waveguide the same way that the center conductor is treated.

Progress Check Module; Basic Electricity and Electronics Individualized Learning System. Progress Check Booklet.

Science.gov (United States)

Bureau of Naval Personnel, Washington, DC.

The Progress Check Booklet is designed to be used by the student working in the programed course to determine if he has mastered the concepts in the course booklets on: electrical current; voltage; resistance; measuring current and voltage in series circuits; relationships of current, voltage, and resistance; parellel circuits; combination…

76 FR 35014 - Certain Ground Fault Circuit Interrupters and Products Containing Same; Notice of Commission...

Science.gov (United States)

2011-06-15

... INTERNATIONAL TRADE COMMISSION [Investigation No. 337-TA-739] Certain Ground Fault Circuit Interrupters and Products Containing Same; Notice of Commission Determination Not To Review an Initial... fault circuit interrupters and products containing the same by reason of infringement of various claims...

Polarity Checks in Sectors 23 & 78

CERN Document Server

Calaga, R; Lamont, M; Ponce, L; Sun, Y; Tomás, R; Venturini-Delsolaro, W; Zimmermann, F

2009-01-01

During the first three LHC synchronization tests on August 10, August 24, and September 7, 2008, linear and higher-order polarity checks were performed with beam 1 in Sector 23 and beam 2 in Sector 78. The main principle of these checks was to launch free betatron oscillations and use the difference trajectory measurements with respect to inverted polarities of circuits under investigation. In the case of zero nominal strength for a circuit, a finite value was introduced. The magnet circuits subjected to these tests were the QT and QTL trim quadrupoles, the MQS skew quadrupoles, the SF and SD arc sextupole circuits, the MCS b3 spool pieces, the OD and OF Landau octupoles, and the MSS skew sextupoles. For some of these circuits sensitivity was enhanced by introducing large momentum offsets. To detect and remove improve spurious contributions from initially off-center orbits, four sets of trajectories were recorded, namely with and without oscillation, and with two magnet strength settings, respectively. We rep...

Electronic circuit encyclopedia 2

Energy Technology Data Exchange (ETDEWEB)

Park, Sun Ho

1992-10-15

This book is composed of 15 chapters, which are amplification of weak signal and measurement circuit audio control and power amplification circuit, data transmission and wireless system, forwarding and isolation, signal converting circuit, counter and comparator, discriminator circuit, oscillation circuit and synthesizer, digital and circuit on computer image processing circuit, sensor drive circuit temperature sensor circuit, magnetic control and application circuit, motor driver circuit, measuring instrument and check tool and power control and stability circuit.

Electronic circuit encyclopedia 2

International Nuclear Information System (INIS)

Park, Sun Ho

1992-10-01

This book is composed of 15 chapters, which are amplification of weak signal and measurement circuit audio control and power amplification circuit, data transmission and wireless system, forwarding and isolation, signal converting circuit, counter and comparator, discriminator circuit, oscillation circuit and synthesizer, digital and circuit on computer image processing circuit, sensor drive circuit temperature sensor circuit, magnetic control and application circuit, motor driver circuit, measuring instrument and check tool and power control and stability circuit.

Electrical circuit for checking the state of charge of a vehicle battery. Elektrische Schaltung zur Kontrolle des Ladezustandes einer Batterie in Kraftfahrzeugen

Energy Technology Data Exchange (ETDEWEB)

Gamulescu, A

1981-05-27

The invention concerns an electrical circuit for checking the state of charge of a vehicle battery. The circuit consists of a transistor, whose collector is connected via a series resistance and a Zener diode to the positive pole of the battery. The breakdown voltage of the Zener diode is about 12 volts. The emitter of the transistor is connected via an LED to earth. A second LED is connected in parallel with the collector-emitter circuit of the transistor, which works via a voltage divider. This voltage divider reduces the voltage at the LED with the transistor which is conducting to about 0.7 volts. A second Zener diode connected via a series resistance to the positive pole is also provided. Its breakdown voltage is 15 volts.

A method of increasing the sensitivity of protection from single-phase short-circuits to ground in the 6 – 10 kV network

International Nuclear Information System (INIS)

Manilov, A. M.; Mel’nik, D. A.

2012-01-01

A method of increasing the sensitivity of protection from single-phase short-circuits to ground by acting on the signal with brief dummy grounding of the neutral is described. After determining the damage, the neutral is again grounded through a high resistance and an arc-quenching reactor. An increase in the protection sensitivity is thereby obtained, the damage detection time is shortened, and the probability of the single-phase short-circuit to ground converting into double and multipoint earth faults is reduced.

Scram system with continuos check

International Nuclear Information System (INIS)

Rodriguez Sacco, Walter.

1976-02-01

The equipment described pretends to be a further step to the use of integrated circuits in nuclear instrumentation, considering that this type of control was traditionally carried out on the bases of electromechanical elements. A continuous self-check method has been applied in accordance with the high reliability requiered for this type of equipments. The developed equipment fulfils the condition that any deficiency in its component elements, causes an anormal self-detected operation. The equipment covers two systems: the Scram one, that includes the sequence generator-detector, the rods check and scram chain, and the Check system that uses pulses from the sequence detector. (author) [es

Behavioral Consistency of C and Verilog Programs Using Bounded Model Checking

National Research Council Canada - National Science Library

Clarke, Edmund; Kroening, Daniel; Yorav, Karen

2003-01-01

.... We describe experimental results on various reactive present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking...

Check Verbraucherpolitik und Verbraucherbeteiligung

DEFF Research Database (Denmark)

Hagen, Kornelia; Micklitz, Hans-W.; Oehler, Andreas

2013-01-01

The paper discusses the opportunities for an empirically grounded decision support system as an instrument for independent and scientifically based consumer policy consulting. To date, consumer policy is dominated by the information paradigm and the leitbild of the rational, sovereign...... and information-seeking consumer. Yet, both everyday practice and research in behavioural economics show that this view lacks empirical ground. In fact, there are different consumer types and different forms of rationalities at work. Effective consumer policy making should be based on the empirically revealed...... an empirically based “Check Consumer Policy and Consumer Participation” as a systematic decision and evaluation tool for policy makers. This check should be independent from the government and should be grounded on an empirical view of the consumer. Consumer policy tools should be tested with real consumers...

Device, system and method for a sensing electrical circuit

Science.gov (United States)

Vranish, John M. (Inventor)

2009-01-01

The invention relates to a driven ground electrical circuit. A driven ground is a current-measuring ground termination to an electrical circuit with the current measured as a vector with amplification. The driven ground module may include an electric potential source V.sub.S driving an electric current through an impedance (load Z) to a driven ground. Voltage from the source V.sub.S excites the minus terminal of an operational amplifier inside the driven ground which, in turn, may react by generating an equal and opposite voltage to drive the net potential to approximately zero (effectively ground). A driven ground may also be a means of passing information via the current passing through one grounded circuit to another electronic circuit as input. It may ground one circuit, amplify the information carried in its current and pass this information on as input to the next circuit.

49 CFR 234.213 - Grounds.

Science.gov (United States)

2010-10-01

... Maintenance Standards § 234.213 Grounds. Each circuit that affects the proper functioning of a highway-rail... in the circuit. This requirement does not apply to: circuits that include track rail; alternating current power distribution circuits that are grounded in the interest of safety; and common return wires...

Current-Mode CCII+ Based Oscillator Circuits using a Conventional and a Modified Wien-Bridge with All Capacitors Grounded

Directory of Open Access Journals (Sweden)

J. Bajer

2011-04-01

Full Text Available The paper deals with a pair of current-mode sine-wave oscillator circuits. Both these circuits are implemented using positive second-generation current conveyors (CCII+. The principle of the first oscillator is based on a conventional Wien-bridge network. However, this implementation suffers from the use of a floating capacitor, which can be unacceptable in the case of on-chip integration. This drawback is solved in the second variant via a slight modification of the Wien-bridge network, which then allows the use of all capacitors grounded. The modified circuit version was manufactured by means of the socalled diamond transistors, which play the role of CCII+ active building blocks. The circuit behavior was analyzed theoretically, with particular emphasis on the identification of real effects and their elimination, and subsequently verified experimentally. The experimental results are included in the paper.

Piezoelectric drive circuit

Science.gov (United States)

Treu, C.A. Jr.

1999-08-31

A piezoelectric motor drive circuit is provided which utilizes the piezoelectric elements as oscillators and a Meacham half-bridge approach to develop feedback from the motor ground circuit to produce a signal to drive amplifiers to power the motor. The circuit automatically compensates for shifts in harmonic frequency of the piezoelectric elements due to pressure and temperature changes. 7 figs.

Simulating the JET ITER-like Antenna circuit

International Nuclear Information System (INIS)

Van Eester, D.; Lerche, E.; Durodie, F.; Evrard, M.; Huygen, S.; Ongena, J.; Vrancken, M.; Argouarch, A.; Blackman, T.; Jacquet, P.; Mayoral, M.-L.; Monakhov, I.; Nightingale, M.; Wooldridge, E.; Whitehurst, A.; Goulding, R. H.

2009-01-01

A set of simulation/interpretation tools based on transmission line theory and on the RF model developed by M. Vrancken has been developed to study the ITER-like Antenna (ILA) at JET. For given tuning element settings, the unique solution of the equations governing the ILA circuit requires solving a system of coupled linear equations relating the voltages and currents at the antenna straps and other key locations. This computation allows cross-checking predicted values against measured experimental ones. Further more, a minimization procedure allows improving the correspondence with the quantities measured in the circuit during shots, thus coping with unavoidable errors arising from uncertainties in the measurements or from inaccuracies in the adopted RF model. Typical applications are e.g. fine-tuning of the second-stage of the ILA circuit for increased ELM-resilience, cross-checking the calibration of the measurements throughout the circuit and predicting the antenna performance and matching conditions in new plasma scenarios.

Cell short circuit, preshort signature

Science.gov (United States)

Lurie, C.

1980-01-01

Short-circuit events observed in ground test simulations of DSCS-3 battery in-orbit operations are analyzed. Voltage signatures appearing in the data preceding the short-circuit event are evaluated. The ground test simulation is briefly described along with performance during reconditioning discharges. Results suggest that a characteristic signature develops prior to a shorting event.

The circuit designer's companion

CERN Document Server

Williams, Tim

1991-01-01

The Circuit Designer's Companion covers the theoretical aspects and practices in analogue and digital circuit design. Electronic circuit design involves designing a circuit that will fulfill its specified function and designing the same circuit so that every production model of it will fulfill its specified function, and no other undesired and unspecified function.This book is composed of nine chapters and starts with a review of the concept of grounding, wiring, and printed circuits. The subsequent chapters deal with the passive and active components of circuitry design. These topics are foll

Detecting short circuits during assembly

Science.gov (United States)

Deboo, G. J.

1980-01-01

Detector circuit identifies shorts between bus bars of electronic equipment being wired. Detector sounds alarm and indicates which planes are shorted. Power and ground bus bars are scanned continuously until short circuit occurs.

Experimental investigation of the check valve behaviour when the flow is reversing

Directory of Open Access Journals (Sweden)

Himr D.

2017-01-01

Full Text Available Check valve in a pipeline is supposed to prevent the reverse flow and to allow the flow in the positive direction. The construction of check valves follows these requirements, but the check valve must not cause pressure pulsations in transients. It means when the fluid is accelerating or decelerating. The article describes an experimental investigation of a swing check valve when the flow is changing its direction. The check valve was placed in an experimental circuit, where the pressure on the upstream and downstream side of the valve was measured and the current value of flow rate was determined. The goal was to simulate conditions in the real system, where the check valve slam had been observed.

Detecting the single line to ground short circuit fault in the submarine’s power system using the artificial neural network

Directory of Open Access Journals (Sweden)

Behniafar Ali

2013-01-01

Full Text Available The electric marine instruments are newly inserted in the trade and industry, for which the existence of an equipped and reliable power system is necessitated. One of the features of such a power system is that it cannot have an earth system causing the protection relays not to be able to detect the single line to ground short circuit fault. While on the other hand, the occurrence of another similar fault at the same time can lead to the double line fault and thereby the tripping of relays and shortening of vital loads. This in turn endangers the personals' security and causes the loss of military plans. From the above considerations, it is inferred that detecting the single line to ground fault in the marine instruments is of a special importance. In this way, this paper intends to detect the single line to ground fault in the power systems of the marine instruments using the wavelet transform and Multi-Layer Perceptron (MLP neural network. In the numerical analysis, several different types of short circuit faults are simulated on several marine power systems and the proposed approach is applied to detect the single line to ground fault. The results are of a high quality and preciseness and perfectly demonstrate the effectiveness of the proposed approach.

49 CFR 236.2 - Grounds.

Science.gov (United States)

2010-10-01

... circuit, except circuits which include any track rail and except the common return wires of single-wire, single-break, signal control circuits using a grounded common, and alternating current power distribution...

30 CFR 75.802 - Protection of high-voltage circuits extending underground.

Science.gov (United States)

2010-07-01

...-Voltage Distribution § 75.802 Protection of high-voltage circuits extending underground. (a) Except as... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Protection of high-voltage circuits extending... which shall be grounded through a suitable resistor at the source transformers, and a grounding circuit...

Implementing a Self- Checking PROFIBUS Slave

OpenAIRE

Krug, Margrit R.; Lubaszewski, Marcelo S.; Ferreira, Jose M.; Alves, Gustavo R.

2000-01-01

This work presents the study and preliminary results of the high level implementation of a self-checking Profibus slave. From an existing VHDL description of the device, a test strategy was studied and implemented, so that the whole circuit has embedded test structures capable to perform at-speed test of the slave. In this paper, we show the used test strategies and implementation results achieved from a synthesis process in a FPGA environment. info:eu-repo/semantics/publishedVersion

Device for testing continuity and/or short circuits in a cable

Science.gov (United States)

Hayhurst, Arthur R. (Inventor)

1995-01-01

A device for testing current paths is attachable to a conductor. The device automatically checks the current paths of the conductor for continuity of a center conductor, continuity of a shield and a short circuit between the shield and the center conductor. The device includes a pair of connectors and a circuit to provide for testing of the conductive paths of the cable. The pair of connectors electrically connects the conductive paths of a cable to be tested with the circuit paths of the circuit. The circuit paths in the circuit include indicators to simultaneously indicate the results of the testing.

Bounded Model Checking and Inductive Verification of Hybrid Discrete-Continuous Systems

DEFF Research Database (Denmark)

Becker, Bernd; Behle, Markus; Eisenbrand, Fritz

2004-01-01

We present a concept to signicantly advance the state of the art for bounded model checking (BMC) and inductive verication (IV) of hybrid discrete-continuous systems. Our approach combines the expertise of partners coming from dierent domains, like hybrid systems modeling and digital circuit veri...

NRC Information No. 90-41: Potential failure of General Electric Magne-Blast circuit breakers and AK circuit breakers

International Nuclear Information System (INIS)

Rossi, C.E.

1992-01-01

This information notice is intended to alert addressees to potential safety concerns that may result from failures of GE vertical lift (AM) and horizontal draw-out (AMH) Magne-Blast circuit breakers utilizing ML-13 operating mechanisms to open or close them and AK circuit breakers. The particular breaker failures reported herein were caused by operating problems with prop springs, snap rings and lubricating grease. GE Nuclear Energy has informed the NRC that it is aware of these problems and that GE routinely checks and corrects them if the circuit breakers are serviced at one of the four GE nuclear service centers in the US. However, the NRC is aware that some utilities may have their circuit breakers repaired or serviced at facilities other than the four GE nuclear service centers

Classical verification of quantum circuits containing few basis changes

Science.gov (United States)

Demarie, Tommaso F.; Ouyang, Yingkai; Fitzsimons, Joseph F.

2018-04-01

We consider the task of verifying the correctness of quantum computation for a restricted class of circuits which contain at most two basis changes. This contains circuits giving rise to the second level of the Fourier hierarchy, the lowest level for which there is an established quantum advantage. We show that when the circuit has an outcome with probability at least the inverse of some polynomial in the circuit size, the outcome can be checked in polynomial time with bounded error by a completely classical verifier. This verification procedure is based on random sampling of computational paths and is only possible given knowledge of the likely outcome.

Low cost design of microprocessor EDAC circuit

International Nuclear Information System (INIS)

Hao Li; Yu Lixin; Peng Heping; Zhuang Wei

2015-01-01

An optimization method of error detection and correction (EDAC) circuit design is proposed. The method involves selecting or constructing EDAC codes of low cost hardware, associated with operation scheduling implementation based on 2-input XOR gates structure, and two actions for reducing hardware cells, which can reduce the delay penalties and area costs of the EDAC circuit effectively. The 32-bit EDAC circuit hardware implementation is selected to make a prototype, based on the 180 nm process. The delay penalties and area costs of the EDAC circuit are evaluated. Results show that the time penalty and area cost of the EDAC circuitries are affected with different parity-check matrices and different hardware implementation for the EDAC codes with the same capability of correction and detection code. This method can be used as a guide for low-cost radiation-hardened microprocessor EDAC circuit design and for more advanced technologies. (paper)

Communication, concepts and grounding

NARCIS (Netherlands)

van der Velde, Frank; van der Velde, F.

2015-01-01

This article discusses the relation between communication and conceptual grounding. In the brain, neurons, circuits and brain areas are involved in the representation of a concept, grounding it in perception and action. In terms of grounding we can distinguish between communication within the brain

Thirteen years test experience with short-circuit withstand capability of large power transformers

NARCIS (Netherlands)

Smeets, R.P.P.; Paske, te L.H.; Leufkens, P.P.; Fogelberg, T.

2009-01-01

The ability to withstand a short circuit is recognised more and more as an essential characteristic of power transformers. IEC and IEEE Standards, as well as other national standards specify short-circuit testing and how to check the withstand capability. Unfortunately, however, there is extensive

PV Systems Reliability Final Technical Report: Ground Fault Detection

Energy Technology Data Exchange (ETDEWEB)

Lavrova, Olga [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Flicker, Jack David [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Johnson, Jay [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)

2016-01-01

We have examined ground faults in PhotoVoltaic (PV) arrays and the efficacy of fuse, current detection (RCD), current sense monitoring/relays (CSM), isolation/insulation (Riso) monitoring, and Ground Fault Detection and Isolation (GFID) using simulations based on a Simulation Program with Integrated Circuit Emphasis SPICE ground fault circuit model, experimental ground faults installed on real arrays, and theoretical equations.

33 CFR 183.415 - Grounding.

Science.gov (United States)

2010-07-01

... SAFETY BOATS AND ASSOCIATED EQUIPMENT Electrical Systems Manufacturer Requirements § 183.415 Grounding. If a boat has more than one gasoline engine, grounded cranking motor circuits must be connected to...

CAD-CAM printed circuit board design

Science.gov (United States)

Agy, W. E.

A step-by-step procedure for a printed circuit design achieved by CAD is presented. The operator at the interactive CRT station moves a stylus across a graphics tablet and intersperses commands which result in computer-generated pictorial forms on the screen that were drawn on the pad. Standard symbols are used for commands allowing, for instance, connections to be made of specific types in certain locations, which can be automatically edited from a materials list. An entire network of drawn lines can be referenced by a signal name for recall, and a finished circuit schematic can be checked for designs rules compliance, including fault reporting in terms of designator/pin number. A map may be present delineating the boundaries of the circuitry area, and previously completed circuitry segments can be recalled for piece-by-piece assembly of the circuit board.

THE CORRELATED TRACK RECEIVER OF TONE TRACK CIRCUITS

Directory of Open Access Journals (Sweden)

K. V. Goncharov

2011-05-01

Full Text Available The work is devoted to further improvement of processing algorithm of checking signals of rail line. The simulation modeling of correlation track receiver of tone rail circuits has been executed; the benchmark analysis of correlation receiver and direct amplifier receiver has been executed.

Electronic circuit provides automatic level control for liquid nitrogen traps

Science.gov (United States)

Turvy, R. R.

1968-01-01

Electronic circuit, based on the principle of increased thermistor resistance corresponding to decreases in temperature provides an automatic level control for liquid nitrogen cold traps. The electronically controlled apparatus is practically service-free, requiring only occasional reliability checks.

Inspection of power and ground layers in PCB images

Science.gov (United States)

Bunyak, Filiz; Ercal, Fikret

1998-10-01

In this work, we present an inspection method for power and ground (P&G) layers of printed circuit boards (PCB) also called utility layers. Design considerations for the P&G layers are different than those of signal layers. Current PCB inspection approaches cannot be applied to these layers. P&G layers act as internal ground, neutral or power sources. P&G layers are predominantly copper with occasional pad areas (without copper) called clearance. Defect definition is based on the spacing between the holes that will be drilled in clearances and the surrounding copper. Overlap of pads of different sizes and shapes are allowed. This results in complex, hard to inspect clearances. Our inspection is based on identification of shape, size and position of the individual pads that contribute to an overlapping clearance and then inspection of each pad based on design rules and tolerances. Main steps of our algorithm are as follows: (1) extraction and preprocessing of clearance contours; (2) decomposition of contours into segments: corner detection and matching lines or circular arcs between two corners; (3) determination of the pads from partial contour information obtained in step (2), and (4) design rules checking for each detected pad.

30 CFR 75.907 - Design of trailing cables for medium-voltage circuits.

Science.gov (United States)

2010-07-01

... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Design of trailing cables for medium-voltage... Medium-Voltage Alternating Current Circuits § 75.907 Design of trailing cables for medium-voltage circuits. [Statutory Provisions] Trailing cables for medium-voltage circuits shall include grounding...

Tethered Pyrotechnic Apparatus for Acquiring a Ground Sample

Science.gov (United States)

Jones, Jack; Zimmerman, Wayne; Wu, Jiunn Jenq; Badescu, Mircea; Sherrit, Stewart

2009-01-01

A proposed alternative design for the balloon-borne ground-sampling system described in the immediately preceding article would not rely on free fall to drive a harpoonlike sample-collecting device into the ground. Instead, the harpoon-like sample-collecting device would be a pyrotechnically driven, tethered projectile. The apparatus would include a tripod that would be tethered to the gondola. A gun for shooting the projectile into the ground would be mounted at the apex of the tripod. The gun would include an electronic trigger circuit, a chamber at the breech end containing a pyrotechnic charge, and a barrel. A sabot would be placed in the barrel just below the pyrotechnic charge, and the tethered projectile would be placed in the barrel just below the sabot. The tripod feet would be equipped with contact sensors connected to the trigger circuit. In operation, the tripod would be lowered to the ground on its tether. Once contact with the ground was detected by the sensors on all three tripod feet, the trigger circuit would fire the pyrotechnic charge to drive the projectile into the ground. (Requiring contact among all three tripod feet and the ground would ensure that the projectile would be fired into the ground, rather than up toward the gondola or the balloon.) The tethered projectile would then be reeled back up to the gondola for analysis of the sample.

Prevention of serious impurity penetration into water-steam circuits

International Nuclear Information System (INIS)

Burgmann, F.; Bursik, A.; Flunkert, F.; Nieder, R.

1977-01-01

In consequence of reports from several power Plants concerning heavy damages due to penetrations of impurities into the water-steam circuit, the VGB Sub-Committee 'Water Chemistry in Thermal Power Plants' has established a working group to check-up how serious impurity penetration can be avoided. The lecture describes possible danger points. Suitable technical arrangements for the avoidance of penetrations, and possibilities for monitoring will be discussed. Penetration of impurities cannot be avoided with absolute reliability, even when the recommended arrangements and usual monitoring are realized. Additional measures for the protection of water steam circuits will be suggested. (orig.) [de

Quantum Effects of Mesoscopic Inductance and Capacity Coupling Circuits

International Nuclear Information System (INIS)

Liu Jianxin; Yan Zhanyuan; Song Yonghua

2006-01-01

Using the quantum theory for a mesoscopic circuit based on the discretenes of electric charges, the finite-difference Schroedinger equation of the non-dissipative mesoscopic inductance and capacity coupling circuit is achieved. The Coulomb blockade effect, which is caused by the discreteness of electric charges, is studied. Appropriately choose the components in the circuits, the finite-difference Schroedinger equation can be divided into two Mathieu equations in p-circumflex representation. With the WKBJ method, the currents quantum fluctuations in the ground states of the two circuits are calculated. The results show that the currents quantum zero-point fluctuations of the two circuits are exist and correlated.

Short circuit in deep brain stimulation.

Science.gov (United States)

Samura, Kazuhiro; Miyagi, Yasushi; Okamoto, Tsuyoshi; Hayami, Takehito; Kishimoto, Junji; Katano, Mitsuo; Kamikaseda, Kazufumi

2012-11-01

The authors undertook this study to investigate the incidence, cause, and clinical influence of short circuits in patients treated with deep brain stimulation (DBS). After the incidental identification of a short circuit during routine follow-up, the authors initiated a policy at their institution of routinely evaluating both therapeutic impedance and system impendence at every outpatient DBS follow-up visit, irrespective of the presence of symptoms suggesting possible system malfunction. This study represents a report of their findings after 1 year of this policy. Implanted DBS leads exhibiting short circuits were identified in 7 patients (8.9% of the patients seen for outpatient follow-up examinations during the 12-month study period). The mean duration from DBS lead implantation to the discovery of the short circuit was 64.7 months. The symptoms revealing short circuits included the wearing off of therapeutic effect, apraxia of eyelid opening, or dysarthria in 6 patients with Parkinson disease (PD), and dystonia deterioration in 1 patient with generalized dystonia. All DBS leads with short circuits had been anchored to the cranium using titanium miniplates. Altering electrode settings resulted in clinical improvement in the 2 PD cases in which patients had specific symptoms of short circuits (2.5%) but not in the other 4 cases. The patient with dystonia underwent repositioning and replacement of a lead because the previous lead was located too anteriorly, but did not experience symptom improvement. In contrast to the sudden loss of clinical efficacy of DBS caused by an open circuit, short circuits may arise due to a gradual decrease in impedance, causing the insidious development of neurological symptoms via limited or extended potential fields as well as shortened battery longevity. The incidence of short circuits in DBS may be higher than previously thought, especially in cases in which DBS leads are anchored with miniplates. The circuit impedance of DBS

Generating and checking control logic in the HDL-based design of reversible circuits

DEFF Research Database (Denmark)

Wille, Robert; Keszocze, Oliver; Othmer, Lars

2017-01-01

Although different from the conventional computing paradigm, reversible computation received significant interest due to its applications in various (emerging) technologies. Here, computations can be executed not only from the inputs to the outputs, but also in the reverse direction. This leads...... solution constitutes the first automatic method for these important designs steps in the domain of reversible circuit design....

Effect of Earth Ground and Environment on Body-Centric Communications in the MHz Band

Directory of Open Access Journals (Sweden)

Katsuyuki Fujii

2012-01-01

Full Text Available Body area network (BAN research, which uses the human body as a transmission channel, has recently attracted considerable attention globally. Zimmerman first advocated the idea in 1995. Illustrations of the electric field streamlines around the human body and wearable devices with electrodes were drawn. In the pictures, the electrodes of the wearable devices constitute a closed circuit with the human body and the earth ground. However, analysis of the circuit has not been conducted. In this study, we model the human body shunted to earth ground in a radio anechoic chamber to analyze the electric field strength around it and clarify the effect of earth ground during BAN run time. The results suggest that earth ground has little influence on the human body and wearable devices. Only when the human body is directly grounded, the electric field near the feet area will decrease. The input impedance of the transmitter is approximately the same, and the received open-circuit voltage and current of the receiver are also the same. In addition, we elucidate that stable communications can be established by developing a closed circuit using earth ground as return path. When the external electronic devices and human body are shunted to earth ground, the received open-circuit voltage and current increase.

Check, check, double check: checking the autopilot causes distrust : Experimental studies on the effects of compulsive perseveration

NARCIS (Netherlands)

Dek, E.C.P.

2015-01-01

Obsessive-compulsive disorder (OCD) is characterized by persistent doubt. The majority of patients with OCD engage in repeated checking to reduce these feelings of uncertainty. However, numerous studies demonstrated that repetitive behavior ironically increases uncertainty: perseverative checking

New Temperature-Insensitive Electronically-Tunable Grounded Capacitor Simulator

OpenAIRE

Abuelma'atti, Muhammad Taher; Khan, Muhammad Haroon

1996-01-01

A new circuit for simulating a grounded capacitor is presented. The circuit uses one operationalamplifier (OA), three operational-transconductance amplifiers (OTAs), and one capacitor. The realized capacitor is temperature-insensitive and electronically tunable. Experimental results are included.

An ohmic heating circuit for the CASTOR tokamak

International Nuclear Information System (INIS)

Valovic, M.

1989-07-01

To extend the duration of the CASTOR tokamak discharge to the limit given by the toroidal magnetic field pulse, a simple ohmic heating circuit is proposed. It exploits two condenser banks charged to different voltages and switched by means of an ignitron switch. The circuit parameters are chosen so as to achieve optimum current ramp-up and flat-top phases. The choice of parameters was checked using a simple computer code, with the nonlinear magnetization of the transformer core being taken into account. The results of calculation are compared with those of an experimental test shot with a discharge current and duration of 19 kA and 40 ms, respectively. (J.U.). 3 figs., 4 refs

Method of manufacturing Josephson junction integrated circuits

International Nuclear Information System (INIS)

Jillie, D.W. Jr.; Smith, L.N.

1985-01-01

Josephson junction integrated circuits of the current injection type and magnetically controlled type utilize a superconductive layer that forms both Josephson junction electrode for the Josephson junction devices on the integrated circuit as well as a ground plane for the integrated circuit. Large area Josephson junctions are utilized for effecting contact to lower superconductive layers and islands are formed in superconductive layers to provide isolation between the groudplane function and the Josephson junction electrode function as well as to effect crossovers. A superconductor-barrier-superconductor trilayer patterned by local anodization is also utilized with additional layers formed thereover. Methods of manufacturing the embodiments of the invention are disclosed

IMPROVED ALGORITHM FOR CALCULATING COMPLEX NON-EQUIPOTENTIAL GROUNDING DEVICES OF ELECTRICAL INSTALLATIONS TAKING INTO ACCOUNT CONDUCTIVITY OF NATURAL GROUNDINGS

Directory of Open Access Journals (Sweden)

K. A. Starkov

2017-08-01

Full Text Available Purpose. The method of natural concentrated groundings substitution by the set of electrodes taking them into account in the algorithm of electric characteristics calculation for complicated grounding connections of electric installation is offered. An equivalent model as a set of linear electrodes is chosen in accordance with two criteria: leakage resistance and potentials on the ground surface. Methodology. We have applied induced potential method and methods for computing branched electrical circuits with distributed parameters. Results. We have obtained the algorithm for calculating complex non-equipotential grounding connections, which makes it possible to obtain refined values of the potential distribution in the electric stations and substations with outdoor switchgear. Originality. For the first time, we have taking into account the conductivity of natural concentrated grounds by a set of vertical and horizontal electrodes based on equivalent electrical characteristics applied to a two-layer ground. Practical value. The using of the proposed calculation algorithm in the electric grids of JSC «Kharkivoblenergo» made it possible to determine the values of the potential distribution at short circuit in electrical substation taking into account the influence of the conductivity of natural concentrated groundings.

The Effects of Check-In, Check-Up, Check-Out for Students with Moderate Intellectual Disability during On- and Off-Site Vocational Training

Science.gov (United States)

Boden, Lauren J.; Jolivette, Kristine; Alberto, Paul A.

2018-01-01

Check-in/check-out is a secondary-tier intervention within the positive behavior interventions and supports framework. Check-in/check-out pairs the use of an adult mentor with a daily progress report to help students meet individualized behavioral goals. This study adds to the research base by examining the effects of check-in, check-up, check-out…

Enhanced ground bounce noise reduction in a low-leakage CMOS multiplier

Science.gov (United States)

Verma, Bipin Kumar; Akashe, Shyam; Sharma, Sanjay

2015-09-01

In this paper, various parameters are used to reduce leakage power, leakage current and noise margin of circuits to enhance their performance. A multiplier is proposed with low-leakage current and low ground bounce noise for the microprocessor, digital signal processors (DSP) and graphics engines. The ground bounce noise problem appears when a conventional power-gating circuit transits from sleep-to-active mode. This paper discusses a reduction in leakage current in the stacking power-gating technique by three modes - sleep, active and sleep-to-active. The simulation results are performed on a 4 × 4 carry-save multiplier for leakage current, active power, leakage power and ground bounce noise, and comparison made for different nanoscales. Ground bounce noise is limited to 90%. The leakage current of the circuit is decimated up to 80% and the active power is reduced to 31%. We performed simulations using cadence virtuoso 180 and 45 nm at room temperature at various supply voltages.

Regular health checks

DEFF Research Database (Denmark)

Grønhøj Larsen, Christian; Jørgensen, Karsten Juhl; Gøtzsche, Peter C

2012-01-01

To investigate whether Danish providers of general health checks present a balanced account of possible benefits and harms on their websites and whether the health checks are evidence-based.......To investigate whether Danish providers of general health checks present a balanced account of possible benefits and harms on their websites and whether the health checks are evidence-based....

Space Time – Track Circuits with Trellis Code Modulation

Directory of Open Access Journals (Sweden)

Marius Enulescu

2017-07-01

Full Text Available The track circuits are very important equipments used in the railway transportation system. Today these are used to send vital information, to the running train, in the same time with the integrity checking of the rail. The actual track circuits have a small problem due to the use of the same transmission medium by the signals containing vital information and the return traction current, the running track rails. But this small problem can produce big disturbances in the train circulation, especially in the rush hours. To improve the data transmission to the train on-board equipment, the implementation of new track circuits using new communication technology were studied. This technology is used by the mobile and satellite communications and applies the principle of diversity encoding both time and space through the use of multiple transmission points of the track circuit signal for telegram which is sent to the train. Since this implementation does not satisfy the intended purpose, other modern communication principles such as 8PSK signals modulation and encoding using Trellis Coded Modulation were developed. This new track circuit aims to solve the problems which appeared in the current operation of track circuits and theoretically manages to transmit vital information to the train on board equipment without being affected by disturbances in electric traction transport systems.

Evaluation of the performance of the IQ-check kits and the USDA microbiology laboratory guidebook methods for detection of Shiga Toxin-Producing E. coli (STEC) and STEC and Salmonella simultaneously in ground beef

Science.gov (United States)

Aims: To evaluate the performance of the IQ-Check kits and the USDA Microbiology Laboratory Guidebook (MLG) methods for detection of the top 7 Shiga toxin-producing E. coli (STEC) (O157:H7, O26, O45, O103, O111, O121, and O145) in ground beef and both STEC and Salmonella in co-inoculated samples. M...

Checking Java Programs

CERN Document Server

Darwin, Ian

2007-01-01

This Short Cut tells you about tools that will improve the quality of your Java code, using checking above and beyond what the standard tools do, including: Using javac options, JUnit and assertions Making your IDE work harder Checking your source code with PMD Checking your compiled code (.class files) with FindBugs Checking your program's run-time behavior with Java PathFinder

Glovebox with purification and pressure control of the neutral gas atmosphere in closed circuit

International Nuclear Information System (INIS)

Cadrot, J.

1990-01-01

In the gas main are placed 2 series of specific gas purifiers in parallel. Pressure is controlled with a buffer tank two three way solenoid value upstream and down stream a compressor and a supercharger. A checking board allows continuous monitoring of circuit tightness [fr

Quantum Effect in a Diode Included Nonlinear Inductance-Capacitance Mesoscopic Circuit

International Nuclear Information System (INIS)

Yan Zhanyuan; Zhang Xiaohong; Ma Jinying

2009-01-01

The mesoscopic nonlinear inductance-capacitance circuit is a typical anharmonic oscillator, due to diodes included in the circuit. In this paper, using the advanced quantum theory of mesoscopic circuits, which based on the fundamental fact that the electric charge takes discrete value, the diode included mesoscopic circuit is firstly studied. Schroedinger equation of the system is a four-order difference equation in p-circumflex representation. Using the extended perturbative method, the detail energy spectrum and wave functions are obtained and verified, as an application of the results, the current quantum fluctuation in the ground state is calculated. Diode is a basis component in a circuit, its quantization would popularize the quantum theory of mesoscopic circuits. The methods to solve the high order difference equation are helpful to the application of mesoscopic quantum theory.

14 CFR 121.411 - Qualifications: Check airmen (airplane) and check airmen (simulator).

Science.gov (United States)

2010-01-01

... 14 Aeronautics and Space 3 2010-01-01 2010-01-01 false Qualifications: Check airmen (airplane) and... § 121.411 Qualifications: Check airmen (airplane) and check airmen (simulator). (a) For the purposes of this section and § 121.413: (1) A check airman (airplane) is a person who is qualified, and permitted...

An audit of level two and level three checks of anaesthesia delivery systems performed at three hospitals in South Australia.

Science.gov (United States)

Sweeney, N; Owen, H; Fronsko, R; Hurlow, E

2012-11-01

Anaesthetists may subject patients to unnecessary risk by not checking anaesthetic equipment thoroughly before use. Numerous adverse events have been associated with failure to check equipment. The Australian and New Zealand College of Anaesthetists and anaesthetic delivery system manufactures have made recommendations on how anaesthetic equipment should be maintained and checked before use and for the training required for staff who use such equipment. These recommendations are made to minimise the risk to patients undergoing anaesthesia. This prospective audit investigated the adherence of anaesthetic practitioners to a selection of those recommendations. Covert observations of anaesthetic practitioners were made while they were checking their designated anaesthetic machine, either at the beginning of a day's list or between cases. Structured interviews with staff who check the anaesthetic machine were carried out to determine the training they had received. The results indicated poor compliance with recommendations: significantly, the backup oxygen cylinders' pressure/contents were not checked in 45% of observations; the emergency ventilation device was not checked in 67% of observations; the breathing circuit was not tested between patients in 79% of observations; no documentation of the checks performed was done in any cases; and no assessment or accreditation of the staff who performed these checks was performed. It was concluded that the poor compliance was a system failing and that patient safety might be increased with training and accrediting staff responsible for checking equipment, documenting the checks performed, and the formulation and use of a checklist.

Check valve

Science.gov (United States)

Upton, H.A.; Garcia, P.

1999-08-24

A check valve for use in a GDCS of a nuclear reactor and having a motor driven disk including a rotatable armature for rotating the check valve disk over its entire range of motion is described. In one embodiment, the check valve includes a valve body having a coolant flow channel extending therethrough. The coolant flow channel includes an inlet end and an outlet end. A valve body seat is located on an inner surface of the valve body. The check valve further includes a disk assembly, sometimes referred to as the motor driven disc, having a counterweight and a disk shaped valve. The disk valve includes a disk base having a seat for seating with the valve body seat. The disk assembly further includes a first hinge pin member which extends at least partially through the disk assembly and is engaged to the disk. The disk valve is rotatable relative to the first hinge pin member. The check valve also includes a motor having a stator frame with a stator bore therein. An armature is rotatably positioned within the stator bore and the armature is coupled to the disk valve to cause the disk valve to rotate about its full range of motion. 5 figs.

Check valve

International Nuclear Information System (INIS)

Upton, H.A.; Garcia, P.

1999-01-01

A check valve for use in a GDCS of a nuclear reactor and having a motor driven disk including a rotatable armature for rotating the check valve disk over its entire range of motion is described. In one embodiment, the check valve includes a valve body having a coolant flow channel extending therethrough. The coolant flow channel includes an inlet end and an outlet end. A valve body seat is located on an inner surface of the valve body. The check valve further includes a disk assembly, sometimes referred to as the motor driven disc, having a counterweight and a disk shaped valve. The disk valve includes a disk base having a seat for seating with the valve body seat. The disk assembly further includes a first hinge pin member which extends at least partially through the disk assembly and is engaged to the disk. The disk valve is rotatable relative to the first hinge pin member. The check valve also includes a motor having a stator frame with a stator bore therein. An armature is rotatably positioned within the stator bore and the armature is coupled to the disk valve to cause the disk valve to rotate about its full range of motion. 5 figs

Three-dimensional multi-terminal superconductive integrated circuit inductance extraction

International Nuclear Information System (INIS)

Fourie, Coenrad J; Wetzstein, Olaf; Kunert, Jürgen; Ortlepp, Thomas

2011-01-01

Accurate inductance calculations are critical for the design of both digital and analogue superconductive integrated circuits, and three-dimensional calculations are gaining importance with the advent of inductive biasing, inductive coupling and sky plane shielding for RSFQ cells. InductEx, an extraction programme based on the three-dimensional calculation software FastHenry, was proposed earlier. InductEx uses segmentation techniques designed to accurately model the geometries of superconductive integrated circuit structures. Inductance extraction for complex multi-terminal three-dimensional structures from current distributions calculated by FastHenry is discussed. Results for both a reflection plane modelling an infinite ground plane and a finite segmented ground plane that allows inductive elements to extend over holes in the ground plane are shown. Several SQUIDs were designed for and fabricated with IPHT's 1 kA cm −2 RSFQ1D niobium process. These SQUIDs implement a number of loop structures that span different layers, include vias, inductively coupled control lines and ground plane holes. We measured the loop inductance of these SQUIDs and show how the results are used to calibrate the layer parameters in InductEx and verify the extraction accuracy. We also show that, with proper modelling, FastHenry can be fast enough to be used for the extraction of typical RSFQ cell inductances.

30 CFR 75.800-2 - Approved circuit schemes.

Science.gov (United States)

2010-07-01

... undervoltage protection if the relay coils are designed to trip the circuit breaker when line voltage decreases to 40 percent to 60 percent of the nominal line voltage; (b) Ground trip relays on resistance... AND HEALTH MANDATORY SAFETY STANDARDS-UNDERGROUND COAL MINES Underground High-Voltage Distribution...

14 CFR 91.1089 - Qualifications: Check pilots (aircraft) and check pilots (simulator).

Science.gov (United States)

2010-01-01

... 14 Aeronautics and Space 2 2010-01-01 2010-01-01 false Qualifications: Check pilots (aircraft) and check pilots (simulator). 91.1089 Section 91.1089 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION... RULES Fractional Ownership Operations Program Management § 91.1089 Qualifications: Check pilots...

Utilisation of symmetrical components in a communication-based protection for loop MV feeders with variable short-circuit power

DEFF Research Database (Denmark)

Ciontea, Catalin-Iosif; Bak, Claus Leth; Blaabjerg, Frede

2018-01-01

-circuit power is presented. It relies on utilisation of symmetrical components of the short-circuit currents and on communication between the protection relays. The proposed method addresses the Single Phase to Ground (SPG) faults occurring in directly grounded distribution networks, with focus on closed......Variability of the available short-circuit power also implies variation of the fault level, which can potentially cause several protection problems in the electric networks. In this paper, a novel protection method that is insensitive to the fault level changes caused by variable short......-loop Medium Voltage (MV) feeders. Case studies are presented, which demonstrate that the proposed protection scheme is capable of effectively detecting the SPG faults in closed-loop feeders with variable short-circuit power....

Extraction of MOS VLSI (Very-Large-Scale-Integrated) Circuit Models Including Critical Interconnect Parasitics.

Science.gov (United States)

1987-09-01

level descrip- tion without human intervention. Although design rules and the layout function may not be checked, performance verification is still a...digital syvstems.- Proc. I1E1., vol. 69. no. 10. pp. 1200-1211. October 198 1. [2] A. Gupta, AT A circuit extractor." Proc. 20th Design Automiation

WE-E-BRB-10: DosCheck - an Electronic Chart Checking Tool for Dosimetrists.

Science.gov (United States)

Yang, D; Wu, Y; Yaddanapudi, S; Moore, K; Pierbuxg, B; Brame, S; Mutic, S

2012-06-01

In addition to treatment planning, dosimetrists have to prepare documentation and manually enter data in treatment management system (TMS) which did not transfer or setup automatically. The required documents and data are dependent on the disease site, treatment machine and clinical workflow. Errors and inconsistencies can cause redundant work, treatment delays and potentially treatment errors. To address these issues, an electronic checking software tool, DosCheck was clinically implemented to check the existence of necessary documentations and the integrity of manually-entered data. The purpose of this software is to reduce the frequency of human errors and to improve efficiency. DosCheck reads data and documents from 1) TMS, 2) Pinnacle TPS, and 3) DICOM plan files stored in a DICOM-RT PACS. It processes documents in Word and PDF format, treatment plan data in Pinnacle native format and DICOM format, and Mosaiq data in database records. The software cross-checks data accuracy and consistency by following rules that are pre-defined according to the clinical requirements and treatment sties. It interacts with dosimetrists and presents instantaneous results via graphical user interface. DosCheck has been implemented in C#. It performs a full check for a patient with 20 seconds. It has been clinically commissioned and is used daily by all dosimetrists at our institution. Retrospective analysis shows that DosCheck identifies 30% to 40% of previously reported dosimetrist human errors. Additional ∼30% errors are checked by other tools that could be integrated DosCheck in the near future. As an electronic data checking tool, DosCheck can obtain and process data and documents from multiple clinical computer systems in the radiation oncology department, and perform checks according to clinical rules. It is able to improve the accuracy and efficiency of clinical data and document process, and therefore to reduce any potential inconsistencies and errors. © 2012 American

Novel Grounded Capacitor All-Pass and Notch Filters Using Current Conveyors and Differential Amplifier

Directory of Open Access Journals (Sweden)

R. Saraswat

2003-01-01

Full Text Available Three circuits each realizing second-order all-pass/notch filter transfer functions are reported. All circuits use grounded capacitors and are suitable for IC implementation. These circuits offer the advantages of high input impedance and low output impedance and are superior to all earlier realisations.

Communication, concepts and grounding.

Science.gov (United States)

van der Velde, Frank

2015-02-01

This article discusses the relation between communication and conceptual grounding. In the brain, neurons, circuits and brain areas are involved in the representation of a concept, grounding it in perception and action. In terms of grounding we can distinguish between communication within the brain and communication between humans or between humans and machines. In the first form of communication, a concept is activated by sensory input. Due to grounding, the information provided by this communication is not just determined by the sensory input but also by the outgoing connection structure of the conceptual representation, which is based on previous experiences and actions. The second form of communication, that between humans or between humans and machines, is influenced by the first form. In particular, a more successful interpersonal communication might require forms of situated cognition and interaction in which the entire representations of grounded concepts are involved. Copyright © 2014 Elsevier Ltd. All rights reserved.

Distance protection of multiple-circuit shared tower transmission lines with different voltages

DEFF Research Database (Denmark)

Silva, Filipe Miguel Faria da; Bak, Claus Leth

2017-01-01

combined faults, being advised to increase the resistive limit of the protection zone, if the network has lower short-circuit power. It is recommended to assure that the fault can only happen for cases where the faulted phase from the higher voltage level leads the faulted phase from the lower voltage......Multiple-circuit transmission lines combining different voltage levels in one tower present extra challenges when setting a protection philosophy, as faults between voltage levels are possible. In this study, the fault loop impedance of combined faults is compared with the fault loop impedance......-phase-to-ground faults. It is also demonstrated that the fault loop impedance of combined faults is more resistive, when compared with equivalent single-phase-to-ground faults. It is concluded that the settings used to protect a line against single-phase-to-ground faults are capable of protecting the line against...

Specification and verification of gate-level VHDL models of synchronous and asynchronous circuits

Science.gov (United States)

Russinoff, David M.

1995-01-01

We present a mathematical definition of hardware description language (HDL) that admits a semantics-preserving translation to a subset of VHDL. Our HDL includes the basic VHDL propagation delay mechanisms and gate-level circuit descriptions. We also develop formal procedures for deriving and verifying concise behavioral specifications of combinational and sequential devices. The HDL and the specification procedures have been formally encoded in the computational logic of Boyer and Moore, which provides a LISP implementation as well as a facility for mechanical proof-checking. As an application, we design, specify, and verify a circuit that achieves asynchronous communication by means of the biphase mark protocol.

Sistem Proteksi Arus Bocor Menggunakan Earth Leakage Circuit Breaker Berbasis Arduino

Directory of Open Access Journals (Sweden)

Syukriyadin Syukriyadin

2017-02-01

Full Text Available Touching a live part of electrical equipment either intentionally or unintentionally can cause an electric shock. The touch can occur directly or indirectly and results in the flow of electric current through the human body to the ground. This electric current is known as the leakage current and can have fatal effects on the human body such as burns, cramps, faint and death. This paper aims to design a prototype protection model of the earth leakage circuit breaker device based on Arduino (ELCBA to protect the human body from the electrical hazards. The performance of the ELCBA is investigated by detecting the earth leakage current to the grounding system (TN.  The prototype is designed and simulated by using Proteus software. Based on the response test carried out on the prototype, it can be concluded that the ELCBA can operate properly to disconnect the electric circuit if the leakage current is detected greater than or equal to 30 mA with a time delay of 15 ms and to reclose the circuit again after 5 minutes.

A novel grounded to floating admittance converter with electronic control

Science.gov (United States)

Prasad, Dinesh; Ahmad, Javed; Srivastava, Mayank

2018-01-01

This article suggests a new grounded to floating admittance convertor employing only two voltage differencing transconductance amplifiers (VDTAs). The proposed circuit can convert any arbitrary grounded admittance into floating admittance with electronically controllable scaling factor. The presented converter enjoys the following beneficial: (1) no requirement of any additional passive element (2) scaling factor can be tuned electronically through bias currents of VDTAs (3) no matching constraint required (4) low values of active/passive sensitivity indexes and (5) excellent non ideal behavior that indicates no deviation in circuit behavior even under non ideal environment. Application of the proposed configuration in realization of floating resistor and floating capacitor has been presented and the workability of these floating elements has been confirmed by active filter design examples. SPICE simulations have been performed to demonstrate the performance of the proposed circuits.

A 1.7 MHz Chua's circuit using VMs and CF+s

OpenAIRE

Sánchez López, C

2012-01-01

In this paper, a high-frequency Chua's chaotic oscillator based on unity gain cells (UGCs) is introduced. Leveraging the internal buffers of the integrated circuit AD844, a voltage mirror (VM) and a positive current follower (CF+) are designed, taking into account the parasitic elements associated to each UGC. Afterwards, the behavior of the nonlinear resistor and of the grounded inductor are designed by using several VMs, CF+s, discrete capacitors and resistors. In this way, Chua's circuit i...

Engineering squeezed states of microwave radiation with circuit quantum electrodynamics

International Nuclear Information System (INIS)

Li Pengbo; Li Fuli

2011-01-01

We introduce a squeezed state source for microwave radiation with tunable parameters in circuit quantum electrodynamics. We show that when a superconducting artificial multilevel atom interacting with a transmission line resonator is suitably driven by external classical fields, two-mode squeezed states of the cavity modes can be engineered in a controllable fashion from the vacuum state via adiabatic following of the ground state of the system. This scheme appears to be robust against decoherence and is realizable with present techniques in circuit quantum electrodynamics.

A Distance Detector with a Strip Magnetic MOSFET and Readout Circuit.

Science.gov (United States)

Sung, Guo-Ming; Lin, Wen-Sheng; Wang, Hsing-Kuang

2017-01-10

This paper presents a distance detector composed of two separated metal-oxide semiconductor field-effect transistors (MOSFETs), a differential polysilicon cross-shaped Hall plate (CSHP), and a readout circuit. The distance detector was fabricated using 0.18 μm 1P6M Complementary Metal-Oxide Semiconductor (CMOS) technology to sense the magnetic induction perpendicular to the chip surface. The differential polysilicon CSHP enabled the magnetic device to not only increase the magnetosensitivity but also eliminate the offset voltage generated because of device mismatch and Lorentz force. Two MOSFETs generated two drain currents with a quadratic function of the differential Hall voltages at CSHP. A readout circuit-composed of a current-to-voltage converter, a low-pass filter, and a difference amplifier-was designed to amplify the current difference between two drains of MOSFETs. Measurements revealed that the electrostatic discharge (ESD) could be eliminated from the distance sensor by grounding it to earth; however, the sensor could be desensitized by ESD in the absence of grounding. The magnetic influence can be ignored if the magnetic body (human) stays far from the magnetic sensor, and the measuring system is grounded to earth by using the ESD wrist strap (Strap E-GND). Both 'no grounding' and 'grounding to power supply' conditions were unsuitable for measuring the induced Hall voltage.

Fabrication-process-induced variations of Nb/Al/AlOx/Nb Josephson junctions in superconductor integrated circuits

International Nuclear Information System (INIS)

Tolpygo, Sergey K; Amparo, Denis

2010-01-01

Currently, superconductor digital integrated circuits fabricated at HYPRES, Inc. can operate at clock frequencies approaching 40 GHz. The circuits present multilayered structures containing tens of thousands of Nb/Al/AlO x /Nb Josephson junctions (JJs) of various sizes interconnected by four Nb wiring layers, resistors, and other circuit elements. In order to be fully operational, the integrated circuits should be fabricated such that the critical currents of the JJs are within the tight design margins and the proper relationships between the critical currents of JJs of different sizes are preserved. We present experimental data and discuss mechanisms of process-induced variations of the critical current and energy gap of Nb/Al/AlO x /Nb JJs in integrated circuits. We demonstrate that the Josephson critical current may depend on the type and area of circuit elements connected to the junction, on the circuit pattern, and on the step in the fabrication process at which the connection is made. In particular, we discuss the influence of (a) the junction base electrode connection to the ground plane, (b) the junction counter electrode connection to the ground plane, and (c) the counter electrode connection to the Ti/Au or Ti/Pd/Au contact pads by Nb wiring. We show that the process-induced changes of the properties of Nb/Al/AlO x /Nb junctions are caused by migration of impurity atoms (hydrogen) between the different layers comprising the integrated circuits.

Resistorless Electronically Tunable Grounded Inductance Simulator Design

OpenAIRE

Herencsár, Norbert; Kartci, Aslihan

2017-01-01

A new realization of grounded lossless positive inductance simulator (PIS) using simple inverting voltage buffer and unity-gain current follower/inverter (CF±) is reported. Considering the input intrinsic resistance of CF± as useful active parameter, the proposed PIS can be considered as resistorless circuit and it only employs in total 16 Metal-Oxide-Semiconductor (MOS) transistors and a grounded capacitor. The resulting equivalent inductance value of the proposed simulator can be adjusted v...

Short- circuit tests of circuit breakers

OpenAIRE

Chorovský, P.

2015-01-01

This paper deals with short-circuit tests of low voltage electrical devices. In the first part of this paper, there are described basic types of short- circuit tests and their principles. Direct and indirect (synthetic) tests with more details are described in the second part. Each test and principles are explained separately. Oscilogram is obtained from short-circuit tests of circuit breakers at laboratory. The aim of this research work is to propose a test circuit for performing indirect test.

Experimental and numerical study of electrical crosstalk in photonic integrated circuits

NARCIS (Netherlands)

Yao, W.; Gilardi, G.; Calabretta, N.; Smit, M.K.; Wale, M.J.

2015-01-01

This paper presents measurement results on electrical crosstalk between interconnect lines and electro-optical phaseshifters in photonic integrated circuits. The results indicate that overall crosstalk originates from radiative and substrate coupling between lines and from shared ground connections.

Ground Return Current Behaviour in High Voltage Alternating Current Insulated Cables

Directory of Open Access Journals (Sweden)

Roberto Benato

2014-12-01

Full Text Available The knowledge of ground return current in fault occurrence plays a key role in the dimensioning of the earthing grid of substations and of cable sealing end compounds, in the computation of rise of earth potential at substation sites and in electromagnetic interference (EMI on neighbouring parallel metallic conductors (pipes, handrails, etc.. Moreover, the ground return current evaluation is also important in steady-state regime since this stray current can be responsible for EMI and also for alternating current (AC corrosion. In fault situations and under some assumptions, the ground return current value at a substation site can be computed by means of k-factors. The paper shows that these simplified and approximated approaches have a lot of limitations and only multiconductor analysis can show the ground return current behaviour along the cable (not only the two end values both in steady-state regime and in short circuit occurrence (e.g., phase-to-ground and phase-to-phase-to-ground. Multiconductor cell analysis (MCA considers the cable system in its real asymmetry without simplified and approximated hypotheses. The sensitivity of ground return current on circuit parameters (cross-bonding box resistances, substation earthing resistances, soil resistivity is presented in the paper.

Rigour and grounded theory.

Science.gov (United States)

Cooney, Adeline

2011-01-01

This paper explores ways to enhance and demonstrate rigour in a grounded theory study. Grounded theory is sometimes criticised for a lack of rigour. Beck (1993) identified credibility, auditability and fittingness as the main standards of rigour for qualitative research methods. These criteria were evaluated for applicability to a Straussian grounded theory study and expanded or refocused where necessary. The author uses a Straussian grounded theory study (Cooney, In press) to examine how the revised criteria can be applied when conducting a grounded theory study. Strauss and Corbin (1998b) criteria for judging the adequacy of a grounded theory were examined in the context of the wider literature examining rigour in qualitative research studies in general and grounded theory studies in particular. A literature search for 'rigour' and 'grounded theory' was carried out to support this analysis. Criteria are suggested for enhancing and demonstrating the rigour of a Straussian grounded theory study. These include: cross-checking emerging concepts against participants' meanings, asking experts if the theory 'fit' their experiences, and recording detailed memos outlining all analytical and sampling decisions. IMPLICATIONS FOR RESEARCH PRACTICE: The criteria identified have been expressed as questions to enable novice researchers to audit the extent to which they are demonstrating rigour when writing up their studies. However, it should not be forgotten that rigour is built into the grounded theory method through the inductive-deductive cycle of theory generation. Care in applying the grounded theory methodology correctly is the single most important factor in ensuring rigour.

Packaging printed circuit boards: A production application of interactive graphics

Science.gov (United States)

Perrill, W. A.

1975-01-01

The structure and use of an Interactive Graphics Packaging Program (IGPP), conceived to apply computer graphics to the design of packaging electronic circuits onto printed circuit boards (PCB), were described. The intent was to combine the data storage and manipulative power of the computer with the imaginative, intuitive power of a human designer. The hardware includes a CDC 6400 computer and two CDC 777 terminals with CRT screens, light pens, and keyboards. The program is written in FORTRAN 4 extended with the exception of a few functions coded in COMPASS (assembly language). The IGPP performs four major functions for the designer: (1) data input and display, (2) component placement (automatic or manual), (3) conductor path routing (automatic or manual), and (4) data output. The most complex PCB packaged to date measured 16.5 cm by 19 cm and contained 380 components, two layers of ground planes and four layers of conductors mixed with ground planes.

Commutation circuit for an HVDC circuit breaker

Science.gov (United States)

Premerlani, William J.

1981-01-01

A commutation circuit for a high voltage DC circuit breaker incorporates a resistor capacitor combination and a charging circuit connected to the main breaker, such that a commutating capacitor is discharged in opposition to the load current to force the current in an arc after breaker opening to zero to facilitate arc interruption. In a particular embodiment, a normally open commutating circuit is connected across the contacts of a main DC circuit breaker to absorb the inductive system energy trapped by breaker opening and to limit recovery voltages to a level tolerable by the commutating circuit components.

Grounding, Shielding and Power Distribution for the LHCb Silicon Tracking

CERN Document Server

Bauer, C; Frei, R; Straumann, U; Vázquez, P; Vollhardt, A

2005-01-01

This note lists the relevant items for power and grounding, it explains the sensitive detector input signal circuits and describes the grounding, power distribution and line filtering measures applied to each of the electrical units of the LHCb silicon tracking system. This note deals with both silicon sub-projects, the Inner Tracker (IT) and the Trigger Tracker (TT).

The Simulation Computer Based Learning (SCBL) for Short Circuit Multi Machine Power System Analysis

Science.gov (United States)

Rahmaniar; Putri, Maharani

2018-03-01

Strengthening Competitiveness of human resources become the reply of college as a conductor of high fomal education. Electrical Engineering Program UNPAB (Prodi TE UNPAB) as one of the department of electrical engineering that manages the field of electrical engineering expertise has a very important part in preparing human resources (HR), Which is required by where graduates are produced by DE UNPAB, Is expected to be able to compete globally, especially related to the implementation of Asean Economic Community (AEC) which requires the active participation of graduates with competence and quality of human resource competitiveness. Preparation of HR formation Competitive is done with the various strategies contained in the Seven (7) Higher Education Standard, one part of which is the implementation of teaching and learning process in Electrical system analysis with short circuit analysis (SCA) This course is a course The core of which is the basis for the competencies of other subjects in the advanced semester at Development of Computer Based Learning model (CBL) is done in the learning of interference analysis of multi-machine short circuit which includes: (a) Short-circuit One phase, (B) Two-phase Short Circuit Disruption, (c) Ground Short Circuit Disruption, (d) Short Circuit Disruption One Ground Floor Development of CBL learning model for Electrical System Analysis course provides space for students to be more active In learning in solving complex (complicated) problems, so it is thrilling Ilkan flexibility of student learning how to actively solve the problem of short-circuit analysis and to form the active participation of students in learning (Student Center Learning, in the course of electrical power system analysis.

Repeated checking causes memory distrust

NARCIS (Netherlands)

van den Hout, M.; Kindt, M.

2003-01-01

This paper attempts to explain why in obsessive-compulsive disorder (OCD) checkers distrust in memory persists despite extensive checking. It is argued that: (1) repeated checking increases familiarity with the issues checked; (2) increased familiarity promotes conceptual processing which inhibits

30 CFR 77.906 - Trailing cables supplying power to low-voltage mobile equipment; ground wires and ground check...

Science.gov (United States)

2010-07-01

... portable or mobile equipment from low-voltage three-phase resistance grounded power systems shall contain... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Trailing cables supplying power to low-voltage... STANDARDS, SURFACE COAL MINES AND SURFACE WORK AREAS OF UNDERGROUND COAL MINES Low- and Medium-Voltage...

Research of grounding capacitive current of neutral non-grounding auxiliary system in nuclear power plants

International Nuclear Information System (INIS)

Yang Shan; Liu Li; Huang Xiaojing

2014-01-01

In the domestic and abroad standards, the grounding capacitive current limitation in the non-grounding electric auxiliary system is less than 10 A. Limiting capacitive current in the standard aims to speed up the arc extinguishing to reduce the duration of arc over-voltage, but not to prevent the arc producing, The arc over-voltage harm is related to the multiple, frequency and duration of the over-voltage. When the insulation vulnerabilities appear in the equipment, the arc over-voltage may result in insulation vulnerabilities of the electrical equipment breakdown, which leads to multiple, short-circuit accidents. The cable connector, accessory and electromotor winding are all insulation vulnerabilities. Setting the arc suppression coil which can counteract the grounding capacitive current makes the arc vanish quickly. Using the casting bus which remarkably reduces the ground capacitance of the electric transmission line makes the equipment safer. (authors)

Oscillator circuits

CERN Document Server

Graf, Rudolf F

1996-01-01

This series of circuits provides designers with a quick source for oscillator circuits. Why waste time paging through huge encyclopedias when you can choose the topic you need and select any of the specialized circuits sorted by application?This book in the series has 250-300 practical, ready-to-use circuit designs, with schematics and brief explanations of circuit operation. The original source for each circuit is listed in an appendix, making it easy to obtain additional information.Ready-to-use circuits.Grouped by application for easy look-up.Circuit source listing

Measuring circuits

CERN Document Server

Graf, Rudolf F

1996-01-01

This series of circuits provides designers with a quick source for measuring circuits. Why waste time paging through huge encyclopedias when you can choose the topic you need and select any of the specialized circuits sorted by application?This book in the series has 250-300 practical, ready-to-use circuit designs, with schematics and brief explanations of circuit operation. The original source for each circuit is listed in an appendix, making it easy to obtain additional information.Ready-to-use circuits.Grouped by application for easy look-up.Circuit source listings

Robust Sequential Circuits Design Technique for Low Voltage and High Noise Scenarios

Directory of Open Access Journals (Sweden)

Garcia-Leyva Lancelot

2016-01-01

In this paper we introduce an innovative input and output data redundancy principle for sequential block circuits, the responsible to keep the state of the system, showing its efficiency in front of other robust technique approaches. The methodology is totally different from the Von Neumann approaches, because element are not replicated N times, but instead, they check the coherence of redundant input data no allowing data propagation in case of discrepancy. This mechanism does not require voting devices.

What is a good health check? An interview study of health check providers' views and practices.

Science.gov (United States)

Stol, Yrrah H; Asscher, Eva C A; Schermer, Maartje H N

2017-10-02

Health checks identify (risk factors for) disease in people without symptoms. They may be offered by the government through population screenings and by other providers to individual users as 'personal health checks'. Health check providers' perspective of 'good' health checks may further the debate on the ethical evaluation and possible regulation of these personal health checks. In 2015, we interviewed twenty Dutch health check providers on criteria for 'good' health checks, and the role these criteria play in their practices. Providers unanimously formulate a number of minimal criteria: Checks must focus on (risk factors for) treatable/preventable disease; Tests must be reliable and clinically valid; Participation must be informed and voluntary; Checks should provide more benefits than harms; Governmental screenings should be cost-effective. Aspirational criteria mentioned were: Follow-up care should be provided; Providers should be skilled and experienced professionals that put the benefit of (potential) users first; Providers should take time and attention. Some criteria were contested: People should be free to test on any (risk factor for) disease; Health checks should only be performed in people at high risk for disease that are likely to implement health advice; Follow up care of privately funded tests should not drain on collective resources. Providers do not always fulfil their own criteria. Their reasons reveal conflicts between criteria, conflicts between criteria and other ethical values, and point to components in the (Dutch) organisation of health care that hinder an ethical provision of health checks. Moreover, providers consider informed consent a criterion that is hard to establish in practice. According to providers, personal health checks should meet the same criteria as population screenings, with the exception of cost-effectiveness. Providers do not always fulfil their own criteria. Results indicate that in thinking about the ethics of health

Parallel Algorithms for Model Checking

NARCIS (Netherlands)

van de Pol, Jaco; Mousavi, Mohammad Reza; Sgall, Jiri

2017-01-01

Model checking is an automated verification procedure, which checks that a model of a system satisfies certain properties. These properties are typically expressed in some temporal logic, like LTL and CTL. Algorithms for LTL model checking (linear time logic) are based on automata theory and graph

Resonance circuits for adiabatic circuits

Directory of Open Access Journals (Sweden)

C. Schlachta

2003-01-01

Full Text Available One of the possible techniques to reduces the power consumption in digital CMOS circuits is to slow down the charge transport. This slowdown can be achieved by introducing an inductor in the charging path. Additionally, the inductor can act as an energy storage element, conserving the energy that is normally dissipated during discharging. Together with the parasitic capacitances from the circuit a LCresonant circuit is formed.

Resilience of the quantum Rabi model in circuit QED

International Nuclear Information System (INIS)

Manucharyan, Vladimir E; Baksic, Alexandre; Ciuti, Cristiano

2017-01-01

In circuit quantum electrodynamics (circuit QED), an artificial ‘circuit atom’ can couple to a quantized microwave radiation much stronger than its real atomic counterpart. The celebrated quantum Rabi model describes the simplest interaction of a two-level system with a single-mode boson field. When the coupling is large enough, the bare multilevel structure of a realistic circuit atom cannot be ignored even if the circuit is strongly anharmonic. We explored this situation theoretically for flux (fluxonium) and charge (Cooper pair box) type multi-level circuits tuned to their respective flux/charge degeneracy points. We identified which spectral features of the quantum Rabi model survive and which are renormalized for large coupling. Despite significant renormalization of the low-energy spectrum in the fluxonium case, the key quantum Rabi feature—nearly-degenerate vacuum consisting of an atomic state entangled with a multi-photon field—appears in both types of circuits when the coupling is sufficiently large. Like in the quantum Rabi model, for very large couplings the entanglement spectrum is dominated by only two, nearly equal eigenvalues, in spite of the fact that a large number of bare atomic states are actually involved in the atom-resonator ground state. We interpret the emergence of the two-fold degeneracy of the vacuum of both circuits as an environmental suppression of flux/charge tunneling due to their dressing by virtual low-/high-impedance photons in the resonator. For flux tunneling, the dressing is nothing else than the shunting of a Josephson atom with a large capacitance of the resonator. Suppression of charge tunneling is a manifestation of the dynamical Coulomb blockade of transport in tunnel junctions connected to resistive leads. (paper)

Calculation of transient potential rise on the wind turbine struck by lightning.

Science.gov (United States)

Xiaoqing, Zhang

2014-01-01

A circuit model is proposed in this paper for calculating the transient potential rise on the wind turbine struck by lightning. The model integrates the blade, sliding contact site, and tower and grounding system of the wind turbine into an equivalent circuit. The lightning current path from the attachment point to the ground can be fully described by the equivalent circuit. The transient potential responses are obtained in the different positions on the wind turbine by solving the circuit equations. In order to check the validity of the model, the laboratory measurement is made with a reduced-scale wind turbine. The measured potential waveform is compared with the calculated one and a better agreement is shown between them. The practical applicability of the model is also examined by a numerical example of a 2 MW Chinese-built wind turbine.

An Improved Memristive Diode Bridge-Based Band Pass Filter Chaotic Circuit

Directory of Open Access Journals (Sweden)

Quan Xu

2017-01-01

Full Text Available By replacing a series resistor in active band pass filter (BPF with an improved memristive diode bridge emulator, a third-order memristive BPF chaotic circuit is presented. The improved memristive diode bridge emulator without grounded limitation is equivalently achieved by a diode bridge cascaded with only one inductor, whose fingerprints of pinched hysteresis loop are examined by numerical simulations and hardware experiments. The memristive BPF chaotic circuit has only one zero unstable saddle point but causes complex dynamical behaviors including period, chaos, period doubling bifurcation, and coexisting bifurcation modes. Specially, it should be highly significant that two kinds of bifurcation routes are displayed under different initial conditions and the coexistence of three different topological attractors is found in a narrow parameter range. Moreover, hardware circuit using discrete components is fabricated and experimental measurements are performed, upon which the numerical simulations are validated. Notably, the proposed memristive BPF chaotic circuit is only third-order and has simple topological structure.

Check valves aging assessment

International Nuclear Information System (INIS)

Haynes, H.D.

1991-01-01

In support of the NRC Nuclear Plant Aging Research (NPAR) program, the Oak Ridge National Laboratory (ORNL) has carried out an assessment of several check value diagnostic monitoring methods, in particular, those based on measurements of acoustic emission, ultrasonics, and magnetic flux. The evaluations have focussed on the capabilities of each method to provide information useful in determining check valve aging and service wear effects, check valve failures, and undesirable operating modes. This paper describes the benefits and limitations associated with each method and includes recent laboratory and field test data, including data obtained from the vendors who recently participated in a comprehensive series of tests directed by a nuclear industry users group. In addition, as part of the ORNL Advanced Diagnostic Engineering Research and Development Center (ADEC), two novel nonintrusive monitoring methods were developed that provide several unique capabilities. These methods, based on external ac- an dc-magnetic monitoring are also described. None of the examined methods could, by themselves, monitor both the instantaneous position and motion of check valve internals and valve leakage; however, the combination of acoustic emission monitoring with one of the other methods provides the means to determine vital check valve operational information

27 CFR 70.101 - Bad checks.

Science.gov (United States)

2010-04-01

... 27 Alcohol, Tobacco Products and Firearms 2 2010-04-01 2010-04-01 false Bad checks. 70.101 Section....101 Bad checks. If any check or money order in payment of any amount receivable under Title 26 of the... appropriate TTB officer that such check was tendered in good faith and that such person had reasonable cause...

Project Circuits in a Basic Electric Circuits Course

Science.gov (United States)

Becker, James P.; Plumb, Carolyn; Revia, Richard A.

2014-01-01

The use of project circuits (a photoplethysmograph circuit and a simple audio amplifier), introduced in a sophomore-level electric circuits course utilizing active learning and inquiry-based methods, is described. The development of the project circuits was initiated to promote enhanced engagement and deeper understanding of course content among…

Intrinsically safe electrical installations, auxiliary circuits and electric communication equipment

Energy Technology Data Exchange (ETDEWEB)

Herms, C D

1981-11-19

Technical progress has not stopped short of electrical systems in mining, so that three new chapters are new included in the VDE regulations leaflet No. 0118 on 'Installation of electrical systems in underground coal mining'. The regulations on intrinsically safe electric systems, auxiliary circuits and communication systems are briefly described, and grounds for the regulations are presented. The regulations already take account of European regulations on intrinsic safety which will soon be published in a European Regulation on Mine Explosions. In the chapters on auxiliary circuits and communication systems, protection against direct contact, fires, and explosions is discussed as well as the further goal of reliable signal transmission.

Check In / Check Out. The Public Space as an Internet of Things

NARCIS (Netherlands)

van t Hof, C.C.G.; van Est, R.; Daemen, F.

2011-01-01

Mobile phones, public transport smart cards, security cameras and GPS systems in our car - we are surrounded by digital devices. They track us, guide us, help us, and control us. The book Check In / Check Out. The Public Space as an Internet of Things shows us how our digital and physical worlds are

Check in / check out : the public space as an internet of things

NARCIS (Netherlands)

Hof, van 't C.; Est, van R.; Daemen, F.

2011-01-01

Mobile phones, public transport smart cards, security cameras and GPS systems in our car - we are surrounded by digital devices. They track us, guide us, help us, and control us. The book Check In / Check Out. The Public Space as an Internet of Things shows us how our digital and physical worlds are

What is a good health check? An interview study of health check providers' views and practices

NARCIS (Netherlands)

Y. Stol (Yrrah); E.C.A. Asscher (Eva); M.H.N. Schermer (Maartje)

2017-01-01

markdownabstract__Background:__ Health checks identify (risk factors for) disease in people without symptoms. They may be offered by the government through population screenings and by other providers to individual users as 'personal health checks'. Health check providers' perspective of 'good'

checkCIF/PLATON (full publication check)

Indian Academy of Sciences (India)

editor handling your paper, to upload your CIF via our web site. PLATON version of 05/02/2014; check.def file version of 05/02/2014. Datablock I - ellipsoid plot http://vm02b.iucr.org/cgi-bin/checkcif_hkl.pl（第 3／4 页）2014-2-12 09:09:12 ...

Time-space modal logic for verification of bit-slice circuits

Science.gov (United States)

Hiraishi, Hiromi

1996-03-01

The major goal of this paper is to propose a new modal logic aiming at formal verification of bit-slice circuits. The new logic is called as time-space modal logic and its major feature is that it can handle two transition relations: one for time transition and the other for space transition. As for a verification algorithm, a symbolic model checking algorithm of the new logic is shown. This could be applicable to verification of bit-slice microprocessor of infinite bit width and 1D systolic array of infinite length. A simple benchmark result shows the effectiveness of the proposed approach.

Design, development and evaluation of a resistor-based multiplexing circuit for a 20×20 SiPM array

International Nuclear Information System (INIS)

Wang, Zhonghai; Sun, Xishan; Lou, Kai; Meier, Joseph; Zhou, Rong; Yang, Chaowen; Zhu, Xiaorong; Shao, Yiping

2016-01-01

One technical challenge in developing a large-size scintillator detector with multiple Silicon Photomultiplier (SiPM) arrays is to read out a large number of detector output channels. To achieve this, different signal multiplexing circuits have been studied and applied with different performances and cost-effective tradeoffs. Resistor-based multiplexing circuits exhibit simplicity and signal integrity, but also present the disadvantage of timing shift among different channels. In this study, a resistor-based multiplexing circuit for a large-sized SiPM array readout was developed and evaluated by simulation and experimental studies. Similarly to a multiplexing circuit used for multi-anode PMT, grounding and branching resistors were connected to each SiPM output channel. The grounding resistor was used to simultaneously reduce the signal crosstalk among different channels and to improve timing performance. Both grounding and branching resistor values were optimized to maintain a balanced performance of the event energy, timing, and positioning. A multiplexing circuit was implemented on a compact PCB and applied for a flat-panel detector which consisted of a 32×32 LYSO scintillator crystals optically coupled to 5×5 SiPM arrays for a total 20×20 output channels. Test results showed excellent crystal identification for all 1024 LYSO crystals (each with 2×2×30 mm"3 size) with "2"2Na flood-source irradiation. The measured peak-to-valley ratio from typical crystal map profile is around 3:1 to 6.6:1, an average single crystal energy resolution of about 17.3%, and an average single crystal timing resolution of about 2 ns. Timing shift among different crystals, as reported in some other resistor-based multiplexing circuit designs, was not observed. In summary, we have designed and implemented a practical resistor-based multiplexing circuit that can be readily applied for reading out a large SiPM array with good detector performance.

Design, development and evaluation of a resistor-based multiplexing circuit for a 20×20 SiPM array

Energy Technology Data Exchange (ETDEWEB)

Wang, Zhonghai [College of Physical Science and Technology, Key Laboratory of Radiation Physics and Technology, Ministry of Education, Sichuan University, Chengdu (China); Department of Radiation Oncology, University of Texas Southwestern Medical Center, Dallas, Tx (United States); Sun, Xishan [Department of Radiation Oncology, University of Texas Southwestern Medical Center, Dallas, Tx (United States); Lou, Kai [Department of Electrical and Computer Engineering, Rice University, Houston, Tx (United States); Meier, Joseph [Department of Imaging Physics, The University of Texas MD Anderson Cancer Center, Houston, Tx (United States); Zhou, Rong; Yang, Chaowen [College of Physical Science and Technology, Key Laboratory of Radiation Physics and Technology, Ministry of Education, Sichuan University, Chengdu (China); Zhu, Xiaorong [Department of Radiation Physics, The University of Texas MD Anderson Cancer Center, Houston, Tx (United States); Shao, Yiping [Department of Radiation Oncology, University of Texas Southwestern Medical Center, Dallas, Tx (United States)

2016-04-21

One technical challenge in developing a large-size scintillator detector with multiple Silicon Photomultiplier (SiPM) arrays is to read out a large number of detector output channels. To achieve this, different signal multiplexing circuits have been studied and applied with different performances and cost-effective tradeoffs. Resistor-based multiplexing circuits exhibit simplicity and signal integrity, but also present the disadvantage of timing shift among different channels. In this study, a resistor-based multiplexing circuit for a large-sized SiPM array readout was developed and evaluated by simulation and experimental studies. Similarly to a multiplexing circuit used for multi-anode PMT, grounding and branching resistors were connected to each SiPM output channel. The grounding resistor was used to simultaneously reduce the signal crosstalk among different channels and to improve timing performance. Both grounding and branching resistor values were optimized to maintain a balanced performance of the event energy, timing, and positioning. A multiplexing circuit was implemented on a compact PCB and applied for a flat-panel detector which consisted of a 32×32 LYSO scintillator crystals optically coupled to 5×5 SiPM arrays for a total 20×20 output channels. Test results showed excellent crystal identification for all 1024 LYSO crystals (each with 2×2×30 mm{sup 3} size) with {sup 22}Na flood-source irradiation. The measured peak-to-valley ratio from typical crystal map profile is around 3:1 to 6.6:1, an average single crystal energy resolution of about 17.3%, and an average single crystal timing resolution of about 2 ns. Timing shift among different crystals, as reported in some other resistor-based multiplexing circuit designs, was not observed. In summary, we have designed and implemented a practical resistor-based multiplexing circuit that can be readily applied for reading out a large SiPM array with good detector performance.

Checking a printed board

CERN Multimedia

1977-01-01

An 'Interactive Printed Circuit Board Design System' has been developed by a company in a Member-State. Printed circuits are now produced at the SB's surface treatment workshop using a digitized photo-plotter.

Model Checking Markov Chains: Techniques and Tools

NARCIS (Netherlands)

Zapreev, I.S.

2008-01-01

This dissertation deals with four important aspects of model checking Markov chains: the development of efficient model-checking tools, the improvement of model-checking algorithms, the efficiency of the state-space reduction techniques, and the development of simulation-based model-checking

Effect of electrode shape on grounding resistances - Part 1

DEFF Research Database (Denmark)

Ingeman-Nielsen, Thomas; Tomaskovicova, Sonia; Dahlin, Torleif

2016-01-01

Electrode grounding resistance is a major factor affecting measurement quality in electric resistivity tomography (ERT) measurements for cryospheric applications. Still, little information is available on grounding resistances in the geophysical literature, mainly because it is difficult to measure....... The focus-one protocol is a new method for estimating single electrode grounding resistances by measuring the resistance between a single electrode in an ERT array and all the remaining electrodes connected in parallel. For large arrays, the measured resistance is dominated by the grounding resistance...... of the electrode under test, the focus electrode. We have developed an equivalent circuit model formulation for the resistance measured when applying the focus-one protocol. Our model depends on the individual grounding resistances of the electrodes of the array, the mutual resistances between electrodes...

Transient analysis of unbalanced short circuits of the ERDA-NASA 100 kW wind turbine alternator

Science.gov (United States)

Hwang, H. H.; Gilbert, L. J.

1976-01-01

Unbalanced short-circuit faults on the alternator of the ERDA-NASA Mod-O100-kW experimental wind turbine are studied. For each case, complete solutions for armature, field, and damper-circuit currents; short-circuit torque; and open-phase voltage are derived directly by a mathematical analysis. Formulated results are tabulated. For the Mod-O wind turbine alternator, numerical calculations are given, and results are presented by graphs. Comparisons for significant points among the more important cases are summarized. For these cases the transients are found to be potentially severe. The effect of the alternator neutral-to-ground impedance is evaluated.

Model Checking Structured Infinite Markov Chains

NARCIS (Netherlands)

Remke, Anne Katharina Ingrid

2008-01-01

In the past probabilistic model checking hast mostly been restricted to finite state models. This thesis explores the possibilities of model checking with continuous stochastic logic (CSL) on infinite-state Markov chains. We present an in-depth treatment of model checking algorithms for two special

Ultra-low power integrated circuit design circuits, systems, and applications

CERN Document Server

Li, Dongmei; Wang, Zhihua

2014-01-01

This book describes the design of CMOS circuits for ultra-low power consumption including analog, radio frequency (RF), and digital signal processing circuits (DSP). The book addresses issues from circuit and system design to production design, and applies the ultra-low power circuits described to systems for digital hearing aids and capsule endoscope devices. Provides a valuable introduction to ultra-low power circuit design, aimed at practicing design engineers; Describes all key building blocks of ultra-low power circuits, from a systems perspective; Applies circuits and systems described to real product examples such as hearing aids and capsule endoscopes.

Ground-Fault Characteristic Analysis of Grid-Connected Photovoltaic Stations with Neutral Grounding Resistance

Directory of Open Access Journals (Sweden)

Zheng Li

2017-11-01

Full Text Available A centralized grid-connected photovoltaic (PV station is a widely adopted method of neutral grounding using resistance, which can potentially make pre-existing protection systems invalid and threaten the safety of power grids. Therefore, studying the fault characteristics of grid-connected PV systems and their impact on power-grid protection is of great importance. Based on an analysis of the grid structure of a grid-connected PV system and of the low-voltage ride-through control characteristics of a photovoltaic power supply, this paper proposes a short-circuit calculation model and a fault-calculation method for this kind of system. With respect to the change of system parameters, particularly the resistance connected to the neutral point, and the possible impact on protective actions, this paper achieves the general rule of short-circuit current characteristics through a simulation, which provides a reference for devising protection configurations.

An Artificially Intelligent Physical Model-Checking Approach to Detect Switching-Related Attacks on Power Systems

Energy Technology Data Exchange (ETDEWEB)

El Hariri, Mohamad [Florida Intl Univ., Miami, FL (United States); Faddel, Samy [Florida Intl Univ., Miami, FL (United States); Mohammed, Osama [Florida Intl Univ., Miami, FL (United States)

2017-11-01

Decentralized and hierarchical microgrid control strategies have lain the groundwork for shaping the future smart grid. Such control approaches require the cooperation between microgrid operators in control centers, intelligent microcontrollers, and remote terminal units via secure and reliable communication networks. In order to enhance the security and complement the work of network intrusion detection systems, this paper presents an artificially intelligent physical model-checking that detects tampered-with circuit breaker switching control commands whether, due to a cyber-attack or human error. In this technique, distributed agents, which are monitoring sectionalized areas of a given microgrid, will be trained and continuously adapted to verify that incoming control commands do not violate the physical system operational standards and do not put the microgrid in an insecure state. The potential of this approach has been tested by deploying agents that monitor circuit breakers status commands on a 14-bus IEEE benchmark system. The results showed the accuracy of the proposed framework in characterizing the power system and successfully detecting malicious and/or erroneous control commands.

Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language

Science.gov (United States)

Madhavapeddy, Anil

Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which provides a usable middle ground between ad-hoc coding and formal reasoning. It enables programmers to embed automata in their code which can be statically model-checked using SPIN and dynamically enforced. The performance overheads are minimal, and the automata also provide higher-level debugging capabilities. We also describe some practical uses of SPL by describing the automata used in an SSH server written entirely in OCaml/SPL.

Embedding electromagnetic band gap structures in printed circuit boards for electromagnetic interference reduction

NARCIS (Netherlands)

Tereshchenko, O.V.

2015-01-01

Due to the tendency of faster data rates and lower power supply voltage in the integrated circuit (IC) design, Simultaneously Switching Noise (SSN) and ground bounce become serious concerns for designers and testers. This noise can be a source of electromagnetic interference (EMI). It propagates

Solid-state circuits

CERN Document Server

Pridham, G J

2013-01-01

Solid-State Circuits provides an introduction to the theory and practice underlying solid-state circuits, laying particular emphasis on field effect transistors and integrated circuits. Topics range from construction and characteristics of semiconductor devices to rectification and power supplies, low-frequency amplifiers, sine- and square-wave oscillators, and high-frequency effects and circuits. Black-box equivalent circuits of bipolar transistors, physical equivalent circuits of bipolar transistors, and equivalent circuits of field effect transistors are also covered. This volume is divided

Software tool for physics chart checks.

Science.gov (United States)

Li, H Harold; Wu, Yu; Yang, Deshan; Mutic, Sasa

2014-01-01

Physics chart check has long been a central quality assurance (QC) measure in radiation oncology. The purpose of this work is to describe a software tool that aims to accomplish simplification, standardization, automation, and forced functions in the process. Nationally recognized guidelines, including American College of Radiology and American Society for Radiation Oncology guidelines and technical standards, and the American Association of Physicists in Medicine Task Group reports were identified, studied, and summarized. Meanwhile, the reported events related to physics chart check service were analyzed using an event reporting and learning system. A number of shortfalls in the chart check process were identified. To address these problems, a software tool was designed and developed under Microsoft. Net in C# to hardwire as many components as possible at each stage of the process. The software consists of the following 4 independent modules: (1) chart check management; (2) pretreatment and during treatment chart check assistant; (3) posttreatment chart check assistant; and (4) quarterly peer-review management. The users were a large group of physicists in the author's radiation oncology clinic. During over 1 year of use the tool has proven very helpful in chart checking management, communication, documentation, and maintaining consistency. The software tool presented in this work aims to assist physicists at each stage of the physics chart check process. The software tool is potentially useful for any radiation oncology clinics that are either in the process of pursuing or maintaining the American College of Radiology accreditation.

25 CFR 115.704 - May we accept for deposit into a trust account retirement checks/payments or pension fund checks...

Science.gov (United States)

2010-04-01

... checks/payments or pension fund checks/payments even though those funds are not specified in § 115.702... May we accept for deposit into a trust account retirement checks/payments or pension fund checks.../payments or pension fund checks/payments or any funds from sources that are not identified in the table in...

[Pre-verbality in focusing and the need for self check. An attempt at "focusing check"].

Science.gov (United States)

Masui, T; Ikemi, A; Murayama, S

1983-06-01

Though the Focusing process is not entirely non-verbal, in Focusing, careful attention is paid by the Focuser and the Listener to the pre-verbal experiential process. In other words, Focusing involves attending to the felt sense that is not easily expressed in words immediately. Hence, during the process of learning to Focus, the Focusing teacher attempts to communicate the experiences of Focusing to the student which are not easily done by words. Due to such difficulties, the Focusing student may (and quite frequently does) mistake the experiential process in Focusing with other processes. Often, the felt sense can be confused with other phenomena such as "autogenic discharge". Also the Focuser may not stay with the felt sense and drift into "free association" or frequently, certain processes in "meditation" can be confused with Focusing. Therefore, there is a need for a "check" by which the Focusing student can confirm the Focusing experience for himself. For the Focusing student, such a "check" serves not only to confirm the Focusing process, but also an aid to learning Focusing. We will report here a "Focusing Check" which we developed by translating Eugene Gendlin's "Focusing Check" and making several modifications in it so that it will be more understandable to the Japanese. Along with the "Focusing Check" we developed, the authors discuss the need for such a check.

From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging

Directory of Open Access Journals (Sweden)

Gina Belmonte

2016-07-01

Full Text Available Recent research on formal verification for Collective Adaptive Systems (CAS pushed advancements in spatial and spatio-temporal model checking, and as a side result provided novel image analysis methodologies, rooted in logical methods for topological spaces. Medical Imaging (MI is a field where such technologies show potential for ground-breaking innovation. In this position paper, we present a preliminary investigation centred on applications of spatial model checking to MI. The focus is shifted from pure logics to a mixture of logical, statistical and algorithmic approaches, driven by the logical nature intrinsic to the specification of the properties of interest in the field. As a result, novel operators are introduced, that could as well be brought back to the setting of CAS.

Realization of Current Mode Universal Filter and a Dual-Mode Single Resistance Controlled Quadrature Oscillator Employing VDCC and Only Grounded Passive Elements

Directory of Open Access Journals (Sweden)

Manish Gupta

2017-01-01

Full Text Available The manuscript presents a circuit that can act as a universal filter as well as a single resistence controlled oscillator by unpretentiously changing the switch positions. The circuit employs only two active devices and all grounded passive elements. The utilization of only grounded passive components makes this circuit a better choice for integrated circuit implementation. The current mode biquadratic filter offers all the five basic responses along with independent tunability of its quality factor. The dual-mode quadrature sinusoidal oscillator offers explicit current outputs along with voltage outputs. The circuit also offers a simple and uncoupled condition of oscillation and frequency of oscillation. The typical analysis such as non-ideal, sensitivity and parasitic analysis along with the regular simulation results as well as experimental results are exposed here, to strengthen the design idea.

[Infection prevention check-in and infection prevention check-out to prevent nosocomial infections].

Science.gov (United States)

Kramer, A; Schilling, M; Heidecke, C D

2010-02-01

A precondition for the success of the prevention of SSI is the complete realisation of the proven anti-infective measures in form of the multi-barrier strategy or the so-called bundles. In daily practice it is important to follow the fixed instructions, i. e., to ensure a high compliance. In much the same way as an airline pilot or co-pilot must examine whether all instruments are functioning before each take-off, a comparable procedure should be developed as a pre-operative control for the observance of all -defined measures by the responsible surgeon and for the post-operative supervision by the patient. For the control of the observance of the defined pre-operative prevention measures, a check list with 12 items was developed, named the "infection prevention check-in". The check list is authorised by the responsible surgeon be-fore each operation. For the surveillance of the general hygiene in the post-operative period the "infection prevention check-out" with 14 items was developed. Thereby the patient is able to evaluate the staff's compliance with the hygienic measures at the time of dismissal. With the introduction of the check-lists a simple means is given to involve both the team of the surgeons and the ward staff, together with the patient, into the infection prophylaxis even more effectively. In order to assess the success of those measures, the influence on the rate of SSI is to be determined prospectively. Georg Thieme Verlag Stuttgart, New York.

QuickChecking static analysis properties

DEFF Research Database (Denmark)

Midtgaard, Jan; Møller, Anders

2017-01-01

A static analysis can check programs for potential errors. A natural question that arises is therefore: who checks the checker? Researchers have given this question varying attention, ranging from basic testing techniques, informal monotonicity arguments, thorough pen-and-paper soundness proofs....... Moreover, we offer a number of generic, type-safe combinators to check transfer functions and operators on lattices, to help ensure that these are, eg, monotone, strict, or invariant. We substantiate our claims by quickchecking a type analysis for the Lua programming language....

Collective of mechatronics circuit

International Nuclear Information System (INIS)

1987-02-01

This book is composed of three parts, which deals with mechatronics system about sensor, circuit and motor. The contents of the first part are photo sensor of collector for output, locating detection circuit with photo interrupts, photo sensor circuit with CdS cell and lamp, interface circuit with logic and LED and temperature sensor circuit. The second part deals with oscillation circuit with crystal, C-R oscillation circuit, F-V converter, timer circuit, stability power circuit, DC amp and DC-DC converter. The last part is comprised of bridge server circuit, deformation bridge server, controlling circuit of DC motor, controlling circuit with IC for PLL and driver circuit of stepping motor and driver circuit of Brushless.

Collective of mechatronics circuit

Energy Technology Data Exchange (ETDEWEB)

NONE

1987-02-15

This book is composed of three parts, which deals with mechatronics system about sensor, circuit and motor. The contents of the first part are photo sensor of collector for output, locating detection circuit with photo interrupts, photo sensor circuit with CdS cell and lamp, interface circuit with logic and LED and temperature sensor circuit. The second part deals with oscillation circuit with crystal, C-R oscillation circuit, F-V converter, timer circuit, stability power circuit, DC amp and DC-DC converter. The last part is comprised of bridge server circuit, deformation bridge server, controlling circuit of DC motor, controlling circuit with IC for PLL and driver circuit of stepping motor and driver circuit of Brushless.

Experimental Device for Learning of Logical Circuit Design using Integrated Circuits

OpenAIRE

石橋, 孝昭

2012-01-01

This paper presents an experimental device for learning of logical circuit design using integrated circuits and breadboards. The experimental device can be made at a low cost and can be used for many subjects such as logical circuits, computer engineering, basic electricity, electrical circuits and electronic circuits. The proposed device is effective to learn the logical circuits than the usual lecture.

Simple Check Valves for Microfluidic Devices

Science.gov (United States)

Willis, Peter A.; Greer, Harold F.; Smith, J. Anthony

2010-01-01

A simple design concept for check valves has been adopted for microfluidic devices that consist mostly of (1) deformable fluorocarbon polymer membranes sandwiched between (2) borosilicate float glass wafers into which channels, valve seats, and holes have been etched. The first microfluidic devices in which these check valves are intended to be used are micro-capillary electrophoresis (microCE) devices undergoing development for use on Mars in detecting compounds indicative of life. In this application, it will be necessary to store some liquid samples in reservoirs in the devices for subsequent laboratory analysis, and check valves are needed to prevent cross-contamination of the samples. The simple check-valve design concept is also applicable to other microfluidic devices and to fluidic devices in general. These check valves are simplified microscopic versions of conventional rubber- flap check valves that are parts of numerous industrial and consumer products. These check valves are fabricated, not as separate components, but as integral parts of microfluidic devices. A check valve according to this concept consists of suitably shaped portions of a deformable membrane and the two glass wafers between which the membrane is sandwiched (see figure). The valve flap is formed by making an approximately semicircular cut in the membrane. The flap is centered over a hole in the lower glass wafer, through which hole the liquid in question is intended to flow upward into a wider hole, channel, or reservoir in the upper glass wafer. The radius of the cut exceeds the radius of the hole by an amount large enough to prevent settling of the flap into the hole. As in a conventional rubber-flap check valve, back pressure in the liquid pushes the flap against the valve seat (in this case, the valve seat is the adjacent surface of the lower glass wafer), thereby forming a seal that prevents backflow.

25 CFR 11.421 - Bad checks.

Science.gov (United States)

2010-04-01

... 25 Indians 1 2010-04-01 2010-04-01 false Bad checks. 11.421 Section 11.421 Indians BUREAU OF... Criminal Offenses § 11.421 Bad checks. (a) A person who issues or passes a check or similar sight order for..., and the issuer failed to make good within 10 days after receiving notice of that refusal. ...

Experimental Study on Short Circuit Phenomena in Air Switch of Distribution Line due to Sparkover between Different Poles on Which One Surge Arrester of the Three Ones is Omitted

Science.gov (United States)

Sato, Tomoyuki; Uemura, Satoshi; Asakawa, Akira; Yokoyama, Shigeru; Honda, Hideki; Horikoshi, Kazuhiro

In this study, we experimentally examined the possibility of the internal short circuit of an air switch due to the sparkover between different poles under the condition that no surge arrester exists in neighboring poles and one of three surge arresters is omitted at the pole with an air switch. Experiments at Shiobara Testing Yard and Akagi Testing Center of CRIEPI clarified the following. Fault current may flow via the grounding point of a pole with an air switch and that of the next pole on a different phase from grounded phase of the pole with an air switch. If the low-voltage wire, overhead ground wire or communication wire forms a short circuit between them, ultimately the air switch may burn out. Moreover Fault current continues even if the length of the short-circuit between different poles is increased. Although the increase of the short-circuit length results in the increase of wire impedance, the amount of increase is still small compared with source impedance.

QuickChecking Static Analysis Properties

DEFF Research Database (Denmark)

Midtgaard, Jan; Møller, Anders

2015-01-01

A static analysis can check programs for potential errors. A natural question that arises is therefore: who checks the checker? Researchers have given this question varying attention, ranging from basic testing techniques, informal monotonicity arguments, thorough pen-and-paper soundness proofs...... of a lattice. Moreover, we offer a number of generic, type-safe combinators to check transfer functions and operators on lattices, to help ensure that these are, e.g., monotone, strict, or invariant. We substantiate our claims by quickchecking a type analysis for the Lua programming language...

INVESTIGATION OF MECHANICAL STRESSES IN THE DRIVE SHAFT OF MV VACUUM CIRCUIT BREAKER

Directory of Open Access Journals (Sweden)

E. I. Baida

2017-03-01

Full Text Available Introduction. In the last 10-15 years a dominant position in the market of medium voltage circuit breakers, vacuum circuit breakers have taken in which as an actuator mono- or bistable actuators with permanent magnets are used. Such circuit breakers are characterized by simplicity of design, high reliability, require preventive maintenance for many years. Development, research and improvement of vacuum circuit breakers are carried out at the Department for Electrical Apparatus, National Technical University «Kharkiv Polytechnic Institute». While working on the circuit breakers, developers have to deal with two related objectives – electrical and mechanical. This paper considers the solution of one of these problems – calculation of mechanical forces in the drive shaft of the vacuum circuit breaker in static and dynamic modes. This work was preceded by the failure of the results of measurements of the prototype circuit breakers’ contacts. Measurements have shown that these values do not match the expected values (there were less than the value of 0.8 to 1 mm. The assumption about the reasons for this discrepancy needed to be detailed checked. The results of the work done are presented in this paper. Purpose. Investigation of static and dynamic mechanical stresses and strains in the drive shaft of the vacuum circuit breaker mechanism to determine its characteristics and material selection. Methods. The investigation of mechanical processes is performed by the finite element method in the COMSOL software package. Results. We obtain the static and dynamic characteristics of the circuit breaker drive shaft: deformations, reaction forces, stresses. These characteristics made it possible to determine the actual course of the contacts, select shaft material and calculate the forces acting on the bearings. Conclusions. It is shown that the contact velocity and contact pressure are different from the theoretical value due to the deformation of the

Diagnostic information in compliance checking

NARCIS (Netherlands)

Ramezani Taghiabadi, E.; Fahland, D.; Aalst, van der W.M.P.

2012-01-01

Compliance checking is gaining importance as today's organizations need to show that operational processes are executed in a controlled manner while satisfying predefined (legal) requirements. Deviations may be costly and expose the organization to severe risks. Compliance checking is of growing

Non intrusive check valve diagnostics at Bruce A

International Nuclear Information System (INIS)

Marsch, S.P.

1997-01-01

Bruce A purchased non intrusive check valve diagnostic equipment in 1995 to ensure operability and availability of critical check valves in the Station. Diagnostics can be used to locate and monitor check valve degradation modes. Bruce A initiated a pilot program targeting check valves with flow through them and ones that completed open or close cycles. Approaches to determine how to confirm operability of passive check valves using non intrusive techniques were explored. A sample population of seventy-three check valves was selected to run the pilot program on prior to complete implementation. The pilot program produced some significant results and some inconclusive results. The program revealed a major finding that check valve performance modeling is required to ensure continuous operability of check valves. (author)

Non intrusive check valve diagnostics at Bruce A

Energy Technology Data Exchange (ETDEWEB)

Marsch, S.P. [Ontario Hydro, Bruce Nuclear Generating Station A, Tiverton, ON (Canada)

1997-07-01

Bruce A purchased non intrusive check valve diagnostic equipment in 1995 to ensure operability and availability of critical check valves in the Station. Diagnostics can be used to locate and monitor check valve degradation modes. Bruce A initiated a pilot program targeting check valves with flow through them and ones that completed open or close cycles. Approaches to determine how to confirm operability of passive check valves using non intrusive techniques were explored. A sample population of seventy-three check valves was selected to run the pilot program on prior to complete implementation. The pilot program produced some significant results and some inconclusive results. The program revealed a major finding that check valve performance modeling is required to ensure continuous operability of check valves. (author)

Color Coding of Circuit Quantities in Introductory Circuit Analysis Instruction

Science.gov (United States)

Reisslein, Jana; Johnson, Amy M.; Reisslein, Martin

2015-01-01

Learning the analysis of electrical circuits represented by circuit diagrams is often challenging for novice students. An open research question in electrical circuit analysis instruction is whether color coding of the mathematical symbols (variables) that denote electrical quantities can improve circuit analysis learning. The present study…

Implementing Check in/Check out for Students with Intellectual Disability in Self-Contained Classrooms

Science.gov (United States)

Boden, Lauren J.; Ennis, Robin P.; Jolivette, Kristine

2012-01-01

Check in/check out (CICO) is a secondary-tier intervention implemented within the framework of schoolwide positive behavior interventions and supports (SWPBIS) that uses school-based contingencies to encourage positive behavior. CICO is a five-step cycle which uses daily progress report cards (DPR) to monitor progress toward schoolwide or…

Design of an improved RCD buffer circuit for full bridge circuit

Science.gov (United States)

Yang, Wenyan; Wei, Xueye; Du, Yongbo; Hu, Liang; Zhang, Liwei; Zhang, Ou

2017-05-01

In the full bridge inverter circuit, when the switch tube suddenly opened or closed, the inductor current changes rapidly. Due to the existence of parasitic inductance of the main circuit. Therefore, the surge voltage between drain and source of the switch tube can be generated, which will have an impact on the switch and the output voltage. In order to ab sorb the surge voltage. An improve RCD buffer circuit is proposed in the paper. The peak energy will be absorbed through the buffer capacitor of the circuit. The part energy feedback to the power supply, another part release through the resistor in the form of heat, and the circuit can absorb the voltage spikes. This paper analyzes the process of the improved RCD snubber circuit, According to the specific parameters of the main circuit, a reasonable formula for calculating the resistance capacitance is given. A simulation model will be modulated in Multisim, which compared the waveform of tube voltage and the output waveform of the circuit without snubber circuit with the improved RCD snubber circuit. By comparing and analyzing, it is proved that the improved buffer circuit can absorb surge voltage. Finally, experiments are demonstrated to validate that the correctness of the RC formula and the improved RCD snubber circuit.

Analog circuit design designing dynamic circuit response

CERN Document Server

Feucht, Dennis

2010-01-01

This second volume, Designing Dynamic Circuit Response builds upon the first volume Designing Amplifier Circuits by extending coverage to include reactances and their time- and frequency-related behavioral consequences.

Analysis of water hammer phenomena in RBMK-1500 reactor main circulation circuit

International Nuclear Information System (INIS)

Kaliatka, A.; Uspuras, E.; Vaisnoras, M.

2006-01-01

Water hammer can occur in any thermal-hydraulic systems. Water hammer can reach pressure levels far exceeding the pressure range of a pipe given by the manufacturer, and it can lead to the failure of the pipeline integrity. In the past three decades, since a large number of water hammer events occurred in the light-water- reactor power plants, a number of comprehensive studies on the phenomena associated with water hammer events have been performed. There are three basic types of severe water hammer occurring at power plants that can result in significant plant damage: rapid valve operation events; void-induced water hammer; condensation-induced water hammer. Correct prediction of water hammer transients, is therefore of paramount importance for the safe operation of the plant. Therefore verifying of computer codes capability to simulate water hammer type transients is very important issue at performing of safety analyses for nuclear power plants. Verification of RELAP5/MOD3.3 code capability to simulate water hammer type transients employing the experimental investigations is presented. Experience gained from benchmarking analyses has been used at development of the detail RELAP5 code RBMK-1500 model for simulation of water hammer effects in reactor main circulation circuit. Analysis of reactor cooling system shows, that water hammers can occur in main circulation circuit of RBMK-1500 reactor in cases of: (1) Guillotine break of the inlet piping upstream of the Group Distribution Header and (2) Guillotine break of the pressure piping upstream the Main Circulation Pump check valve. Analysis of above mentioned accident scenarios is presented in this paper. First scenario of the accident potentially is more dangerous, because the pressure pulses influence not only the reactor cooling circuit, but also the piping of safety related system (Emergency Core Cooling System pipeline) connected to affected Group Distribution Header. The performed analysis using RELAP5 code

Discontinuous Galerkin Time-Domain Analysis of Power-Ground Planes Taking Into Account Decoupling Capacitors

KAUST Repository

Li, Ping

2017-03-22

In this paper, a discontinuous Galerkin time-domain (DGTD) method is developed to analyze the power-ground planes taking into account the decoupling capacitors. In the presence of decoupling capacitors, the whole physical system can be split into two subsystems: 1) the field subsystem that is governed by Maxwell\\'s equations that will be solved by the DGTD method, and 2) the circuit subsystem including the capacitor and its parasitic inductor and resistor, which is going to be characterized by the modified nodal analysis algorithm constructed circuit equations. With the aim to couple the two subsystems together, a lumped port is defined over a coaxial surface between the via barrel and the ground plane. To reach the coupling from the field to the circuit subsystem, a lumped voltage source calculated by the integration of electric field along the radial direction is introduced. On the other hand, to facilitate the coupling from the circuit to field subsystem, a lumped port current source calculated from the circuit equation is introduced, which serves as an impressed current source for the field subsystem. With these two auxiliary terms, a hybrid field-circuit matrix equation is established, which enables the field and circuit subsystems are solved in a synchronous scheme. Furthermore, the arbitrarily shaped antipads are considered by enforcing the proper wave port excitation using the magnetic surface current source derived from the antipads supported electric eigenmodes. In this way, the S-parameters corresponding to different modes can be conveniently extracted. To further improve the efficiency of the proposed algorithm in handling multiscale meshes, the local time-stepping marching scheme is applied. The proposed algorithm is verified by several representative examples.

Compositional and Quantitative Model Checking

DEFF Research Database (Denmark)

Larsen, Kim Guldstrand

2010-01-01

This paper gives a survey of a composition model checking methodology and its succesfull instantiation to the model checking of networks of finite-state, timed, hybrid and probabilistic systems with respect; to suitable quantitative versions of the modal mu-calculus [Koz82]. The method is based...

Goat production check list

DEFF Research Database (Denmark)

Henriksen, Jørgen; Nielsen, Mette Benedicte Olaf; Madsen, Jørgen

2009-01-01

This check list, financed by DanChurchAid, highlights all issues should be carefully investigated before investing in distribution of goats and in interventions to assist poor rural communities to improve their livelihood through goat production.......This check list, financed by DanChurchAid, highlights all issues should be carefully investigated before investing in distribution of goats and in interventions to assist poor rural communities to improve their livelihood through goat production....

12 CFR Appendix A to Part 229 - Routing Number Guide to Next-Day Availability Checks and Local Checks

Science.gov (United States)

2010-01-01

... Checks and Local Checks A Appendix A to Part 229 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED) BOARD OF GOVERNORS OF THE FEDERAL RESERVE SYSTEM AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS... Association. The routing number takes two forms: a fractional form and a nine-digit form. A paying bank...

Model Checking Real-Time Systems

DEFF Research Database (Denmark)

Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand

2018-01-01

This chapter surveys timed automata as a formalism for model checking real-time systems. We begin with introducing the model, as an extension of finite-state automata with real-valued variables for measuring time. We then present the main model-checking results in this framework, and give a hint...

Can i just check...? Effects of edit check questions on measurement error and survey estimates

NARCIS (Netherlands)

Lugtig, Peter; Jäckle, Annette

2014-01-01

Household income is difficult to measure, since it requires the collection of information about all potential income sources for each member of a household.Weassess the effects of two types of edit check questions on measurement error and survey estimates: within-wave edit checks use responses to

Radiation evaluation method of commercial off-the-shelf (COTS) electronic printed circuit boards (PCBs)

International Nuclear Information System (INIS)

LaBel, K.A.; Gruner, T.D.; Reed, R.A.; Settles, B.; Wilmot, J.; Dougherty, L.F.; Russo, A.; Yuknis, W.; Foster, M.G.; Garrisson-Darrin, A.; Marshall, P.W.

1999-01-01

We present a radiation evaluation methodology and proton ground test results for candidate COTS PCBs (commercial off-the-shelf electronic printed circuit boards) and their associated electronics for low-altitude, low-inclination orbits. We will also discuss the implications associated with mission orbit and duration. (authors)

Model-Checking Discrete Duration Calculus

DEFF Research Database (Denmark)

Hansen, Michael Reichhardt

1994-01-01

can do model-checking. The subset we consider is expressive enough to formalize the requirements to the gas burner system given by A.P. Ravn (1993); but only for a discrete time domain. Model-checking is done by reducing the correctness problem ℳ|=𝒟 to the inclusion problem of regular...

Regulated Electric Drainage and its Interference with Track Circuits

Directory of Open Access Journals (Sweden)

Vaclav Kolar

2018-01-01

Full Text Available Electric drainage is a power electronic device used to protect underground metal devices (such as piping from the corrosive effects of stray currents. Stray currents are usually caused by DC electric traction, such as trams or railways. In places where stray currents leave the underground device and return into rails, they cause significant electrochemical corrosion of buried devices. The principle of electric drainage is based on electrical connection between the underground device and electric traction rails, which ensures that current flows through this connection, instead of flowing into the ground. Nowadays, the most widely used type is regulated electric drainage, where current is regulated by means of Pulse Width Modulation (PWM. Because of this modulation, current flowing through the drainage contains harmonic components with different frequencies. In modern railways, track circuits are often used as an important part of the track security system. For safe operation, it is necessary to ensure that frequencies generated by the drainage do not interfere with track circuits. This paper describes the design of a regulated drainage control system, with regard to its compatibility with track circuits and this paper contains related computer simulations and discussion of the results

Application of Low Voltage High Resistance Grounding in Nuclear Power Plants

Directory of Open Access Journals (Sweden)

Choong-Koo Chang

2016-02-01

Full Text Available Most nuclear power plants now utilize solid grounded low voltage systems. For safety and reliability reasons, the low voltage (LV high resistance grounding (HRG system is also increasingly used in the pulp and paper, petroleum and chemical, and semiconductor industries. Fault detection is easiest and fastest with a solidly grounded system. However, a solidly grounded system has many limitations such as severe fault damage, poor reliability on essential circuits, and electrical noise caused by the high magnitude of ground fault currents. This paper will briefly address the strengths and weaknesses of LV grounding systems. An example of a low voltage HRG system in the LV system of a nuclear power plant will be presented. The HRG system is highly recommended for LV systems of nuclear power plants if sufficient considerations are provided to prevent nuisance tripping of ground fault relays and to avoid the deterioration of system reliability.

Web-based ground loop supervision system for the TJ-II Stellarator

International Nuclear Information System (INIS)

Pena, A. de la; Lapayese, F.; Pacios, L.; Carrasco, R.

2005-01-01

To minimize electromagnetic interferences in diagnostic and control signals, and to guarantee safe operation of TJ-II, ground loops must be avoided. In order to meet this goal, the whole grounding system of the TJ-II was split into multiple single branches that are connected at a single earth point located near the TJ-II structure in the torus hall. A real-time ground loop supervision system (GLSS) has been designed, manufactured and tested by the TJ-II control group for detecting unintentional short circuits between isolated grounded parts. A web server running on the real-time operating system OS-9 provides remote access to the real-time ground loops measurement. Ground loops monitoring and different operation modes can be configured via any web browser. This paper gives the detailed design of the whole TJ-II ground loop supervision system and its results during its operation

Web-based ground loop supervision system for the TJ-II Stellarator

Energy Technology Data Exchange (ETDEWEB)

Pena, A. de la [Asociacion EURATOM-CIEMAT Para Fusion, Avd. Complutense 22, 28040 Madrid (Spain)]. E-mail: a.delapena@ciemat.es; Lapayese, F. [Asociacion EURATOM-CIEMAT Para Fusion, Avd. Complutense 22, 28040 Madrid (Spain); Pacios, L. [Asociacion EURATOM-CIEMAT Para Fusion, Avd. Complutense 22, 28040 Madrid (Spain); Carrasco, R. [Asociacion EURATOM-CIEMAT Para Fusion, Avd. Complutense 22, 28040 Madrid (Spain)

2005-11-15

To minimize electromagnetic interferences in diagnostic and control signals, and to guarantee safe operation of TJ-II, ground loops must be avoided. In order to meet this goal, the whole grounding system of the TJ-II was split into multiple single branches that are connected at a single earth point located near the TJ-II structure in the torus hall. A real-time ground loop supervision system (GLSS) has been designed, manufactured and tested by the TJ-II control group for detecting unintentional short circuits between isolated grounded parts. A web server running on the real-time operating system OS-9 provides remote access to the real-time ground loops measurement. Ground loops monitoring and different operation modes can be configured via any web browser. This paper gives the detailed design of the whole TJ-II ground loop supervision system and its results during its operation.

Lossy/Lossless Floating/Grounded Inductance Simulation Using One DDCC

Directory of Open Access Journals (Sweden)

M. A. Ibrahim

2012-04-01

Full Text Available In this work, we present new topologies for realizing one lossless grounded inductor and two floating, one lossless and one lossy, inductors employing a single differential difference current conveyor (DDCC and a minimum number of passive components, two resistors, and one grounded capacitor. The floating inductors are based on ordinary dual-output differential difference current conveyor (DO-DDCC while the grounded lossless inductor is based one a modified dual-output differential difference current conveyor (MDO-DDCC. The proposed lossless floating inductor is obtained from the lossy one by employing a negative impedance converter (NIC. The non-ideality effects of the active element on the simulated inductors are investigated. To demonstrate the performance of the proposed grounded inductance simulator as an example, it is used to construct a parallel resonant circuit. SPICE simulation results are given to confirm the theoretical analysis.

31 CFR 248.6 - Recovery of original check.

Science.gov (United States)

2010-07-01

... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Recovery of original check. 248.6... § 248.6 Recovery of original check. (a) If the claimant recovers an original check after he has... or agency concerned regarding the negotiability of such original check. (b) In the event the...

Design and characterization of radiation resistant integrated circuits for the LHC particle detectors using deep sub-micron CMOS technologies

International Nuclear Information System (INIS)

Anelli, Giovanni Maria

2000-01-01

The electronic circuits associated with the particle detectors of the CERN Large Hadron Collider (LHC) have to work in a highly radioactive environment. This work proposes a methodology allowing the design of radiation resistant integrated circuits using the commercial sub-micron CMOS technology. This method uses the intrinsic radiation resistance of ultra-thin grid oxides, the technology of enclosed layout transistors (ELT), and the protection rings to avoid the radio-induced creation of leakage currents. In order to check the radiation tolerance level, several test structures have been designed and tested with different radiation sources. These tests have permitted to study the physical phenomena responsible for the damages induced by the radiations and the possible remedies. Then, the particular characteristics of ELT transistors and their influence on the design of complex integrated circuits has been explored. The modeling of the W/L ratio, the asymmetries (for instance in the output conductance) and the performance of ELT couplings have never been studied yet. The noise performance of the 0.25 μ CMOS technology, used in the design of several integrated circuits of the LHC detectors, has been characterized before and after irradiation. Finally, two integrated circuits designed using the proposed method are presented. The first one is an analogic memory and the other is a circuit used for the reading of the signals of one of the LHC detectors. Both circuits were irradiated and have endured very high doses practically without any sign of performance degradation. (J.S.)

CMM Interim Check (U)

Energy Technology Data Exchange (ETDEWEB)

Montano, Joshua Daniel [Los Alamos National Lab. (LANL), Los Alamos, NM (United States)

2015-03-23

Coordinate Measuring Machines (CMM) are widely used in industry, throughout the Nuclear Weapons Complex and at Los Alamos National Laboratory (LANL) to verify part conformance to design definition. Calibration cycles for CMMs at LANL are predominantly one year in length. Unfortunately, several nonconformance reports have been generated to document the discovery of a certified machine found out of tolerance during a calibration closeout. In an effort to reduce risk to product quality two solutions were proposed – shorten the calibration cycle which could be costly, or perform an interim check to monitor the machine’s performance between cycles. The CMM interim check discussed makes use of Renishaw’s Machine Checking Gauge. This off-the-shelf product simulates a large sphere within a CMM’s measurement volume and allows for error estimation. Data was gathered, analyzed, and simulated from seven machines in seventeen different configurations to create statistical process control run charts for on-the-floor monitoring.

Double-layer rotor magnetic shield performance analysis in high temperature superconducting synchronous generators under short circuit fault conditions

Science.gov (United States)

Hekmati, Arsalan; Aliahmadi, Mehdi

2016-12-01

High temperature superconducting, HTS, synchronous machines benefit from a rotor magnetic shield in order to protect superconducting coils against asynchronous magnetic fields. This magnetic shield, however, suffers from exerted Lorentz forces generated in light of induced eddy currents during transient conditions, e.g. stator windings short-circuit fault. In addition, to the exerted electromagnetic forces, eddy current losses and the associated effects on the cryogenic system are the other consequences of shielding HTS coils. This study aims at investigating the Rotor Magnetic Shield, RMS, performance in HTS synchronous generators under stator winding short-circuit fault conditions. The induced eddy currents in different circumferential positions of the rotor magnetic shield along with associated Joule heating losses would be studied using 2-D time-stepping Finite Element Analysis, FEA. The investigation of Lorentz forces exerted on the magnetic shield during transient conditions has also been performed in this paper. The obtained results show that double line-to-ground fault is of the most importance among different types of short-circuit faults. It was revealed that when it comes to the design of the rotor magnetic shields, in addition to the eddy current distribution and the associated ohmic losses, two phase-to-ground fault should be taken into account since the produced electromagnetic forces in the time of fault conditions are more severe during double line-to-ground fault.

Design and validation of a high-voltage levitation circuit for electrostatic accelerometers

Energy Technology Data Exchange (ETDEWEB)

Li, G.; Wu, S. C.; Zhou, Z. B.; Bai, Y. Z.; Hu, M.; Luo, J. [MOE Key Laboratory of Fundamental Physical Quantities Measurements, School of Physics, Huazhong University of Science and Technology, Wuhan, Hubei 430074 (China)

2013-12-15

A simple high-voltage circuit with a voltage range of 0 to 900 V and an open-loop bandwidth of 11 kHz is realized by using an operational amplifier and a MOSFET combination. The circuit is used for the levitation of a test mass of 71 g, suspended below the top-electrodes with a gap distance of 57 μm, so that the performance of an electrostatic accelerometer can be tested on the ground. The translation noise of the accelerometer, limited by seismic noise, is about 4 × 10{sup −8} m/s{sup 2}/Hz{sup 1/2} at 0.1 Hz, while the high-voltage coupling noise is one-order of magnitude lower.

Environmental Reality Check.

Science.gov (United States)

Manicone, Santo

2001-01-01

Discusses the importance of educational facilities conducting "reality check" self-audits to uncover the real truth behind underlying environmental problems. An environmental compliance multimedia checklist is included. (GR)

Method for analysis the complex grounding cables system

International Nuclear Information System (INIS)

Ackovski, R.; Acevski, N.

2002-01-01

A new iterative method for the analysis of the performances of the complex grounding systems (GS) in underground cable power networks with coated and/or uncoated metal sheathed cables is proposed in this paper. The analyzed grounding system consists of the grounding grid of a high voltage (HV) supplying transformer station (TS), middle voltage/low voltage (MV/LV) consumer TSs and arbitrary number of power cables, connecting them. The derived method takes into consideration the drops of voltage in the cable sheets and the mutual influence among all earthing electrodes, due to the resistive coupling through the soil. By means of the presented method it is possible to calculate the main grounding system performances, such as earth electrode potentials under short circuit fault to ground conditions, earth fault current distribution in the whole complex grounding system, step and touch voltages in the nearness of the earthing electrodes dissipating the fault current in the earth, impedances (resistances) to ground of all possible fault locations, apparent shield impedances to ground of all power cables, e.t.c. The proposed method is based on the admittance summation method [1] and is appropriately extended, so that it takes into account resistive coupling between the elements that the GS. (Author)

Circuit analysis for dummies

CERN Document Server

Santiago, John

2013-01-01

Circuits overloaded from electric circuit analysis? Many universities require that students pursuing a degree in electrical or computer engineering take an Electric Circuit Analysis course to determine who will ""make the cut"" and continue in the degree program. Circuit Analysis For Dummies will help these students to better understand electric circuit analysis by presenting the information in an effective and straightforward manner. Circuit Analysis For Dummies gives you clear-cut information about the topics covered in an electric circuit analysis courses to help

7 CFR 1944.540 - Requesting TSA checks.

Science.gov (United States)

2010-01-01

... 7 Agriculture 13 2010-01-01 2009-01-01 true Requesting TSA checks. 1944.540 Section 1944.540... TSA checks. (a) The initial TSA check may cover the applicant's needs for the first calendar month. If... the next whole month. (b) The initial advance of TSA grant funds may not be requested simultaneously...

Current limiter circuit system

Science.gov (United States)

Witcher, Joseph Brandon; Bredemann, Michael V.

2017-09-05

An apparatus comprising a steady state sensing circuit, a switching circuit, and a detection circuit. The steady state sensing circuit is connected to a first, a second and a third node. The first node is connected to a first device, the second node is connected to a second device, and the steady state sensing circuit causes a scaled current to flow at the third node. The scaled current is proportional to a voltage difference between the first and second node. The switching circuit limits an amount of current that flows between the first and second device. The detection circuit is connected to the third node and the switching circuit. The detection circuit monitors the scaled current at the third node and controls the switching circuit to limit the amount of the current that flows between the first and second device when the scaled current is greater than a desired level.

40 CFR 86.328-79 - Leak checks.

Science.gov (United States)

2010-07-01

... 40 Protection of Environment 18 2010-07-01 2010-07-01 false Leak checks. 86.328-79 Section 86.328... Gasoline-Fueled and Diesel-Fueled Heavy-Duty Engines; Gaseous Exhaust Test Procedures § 86.328-79 Leak checks. (a) Vacuum side leak check. (1) Any location within the analysis system where a vacuum leak could...

Methodology for Check Valve Selection to Maintain the Integrity of Pipeline against the Check Valve Slam for the KIJANG Research Reactor

Energy Technology Data Exchange (ETDEWEB)

Kim, Dayong; Yoon, Hyungi; Seo, Kyoungwoo; Kim, Seonhoon [KAERI, Daejeon (Korea, Republic of)

2016-05-15

The check valve slam results in a water hammer and unexpected system pressure rise in the pipeline. Sometimes, the pressure rise by check valve slam in the pipeline exceeds the design pressure and then it causes the rupture of pipeline. Therefore, check valve slam significantly influences on the integrity of pipe. Especially, this it is most likely to occur by check valve installed in the discharge of pump when one pump trips among the two or more running in parallel pump system. This study focuses on the check valve selection to maintain the integrity of PCS pipeline against the check valve slam. If design head for KJRR PCS pipeline is higher than the sum of static head and 11 m, any type check valves can be installed at the discharge of pump. However, if design head for KJRR PCS pipeline is lower than the sum of static head and 11 m, installation of swing and ball check on the discharge of pump must be avoid to prevent the rupture of PCS pipeline.

Methodology for Check Valve Selection to Maintain the Integrity of Pipeline against the Check Valve Slam for the KIJANG Research Reactor

International Nuclear Information System (INIS)

Kim, Dayong; Yoon, Hyungi; Seo, Kyoungwoo; Kim, Seonhoon

2016-01-01

The check valve slam results in a water hammer and unexpected system pressure rise in the pipeline. Sometimes, the pressure rise by check valve slam in the pipeline exceeds the design pressure and then it causes the rupture of pipeline. Therefore, check valve slam significantly influences on the integrity of pipe. Especially, this it is most likely to occur by check valve installed in the discharge of pump when one pump trips among the two or more running in parallel pump system. This study focuses on the check valve selection to maintain the integrity of PCS pipeline against the check valve slam. If design head for KJRR PCS pipeline is higher than the sum of static head and 11 m, any type check valves can be installed at the discharge of pump. However, if design head for KJRR PCS pipeline is lower than the sum of static head and 11 m, installation of swing and ball check on the discharge of pump must be avoid to prevent the rupture of PCS pipeline

The voltage—current relationship and equivalent circuit implementation of parallel flux-controlled memristive circuits

International Nuclear Information System (INIS)

Bao Bo-Cheng; Feng Fei; Dong Wei; Pan Sai-Hu

2013-01-01

A flux-controlled memristor characterized by smooth cubic nonlinearity is taken as an example, upon which the voltage—current relationships (VCRs) between two parallel memristive circuits — a parallel memristor and capacitor circuit (the parallel MC circuit), and a parallel memristor and inductor circuit (the parallel ML circuit) — are investigated. The results indicate that the VCR between these two parallel memristive circuits is closely related to the circuit parameters, and the frequency and amplitude of the sinusoidal voltage stimulus. An equivalent circuit model of the memristor is built, upon which the circuit simulations and experimental measurements of both the parallel MC circuit and the parallel ML circuit are performed, and the results verify the theoretical analysis results

Incremental Integrity Checking: Limitations and Possibilities

DEFF Research Database (Denmark)

Christiansen, Henning; Martinenghi, Davide

2005-01-01

Integrity checking is an essential means for the preservation of the intended semantics of a deductive database. Incrementality is the only feasible approach to checking and can be obtained with respect to given update patterns by exploiting query optimization techniques. By reducing the problem...... to query containment, we show that no procedure exists that always returns the best incremental test (aka simplification of integrity constraints), and this according to any reasonable criterion measuring the checking effort. In spite of this theoretical limitation, we develop an effective procedure...

Swing check valve

International Nuclear Information System (INIS)

Eminger, H.E.

1977-01-01

A swing check valve which includes a valve body having an inlet and outlet is described. A recess in the valve body designed to hold a seal ring and a check valve disc swingable between open and closed positions. The disc is supported by a high strength wire secured at one end in a support spacer pinned through bearing blocks fixed to the valve body and at its other end in a groove formed on the outer peripheral surface of the disc. The parts are designed and chosen such to provide a lightweight valve disc which is held open by minimum velocity of fluid flowing through the valve which thus reduces oscillations and accompanying wear of bearings supporting the valve operating parts. (Auth.)

Multi-Level Simulated Fault Injection for Data Dependent Reliability Analysis of RTL Circuit Descriptions

Directory of Open Access Journals (Sweden)

NIMARA, S.

2016-02-01

Full Text Available This paper proposes data-dependent reliability evaluation methodology for digital systems described at Register Transfer Level (RTL. It uses a hybrid hierarchical approach, combining the accuracy provided by Gate Level (GL Simulated Fault Injection (SFI and the low simulation overhead required by RTL fault injection. The methodology comprises the following steps: the correct simulation of the RTL system, according to a set of input vectors, hierarchical decomposition of the system into basic RTL blocks, logic synthesis of basic RTL blocks, data-dependent SFI for the GL netlists, and RTL SFI. The proposed methodology has been validated in terms of accuracy on a medium sized circuit – the parallel comparator used in Check Node Unit (CNU of the Low-Density Parity-Check (LDPC decoders. The methodology has been applied for the reliability analysis of a 128-bit Advanced Encryption Standard (AES crypto-core, for which the GL simulation was prohibitive in terms of required computational resources.

Protection from ground faults in the stator winding of generators at power plants in the Siberian networks

International Nuclear Information System (INIS)

Vainshtein, R. A.; Lapin, V. I.; Naumov, A. M.; Doronin, A. V.; Yudin, S. M.

2010-01-01

The experience of many years of experience in developing and utilization of ground fault protection in the stator winding of generators in the Siberian networks is generalized. The main method of protection is to apply a direct current or an alternating current with a frequency of 25 Hz to the primary circuits of the stator. A direct current is applied to turbo generators operating in a unit with a transformer without a resistive coupling to the external grid or to other generators. Applying a 25 Hz control current is appropriate for power generation systems with compensation of a capacitive short circuit current to ground. This method forms the basis for protection of generators operating on busbars, hydroelectric generators with a neutral grounded through an arc-suppression reactor, including in consolidated units with generators operating in parallel on a single low-voltage transformer winding.

SCaN Network Ground Station Receiver Performance for Future Service Support

Science.gov (United States)

Estabrook, Polly; Lee, Dennis; Cheng, Michael; Lau, Chi-Wung

2012-01-01

Objectives: Examine the impact of providing the newly standardized CCSDS Low Density Parity Check (LDPC) codes to the SCaN return data service on the SCaN SN and DSN ground stations receivers: SN Current Receiver: Integrated Receiver (IR). DSN Current Receiver: Downlink Telemetry and Tracking (DTT) Receiver. Early Commercial-Off-The-Shelf (COTS) prototype of the SN User Service Subsystem Component Replacement (USS CR) Narrow Band Receiver. Motivate discussion of general issues of ground station hardware design to enable simple and cheap modifications for support of future services.

The ground-fault detection system for DIII-D

International Nuclear Information System (INIS)

Scoville, J.T.; Petersen, P.I.

1987-10-01

This paper presents a discussion of the ground-fault detection systems on the DIII-D tokamak. The subsystems that must be monitored for an inadvertent ground include the toroidal and poloidal coil systems, the vacuum vessel, and the coil support structures. In general, one point of each coil is tied to coil/power supply ground through a current limiting resistor. For ground protection the current through this resistor is monitored using a dynamically feedback balanced Hall probe transducer from LEM Industries. When large inductive currents flow in closed loops near the tokamak, the result is undesirable magnetic error fields in the plasma region and noise generation on signal cables. Therefore, attention must be paid to avoid closed loops in the design of the coil and vessel support structure. For DIII-D a concept of dual insulating breaks and a single-point ground for all structure elements was used to satisfy this requirement. The integrity of the support structure is monitored by a system which continuously attempts to couple a variable frequency waveform onto these single-point grounds. The presence of an additional ground completes the circuit resulting in current flow. A Rogowski coil is then used to track the unwanted ground path in order to eliminate it. Details of the ground fault detection circuitry, and a description of its operation will be presented. 2 refs., 7 figs

30 CFR 75.518 - Electric equipment and circuits; overload and short circuit protection.

Science.gov (United States)

2010-07-01

... short circuit protection. 75.518 Section 75.518 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION... Equipment-General § 75.518 Electric equipment and circuits; overload and short circuit protection... installed so as to protect all electric equipment and circuits against short circuit and overloads. Three...

Plant experience with check valves in passive systems

Energy Technology Data Exchange (ETDEWEB)

Pahladsingh, R R [GKN Joint Nuclear Power Plant, Dodewaard (Netherlands)

1996-12-01

In the design of the advanced nuclear reactors there is a tendency to introduce more passive safety systems. The 25 year old design of the GKN nuclear reactor is different from the present BWR reactors because of some special features, such as the Natural Circulation - and the Passive Isolation Condenser system. When reviewing the design, one can conclude that the plant has 25 years of experience with check valves in passive systems and as passive components in systems. The result of this experience has been modeled in a plant-specific ``living PSA`` for the plant. A data-analysis has been performed on components which are related to the safety systems in the plant. As part of this study also the check valves have been taken in consideration. At GKN, the check valves have shown to be reliable components in the systems and no catastrophic failures have been experienced during the 25 years of operation. Especially the Isolation Condenser with its operation experience can contribute substantially to the insight of check valves in stand-by position at reactor pressure and operating by gravity under different pressure conditions. With the introduction of several passive systems in the SBWR-600 design, such as the Isolation Condensers, Gravity Driven Cooling, and Suppression Pool Cooling System, the issue of reliability of check valves in these systems is actual. Some critical aspects for study in connection with check valves are: What is the reliability of a check valve in a system at reactor pressure, to open on demand; what is the reliability of a check valve in a system at low pressure (gravity), to open on demand; what is the reliability of a check valve to open/close when the stand-by check wave is at zero differential pressure. The plant experience with check valves in a few essential safety systems is described and a brief introduction will be made about the application of check valves in the design of the new generation reactors is given. (author). 6 figs, 1 tab.

30 CFR 77.506 - Electric equipment and circuits; overload and short-circuit protection.

Science.gov (United States)

2010-07-01

... short-circuit protection. 77.506 Section 77.506 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION... circuits; overload and short-circuit protection. Automatic circuit-breaking devices or fuses of the correct type and capacity shall be installed so as to protect all electric equipment and circuits against short...

Development Ground Fault Detecting System for D.C Voltage Line

Energy Technology Data Exchange (ETDEWEB)

Kim Taek Soo; Song Ung Il; Gwon, Young Dong; Lee Hyoung Kee [Korea Electric Power Research Institute, Taejon (Korea, Republic of)

1996-12-31

It is necessary to keep the security of reliability and to maximize the efficiency of maintenance by prompt detection of a D.C feeder ground fault point at the built ed or a building power plants. At present, the most of the power plants are set up the ground fault indicator lamp in the monitor room. If a ground fault occurs on DC voltage feeder, a current through the ground fault relay is adjusted and the lamps have brightened while the current flows the relay coil. In order to develop such a system, it is analyzed a D.C feeder ground circuit theoretically and studied a principles which can determine ground fault point or a polarity discrimination and a phase discrimination of the line. So, the developed system through this principles can compute a resistance ground fault current and a capacitive ground fault current. It shows that the system can defect a ground fault point or a bad insulated line by measuring a power plant D.C feeder insulation resistance at the un interruptible power status, and therefore the power plant could protect an unexpected service interruption . (author). 18 refs., figs.

Automatization and familiarity in repeated checking

NARCIS (Netherlands)

Dek, E.C.P.|info:eu-repo/dai/nl/313959552; van den Hout, M.A.|info:eu-repo/dai/nl/070445354; Giele, C.L.|info:eu-repo/dai/nl/318754460; Engelhard, I.M.|info:eu-repo/dai/nl/239681533

2015-01-01

Repetitive, compulsive-like checking of an object leads to reductions in memory confidence, vividness, and detail. Experimental research suggests that this is caused by increased familiarity with perceptual characteristics of the stimulus and automatization of the checking procedure (Dek, van den

Volumetric and chemical control auxiliary circuit for a PWR primary circuit

International Nuclear Information System (INIS)

Costes, D.

1990-01-01

The volumetric and chemical control circuit has an expansion tank with at least one water-steam chamber connected to the primary circuit by a sampling pipe and a reinjection pipe. The sampling pipe feeds jet pumps controlled by valves. An action on these valves and pumps regulates the volume of the water in the primary circuit. A safety pipe controlled by a flap automatically injects water from the chamber into the primary circuit in case of ruptures. The auxiliary circuit has also systems for purifying the water and controlling the boric acid and hydrogen content [fr

Fault Diagnosis for Compensating Capacitors of Jointless Track Circuit Based on Dynamic Time Warping

Directory of Open Access Journals (Sweden)

Wei Dong

2014-01-01

Full Text Available Aiming at the problem of online fault diagnosis for compensating capacitors of jointless track circuit, a dynamic time warping (DTW based diagnosis method is proposed in this paper. Different from the existing related works, this method only uses the ground indoor monitoring signals of track circuit to locate the faulty compensating capacitor, not depending on the shunt current of inspection train, which is an indispensable condition for existing methods. So, it can be used for online diagnosis of compensating capacitor, which has not yet been realized by existing methods. To overcome the key problem that track circuit cannot obtain the precise position of the train, the DTW method is used for the first time in this situation to recover the function relationship between receiver’s peak voltage and shunt position. The necessity, thinking, and procedure of the method are described in detail. Besides the classical DTW based method, two improved methods for improving classification quality and reducing computation complexity are proposed. Finally, the diagnosis experiments based on the simulation model of track circuit show the effectiveness of the proposed methods.

An Envelope Based Feedback Control System for Earthquake Early Warning: Reality Check Algorithm

Science.gov (United States)

Heaton, T. H.; Karakus, G.; Beck, J. L.

2016-12-01

Earthquake early warning systems are, in general, designed to be open loop control systems in such a way that the output, i.e., the warning messages, only depend on the input, i.e., recorded ground motions, up to the moment when the message is issued in real-time. We propose an algorithm, which is called Reality Check Algorithm (RCA), which would assess the accuracy of issued warning messages, and then feed the outcome of the assessment back into the system. Then, the system would modify its messages if necessary. That is, we are proposing to convert earthquake early warning systems into feedback control systems by integrating them with RCA. RCA works by continuously monitoring and comparing the observed ground motions' envelopes to the predicted envelopes of Virtual Seismologist (Cua 2005). Accuracy of magnitude and location (both spatial and temporal) estimations of the system are assessed separately by probabilistic classification models, which are trained by a Sparse Bayesian Learning technique called Automatic Relevance Determination prior.

Improvement of seawater booster pump outlet check valve

International Nuclear Information System (INIS)

Li Xuning; Du Yansong; Huang Huimin

2010-01-01

Conventional island seawater booster pump set of QNPC 310 MWe unit are very important in the whole circulating cooling system, and the integrate function of seawater booster pump outlet check valve is the foundation of steady operation of the seawater booster pump set. The article mainly introduce that through the analyses to the reason to the problem that the seawater booster pump outlet check valve of QNPC 310 MWe unit appeared in past years by our team, and considering the influence of operation condition and circumstance, the team improve the seawater booster pump outlet check valve from swing check valve to shuttle check valve which operate more appropriately in the system. By the test of continuous practice, we make further modification to the inner structure of shuttle check valve contrapuntally, and therefore we solve the problem in seawater booster pump outlet check valve fundamentally which has troubled the security of system operation in past years, so we realize the aim of technical improvement and ensure that the system operate in safety and stability. (authors)

A novel high voltage start up circuit for an integrated switched mode power supply

Energy Technology Data Exchange (ETDEWEB)

Hu Hao; Chen Xingbi, E-mail: huhao21@uestc.edu.c [State Key Laboratory of Electronic Thin Films and Integrated Devices, University of Electronic Science and Technology of China, Chengdu 610054 (China)

2010-09-15

A novel high voltage start up circuit for providing an initial bias voltage to an integrated switched mode power supply (SMPS) is presented. An enhanced mode VDMOS transistor, the gate of which is biased by a floating p-island, is used to provide start up current and sustain high voltage. An NMOS transistor having a high source to ground breakdown voltage is included to extend the bias voltage range to the SMPS. Simulation results indicate that the high voltage start up circuit can start and restart as designed. The proposed structure is believed to be more energy saving and cost-effective compared with other solutions. (semiconductor devices)

Diagnostic information in temporal compliance checking

NARCIS (Netherlands)

Ramezani Taghiabadi, E.; Fahland, D.; Dongen, van B.F.; Aalst, van der W.M.P.

2012-01-01

Compliance checking is gaining importance as today’s organizations need to show that operational processes are executed in a controlled manner while satisfying prede¿ned (legal) requirements. Deviations may be costly and expose the organization to severe risks. Compliance checking is of growing

31 CFR 245.8 - Receipt or recovery of original check.

Science.gov (United States)

2010-07-01

... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Receipt or recovery of original check... CHECKS § 245.8 Receipt or recovery of original check. (a) If the original check is received or recovered... of instructions with respect to the negotiability of such check. (b) If the original check is...

Ion beam analysis of ground coffee and roasted coffee beans

International Nuclear Information System (INIS)

Debastiani, R.; Santos, C.E.I. dos; Yoneama, M.L.; Amaral, L.; Dias, J.F.

2014-01-01

The way that coffee is prepared (using roasted ground coffee or roasted coffee beans) may influence the quality of beverage. Therefore, the aim of this work is to use ion beam techniques to perform a full elemental analysis of packed roasted ground coffee and packed roasted coffee beans, as well as green coffee beans. The samples were analyzed by PIXE (particle-induced X-ray emission). Light elements were measured through RBS (Rutherford backscattering spectrometry) experiments. Micro-PIXE experiments were carried out in order to check the elemental distribution in the roasted and green coffee beans. In general, the elements found in ground coffee were Mg, P, S, Cl, K, Ca, Ti, Mn, Fe, Cu, Zn, Rb and Sr. A comparison between ground coffee and grinded roasted beans shows significant differences for several elements. Elemental maps reveal that P and K are correlated and practically homogeneously distributed over the beans

Ion beam analysis of ground coffee and roasted coffee beans

Energy Technology Data Exchange (ETDEWEB)

Debastiani, R., E-mail: rafa_debas@yahoo.com.br; Santos, C.E.I. dos; Yoneama, M.L.; Amaral, L.; Dias, J.F.

2014-01-01

The way that coffee is prepared (using roasted ground coffee or roasted coffee beans) may influence the quality of beverage. Therefore, the aim of this work is to use ion beam techniques to perform a full elemental analysis of packed roasted ground coffee and packed roasted coffee beans, as well as green coffee beans. The samples were analyzed by PIXE (particle-induced X-ray emission). Light elements were measured through RBS (Rutherford backscattering spectrometry) experiments. Micro-PIXE experiments were carried out in order to check the elemental distribution in the roasted and green coffee beans. In general, the elements found in ground coffee were Mg, P, S, Cl, K, Ca, Ti, Mn, Fe, Cu, Zn, Rb and Sr. A comparison between ground coffee and grinded roasted beans shows significant differences for several elements. Elemental maps reveal that P and K are correlated and practically homogeneously distributed over the beans.

Forgetting what you have checked: a link between working memory impairment and checking behaviors in obsessive-compulsive disorder.

Science.gov (United States)

Jaafari, N; Frasca, M; Rigalleau, F; Rachid, F; Gil, R; Olié, J-P; Guehl, D; Burbaud, P; Aouizerate, B; Rotgé, J-Y; Vibert, N

2013-02-01

Compulsive checking behaviors are common in obsessive-compulsive disorder (OCD). Several authors have suggested that these checking rituals could be related to memory deficits. Our aim was to test whether patients with OCD show working memory impairment in relation to their checking behavior. We evaluated the verbal and visuospatial components of patients' and controls' working memory using the reading span and backward location span tests. Checking behaviors were measured by recording participants' eye movements during an image comparison task using a non-invasive, infra-red TOBII 1750 eyetracker. Participants were seated, head-free, in a natural position in front of the eyetracker screen where the images were displayed. Patients with OCD made more gaze moves to compare images than controls. Both patients' working memory spans were reduced, and the patients' deficit in the comparison task was negatively related to their working memory spans. This work demonstrates that checking behavior in OCD is linked to a general reduction of the patients' verbal and visuospatial working memory span. Copyright © 2011 Elsevier Masson SAS. All rights reserved.

Intuitive analog circuit design

CERN Document Server

Thompson, Marc

2013-01-01

Intuitive Analog Circuit Design outlines ways of thinking about analog circuits and systems that let you develop a feel for what a good, working analog circuit design should be. This book reflects author Marc Thompson's 30 years of experience designing analog and power electronics circuits and teaching graduate-level analog circuit design, and is the ideal reference for anyone who needs a straightforward introduction to the subject. In this book, Dr. Thompson describes intuitive and ""back-of-the-envelope"" techniques for designing and analyzing analog circuits, including transistor amplifi

Electronic devices and circuits

CERN Document Server

Pridham, Gordon John

1972-01-01

Electronic Devices and Circuits, Volume 3 provides a comprehensive account on electronic devices and circuits and includes introductory network theory and physics. The physics of semiconductor devices is described, along with field effect transistors, small-signal equivalent circuits of bipolar transistors, and integrated circuits. Linear and non-linear circuits as well as logic circuits are also considered. This volume is comprised of 12 chapters and begins with an analysis of the use of Laplace transforms for analysis of filter networks, followed by a discussion on the physical properties of

Development of circuit model for arcing on solar panels

International Nuclear Information System (INIS)

Mehta, Bhoomi K; Deshpande, S P; Mukherjee, S; Gupta, S B; Ranjan, M; Rane, R; Vaghela, N; Acharya, V; Sudhakar, M; Sankaran, M; Suresh, E P

2010-01-01

The increased requirements of payload capacity of the satellites have resulted in much higher power requirements of the satellites. In order to minimize the energy loss during power transmission due to cable loss, use of high voltage solar panels becomes necessary. When a satellite encounters space plasma it floats negatively with respect to the surrounding space plasma environment. At high voltage, charging and discharging on solar panels causes the power system breakdown. Once a solar panel surface is charged and potential difference between surface insulator and conductor exceeds certain value, electrostatic discharge (ESD) may occur. This ESD may trigger a secondary arc that can destroy the solar panel circuit. ESD is also called as primary or minor arc and secondary is called major arc. The energy of minor arc is supplied by the charge stored in the coverglass of solar array and is a pulse of typically several 100 ns to several 100 μs duration. The damage caused by minor arc is less compared to major arcs, but it is observed that the minor arc is cause of major arc. Therefore it is important to develop an understanding of minor arc and mitigation techniques. In this paper we present a linear circuit analysis for minor arcs on solar panels. To study arcing event, a ground experimental facility to simulate space plasma environment has been developed at Facilitation Centre for Industrial Plasma Technologies (Institute for Plasma Research) in collaboration with Indian Space Research Organization's ISRO Satellite Technology Centre (ISAC). A linear circuit model has been developed to explain the experimental results by representing the coverglass, solar cell interconnect and wiring by an LCR circuit and the primary arc by an equivalent LR circuit. The aim of the circuit analysis is to predict the arc current which flows through the arc plasma. It is established from the model that the current depends on various parameters like potential difference between insulator

Model Checking Infinite-State Markov Chains

NARCIS (Netherlands)

Remke, Anne Katharina Ingrid; Haverkort, Boudewijn R.H.M.; Cloth, L.

2004-01-01

In this paper algorithms for model checking CSL (continuous stochastic logic) against infinite-state continuous-time Markov chains of so-called quasi birth-death type are developed. In doing so we extend the applicability of CSL model checking beyond the recently proposed case for finite-state

38 CFR 21.4505 - Check delivery.

Science.gov (United States)

2010-07-01

... 38 Pensions, Bonuses, and Veterans' Relief 2 2010-07-01 2010-07-01 false Check delivery. 21.4505...) VOCATIONAL REHABILITATION AND EDUCATION Education Loans § 21.4505 Check delivery. (a) General. Education... surviving spouse is enrolled for delivery by the educational institution. (b) Delivery and certification. (1...

Signal sampling circuit

NARCIS (Netherlands)

Louwsma, S.M.; Vertregt, Maarten

2011-01-01

A sampling circuit for sampling a signal is disclosed. The sampling circuit comprises a plurality of sampling channels adapted to sample the signal in time-multiplexed fashion, each sampling channel comprising a respective track-and-hold circuit connected to a respective analogue to digital

Signal sampling circuit

NARCIS (Netherlands)

Louwsma, S.M.; Vertregt, Maarten

2010-01-01

A sampling circuit for sampling a signal is disclosed. The sampling circuit comprises a plurality of sampling channels adapted to sample the signal in time-multiplexed fashion, each sampling channel comprising a respective track-and-hold circuit connected to a respective analogue to digital

check cif.pdf

Indian Academy of Sciences (India)

AMMIN

Calculated. Reported. Volume ... PLAT094_ALERT_2_C Ratio of Maximum / Minimum Residual Density .... 3.24 Report ... checkCIF was carefully designed to identify outliers and unusual parameters, but every test has its limitations and alerts ...

Electric circuits essentials

CERN Document Server

REA, Editors of

2012-01-01

REA's Essentials provide quick and easy access to critical information in a variety of different fields, ranging from the most basic to the most advanced. As its name implies, these concise, comprehensive study guides summarize the essentials of the field covered. Essentials are helpful when preparing for exams, doing homework and will remain a lasting reference source for students, teachers, and professionals. Electric Circuits I includes units, notation, resistive circuits, experimental laws, transient circuits, network theorems, techniques of circuit analysis, sinusoidal analysis, polyph

Approximate circuits for increased reliability

Science.gov (United States)

Hamlet, Jason R.; Mayo, Jackson R.

2015-08-18

Embodiments of the invention describe a Boolean circuit having a voter circuit and a plurality of approximate circuits each based, at least in part, on a reference circuit. The approximate circuits are each to generate one or more output signals based on values of received input signals. The voter circuit is to receive the one or more output signals generated by each of the approximate circuits, and is to output one or more signals corresponding to a majority value of the received signals. At least some of the approximate circuits are to generate an output value different than the reference circuit for one or more input signal values; however, for each possible input signal value, the majority values of the one or more output signals generated by the approximate circuits and received by the voter circuit correspond to output signal result values of the reference circuit.

Short-circuit logic

NARCIS (Netherlands)

Bergstra, J.A.; Ponse, A.

2010-01-01

Short-circuit evaluation denotes the semantics of propositional connectives in which the second argument is only evaluated if the first argument does not suffice to determine the value of the expression. In programming, short-circuit evaluation is widely used. A short-circuit logic is a variant of

46 CFR 10.214 - Security Check.

Science.gov (United States)

2010-10-01

... 46 Shipping 1 2010-10-01 2010-10-01 false Security Check. 10.214 Section 10.214 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY MERCHANT MARINE OFFICERS AND SEAMEN MERCHANT MARINER CREDENTIAL General Requirements for All Merchant Mariner Credentials § 10.214 Security Check. Until April 15, 2009...

QoS-Aware Resource Allocation for Network Virtualization in an Integrated Train Ground Communication System

OpenAIRE

Zhu, Li; Wang, Fei; Zhao, Hongli

2018-01-01

Urban rail transit plays an increasingly important role in urbanization processes. Communications-Based Train Control (CBTC) Systems, Passenger Information Systems (PIS), and Closed Circuit Television (CCTV) are key applications of urban rail transit to ensure its normal operation. In existing urban rail transit systems, different applications are deployed with independent train ground communication systems. When the train ground communication systems are built repeatedly, limited wireless sp...

Copper extraction from coarsely ground printed circuit boards using moderate thermophilic bacteria in a rotating-drum reactor

Energy Technology Data Exchange (ETDEWEB)

Rodrigues, Michael L.M., E-mail: mitchel.marques@yahoo.com.br [Bio& Hydrometallurgy Laboratory, Department of Metallurgical and Materials Engineering, Universidade Federal de Ouro Preto, Campus Morro do Cruzeiro, Ouro Preto, MG 35400-000 (Brazil); Leão, Versiane A., E-mail: versiane@demet.em.ufop.br [Bio& Hydrometallurgy Laboratory, Department of Metallurgical and Materials Engineering, Universidade Federal de Ouro Preto, Campus Morro do Cruzeiro, Ouro Preto, MG 35400-000 (Brazil); Gomes, Otavio [Centre for Mineral Technology – CETEM, Av Pedro Calmon, 900, 21941-908 Rio de Janeiro (Brazil); Lambert, Fanny; Bastin, David; Gaydardzhiev, Stoyan [Mineral Processing and Recycling, University of Liege, SartTilman, 4000 Liege (Belgium)

2015-07-15

Highlights: • Copper bioleaching from PCB (20 mm) by moderate thermophiles was demonstrated. • Larger PCB sheets enable a cost reduction due to the elimination of fine grinding. • Crushing generated cracks in PCB increasing the copper extraction. • A pre-treatment step was necessary to remove the lacquer coating. • High copper extractions (85%) were possible with pulp density of up to 25.0 g/L. - Abstract: The current work reports on a new approach for copper bioleaching from Printed Circuit Board (PCB) by moderate thermophiles in a rotating-drum reactor. Initially leaching of PCB was carried out in shake flasks to assess the effects of particle size (−208 μm + 147 μm), ferrous iron concentration (1.25–10.0 g/L) and pH (1.5–2.5) on copper leaching using mesophile and moderate thermophile microorganisms. Only at a relatively low solid content (10.0 g/L) complete copper extraction was achieved from the particle size investigated. Conversely, high copper extractions were possible from coarse-ground PCB (20 mm-long) working with increased solids concentration (up to 25.0 g/L). Because there was as the faster leaching kinetics at 50 °C Sulfobacillus thermosulfidooxidans was selected for experiments in a rotating-drum reactor with the coarser-sized PCB sheets. Under optimal conditions, copper extraction reached 85%, in 8 days and microscopic observations by SEM–EDS of the on non-leached and leached material suggested that metal dissolution from the internal layers was restricted by the fact that metal surface was not entirely available and accessible for the solution in the case of the 20 mm-size sheets.

Copper extraction from coarsely ground printed circuit boards using moderate thermophilic bacteria in a rotating-drum reactor

International Nuclear Information System (INIS)

Rodrigues, Michael L.M.; Leão, Versiane A.; Gomes, Otavio; Lambert, Fanny; Bastin, David; Gaydardzhiev, Stoyan

2015-01-01

Highlights: • Copper bioleaching from PCB (20 mm) by moderate thermophiles was demonstrated. • Larger PCB sheets enable a cost reduction due to the elimination of fine grinding. • Crushing generated cracks in PCB increasing the copper extraction. • A pre-treatment step was necessary to remove the lacquer coating. • High copper extractions (85%) were possible with pulp density of up to 25.0 g/L. - Abstract: The current work reports on a new approach for copper bioleaching from Printed Circuit Board (PCB) by moderate thermophiles in a rotating-drum reactor. Initially leaching of PCB was carried out in shake flasks to assess the effects of particle size (−208 μm + 147 μm), ferrous iron concentration (1.25–10.0 g/L) and pH (1.5–2.5) on copper leaching using mesophile and moderate thermophile microorganisms. Only at a relatively low solid content (10.0 g/L) complete copper extraction was achieved from the particle size investigated. Conversely, high copper extractions were possible from coarse-ground PCB (20 mm-long) working with increased solids concentration (up to 25.0 g/L). Because there was as the faster leaching kinetics at 50 °C Sulfobacillus thermosulfidooxidans was selected for experiments in a rotating-drum reactor with the coarser-sized PCB sheets. Under optimal conditions, copper extraction reached 85%, in 8 days and microscopic observations by SEM–EDS of the on non-leached and leached material suggested that metal dissolution from the internal layers was restricted by the fact that metal surface was not entirely available and accessible for the solution in the case of the 20 mm-size sheets

7 CFR 58.243 - Checking quality.

Science.gov (United States)

2010-01-01

... 7 Agriculture 3 2010-01-01 2010-01-01 false Checking quality. 58.243 Section 58.243 Agriculture... Procedures § 58.243 Checking quality. All milk, milk products and dry milk products shall be subject to inspection and analysis by the dairy plant for quality and condition throughout each processing operation...

Load testing circuit

DEFF Research Database (Denmark)

2009-01-01

A load testing circuit a circuit tests the load impedance of a load connected to an amplifier. The load impedance includes a first terminal and a second terminal, the load testing circuit comprising a signal generator providing a test signal of a defined bandwidth to the first terminal of the load...

Mothers' use of and attitudes to BabyCheck.

OpenAIRE

Thomson, Hilary; Ross, Sue; Wilson, Philip; McConnachie, Alex; Watson, Richard

2002-01-01

A copy of BabyCheck was sent to 497 mothers shortly after the birth of their baby. Six months later they were sent a questionnaire asking about their use of and attitudes to, BabyCheck. Questionnaires were returned by 323 (65%) mothers; 215 (67%) of them reported reading BabyCheck, the majority found it easy to understand (74%) and agreed with the advice (67%). Eighty-four (26%) of the mothers who returned the questionnaires reported using BabyCheck when their baby was ill; of these, 71% agre...

CMM Interim Check Design of Experiments (U)

Energy Technology Data Exchange (ETDEWEB)

Montano, Joshua Daniel [Los Alamos National Lab. (LANL), Los Alamos, NM (United States)

2015-07-29

Coordinate Measuring Machines (CMM) are widely used in industry, throughout the Nuclear Weapons Complex and at Los Alamos National Laboratory (LANL) to verify part conformance to design definition. Calibration cycles for CMMs at LANL are predominantly one year in length and include a weekly interim check to reduce risk. The CMM interim check makes use of Renishaw’s Machine Checking Gauge which is an off-the-shelf product simulates a large sphere within a CMM’s measurement volume and allows for error estimation. As verification on the interim check process a design of experiments investigation was proposed to test a couple of key factors (location and inspector). The results from the two-factor factorial experiment proved that location influenced results more than the inspector or interaction.

Timergenerator circuits manual

CERN Document Server

Marston, R M

2013-01-01

Timer/Generator Circuits Manual is an 11-chapter text that deals mainly with waveform generator techniques and circuits. Each chapter starts with an explanation of the basic principles of its subject followed by a wide range of practical circuit designs. This work presents a total of over 300 practical circuits, diagrams, and tables.Chapter 1 outlines the basic principles and the different types of generator. Chapters 2 to 9 deal with a specific type of waveform generator, including sine, square, triangular, sawtooth, and special waveform generators pulse. These chapters also include pulse gen

CMOS circuits manual

CERN Document Server

Marston, R M

1995-01-01

CMOS Circuits Manual is a user's guide for CMOS. The book emphasizes the practical aspects of CMOS and provides circuits, tables, and graphs to further relate the fundamentals with the applications. The text first discusses the basic principles and characteristics of the CMOS devices. The succeeding chapters detail the types of CMOS IC, including simple inverter, gate and logic ICs and circuits, and complex counters and decoders. The last chapter presents a miscellaneous collection of two dozen useful CMOS circuits. The book will be useful to researchers and professionals who employ CMOS circu

Design automation for integrated nonlinear logic circuits (Conference Presentation)

Science.gov (United States)

Van Vaerenbergh, Thomas; Pelc, Jason; Santori, Charles; Bose, Ranojoy; Kielpinski, Dave; Beausoleil, Raymond G.

2016-05-01

PCells (modules) which consist of primitive building-block PCells (components). To automatically produce layouts, we built on a construct provided by Luceda called a PlaceAndAutoRoute cell: we create a module component by supplying a list of child cells, and a list of the desired connections between the cells (e.g. the out0 port of a microring is connected to a grating coupler). This functionality allowed us to write algorithms to automatically lay out the components: for instance, by laying out the first component and walking through the list of connections to check to see if the next component is already placed or not. The placement and orientation of the new component is determined by minimizing the length of a connecting waveguide. Our photonic circuits also utilize electrical signals to tune the photonic elements (setting propagation phases or microring resonant frequencies via thermo-optical tuning): the algorithm also routes the contacts for the metal heaters to contact pads at the edge of the circuit being designed where it can be contacted by electrical probes. We are currently validating a test run fabricated over the summer, and will use detailed characterization results to prepare our final design cycle in which we aim to demonstrate complex operational logic circuits containing ~50-100 nonlinear resonators.

Liability of Banking Institutions for the Payment of Forged or Altered Checks in Colombia

Directory of Open Access Journals (Sweden)

Jorge Alberto Padilla Sánchez

2017-07-01

Full Text Available We face a trend to turn liability of financial institutions to strict liability for breach of their contractual obligations, trend that has been extended by the Colombian judicial activity to situations that do not have legal grounds, under the pretext of protecting the financial consumer as a subject of special protection by the law. Perhaps one of the most emblematic cases of this trend is the responsibility of banking institutions for payment of counterfeit or adulterated checks, which does have a legal mandate that allows distinguish it from the general system of responsibility of such entities.

Quantum Zeno Effect in the Strong Measurement Regime of Circuit Quantum Electrodynamics

Science.gov (United States)

2016-05-17

exponential (linear in time at short times), whereas in the absence ofmeasurement the qubit would exhibit sinusoidal state evolution ( quadratic in time...decouple the dynamical equations of 2 New J. Phys. 18 (2016) 053031 DHSlichter et al the qubit and cavity and obtain a qubit-only reducedmaster equation ...Solving thismaster equation yields a qubit transition rate from the ground state to excited state in the presence of continuous circuitQEDmeasurement [19

7 CFR 1421.11 - Spot checks.

Science.gov (United States)

2010-01-01

... 7 Agriculture 10 2010-01-01 2010-01-01 false Spot checks. 1421.11 Section 1421.11 Agriculture... ASSISTANCE LOANS AND LOAN DEFICIENCY PAYMENTS FOR 2008 THROUGH 2012 General § 1421.11 Spot checks. (a) CCC... CCC access to the farm and storage facility as necessary to conduct collateral inspections, or “spot...

32 CFR 635.6 - Name checks.

Science.gov (United States)

2010-07-01

... 32 National Defense 4 2010-07-01 2010-07-01 true Name checks. 635.6 Section 635.6 National Defense Department of Defense (Continued) DEPARTMENT OF THE ARMY (CONTINUED) LAW ENFORCEMENT AND CRIMINAL INVESTIGATIONS LAW ENFORCEMENT REPORTING Records Administration § 635.6 Name checks. (a) Information contained in military police records may be...

45 CFR 201.70 - Treatment of replacement checks.

Science.gov (United States)

2010-10-01

... 45 Public Welfare 2 2010-10-01 2010-10-01 false Treatment of replacement checks. 201.70 Section... STATES FOR PUBLIC ASSISTANCE PROGRAMS Review and Audits § 201.70 Treatment of replacement checks. (a... (FFP) for replacement checks under titles I, VI-A, X, XIV, XVI (AABD) except under the circumstances...

A superconducting supercollider calorimeter photomultiplier tube preamplifier circuit

Energy Technology Data Exchange (ETDEWEB)

Panescu, D; Lackey, J; Robl, P; Smith, W H [Wisconsin Univ., Madison, WI (United States). Physics Dept.

1992-07-15

This study presents the design of the front end amplifier for a scintillator calorimeter with photomultiplier tube (PMT) readout. The design is based on analytical computations and SPICE simulations, and is checked against tests performed on a prototyped circuit. We were looking to achieve (1) a very low droop within the 4 ns after the integration of the photomultiplier tube (PMT) signal was completed, (2) a very low noise figure for the whole amplifier in a 100 MHz bandwidth, (3) an input impedance optimized for the PMT which is actually used, (4) baseline restoration as quick as possible at the output of the clip amps, (5) no loss of information due to the saturation at intermediary stages (e.g. integrator), and (6) an output driving 100 {Omega} twisted pair cables, or 50 {Omega} coaxial cables, in order to transmit the signal to switched capacitor arrays for analog storage. (orig.).

30 CFR 75.601-1 - Short circuit protection; ratings and settings of circuit breakers.

Science.gov (United States)

2010-07-01

... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Short circuit protection; ratings and settings... Trailing Cables § 75.601-1 Short circuit protection; ratings and settings of circuit breakers. Circuit breakers providing short circuit protection for trailing cables shall be set so as not to exceed the...

Recent improvements in check valve monitoring methods

International Nuclear Information System (INIS)

Haynes, H.D.

1991-01-01

In support of the NRC Nuclear Plant Aging Research (NPAR) program, ORNL has carried out an evaluation of three check valve monitoring methods: acoustic emission, ultrasonic inspection, and magnetic flux signature analysis (MFSA). This work has focussed on determining the capabilities of each method to provide diagnostic information useful in determining check valve aging and service wear effects (degradation) and undesirable operating modes. In addition, as part of the ORNL Advanced Diagnostic Engineering Research and Development Center (ADEC), two novel nonintrusive monitoring methods were developed (external ac- and dc-magnetic monitoring) that provide several improvements over the other methods. None of the examined methods could, by themselves, monitor the instantaneous position and motion of check valve internals and valve leakage; however, the combination of acoustic emission monitoring with one of the other methods provides the means to determine vital check valve operational information. This paper describes the benefits and limitations associated with each method and includes recent laboratory and field test data to illustrate the capabilities of these methods to detect simulated check valve degradation. 3 refs., 22 figs., 4 tabs

Recent improvements in check valve monitoring methods

International Nuclear Information System (INIS)

Haynes, H.D.

1990-01-01

In support of the NRC Nuclear Plant Aging Research (NPAR) program, ORNL has carried out an evaluation of three check valve monitoring methods: acoustic emission, ultrasonic inspection, and magnetic flux signature analysis (MFSA). This work has focused on determining the capabilities of each method to provide diagnostic information useful in determining check valve aging and service wear effects (degradation) and undesirable operating modes. In addition, as part of the ORNL Advanced Diagnostic Engineering Research and Development Center (ADEC), two noval nonintrusive monitoring methods were developed (external ac- and dc-magnetic monitoring) that provide several improvements over the other methods. None of the examined methods could, by themselves, monitor the instantaneous position and motion of check valve internals and valve leakage; however, the combination of acoustic emission monitoring with one of the other methods provides the means to determine vital check valve operational information. This paper describes the benefits and limitations associated with each method and includes recent laboratory and field test data to illustrate the capabilities of these methods to detect simulated check valve degradation. 3 refs., 22 figs., 4 tabs

Check valve diagnostics utilizing acoustic and magnetic technologies

International Nuclear Information System (INIS)

Agostinelli, A.

1991-01-01

The potential hazards associated with check valve failures make it necessary to detect check valve problems before they cause significant damage. In the nuclear industry, check valve failures are known to have resulted in damaging water hammer conditions, overpressurization of low pressure systems, steam binding of auxiliary feedwater pumps, and other serious component damage in power plant environments. Similar problems exist in fossil power and various process industries, but the resources dedicated to valve maintenance issues are greatly reduced. However, the trend toward plant life extension, predictive maintenance, and maximum operating efficiency will raise the general awareness of check valve maintenance in commercial (non-nuclear) applications. Although this paper includes specific references to the nuclear industry, the check valve problem conditions and diagnostic techniques apply across all power and process plant environments. The ability to accurately diagnose check valve conditions using non-intrusive, predictive maintenance testing methods allows for a more cost-efficient, productive maintenance program. One particular diagnostic system, called Quickcheck trademark, assists utilities in addressing these concerns. This article presents actual field test data and analysis that demonstrate the power of check valve diagnostics. Prior to presenting the field data, a brief overview of the system is overviewed

Statistical Model Checking of Rich Models and Properties

DEFF Research Database (Denmark)

Poulsen, Danny Bøgsted

in undecidability issues for the traditional model checking approaches. Statistical model checking has proven itself a valuable supplement to model checking and this thesis is concerned with extending this software validation technique to stochastic hybrid systems. The thesis consists of two parts: the first part...... motivates why existing model checking technology should be supplemented by new techniques. It also contains a brief introduction to probability theory and concepts covered by the six papers making up the second part. The first two papers are concerned with developing online monitoring techniques...... systems. The fifth paper shows how stochastic hybrid automata are useful for modelling biological systems and the final paper is concerned with showing how statistical model checking is efficiently distributed. In parallel with developing the theory contained in the papers, a substantial part of this work...

Sequential circuit design for radiation hardened multiple voltage integrated circuits

Science.gov (United States)

Clark, Lawrence T [Phoenix, AZ; McIver, III, John K.

2009-11-24

The present invention includes a radiation hardened sequential circuit, such as a bistable circuit, flip-flop or other suitable design that presents substantial immunity to ionizing radiation while simultaneously maintaining a low operating voltage. In one embodiment, the circuit includes a plurality of logic elements that operate on relatively low voltage, and a master and slave latches each having storage elements that operate on a relatively high voltage.

UTP and Temporal Logic Model Checking

Science.gov (United States)

Anderson, Hugh; Ciobanu, Gabriel; Freitas, Leo

In this paper we give an additional perspective to the formal verification of programs through temporal logic model checking, which uses Hoare and He Unifying Theories of Programming (UTP). Our perspective emphasizes the use of UTP designs, an alphabetised relational calculus expressed as a pre/post condition pair of relations, to verify state or temporal assertions about programs. The temporal model checking relation is derived from a satisfaction relation between the model and its properties. The contribution of this paper is that it shows a UTP perspective to temporal logic model checking. The approach includes the notion of efficiency found in traditional model checkers, which reduced a state explosion problem through the use of efficient data structures

Coverage Metrics for Model Checking

Science.gov (United States)

Penix, John; Visser, Willem; Norvig, Peter (Technical Monitor)

2001-01-01

When using model checking to verify programs in practice, it is not usually possible to achieve complete coverage of the system. In this position paper we describe ongoing research within the Automated Software Engineering group at NASA Ames on the use of test coverage metrics to measure partial coverage and provide heuristic guidance for program model checking. We are specifically interested in applying and developing coverage metrics for concurrent programs that might be used to support certification of next generation avionics software.

First experiences with the LHC BLM sanity checks

Science.gov (United States)

Emery, J.; Dehning, B.; Effinger, E.; Nordt, A.; Sapinski, M. G.; Zamantzas, C.

2010-12-01

The reliability concerns have driven the design of the Large Hardron Collider (LHC) Beam Loss Monitoring (BLM) system from the early stage of the studies up to the present commissioning and the latest development of diagnostic tools. To protect the system against non-conformities, new ways of automatic checking have been developed and implemented. These checks are regularly and systematically executed by the LHC operation team to ensure that the system status is after each test "as good as new". The sanity checks are part of this strategy. They are testing the electrical part of the detectors (ionisation chamber or secondary emission detector), their cable connections to the front-end electronics, further connections to the back-end electronics and their ability to request a beam abort. During the installation and in the early commissioning phase, these checks have shown their ability to find also non-conformities caused by unexpected failure event scenarios. In every day operation, a non-conformity discovered by this check inhibits any further injections into the LHC until the check confirms the absence of non-conformities.

First experiences with the LHC BLM sanity checks

International Nuclear Information System (INIS)

Emery, J; Dehning, B; Effinger, E; Nordt, A; Sapinski, M G; Zamantzas, C

2010-01-01

The reliability concerns have driven the design of the Large Hardron Collider (LHC) Beam Loss Monitoring (BLM) system from the early stage of the studies up to the present commissioning and the latest development of diagnostic tools. To protect the system against non-conformities, new ways of automatic checking have been developed and implemented. These checks are regularly and systematically executed by the LHC operation team to ensure that the system status is after each test a s good as new . The sanity checks are part of this strategy. They are testing the electrical part of the detectors (ionisation chamber or secondary emission detector), their cable connections to the front-end electronics, further connections to the back-end electronics and their ability to request a beam abort. During the installation and in the early commissioning phase, these checks have shown their ability to find also non-conformities caused by unexpected failure event scenarios. In every day operation, a non-conformity discovered by this check inhibits any further injections into the LHC until the check confirms the absence of non-conformities.

First experiences with the LHC BLM sanity checks

Energy Technology Data Exchange (ETDEWEB)

Emery, J; Dehning, B; Effinger, E; Nordt, A; Sapinski, M G; Zamantzas, C, E-mail: Jonathan.emery@cern.ch [CERN, CH-1211 Geneve 23 (Switzerland)

2010-12-15

The reliability concerns have driven the design of the Large Hardron Collider (LHC) Beam Loss Monitoring (BLM) system from the early stage of the studies up to the present commissioning and the latest development of diagnostic tools. To protect the system against non-conformities, new ways of automatic checking have been developed and implemented. These checks are regularly and systematically executed by the LHC operation team to ensure that the system status is after each test {sup a}s good as new{sup .} The sanity checks are part of this strategy. They are testing the electrical part of the detectors (ionisation chamber or secondary emission detector), their cable connections to the front-end electronics, further connections to the back-end electronics and their ability to request a beam abort. During the installation and in the early commissioning phase, these checks have shown their ability to find also non-conformities caused by unexpected failure event scenarios. In every day operation, a non-conformity discovered by this check inhibits any further injections into the LHC until the check confirms the absence of non-conformities.

DVCCs Based High Input Impedance Voltage-Mode First-Order Filters Employing Grounded Capacitor and Resistor

Directory of Open Access Journals (Sweden)

J. W. Horng

2010-12-01

Full Text Available A voltage-mode high input impedance first-order highpass, lowpass and allpass filters using two differential voltage current conveyors (DVCCs, one grounded capacitor and one grounded resistor is presented. The highpass, lowpass and allpass signals can be obtained simultaneously from the circuit configuration. The suggested filter uses a canonical number of passive components without requiring any component matching condition. The simulation results confirm the theoretical analysis.

Low latency asynchronous interface circuits

Science.gov (United States)

Sadowski, Greg

2017-06-20

In one form, a logic circuit includes an asynchronous logic circuit, a synchronous logic circuit, and an interface circuit coupled between the asynchronous logic circuit and the synchronous logic circuit. The asynchronous logic circuit has a plurality of asynchronous outputs for providing a corresponding plurality of asynchronous signals. The synchronous logic circuit has a plurality of synchronous inputs corresponding to the plurality of asynchronous outputs, a stretch input for receiving a stretch signal, and a clock output for providing a clock signal. The synchronous logic circuit provides the clock signal as a periodic signal but prolongs a predetermined state of the clock signal while the stretch signal is active. The asynchronous interface detects whether metastability could occur when latching any of the plurality of the asynchronous outputs of the asynchronous logic circuit using said clock signal, and activates the stretch signal while the metastability could occur.

Do alcohol compliance checks decrease underage sales at neighboring establishments?

Science.gov (United States)

Erickson, Darin J; Smolenski, Derek J; Toomey, Traci L; Carlin, Bradley P; Wagenaar, Alexander C

2013-11-01

Underage alcohol compliance checks conducted by law enforcement agencies can reduce the likelihood of illegal alcohol sales at checked alcohol establishments, and theory suggests that an alcohol establishment that is checked may warn nearby establishments that compliance checks are being conducted in the area. In this study, we examined whether the effects of compliance checks diffuse to neighboring establishments. We used data from the Complying with the Minimum Drinking Age trial, which included more than 2,000 compliance checks conducted at more than 900 alcohol establishments. The primary outcome was the sale of alcohol to a pseudo-underage buyer without the need for age identification. A multilevel logistic regression was used to model the effect of a compliance check at each establishment as well as the effect of compliance checks at neighboring establishments within 500 m (stratified into four equal-radius concentric rings), after buyer, license, establishment, and community-level variables were controlled for. We observed a decrease in the likelihood of establishments selling alcohol to underage youth after they had been checked by law enforcement, but these effects quickly decayed over time. Establishments that had a close neighbor (within 125 m) checked in the past 90 days were also less likely to sell alcohol to young-appearing buyers. The spatial effect of compliance checks on other establishments decayed rapidly with increasing distance. Results confirm the hypothesis that the effects of police compliance checks do spill over to neighboring establishments. These findings have implications for the development of an optimal schedule of police compliance checks.

Feedback in analog circuits

CERN Document Server

Ochoa, Agustin

2016-01-01

This book describes a consistent and direct methodology to the analysis and design of analog circuits with particular application to circuits containing feedback. The analysis and design of circuits containing feedback is generally presented by either following a series of examples where each circuit is simplified through the use of insight or experience (someone else’s), or a complete nodal-matrix analysis generating lots of algebra. Neither of these approaches leads to gaining insight into the design process easily. The author develops a systematic approach to circuit analysis, the Driving Point Impedance and Signal Flow Graphs (DPI/SFG) method that does not require a-priori insight to the circuit being considered and results in factored analysis supporting the design function. This approach enables designers to account fully for loading and the bi-directional nature of elements both in the feedback path and in the amplifier itself, properties many times assumed negligible and ignored. Feedback circuits a...

Checking and Balancing: Banking and Budgeting.

Science.gov (United States)

Thypin, Marilyn; Glasner, Lynne

A short fictional work for limited English speakers is presented that relates a young couple's experience in learning about managing their money more carefully by budgeting and maintaining a checking account. Since the couple did not have a checking account, they had to go to their savings bank in order to pay each bill and they had to keep cash…

Glovebox pressure relief and check valve

Energy Technology Data Exchange (ETDEWEB)

Blaedel, K.L.

1986-03-17

This device is a combined pressure relief valve and check valve providing overpressure protection and preventing back flow into an inert atmosphere enclosure. The pressure relief is embodied by a submerged vent line in a mercury reservior, the releif pressure being a function of the submerged depth. The pressure relief can be vented into an exhaust system and the relieving pressure is only slightly influenced by the varying pressure in the exhaust system. The check valve is embodied by a ball which floats on the mercury column and contacts a seat whenever vacuum exists within the glovebox enclosure. Alternatively, the check valve is embodied by a vertical column of mercury, the maximum back pressure being a function of the height of the column of mercury.

Glovebox pressure relief and check valve

International Nuclear Information System (INIS)

Blaedel, K.L.

1986-01-01

This device is a combined pressure relief valve and check valve providing overpressure protection and preventing back flow into an inert atmosphere enclosure. The pressure relief is embodied by a submerged vent line in a mercury reservior, the releif pressure being a function of the submerged depth. The pressure relief can be vented into an exhaust system and the relieving pressure is only slightly influenced by the varying pressure in the exhaust system. The check valve is embodied by a ball which floats on the mercury column and contacts a seat whenever vacuum exists within the glovebox enclosure. Alternatively, the check valve is embodied by a vertical column of mercury, the maximum back pressure being a function of the height of the column of mercury

Analog circuits cookbook

CERN Document Server

Hickman, Ian

2013-01-01

Analog Circuits Cookbook presents articles about advanced circuit techniques, components and concepts, useful IC for analog signal processing in the audio range, direct digital synthesis, and ingenious video op-amp. The book also includes articles about amplitude measurements on RF signals, linear optical imager, power supplies and devices, and RF circuits and techniques. Professionals and students of electrical engineering will find the book informative and useful.

Standard Test Methods for Insulation Integrity and Ground Path Continuity of Photovoltaic Modules

CERN Document Server

American Society for Testing and Materials. Philadelphia

2000-01-01

1.1 These test methods cover procedures for (1) testing for current leakage between the electrical circuit of a photovoltaic module and its external components while a user-specified voltage is applied and (2) for testing for possible module insulation breakdown (dielectric voltage withstand test). 1.2 A procedure is described for measuring the insulation resistance between the electrical circuit of a photovoltaic module and its external components (insulation resistance test). 1.3 A procedure is provided for verifying that electrical continuity exists between the exposed external conductive surfaces of the module, such as the frame, structural members, or edge closures, and its grounding point (ground path continuity test). 1.4 This test method does not establish pass or fail levels. The determination of acceptable or unacceptable results is beyond the scope of this test method. 1.5 There is no similar or equivalent ISO standard. This standard does not purport to address all of the safety concerns, if a...

Repeated checking induces uncertainty about future threat

NARCIS (Netherlands)

Giele, C.L.|info:eu-repo/dai/nl/318754460; Engelhard, I.M.|info:eu-repo/dai/nl/239681533; van den Hout, M.A.|info:eu-repo/dai/nl/070445354; Dek, E.C.P.|info:eu-repo/dai/nl/313959552; Damstra, Marianne; Douma, Ellen

2015-01-01

Studies have shown that obsessive-compulsive (OC) -like repeated checking paradoxically increases memory uncertainty. This study tested if checking also induces uncertainty about future threat by impairing the distinction between danger and safety cues. Participants (n = 54) engaged in a simulated

Electric circuits and signals

CERN Document Server

Sabah, Nassir H

2007-01-01

Circuit Variables and Elements Overview Learning Objectives Electric Current Voltage Electric Power and Energy Assigned Positive Directions Active and Passive Circuit Elements Voltage and Current Sources The Resistor The Capacitor The Inductor Concluding Remarks Summary of Main Concepts and Results Learning Outcomes Supplementary Topics on CD Problems and Exercises Basic Circuit Connections and Laws Overview Learning Objectives Circuit Terminology Kirchhoff's Laws Voltage Division and Series Connection of Resistors Current Division and Parallel Connection of Resistors D-Y Transformation Source Equivalence and Transformation Reduced-Voltage Supply Summary of Main Concepts and Results Learning Outcomes Supplementary Topics and Examples on CD Problems and Exercises Basic Analysis of Resistive Circuits Overview Learning Objectives Number of Independent Circuit Equations Node-Voltage Analysis Special Considerations in Node-Voltage Analysis Mesh-Current Analysis Special Conside...

[Shunt and short circuit].

Science.gov (United States)

Rangel-Abundis, Alberto

2006-01-01

Shunt and short circuit are antonyms. In French, the term shunt has been adopted to denote the alternative pathway of blood flow. However, in French, as well as in Spanish, the word short circuit (court-circuit and cortocircuito) is synonymous with shunt, giving rise to a linguistic and scientific inconsistency. Scientific because shunt and short circuit made reference to a phenomenon that occurs in the field of the physics. Because shunt and short circuit are antonyms, it is necessary to clarify that shunt is an alternative pathway of flow from a net of high resistance to a net of low resistance, maintaining the stream. Short circuit is the interruption of the flow, because a high resistance impeaches the flood. This concept is applied to electrical and cardiovascular physiology, as well as to the metabolic pathways.

Inkjet 3D printed check microvalve

International Nuclear Information System (INIS)

Walczak, Rafał; Adamski, Krzysztof; Lizanets, Danylo

2017-01-01

3D printing enables fast and relatively easy fabrication of various microfluidic structures including microvalves. A check microvalve is the simplest valve enabling control of the fluid flow in microchannels. Proper operation of the check valve is ensured by a movable element that tightens the valve seat during backward flow and enables free flow for forward pressure. Thus, knowledge of the mechanical properties of the movable element is crucial for optimal design and operation of the valve. In this paper, we present for the first time the results of investigations on basic mechanical properties of the building material used in multijet 3D printing. Specified mechanical properties were used in the design and fabrication of two types of check microvalve—with deflecting or hinge-fixed microflap—with 200 µ m and 300 µ m thickness. Results of numerical simulation and experimental data of the microflap deflection were obtained and compared. The valves were successfully 3D printed and characterised. Opening/closing characteristics of the microvalve for forward and backward pressures were determined. Thus, proper operation of the check microvalve so developed was confirmed. (technical note)

Macromodels of digital integrated circuits for program packages of circuit engineering design

Science.gov (United States)

Petrenko, A. I.; Sliusar, P. B.; Timchenko, A. P.

1984-04-01

Various aspects of the generation of macromodels of digital integrated circuits are examined, and their effective application in program packages of circuit engineering design is considered. Three levels of macromodels are identified, and the application of such models to the simulation of circuit outputs is discussed.

Purification of arsenic contaminated ground water using hydrated manganese dioxide

International Nuclear Information System (INIS)

Raje, N.; Swain, K.K.

2002-01-01

An analytical methodology has been developed for the separation of arsenic from ground water using inorganic material in neutral medium. The separation procedure involves the quantitative retention of arsenic on hydrated manganese dioxide, in neutral medium. The validity of the separation procedure has been checked by a standard addition method and radiotracer studies. Neutron activation analysis (NAA), a powerful measurement technique, has been used for the quantitative determination of arsenic. (author)

Sistem Proteksi Arus Bocor Menggunakan Earth Leakage Circuit Breaker Berbasis Arduino

OpenAIRE

Syukriyadin, Syukriyadin

2016-01-01

Touching a live part of electrical equipment either intentionally or unintentionally can cause an electric shock. The touch can occur directly or indirectly and results in the flow of electric current through the human body to the ground. This electric current is known as the leakage current and can have fatal effects on the human body such as burns, cramps, faint and death. This paper aims to design a prototype protection model of the earth leakage circuit breaker device based on Arduino (EL...

Systematic Review of the Check-In, Check-Out Intervention for Students at Risk for Emotional and Behavioral Disorders

Science.gov (United States)

Hawken, Leanne S.; Bundock, Kaitlin; Kladis, Kristin; O'Keeffe, Breda; Barret, Courtenay A.

2014-01-01

The purpose of this systematic literature review was to summarize outcomes of the Check-in Check-out (CICO) intervention across elementary and secondary settings. Twenty-eight studies utilizing both single subject and group (experimental and quasi-experimental) designs were included in this review. Median effect sizes across the eight group…

Circuit arrangement of an electronic component for the design of fail-safe protective circuits

International Nuclear Information System (INIS)

Centmaier, W.; Bernhard, U.; Friederich, B.; Heisecke, I.

1974-01-01

The critical parameters of reactors are controlled by safety circuits. These circuits are controlled designed as logic modules operating by the 'n-out-of-m' selection principle. In most cases, a combination of a '1-out-of-3' circuit with a '2-out-of-3' circuit and separate indication is sufficient for a dynamic fail-safe circuit. The basic logic elements are AND and OR gate circuits, respectively, which are triggered by pulse trains and in which the failure of a pulse train is indicated as an error at the output. The module allows the design of safety circuits offering various degrees of safety. If the indication of an error is made on the modules, faulty components can be exchanged by the maintenance crew right away. (DG) [de

State prisons are covered by ADA, 7th Circuit rules.

Science.gov (United States)

1997-07-25

Prison inmate [name removed] sued the Indiana Department of Corrections, claiming it violated the Americans with Disabilities Act (ADA) by denying him access to education programs, the library, and the dining hall because he is blind. The 7th U.S. Circuit Court of Appeals rejected the district court's decision to dismiss the case based on the grounds that the ADA does not apply to prison inmates. The court held that the Department of Corrections cannot exclude an inmate with a disability from prison programs unless the accommodation caused an undue burden on the system.

Comparison of modified driver circuit and capacitor-transfer circuit in longitudinally excited N2 laser.

Science.gov (United States)

Uno, Kazuyuki; Akitsu, Tetsuya; Nakamura, Kenshi; Jitsuno, Takahisa

2013-04-01

We developed a modified driver circuit composed of a capacitance and a spark gap, called a direct-drive circuit, for a longitudinally excited gas laser. The direct-drive circuit uses a large discharge impedance caused by a long discharge length of the longitudinal excitation scheme and eliminates the buffer capacitance used in the traditional capacitor-transfer circuit. We compared the direct-drive circuit and the capacitor-transfer circuit in a longitudinally excited N2 laser (wavelength: 337 nm). Producing high output energy with the capacitor-transfer circuit requires a large storage capacitance and a discharge tube with optimum dimensions (an inner diameter of 4 mm and a length of 10 cm in this work); in contrast, the direct-drive circuit requires a high breakdown voltage, achieved with a small storage capacitance and a large discharge tube. Additionally, for the same input energy of 792 mJ, the maximum output energy of the capacitor-transfer circuit was 174.2 μJ, and that of the direct-drive circuit was 344.7 μJ.

Development of wavelength locking circuit for 1.53 micron water vapor monitoring coherent differential absorption LIDAR

Science.gov (United States)

Imaki, Masaharu; Kojima, Ryota; Kameyama, Shumpei

2018-04-01

We have studied a ground based coherent differential absorption LIDAR (DIAL) for vertical profiling of water vapor density using a 1.5μm laser wavelength. A coherent LIDAR has an advantage in daytime measurement compared with incoherent LIDAR because the influence of background light is greatly suppressed. In addition, the LIDAR can simultaneously measure wind speed and water vapor density. We had developed a wavelength locking circuit using the phase modulation technique and offset locking technique, and wavelength stabilities of 0.123 pm which corresponds to 16 MHz are realized. In this paper, we report the wavelength locking circuits for the 1.5 um wavelength.

Next-generation nozzle check valve significantly reduces operating costs

Energy Technology Data Exchange (ETDEWEB)

Roorda, O. [SMX International, Toronto, ON (Canada)

2009-01-15

Check valves perform an important function in preventing reverse flow and protecting plant and mechanical equipment. However, the variety of different types of valves and extreme differences in performance even within one type can change maintenance requirements and life cycle costs, amounting to millions of dollars over the typical 15-year design life of piping components. A next-generation non-slam nozzle check valve which prevents return flow has greatly reduced operating costs by protecting the mechanical equipment in a piping system. This article described the check valve varieties such as the swing check valve, a dual-plate check valve, and nozzle check valves. Advancements in optimized design of a non-slam nozzle check valve were also discussed, with particular reference to computer flow modelling such as computational fluid dynamics; computer stress modelling such as finite element analysis; and flow testing (using rapid prototype development and flow loop testing), both to improve dynamic performance and reduce hydraulic losses. The benefits of maximized dynamic performance and minimized pressure loss from the new designed valve were also outlined. It was concluded that this latest non-slam nozzle check valve design has potential applications in natural gas, liquefied natural gas, and oil pipelines, including subsea applications, as well as refineries, and petrochemical plants among others, and is suitable for horizontal and vertical installation. The result of this next-generation nozzle check valve design is not only superior performance, and effective protection of mechanical equipment but also minimized life cycle costs. 1 fig.

Principle and opening-closing character analysis of DC check valve

International Nuclear Information System (INIS)

Han Xu; Zhou Yu

2006-01-01

When the behaviour of main pump in PWR power plant change, as a result of arresting fluid countercurrent current by check valve, water hammer phenomena met occur more or less in loop. Serious water hammer not only met brought incident of over pressure, imperil pressure boundary, but also may engender check valve lapse. DC check valve is a kind of new theory check valve, is designed to avoid serious water hammer phenomena at tradition check valve closing, the analyses and experiment indicate that DC check valve can availably solve water hammer problem in the loop, and be able to reliably prevent fluid countercurrent. (authors)

The use of check valve performance data to support new concepts (probabilistic risk assessment, condition monitoring) for check valve program

Energy Technology Data Exchange (ETDEWEB)

Hart, K.A.; Gower, D.

1996-12-01

The concept of developing an integrated check valve database based on the Nuclear Power Reliability Data System (NPRDS) data was presented at the last Symposium. The Nuclear Industry Check Valve Group (NIC), working in cooperation with the Oak Ridge National Laboratory (ORNL), has completed an operational database of check valve performance from 1984 to the present. NIC has committed to the nuclear industry to periodically update the data and maintain this information accessible. As the new concepts of probabilistic risk analysis and condition monitoring are integrated into the American Society of Mechanical Engineers (ASME) Code, a critical element will be performance data. From check valve performance data, feasible failure modes and rates can be established. When a failure rate or frequency of failures can be established based on a significant enough population (sampling), a more solid foundation for focusing resources and determining appropriate frequencies and testing can be determined. The presentation will give the updated status of the NIC Check Valve Performance Database covering (1) methodology used to combine the original ORNL data; (2) process/controls established for continuing update and refinement of the data; (3) discussion of how this data is being utilized by (a) OM-22 for condition monitoring, and (b) risk-based inservice testing work of Westinghouse Owners` Group; and (4) results/trends of data evaluations. At the 1994 Symposium, ORNL provided an update as of 1991 to their original work of 1984 -1990 which they had performed to characterize check valve degradations and failures in the nuclear industry. These characterizations will be updated to 1995 and additional reviews provided to give insight into the current condition and trends of check valve performance.

The use of check valve performance data to support new concepts (probabilistic risk assessment, condition monitoring) for check valve program

International Nuclear Information System (INIS)

Hart, K.A.; Gower, D.

1996-01-01

The concept of developing an integrated check valve database based on the Nuclear Power Reliability Data System (NPRDS) data was presented at the last Symposium. The Nuclear Industry Check Valve Group (NIC), working in cooperation with the Oak Ridge National Laboratory (ORNL), has completed an operational database of check valve performance from 1984 to the present. NIC has committed to the nuclear industry to periodically update the data and maintain this information accessible. As the new concepts of probabilistic risk analysis and condition monitoring are integrated into the American Society of Mechanical Engineers (ASME) Code, a critical element will be performance data. From check valve performance data, feasible failure modes and rates can be established. When a failure rate or frequency of failures can be established based on a significant enough population (sampling), a more solid foundation for focusing resources and determining appropriate frequencies and testing can be determined. The presentation will give the updated status of the NIC Check Valve Performance Database covering (1) methodology used to combine the original ORNL data; (2) process/controls established for continuing update and refinement of the data; (3) discussion of how this data is being utilized by (a) OM-22 for condition monitoring, and (b) risk-based inservice testing work of Westinghouse Owners' Group; and (4) results/trends of data evaluations. At the 1994 Symposium, ORNL provided an update as of 1991 to their original work of 1984 -1990 which they had performed to characterize check valve degradations and failures in the nuclear industry. These characterizations will be updated to 1995 and additional reviews provided to give insight into the current condition and trends of check valve performance

Aging evaluation of electrical circuits using the ECCAD [Electrical Circuit Characterization and Diagnostic] system

International Nuclear Information System (INIS)

Edson, J.L.

1988-01-01

As a part of the Nuclear Regulatory Commission Nuclear Plant Aging Research Program, an aging assessment of electrical circuits was conducted at the Shippingport Atomic Power Station Decommissioning Project. The objective of this work was to evaluate the effectiveness of the Electrical Circuit Characterization and Diagnostic (ECCAD) system in identifying circuit conditions, to determine the present condition of selected electrical circuits, and correlate the results with aging effects. To accomplish this task, a series of electrical tests was performed on each circuit using the ECCAD system, which is composed of commercially available electronic test equipment under computer control. Test results indicate that the ECCAD system is effective in detecting and identifying aging and service wear in selected electrical circuits. The major area of degradation in the circuits tested was at the termination/connection points, whereas the cables were in generally good condition

Trigger circuit

International Nuclear Information System (INIS)

Verity, P.R.; Chaplain, M.D.; Turner, G.D.J.

1984-01-01

A monostable trigger circuit comprises transistors TR2 and TR3 arranged with their collectors and bases interconnected. The collector of the transistor TR2 is connected to the base of transistor TR3 via a capacitor C2 the main current path of a grounded base transistor TR1 and resistive means R2,R3. The collector of transistor TR3 is connected to the base of transistor TR2 via resistive means R6, R7. In the stable state all the transistors are OFF, the capacitor C2 is charged, and the output is LOW. A positive pulse input to the base of TR2 switches it ON, which in turn lowers the voltage at points A and B and so switches TR1 ON so that C2 can discharge via R2, R3, which in turn switches TR3 ON making the output high. Thus all three transistors are latched ON. When C2 has discharged sufficiently TR1 switches OFF, followed by TR3 (making the output low again) and TR2. The components C1, C3 and R4 serve to reduce noise, and the diode D1 is optional. (author)

Partial-order reduction for GPU model checking

NARCIS (Netherlands)

Neele, T.S.; Wijs, A.J.; Bošnački, D.; van de Pol, J.C.

2016-01-01

Model checking using GPUs has seen increased popularity over the last years. Because GPUs have a limited amount of memory, only small to medium-sized systems can be verified. For on-the-fly explicitstate model checking, we improve memory efficiency by applying partialorder reduction. We propose

40 CFR 89.317 - NOX converter check.

Science.gov (United States)

2010-07-01

... 40 Protection of Environment 20 2010-07-01 2010-07-01 false NOX converter check. 89.317 Section 89.317 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS (CONTINUED..., the chemiluminescent oxides of nitrogen analyzer shall be checked for NO2 to NO converter efficiency...

Assessment of check-dam groundwater recharge with water-balance calculations

Science.gov (United States)

Djuma, Hakan; Bruggeman, Adriana; Camera, Corrado; Eliades, Marinos

2017-04-01

Studies on the enhancement of groundwater recharge by check-dams in arid and semi-arid environments mainly focus on deriving water infiltration rates from the check-dam ponding areas. This is usually achieved by applying simple water balance models, more advanced models (e.g., two dimensional groundwater models) and field tests (e.g., infiltrometer test or soil pit tests). Recharge behind the check-dam can be affected by the built-up of sediment as a result of erosion in the upstream watershed area. This natural process can increase the uncertainty in the estimates of the recharged water volume, especially for water balance calculations. Few water balance field studies of individual check-dams have been presented in the literature and none of them presented associated uncertainties of their estimates. The objectives of this study are i) to assess the effect of a check-dam on groundwater recharge from an ephemeral river; and ii) to assess annual sedimentation at the check-dam during a 4-year period. The study was conducted on a check-dam in the semi-arid island of Cyprus. Field campaigns were carried out to measure water flow, water depth and check-dam topography in order to establish check-dam water height, volume, evaporation, outflow and recharge relations. Topographic surveys were repeated at the end of consecutive hydrological years to estimate the sediment built up in the reservoir area of the check dam. Also, sediment samples were collected from the check-dam reservoir area for bulk-density analyses. To quantify the groundwater recharge, a water balance model was applied at two locations: at the check-dam and corresponding reservoir area, and at a 4-km stretch of the river bed without check-dam. Results showed that a check-dam with a storage capacity of 25,000 m3 was able to recharge to the aquifer, in four years, a total of 12 million m3 out of the 42 million m3 of measured (or modelled) streamflow. Recharge from the analyzed 4-km long river section without

Weather radar performance monitoring using a metallic-grid ground-scatterer

Science.gov (United States)

Falconi, Marta Tecla; Montopoli, Mario; Marzano, Frank Silvio; Baldini, Luca

2017-10-01

The use of ground return signals is investigated for checks on the calibration of power measurements of a polarimetric C-band radar. To this aim, a peculiar permanent single scatterer (PSS) consisting of a big metallic roof with a periodic mesh grid structure and having a hemisphere-like shape is considered. The latter is positioned in the near-field region of the weather radar and its use, as a reference calibrator, shows fairly good results in terms of reflectivity and differential reflectivity monitoring. In addition, the use of PSS indirectly allows to check for the radar antenna de-pointing which is another issue usually underestimated when dealing with weather radars. Because of the periodic structure of the considered PSS, simulations of its electromagnetic behavior were relatively easy to perform. To this goal, we used an electromagnetic Computer-Aided-Design (CAD) with an ad-hoc numerical implementation of a full-wave solution to model our PSS in terms of reflectivity and differential reflectivity factor. Comparison of model results and experimental measurements are then shown in this work. Our preliminary investigation can pave the way for future studies aiming at characterizing ground-clutter returns in a more accurate way for radar calibration purposes.

Multi-Layer E-Textile Circuits

Science.gov (United States)

Dunne, Lucy E.; Bibeau, Kaila; Mulligan, Lucie; Frith, Ashton; Simon, Cory

2012-01-01

Stitched e-textile circuits facilitate wearable, flexible, comfortable wearable technology. However, while stitched methods of e-textile circuits are common, multi-layer circuit creation remains a challenge. Here, we present methods of stitched multi-layer circuit creation using accessible tools and techniques.

AUTOMATED HOTEL CHECK-IN SERTA DAMPAKNYA PADA TENAGA KERJA LOKAL

Directory of Open Access Journals (Sweden)

Ni Gusti Nyoman Suci Murni

2017-10-01

Full Text Available The tourism sector is one of the most heavily influenced sectors of information technology. Hotels that are a component of tourism cannot be separated from these influences, especially in information services, room reservations, check-in / check-out service, and other services. With the sophistication of information technology, everyone can access any information, from anywhere; at a very cheap price even every country provides free facilities for that purpose. This study uses qualitative methods where the data source obtained by looking for some libraries related to self check-in. The results show that there are some differences that applied between the check-in manual and self check-in, and the impact caused by the application of self check-in. The positive impact of self check-in are speeding up the check-in process, saving payrolls, simplifying services, simplifying reporting, and saving time. While the negative impacts such as reducing employment in developing countries, reducing social communication / human touch, reducing the understanding of cross cultural understanding, allowing the occurrence of crime (cyber crime as well as very expensive initial cost.

SPEED ROLLER STAND MEASUREMENT SYSTEM CHECKING TECHNIQUE

Directory of Open Access Journals (Sweden)

Y. Zybtsev

2011-01-01

Full Text Available The study has shown that the accuracy of brakes checking by inertial stands depends upon the applied methods of measurement of braking parameters (stand slowing down, braking distance, brakes triggering time, current speed as well as the methods of metrological checking of measuring system canals.

Partial-Order Reduction for GPU Model Checking

NARCIS (Netherlands)

Neele, T.; Wijs, A.; Bosnacki, D.; van de Pol, Jan Cornelis; Artho, C; Legay, A.; Peled, D.

2016-01-01

Model checking using GPUs has seen increased popularity over the last years. Because GPUs have a limited amount of memory, only small to medium-sized systems can be verified. For on-the-fly explicit-state model checking, we improve memory efficiency by applying partial-order reduction. We propose

Analog circuit design

CERN Document Server

Dobkin, Bob

2012-01-01

Analog circuit and system design today is more essential than ever before. With the growth of digital systems, wireless communications, complex industrial and automotive systems, designers are being challenged to develop sophisticated analog solutions. This comprehensive source book of circuit design solutions aids engineers with elegant and practical design techniques that focus on common analog challenges. The book's in-depth application examples provide insight into circuit design and application solutions that you can apply in today's demanding designs. <

ESD analog circuits and design

CERN Document Server

Voldman, Steven H

2014-01-01

A comprehensive and in-depth review of analog circuit layout, schematic architecture, device, power network and ESD design This book will provide a balanced overview of analog circuit design layout, analog circuit schematic development, architecture of chips, and ESD design.  It will start at an introductory level and will bring the reader right up to the state-of-the-art. Two critical design aspects for analog and power integrated circuits are combined. The first design aspect covers analog circuit design techniques to achieve the desired circuit performance. The second and main aspect pres

40 CFR 86.327-79 - Quench checks; NOX analyzer.

Science.gov (United States)

2010-07-01

... any flow rate into the reaction chamber. This includes, but is not limited to, sample capillary, ozone... Quench checks; NOX analyzer. (a) Perform the reaction chamber quench check for each model of high vacuum reaction chamber analyzer prior to initial use. (b) Perform the reaction chamber quench check for each new...

NRC valve performance test program - check valve testing

International Nuclear Information System (INIS)

Jeanmougin, N.M.

1987-01-01

The Valve Performance Test Program addresses the current requirements for testing of pressure isolation valves (PIVs) in light water reactors. Leak rate monitoring is the current method used by operating commercial power plants to survey the condition of their PIVs. ETEC testing of three check valves (4-inch, 6-inch, and 12-inch nominal diameters) indicates that leak rate testing is not a reliable method for detecting impending valve failure. Acoustic emission monitoring of check valves shows promise as a method of detecting loosened internals damage. Future efforts will focus on evaluation of acoustic emission monitoring as a technique for determining check valve condition. Three gate valves also will be tested to evaluate whether the check valve results are applicable to gate type PIVs

Engineering Abstractions in Model Checking and Testing

DEFF Research Database (Denmark)

Achenbach, Michael; Ostermann, Klaus

2009-01-01

Abstractions are used in model checking to tackle problems like state space explosion or modeling of IO. The application of these abstractions in real software development processes, however, lacks engineering support. This is one reason why model checking is not widely used in practice yet...... and testing is still state of the art in falsification. We show how user-defined abstractions can be integrated into a Java PathFinder setting with tools like AspectJ or Javassist and discuss implications of remaining weaknesses of these tools. We believe that a principled engineering approach to designing...... and implementing abstractions will improve the applicability of model checking in practice....

12 CFR 229.36 - Presentment and issuance of checks.

Science.gov (United States)

2010-01-01

... Section 229.36 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED) BOARD OF GOVERNORS OF THE FEDERAL RESERVE SYSTEM AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION CC) Collection of Checks § 229... on the check, whether in magnetic ink or in fractional form; (3) At any branch or head office, if the...

'Speedy' superconducting circuits

International Nuclear Information System (INIS)

Holst, T.

1994-01-01

The most promising concept for realizing ultra-fast superconducting digital circuits is the Rapid Single Flux Quantum (RSFQ) logic. The basic physical principle behind RSFQ logic, which include the storage and transfer of individual magnetic flux quanta in Superconducting Quantum Interference Devices (SQUIDs), is explained. A Set-Reset flip-flop is used as an example of the implementation of an RSFQ based circuit. Finally, the outlook for high-temperature superconducting materials in connection with RSFQ circuits is discussed in some details. (au)

FIZCON, ENDF/B Cross-Sections Redundancy Check

International Nuclear Information System (INIS)

Dunford, Charles L.

2007-01-01

1 - Description of program or function: FIZCON is a program for checking that an evaluated data file has valid data and conforms to recommended procedures. Version 7.01 (April 2005): set success flag after return from beginning; fixed valid level check for an isomer; fixed subsection energy range test in ckf9; changed lower limit on potential scattering test; fixed error in j-value test when l=0 and i=0; added one more significant figure to union grid check and sum up output messages; partial fission cross sections mt=19,20,21 and 38 did not require secondary energy distributions in file 5; corrected product test for elastic scattering; moved potential scattering test to psyche. Version 7.02 (May 2005): Fixed resonance parameter sum test. 2 - Method of solution: FIZCON can recognise the difference between ENDF-6 and ENDF-5 formats and performs its tests accordingly. Some of the tests performed include: data arrays are in increasing energy order; resonance parameter widths add up to the total; Q-values are reasonable and consistent; no required sections are missing and all cover the proper energy range; secondary distributions are normalized to 1.0; energy conservation in decay spectra. Optional tests can be performed to check the redundant cross sections, and algorithms can be used to check for possible incorrect entry of data values (Deviant Point test)

Electronic devices and circuits

CERN Document Server

Pridham, Gordon John

1968-01-01

Electronic Devices and Circuits, Volume 1 deals with the design and applications of electronic devices and circuits such as passive components, diodes, triodes and transistors, rectification and power supplies, amplifying circuits, electronic instruments, and oscillators. These topics are supported with introductory network theory and physics. This volume is comprised of nine chapters and begins by explaining the operation of resistive, inductive, and capacitive elements in direct and alternating current circuits. The theory for some of the expressions quoted in later chapters is presented. Th

[Memory Checking Tests].

Science.gov (United States)

Hart, Joseph T.

Two basic tests for checking memory skills are included in these appendices. The first, the General Information Test, uses the same 150 items for each of its two versions. One version is a completion-type test which measures recall by requiring the examinee to supply a specific response. The other version supplements each of the 150 items with…

Check Sample Abstracts.

Science.gov (United States)

Alter, David; Grenache, David G; Bosler, David S; Karcher, Raymond E; Nichols, James; Rajadhyaksha, Aparna; Camelo-Piragua, Sandra; Rauch, Carol; Huddleston, Brent J; Frank, Elizabeth L; Sluss, Patrick M; Lewandrowski, Kent; Eichhorn, John H; Hall, Janet E; Rahman, Saud S; McPherson, Richard A; Kiechle, Frederick L; Hammett-Stabler, Catherine; Pierce, Kristin A; Kloehn, Erica A; Thomas, Patricia A; Walts, Ann E; Madan, Rashna; Schlesinger, Kathie; Nawgiri, Ranjana; Bhutani, Manoop; Kanber, Yonca; Abati, Andrea; Atkins, Kristen A; Farrar, Robert; Gopez, Evelyn Valencerina; Jhala, Darshana; Griffin, Sonya; Jhala, Khushboo; Jhala, Nirag; Bentz, Joel S; Emerson, Lyska; Chadwick, Barbara E; Barroeta, Julieta E; Baloch, Zubair W; Collins, Brian T; Middleton, Owen L; Davis, Gregory G; Haden-Pinneri, Kathryn; Chu, Albert Y; Keylock, Joren B; Ramoso, Robert; Thoene, Cynthia A; Stewart, Donna; Pierce, Arand; Barry, Michelle; Aljinovic, Nika; Gardner, David L; Barry, Michelle; Shields, Lisa B E; Arnold, Jack; Stewart, Donna; Martin, Erica L; Rakow, Rex J; Paddock, Christopher; Zaki, Sherif R; Prahlow, Joseph A; Stewart, Donna; Shields, Lisa B E; Rolf, Cristin M; Falzon, Andrew L; Hudacki, Rachel; Mazzella, Fermina M; Bethel, Melissa; Zarrin-Khameh, Neda; Gresik, M Vicky; Gill, Ryan; Karlon, William; Etzell, Joan; Deftos, Michael; Karlon, William J; Etzell, Joan E; Wang, Endi; Lu, Chuanyi M; Manion, Elizabeth; Rosenthal, Nancy; Wang, Endi; Lu, Chuanyi M; Tang, Patrick; Petric, Martin; Schade, Andrew E; Hall, Geraldine S; Oethinger, Margret; Hall, Geraldine; Picton, Avis R; Hoang, Linda; Imperial, Miguel Ranoa; Kibsey, Pamela; Waites, Ken; Duffy, Lynn; Hall, Geraldine S; Salangsang, Jo-Anne M; Bravo, Lulette Tricia C; Oethinger, Margaret D; Veras, Emanuela; Silva, Elvia; Vicens, Jimena; Silva, Elvio; Keylock, Joren; Hempel, James; Rushing, Elizabeth; Posligua, Lorena E; Deavers, Michael T; Nash, Jason W; Basturk, Olca; Perle, Mary Ann; Greco, Alba; Lee, Peng; Maru, Dipen; Weydert, Jamie Allen; Stevens, Todd M; Brownlee, Noel A; Kemper, April E; Williams, H James; Oliverio, Brock J; Al-Agha, Osama M; Eskue, Kyle L; Newlands, Shawn D; Eltorky, Mahmoud A; Puri, Puja K; Royer, Michael C; Rush, Walter L; Tavora, Fabio; Galvin, Jeffrey R; Franks, Teri J; Carter, James Elliot; Kahn, Andrea Graciela; Lozada Muñoz, Luis R; Houghton, Dan; Land, Kevin J; Nester, Theresa; Gildea, Jacob; Lefkowitz, Jerry; Lacount, Rachel A; Thompson, Hannis W; Refaai, Majed A; Quillen, Karen; Lopez, Ana Ortega; Goldfinger, Dennis; Muram, Talia; Thompson, Hannis

2009-02-01

The following abstracts are compiled from Check Sample exercises published in 2008. These peer-reviewed case studies assist laboratory professionals with continuing medical education and are developed in the areas of clinical chemistry, cytopathology, forensic pathology, hematology, microbiology, surgical pathology, and transfusion medicine. Abstracts for all exercises published in the program will appear annually in AJCP.

SiGe Integrated Circuit Developments for SQUID/TES Readout

Science.gov (United States)

Prêle, D.; Voisin, F.; Beillimaz, C.; Chen, S.; Piat, M.; Goldwurm, A.; Laurent, P.

2018-03-01

SiGe integrated circuits dedicated to the readout of superconducting bolometer arrays for astrophysics have been developed since more than 10 years at APC. Whether for Cosmic Microwave Background (CMB) observations with the QUBIC ground-based experiment (Aumont et al. in astro-ph.IM, 2016. arXiv:1609.04372) or for the Hot and Energetic Universe science theme with the X-IFU instrument on-board of the ATHENA space mission (Barret et al. in SPIE 9905, space telescopes & instrumentation 2016: UV to γ Ray, 2016. https://doi.org/10.1117/12.2232432), several kinds of Transition Edge Sensor (TES) (Irwin and Hilton, in ENSS (ed) Cryogenic particle detection, Springer, Berlin, 2005) arrays have been investigated. To readout such superconducting detector arrays, we use time or frequency domain multiplexers (TDM, FDM) (Prêle in JINST 10:C08015, 2016. https://doi.org/10.1088/1748-0221/10/08/C08015) with Superconducting QUantum Interference Devices (SQUID). In addition to the SQUID devices, low-noise biasing and amplification are needed. These last functions can be obtained by using BiCMOS SiGe technology in an Application Specific Integrated Circuit (ASIC). ASIC technology allows integration of highly optimised circuits specifically designed for a unique application. Moreover, we could reach very low-noise and wide band amplification using SiGe bipolar transistor either at room or cryogenic temperatures (Cressler in J Phys IV 04(C6):C6-101, 1994. https://doi.org/10.1051/jp4:1994616). This paper discusses the use of SiGe integrated circuits for SQUID/TES readout and gives an update of the last developments dedicated to the QUBIC telescope and to the X-IFU instrument. Both ASIC called SQmux128 and AwaXe are described showing the interest of such SiGe technology for SQUID multiplexer controls.

Unstable oscillators based hyperchaotic circuit

DEFF Research Database (Denmark)

Murali, K.; Tamasevicius, A.; G. Mykolaitis, A.

1999-01-01

A simple 4th order hyperchaotic circuit with unstable oscillators is described. The circuit contains two negative impedance converters, two inductors, two capacitors, a linear resistor and a diode. The Lyapunov exponents are presented to confirm hyperchaotic nature of the oscillations in the circ...... in the circuit. The performance of the circuit is investigated by means of numerical integration of appropriate differential equations, PSPICE simulations, and hardware experiment.......A simple 4th order hyperchaotic circuit with unstable oscillators is described. The circuit contains two negative impedance converters, two inductors, two capacitors, a linear resistor and a diode. The Lyapunov exponents are presented to confirm hyperchaotic nature of the oscillations...

The test of VLSI circuits

Science.gov (United States)

Baviere, Ph.

Tests which have proven effective for evaluating VLSI circuits for space applications are described. It is recommended that circuits be examined after each manfacturing step to gain fast feedback on inadequacies in the production system. Data from failure modes which occur during operational lifetimes of circuits also permit redefinition of the manufacturing and quality control process to eliminate the defects identified. Other tests include determination of the operational envelope of the circuits, examination of the circuit response to controlled inputs, and the performance and functional speeds of ROM and RAM memories. Finally, it is desirable that all new circuits be designed with testing in mind.

Ground-state properties of a supersymmetric fermion chain

International Nuclear Information System (INIS)

Fendley, Paul; Hagendorf, Christian

2011-01-01

We analyze the ground state of a strongly interacting fermion chain with a supersymmetry. We conjecture a number of exact results, such as a hidden duality between weak and strong couplings. By exploiting a scale-free property of the perturbative expansions, we find exact expressions for the order parameters, yielding the critical exponents. We show that the ground state of this fermion chain and another model in the same universality class, the XYZ chain along a line of couplings, are both written in terms of the same polynomials. We demonstrate this explicitly for up to N = 24 sites and provide consistency checks for large N. These polynomials satisfy a recursion relation related to the Painlevé VI differential equation and, using a scale-free property of these polynomials, we derive a simple and exact formula for their N→∞ limit

Guidelines of the Design of Electropyrotechnic Firing Circuit for Unmanned Flight and Ground Test Projects

Science.gov (United States)

Gonzalez, Guillermo A.; Lucy, Melvin H.; Massie, Jeffrey J.

2013-01-01

The NASA Langley Research Center, Engineering Directorate, Electronic System Branch, is responsible for providing pyrotechnic support capabilities to Langley Research Center unmanned flight and ground test projects. These capabilities include device selection, procurement, testing, problem solving, firing system design, fabrication and testing; ground support equipment design, fabrication and testing; checkout procedures and procedure?s training to pyro technicians. This technical memorandum will serve as a guideline for the design, fabrication and testing of electropyrotechnic firing systems. The guidelines will discuss the entire process beginning with requirements definition and ending with development and execution.

Implementing Model-Check for Employee and Management Satisfaction

Science.gov (United States)

Jones, Corey; LaPha, Steven

2013-01-01

This presentation will discuss methods to which ModelCheck can be implemented to not only improve model quality, but also satisfy both employees and management through different sets of quality checks. This approach allows a standard set of modeling practices to be upheld throughout a company, with minimal interaction required by the end user. The presenter will demonstrate how to create multiple ModelCheck standards, preventing users from evading the system, and how it can improve the quality of drawings and models.

Circuits and filters handbook

CERN Document Server

Chen, Wai-Kai

2003-01-01

A bestseller in its first edition, The Circuits and Filters Handbook has been thoroughly updated to provide the most current, most comprehensive information available in both the classical and emerging fields of circuits and filters, both analog and digital. This edition contains 29 new chapters, with significant additions in the areas of computer-aided design, circuit simulation, VLSI circuits, design automation, and active and digital filters. It will undoubtedly take its place as the engineer's first choice in looking for solutions to problems encountered in the design, analysis, and behavi

MOS integrated circuit design

CERN Document Server

Wolfendale, E

2013-01-01

MOS Integral Circuit Design aims to help in the design of integrated circuits, especially large-scale ones, using MOS Technology through teaching of techniques, practical applications, and examples. The book covers topics such as design equation and process parameters; MOS static and dynamic circuits; logic design techniques, system partitioning, and layout techniques. Also featured are computer aids such as logic simulation and mask layout, as well as examples on simple MOS design. The text is recommended for electrical engineers who would like to know how to use MOS for integral circuit desi

Security electronics circuits manual

CERN Document Server

MARSTON, R M

1998-01-01

Security Electronics Circuits Manual is an invaluable guide for engineers and technicians in the security industry. It will also prove to be a useful guide for students and experimenters, as well as providing experienced amateurs and DIY enthusiasts with numerous ideas to protect their homes, businesses and properties.As with all Ray Marston's Circuits Manuals, the style is easy-to-read and non-mathematical, with the emphasis firmly on practical applications, circuits and design ideas. The ICs and other devices used in the practical circuits are modestly priced and readily available ty

Changes to the shuttle circuits

CERN Multimedia

GS Department

2011-01-01

To fit with passengers expectation, there will be some changes to the shuttle circuits as from Monday 10 October. See details on http://cern.ch/ShuttleService (on line on 7 October). Circuit No. 5 is cancelled as circuit No. 1 also stops at Bldg. 33. In order to guarantee shorter travel times, circuit No. 1 will circulate on Meyrin site only and circuit No. 2, with departures from Bldg. 33 and 500, on Prévessin site only. Site Services Section

Troubleshooting analog circuits

CERN Document Server

Pease, Robert A

1991-01-01

Troubleshooting Analog Circuits is a guidebook for solving product or process related problems in analog circuits. The book also provides advice in selecting equipment, preventing problems, and general tips. The coverage of the book includes the philosophy of troubleshooting; the modes of failure of various components; and preventive measures. The text also deals with the active components of analog circuits, including diodes and rectifiers, optically coupled devices, solar cells, and batteries. The book will be of great use to both students and practitioners of electronics engineering. Other

Optoelectronics circuits manual

CERN Document Server

Marston, R M

2013-01-01

Optoelectronics Circuits Manual covers the basic principles and characteristics of the best known types of optoelectronic devices, as well as the practical applications of many of these optoelectronic devices. The book describes LED display circuits and LED dot- and bar-graph circuits and discusses the applications of seven-segment displays, light-sensitive devices, optocouplers, and a variety of brightness control techniques. The text also tackles infrared light-beam alarms and multichannel remote control systems. The book provides practical user information and circuitry and illustrations.

The criticality check and its applicability for nuclear material accounting

International Nuclear Information System (INIS)

Sanchez Espinoza, V.H.; Adam, E.; Knorr, J.

1988-01-01

Different procedures are used by the realization of nuclear material check by the IAEA. The criticality check belongs to these methods and it appropriates especially to verification of the nuclear material inventory of reactors. General aspects of the applicability of this check procedure are formulated and application criteria are deduced. By the example of solid-moderated homogeneous zero-power reactors it is demonstrated the unsecurity which is to be reckoned by applying the criticality check. Finally a possibility for the reduction of errors in core material determination by additional measuring methods without questioning the criticality check method is presented. (author)

Calibration and check light source

Energy Technology Data Exchange (ETDEWEB)

Nejedla, B; Krotil, J

1979-02-15

The light source is designed for calibrating photomultipliers and checking the function of the thermoluminescent dosemeters evaluation equipment. The check light source consists of a polymer material-based (polyvinyl toluene) plastic scintillator and a 2-phenyl-5-(4-bisphenyl)-1,3,4-oxadiazol and/or paraterphenyl activator, and of emission spectrum shifters for response in the green and the blue light regions. The plastic scintillator is sealed in a case to whose bottom a radiation source is fixed, such as a /sup 90/Sr-/sup 90/Y source of an activity of 1.85x10/sup 3/s/sup -1/ to 0.74x10/sup 9/s/sup -1/.

CMOS analog circuit design

CERN Document Server

Allen, Phillip E

1987-01-01

This text presents the principles and techniques for designing analog circuits to be implemented in a CMOS technology. The level is appropriate for seniors and graduate students familiar with basic electronics, including biasing, modeling, circuit analysis, and some familiarity with frequency response. Students learn the methodology of analog integrated circuit design through a hierarchically-oriented approach to the subject that provides thorough background and practical guidance for designing CMOS analog circuits, including modeling, simulation, and testing. The authors' vast industrial experience and knowledge is reflected in the circuits, techniques, and principles presented. They even identify the many common pitfalls that lie in the path of the beginning designer--expert advice from veteran designers. The text mixes the academic and practical viewpoints in a treatment that is neither superficial nor overly detailed, providing the perfect balance.

Integrated circuit and method of arbitration in a network on an integrated circuit.

NARCIS (Netherlands)

2011-01-01

The invention relates to an integrated circuit and to a method of arbitration in a network on an integrated circuit. According to the invention, a method of arbitration in a network on an integrated circuit is provided, the network comprising a router unit, the router unit comprising a first input

Electronic Circuit Analysis Language (ECAL)

Science.gov (United States)

Chenghang, C.

1983-03-01

The computer aided design technique is an important development in computer applications and it is an important component of computer science. The special language for electronic circuit analysis is the foundation of computer aided design or computer aided circuit analysis (abbreviated as CACD and CACA) of simulated circuits. Electronic circuit analysis language (ECAL) is a comparatively simple and easy to use circuit analysis special language which uses the FORTRAN language to carry out the explanatory executions. It is capable of conducting dc analysis, ac analysis, and transient analysis of a circuit. Futhermore, the results of the dc analysis can be used directly as the initial conditions for the ac and transient analyses.

The Software Reliability of Large Scale Integration Circuit and Very Large Scale Integration Circuit

OpenAIRE

Artem Ganiyev; Jan Vitasek

2010-01-01

This article describes evaluation method of faultless function of large scale integration circuits (LSI) and very large scale integration circuits (VLSI). In the article there is a comparative analysis of factors which determine faultless of integrated circuits, analysis of already existing methods and model of faultless function evaluation of LSI and VLSI. The main part describes a proposed algorithm and program for analysis of fault rate in LSI and VLSI circuits.

Peak reading detector circuit

International Nuclear Information System (INIS)

Courtin, E.; Grund, K.; Traub, S.; Zeeb, H.

1975-01-01

The peak reading detector circuit serves for picking up the instants during which peaks of a given polarity occur in sequences of signals in which the extreme values, their time intervals, and the curve shape of the signals vary. The signal sequences appear in measuring the foetal heart beat frequence from amplitude-modulated ultrasonic, electrocardiagram, and blood pressure signals. In order to prevent undesired emission of output signals from, e. g., disturbing intermediate extreme values, the circuit consists of the series connections of a circuit to simulate an ideal diode, a strong unit, a discriminator for the direction of charging current, a time-delay circuit, and an electronic switch lying in the decharging circuit of the storage unit. The time-delay circuit thereby causes storing of a preliminary maximum value being used only after a certain time delay for the emission of the output signal. If a larger extreme value occurs during the delay time the preliminary maximum value is cleared and the delay time starts running anew. (DG/PB) [de

Magnonic logic circuits

International Nuclear Information System (INIS)

Khitun, Alexander; Bao Mingqiang; Wang, Kang L

2010-01-01

We describe and analyse possible approaches to magnonic logic circuits and basic elements required for circuit construction. A distinctive feature of the magnonic circuitry is that information is transmitted by spin waves propagating in the magnetic waveguides without the use of electric current. The latter makes it possible to exploit spin wave phenomena for more efficient data transfer and enhanced logic functionality. We describe possible schemes for general computing and special task data processing. The functional throughput of the magnonic logic gates is estimated and compared with the conventional transistor-based approach. Magnonic logic circuits allow scaling down to the deep submicrometre range and THz frequency operation. The scaling is in favour of the magnonic circuits offering a significant functional advantage over the traditional approach. The disadvantages and problems of the spin wave devices are also discussed.

26 CFR 301.6657-1 - Bad checks.

Science.gov (United States)

2010-04-01

... 26 Internal Revenue 18 2010-04-01 2010-04-01 false Bad checks. 301.6657-1 Section 301.6657-1... Additions to the Tax and Additional Amounts § 301.6657-1 Bad checks. (a) In general. Except as provided in... district director that it was tendered in good faith with reasonable cause to believe that it would be duly...

Vertical pump with free floating check valve

International Nuclear Information System (INIS)

Lindsay, M.

1980-01-01

A vertical pump is described which has a bottom discharge with a free floating check valve disposed in the outlet plenum thereof. The free floating check valve comprises a spherical member with a hemispherical cage-like member attached thereto which is capable of allowing forward or reverse flow under appropriate conditions while preventing reverse flow under inappropriate conditions

Electrical Circuits and Water Analogies

Science.gov (United States)

Smith, Frederick A.; Wilson, Jerry D.

1974-01-01

Briefly describes water analogies for electrical circuits and presents plans for the construction of apparatus to demonstrate these analogies. Demonstrations include series circuits, parallel circuits, and capacitors. (GS)

Optically controllable molecular logic circuits

International Nuclear Information System (INIS)

Nishimura, Takahiro; Fujii, Ryo; Ogura, Yusuke; Tanida, Jun

2015-01-01

Molecular logic circuits represent a promising technology for observation and manipulation of biological systems at the molecular level. However, the implementation of molecular logic circuits for temporal and programmable operation remains challenging. In this paper, we demonstrate an optically controllable logic circuit that uses fluorescence resonance energy transfer (FRET) for signaling. The FRET-based signaling process is modulated by both molecular and optical inputs. Based on the distance dependence of FRET, the FRET pathways required to execute molecular logic operations are formed on a DNA nanostructure as a circuit based on its molecular inputs. In addition, the FRET pathways on the DNA nanostructure are controlled optically, using photoswitching fluorescent molecules to instruct the execution of the desired operation and the related timings. The behavior of the circuit can thus be controlled using external optical signals. As an example, a molecular logic circuit capable of executing two different logic operations was studied. The circuit contains functional DNAs and a DNA scaffold to construct two FRET routes for executing Input 1 AND Input 2 and Input 1 AND NOT Input 3 operations on molecular inputs. The circuit produced the correct outputs with all possible combinations of the inputs by following the light signals. Moreover, the operation execution timings were controlled based on light irradiation and the circuit responded to time-dependent inputs. The experimental results demonstrate that the circuit changes the output for the required operations following the input of temporal light signals

Optimal planning of series resistor to control time constant of test circuit for high-voltage AC circuit-breakers

OpenAIRE

Yoon-Ho Kim; Jung-Hyeon Ryu; Jin-Hwan Kim; Kern-Joong Kim

2016-01-01

The equivalent test circuit that can deliver both short-circuit current and recovery voltage is used to verify the performance of high-voltage circuit breakers. Most of the parameters in this circuit can be obtained by using a simple calculation or a simulation program. The ratings of the circuit breaker include rated short-circuit breaking current, rated short-circuit making current, rated operating sequence of the circuit breaker and rated short-time current. Among these ratings, the short-...

Interface Circuit For Printer Port

Science.gov (United States)

Tucker, Jerry H.; Yadlowsky, Ann B.

1991-01-01

Electronic circuit, called printer-port interface circuit (PPI) developed to overcome certain disadvantages of previous methods for connecting IBM PC or PC-compatible computer to other equipment. Has both reading and writing modes of operation. Very simple, requiring only six integrated circuits. Provides for moderately fast rates of transfer of data and uses existing unmodified circuit card in IBM PC. When used with appropriate software, circuit converts printer port on IBM PC, XT, AT, or compatible personal computer to general purpose, 8-bit-data, 16-bit address bus that connects to multitude of devices.

Maximum Acceleration Recording Circuit

Science.gov (United States)

Bozeman, Richard J., Jr.

1995-01-01

Coarsely digitized maximum levels recorded in blown fuses. Circuit feeds power to accelerometer and makes nonvolatile record of maximum level to which output of accelerometer rises during measurement interval. In comparison with inertia-type single-preset-trip-point mechanical maximum-acceleration-recording devices, circuit weighs less, occupies less space, and records accelerations within narrower bands of uncertainty. In comparison with prior electronic data-acquisition systems designed for same purpose, circuit simpler, less bulky, consumes less power, costs and analysis of data recorded in magnetic or electronic memory devices. Circuit used, for example, to record accelerations to which commodities subjected during transportation on trucks.

Radiation-sensitive switching circuits

Energy Technology Data Exchange (ETDEWEB)

Moore, J.H.; Cockshott, C.P.

1976-03-16

A radiation-sensitive switching circuit has a light emitting diode which supplies light to a photo-transistor, the light being interrupted from time to time. When the photo-transistor is illuminated, current builds up and when this current reaches a predetermined value, a trigger circuit changes state. The peak output of the photo-transistor is measured and the trigger circuit is arranged to change state when the output of the device is a set proportion of the peak output, so as to allow for aging of the components. The circuit is designed to control the ignition system in an automobile engine.

Four-junction superconducting circuit

Science.gov (United States)

Qiu, Yueyin; Xiong, Wei; He, Xiao-Ling; Li, Tie-Fu; You, J. Q.

2016-01-01

We develop a theory for the quantum circuit consisting of a superconducting loop interrupted by four Josephson junctions and pierced by a magnetic flux (either static or time-dependent). In addition to the similarity with the typical three-junction flux qubit in the double-well regime, we demonstrate the difference of the four-junction circuit from its three-junction analogue, including its advantages over the latter. Moreover, the four-junction circuit in the single-well regime is also investigated. Our theory provides a tool to explore the physical properties of this four-junction superconducting circuit. PMID:27356619

STABILITAS CHECK DAM DI ARBORETUM DESA SUMBER BRANTAS

Directory of Open Access Journals (Sweden)

Endang Purwati

2012-09-01

Full Text Available Abstract: The stability of check-dam in arboretum of Sumber Brantas village. Sumber Brantas water sources area is arboretum territory which has to be maintained as conservation either for technical or vegetation (plants cover by sustainable development. Arboretum territory is made as asylum in irrigation system district of Brantas River. This research discusses technical conservation activity to build the check dam in conserving the area. Check dam is built dimensionally by using HEC-RAS Program to get safe and stable dimension for rolling, shifting and piping of Sf > 1.5, and based on hydrologic analysis to get maximum flood discharge of 48.01 m3second-1. Hydraulic analysis is used to get water level profile and pressure for the dam body. Stability of the structure will be controlled by construction load (weight of check dam and its fully sediment storage condition. The result of this research shows that the safe and stable dimension for check dam are as follows: 28 meter of width; 3 meter of main height; 1.5 meter of sub-height; 10 meter of stilling basin length (Main Dam–Sub Dam.

Model Checking Temporal Logic Formulas Using Sticker Automata

Science.gov (United States)

Feng, Changwei; Wu, Huanmei

2017-01-01

As an important complex problem, the temporal logic model checking problem is still far from being fully resolved under the circumstance of DNA computing, especially Computation Tree Logic (CTL), Interval Temporal Logic (ITL), and Projection Temporal Logic (PTL), because there is still a lack of approaches for DNA model checking. To address this challenge, a model checking method is proposed for checking the basic formulas in the above three temporal logic types with DNA molecules. First, one-type single-stranded DNA molecules are employed to encode the Finite State Automaton (FSA) model of the given basic formula so that a sticker automaton is obtained. On the other hand, other single-stranded DNA molecules are employed to encode the given system model so that the input strings of the sticker automaton are obtained. Next, a series of biochemical reactions are conducted between the above two types of single-stranded DNA molecules. It can then be decided whether the system satisfies the formula or not. As a result, we have developed a DNA-based approach for checking all the basic formulas of CTL, ITL, and PTL. The simulated results demonstrate the effectiveness of the new method. PMID:29119114

Deployment of check-in nodes in complex networks

Science.gov (United States)

Jiang, Zhong-Yuan; Ma, Jian-Feng

2017-01-01

In many real complex networks such as the city road networks and highway networks, vehicles often have to pass through some specially functioned nodes to receive check-in like services such as gas supplement at gas stations. Based on existing network structures, to guarantee every shortest path including at least a check-in node, the location selection of all check-in nodes is very essential and important to make vehicles to easily visit these check-in nodes, and it is still remains an open problem in complex network studies. In this work, we aim to find possible solutions for this problem. We first convert it into a set cover problem which is NP-complete and propose to employ the greedy algorithm to achieve an approximate result. Inspired by heuristic information of network structure, we discuss other four check-in node location deployment methods including high betweenness first (HBF), high degree first (HDF), random and low degree first (LDF). Finally, we compose extensive simulations in classical scale-free networks, random networks and real network models, and the results can well confirm the effectiveness of the greedy algorithm. This work has potential applications into many real networks.

Control circuit for transformer relay

International Nuclear Information System (INIS)

Wyatt, G.A.

1984-01-01

A control circuit for a transformer relay which will automatically momentarily control the transformer relay to a selected state upon energization of the control circuit. The control circuit has an energy storage element and a current director coupled in series and adapted to be coupled with the secondary winding of the transformer relay. A device for discharge is coupled across the energy storage element. The energy storage element and current director will momentarily allow a unidirectional flow of current in the secondary winding of the transformer relay upon application of energy to the control circuit. When energy is not applied to the control circuit the device for discharge will allow the energy storage element to discharge and be available for another operation of the control circuit

The impact of gender on the assessment of body checking behavior.

Science.gov (United States)

Alfano, Lauren; Hildebrandt, Tom; Bannon, Katie; Walker, Catherine; Walton, Kate E

2011-01-01

Body checking includes any behavior aimed at global or specific evaluations of appearance characteristics. Men and women are believed to express these behaviors differently, possibly reflecting different socialization. However, there has been no empirical test of the impact of gender on body checking. A total of 1024 male and female college students completed two measures of body checking, the Body Checking Questionnaire and the Male Body Checking Questionnaire. Using multiple group confirmatory factor analysis, differential item functioning (DIF) was explored in a composite of these measures. Two global latent factors were identified (female and male body checking severity), and there were expected gender differences in these factors even after controlling for DIF. Ten items were found to be unbiased by gender and provide a suitable brief measure of body checking for mixed gender research. Practical applications for body checking assessment and theoretical implications are discussed. Copyright © 2010 Elsevier Ltd. All rights reserved.

Compliance checking of data-aware and resource-aware compliance requirements

NARCIS (Netherlands)

Ramezani Taghiabadi, E.; Gromov, V.; Fahland, D.; Aalst, van der W.M.P.; Meersman, R.; Panetto, H.; Dillon, T.; Missikoff, M.; Liu, L.; Pastor, O.; Cuzzocrea, A.; Sllis, T.

2014-01-01

Compliance checking is gaining importance as today’s organizations need to show that their business practices are in accordance with predefined (legal) requirements. Current compliance checking techniques are mostly focused on checking the control-flow perspective of business processes. This paper

Integrated coherent matter wave circuits

International Nuclear Information System (INIS)

Ryu, C.; Boshier, M. G.

2015-01-01

An integrated coherent matter wave circuit is a single device, analogous to an integrated optical circuit, in which coherent de Broglie waves are created and then launched into waveguides where they can be switched, divided, recombined, and detected as they propagate. Applications of such circuits include guided atom interferometers, atomtronic circuits, and precisely controlled delivery of atoms. We report experiments demonstrating integrated circuits for guided coherent matter waves. The circuit elements are created with the painted potential technique, a form of time-averaged optical dipole potential in which a rapidly moving, tightly focused laser beam exerts forces on atoms through their electric polarizability. Moreover, the source of coherent matter waves is a Bose-Einstein condensate (BEC). Finally, we launch BECs into painted waveguides that guide them around bends and form switches, phase coherent beamsplitters, and closed circuits. These are the basic elements that are needed to engineer arbitrarily complex matter wave circuitry

Model Comparison Exercise Circuit Training Game and Circuit Ladder Drills to Improve Agility and Speed

Directory of Open Access Journals (Sweden)

Susilaturochman Hendrawan Koestanto

2017-11-01

Full Text Available The purpose of this study was to compare: (1 the effect of circuit training game and circuit ladder drill for the agility; (2 the effect of circuit training game and circuit ladder drill on speed; (3 the difference effect of circuit training game and circuit ladder drill for the speed (4 the difference effect of circuit training game and circuit ladder drill on agility. The type of this research was quantitative with quasi-experimental methods. The design of this research was Factorial Design, with analysing data using ANOVA. The process of data collection was done by using 30 meters sprint speed test and shuttle run test during the pretest and posttest. Furthermore, the data was analyzed by using SPSS 22.0 series. Result: The circuit training game exercise program and circuit ladder drill were significant to increase agility and speed (sig 0.000 < α = 0.005 Group I, II, III had significant differences (sig 0.000 < α = 0.005. The mean of increase in speed of group I = 0.20 seconds, group II = 0.31 seconds, and group III = 0.11 seconds. The average increase agility to group I = 0.34 seconds group II = 0.60 seconds, group III = 0.13 seconds. Based on the analysis above, it could be concluded that there was an increase in the speed and agility of each group after being given a training.

Comminution circuits for compact itabirites

Directory of Open Access Journals (Sweden)

Pedro Ferreira Pinto

Full Text Available Abstract In the beneficiation of compact Itabirites, crushing and grinding account for major operational and capital costs. As such, the study and development of comminution circuits have a fundamental importance for feasibility and optimization of compact Itabirite beneficiation. This work makes a comparison between comminution circuits for compact Itabirites from the Iron Quadrangle. The circuits developed are: a crushing and ball mill circuit (CB, a SAG mill and ball mill circuit (SAB and a single stage SAG mill circuit (SSSAG. For the SAB circuit, the use of pebble crushing is analyzed (SABC. An industrial circuit for 25 million tons of run of mine was developed for each route from tests on a pilot scale (grinding and industrial scale. The energy consumption obtained for grinding in the pilot tests was compared with that reported by Donda and Bond. The SSSAG route had the lowest energy consumption, 11.8kWh/t and the SAB route had the highest energy consumption, 15.8kWh/t. The CB and SABC routes had a similar energy consumption of 14.4 kWh/t and 14.5 kWh/t respectively.

30 CFR 77.506-1 - Electric equipment and circuits; overload and short circuit protection; minimum requirements.

Science.gov (United States)

2010-07-01

... short circuit protection; minimum requirements. 77.506-1 Section 77.506-1 Mineral Resources MINE SAFETY...-1 Electric equipment and circuits; overload and short circuit protection; minimum requirements. Devices providing either short circuit protection or protection against overload shall conform to the...

UK Department of Environment Quality Checking Laboratory

International Nuclear Information System (INIS)

Burgoyne, K.E.; Green, T.H.; Maxwell, D.J.; Smith, D.L.G.

1990-01-01

The purpose of Taywood Engineering Ltd was to develop and evaluate techniques for the non-destructive and destructive examination of both low and intermediate level radioactive waste packages. The contract also included a study on the conceptual design and cost of a permanent Waste Quality Checking facility. The June 1986 contract was completed in November 1989. A second contract was awarded in September 1989 to extend the scope to include Quality Checking of hazardous waste and to increase the throughput of low level waste. This paper highlights the techniques developed during these programmes and applied to a range of real low level waste packages. The feasibility of operating a pilot scale facility for the independent Quality Checking of LLW has been successfully demonstrated. (orig.)

Model checking exact cost for attack scenarios

DEFF Research Database (Denmark)

Aslanyan, Zaruhi; Nielson, Flemming

2017-01-01

Attack trees constitute a powerful tool for modelling security threats. Many security analyses of attack trees can be seamlessly expressed as model checking of Markov Decision Processes obtained from the attack trees, thus reaping the benefits of a coherent framework and a mature tool support....... However, current model checking does not encompass the exact cost analysis of an attack, which is standard for attack trees. Our first contribution is the logic erPCTL with cost-related operators. The extended logic allows to analyse the probability of an event satisfying given cost bounds and to compute...... the exact cost of an event. Our second contribution is the model checking algorithm for erPCTL. Finally, we apply our framework to the analysis of attack trees....

Cycle time reduction by Html report in mask checking flow

Science.gov (United States)

Chen, Jian-Cheng; Lu, Min-Ying; Fang, Xiang; Shen, Ming-Feng; Ma, Shou-Yuan; Yang, Chuen-Huei; Tsai, Joe; Lee, Rachel; Deng, Erwin; Lin, Ling-Chieh; Liao, Hung-Yueh; Tsai, Jenny; Bowhill, Amanda; Vu, Hien; Russell, Gordon

2017-07-01

The Mask Data Correctness Check (MDCC) is a reticle-level, multi-layer DRC-like check evolved from mask rule check (MRC). The MDCC uses extended job deck (EJB) to achieve mask composition and to perform a detailed check for positioning and integrity of each component of the reticle. Different design patterns on the mask will be mapped to different layers. Therefore, users may be able to review the whole reticle and check the interactions between different designs before the final mask pattern file is available. However, many types of MDCC check results, such as errors from overlapping patterns usually have very large and complex-shaped highlighted areas covering the boundary of the design. Users have to load the result OASIS file and overlap it to the original database that was assembled in MDCC process on a layout viewer, then search for the details of the check results. We introduce a quick result-reviewing method based on an html format report generated by Calibre® RVE. In the report generation process, we analyze and extract the essential part of result OASIS file to a result database (RDB) file by standard verification rule format (SVRF) commands. Calibre® RVE automatically loads the assembled reticle pattern and generates screen shots of these check results. All the processes are automatically triggered just after the MDCC process finishes. Users just have to open the html report to get the information they need: for example, check summary, captured images of results and their coordinates.

Clocking Scheme for Switched-Capacitor Circuits

DEFF Research Database (Denmark)

Steensgaard-Madsen, Jesper

1998-01-01

A novel clocking scheme for switched-capacitor (SC) circuits is presented. It can enhance the understanding of SC circuits and the errors caused by MOSFET (MOS) switches. Charge errors, and techniques to make SC circuits less sensitive to them are discussed.......A novel clocking scheme for switched-capacitor (SC) circuits is presented. It can enhance the understanding of SC circuits and the errors caused by MOSFET (MOS) switches. Charge errors, and techniques to make SC circuits less sensitive to them are discussed....

Context-aware compliance checking

NARCIS (Netherlands)

Werf, van der J.M.E.M.; Verbeek, H.M.W.; Aalst, van der W.M.P.; Barros, A.; Gal, A.; Kindler, E.

2012-01-01

Organizations face more and more the burden to show that their business is compliant with respect to many different boundaries. The activity of compliance checking is commonly referred to as auditing. As information systems supporting the organization’s business record their usage, process mining

30 CFR 75.518-1 - Electric equipment and circuits; overload and short circuit protection; minimum requirements.

Science.gov (United States)

2010-07-01

... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Electric equipment and circuits; overload and short circuit protection; minimum requirements. 75.518-1 Section 75.518-1 Mineral Resources MINE SAFETY... short circuit protection; minimum requirements. A device to provide either short circuit protection or...

A voice-actuated wind tunnel model leak checking system

Science.gov (United States)

Larson, William E.

1989-01-01

A computer program has been developed that improves the efficiency of wind tunnel model leak checking. The program uses a voice recognition unit to relay a technician's commands to the computer. The computer, after receiving a command, can respond to the technician via a voice response unit. Information about the model pressure orifice being checked is displayed on a gas-plasma terminal. On command, the program records up to 30 seconds of pressure data. After the recording is complete, the raw data and a straight line fit of the data are plotted on the terminal. This allows the technician to make a decision on the integrity of the orifice being checked. All results of the leak check program are stored in a database file that can be listed on the line printer for record keeping purposes or displayed on the terminal to help the technician find unchecked orifices. This program allows one technician to check a model for leaks instead of the two or three previously required.

Selected collection of circuit drawings

International Nuclear Information System (INIS)

1977-01-01

The many electronics circuits have been constracted in the Electronics Shop for use in nuclear experiments or other purposes of this Institute. The types of these circuits amount to about 500 items in total since 1968. This report describes the electronics circuit diagrams selected from this collection. The circuit details are not presented in this report, because these are already been published in the other technical reports. (auth.)

Circuits on Cylinders

DEFF Research Database (Denmark)

Hansen, Kristoffer Arnsfelt; Miltersen, Peter Bro; Vinay, V

2006-01-01

We consider the computational power of constant width polynomial size cylindrical circuits and nondeterministic branching programs. We show that every function computed by a Pi2 o MOD o AC0 circuit can also be computed by a constant width polynomial size cylindrical nondeterministic branching pro...

Digital circuit boards mach 1 GHz

CERN Document Server

Morrison, Ralph

2012-01-01

A unique, practical approach to the design of high-speed digital circuit boards The demand for ever-faster digital circuit designs is beginning to render the circuit theory used by engineers ineffective. Digital Circuit Boards presents an alternative to the circuit theory approach, emphasizing energy flow rather than just signal interconnection to explain logic circuit behavior. The book shows how treating design in terms of transmission lines will ensure that the logic will function, addressing both storage and movement of electrical energy on these lines. It cove

Get Your Kids Moving and Check Some Chores off Your List

Science.gov (United States)

... Check Recipe Certification Program Nutrition Requirements Heart-Check Professional Resources Contact the Heart-Check Certification Program Simple Cooking and Recipes Dining Out Choosing a Restaurant Deciphering ...

PSYCHE, ENDF/B Data Consistency Check in ENDF Format

International Nuclear Information System (INIS)

Dunford, Charles L.

2007-01-01

1 - Description of program or function: PSYCHE is a program for checking the physics content of an evaluated data file. It can recognise the difference between ENDF-5 or ENDF-6 formats and performs its tests accordingly. Version 7.01 (April 2005): set success flag after return from begin, added potential scattering test formerly in Fizcon. Version 7.02 (May 2005): Fixed bug in calculation of L=2 penetrability. 2 - Method of solution: PSYCHE checks for energy conservation for emitted neutrons and photons, checks Wick's limit for elastic scattering, analyses resonance parameter statistics, calculates thermal cross sections and resonance integrals, examines continuity across resonance region boundaries and checks 'Q' values against mass tables

Consistency Checking of Web Service Contracts

DEFF Research Database (Denmark)

Cambronero, M. Emilia; Okika, Joseph C.; Ravn, Anders Peter

2008-01-01

Behavioural properties are analyzed for web service contracts formulated in Business Process Execution Language (BPEL) and Choreography Description Language (CDL). The key result reported is an automated technique to check consistency between protocol aspects of the contracts. The contracts...... are abstracted to (timed) automata and from there a simulation is set up, which is checked using automated tools for analyzing networks of finite state processes. Here we use the Concurrency Work Bench. The proposed techniques are illustrated with a case study that include otherwise difficult to analyze fault...

Integrated circuit cooled turbine blade

Science.gov (United States)

Lee, Ching-Pang; Jiang, Nan; Um, Jae Y.; Holloman, Harry; Koester, Steven

2017-08-29

A turbine rotor blade includes at least two integrated cooling circuits that are formed within the blade that include a leading edge circuit having a first cavity and a second cavity and a trailing edge circuit that includes at least a third cavity located aft of the second cavity. The trailing edge circuit flows aft with at least two substantially 180-degree turns at the tip end and the root end of the blade providing at least a penultimate cavity and a last cavity. The last cavity is located along a trailing edge of the blade. A tip axial cooling channel connects to the first cavity of the leading edge circuit and the penultimate cavity of the trailing edge circuit. At least one crossover hole connects the penultimate cavity to the last cavity substantially near the tip end of the blade.

Checking BEBC superconducting magnet

CERN Multimedia

CERN PhotoLab

1974-01-01

The superconducting coils of the magnet for the 3.7 m Big European Bubble Chamber (BEBC) had to be checked, see Annual Report 1974, p. 60. The photo shows a dismantled pancake. By December 1974 the magnet reached again the field design value of 3.5 T.

Advanced circuit simulation using Multisim workbench

CERN Document Server

Báez-López, David; Cervantes-Villagómez, Ofelia Delfina

2012-01-01

Multisim is now the de facto standard for circuit simulation. It is a SPICE-based circuit simulator which combines analog, discrete-time, and mixed-mode circuits. In addition, it is the only simulator which incorporates microcontroller simulation in the same environment. It also includes a tool for printed circuit board design.Advanced Circuit Simulation Using Multisim Workbench is a companion book to Circuit Analysis Using Multisim, published by Morgan & Claypool in 2011. This new book covers advanced analyses and the creation of models and subcircuits. It also includes coverage of transmissi

Quality checking of radioactive and hazardous waste

International Nuclear Information System (INIS)

Billington, D.M.; Burgoyne, S.M.J.; Dale, C.J.

1992-01-01

This report describes the work of the HMIP Waste Quality Checking Laboratory (WQCL) for the period September 1989 -August 1991. The WQCL has conducted research and development of procedures for the receipt, sampling and analysis of low level solid radioactive waste (LLW), intermediate level radioactive waste (ILW) and hazardous chemical waste (HW). Operational facilities have been commissioned for quality checking both LLW and HW. Waste quality checking has been completed on LLW packages seized from the UK waste disposal route by HMIP Inspectors. Packages have ranged in size from the 200 litre steel drum to half-height ISO freight container. Development work was continued on methods of sample extraction and radio-chemical analysis for cement encapsulated ILW in the form of magnox, graphite and stainless steel. This work was undertaken on non-radioactive simulants. (author)

MOS voltage automatic tuning circuit

OpenAIRE

李, 田茂; 中田, 辰則; 松本, 寛樹

2004-01-01

Abstract ###Automatic tuning circuit adjusts frequency performance to compensate for the process variation. Phase locked ###loop (PLL) is a suitable oscillator for the integrated circuit. It is a feedback system that compares the input ###phase with the output phase. It can make the output frequency equal to the input frequency. In this paper, PLL ###fomed of MOSFET's is presented.The presented circuit consists of XOR circuit, Low-pass filter and Relaxation ###Oscillator. On PSPICE simulation...

Regenerative feedback resonant circuit

Science.gov (United States)

Jones, A. Mark; Kelly, James F.; McCloy, John S.; McMakin, Douglas L.

2014-09-02

A regenerative feedback resonant circuit for measuring a transient response in a loop is disclosed. The circuit includes an amplifier for generating a signal in the loop. The circuit further includes a resonator having a resonant cavity and a material located within the cavity. The signal sent into the resonator produces a resonant frequency. A variation of the resonant frequency due to perturbations in electromagnetic properties of the material is measured.

Model Checking Markov Reward Models with Impulse Rewards

NARCIS (Netherlands)

Cloth, Lucia; Katoen, Joost-Pieter; Khattri, Maneesh; Pulungan, Reza; Bondavalli, Andrea; Haverkort, Boudewijn; Tang, Dong

This paper considers model checking of Markov reward models (MRMs), continuous-time Markov chains with state rewards as well as impulse rewards. The reward extension of the logic CSL (Continuous Stochastic Logic) is interpreted over such MRMs, and two numerical algorithms are provided to check the

Checking Consistency of Pedigree Information is NP-complete

DEFF Research Database (Denmark)

Aceto, Luca; Hansen, Jens A.; Ingolfsdottir, Anna

Consistency checking is a fundamental computational problem in genetics. Given a pedigree and information on the genotypes of some of the individuals in it, the aim of consistency checking is to determine whether these data are consistent with the classic Mendelian laws of inheritance. This probl...

Strategic Planning through Model Checking of ATL Formulae

NARCIS (Netherlands)

Jamroga, W.J.; Rutkowski, L.; Siekmann, J.; Tadeusiewicz, R.; Zadeh, L.A.

2004-01-01

Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns a strategy to achieve given goal. We point out that the algorithm generalizes minimaxing, and that ATL models generalize

A neural model of figure-ground organization.

Science.gov (United States)

Craft, Edward; Schütze, Hartmut; Niebur, Ernst; von der Heydt, Rüdiger

2007-06-01

Psychophysical studies suggest that figure-ground organization is a largely autonomous process that guides--and thus precedes--allocation of attention and object recognition. The discovery of border-ownership representation in single neurons of early visual cortex has confirmed this view. Recent theoretical studies have demonstrated that border-ownership assignment can be modeled as a process of self-organization by lateral interactions within V2 cortex. However, the mechanism proposed relies on propagation of signals through horizontal fibers, which would result in increasing delays of the border-ownership signal with increasing size of the visual stimulus, in contradiction with experimental findings. It also remains unclear how the resulting border-ownership representation would interact with attention mechanisms to guide further processing. Here we present a model of border-ownership coding based on dedicated neural circuits for contour grouping that produce border-ownership assignment and also provide handles for mechanisms of selective attention. The results are consistent with neurophysiological and psychophysical findings. The model makes predictions about the hypothetical grouping circuits and the role of feedback between cortical areas.

First experiences with the LHC BLM sanity checks

CERN Document Server

Emery, J; Effinger, E; Nordt, A; Sapinski, M G; Zamantzas, C

2010-01-01

The reliability concerns have driven the design of the Large Hardron Collider (LHC) Beam Loss Monitoring (BLM) system from the early stage of the studies up to the present commissioning and the latest development of diagnostic tools. To protect the system against non-conformities, new ways of automatic checking have been developed and implemented. These checks are regularly and systematically executed by the LHC operation team to ensure that the system status is after each test "as good as new". The sanity checks are part of this strategy. They are testing the electrical part of the detectors (ionisation chamber or secondary emission detector), their cable connections to the front-end electronics, further connections to the back-end electronics and their ability to request a beam abort. During the installation and in the early commissioning phase, these checks have shown their ability to find also non-conformities caused by unexpected failure event scenarios. In every day operation, a non-conformity discovere...

Review and analysis of check valve failure data

International Nuclear Information System (INIS)

Todd, M.D.; Casada, D.A.

1992-01-01

Check valve operating problems in recent years have resulted in significant operating transients, increased cost and decreased system availability. There has been, in response, additional attention given to check valves by utilities, as well as the US Nuclear Regulatory Commission and the American Society of Mechanical Engineers Operation and Maintenance Committee. All these organizations have the fundamental goal of ensuring reliable operation of check valves. A key ingredient to an engineering-oriented reliability improvement effort is a thorough understanding of relevant historical experience. Oak Ridge National Laboratory is currently conducting a detailed review of historical failure data available through the Institute of Nuclear Power Operation's Nuclear Plant Reliability Data System. The focus of the review is on check valve failures that have involved significant degradation of the valve internal parts. A variety of parameters are being considered during the review, including size, age, system of service, method of failure discovery, the affected valve parts, attributed causes, and corrective actions

Fundamental energy limits of SET-based Brownian NAND and half-adder circuits. Preliminary findings from a physical-information-theoretic methodology

Science.gov (United States)

Ercan, İlke; Suyabatmaz, Enes

2018-06-01

The saturation in the efficiency and performance scaling of conventional electronic technologies brings about the development of novel computational paradigms. Brownian circuits are among the promising alternatives that can exploit fluctuations to increase the efficiency of information processing in nanocomputing. A Brownian cellular automaton, where signals propagate randomly and are driven by local transition rules, can be made computationally universal by embedding arbitrary asynchronous circuits on it. One of the potential realizations of such circuits is via single electron tunneling (SET) devices since SET technology enable simulation of noise and fluctuations in a fashion similar to Brownian search. In this paper, we perform a physical-information-theoretic analysis on the efficiency limitations in a Brownian NAND and half-adder circuits implemented using SET technology. The method we employed here establishes a solid ground that enables studying computational and physical features of this emerging technology on an equal footing, and yield fundamental lower bounds that provide valuable insights into how far its efficiency can be improved in principle. In order to provide a basis for comparison, we also analyze a NAND gate and half-adder circuit implemented in complementary metal oxide semiconductor technology to show how the fundamental bound of the Brownian circuit compares against a conventional paradigm.

Electromagnetic Pulse Excitation of Finite-Long Dissipative Conductors over a Conducting Ground Plane in the Frequency Domain.

Energy Technology Data Exchange (ETDEWEB)

campione, Salvatore [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Warne, Larry K. [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Schiek, Richard [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Basilio, Lorena I. [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)

2017-09-01

This report details the modeling results for the response of a finite-length dissipative conductor interacting with a conducting ground to a hypothetical nuclear device with the same output energy spectrum as the Fat Man device. We use a frequency-domain method based on transmission line theory and implemented it in a code we call ATLOG - Analytic Transmission Line Over Ground. Select results are compared to ones computed using the circuit simulator Xyce. Intentionally Left Blank

Protecting integrated circuits from excessive charge accumulation during plasma cleaning of multichip modules

Science.gov (United States)

Rodenbeck, Christopher T; Girardi, Michael

2015-04-21

Internal nodes of a constituent integrated circuit (IC) package of a multichip module (MCM) are protected from excessive charge during plasma cleaning of the MCM. The protected nodes are coupled to an internal common node of the IC package by respectively associated discharge paths. The common node is connected to a bond pad of the IC package. During MCM assembly, and before plasma cleaning, this bond pad receives a wire bond to a ground bond pad on the MCM substrate.

Short circuit experiment on an FCL coil wound with YBCO tape with a high-resistance stabilizing layer

Energy Technology Data Exchange (ETDEWEB)

Yazawa, T; Iijima, Y; Saito, T [Toshiba Corporation, Fujikura Ltd (Japan); Amemiya, N [Toshiba Corporation, Yokohama National University (Japan); Shiohara, Y [Toshiba Corporation, ISTEC SRL (Japan); Koyanagi, K; Ono, M; Urata, M, E-mail: takashi.yazawa@toshiba.co.jp

2008-02-15

One of the programs in the Ministry of Economy, Trade and Industry regarding R and D for developing YBCO conductors is to evaluate the suitability of the conductors in several applications. This paper focuses on one of the expected power applications, namely, a fault current limiter (FCL). YBCO tape conductors with ion beam assisted deposition (IBAD) substrates are used in this work. In order to increase the resistivity of the conductor, which is preferable for FCL applications, the thickness of a protective layer made of silver was decreased as much as possible. After obtaining the required current limiting performance in short sample experiments, a model coil was developed aiming at 6.6 kV-class FCLs. Short circuit experiments were conducted with a short-circuit generator. The coil successfully suppressed a short-circuit current of over 1.4 kA to about 500 A under an applied voltage of 3.8 kV, which is the nominal phase-to-ground voltage. The coil also suppressed a short-circuit current of 17 kA down to 700 A. The experimental results are as expected and show promise toward FCL applications.

Short circuit experiment on an FCL coil wound with YBCO tape with a high-resistance stabilizing layer

International Nuclear Information System (INIS)

Yazawa, T; Iijima, Y; Saito, T; Amemiya, N; Shiohara, Y; Koyanagi, K; Ono, M; Urata, M

2008-01-01

One of the programs in the Ministry of Economy, Trade and Industry regarding R and D for developing YBCO conductors is to evaluate the suitability of the conductors in several applications. This paper focuses on one of the expected power applications, namely, a fault current limiter (FCL). YBCO tape conductors with ion beam assisted deposition (IBAD) substrates are used in this work. In order to increase the resistivity of the conductor, which is preferable for FCL applications, the thickness of a protective layer made of silver was decreased as much as possible. After obtaining the required current limiting performance in short sample experiments, a model coil was developed aiming at 6.6 kV-class FCLs. Short circuit experiments were conducted with a short-circuit generator. The coil successfully suppressed a short-circuit current of over 1.4 kA to about 500 A under an applied voltage of 3.8 kV, which is the nominal phase-to-ground voltage. The coil also suppressed a short-circuit current of 17 kA down to 700 A. The experimental results are as expected and show promise toward FCL applications

Safety and Availability Checking for User Authorization Queries in RBAC

Directory of Open Access Journals (Sweden)

Jian-feng Lu

2012-09-01

Full Text Available This paper introduces the notion of safety and availability checking for user authorization query processing, and develop a recursive algorithm use the ideas from backtracking-based search techniques to search for the optimal solution. For the availability checking, we introduce the notion of max activatable set (MAS, and show formally how MAS can be determined in a hybrid role hierarchy. For the safety checking, we give a formal definition of dynamic separation-of-duty (DSoD policies, and show how to reduce the safety checking for DSoD to a SAT instance.

The Activity Check of Brachytherapy Isotope

International Nuclear Information System (INIS)

Kim, Gun Oh; Lee, Byung Koo; Kwon, Young Ho

2004-01-01

An isotope Ir-192, which is used in brachytherapy depends on import in whole quantities. There are a few ways for its activity. measurement using Welltype chamber or the way to rely on authentic decay table of manufacturer. In-air dosimetry using Farmer Chamber, etc. In this paper, let me introduce the way using Farmer chamber which is easier and simple. With the Farmer chamber and source calibration jig, take a measurement the activity of an isotope Ir-192 and compare the value with the value from decay table of manufacturer and check the activity of source. The result of measurement, compared the value from decay table, by ±2.1. (which belongs to recommendable value for AAPM ±5% as difference of error range). It is possible to use on clinical medicine. With the increase in use of brachytherapy, the increase of import is essential. And an accurate activity check of source is compulsory. For the activity check of source, it was possible to use Farmer chamber and source calibration jig without additional purchase of Well type chamber.

Test results and in-orbit operation of the Infrared Astronomical Satellite circumvention circuit

Science.gov (United States)

Long, E. C.; Langford, D.

1984-01-01

The IRAS circumvention circuit (CC) eliminates the unwanted charged-particle pulses from the IR signal. The operation of the CC along with preflight and in-orbit testing is described. Ground testing of the brassboard circuit using a simulated preamplifier output showed that the CC would perform the circumvention function as designed. When all flight detectors and preamplifiers became available, the CC was tested using a gamma source to simulate charged-particle sources; with the low energy deposited in the detectors (20 keV average) the noise was reduced by up to 5 times with the CC turned on. In-orbit results show that the CC decreases the unwanted charged-particle background noise by up to two orders of magnitude. The difference in the results with the CC on and off is so great that the science team has recommended that no data be taken with the CC off.

Arithmetic circuits for DSP applications

CERN Document Server

Stouraitis, Thanos

2017-01-01

Arithmetic Circuits for DSP Applications is a complete resource on arithmetic circuits for digital signal processing (DSP). It covers the key concepts, designs and developments of different types of arithmetic circuits, which can be used for improving the efficiency of implementation of a multitude of DSP applications. Each chapter includes various applications of the respective class of arithmetic circuits along with information on the future scope of research. Written for students, engineers, and researchers in electrical and computer engineering, this comprehensive text offers a clear understanding of different types of arithmetic circuits used for digital signal processing applications. The text includes contributions from noted researchers on a wide range of topics, including a review o circuits used in implementing basic operations like additions and multiplications; distributed arithmetic as a technique for the multiplier-less implementation of inner products for DSP applications; discussions on look ...

31 CFR 211.1 - Withholding delivery of checks.

Science.gov (United States)

2010-07-01

... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Withholding delivery of checks. 211.1 Section 211.1 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL SERVICE, DEPARTMENT OF THE TREASURY FINANCIAL MANAGEMENT SERVICE DELIVERY OF CHECKS AND WARRANTS TO...

Multi-Valued Modal Fixed Point Logics for Model Checking

Science.gov (United States)

Nishizawa, Koki

In this paper, I will show how multi-valued logics are used for model checking. Model checking is an automatic technique to analyze correctness of hardware and software systems. A model checker is based on a temporal logic or a modal fixed point logic. That is to say, a system to be checked is formalized as a Kripke model, a property to be satisfied by the system is formalized as a temporal formula or a modal formula, and the model checker checks that the Kripke model satisfies the formula. Although most existing model checkers are based on 2-valued logics, recently new attempts have been made to extend the underlying logics of model checkers to multi-valued logics. I will summarize these new results.

Estimated emission reductions from California's enhanced Smog Check program.

Science.gov (United States)

Singer, Brett C; Wenzel, Thomas P

2003-06-01

The U.S. Environmental Protection Agency requires that states evaluate the effectiveness of their vehicle emissions inspection and maintenance (I/M) programs. This study demonstrates an evaluation approach that estimates mass emission reductions over time and includes the effect of I/M on vehicle deterioration. It includes a quantitative assessment of benefits from pre-inspection maintenance and repairs and accounts for the selection bias effect that occurs when intermittent high emitters are tested. We report estimates of one-cycle emission benefits of California's Enhanced Smog Check program, ca. 1999. Program benefits equivalent to metric tons per day of prevented emissions were calculated with a "bottom-up" approach that combined average per vehicle reductions in mass emission rates (g/gal) with average per vehicle activity, resolved by model year. Accelerated simulation mode test data from the statewide vehicle information database (VID) and from roadside Smog Check testing were used to determine 2-yr emission profiles of vehicles passing through Smog Check and infer emission profiles that would occur without Smog Check. The number of vehicles participating in Smog Check was also determined from the VID. We estimate that in 1999 Smog Check reduced tailpipe emissions of HC, CO, and NO(x) by 97, 1690, and 81 t/d, respectively. These correspond to 26, 34, and 14% of the HC, CO, and NO(x) that would have been emitted by vehicles in the absence of Smog Check. These estimates are highly sensitive to assumptions about vehicle deterioration in the absence of Smog Check. Considering the estimated uncertainty in these assumptions yields a range for calculated benefits: 46-128 t/d of HC, 860-2200 t/d of CO, and 60-91 t/d of NO(x). Repair of vehicles that failed an initial, official Smog Check appears to be the most important mechanism of emission reductions, but pre-inspection maintenance and repair also contributed substantially. Benefits from removal of nonpassing

Source-circuit design overview

Science.gov (United States)

Ross, R. G., Jr.

1983-01-01

The source circuit is the fundamental electrical building block of a large central-station array; it consists of a series-parallel network of solar cells that develops full system voltage. The array field is generally made up of a large number of parallel source circuits. Source-circuit electrical configuration is driven by a number of design considerations, which must be considered simultaneously. Array fault tolerance and hot spot heating endurance are examined in detail.

Atomic physics and quantum optics using superconducting circuits: from the Dynamical Casimir effect to Majorana fermions

Science.gov (United States)

Nori, Franco

2012-02-01

This talk will present an overview of some of our recent results on atomic physics and quantum optics using superconducting circuits. Particular emphasis will be given to photons interacting with qubits, interferometry, the Dynamical Casimir effect, and also studying Majorana fermions using superconducting circuits.[4pt] References available online at our web site:[0pt] J.Q. You, Z.D. Wang, W. Zhang, F. Nori, Manipulating and probing Majorana fermions using superconducting circuits, (2011). Arxiv. J.R. Johansson, G. Johansson, C.M. Wilson, F. Nori, Dynamical Casimir effect in a superconducting coplanar waveguide, Phys. Rev. Lett. 103, 147003 (2009). [0pt] J.R. Johansson, G. Johansson, C.M. Wilson, F. Nori, Dynamical Casimir effect in superconducting microwave circuits, Phys. Rev. A 82, 052509 (2010). [0pt] C.M. Wilson, G. Johansson, A. Pourkabirian, J.R. Johansson, T. Duty, F. Nori, P. Delsing, Observation of the Dynamical Casimir Effect in a superconducting circuit. Nature, in press (Nov. 2011). P.D. Nation, J.R. Johansson, M.P. Blencowe, F. Nori, Stimulating uncertainty: Amplifying the quantum vacuum with superconducting circuits, Rev. Mod. Phys., in press (2011). [0pt] J.Q. You, F. Nori, Atomic physics and quantum optics using superconducting circuits, Nature 474, 589 (2011). [0pt] S.N. Shevchenko, S. Ashhab, F. Nori, Landau-Zener-Stuckelberg interferometry, Phys. Reports 492, 1 (2010). [0pt] I. Buluta, S. Ashhab, F. Nori. Natural and artificial atoms for quantum computation, Reports on Progress in Physics 74, 104401 (2011). [0pt] I.Buluta, F. Nori, Quantum Simulators, Science 326, 108 (2009). [0pt] L.F. Wei, K. Maruyama, X.B. Wang, J.Q. You, F. Nori, Testing quantum contextuality with macroscopic superconducting circuits, Phys. Rev. B 81, 174513 (2010). [0pt] J.Q. You, X.-F. Shi, X. Hu, F. Nori, Quantum emulation of a spin system with topologically protected ground states using superconducting quantum circuit, Phys. Rev. A 81, 063823 (2010).

Distortion Cancellation via Polyphase Multipath Circuits

NARCIS (Netherlands)

Mensink, E.; Klumperink, Eric A.M.; Nauta, Bram

The central question of this paper is: can we enhance the spectral purity of nonlinear circuits with the help of polyphase multipath circuits. Polyphase multipath circuits are circuits with two or more paths that exploit phase differences between the paths to cancel unwanted signals. It turns out

Delivery quality assurance with ArcCHECK

International Nuclear Information System (INIS)

Neilson, Christopher; Klein, Michael; Barnett, Rob; Yartsev, Slav

2013-01-01

Radiation therapy requires delivery quality assurance (DQA) to ensure that treatment is accurate and closely follows the plan. We report our experience with the ArcCHECK phantom and investigate its potential optimization for the DQA process. One-hundred seventy DQA plans from 84 patients were studied. Plans were classified into 2 groups: those with the target situated on the diodes of the ArcCHECK (D plans) and those with the target situated at the center (C plans). Gamma pass rates for 8 target sites were examined. The parameters used to analyze the data included 3%/3 mm with the Van Dyk percent difference criteria (VD) on, 3%/3 mm with the VD off, 2%/2 mm with the VD on, and x/3 mm with the VD on and the percentage dosimetric agreement “x” for diode plans adjusted. D plans typically displayed maximum planned dose (MPD) on the cylindrical surface containing ArcCHECK diodes than center plans, resulting in inflated gamma pass rates. When this was taken into account by adjusting the percentage dosimetric agreement, C plans outperformed D plans by an average of 3.5%. ArcCHECK can streamline the DQA process, consuming less time and resources than radiographic films. It is unnecessary to generate 2 DQA plans for each patient; a single center plan will suffice. Six of 8 target sites consistently displayed pass rates well within our acceptance criteria; the lesser performance of head and neck and spinal sites can be attributed to marginally lower doses and increased high gradient of plans

Variational integrators for electric circuits

International Nuclear Information System (INIS)

Ober-Blöbaum, Sina; Tao, Molei; Cheng, Mulin; Owhadi, Houman; Marsden, Jerrold E.

2013-01-01

In this contribution, we develop a variational integrator for the simulation of (stochastic and multiscale) electric circuits. When considering the dynamics of an electric circuit, one is faced with three special situations: 1. The system involves external (control) forcing through external (controlled) voltage sources and resistors. 2. The system is constrained via the Kirchhoff current (KCL) and voltage laws (KVL). 3. The Lagrangian is degenerate. Based on a geometric setting, an appropriate variational formulation is presented to model the circuit from which the equations of motion are derived. A time-discrete variational formulation provides an iteration scheme for the simulation of the electric circuit. Dependent on the discretization, the intrinsic degeneracy of the system can be canceled for the discrete variational scheme. In this way, a variational integrator is constructed that gains several advantages compared to standard integration tools for circuits; in particular, a comparison to BDF methods (which are usually the method of choice for the simulation of electric circuits) shows that even for simple LCR circuits, a better energy behavior and frequency spectrum preservation can be observed using the developed variational integrator

Behavioral synthesis of asynchronous circuits

DEFF Research Database (Denmark)

Nielsen, Sune Fallgaard

2005-01-01

This thesis presents a method for behavioral synthesis of asynchronous circuits, which aims at providing a synthesis flow which uses and tranfers methods from synchronous circuits to asynchronous circuits. We move the synchronous behavioral synthesis abstraction into the asynchronous handshake...... is idle. This reduces unnecessary switching activity in the individual functional units and therefore the energy consumption of the entire circuit. A collection of behavioral synthesis algorithms have been developed allowing the designer to perform time and power constrained design space exploration...

Diode, transistor & fet circuits manual

CERN Document Server

Marston, R M

2013-01-01

Diode, Transistor and FET Circuits Manual is a handbook of circuits based on discrete semiconductor components such as diodes, transistors, and FETS. The book also includes diagrams and practical circuits. The book describes basic and special diode characteristics, heat wave-rectifier circuits, transformers, filter capacitors, and rectifier ratings. The text also presents practical applications of associated devices, for example, zeners, varicaps, photodiodes, or LEDs, as well as it describes bipolar transistor characteristics. The transistor can be used in three basic amplifier configuration

Assessment of diagnostic methods for determining degradation of check valves

International Nuclear Information System (INIS)

Haynes, H.D.; Farmer, W.S.

1992-01-01

The Oak Ridge National Laboratory (ORNL) has carried out a comprehensive aging assessment of check valves in support of the Nuclear Plant Aging Research (NPAR) program. This paper provides a summary of the ORNL check valve aging assessment with emphasis on the identification, evaluation, and application of check valve monitoring methods and techniques. Several check valve monitoring methods are described and compared. These methods include: acoustic emission monitoring, ultrasonic inspection, magnetic flux signature analysis (MFSA), external magnetics. These diagnostic technologies were shown to be useful in determining check valve condition (e.g., disc position, disc motion, and seat leakage), although none of the methods was by itself, successful in monitoring all three condition indicators. The combination of acoustic emission with either ultrasonics or one of the magnetic technologies, however, yields a monitoring system that succeeds in providing the sensitivity to detect all major check valve operating conditions. Other areas covered in the paper include descriptions of relevant regulatory issues, utility group activities, and interactions ORNL has had with outside organizations for the purpose of disseminating research results

Radioactive check sources for alpha and beta sensitive radiological instrumentation

International Nuclear Information System (INIS)

Barnett, J.M.; Kane, J.E. II.

1994-06-01

Since 1991, the Westinghouse Hanford Company has examined the construction and use of alpha and beta radioactive check sources for calibrating instruments and for performing response checks of instruments used for operational and environmental radiation detection. The purpose of using a radioactive check source is to characterize the response of a radiation monitoring instrument in the presence of radioactivity. To accurately calibrate the instrument and check its response, the check source used must emulate as closely as possible the actual physical and isotopic conditions being monitored. The isotope employed and the physical methods used to fabricate the check source (among other factors) determine instrument response. Although information from applicable national and international standards, journal articles, books, and government documents was considered, empirical data collected is most valuable when considering the type of source to use for a particular application. This paper presents source construction methods, use considerations, and standard recommendations. The results of a Hanford Site evaluation of several types of alpha and beta sources are also given

NRC Information No. 88-86: Operating with multiple grounds in direct current distribution systems

International Nuclear Information System (INIS)

Rossi, C.E.

1992-01-01

During recent NRC maintenance inspections at Quad Cities, Oconee, and D.C. Cook power reactor facilities, it was found that plants had been operating with multiple grounds in the dc distribution systems for extended periods. Specific examples are described. Most nuclear power plant dc systems are two-wire ungrounded, combination battery/charger systems equipped with ground detection. Typical ground detection system features include a remote annunciator and a local indicator and/or recorder. Ground detectors are incorporated in the dc system so that if a single ground point does occur, immediate steps can be taken to clear the ground fault from the system. Failure to respond to a single ground will mask subsequent grounds. Multiple grounds can cause the indiscriminate operation of equipment, which may have safety consequences. Grounds can cause control circuit fuses to fail and can render important safety equipment inoperable as previously described. Furthermore, batteries have a designed capacity to supply power during a station blackout condition, and this capacity can be affected by the presence of unanalyzed loads in the form of multiple grounds. It is recognized that troubleshooting and finding grounds on a dc system are difficult tasks that may affect plant operation. The licensees previously mentioned have reviewed their designs and conditions for potential impact on safety system operability and have taken corrective actions to minimize the effect of grounds

Double checking medicines: defence against error or contributory factor?

Science.gov (United States)

Armitage, Gerry

2008-08-01

The double checking of medicines in health care is a contestable procedure. It occupies an obvious position in health care practice and is understood to be an effective defence against medication error but the process is variable and the outcomes have not been exposed to testing. This paper presents an appraisal of the process using data from part of a larger study on the contributory factors in medication errors and their reporting. Previous research studies are reviewed; data are analysed from a review of 991 drug error reports and a subsequent series of 40 in-depth interviews with health professionals in an acute hospital in northern England. The incident reports showed that errors occurred despite double checking but that action taken did not appear to investigate the checking process. Most interview participants (34) talked extensively about double checking but believed the process to be inconsistent. Four key categories were apparent: deference to authority, reduction of responsibility, automatic processing and lack of time. Solutions to the problems were also offered, which are discussed with several recommendations. Double checking medicines should be a selective and systematic procedure informed by key principles and encompassing certain behaviours. Psychological research may be instructive in reducing checking errors but the aviation industry may also have a part to play in increasing error wisdom and reducing risk.

Analysis of Bernstein's factorization circuit

NARCIS (Netherlands)

Lenstra, A.K.; Shamir, A.; Tomlinson, J.; Tromer, E.; Zheng, Y.

2002-01-01

In [1], Bernstein proposed a circuit-based implementation of the matrix step of the number field sieve factorization algorithm. These circuits offer an asymptotic cost reduction under the measure "construction cost x run time". We evaluate the cost of these circuits, in agreement with [1], but argue

Related Fact Checks: a tool for combating fake news

OpenAIRE

Guha, Sreya

2017-01-01

The emergence of "Fake News" and misinformation via online news and social media has spurred an interest in computational tools to combat this phenomenon. In this paper we present a new "Related Fact Checks" service, which can help a reader critically evaluate an article and make a judgment on its veracity by bringing up fact checks that are relevant to the article. We describe the core technical problems that need to be solved in building a "Related Fact Checks" service, and present results ...

Check-up Measurement (update). Deliverable D5.22

NARCIS (Netherlands)

Holtzer, A.C.G.; Giessen, A.M.D. van der; Djurica, M.

2015-01-01

This deliverable D5.22 presents the GEN6 check-up measurement. It describes the most prominent outcomes of the GEN6 project up to this point in time. The check-up measurement helps to focus the monitoring towards the most relevant achievements of the project, such that an efficient and well-targeted

Radiation-hardened CMOS integrated circuits

International Nuclear Information System (INIS)

Derbenwick, G.F.; Hughes, R.C.

1977-01-01

Electronic circuits that operate properly after exposure to ionizing radiation are necessary for nuclear weapon systems, satellites, and apparatus designed for use in radiation environments. The program to develop and theoretically model radiation-tolerant integrated circuit components has resulted in devices that show an improvement in hardness up to a factor of ten thousand over earlier devices. An inverter circuit produced functions properly after an exposure of 10 6 Gy (Si) which, as far as is known, is the record for an integrated circuit

Physically based arc-circuit interaction

International Nuclear Information System (INIS)

Zhong-Lie, L.

1984-01-01

An integral arc model is extended to study the interaction of the gas blast arc with the test circuit in this paper. The deformation in the waveshapes of arc current and voltage around the current zero has been formulated to first approximation by using a simple model of arc voltage based on the arc core energy conservation. By supplementing with the time scale for the radiation, the time rates of arc processes were amended. Both the contributions of various arc processes and the influence of circuit parameters to the arc-circuit interaction have been estimated by this theory. Analysis generated a new method of calculating test circuit parameters which improves the accurate simulation of arc-circuit interaction. The new method agrees with the published experimental results

Treasury Check Verification Query (TCVQ)

Data.gov (United States)

Social Security Administration — The TCVQ system determines the SSN of an individual whose check has been returned to a local field office. The FO is able to request this information via the TCVQ...

Integrated circuits, and design and manufacture thereof

Science.gov (United States)

Auracher, Stefan; Pribbernow, Claus; Hils, Andreas

2006-04-18

A representation of a macro for an integrated circuit layout. The representation may define sub-circuit cells of a module. The module may have a predefined functionality. The sub-circuit cells may include at least one reusable circuit cell. The reusable circuit cell may be configured such that when the predefined functionality of the module is not used, the reusable circuit cell is available for re-use.

Instrumentation and test gear circuits manual

CERN Document Server

Marston, R M

2013-01-01

Instrumentation and Test Gear Circuits Manual provides diagrams, graphs, tables, and discussions of several types of practical circuits. The practical circuits covered in this book include attenuators, bridges, scope trace doublers, timebases, and digital frequency meters. Chapter 1 discusses the basic instrumentation and test gear principles. Chapter 2 deals with the design of passive attenuators, and Chapter 3 with passive and active filter circuits. The subsequent chapters tackle 'bridge' circuits, analogue and digital metering techniques and circuitry, signal and waveform generation, and p

Multi-qubit circuit quantum electrodynamics

International Nuclear Information System (INIS)

Viehmann, Oliver

2013-01-01

Circuit QED systems are macroscopic, man-made quantum systems in which superconducting artificial atoms, also called Josephson qubits, interact with a quantized electromagnetic field. These systems have been devised to mimic the physics of elementary quantum optical systems with real atoms in a scalable and more flexible framework. This opens up a variety of possible applications of circuit QED systems. For instance, they provide a promising platform for processing quantum information. Recent years have seen rapid experimental progress on these systems, and experiments with multi-component circuit QED architectures are currently starting to come within reach. In this thesis, circuit QED systems with multiple Josephson qubits are studied theoretically. We focus on simple and experimentally realistic extensions of the currently operated circuit QED setups and pursue investigations in two main directions. First, we consider the equilibrium behavior of circuit QED systems containing a large number of mutually noninteracting Josephson charge qubits. The currently accepted standard description of circuit QED predicts the possibility of superradiant phase transitions in such systems. However, a full microscopic treatment shows that a no-go theorem for superradiant phase transitions known from atomic physics applies to circuit QED systems as well. This reveals previously unknown limitations of the applicability of the standard theory of circuit QED to multi-qubit systems. Second, we explore the potential of circuit QED for quantum simulations of interacting quantum many-body systems. We propose and analyze a circuit QED architecture that implements the quantum Ising chain in a time-dependent transverse magnetic field. Our setup can be used to study quench dynamics, the propagation of localized excitations, and other non-equilibrium features in this paradigmatic model in the theory of non-equilibrium thermodynamics and quantumcritical phenomena. The setup is based on a

Multi-qubit circuit quantum electrodynamics

Energy Technology Data Exchange (ETDEWEB)

Viehmann, Oliver

2013-09-03

Circuit QED systems are macroscopic, man-made quantum systems in which superconducting artificial atoms, also called Josephson qubits, interact with a quantized electromagnetic field. These systems have been devised to mimic the physics of elementary quantum optical systems with real atoms in a scalable and more flexible framework. This opens up a variety of possible applications of circuit QED systems. For instance, they provide a promising platform for processing quantum information. Recent years have seen rapid experimental progress on these systems, and experiments with multi-component circuit QED architectures are currently starting to come within reach. In this thesis, circuit QED systems with multiple Josephson qubits are studied theoretically. We focus on simple and experimentally realistic extensions of the currently operated circuit QED setups and pursue investigations in two main directions. First, we consider the equilibrium behavior of circuit QED systems containing a large number of mutually noninteracting Josephson charge qubits. The currently accepted standard description of circuit QED predicts the possibility of superradiant phase transitions in such systems. However, a full microscopic treatment shows that a no-go theorem for superradiant phase transitions known from atomic physics applies to circuit QED systems as well. This reveals previously unknown limitations of the applicability of the standard theory of circuit QED to multi-qubit systems. Second, we explore the potential of circuit QED for quantum simulations of interacting quantum many-body systems. We propose and analyze a circuit QED architecture that implements the quantum Ising chain in a time-dependent transverse magnetic field. Our setup can be used to study quench dynamics, the propagation of localized excitations, and other non-equilibrium features in this paradigmatic model in the theory of non-equilibrium thermodynamics and quantumcritical phenomena. The setup is based on a

Experimental study on short-circuit characteristics of the new protection circuit of insulated gate bipolar transistor

International Nuclear Information System (INIS)

Ji, In-Hwan; Choi, Young-Hwan; Ha, Min-Woo; Han, Min-Koo; Choi, Yearn-Ik

2006-01-01

A new protection circuit employing the collector to emitter voltage (V CE ) sensing scheme for short-circuit withstanding capability of the insulated gate bipolar transistor (IGBT) is proposed and verified by experimental results. Because the current path between the gate and collector can be successfully eliminated in the proposed protection circuit, the power consumption can be reduced and the gate input impedance can be increased. Previous study is limited to dc characteristics. However, experimental results show that the proposed protection circuit successfully reduces the over-current of main IGBT by 80.4% under the short-circuit condition

High voltage MOSFET switching circuit

Science.gov (United States)

McEwan, Thomas E.

1994-01-01

The problem of source lead inductance in a MOSFET switching circuit is compensated for by adding an inductor to the gate circuit. The gate circuit inductor produces an inductive spike which counters the source lead inductive drop to produce a rectangular drive voltage waveform at the internal gate-source terminals of the MOSFET.

Comparison of ATLOG and Xyce for Bell Labs Electromagnetic Pulse Excitation of Finite-Long Dissipative Conductors over a Ground Plane.

Energy Technology Data Exchange (ETDEWEB)

campione, Salvatore [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Warne, Larry K. [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Schiek, Richard [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Basilio, Lorena I. [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)

2017-09-01

This report details the modeling results for the response of a finite-length dissipative conductor interacting with a conducting ground to the Bell Labs electromagnetic pulse excitation. We use both a frequency-domain and a time-domain method based on transmission line theory through a code we call ATLOG - Analytic Transmission Line Over Ground. Results are compared to the circuit simulator Xyce for selected cases. Intentionally Left Blank

31 CFR 10.31 - Negotiation of taxpayer checks.

Science.gov (United States)

2010-07-01

... 31 Money and Finance: Treasury 1 2010-07-01 2010-07-01 false Negotiation of taxpayer checks. 10.31 Section 10.31 Money and Finance: Treasury Office of the Secretary of the Treasury PRACTICE BEFORE THE INTERNAL REVENUE SERVICE Duties and Restrictions Relating to Practice Before the Internal Revenue Service § 10.31 Negotiation of taxpayer checks. ...

Graphene radio frequency receiver integrated circuit.

Science.gov (United States)

Han, Shu-Jen; Garcia, Alberto Valdes; Oida, Satoshi; Jenkins, Keith A; Haensch, Wilfried

2014-01-01

Graphene has attracted much interest as a future channel material in radio frequency electronics because of its superior electrical properties. Fabrication of a graphene integrated circuit without significantly degrading transistor performance has proven to be challenging, posing one of the major bottlenecks to compete with existing technologies. Here we present a fabrication method fully preserving graphene transistor quality, demonstrated with the implementation of a high-performance three-stage graphene integrated circuit. The circuit operates as a radio frequency receiver performing signal amplification, filtering and downconversion mixing. All circuit components are integrated into 0.6 mm(2) area and fabricated on 200 mm silicon wafers, showing the unprecedented graphene circuit complexity and silicon complementary metal-oxide-semiconductor process compatibility. The demonstrated circuit performance allow us to use graphene integrated circuit to perform practical wireless communication functions, receiving and restoring digital text transmitted on a 4.3-GHz carrier signal.

42 CFR 433.40 - Treatment of uncashed or cancelled (voided) Medicaid checks.

Science.gov (United States)

2010-10-01

...) Medicaid checks. 433.40 Section 433.40 Public Health CENTERS FOR MEDICARE & MEDICAID SERVICES, DEPARTMENT...) Medicaid checks. (a) Purpose. This section provides the rules to ensure that States refund the Federal...— Cancelled (voided) check means a Medicaid check issued by a State or fiscal agent which prior to its being...

Application of risk-based methods to inservice testing of check valves

Energy Technology Data Exchange (ETDEWEB)

Closky, N.B.; Balkey, K.R.; McAllister, W.J. [and others

1996-12-01

Research efforts have been underway in the American Society of Mechanical Engineers (ASME) and industry to define appropriate methods for the application of risk-based technology in the development of inservice testing (IST) programs for pumps and valves in nuclear steam supply systems. This paper discusses a pilot application of these methods to the inservice testing of check valves in the emergency core cooling system of Georgia Power`s Vogtle nuclear power station. The results of the probabilistic safety assessment (PSA) are used to divide the check valves into risk-significant and less-risk-significant groups. This information is reviewed by a plant expert panel along with the consideration of appropriate deterministic insights to finally categorize the check valves into more safety-significant and less safety-significant component groups. All of the more safety-significant check valves are further evaluated in detail using a failure modes and causes analysis (FMCA) to assist in defining effective IST strategies. A template has been designed to evaluate how effective current and emerging tests for check valves are in detecting failures or in finding significant conditions that are precursors to failure for the likely failure causes. This information is then used to design and evaluate appropriate IST strategies that consider both the test method and frequency. A few of the less safety-significant check valves are also evaluated using this process since differences exist in check valve design, function, and operating conditions. Appropriate test strategies are selected for each check valve that has been evaluated based on safety and cost considerations. Test strategies are inferred from this information for the other check valves based on similar check valve conditions. Sensitivity studies are performed using the PSA model to arrive at an overall IST program that maintains or enhances safety at the lowest achievable cost.

Remote versus face-to-face check-ups for asthma.

Science.gov (United States)

Kew, Kayleigh M; Cates, Christopher J

2016-04-18

Asthma remains a significant cause of avoidable morbidity and mortality. Regular check-ups with a healthcare professional are essential to monitor symptoms and adjust medication.Health services worldwide are considering telephone and internet technologies as a way to manage the rising number of people with asthma and other long-term health conditions. This may serve to improve health and reduce the burden on emergency and inpatient services. Remote check-ups may represent an unobtrusive and efficient way of maintaining contact with patients, but it is uncertain whether conducting check-ups in this way is effective or whether it may have unexpected negative consequences. To assess the safety and efficacy of conducting asthma check-ups remotely versus usual face-to-face consultations. We identified trials from the Cochrane Airways Review Group Specialised Register (CAGR) up to 24 November 2015. We also searched www.clinicaltrials.gov, the World Health Organization (WHO) trials portal, reference lists of other reviews and contacted trial authors for additional information. We included parallel randomised controlled trials (RCTs) of adults or children with asthma that compared remote check-ups conducted using any form of technology versus standard face-to-face consultations. We excluded studies that used automated telehealth interventions that did not include personalised contact with a health professional. We included studies reported as full-text articles, as abstracts only and unpublished data. Two review authors screened the literature search results and independently extracted risk of bias and numerical data. We resolved any disagreements by consensus, and we contacted study authors for missing information.We analysed dichotomous data as odds ratios (ORs) using study participants as the unit of analysis, and continuous data as mean differences using the random-effects models. We rated all outcomes using the Grading of Recommendations Assessment, Development and

Investigation of Equivalent Circuit for PEMFC Assessment

International Nuclear Information System (INIS)

Myong, Kwang Jae

2011-01-01

Chemical reactions occurring in a PEMFC are dominated by the physical conditions and interface properties, and the reactions are expressed in terms of impedance. The performance of a PEMFC can be simply diagnosed by examining the impedance because impedance characteristics can be expressed by an equivalent electrical circuit. In this study, the characteristics of a PEMFC are assessed using the AC impedance and various equivalent circuits such as a simple equivalent circuit, equivalent circuit with a CPE, equivalent circuit with two RCs, and equivalent circuit with two CPEs. It was found in this study that the characteristics of a PEMFC could be assessed using impedance and an equivalent circuit, and the accuracy was highest for an equivalent circuit with two CPEs

Code Optimization, Frozen Glassy Phase and Improved Decoding Algorithms for Low-Density Parity-Check Codes

International Nuclear Information System (INIS)

Huang Hai-Ping

2015-01-01

The statistical physics properties of low-density parity-check codes for the binary symmetric channel are investigated as a spin glass problem with multi-spin interactions and quenched random fields by the cavity method. By evaluating the entropy function at the Nishimori temperature, we find that irregular constructions with heterogeneous degree distribution of check (bit) nodes have higher decoding thresholds compared to regular counterparts with homogeneous degree distribution. We also show that the instability of the mean-field calculation takes place only after the entropy crisis, suggesting the presence of a frozen glassy phase at low temperatures. When no prior knowledge of channel noise is assumed (searching for the ground state), we find that a reinforced strategy on normal belief propagation will boost the decoding threshold to a higher value than the normal belief propagation. This value is close to the dynamical transition where all local search heuristics fail to identify the true message (codeword or the ferromagnetic state). After the dynamical transition, the number of metastable states with larger energy density (than the ferromagnetic state) becomes exponentially numerous. When the noise level of the transmission channel approaches the static transition point, there starts to exist exponentially numerous codewords sharing the identical ferromagnetic energy. (condensed matter: electronic structure, electrical, magnetic, and optical properties)

Automatic circuit analysis based on mask information

International Nuclear Information System (INIS)

Preas, B.T.; Lindsay, B.W.; Gwyn, C.W.

1976-01-01

The Circuit Mask Translator (CMAT) code has been developed which converts integrated circuit mask information into a circuit schematic. Logical operations, pattern recognition, and special functions are used to identify and interconnect diodes, transistors, capacitors, and resistances. The circuit topology provided by the translator is compatible with the input required for a circuit analysis program

Pre-Alignment Checks. Automotive Mechanics. Steering & Suspension. Instructor's Guide [and] Student Guide.

Science.gov (United States)

Spignesi, B.

This instructional package, one in a series of individualized instructional units on automotive steering and suspension, consists of a student guide and an instructor guide dealing with prealignment checks. Covered in the module are the following steps in a prealignment check: checking the ride height of a vehicle, checking the ball joints and the…

Thermionic integrated circuits: electronics for hostile environments

International Nuclear Information System (INIS)

Lynn, D.K.; McCormick, J.B.; MacRoberts, M.D.J.; Wilde, D.K.; Dooley, G.R.; Brown, D.R.

1985-01-01

Thermionic integrated circuits combine vacuum tube technology with integrated circuit techniques to form integrated vacuum triode circuits. These circuits are capable of extended operation in both high-temperature and high-radiation environments

Is drive for muscularity related to body checking behaviors in men athletes?

Directory of Open Access Journals (Sweden)

Leonardo de Sousa Fortes

Full Text Available Abstract The aim of this study was to analyze the relationship between drive for muscularity and body checking behaviors in men athletes. Two hundred and twelve Brazilian athletes over 15 years of age participated. We used the Drive for Muscularity Scale (DMS to evaluate the drive for muscularity. The Male Body Checking Questionnaire was used to assess body checking behaviors. The findings demonstrated a relationship between the "body image-oriented muscularity" subscale of the DMS and body checking behaviors (p = 0.001. The results indicated differences in body checking among athletes with high and low levels of drive for muscularity. We concluded that drive for muscularity was related to body checking behaviors in men athletes.

Circuit Design for Sensor Detection Signal Conditioner Nitrate Content

Directory of Open Access Journals (Sweden)

Robeth Manurung

2011-09-01

Full Text Available Nitrate is one of macro nutrients very important for agriculture. The availability of nitrate in soil is limited because it is very easy to leaching by rain, therefore nitrate could be contaminated ground water by  over-process of fertilizer. This process could also produce inefficiency in agriculture if it happened continuesly without pre-analysis of farm field. The answer those problems, it is need to develop the ion sensor system to measure concentrations of nitrat in soil. The system is consist of nitrate ion sensor device, signal conditioning and data acquisition circuit. The design and fabrications of signal conditioning circuit which integrated into ion nitrate sensor system and will apply for agriculture. This sensor has been used amperometric with three electrodes configuration: working, reference  and auxiliarry; the ion senstive membrane has use conductive polymer. The screen printing technique has been choosen to fabricate electrodes and deposition technique for ion sensitive membrane is electropolymerization. The characterization of sensor has been conducted using nitrate standard solution with range of concentration between 1 µM–1 mM. The characterization has shown that sensor has a good response with cureent output between 2.8–4.71 µA, liniearity factor is 99.65% and time response 250 second.

Modern TTL circuits manual

CERN Document Server

Marston, R M

2013-01-01

Modern TTL Circuits Manual provides an introduction to the basic principles of Transistor-Transistor Logic (TTL). This book outlines the major features of the 74 series of integrated circuits (ICs) and introduces the various sub-groups of the TTL family.Organized into seven chapters, this book begins with an overview of the basics of digital ICs. This text then examines the symbology and mathematics of digital logic. Other chapters consider a variety of topics, including waveform generator circuitry, clocked flip-flop and counter circuits, special counter/dividers, registers, data latches, com

Circuit analysis with Multisim

CERN Document Server

Baez-Lopez, David

2011-01-01

This book is concerned with circuit simulation using National Instruments Multisim. It focuses on the use and comprehension of the working techniques for electrical and electronic circuit simulation. The first chapters are devoted to basic circuit analysis.It starts by describing in detail how to perform a DC analysis using only resistors and independent and controlled sources. Then, it introduces capacitors and inductors to make a transient analysis. In the case of transient analysis, it is possible to have an initial condition either in the capacitor voltage or in the inductor current, or bo

Performance analysis of a ground-assisted direct evaporative cooling air conditioner

Energy Technology Data Exchange (ETDEWEB)

Heidarinejad, Ghassem; Khalajzadeh, Vahid [Department of Mechanical Engineering, Tarbiat Modares University, P.O. Box 14115-143, Tehran (Iran); Delfani, Shahram [Building and Housing Research Center (BHRC), P O Box 13145-1696, Tehran (Iran)

2010-11-15

In this paper, the results of performance analysis of a ground-assisted hybrid evaporative cooling system in Tehran have been discussed. A Ground Coupled Circuit (GCC) provides the necessary pre-cooling effects, enabling a Direct Evaporative Cooler (DEC) that cools the air even below its wet-bulb temperature. The GCC includes four vertical ground heat exchangers (GHE) which were arrayed in series configuration. In order to have an accurate prediction of the optimum performance of a GCC, a computational fluid dynamic simulation was performed. Simulation results revealed that the combination of GCC and DEC system could provide comfort condition whereas DEC alone did not. Based on the simulation results the cooling effectiveness of a hybrid system is more than 100%. Thus, this novel hybrid system could decrease the air temperature below the ambient wet-bulb temperature. This environmentally clean and energy efficient system can be considered as an alternative to the mechanical vapor compression systems. (author)

Assessing Personality and Mood With Adjective Check List Methodology: A Review

Science.gov (United States)

Craig, Robert J.

2005-01-01

This article addresses the benefits and problems in using adjective check list methodology to assess personality. Recent developments in this assessment method are reviewed, emphasizing seminal adjective-based personality tests (Gough's Adjective Check List), mood tests (Lubin's Depressive Adjective Test, Multiple Affect Adjective Check List),…

Spot-checks to measure general hygiene practice.

Science.gov (United States)

Sonego, Ina L; Mosler, Hans-Joachim

2016-01-01

A variety of hygiene behaviors are fundamental to the prevention of diarrhea. We used spot-checks in a survey of 761 households in Burundi to examine whether something we could call general hygiene practice is responsible for more specific hygiene behaviors, ranging from handwashing to sweeping the floor. Using structural equation modeling, we showed that clusters of hygiene behavior, such as primary caregivers' cleanliness and household cleanliness, explained the spot-check findings well. Within our model, general hygiene practice as overall concept explained the more specific clusters of hygiene behavior well. Furthermore, the higher general hygiene practice, the more likely children were to be categorized healthy (r = 0.46). General hygiene practice was correlated with commitment to hygiene (r = 0.52), indicating a strong association to psychosocial determinants. The results show that different hygiene behaviors co-occur regularly. Using spot-checks, the general hygiene practice of a household can be rated quickly and easily.

Application specific integrated circuits and hybrid micro circuits for nuclear instrumentation

International Nuclear Information System (INIS)

Chandratre, V.B.; Sukhwani, Menka; Mukhopadhyay, P.K.; Shastrakar, R.S.; Sudheer, M.; Shedam, V.; Keni, Anubha

2009-01-01

Rapid development in semiconductor technology, sensors, detectors and requirements of high energy physics experiments as well as advances in commercially available nuclear instruments have lead to challenges for instrumentation. These challenges are met with development of Application Specific Integrated Circuits and Hybrid Micro Circuits. This paper discusses various activities in ASIC and HMC development in Bhabha Atomic Research Centre. (author)

Model Checking Algorithms for CTMDPs

DEFF Research Database (Denmark)

Buchholz, Peter; Hahn, Ernst Moritz; Hermanns, Holger

2011-01-01

Continuous Stochastic Logic (CSL) can be interpreted over continuoustime Markov decision processes (CTMDPs) to specify quantitative properties of stochastic systems that allow some external control. Model checking CSL formulae over CTMDPs requires then the computation of optimal control strategie...

A Fault Tolerant Integrated Circuit Memory

OpenAIRE

Barton, Anthony Francis

1980-01-01

Most commercially produced integrated circuits are incapable of tolerating manufacturing defects. The area and function of the circuits is thus limited by the probability of faults occurring within the circuit. This thesis examines techniques for using redundancy in memory circuits to provide fault tolerance and to increase storage capacity. A hierarchical memory architecture using multiple Hamming codes is introduced and analysed to determine its resistance to manufa...

Trip electrical circuit of the gyrotion

International Nuclear Information System (INIS)

Rossi, J.O.

1987-09-01

The electron cyclotron resonance heating system of INPE/LAP is shown and the trip electrical circuit of the gyrotron is described, together with its fundamental aspects. The trip electrical circuit consists basically of a series regulator circuit which regulates the output voltage level and controls the pulse width time. Besides that, a protection circuit for both tubes, regulator and gyrotron, against faults in the system. (author) [pt

Efficient probabilistic model checking on general purpose graphic processors

NARCIS (Netherlands)

Bosnacki, D.; Edelkamp, S.; Sulewski, D.; Pasareanu, C.S.

2009-01-01

We present algorithms for parallel probabilistic model checking on general purpose graphic processing units (GPGPUs). For this purpose we exploit the fact that some of the basic algorithms for probabilistic model checking rely on matrix vector multiplication. Since this kind of linear algebraic

Implementation of Chua's circuit using simulated inductance

Science.gov (United States)

Gopakumar, K.; Premlet, B.; Gopchandran, K. G.

2011-05-01

In this study we describe how to build an inductorless version of the classic Chua's circuit. A suitable inductor for Chua's circuit is often hard to procure. The required inductor for the circuit is designed using simple circuit elements such as resistors, capacitors and operational amplifiers. The complete circuit can be implemented by using off-the-shelf components, and it can readily be integrated on a single chip. This design of Chua's circuit allows the original dynamics to be slowed down to just a few hertz, enabling implementation of sophisticated control schemes without severe time restrictions. Another novel feature of the circuit is that losses associated with capacitors due to leakages can easily be compensated by providing negative resistance using the same setup. The chaotic behaviour of the circuit is verified by PSpice and Multisim simulation and also by experimental study on a circuit breadboard. The results give excellent agreement with each other and with the results of previous investigators.

CMOS circuit design, layout and simulation

CERN Document Server

Baker, R Jacob

2010-01-01

The Third Edition of CMOS Circuit Design, Layout, and Simulation continues to cover the practical design of both analog and digital integrated circuits, offering a vital, contemporary view of a wide range of analog/digital circuit blocks including: phase-locked-loops, delta-sigma sensing circuits, voltage/current references, op-amps, the design of data converters, and much more. Regardless of one's integrated circuit (IC) design skill level, this book allows readers to experience both the theory behind, and the hands-on implementation of, complementary metal oxide semiconductor (CMOS) IC design via detailed derivations, discussions, and hundreds of design, layout, and simulation examples.

CrossCheck plagiarism screening : Experience of the Journal of Epidemiology

Science.gov (United States)

Hashimoto, Katsumi

Due to technological advances in the past two decades, researchers now have unprecedented access to a tremendous amount of useful information. However, because of the extreme pressure to publish, this abundance of information can sometimes tempt researchers to commit scientific misconduct. A serious form of such misconduct is plagiarism. Editors are always concerned about the possibility of publishing plagiarized manuscripts. The plagiarism detection tool CrossCheck allows editors to scan and analyze manuscripts effectively. The Journal of Epidemiology took part in a trial of CrossCheck, and this article discusses the concerns journal editors might have regarding the use of CrossCheck and its analysis. In addition, potential problems identified by CrossCheck, including self-plagiarism, are introduced.

Power system with an integrated lubrication circuit

Science.gov (United States)

Hoff, Brian D [East Peoria, IL; Akasam, Sivaprasad [Peoria, IL; Algrain, Marcelo C [Peoria, IL; Johnson, Kris W [Washington, IL; Lane, William H [Chillicothe, IL

2009-11-10

A power system includes an engine having a first lubrication circuit and at least one auxiliary power unit having a second lubrication circuit. The first lubrication circuit is in fluid communication with the second lubrication circuit.

Research of Driving Circuit in Coaxial Induction Coilgun

Directory of Open Access Journals (Sweden)

Yadong Zhang

2013-09-01

Full Text Available Power supply is crucial equipment in coaxial induction coil launcher.Configuration of the driving circuit influences the efficiency of the coil launcher directly.This paper gives a detailed analysis of the properties of the driving circuit construction based on the capacitor source. Three topologies of the driving circuit are compared including oscillation circuit, crowbar circuit and half-wave circuit. It is proved that which circuit has the better efficiency depends on the detailed parameters of the experiment, especially the crowbar resistance. Crowbar resistor regulates not only efficiency of the system, but also temperature rise of the coil. Electromagnetic force (EMF applied on the armature will be another question which influences service condition of the driving circuits. Oscillation circuit and crowbar circuit should apply to the asynchronous induction coil launcher and synchronous induction coil launcher, respectively. Half-wave circuit is seldom used in the experiment. Although efficiency of the half-wave circuit is very high, the speed of the armature is low. A simple independent half-wave circuit is suggested in this paper. Generally speaking, the comprehensive property of crowbar circuit is the most practical in the three typical circuits. Conclusions of the paper could provide guidelines for practice.

CAPD Software Development for Automatic Piping System Design: Checking Piping Pocket, Checking Valve Level and Flexibility

International Nuclear Information System (INIS)

Ari Satmoko; Edi Karyanta; Dedy Haryanto; Abdul Hafid; Sudarno; Kussigit Santosa; Pinitoyo, A.; Demon Handoyo

2003-01-01

One of several steps in industrial plant construction is preparing piping layout drawing. In this drawing, pipe and all other pieces such as instrumentation, equipment, structure should be modeled A software called CAPD was developed to replace and to behave as piping drafter or designer. CAPD was successfully developed by adding both subprogram CHKUPIPE and CHKMANV. The first subprogram can check and gives warning if there is piping pocket in the piping system. The second can identify valve position and then check whether valve can be handled by operator hand The main program CAPD was also successfully modified in order to be capable in limiting the maximum length of straight pipe. By limiting the length, piping flexibility can be increased. (author)

A Method for Model Checking Feature Interactions

DEFF Research Database (Denmark)

Pedersen, Thomas; Le Guilly, Thibaut; Ravn, Anders Peter

2015-01-01

This paper presents a method to check for feature interactions in a system assembled from independently developed concurrent processes as found in many reactive systems. The method combines and refines existing definitions and adds a set of activities. The activities describe how to populate the ...... the definitions with models to ensure that all interactions are captured. The method is illustrated on a home automation example with model checking as analysis tool. In particular, the modelling formalism is timed automata and the analysis uses UPPAAL to find interactions....

Hybdrid integral circuit for proportional chambers

International Nuclear Information System (INIS)

Yanik, R.; Khudy, M.; Povinets, P.; Strmen', P.; Grabachek, Z.; Feshchenko, A.A.

1978-01-01

Outlined briefly are a hybrid integrated circuit of the channel. One channel contains an input amplifier, delay circuit, and memory register on the base of the D-type flip-flop and controlled by the recording gate pulse. Provided at the output of the channel is a readout gating circuit. Presented are the flowsheet of the channel, the shaper amplifier and logical channel. At present the logical circuit was accepted for manufacture

Masking potency and whiteness of noise at various noise check sizes.

Science.gov (United States)

Kukkonen, H; Rovamo, J; Näsänen, R

1995-02-01

The masking effect of spatial noise can be increased by increasing either the rms contrast or check size of noise. In this study, the authors investigated the largest noise check size that still mimics the effect of white noise in grating detection and how it depends on the bandwidth and spatial frequency of a grating. The authors measured contrast energy thresholds, E, for vertical cosine gratings at various spatial frequencies and bandwidths. Gratings were embedded in two-dimensional spatial noise. The side length of the square noise checks was varied in the experiments. The spectral density, N(0,0), of white spatial noise at zero frequency was calculated by multiplying the noise check area by the rms contrast of noise squared. The physical signal-to-noise ratio at threshold [E/N(0,0)]0.5 was initially constant but then started to decrease. The largest noise check that still produced a constant physical signal-to-noise ratio at threshold was directly proportional to the spatial frequency. When expressed as a fraction of grating cycle, the largest noise check size depended only on stimulus bandwidth. The smallest number of noise checks per grating cycle needed to mimic the effect of white noise decreased from 4.2 to 2.6 when the number of grating cycles increased from 1 to 64. Spatial noise can be regarded as white in grating detection if there are at least four square noise checks per grating cycle at all spatial frequencies.

Intelligent Data Visualization for Cross-Checking Spacecraft System Diagnosis

Science.gov (United States)

Ong, James C.; Remolina, Emilio; Breeden, David; Stroozas, Brett A.; Mohammed, John L.

2012-01-01

Any reasoning system is fallible, so crew members and flight controllers must be able to cross-check automated diagnoses of spacecraft or habitat problems by considering alternate diagnoses and analyzing related evidence. Cross-checking improves diagnostic accuracy because people can apply information processing heuristics, pattern recognition techniques, and reasoning methods that the automated diagnostic system may not possess. Over time, cross-checking also enables crew members to become comfortable with how the diagnostic reasoning system performs, so the system can earn the crew s trust. We developed intelligent data visualization software that helps users cross-check automated diagnoses of system faults more effectively. The user interface displays scrollable arrays of timelines and time-series graphs, which are tightly integrated with an interactive, color-coded system schematic to show important spatial-temporal data patterns. Signal processing and rule-based diagnostic reasoning automatically identify alternate hypotheses and data patterns that support or rebut the original and alternate diagnoses. A color-coded matrix display summarizes the supporting or rebutting evidence for each diagnosis, and a drill-down capability enables crew members to quickly view graphs and timelines of the underlying data. This system demonstrates that modest amounts of diagnostic reasoning, combined with interactive, information-dense data visualizations, can accelerate system diagnosis and cross-checking.

Four-terminal circuit element with photonic core

Science.gov (United States)

Sampayan, Stephen

2017-08-29

A four-terminal circuit element is described that includes a photonic core inside of the circuit element that uses a wide bandgap semiconductor material that exhibits photoconductivity and allows current flow through the material in response to the light that is incident on the wide bandgap material. The four-terminal circuit element can be configured based on various hardware structures using a single piece or multiple pieces or layers of a wide bandgap semiconductor material to achieve various designed electrical properties such as high switching voltages by using the photoconductive feature beyond the breakdown voltages of semiconductor devices or circuits operated based on electrical bias or control designs. The photonic core aspect of the four-terminal circuit element provides unique features that enable versatile circuit applications to either replace the semiconductor transistor-based circuit elements or semiconductor diode-based circuit elements.

Simulation Analysis of DC and Switching Impulse Superposition Circuit

Science.gov (United States)

Zhang, Chenmeng; Xie, Shijun; Zhang, Yu; Mao, Yuxiang

2018-03-01

Surge capacitors running between the natural bus and the ground are affected by DC and impulse superposition voltage during operation in the converter station. This paper analyses the simulation aging circuit of surge capacitors by PSCAD electromagnetic transient simulation software. This paper also analyses the effect of the DC voltage to the waveform of the impulse voltage generation. The effect of coupling capacitor to the test voltage waveform is also studied. Testing results prove that the DC voltage has little effect on the waveform of the output of the surge voltage generator, and the value of the coupling capacitor has little effect on the voltage waveform of the sample. Simulation results show that surge capacitor DC and impulse superimposed aging test is feasible.

High Q-factor tunable superconducting HF circuit

CERN Document Server

Vopilkin, E A; Pavlov, S A; Ponomarev, L I; Ganitsev, A Y; Zhukov, A S; Vladimirov, V V; Letyago, A G; Parshikov, V V

2001-01-01

Feasibility of constructing a high Q-factor (Q approx 10 sup 5) mechanically tunable in a wide range of frequencies (12-63 MHz) vibration circuit of HF range was considered. The tunable circuit integrates two single circuits made using YBaCuO films. The circuit frequency is tuned by changing distance X (capacity) between substrates. Potentiality of using substrates of lanthanum aluminate, neodymium gallate and strontium titanate for manufacture of single circuits was considered. Q-factor of the circuit amounted to 68000 at resonance frequency of 6.88 MHz

High Q-factor tunable superconducting HF circuit

International Nuclear Information System (INIS)

Vopilkin, E.A.; Parafin, A.E.; Pavlov, S.A.; Ponomarev, L.I.; Ganitsev, A.Yu.; Zhukov, A.S.; Vladimirov, V.V.; Letyago, A.G.; Parshikov, V.V.

2001-01-01

Feasibility of constructing a high Q-factor (Q ∼ 10 5 ) mechanically tunable in a wide range of frequencies (12-63 MHz) vibration circuit of HF range was considered. The tunable circuit integrates two single circuits made using YBaCuO films. The circuit frequency is tuned by changing distance X (capacity) between substrates. Potentiality of using substrates of lanthanum aluminate, neodymium gallate and strontium titanate for manufacture of single circuits was considered. Q-factor of the circuit amounted to 68000 at resonance frequency of 6.88 MHz [ru

Superconducting push-pull flux quantum logic circuits

International Nuclear Information System (INIS)

Murphy, J.H.; Daniel, M.R.; Przybysz, J.X.

1993-01-01

A superconducting digital logic circuit is described comprising: a first circuit branch including first and second Josephson junctions electrically connected in series with each other; means for applying a positive bias voltage to a first end of said circuit branch; means for applying a negative bias voltage to a second end of said circuit branch; means for applying a first dual polarity input voltage signal to a first node in said circuit branch; and means for extracting a first output voltage signal from said first node in said circuit branch

Study of check image using computed radiography

International Nuclear Information System (INIS)

Sato, Hiroshi

2002-01-01

There are two image forming methods both a check image and a portal image in the linacogram. It has been established the image forming method in the check image using computed radiography (CR). On the other hand, it is not established the image forming method in the portal image using CR yet. Usually, in the electric portal imaging device (EPID) is mainly used just before radiotherapy start. The usefulness of the portal image forming method by CR using in place of EPID is possible to confirm the precision for determining to specific position at the irradiate part and to the irradiate method for the human organs. There are some technical problems that, since in the early time, the linac graphy (LG) image have low resolution power. In order to improve to the resolution power in LG image, CR image technologies have been introduced to the check image forming method. Heavy metallic sheet (HMS) is used to the front side of CR-IP cassette, and high contactness sponge is used to the back side of the cassette. Improved contactness between HMS and imaging plate (IP) by means of the high contactness sponge contributed to improve the resolution power in the check images. A lot of paper which is connected with these information have been reported. Imaging plate ST-III should be used to maintain high sensitivity in the check film image forming method. The same image forming method in the check image established by CR has been introduced into the portal image forming method in order to improve the resolution power. However, as a result, it couldn't acquired high resolution image forming in the portal images because of the combination of ST-III and radiotherapy dose. After several trials, it has been recognized that HR-V imaging plate for mammography is the most useful application to maintain high resolution power in the portal images. Also, it is possible to modify the image quality by changing GS parameter which is one of image processing parameters in CR. Furthermore, in case

Model checking biological systems described using ambient calculus

DEFF Research Database (Denmark)

Mardare, Radu Iulian; Priami, Corrado; Qualia, Paola

2005-01-01

Model checking biological systems described using ambient calculus. In Proc. of the second International Workshop on Computational Methods in Systems Biology (CMSB04), Lecture Notes in Bioinformatics 3082:85-103, Springer, 2005.......Model checking biological systems described using ambient calculus. In Proc. of the second International Workshop on Computational Methods in Systems Biology (CMSB04), Lecture Notes in Bioinformatics 3082:85-103, Springer, 2005....

Model Checking the Remote Agent Planner

Science.gov (United States)

Khatib, Lina; Muscettola, Nicola; Havelund, Klaus; Norvig, Peter (Technical Monitor)

2001-01-01

This work tackles the problem of using Model Checking for the purpose of verifying the HSTS (Scheduling Testbed System) planning system. HSTS is the planner and scheduler of the remote agent autonomous control system deployed in Deep Space One (DS1). Model Checking allows for the verification of domain models as well as planning entries. We have chosen the real-time model checker UPPAAL for this work. We start by motivating our work in the introduction. Then we give a brief description of HSTS and UPPAAL. After that, we give a sketch for the mapping of HSTS models into UPPAAL and we present samples of plan model properties one may want to verify.

Short-circuit impedance measurement

DEFF Research Database (Denmark)

Pedersen, Knud Ole Helgesen; Nielsen, Arne Hejde; Poulsen, Niels Kjølstad

2003-01-01

Methods for estimating the short-circuit impedance in the power grid are investigated for various voltage levels and situations. The short-circuit impedance is measured, preferably from naturally occurring load changes in the grid, and it is shown that such a measurement system faces different...

Simple nonparametric checks for model data fit in CAT

NARCIS (Netherlands)

Meijer, R.R.

2005-01-01

In this paper, the usefulness of several nonparametric checks is discussed in a computerized adaptive testing (CAT) context. Although there is no tradition of nonparametric scalability in CAT, it can be argued that scalability checks can be useful to investigate, for example, the quality of item

Dynamic State Space Partitioning for External Memory Model Checking

DEFF Research Database (Denmark)

Evangelista, Sami; Kristensen, Lars Michael

2009-01-01

We describe a dynamic partitioning scheme usable by model checking techniques that divide the state space into partitions, such as most external memory and distributed model checking algorithms. The goal of the scheme is to reduce the number of transitions that link states belonging to different...

Creating Büchi automata for multi-valued model checking

NARCIS (Netherlands)

Vijzelaar, Stefan J.J.; Fokkink, Wan J.

2017-01-01

In explicit state model checking of linear temporal logic properties, a Büchi automaton encodes a temporal property. It interleaves with a Kripke model to form a state space, which is searched for counterexamples. Multi-valued model checking considers additional truth values beyond the Boolean true

Radiation-sensitive switching circuits

Energy Technology Data Exchange (ETDEWEB)

Moore, J.H.; Cockshott, C.P.

1976-03-16

A radiation-sensitive switching circuit includes a light emitting diode which from time to time illuminates a photo-transistor, the photo-transistor serving when its output reaches a predetermined value to operate a trigger circuit. In order to allow for aging of the components, the current flow through the diode is increased when the output from the transistor falls below a known level. Conveniently, this is achieved by having a transistor in parallel with the diode, and turning the transistor off when the output from the phototransistor becomes too low. The circuit is designed to control the ignition system in an automobile engine.

What's new about generator circuit breakers

International Nuclear Information System (INIS)

Kolarik, P.L.

1979-01-01

The need for updating ANSI C37 Standards for AC high-voltage circuit breakers has become necessary because of the increased interest in power circuit breakers for generator application. These circuit breakers, which have continuous current ratings and rated short-circuit currents that are much higher than those presently covered by existing C37 Standards, take on added importance because they are being installed in critical AC power supplies at nuclear power stations

High repetition rate driver circuit for modulation of injection lasers

International Nuclear Information System (INIS)

Dornan, B.R.; Goel, J.; Wolkstein, H.J.

1981-01-01

An injection laser modulator comprises a self-biased field effect transistor (FET) and an injection laser to provide a quiescent state during which lasing of the injection laser occurs in response to a high repetition rate signal of pulse coded modulation (pcm). The modulator is d.c. coupled to an input pulse source of pcm rendering it compatible with an input pulse referenced to ground and not being subject to voltage level shifting of the input pulse. The modulator circuit in its preferred and alternate embodiments provides various arrangements for high impedance input and low impedance output matching. In addition, means are provided for adjusting the bias of the FET as well as the bias of the injection laser

49 CFR 236.786 - Principle, closed circuit.

Science.gov (United States)

2010-10-01

... 49 Transportation 4 2010-10-01 2010-10-01 false Principle, closed circuit. 236.786 Section 236.786 Transportation Other Regulations Relating to Transportation (Continued) FEDERAL RAILROAD ADMINISTRATION... Principle, closed circuit. The principle of circuit design where a normally energized electric circuit which...

Acoustic emission testing of piston check valves

International Nuclear Information System (INIS)

Stewart, D.L.

1994-01-01

Based on test experience at Comanche Peak Unit 1, an acoustic emission data evaluation matrix for piston check valves has been developed. The degradations represented in this matrix were selected based on Edwards piston check valve failure data reported in the Nuclear Plant Reliability Data System. Evidence to support this matrix was collected from site test data on a variety of valve types. Although still under refinement, the matrix provides three major attributes for closure verification, which have proven useful in developing test procedures for inservice testing and preventing unnecessary disassembly

Symbolic Dependency Graphs for PCTL Model-Checking

DEFF Research Database (Denmark)

Mariegaard, Anders; Larsen, Kim Guldstrand

2017-01-01

We consider the problem of model-checking a subset of probabilistic CTL, interpreted over (discrete-time) Markov reward models, allowing the specification of lower bounds on the probability of the set of paths satisfying a cost-bounded path formula. We first consider a reduction to fixed-point co......We consider the problem of model-checking a subset of probabilistic CTL, interpreted over (discrete-time) Markov reward models, allowing the specification of lower bounds on the probability of the set of paths satisfying a cost-bounded path formula. We first consider a reduction to fixed...

INTEGRATED SENSOR EVALUATION CIRCUIT AND METHOD FOR OPERATING SAID CIRCUIT

OpenAIRE

Krüger, Jens; Gausa, Dominik

2015-01-01

WO15090426A1 Sensor evaluation device and method for operating said device Integrated sensor evaluation circuit for evaluating a sensor signal (14) received from a sensor (12), having a first connection (28a) for connection to the sensor and a second connection (28b) for connection to the sensor. The integrated sensor evaluation circuit comprises a configuration data memory (16) for storing configuration data which describe signal properties of a plurality of sensor control signals (26a-c). T...

Circuit card failures and industry mitigation strategy

Energy Technology Data Exchange (ETDEWEB)

Mondal, U. [Candu Owners Group, Toronto, Ontario (Canada)

2012-07-01

In recent years the nuclear industry has experienced an increase in circuit card failures due to ageing of components, inadequate Preventive Maintenance (PM), lack of effective circuit card health monitoring, etc. Circuit card failures have caused loss of critical equipment, e.g., electro hydraulic governors, Safety Systems, resulting in loss of function and in some cases loss of generation. INPO completed a root cause analysis of 40 Reactor Trips/Scrams in US reactors and has recommended several actions to mitigate Circuit Card failures. Obsolescence of discrete components has posed many challenges in conducting effective preventative maintenance on circuit cards. In many cases, repairs have resulted in installation of components that compromise performance of the circuit cards. Improper termination and worn edge connectors have caused intermittent contacts contributing to circuit card failures. Traditionally, little attention is paid to relay functions and preventative maintenance of relay. Relays contribute significantly to circuit card failures and have dominated loss of generation across the power industry. The INPO study recommended a number of actions to mitigate circuit card failures, such as; identification of critical components and single point vulnerabilities; strategic preventative maintenance; protection of circuit boards against electrostatic discharge; limiting power cycles; performing an effective burn-in prior to commissioning of the circuit cards; monitoring performance of DC power supplies; limiting cabinet temperatures; managing of component aging/degradation mechanism, etc. A subcommittee has been set up under INPO sponsorship to understand the causes of circuit card failure and to develop an effective mitigation strategy. (author)

Checking in: An Analysis of the (Lack of) Body Checking in Women's Ice Hockey

Science.gov (United States)

Weaving, Charlene; Roberts, Samuel

2012-01-01

Despite the growing popularity of women's ice hockey in North America, players continue to face limitations because of the prohibition of body checking. In this paper, we argue from a liberal feminist philosophical perspective that this prohibition reinforces existing traditional stereotypes of female athletes. Because the women's game does not…

Current-mode minimax circuit

NARCIS (Netherlands)

Wassenaar, R.F.

1992-01-01

The minimum-maximum (minimax) circuit selects the minimum and maximum of two input currents. Four transistors in matched pairs are operated in the saturation region. Because the behavior of the circuit is based on matched devices and is independent of the relationship between the drain current and

16 CFR 240.12 - Checking customer's use of payments.

Science.gov (United States)

2010-01-01

... 16 Commercial Practices 1 2010-01-01 2010-01-01 false Checking customer's use of payments. 240.12 Section 240.12 Commercial Practices FEDERAL TRADE COMMISSION GUIDES AND TRADE PRACTICE RULES GUIDES FOR ADVERTISING ALLOWANCES AND OTHER MERCHANDISING PAYMENTS AND SERVICES § 240.12 Checking customer's use of...

Regular Check-Ups Are Important

Science.gov (United States)

... Attack Wear Red for Heart Health Tools for Pregnant Women, New Moms, Women Considering Pregnancy Be a Healthy ... your community (i.e. a faith-based setting, workplace, school, or civic group) ... screening on National Women’s Check-Up Day (the day after Mother’s Day ...

Checking behavioral conformance of artifacts

NARCIS (Netherlands)

Fahland, D.; Leoni, de M.; Dongen, van B.F.; Aalst, van der W.M.P.

2011-01-01

The usefulness of process models (e.g., for analysis, improvement, or execution) strongly depends on their ability to describe reality. Conformance checking is a technique to validate how good a given process model describes recorded executions of the actual process. Recently, artifacts have been

Progress realized by numerized Eddy current checking-chains

International Nuclear Information System (INIS)

Guerin, F.; Blanchet, A.

1985-01-01

Until the last ten years , the tubes of the Steam Generators of the Nuclear Stations were inspected by means of Eddy Current with analogical checkings-chains. HBS Company has perfected a numerized checking-chain allowing transmission up to 300 m of the E.C. signals. In a near future, it will be then possible to do periodical inspections of Steam Generators from cabins located out of the reactor building [fr

Spectral Purity Enhancement via Polyphase Multipath Circuits

NARCIS (Netherlands)

Mensink, E.; Klumperink, Eric A.M.; Nauta, Bram

2004-01-01

The central question of this paper is: can we enhance the spectral purity of nonlinear circuits by using polyphase multipath circuits? The basic idea behind polyphase multipath circuits is to split the nonlinear circuits into two or more paths and exploit phase differences between these paths to

Electromagnetic Pulse Excitation of Finite-Long Dissipative Conductors over a Conducting Ground Plane in the Time Domain

Energy Technology Data Exchange (ETDEWEB)

Campione, Salvatore [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Warne, Larry K. [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Schiek, Richard [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Basilio, Lorena I. [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)

2017-09-01

This report details the modeling results for the response of a finite-length dissipative conductor interacting with a conducting ground to a hypothetical nuclear device with the same output energy spectrum as the Fat Man device. We use a time-domain method based on transmission line theory that allows accounting for time-varying air conductivities. We implemented such method in a code we call ATLOG - Analytic Transmission Line Over Ground. Results are compared the frequency-domain version of ATLOG previously developed and to the circuit simulator Xyce in some instances. Intentionally Left Blank

IMPORTANT NOTICE: Cancellation of shuttle Circuit 3

CERN Multimedia

2013-01-01

Circuit 3 of the CERN Shuttle Service (Point 5), which has served CMS since the start of LS1, will be cancelled with effect from Tuesday 16 April. This decision has been taken in consultation with CMS, as the circuit was seldom used.   In response to increasing demand for Circuit 1 - Meyrin and feedback from passengers, the two Circuit 3 journeys will be switched to Circuit 1 – Meyrin (see new timetable below): Mornings: Four journeys instead of three. Circuit 1 now starts at 8:10 (instead of 8:19 a.m.) and runs until 9:27 a.m. (instead of 9:16 a.m.). Lunchtimes: Five journeys in place between 12:10 p.m. and 1:47 p.m. Evenings: Circuit starts at 5:23 p.m. (instead of 5:03 p.m.) and ends at 6:20 p.m. at Building 33. Please note that the circuit will depart from Building 13 instead of Building 33.  

Developing a Domain Model for Relay Circuits

DEFF Research Database (Denmark)

Haxthausen, Anne Elisabeth

2009-01-01

In this paper we stepwise develop a domain model for relay circuits as used in railway control systems. First we provide an abstract, property-oriented model of networks consisting of components that can be glued together with connectors. This model is strongly inspired by a network model...... for railways madeby Bjørner et.al., however our model is more general: the components can be of any kind and can later be refined to e.g. railway components or circuit components. Then we show how the abstract network model can be refined into an explicit model for relay circuits. The circuit model describes...... the statics as well as the dynamics of relay circuits, i.e. how a relay circuit can be composed legally from electrical components as well as how the components may change state over time. Finally the circuit model is transformed into an executable model, and we show how a concrete circuit can be defined...

Notes on basis band-pass circuits; Notes sur les circuits de base passe-bande

Energy Technology Data Exchange (ETDEWEB)

Ailloud, J [Commissariat a l' Energie Atomique, Saclay (France). Centre d' Etudes Nucleaires

1959-07-01

Resistor load amplifier stages, basic band-pass RC networks, conventional single-tuned circuits, have the same transfer function. Common properties and differences because diverse magnitude of parameters with proposed problems are exposed. Next the case of several cascaded stages (or networks) is examined when there is no reaction ones to another. (author) [French] Les etages amplificateurs a resistances, les circuits passe-bande RC elementaires, le circuit resonnant classique possedent la meme fonction de transfert. On fait ressortir les proprietes communes et les differences de comportement dues aux ordres de grandeur qu'il est possible de donner aux parametres en fonction des problemes a resoudre. On examine ensuite le cas de plusieurs etages (ou de plusieurs circuits) en cascade lorsqu'ils ne reagissent pas les uns sur les autres. (auteur)

A novel cognitive intervention for compulsive checking: Targeting maladaptive beliefs about memory.

Science.gov (United States)

Alcolado, Gillian M; Radomsky, Adam S

2016-12-01

Compulsive checking is one of the most common symptoms of obsessive-compulsive disorder (OCD). Recently it has been proposed that those who check compulsively may believe their memory is poor, rather than having an actual memory impairment. The current study sought to develop and assess a brief cognitive intervention focused on improving maladaptive beliefs about memory, as they pertain to both checking symptoms and memory performance. Participants (N = 24) with a diagnosis of OCD and clinical levels of checking symptomatology were randomly assigned either to receive two weekly 1-hour therapy sessions or to self-monitor during a similar waitlist period. Time spent checking, checking symptoms, maladaptive beliefs about memory, and visuospatial memory were assessed both pre- and post-treatment/waitlist. Results showed that compared to the waitlist condition, individuals in the treatment condition displayed significant decreases in their maladaptive beliefs about memory and checking symptoms from pre- to post-intervention. They also exhibited increased recall performance on a measure of visuospatial memory. Changes in beliefs about memory were predictors of reduced post-intervention checking, but were not predictive of increased post-intervention memory scores. The lack of long term follow-up data and use of a waitlist control leave questions about the stability and specificity of the intervention. Findings provide preliminary evidence that strategies targeting beliefs about memory may be worthy of inclusion in cognitive-behavioural approaches to treating compulsive checking. Copyright © 2015 Elsevier Ltd. All rights reserved.

[Factors Associated with Stress Check Attendance: Possible Effect of Timing of Annual Health Examination].

Science.gov (United States)

Ishimaru, Tomohiro; Hattori, Michihiro; Nagata, Masako; Kuwahara, Keisuke; Watanabe, Seiji; Mori, Koji

2018-01-01

The stress check program has been part of annual employees' health screening since 2015. Employees are recommended, but not obliged, to undergo the stress check offered. This study was designed to examine the factors associated with stress check attendance. A total of 31,156 Japanese employees who underwent an annual health examination and a stress check service at an Occupational Health Service Center in 2016 participated in this study. Data from the annual health examination and stress check service included stress check attendance, date of attendance (if implemented), gender, age, workplace industry, number of employees at the workplace, and tobacco and alcohol consumption. Data were analyzed using multiple logistic regression. The mean rate of stress check attendance was 90.8%. A higher rate of stress check attendance was associated with a lower duration from the annual health examination, age ≥30 years, construction and transport industry, and 50-999 employees at the workplace. A lower rate of stress check attendance was associated with medical and welfare industry and ≥1,000 employees at the workplace. These findings provide insights into developing strategies for improving the rate of stress check attendance. In particular, stress check attendance may improve if the stress check service and annual health examination are conducted simultaneously.

Development of a butterfly check valve model under natural circulation conditions

International Nuclear Information System (INIS)

Rao, Yuxian; Yu, Lei; Fu, Shengwei; Zhang, Fan

2015-01-01

Highlights: • Bases on Lim’s swing check valve model, a butterfly check valve model was developed. • The method to quantify the friction torque T F in Li’s model was corrected. • The developed model was implemented into the RELAP5 code and verified. - Abstract: A butterfly check valve is widely used to prevent a reverse flow in the pipe lines of a marine nuclear power plant. Under some conditions, the natural circulation conditions in particular, the fluid velocity through the butterfly check valve might become too low to hold the valve disk fully open, thereby the flow resistance of the butterfly check valve varies with the location of the valve disk and as a result the fluid flow is significantly affected by the dynamic motion of the valve disk. Simulation of a pipe line that includes some butterfly check valves, especially under natural circulation conditions, is thus complicated. This paper focuses on the development of a butterfly check valve model to enhance the capability of the thermal–hydraulic system code and the developed model is implemented into the RELAP5 code. Both steady-state calculations and transient calculations were carried out for the primary loop system of a marine nuclear power plant and the calculation results are compared with the experimental data for verification purpose. The simulation results show an agreement with the experimental data

First Results of a Tandem Terrestrial-Unmanned Aerial mapKITE System with Kinematic Ground Control Points for Corridor Mapping

Directory of Open Access Journals (Sweden)

Pere Molina

2017-01-01

Full Text Available In this article, we report about the first results of the mapKITE system, a tandem terrestrial-aerial concept for geodata acquisition and processing, obtained in corridor mapping missions. The system combines an Unmanned Aerial System (UAS and a Terrestrial Mobile Mapping System (TMMS operated in a singular way: real-time waypoints are computed from the TMMS platform and sent to the UAS in a follow-me scheme. This approach leads to a simultaneous acquisition of aerial-plus-ground geodata and, moreover, opens the door to an advanced post-processing approach for sensor orientation. The current contribution focuses on analysing the impact of the new, dynamic Kinematic Ground Control Points (KGCPs, which arise inherently from the mapKITE paradigm, as an alternative to conventional, costly Ground Control Points (GCPs. In the frame of a mapKITE campaign carried out in June 2016, we present results entailing sensor orientation and calibration accuracy assessment through ground check points, and precision and correlation analysis of self-calibration parameters’ estimation. Conclusions indicate that the mapKITE concept eliminates the need for GCPs when using only KGCPs plus a couple of GCPs at each corridor end, achieving check point horizontal accuracy of μ E , N ≈ 1.7 px (3.4 cm and μ h ≈ 4.3 px (8.6 cm. Since obtained from a simplified version of the system, these preliminary results are encouraging from a future perspective.

Discrete-time rewards model-checked

NARCIS (Netherlands)

Larsen, K.G.; Andova, S.; Niebert, Peter; Hermanns, H.; Katoen, Joost P.

2003-01-01

This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with reward constraints. This allows to formulate complex measures – involving expected as well as accumulated rewards – in a precise and

Circuit for correlation spectroscopy of nuclear magnetic resonance

International Nuclear Information System (INIS)

Halamek, J.; Panek, P.

1985-01-01

The connection consists of a control circuit connected to a generator with two outputs. The first output is connected to the first keying circuit while the second output is connected to a transmitter. The transmitter output is connected via the second keying circuit, the spectrometer probe and the receiver with a mixer connected to the first keying circuit. The second keying circuit is connected via a keying control circuit to the control circuit. The resulting low-frequency signal represents the mixer output. (E.S.)

Schedulability of Herschel revisited using statistical model checking

DEFF Research Database (Denmark)

David, Alexandre; Larsen, Kim Guldstrand; Legay, Axel

2015-01-01

-approximation technique. We can safely conclude that the system is schedulable for varying values of BCET. For the cases where deadlines are violated, we use polyhedra to try to confirm the witnesses. Our alternative method to confirm non-schedulability uses statistical model-checking (SMC) to generate counter...... and blocking times of tasks. Consequently, the method may falsely declare deadline violations that will never occur during execution. This paper is a continuation of previous work of the authors in applying extended timed automata model checking (using the tool UPPAAL) to obtain more exact schedulability...... analysis, here in the presence of non-deterministic computation times of tasks given by intervals [BCET,WCET]. Computation intervals with preemptive schedulers make the schedulability analysis of the resulting task model undecidable. Our contribution is to propose a combination of model checking techniques...

Principles of transistor circuits introduction to the design of amplifiers, receivers and digital circuits

CERN Document Server

Amos, S W

2013-01-01

Principles of Transistor Circuits: Sixth Edition discusses the principles, concepts, and practices involved integrated circuits. The current edition includes up-to-date circuits, the section on thyristors has been revised to give more information on modern types, and dated information has been eliminated. The book covers related topics such as semiconductors and junction diodes; the principles behind transistors; and common amplifiers. The book also covers bias and DC stabilization; large-signal and small-signal AF amplifiers; DC and pulse amplifiers; sinusoidal oscillators; pulse and sawtooth

Remote preenrollment checking of consent forms to reduce nonconformity.

Science.gov (United States)

Journot, Valérie; Pérusat-Villetorte, Sophie; Bouyssou, Caroline; Couffin-Cadiergues, Sandrine; Tall, Aminata; Chêne, Geneviève

2013-01-01

In biomedical research, the signed consent form must be checked for compliance with regulatory requirements. Checking usually is performed on site, most frequently after a participant's final enrollment. We piloted a procedure for remote preenrollment consent forms checking. We applied it in five trials and assessed its efficiency to reduce form nonconformity before participant enrollment. Our clinical trials unit (CTU) routinely uses a consent form with an additional copy that contains a pattern that partially masks the participant's name and signature. After completion and signatures by the participant and investigator, this masked copy is faxed to the CTU for checking. In case of detected nonconformity, the CTU suspends the participant's enrollment until the form is brought into compliance. We checked nonconformities of consent forms both remotely before enrollment and on site in five trials conducted in our CTU. We tabulated the number and nature of nonconformities by location of detection: at the CTU or on site. We used these data for a pseudo before-and-after analysis and estimated the efficiency of this remote checking procedure in terms of reduction of nonconformities before enrollment as compared to the standard on-site checking procedure. We searched for nonconformity determinants among characteristics of trials, consent forms, investigator sites, and participants through multivariate logistic regression so as to identify opportunities for improvement in our procedure. Five trials, starting sequentially but running concurrently, with remote preenrollment and on-site checking of consent forms from 415 participants screened in 2006-2009 led to 518 consent forms checked; 94 nonconformities were detected in 75 forms, 75 (80%) remotely and 19 more (20%) on site. Nonconformities infrequently concerned dates of signatures (7%) and information about participants (12%). Most nonconformities dealt with investigator information (76%), primarily contact information

A Design of a Terahertz Microstrip Bandstop Filter with Defected Ground Structure

Directory of Open Access Journals (Sweden)

Arjun Kumar

2013-01-01

Full Text Available A planar microstrip terahertz (THz bandstop filter has been proposed with defected ground structure with high insertion loss (S21 in a stopband of −25.8 dB at 1.436 THz. The parameters of the circuit model have been extracted from the EM simulation results. A dielectric substrate of Benzocyclobutene (BCB is used to realize a compact bandstop filter using modified hexagonal dumbbell-shape defected ground structure (DB-DGS. In this paper, a defected ground structure topology is used in a λ/4, 50 Ω microstrip line at THz frequency range for compactness. No article has been reported on the microstrip line at terahertz frequency regime using DGS topology. The proposed filter can be used for sensing and detection in biomedical instruments in DNA testing. All the simulations/cosimulations are carried out using a full-wave EM simulator CST V.9 Microwave Studio, HFSS V.10, and Agilent Design Suite (ADS.