TIC: A timed calculus

TIC is a timed algebraic calculus which combines ideas from asynchronous and synchronous calculi. Time is introduced by assigning explicit time restrictions to the events of an asynchronous calculus. The semantics is defined in an operational way. Interleaving of behaviours is defined in such a way that a proper merge of events in time is achieved. Weak timed bisimulation is also defined. Examples are presented to show the applicability of the calculus to the study of timed behaviours.This work was partially supported by CICYT under the TIC program (MEDAS project)     

Selective oxidation of alcohols using octahedral molecular sieves: influence of synthesis method and property–activity relations

Manganese oxides having a tunnel structure (OMS-2) have been utilized as selective catalysts for alcohol oxidation. In this study manganese oxide catalysts were synthesized in different media and modified by exchanging the tunnel cation by H⁺, using acid treatment or exchanging with NH₄⁺ followed by thermolysis. Various alcohol oxidations were performed using these catalysts to ascertain the influence of synthesis method on their activity. A correlation is made between lattice oxygen instability and activity of the catalysts, which indicates involvement of the lattice oxygen in the mechanism. The exchange of the tunnel cation with the smaller H⁺ ions leads to weakening of the Mn–O bond, as verified by temperature programmed desorption (TPD) results. Only the chemisorbed oxygen on the surface (O⁻) and the lattice oxygen in the layers close to the surface is involved in the oxygen transfer during the reaction.     

Surface chemistry of tribochemical reactions explored in ultrahigh vacuum conditions

The thermal decomposition of model extreme-pressure lubricant additives on clean iron was studied in ultrahigh vacuum conditions using molecular beam strategies. Methylene chloride and chloroform react to deposit a solid film consisting of FeCl₂ and carbon, and evolve only hydrogen into the gas phase. No gas-phase products and less carbon on the surface are detected in the case of carbon tetrachloride. Dimethyl and diethyl disulfide react on clean iron to deposit a saturated sulfur plus carbon layer at low temperatures (∼600 K) and an iron sulfide film onto a Fe + C underlayer at higher temperatures (∼950 K). Methane is the only gas-phase product when dimethyl disulfide reacts with iron. Ethylene and hydrogen are detected when diethyl disulfide is used.     

Biofiltration of toluene in the absence and the presence of ethyl acetate under continuous and intermittent loading

BACKGROUND: Two peat biofilters were used for the removal of toluene from air for one year. One biofilter was fed with pure toluene and the other received 1:1 (by weight) ethyl acetate:toluene mixture. RESULTS: The biofilters were operated under continuous loading: the toluene inlet load (IL) at which 80% removal occurred was 116 g m^?3 h^?1 at 57 s gas residence time. Maximum elimination capacity of 360 g m^?3 h^?1 was obtained at an IL of 745 g m^?3 h^?1. The elimination of toluene was inhibited by the presence of ethyl acetate. Intermittent loading, with pollutants supplied for 16 h/day, 5 days/week, did not significantly affect the removal efficiency (RE). Biomass was fully activated in 2 h after night closures, but 6 h were required to recover RE after weekend closures. Live cell density remained relatively constant over the operational period, while the dead cell fraction increased. Finally, a 15 day starvation period was applied and operation then re‐started. Performance was restored with similar re‐acclimatization period to that after weekend closures, and a reduction in dead cell fraction was observed. CONCLUSION: This study demonstrates the capacity of the system to handle intermittent loading conditions that are common in industrial practices, including long‐term starvation. Copyright © 2008 Society of Chemical Industry     

Twenty-five years of natural coordinates

In the early eighties, the author and co-workers created and further developed the natural coordinates to describe the motion of 2-D and 3-D multibody systems. Natural coordinates do not need angles or angular parameters to define orientation, leading to constant inertia matrices and to the simplest form of the constraint equations. Natural coordinates are composed by the Cartesian coordinates of some points and the Cartesian components of some unit vectors distributed on the different bodies of the system. The points and vectors can be located in the joints, being shared by contiguous bodies, decreasing or even eliminating the need to set joint constraints and reducing the total number of variables. However, other authors prefer not to share variables in order to get even simpler equations and to keep a bigger decoupling of equations, which is preferable in some cases. In this paper the history of natural coordinates is reviewed, as well as the main contributions coming from other research groups. In the second part of the paper some application areas in which natural coordinates can be particularly advantageous are examined. Commemorative Contribution.     

Immunolocalization of natriuretic peptide receptor B in the rat kidney

