Formal methods: The next generation of system design tools

Because of the growing demand for increasingly complex computer-based systems there is now an urgent need to provide tools to assist during the design of such systems. Formal specifications and formal methods provide such assistance but their widespread adoption has been hindered by the so-called ‘math fear’ and the perception that the tools are too difficult, too time consuming and too costly to use in a commercial environment. The aim of this article is to dispel the mystery surrounding the topic and to explain what formal methods are, how and why they are used, the benefits that accrue and why the technology should be accepted on a broader front. The application of formal methods to the design of computer-based systems will be discussed without resorting to jargon or mathematics. The discussion will concentrate more on the software content of systems but the arguments apply equally well to hardware. Some of the available tools will also be introduced.     

Optimization of metal-based multilayers for transparent heat mirrors

Multilayer calculations by conventional matrix methods for dielectricum/noble metal/dielectricum systems on glass have been performed. The aim has been to maximize the integrated parameters for solar transmission, T_sol, and transmission of visible light, T_eye We have found that Ag is superior for maximizing the transmittance over the narrow visible wavelength range owing to the low internal absorptance. When solar energy transmission is considered multilayers based on Au are the best choice for metal film thicknesses above 15 nm. For thinner films, Ag is still to be preferred.     

Open‐cycle OTEC systems with freshwater product: Effects of noncondensable gases on performance of condenser

An open‐cycle ocean thermal energy conversion (OC‐OTEC) system is one of the energy conversion methods used to generate electricity from ocean thermal energy. For the OC‐OTEC system, steam evaporated from the surface seawater due to flash evaporation drives the turbine. At that time, dissolved gas such as air is introduced into the low‐pressure system (OC‐OTEC system) as the noncondensable gas, which degrades the performance of condensation heat transfer. In this paper, a small‐scale OC‐OTEC experimental unit experimentally investigates the effect of noncondensable gas on the heat transfer performance in a condenser. The experimental results are discussed in comparison with theoretical estimation by the Sparrow–in method. It is shown that the condensation is occupied by heat and mass transfer near a condensation surface and that the condensation efficiency is affected by exhaust quantity of noncondensable gas at a relatively high concentration ratio of condensable gas. © 2005 Wiley Periodicals, Inc. Electr Eng Jpn, 154(1): 29–35, 2006; Published online in Wiley InterScience ( www.interscience.wiley.com ). DOI 10.1002/eej.20179     

Energy conservation in the industrial sector of developing countries

This paper begins by examining the most energy-intensive industries and methods by which fuel efficiency can be improved. Next the author analyses the economics of energy conservation using specific case studies drawn from India. It is shown that investing in energy efficiency is more economical Btu per Btu than investing in the enhancement of domestic energy resources. The author also assesses changes in the economics of conservation for private firms when there are government incentives. Finally government policies that can overcome economic and non-economic disincentives for investing in energy conservation are examined.     

Paste Residence Time in a Spouted Bed Dryer. III: Effect of Paste Properties and Quality Interactions

The aim of this study was to evaluate the effects of paste properties on residence time during drying in a spouted bed dryer with inert bodies. The effect of paste solids content, surface tension, and viscosity on the residence time distribution and the mean residence times were studied using factorial experimental designs. The inert bodies used were glass and polyethylene beads. The mean residence times varied from 13.6 to 16.3 and 12.2 to 17.7 min for drying on glass and polyethylene beads, respectively. The analysis of variance showed that mean residence times significantly depended on solids content and surface tension for glass beads and also on viscosity for polyethylene beads. The residence time distributions for all conditions studied fitted well to the perfect mixing cell when applying the continuous stirred vessels in series model analysis. The powder density, flowability, and particle size depended on paste properties and inert type.     

A load dispatch method using fractional programming and semidefinite programming

