Desalination by distillation and by reverse osmosis — trends towards the future

As the requirement for fresh water increases worldwide, there is a need for more and more plants that are able to treat non-conventional water sources. Sea water has become an important source of fresh water in many arid regions. This feature provides an overview of recent process improvements in sea water desalination using reverse osmosis, multi-stage flash, multi-effect distillation and electrodialysis. Areas discussed include the use of alternative energy sources (wind energy, solar energy and nuclear energy) for reverse osmosis or distillation processes, and the impact of the different desalination process on the environment. Also covered are the implementation of hybrid processes in sea water desalination, and the pretreatment of desalination plants by pressure-driven membrane processes.     

The Role of Test Protocols in Automated Test Generation for Embedded-Core-Based System ICs

Modular testing is an attractive approach to testing large system ICs, especially if they are built from pre-designed reusable embedded cores. This paper describes an automated modular test development approach. The basis of this approach is that a core or module test is dissected into a test protocol and a test pattern list. A test protocol describes in detail how to apply one test pattern to the core, while abstracting from the specific test pattern stimulus and response values. Subsequent automation tasks, such as the expansion from core-level tests to system-chip-level tests and test scheduling, all work on test protocols, thereby greatly reducing the amount of compute time and data involved. Finally, an SOC-level test is assembled from the expanded and scheduled test protocols and the (so far untouched) test patterns. This paper describes and formalizes the notion of test protocols and the algorithms for test protocol expansion and scheduling. A running example is featured throughout the paper. We also elaborate on the industrial usage of the concepts described.     

Presupposition failure — A comedy of errors

Presuppositions of utterances are the pieces of information you convey with an utterance no matter whether your utterance is true or not. We first study presupposition in a very simple framework of updating propositional information, with examples of how presuppositions of complex propositional updates can be calculated. Next we move on to presuppositions and quantification, in the context of a dynamic version of predicate logic, suitably modified to allow for presupposition failure. In both the propositional and the quantificational case, presupposition failure can be viewed as error abortion of procedures. Thus, a dynamic assertion logic which describes the preconditions for error abortion is the suitable tool for analysing presupposition.     

A two-year measurement of rainfall attenuation of CW microwaves inSingapore

The authors present two-year statistics on the rainfall attenuation of 21.225 GHz vertically polarized CW microwave signals in Singapore. The CCIR recommendation is found to underestimate the microwave specific attenuation (dB/km) per path average rain rate (mm/h) as well as the accumulated time of attenuation exceeding preset levels. A negative exponential raindrop size distribution based on spherical droplets is constructed from the measured data     

The near-zone field characteristics of an E-polarization plane wavepenetrating through cylindrical multiple apertures (non) coated withlossy and lossless media

The direct integral equation is formulated for describing the current on the multiple perfectly conducting strips in cylindrical geometries for an E-polarization plane wave of normal incidence. By using the Galerkin's method, the surface currents on the conducting strips are expanded in the form of a series of Chebyshev polynomials of the first kind, while the unknown expanding coefficients are solved by a set of matrix equations of finite order with a fast convergence rate and a high accuracy. Furthermore, numerical results are presented to demonstrate the variation of the penetrated near-zone field in the presence of one, two, three, four and six cylindrical apertures, and the hybrid effects of both aperture number and aperture angular widths on the penetrated fields are investigated in detail     

Natural convective flow between an array of vertical cylinders

The natural-convectioe flow of a viscous and heat-conducting fluid in systems of cylinders, arranged vertically in regular patterns, is studied. The aim of the study is to determine the conditions of stability of the fluid when heated from below and cooled from above. In particular, the influence of geometry and thermal properties of the system on the free stationary convection are studied. A new way of calculating the free convection threshold is proposed. The final results are analytical formulas for determining the critical Rayleigh numbers for the studied forms of flow and graphs, showing the dependency of these numbers on the geometrical parameters of arrays.     

Formation of linear aldehydes during surface water preozonization and their removal in water treatment in relation to mutagenic activity and sum parameters

Low molecular weight aldehydes were formed during surface water preozonization, their levels showing a positive correlation with increasing ozone dose applied and with increasing water temperature. A strong negative correlation was observed between aldehyde levels and U.V. absorbance at 254 nm.Coagulation had no influence on the aldehydes present and the influence of rapid double layer filtration varied strongly with temperature : significant removals were only observed above 10°C.Mutagenic activity generated by preozonization in Salmonella typhimurium TA98 shows an ozone dose depending relationship different from the formation of linear aldehydes. Its removal by coagulation is not effective but rapid double layer filtration reduces mutagenic activity to marginal levels.In this respect too no clear parallel can be drawn between the presence of low molecular weight aldehydes and mutagenic activity.     

RasterCalc: Calculus for Operations on Graphics Colour Rasters

An extended model and calculus, called RasterCalc, is presented for operations on discrete graphics rasters, including their colour functions. The operations are separated into two main categories: operations on domains, and operations on colour functions. The operations are further classified as local and remote, depending on the correspondence between destination and source pixels. The new raster element or pixel can be a function of a single element from one or more rasters, a function of a small area from other rasters, or a function of entire rasters. Local operations have their main applications in computer graphics, while remote operations are more oriented towards image processing. A mathematically oriented notation is used to define and represent the operations included. RasterCalc has been implemented as a procedure package in Pascal, to be used on a powerful, yet expensive display. Recently a C version has been completed for a personal colour computer with a special chip for raster operations. The work reported in this paper is partially supplied by the Dutch Technical Sciences Foundation, under project number LWI 14.0130: “Facilities for raster graphics in programming languages”