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)     

Effects of temperature, ammonium and glucose concentrations on yeast growth in a model wine system

In enology, alcoholic fermentation is a complex process involving several mechanisms. Slow and incomplete alcoholic fermentation is a chronic problem for the wine industry and factors leading to sluggish and stuck fermentations have been extensively studied and reviewed. The most studied cause of sluggish and stuck fermentation is the nitrogen content limitation. Nevertheless, other factors, such as temperature of fermentation and sugar concentration can affect the growth of yeasts. In this study we modelled the yeast growth‐cycle in wine model system as a function of temperature, sugar and ammonium concentrations; the individual effects and the interaction of these factors were analysed by means of a quadratic response surface methodology. Cell concentrations and weight loss were monitored in the whole wine fermentation process. The results of central composite design show that lower is the availability of nitrogen, higher is the cell growth rate; moreover, initial nitrogen concentration also influences survival time of Saccharomyces cerevisiae.     

Optical properties of amorphous carbon thin films prepared by plasma deposition in a graphite hollow cathode

Carbon films have been produced using a graphite hollow cathode and an r.f. plasma of hydrogen or hydrogen and argon. No hydrocarbon gas was used. The films were subjected to heat treatments up to 700 °C in air. The optical properties of the films were studied using Fourier transform IR, UV-visible, Raman, ellipsometry and photoluminescence techniques before and after the annealing. Films prepared without argon have a narrower band gap and a different photoluminescence response from films prepared with argon. The index of refraction was seen to have values between 1.7 and 2.2 depending on the preparation conditions. The optical band gap of the films was generally greater than 2 eV and the annealing process both increased the gap and reduced the density of states responsible for the large photoluminescence signal.     

环缝错边容器的有限元分析与容限探讨

采用有限元方法对 1台封头与筒体具有较大错边量的容器进行了应力分析 ,得到了错边区域的应力分布状况 ,并对其进行应力强度评定。结果表明 ,该容器错边部位的应力是满足应力分析准则的。通过对存在不同错边量的容器进行应力分析 ,探讨了容器的错边容限 ,对含有错边缺陷在役容器是否合乎使用的判断具有一定指导意义     

Kinetic study of the reaction between molybdenum trioxide and gaseous carbon tetrachloride

The kinetics of the chlorination reaction of molybdenum trioxide with gaseous carbon tetrachloride has been studied at temperatures between 713 and 753 K. The effects of temperature, reaction time, residence time and gaseous reactant concentration on conversion were studied throughout the reaction. In all cases, there was an increase in conversion when the above operating variables were increased. The kinetic model proposed is consistent with and correlates the experimental data. In the range studied for the different variables, the step that controls the rate of reaction is the surface chemical reaction. Values of the rate constant and the activation energy were estimated.     

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     

错金工艺及对其运用的探讨

为了继承和发扬错金工艺，从其定义出发，探讨了该工艺在中国古代及国外的发展与应用以及笔者对该工艺的实验研究。针对在错金工艺实践过程中出现的问题，在查阅了相关的资料后，对传统错金工艺的实现方法提出了质疑。     

A new method for the determination of wax precipitation from non-diluted crude oils by fractional precipitation

Wax precipitation is one of the most important flow assurance problems. Unfortunately, experimental data are very scarce to confirm existing models for prediction of such precipitation problem. This work reports a new experimental method. Multistage fractional wax precipitation was carried out by decreasing the temperature of crude oil. No solvent dilution was used, so the effect of solvent on temperature wax precipitation was avoided. The reproducibility of the method was tested with comparable results. The precipitation curve and the wax appearance temperature were obtained for two crude oils with different chemical nature using the reported method.