This paper describes a load dispatch method which minimizes power cost—[fuel cost]/[electric output]—for a power system with thermal plants and energy storage facilities. The proposed method employs fractional programming to convert a minimization problem with fractional objective function to a series of quadratic minimization problems, and semidefinite programming to solve converted problems. The method provides the optimum time‐dependent power output/input and storage level of energy storage facilities as well as time‐dependent power output of thermal plants. The method has been applied to a power system with five thermal plants, two energy storage facilities of various performances, and five load demands. The optimum load scheme of four time mesh points is obtained for the thermal plants and energy storage facilities. The fractional programming successfully converges the optimal scheme through a few iterations. The semidefinite programming deals with a variable matrix of 164 dimensions, and 185 inequality constraints. © 2001 Scripta Technica, Electr Eng Jpn, 138(2): 49–58, 2002     

Effect of crack-growth mechanism on the prediction of fracture load of adhesive joints

This paper presents observations regarding the cracking behavior of tensile-loaded structural adhesive joints. Experiments showed that fracture occurred by the development and propagation of a damage zone, rather than a single, sharp crack, and that the presence of the adhesive spew fillet did not affect the fracture load of the adhesive joints studied. For joints bonded with the mineral-filled epoxy Cybond 4523GB (American Cyanamid), there was approximately 5 mm of subcritical crack propagation prior to final fracture. Fracture-load predictions based on the initial uncracked geometry made in previous papers were unaffected by this small change in geometry. For joints bonded with the rubber-toughened epoxy Permabond ESP 310, approximately 50 mm of subcritical crack propagation was observed. It was again found that predictions made in previous papers on the basis of the initial geometry gave a good estimate of the final fracture load even though this subcritical crack propagation significantly altered the geometry, and thus the applied energy release rates. The effect of shear deformations of the adherends was also investigated, and it was found that shear deformations could be neglected in engineering calculations for joints subject to remote tensile loading.     

Application of SiC-Si functionally gradient material to thermoelectric energy conversion device

Because of its high–temperature chemical stability, SiC ceramic is a promising material for high-temperature device applications such as thermoelectric energy converters. However, the electrical conductivity of SiC ceramic is too low for it to be used as a thermoelectric energy converter at the cold junction. Therefore, we propose a SiC-Si functionally gradient material (FGM) in order to improve the electrical conductivity of the SiC ceramic at the cold junction. An SiC rod was fired in a temperature gradient furnace. One end of the SiC rod was maintained at 2473 K and the other end was maintained at 1973 K for 30 min. After firing, the porous SiC edge fired at 1973 K was dipped into molten Si in order to infiltrate molten Si into the porous SiC. The microstructure of the FGM is classified into three regions: the SiC-Si composite material; the porous SiC ceramic; and the densified SiC ceramic. The electrical conductivity, the Seebeck coefficient and the thermal conductivity for each region of SiC-Si FGM was measured at 300 K; a figure of merit was calculated. The figure of merit of the SiC-Si FGM at the cold junction, at room temperature, was 10⁸ times higher than that of a nongradient SiC ceramic.     

Effects of temperature, ammonium and glucose concentrations on yeast growth in a model wine system

In enology, alcoholic fermentation is a complex process involving several mechanisms. Slow and incomplete alcoholic fermentation is a chronic problem for the wine industry and factors leading to sluggish and stuck fermentations have been extensively studied and reviewed. The most studied cause of sluggish and stuck fermentation is the nitrogen content limitation. Nevertheless, other factors, such as temperature of fermentation and sugar concentration can affect the growth of yeasts. In this study we modelled the yeast growth‐cycle in wine model system as a function of temperature, sugar and ammonium concentrations; the individual effects and the interaction of these factors were analysed by means of a quadratic response surface methodology. Cell concentrations and weight loss were monitored in the whole wine fermentation process. The results of central composite design show that lower is the availability of nitrogen, higher is the cell growth rate; moreover, initial nitrogen concentration also influences survival time of Saccharomyces cerevisiae.