Syntax and consistent equation semantics of hybrid Chi

The hybrid χ (Chi) formalism integrates concepts from dynamics and control theory with concepts from computer science, in particular from process algebra and hybrid automata. It integrates ease of modeling with a straightforward, structured operational semantics. Its ‘consistent equation semantics’ enforces state changes to be consistent with delay predicates, that combine the invariant and flow clauses of hybrid automata. Ease of modeling is ensured by means of the following concepts: (1) different classes of variables: discrete and continuous, of subclass jumping or non-jumping, and algebraic; (2) strong time determinism of alternative composition in combination with delayable guards; (3) integration of urgent and non-urgent actions; (4) differential algebraic equations as a process term as in mathematics; (5) steady-state initialization; and 6) several user-friendly syntactic extensions. Furthermore, the χ formalism incorporates several concepts for complex system specification: (1) process terms for scoping that integrate abstraction, local variables, local channels and local recursion definitions; (2) process definition and instantiation that enable process re-use, encapsulation, hierarchical and/or modular composition of processes; and (3) different interaction mechanisms: handshake synchronization and synchronous communication that allow interaction between processes without sharing variables, and shared variables that enable modular composition of continuous-time or hybrid processes. The syntax and semantics are illustrated using several examples.     

The impact of cleaner processing on nutrient availability in the bleached kraft industry.

The pulp and paper industry has invested heavily over recent years in cleaner processing, to reduce losses and minimise its impact on the environment. Over the past fifteen years, a New Zealand integrated bleached kraft mill has undergone a comprehensive programme of upgrades to increase production, reduce water consumption and streamline its biological treatment process. Whilst the overall discharge of contaminants from the site decreased, the treatment system performance did not show a concurrent improvement as may have been expected. Reduced BOD removal, low dissolved oxygen levels, and poor solids settlability were symptomatic of phosphorus limitation in the aerated lagoon treatment system. The wastewater entering the system was found to be phosphorus limited at a BOD:P ratio of 100:0.2. Mono-ammonium-phosphate was supplemented, at approximately 30 kg P/d, to raise the phosphorus levels to a BOD:P ratio of 100:0.3. Treatment efficiencies improved very quickly after phosphorus dosage, with a 50% reduction in BOD and TSS discharge, a significant increase in dissolved oxygen levels, and improved BOD removal (85% to 93%). This case study demonstrates that whilst more closed operation can result in reduced discharge of organic loads, there may be negative impacts on the availability of nutrients for balanced biological growth.     

A Study of Integrated Document and Connection Caching in the WWW

Document caching and connection caching are extensively studied problems. In document caching, one has to maintain caches containing documents accessible in a network. In connection caching, one has to maintain a set of open network connections that handle data transfer. Previous work investigated these two problems separately while in practice the problems occur together: In order to load a document, one has to establish a connection between network nodes if the required connection is not already open. In this paper we present the first study that integrates document and connection caching. We first consider a very basic model in which all documents have the same size and the cost of loading a document or establishing a connection is equal to 1. We present deterministic and randomized online algorithms that achieve nearly optimal competitive ratios unless the size of the connection cache is extremely small. We then consider general settings where documents have varying sizes. We investigate a FAULT model in which the loading cost of a document is 1 as well as a BIT model in which the loading cost is equal to the size of the document.     

The concept of an endurance limit for adhesive joints

The effect of cyclic stressing on the strength of single lap adhesive joints has been studied and a considerable reduction in strength observed when the maximum stress exceeds about 40% of the ultimate tensile strength, but whether or not a true endurance limit exists is not proven. Fallacies are shown in some of the techniques which have been proposed for studying the fatigue behaviour of adhesive joints.     

Modeling Power Supply Noise in Delay Testing

Excessive power supply noise during test can cause overkill. This article discusses two models for supply noise in delay testing and their application to test compaction. The proposed noise models avoid complicated power network analysis, making them much faster than existing power noise analysis tools. can cause performance degradation and     

Biosynthesis and assembly of alcohol oxidase, a peroxisomal matrix protein in methylotrophic yeasts: a review

Alcohol oxidase (AO) catalyses the first step of methanol metabolism in yeasts. In vivo the enzyme is compartmentalized in special cell compartments, called peroxisomes. The enzyme along with the organelles are induced during growth of methylotrophic yeasts on methanol as the sole carbon source. Like all other peroxisomal matrix proteins, AO is encoded by a nuclear gene. Expression of the protein is regulated by a repression/derepression mechanism, but also by induction. Inactive monomeric precursor protein is synthesized in the cytosol and subsequently imported post-translationally into peroxisomes without further processing. Assembly into the active homo-octameric enzyme and binding of the prosthetic group flavin adenine dinucleotide occurs inside the organelle. When enhanced concentration of octameric alcohol oxidase are present in the organelles, the enzyme may form a crystalloid. Oligomerization is not dependent on translocation of AO precursors into their target organelle since octameric, active AO is detected in the cytosol and nucleus of peroxisome-deficient mutants of Hansenula polymorpha: at high expression rates large cytosolic AO crystalloids are formed, which occasionally are also encountered inside the nucleus of such mutants. This paper summarizes recent findings and views on the mechanisms involved in synthesis, import, assembly and crystallization of this important peroxisomal enzyme.