Shallow Linear Action Graphs and their Embeddings

Action calculi, which generalise process calculi such as Petri nets, π-calculusand ambient calculus, have been presented in terms of action graphs. We here offer linear action graphs as a primitive basis for action calculi. This paper presents the category of embeddings of undirected linear action graphs without nesting, using a novel form of graphical reasoning which simplifies some otherwise complex manipulations in regular algebra. The results are adapted in a few lines to directed graphs. This work is part of a long-term search for a uniform behavioural theory for process calculi. Received October 2000 / Accepted in revised form April 2001     

Effect of moderate to very low fat defined formula diets on serum lipids in healthy subjects

Serum total cholesterol, high density lipoprotein (HDL) cholesterol, and triglyceride levels were studied in healthy male and female subjects consuming for one-week periods a diet of conventional food (CF) providing 42% of energy as fat, principally butter fat, and then in random order nutritionally complete, defined formula diets of moderate (32%) to very low (1%) fat content. Compared to CF, the formula with 32% of energy as corn oil lowered serum cholesterol by 25% and the ratio of total to HDL-cholesterol by 13%. Low (9%) and very low (1–3%) fat formulas reduced HDL-cholesterol by as much as 40%, raised the total: HDL-cholesterol ratio by about 20% and raised serum triglyceride levels by as much as 100%. When low and very low fat formulas were ingested for three weeks, these effects persisted although maximal responses occurred during the first week. These results demonstrated that a moderate fat formula diet with a high P/S ratio had a more favorable effect on serum lipid levels than various low fat formulas. Low fat conventional food diets should be studied in long-term controlled metabolic experiments before such diets are recommended to the general population for coronary heart disease or cancer prevention.     

Advances in the stabilization of flexible PVC by using a liquid calcium‐zinc technology

The global market for liquid mixed‐metal stabilizers is migrating toward heavy‐metal‐free products, Historically, these systems have not been performance and cost competitive. High efficiency calcium‐zinc stabilizers have the potential to replace heavy‐metal‐based products. The intrinsic value of non‐phenolic lubricating calcium intermediates and calcium‐zinc stabilizers is discussed.     

Using bald eagles to indicate the health of the Great Lakes' environment

The bald eagle (Haliaeetus leucocephalus) is one of the most studied birds of North America, and a great amount of natural life‐history information, including the response of various stressors on the eagles' ability to reproduce, are well known. In Michigan, the eagle has been chosen to track the trends of bioaccumulative compounds of concern across watersheds in the state. The state has been divided into major watersheds, and 20% of these are surveyed each year. A control area in northern Minnesota, Voyageurs National Park, is also sampled annually. We report here on the methods used, the preliminary results of the 1999 field season, and how differences in mercury concentrations varied over a 10‐year period. Mercury in feathers of nestling eagles declined over time only in Lakes Michigan and Huron, but have not decreased among other subpopulations in Michigan. Concentrations of polychlorinated biphenyls (PCBs) and 4,4′‐DDE in blood plasma from nestling eagles have declined over time for most subpopulations; however, they remain greater for breeding areas associated with the Great Lakes' food web. Sea eagles of the genus Haliaeetus are a good sentinel species to track trends in bioaccumulative compounds in aquatic systems.     

AN ASSESSMENT OF CRACK CLOSURE AND THE EXTENT OF THE SHORT CRACK REGIME IN Q1N (HY80) STEEL

Abstract— The paper addresses some aspects of the differences in fatigue crack growth rate behaviour and threshold values obtained for long through-cracks, short through-cracks and surface cracks. Attention is focused on plasticity induced closure in the wake behind the growing crack tip. For long cracks at high K _max, closure is found to depend in a linear manner on K _max, i.e. K _op, increases with the size of the monotonic plastic zone. Closure increases at low δ K and this is primarily a consequence of the load shedding procedure. If short through-cracks are prepared by machining specimens containing long cracks, a substantial part of the plastic wake is removed and this can produce marked effects on the closure contribution during subsequent growth. The length of crack "closed" in a long crack threshold test was found to be of the order of 1 mm. Cracks less than this length exhibited "short crack" behaviour: greater than this length, they behaved as "long cracks", with plastic wake effects apparently fully operative. Small surface cracks exhibit "long crack" behaviour at lengths as short as 0.2 mm and reasons for this are discussed.     

Integration framework for intelligent manufacturing processes

In this article, we describe a new approach to applying distributed artificial intelligence techniques to manufacturing processes. The construction of intelligent systems is one of the most important techniques among artificial intelligence research. Our goal is to develop an integrated intelligent system for real time manufacturing processes. An integrated intelligent system is a large knowledge integration environment that consists of several symbolic reasoning systems (expert systems) and numerical computation packages. These software programs are controlled by a meta-system which manages the selection, operation and communication of these programs. A meta-system can be implemented in different language environments and applied to many disciplines. This new architecture can serve as a universal configuration to develop high performance intelligent systems for many complicated industrial applications in real world domains.To whom all correspondence should be addressed.     

Kinetics of hydantoin formation

The reaction of lignite in a slagging gasifier produces reactants which in turn form 5,5-dimethylhydantoin (DMH) as a major constituent in the condensate water. Variations in plant operating conditions made it impossible to accurately study the kinetics of formation of DMH in the actual gasifier water, and thus a model system was chosen. The reaction of acetone cyanohydrin in the presence of excess ammonium carbonate at concentrations approaching those obtained in the condensate water were studied at 50,70, and 90 °C. Secondorder kinetics were obeyed, and the pseudo second-order rate constants at the respective temperatures were 1.86, 3.6, and 4.62 dm³ mol^{? 1} h^{? 1}. Independent variation of the concentration of either acetone, cyanide, ammonia or carbonate gave results consistent with the interpretation that the formation of DMH is first order in all reactants: rate of formation of DMH = k[acetone][HCN][NH₃][CO₂]. The pseudo second-order rate constant is a complex rate constant including several rapid equilibria. A mechanism consistent with the kinetic data is presented.     

Effect of catalysts on the reaction between a cycloaliphatic diisocyanate (H-MDI) and n-butanol

Kinetics of the reaction between bis(4-isocyanatocyclohexyl)methane, H-MDI, and n-butanol was studied in toluene at 100°C. Effects of various catalysts, such as Hg(CH₃COO)₂, Zn(CH₃COO)₂ · 2H₂O, SnCl₄ · 5H₂O, and dibutyltindilaurate on the reaction rate and kinetics were also investigated. Reactions were followed by determining the unreacted isocyanate as a function of reaction time, using the standard dibutylamine back titration method. All catalysts seem to be very effective in increasing of the rate of the reaction compared to the uncatalyzed system. Depending on the initial stoichiometric ratio of (NCO) and (OH) and the concentration of the catalyst used, it seems possible to have preferential catalysis of the primary reaction between (NCO) and (OH) over the side reactions.