Automated derivation of time bounds in uniprocessor concurrentsystems

The successful development of complex real-time systems depends on analysis techniques that can accurately assess the timing properties of those systems. This paper describes a technique for deriving upper and lower bounds on the time that can elapse between two given events in an execution of a concurrent software system running on a single processor under arbitrary scheduling. The technique involves generating linear inequalities expressing conditions that must be satisfied by all executions of such a system and using integer programming methods to find appropriate solutions to the inequalities. The technique does not require construction of the state space of the system and its feasibility has been demonstrated by using an extended version of the constrained expression toolset to analyze the timing properties of some concurrent systems with very large state spaces     

Invasiveness of LiTaO/sub 3/ and GaAs probes in external E-O sampling

Disturbances of signals on a coplanar waveguide (CPW) induced by the presence of LiTaO/sub 3/ and GaAs electrooptic probes in external electrooptic (EO) sampling have been simulated and compared quantitatively. The finite-difference-time-domain method is used to simulate the full wave field around a coplanar waveguide on a GaAs substrate in an external EO sampling configuration. The results indicate that the induced signal disturbance, or invasiveness, of a LiTaO/sub 3/ probe is almost ten times that of a GaAs probe in terms of the magnitude of S/sub 11/, but that LiTaO/sub 3/ yields about two times the EO response for a given S/sub 11/ and optical probing wavelength. The transparency of LiTaO/sub 3/ to shorter wavelengths, however, allows an even higher sensitivity for this material relative to GaAs. The results suggest that these probes do not exhibit significant invasiveness (magnitude of S/sub 11/ smaller than -40 dB), if they are removed from contact by the distance of CPWs center conductor width.<>     

Multiregional estimation of gross internal migration flows

"A multiregional model of gross internal migration flows is presented in this article. The interdependence of economic factors across all regions is recognized by imposing a non-stochastic adding-up constraint that requires total inmigration to equal total outmigration in each time period. An iterated system estimation technique is used to obtain asymptotically consistent and efficient parameter estimates. The model is estimated for gross migration flows among the Canadian provinces over the period 1962-86 and then is used to examine the likelihood of a wash-out effect in net migration models. The results indicate that previous approaches that use net migration equations may not always be empirically justified."     

Updated Characteristics of Torrential Pools

Power Technology and Engineering - Advanced methods for determining the hydrological and geomorphological characteristics of torrential pools, which are important for the design of reliable and...     

Differentiation of hydroxyproline isomers and isobars in peptides by tandem mass spectrometry

The isomeric 3- and 4-hydroxyprolines are isobaric with the isomers leucine and isoleucine, and all four have, therefore, the same "residue mass" of 113. Secondary fragmentation processes were found that differentiate the hydroxyproline isomers from each other and from the leucines. Variants of synthetic bradykinin containing one or two hydroxyproline moieties were prepared by using manual Edman degradation and/or enzymatic methods. The tandem mass spectra of these peptides were recorded. The C-terminal wn fragment ions allow the differentiation of 4-hydroxyproline from the 3-isomer and isoleucine, while the N-terminal an ions containing 4-hydroxyproline undergo H2O elimination to differentiate this amino acid from the 3-isomer and leucine. Lys-C digestion of a mussel adhesive protein produced a set of decapeptides varying in the degree of hydroxylation of proline and tyrosine. Heterogeneity with respect to 3-hydroxyproline and 4-hydroxyproline at a certain position in these peptides was assessed by tandem mass spectrometry based on the wn ion series in the CID spectra of these Lys-C peptides. Some N-terminal ions further allow for the differentiation of these two isomeric species.     

Pulse chemical vapour infiltration of SiC in porous carbon or SiC participate preform using an r.f. heating system

SiC was infiltrated into a porous carbon or an SiC particulate preform from a gaseous system of 6% CH₃SiCl₃-H₂ using a pulse chemical vapour infiltration apparatus and r.f. heating at 1273 to 1423 K. At 1273 K, the SiC matrix infiltrated the porous carbon initially to half the thickness of the substrate and finally over the full thickness. After 10000 pulses, three-point flexural strength saturated at about 120MPa. SiC particulate preform made from an average particle size of 4m was infiltrated by SiC. After 30000 pulses at 1273 K, the flexural strength of the composite increased to 200 to 220 M Pa.     

Hot corrosion ofα-SiC ceramics by V2O5 melt

The corrosion behaviour of-SiC in V₂O₅ melt has been investigated at elevated temperatures. The corrosion products on the surface of the specimen are removed using HF. The morphologies are also examined. From the observations of bubble formation in the scale and the temperature dependence of the corrosion rate, a kinetic mechanism is proposed. Based on the consistency of the plotted data with the proposed equation and high values of surface reaction rate constant, a diffusion controlling process has been developed.     

Kaolinite-mullite reaction series: a TEM study

The kaolinite-mullite reaction series in single crystal kaolinite has been characterized by transmission electron microscopy. The exotherm observed at 980° C is attributed to the formation of a spinel phase. Mullite crystallites have also been observed with the spinel phase and both phases have a composition near that of 32 mullite. Subsequent heat treatment leads to the growth of mullite crystallites on the original kaolinite plates with the c-axis perpendicular to the plate.     

Computed tomographic imaging of the coronary arterial tree-use of local tomography

It has been demonstrated previously (see E.L. Ritman and A.A. Bove, in State of the Art in Quantitative Coronary Arteriography, p.67-78, 1986) that coronary artery anatomy can be visualized using high-speed, volume-scanning X-ray CT (computed tomography). In the current study it is demonstrated that local image reconstruction (i.e. the reconstruction kernel is ~2(+) mm long), as distinct from more conventional global image reconstruction (i.e. 200(+) mm kernel length), has the advantage of reducing the need for operator interactive image processing. In addition, the local reconstruction algorithm eliminates the need for recording the X-ray projection data over the full transaxial extent of the thorax because it requires only the X-ray attenuation data over the region of the heart. This latter aspect reduces the dynamic range requirements for the sensors and could reduce total X-ray exposure.