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.     

Duration of spinal anaesthesia is determined by the partition coefficient of local anaesthetic

We have compared the duration of motor block produced by four local anaesthetics administered into a chronically implanted subarachnoid catheter in rabbits. Each group (n = 6) received four different doses of amethocaine, bupivacaine, lignocaine or procaine, and the duration of the resulting motor block was assessed. Dose-response curves were plotted for each drug. As a measure of activity of the anaesthetics, we used the dose of each drug required to produce block of 60-min duration (D60 min) and the correlation between D60 min and different drug properties was examined. An inverse linear correlation (r = 0.995; P < 0.01) was observed between log D60 min and the log of the partition coefficient of the local anaesthetics. No correlation was found between the effect and degree of protein binding, pKa or molecular weight. These results suggest that, in spinal anaesthesia, the partition coefficient could be used as a predictor of the duration of anaesthetic action.     

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”     

An interregional labour market model incorporating vacancy chains and social security

This paper deals with three aspects of interregional demo-economic models which are important with respect to the analysis of regional labour market developments. First, attention is paid to forecasts of the exogenous regional variables, such as investments, exports, etc. Because data at the regional level are usually scarce, it is suggested to make these projections by means of a top-down model. Second, the social security sector is incorporated in the model framework, because changes in social security benefits, which are common in many Western countries nowaday, usually have substantial impacts on regional economic and demographic structures. Third, a vacancy chain model instead of a simple employment growth equation is tied to the standard demo-economic model framework. In this way not only employment growth but also migration, job mobility and related income effects can be taken into account.     

Understanding TES microcalorimeter noise and energy resolution

We have performed numerical calculations of the noise in voltage-biased superconducting transition edge-based X-ray microcalorimeters, using a finite-element model. Details of the model are discussed, as well as results for different absorber geometries. The results are in agreement with an analytical model and show that the amount of internal thermal fluctuation noise can be reduced by using a segmented absorber. The simulation also agrees well with experimental data, which, for our detectors, contain no major unidentified noise sources. Furthermore, the discrepancy between the (small-signal) theoretical and the measured energy resolutions for 5.9 keV X-rays, for our sensors typically a factor of 2, is explained by a more accurate modelling of the sensor responsivity, taking into account the large signal behaviour.     

QFT control design for an approximately linearized pneumatic positioning system

A block‐oriented approximate feedback linearization for control of a pneumatic cylinder positioning system is introduced and a rather detailed discussion is presented on the uncertain linearization residual characterization. It is shown that making use of the characterized gain–phase information of the linearized system leads to a more reasonable trade‐off between performance and stability in the QFT control design and thus results in high control performance. Simulation and experimental results are shown. Copyright © 2003 John Wiley & Sons, Ltd.