This paper applies and reenes the ProCoS approach to trans-formational design of real-time systems to a benchmark case study, the Karlsruhe production cell 10, 9]. We start by formalizing the informal requirements of 10, 9] in Duration Calculus and end with a distributed controller architecture where all components are speciied in the program speciication language SL time 18]. Novel is the full...

The effects of short-term administration of verapamil on left ventricular isovolumetric relaxation and early and late diastolic filling dynamics were studied in 10 patients with hypertrophic cardiomyopathy by a combined hemodynamic-ultrasonic technique. Left ventricular pressures (recorded with high-fidelity micromanometers) were determined simultaneously with M mode echocardiography. After 10 ...

Reproductive capacity of irradiated female mice is highly significantly strain dependent1. The num­ bers of offspring per female (after exposure to 50 R) are expressed as percentages of comparable unirra­ diated control groups and are as follows for the various strains: SEC (15%), A (18%), SEA (19%), NB (32%), and DBA (56%). The radiation-resistant DBA’s produced twice as many offspring per fem...

BACKGROUND A preanesthetic visit can increase a patient's satisfaction. However, it is uncertain whether a preanesthetic visit by an anesthesiology resident can achieve the goal. We studied the time distribution for content of preanesthetic interviews (PI) and evaluated the patient's satisfaction with the PI. METHODS We recorded the PI duration of 200 patients by a voice recorder. The degrees...

Approximately 50% of total harvested cereal grains are lost during the post-harvest handling and storage, insects main cause for both quantity (reductions in weight) quality. In present study effect microwave radiation was studied on one stored product pest, flour beetle Tribolium castaneum (Hersbt). Adult were obtained from infested products at stores specialized selling Sakaka. Insects with i...

Purpose. The work is aimed at the development of principles for construction multi-valued automatic cab signalling system (ACS) using wide-band pseudorandom signals. Methodology. An analysis existing ACS systems and modern telecommunication technologies has been performed to achieve stated purpose. CDMA-ACS proposed. mentioned utilizes pseudo-noise signals transmit commands. System parameters: ...

The duration of action potentials from single nodes of Ranvier can be increased by several methods. Extraction of water from the node (e.g. by 2 to 3 M glycerin) causes increased durations up to 1000 msec. 1 to 5 min. after application of the glycerin the duration of the action potential again decreases to the normal value. Another type of prolonged action potential can be observed in solutions...

The 1999 Chi-Chi earthquake (MW 7.6) (20 September 1999, 17:47:15.9 UTC) (located at 23.853 N, 120.816 E, and depth of 7.5 km) inflicted severe regional scale damage to Taiwan. The strong-motion wavefield was captured by a dense network of stations (with average station spacing of 5 km), which represents the most complete strong-motion dataset to date to use to study the kinematic source proces...

We trained three groups of rats, young (Y; 3 months at the start of study), middle aged (MA; 15 months), and aged (AG; 22 months), in the serial five-choice serial reaction time task, a test of attention. There were clear age-related differences in task acquisition: Y acquired the task quicker than MA rats, which learned faster than AG rats. A subgroup of AG rats [AG(I)] could not reach criteri...