A Compositional Framework for Hardware/Software Co-Design

We describe a compositional framework, together with its supporting toolset, for hardware/software co-design. Our framework is an integration of a formal approach within a traditional design flow. The formal approach is based on Interval Temporal Logic and its executable subset, Tempura. Refinement is the key element in our framework because it will derivefrom a single formal specification of the system the software and hardware parts of the implementation, while preserving all properties of the system specification. During refinement simulation is used to choose the appropriate refinement rules, which are applied automatically in the HOL system. The framework is illustrated with two case studies. The work presented is part of a UK collaborative research project between the Software Technology Research Laboratory at the De Montfort University and the Oxford University Computing Laboratory.     

Transmit/receive modules

This paper begins with a discussion of the microwave functions performed by transmit/receive (T/R) modules for phased-array antenna applications. The paper then addresses performance and cost aspects of semiconductor, packaging, and assembly technologies associated with T/R modules     

Research on the origin, and on the impact of post-harvest handling and manufacturing on the presence of ochratoxin A in coffee

The major risk factors and processing steps that can lead to contamination of green coffee with ochratoxin A (OTA) have been identified. Surveys of the green coffee production chain indicate that Aspergillus ochraceus and A. carbonarius are the most potent OTA producers on coffee. Both have been successfully grown in vitro on green coffee and coffee cherries, respectively, producing high amounts of OTA (5-13 mg kg -1 ). The so-called dry processing of coffee, which is cherry drying, was identified as one of the steps during which OTA formation can take place, particularly under humid tropical conditions. Cherries contain sufficient amounts of water to support mould growth and OTA formation during the initial 3-5 days of drying on the outer part of the cherries. Not surprisingly, after dehulling, husks can be highly contaminated with OTA, as also indicated by its enhanced concentration in soluble coffees adulterated with husks and parchment. A minimum water activity of 0.80 (about 14% MC) is required for in vitro OTA production on green coffee, a fact that does not rule out the possibility of OTA contamination due to improper transportation and storage of green coffee. However, this appears not to be a major route for OTA contamination of coffee. OTA contamination can clearly be minimized by following good agricultural practice and a subsequent post-harvest handling consisting of appropriate techniques for drying, grading, transportation and storage of green coffee; these procedures are well established.     

Features of Investigation into the Properties of Glasses and Melts from the Late 19th Century to the Present Day

The evolution of investigations into glass properties is described with the use of the SciGlass information system on the basis of an analysis of the world literature on glass from the end of the 19th century to the present day. Variations in the total amount of published data, in the interest of researchers in certain glass components and their properties, in the specific features of forming research groups, and in the general quality of publications are considered. Measures are proposed that can prevent a further decline in the quality of published experimental results.     

Adjuvant arthritis: influence of the adjuvant volume and composition on the non-specific inflammation

Adjuvant-induced arthritis is an animal model of chronic inflammatory disease widely used in anti-inflammatory and immunosuppressive drugs testing. When the development and the inhibition of the induced arthritis are measured by the injected paw oedema, it is difficult to delineate the immunological contribution from the persistent non-specific primary section. To study the influence of volume and composition of the injected adjuvant upon the primary non-specific inflammation, we devised a 3X4 factorial experiment on a strain of inbred rats with a low susceptibility to adjuvant-induced arthritis. The injection of mineral oil alone produces a persistent oedema. The injection of mycobacteriae in suspension in saline induces a rapid inflammatory response followed by a fast decrease of the oedema. When complete adjuvant is used, there is always a very strong interaction between the effects of the two components of the adjuvant, i.e. the measured oedemas are much greater than the calculated values, For a given injected volume, the inflammation is maximum when the concentration of mycobacteriae is 2.5 mg/ml. All the rats injected with complete adjuvant present a transient oedema of the non-injected hind paw. This oedema is very small and proportional to the amount of mycobacteria injected.     

CoGaInS4: A new layered compound

We report on the synthesis results obtained for some compositions in the Co(GaxIn_1-x)₂S₄ family, whose intermediate member CoGaInS₄ is shown to display a layered structure. This result is discussed and compared with the literature.     

DRYING OF GRANULAR PARTICLES IN A MULTISTAGE INCLINED FLUIDIZED BED WITH MECHANICAL VIBRATION

A mathematical model for the drying rate of granular particles in a multistage inclined fluidized bed(IFB) is presented from the standpoint of simultaneous heat and mass transfer, with taking the effect of mechanical vibration added vertically into consideration.

Steady-state distributions for the temperatures and concentrations of the particles and the heating gas, and for the moisture content of the particles are numerically calculated based on the present model. The calculated results show fairly good agreement with the experimental data, which were obtained from the drying experiments of brick particles in a three-stage IFB using comparatively low temperature air(40-60°C) as the heating gas.

It has been found within the range of the experimental conditions employed that, the mechanical vibration added vertically enhances the over-all drying rate of the particles and its effect can be considered equivalent to an increase in the air velocity.