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.     

Hull-less Barley Varieties: Storage Proteins and Amino Acid Distribution in Relation to Nutritional Quality

Barley (Hordeum vulgare L.) has had an important impact on human nutrition. Hull-less barley is a genetically improved type that has been widely used in recent years. Six Brazilian hull-less barley varieties (IAC-IBON 214-82; IAC 8612-421; IAC 8501-31; IAC 8501-12; IAPAR 39-ACUMAI; IAC 8501-22) were analyzed for storage protein constituents, amino acid contents, and similarity among the hull-less barley varieties. Albumins, globulins, prolamins I and II, and glutelins were extracted and separated by SDS-PAGE. The total protein amino acid contents of the flour were also determined for each variety by TLC and HPLC. Variations in intensity and appearance and disappearance of protein bands were observed among the varieties suggesting genetic variability. However, the amino acid profile did not indicate any major variations in the amino acid concentrations. The high lysine and threonine total concentrations detected in the seeds of the hull-less barley varieties encouraged an investigation into the regulation of amino acid metabolism and storage protein synthesis.     

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.     

An algorithm for solving multi-point boundary value problems

We describe a method for computing solutions of multi-point boundary value problems, where the polychotomic structure of the underlying solution space is specifically exploited. After the system is integrated in a multiple shooting way, the resulting linear system is solved by a special decoupling algorithm that takes into account the fact that the dichotomy on each interval is potentially different (in contrast to the two point case). A number of examples sustains the theory.     

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     

Effect of the Extraction of a Hemagglutinin on the Nutritive Value of Amaranthus leucocarpus Seeds

Hemagglutinins present in Amaranthus leucocarpus seed meal were extracted with saline buffer and nutritive value was estimated by PER, NPR as well as Digestible Energy Consumption Evaluations. Protein digestibility was determined both in vitro and in vivo. Trypsin inhibitor activity was also determined. Saline-extracted Amaranth meal had significantly higher PER and NPR values than whole meal (p<0.05). There were no significant differences in digestible energy (Kcal/day/ animal) and protein consumption (g/day/animal) between diets (p<0.05). A. leucocarpus improves in nutritive value after the saline extraction procedures and has a good potential as a complementary food due to its lysine content. In addition purified agglutinin may be a useful biochemical.