Component-based analysis of embedded control applications

The widespread use of embedded systems requires the creation of industrial software technology that will make it possible to engineer systems being correct by construction. That can be achieved through the use of validated (trusted) components, verification of design models, and automatic configuration of applications from validated design models and trusted components. This design philosophy has been instrumental for developing COMDES—a component-based framework for distributed embedded control systems. A COMDES application is conceived as a network of embedded actors that are configured from instances of reusable, executable components—function blocks (FBs). System actors operate in accordance with a timed multitasking model of computation, whereby I/O signals are exchanged with the controlled plant at precisely specified time instants, resulting in the elimination of I/O jitter. The paper presents an analysis technique that can be used to validate COMDES design models in SIMULINK. It is based on a transformation of the COMDES design model into a SIMULINK analysis model, which preserves the functional and timing behaviour of the application. This technique has been employed to develop a feasible (light-weight) analysis method based on runtime observers. The latter are conceived as special-purpose actors running in parallel with the application actors, while checking system properties specified in Linear Temporal Logic. Observers are configured from reusable FBs that can be exported to SIMULINK in the same way as application components, making it possible to analyze system properties via simulation. The discussion is illustrated with an industrial case study—a Medical Ventilator Control System, which has been used to validate the developed design and analysis methods.     

Process engineering for bioflavour production with metabolically active yeasts – a mini‐review

Flavours are biologically active molecules of large commercial interest in the food, cosmetics, detergent and pharmaceutical industries. The production of flavours can take place by either extraction from plant materials, chemical synthesis, biological conversion of precursor molecules or de novo biosynthesis. The latter alternatives are gaining importance through the rapidly growing fields of systems biology and metabolic engineering, giving efficient production hosts for the so‐called 'bioflavours', which are natural flavour and/or fragrance compounds obtained with cell factories or enzymatic systems. Yeasts are potential production hosts for bioflavours. In this mini‐review, we give an overview of bioflavour production in yeasts from the process‐engineering perspective. Two specific examples, production of 2‐phenylethanol and vanillin, are used to illustrate the process challenges and strategies used. Copyright © 2014 John Wiley & Sons, Ltd.     

90-nm CMOS for microwave power applications

We report, for the first time, the experimental evaluation of a very short channel 90-nm CMOS transistor under RF over-voltage conditions. At 9 GHz and 1.5 V supply a 40 /spl mu/m gate width device is able to deliver 370 mW/mm output power with a PAE of 42% and a transducer power gain of 15 dB. Measurement results at 3 and 6 GHz is also presented. The transistor does not show any degradation in either dc or RF performance after prolonged operation at 1 and 6 dB compression. Simulation show, that the peak voltage, V/sub ds/ at this condition is 3.0 V, while the maximum allowed dc supply voltage is limited by the design rules to 1.2 V. We show for the first time that nanometer-scale CMOS can be used for microwave power applications with severe RF over-voltage conditions without any observable degradation.     

Cryogenic wide-band ultra-low-noise IF amplifiers operating at ultra-low DC power

This paper describes cryogenic broad-band amplifiers with very low power consumption and very low noise for the 4-8-GHz frequency range. At room temperature, the two-stage InP-based amplifier has a gain of 27 dB and a noise temperature of 31 K with a power consumption of 14.4 mW per stage, including bias circuitry. When cooled to 15 K, an input noise temperature of 1.4 K is obtained at 5.7 mW per stage. At 0.51 mW per stage, the input noise increases to 2.4 K. The noise measurements have been repeated at different laboratories using different methods and are found consistent.     

On the performance of low-noise low-DC-power-consumption cryogenicamplifiers

The performance of broad-band low-noise low-dc-power-consumption cryogenic amplifiers have been studied in detail with emphasis on minimizing the power consumption and optimizing the amplifier performance at cryogenic temperature. A general approach is presented for the modeling and amplifier design, which helps in minimizing the power consumption and optimizing the performance of the amplifier. A noise temperature below 9 K and 22-dB gain was experimentally obtained in the frequency range of 4-8 GHz with a total power consumption of 4 mW with commercial GaAs transistors     

Magnetochemical study of iron molybdates obtained from precursor precipitates with different Mo- and Fe-content

The calcination, above 350°C, of precursor precipitates with well-defined stoichiometry and different fixed Mo-to-Fe ratios leads to the formation of undistinguishable, by X-ray diffractometry, crystal iron molybdates. At Mo-to Fe ratios higher than 1.5 a phase of MoO₃ appears. The parameters describing the temperature dependence of the magnetic susceptibility and the EPR-lines belonging to the iron molybdates depend on the initial-precipitate composition. This is an evidence for the presence of some structural differences in iron molybdate phases.     

Optimal operation of enantioseparation by batch-wise preferential crystallization

This article describes batch-wise preferential crystallization separation of mixtures of L- and D-threonine. The use of online polarimetry combined with refractometry and microscopic investigation of the solid phase provides information on the crystallization kinetics. Results obtained for different crystallization conditions (supersaturation, temperature and enantiomeric excess) in a batch crystallizer are presented. Based on these results, a non-linear dynamic model has been developed. The control problem is to determine an optimal temperature profile which will result in a maximum amount of product with required quality. In this dynamic optimization problem B-splines have been used for interpolation of the temperature profile.     

Structure and catalytic properties of Ni/MWCNTs and Ni/AC catalysts for hydrogen production via ammonia decomposition

The structure and catalytic properties of nickel catalysts supported on multi-wall carbon nanotubes (MWCNTs) and on three different types of activated carbon (AC) were studied. The surface areas of AC carriers were defining the size of supported nickel particles. Large surface area of AC led to small Ni nanoparticles and high Ni dispersion. Turnover frequency (TOF_NH3) of ammonia decomposition decreased with decreasing of Ni particle size. The highest degree of ammonia conversion was observed on Ni/AC prepared by using of AC support with largest surface area. The catalytic activity of Ni/MWCNTs was much higher than catalytic activity of the studied Ni/AC catalysts. The synergic nickel-support interaction and special electronic conductivity properties of MWCNTs were responsible for high catalytic activity of Ni/MWCNTs catalyst.     

Development of a new oat-based probiotic drink

In the present work, a whole-grain oat substrate was fermented with lactic acid bacteria to obtain a drink, combining the health benefits of a probiotic culture with the oat prebiotic beta-glucan. The levels of several factors, such as starter culture concentration, oat flour and sucrose content, affecting the fermentation process, were established for completing a controlled fermentation for 8 h. The viable cell counts reached at the end of the process were about 7.5 x 10(10) cfu ml(-1). It was found that the addition of sweeteners aspartame, sodium cyclamate, saccharine and Huxol (12% cyclamate and 1.2% saccharine) had no effect on the dynamics of the fermentation process and on the viability of the starter culture during product storage. Beta-glucan content in the drink (0.31-0.36%) remained unchanged both throughout fermentation and storage of the drink. The shelf life of the oat drink was estimated to 21 days under refrigerated storage.