The natriuretic peptide receptor (NPR) family consists of three receptor subtypes: two transmembrane forms that contain a guanylyl cyclase intracellular domain (NPR-A and NPR-B), and one truncated form (NPR-C). Because of the lack of specific agonists and antagonists for each receptor subtype and to the difficulty to detect the presence of small quantities of NPR-B by ligand binding studies, polyclonal antibodies against a peptide whose sequence was chosen from a region of the extracellular domain of rat NPR-B that is not homologous to sequences in NPR-A and NPR-C were developed. Western blotting with affinity-purified anti-NPR-B (413-426)-Tyr revealed a polypeptide of approximately 120 kD on COS-1 cell membranes transfected with rat NPR-B cDNA. The antibody recognized a second polypeptide, approximately 5 to 10 kD smaller, which probably represents the unglycosylated receptor. Anti-NPR-B (413-426)-Tyr did not show crossreactivity to any other NPR. Western blotting analysis with anti-NPR-B (413-426)-Tyr also identified a protein of appropriate size in renal vascular membranes. These results were supported by immunohistochemistry findings that demonstrated staining for NPR-B on papillary and medullary capillaries, glomeruli, and renal arteries. This study concludes that NPR-B is present in the rat kidney, although it was only detected in vascular structures.     

Tuning of electronic states in self-assembled InAs quantum dots using an ion implantation technique

We report the tunability of up to 150 meV of the ground state transition of self-assembled InAs quantum dots (QDs) using Mn ion implantation and subsequent annealing. Because of the exciton localization in the quantum dots, the photoluminescence efficiency (T=12K) of the quantum dot transition remains at 80% of its original value after implantation with a Mn dose of 1×10¹³ cm⁻²ions. Strong luminescence still remains at room temperature. At a high implantation dose (1×10¹⁵ cm⁻²) and rapid thermal annealing (700°C for 60s) about 25% of the QD luminescence intensity is recovered at T=12K.     

Mapping of Trellises Associated with General Encoders onto High-Performance VLSI Architectures

A rate 1/n binary generic convolutional encoder is a shift-register circuit where the inputs are information bits and the outputs are blocks of n bits generated as linear combinations on the appropriate shift register contents. The decoding of the outputs of a convolutional encoder can be carried out by the well-known Viterbi algorithm. The communication pattern of the Viterbi Algorithm is given as a graph, called trellis, associated to the state diagram of the corresponding encoder. In this paper we present a methodology that permits the efficient mapping of the Viterbi algorithm onto a column of an arbitrary number of processors. This is done through the representation of the data flow by using mathematical operators which present an inmediate hardware projection. A single operator string has been obtained to represent a generic encoder through the study of the data flow of free-forward encoders and feed-back encoders. The formal model developed is employed for the partitioning of the computations among an arbitrary number of processors in such a way that the data are recirculated opimizing the use of the processors and the communications. As a result, we obtain a highly regular and modular architecture suitable for VLSI implementation.     

Advanced thin-film silicon-on-sapphire technology: microwavecircuit applications

This paper reviews the prospects of thin-film silicon-on-sapphire (TFSOS) CMOS technology in microwave applications in the 1-5 GHz regime and beyond and presents the first demonstration of microwave integrated circuits based on this technology, MOSFET's optimized for microwave use, with 0.5-μm optically defined gate lengths and a T-gate structure, have f_t values of 25 GHz (14 GHz) and f_max values of 66 GHz (41 GHz) for n-channel (p-channel) devices and have noise figure values below 1 db at 2 GHz, some of the best reported performance characteristics of any silicon-based MOSFET's to date. On-chip spiral inductors exhibit quality factors above ten. Circuit performance compares favorably with that of other CMOS-based technologies and approach performance levels similar to those obtained by silicon bipolar technologies. The results demonstrate the significant potential of this technology for microwave applications     

Autosensitized Photooxidation of the Rose Hip (Wild Rose) Oil - Mechanism and Quantum Yield for Singlet Molecular Oxygen O2 (1 Δg) Generation

The autosensitized photooxidation of the fatty acid components of rose hip (Wild Rose) oil was studied. Two important facts arise from the present investigation: a) Fatty acids of rose hip oil decompose upon visible light irradiation in the absence of external sensitizers by a mechanism that involves O₂(¹Δ_g). The pigments present in rose hip oil themselves efficiently sensitize the generation of O₂(¹Δ_g) with a quantum yield of 0.038 (upper limit). b) Visible irradiation also produces the degradation of the anthocyanines, native pigments which could behave as O₂(¹Δ_g) sensitizers in the oil. In this case a mechanism involving the production of superoxide ions by the pigment and further attack of the radicals on the phenol groups of the anthocyanine could account for the observed experimental evidences. These results should be carefully considered in a practical sense when rose hip oil is stored or employed under daylight conditions. Exposure to visible radiation may cause irreversible transformations in rose hip oil.