An executable subset of VDM-SL in an SA/RT framework

In this article we present the executable specification language IPTES Meta-IV based on the formal specification language VDM-SL. The language has been fitted to work in an SA/RT framework and the article presents how it supports the specification of the data transformation part of SA/RT. Furthermore we present some of the advanced constructs of the language seen as an executable specification language in its own right. Finally we present how an IPTES Meta-IV interpreter is used in combination with a high-level timed Petri net executor to execute SA/RT models.     

An expert PID controller uses refined ziegler and nichols rules and fuzzy logic ideas

This article proposes a scheme for the on-line adjustment of three mode controller settings based on experimental measurements of closed-loop performance. It uses a recently developed heuristic tuning procedure to identify estimated process parameters. This method may give rise to conflicting estimates. Fuzzy Set theory is applied to manage the situation in terms of a fuzzy conjunction to combine the various estimates. PID control was chosen because of its wide use in the industrial environment due to driving simplicity and robustness. The article shows design, development, and computer simulation aspects.     

Phobia-related cognitive bias for pictorial and linguistic stimuli.

The purpose of this study was to examine whether anxiety-related cognitive bias for threat is stronger for threatening pictures than for threatening words. Spider-phobic participants (n?=?31 ) and control participants (n?=?33) performed a pictorial and linguistic spider Stroop task. Spider-phobic participants showed a marked bias for threat. However, this bias was similar for pictures and for words, although the spider-phobic group evaluated the pictures as being more aversive. The results suggest that automatic processing of threatening information in people with phobias is triggered in an on-off fashion, independent of subjective threat of the stimuli. This lack of distinction in automatic processing of weak and strong predictors of danger may be fundamental to the irrational nature of anxiety disorders. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Environmental assessment of an uncontrolled sanitary landfill,Pocos de Caldas,Brazil

There are more than 20,000 uncontrolled sanitary landfill areas in Brazil. The paper reports an integrated study undertaken to develop an environmental assessment of the uncontrolled sanitary landfill area of the city of Po?os de Caldas, State of Minas Gerais, Brazil. A number of remedial alternatives were evaluated. The USGS modular 3D finite difference groundwater flow model (Modflow) and Modular 3D Finite Difference Mass Transport Model (MT3D) software were used to simulate groundwater flow and contaminant transport modelling, as well as to predict changes due to the proposed remediation measures. The remedial alternatives considered for normal conditions from 20 to 40 year periods were waste removal, vertical cut-off barriers, extraction wells and top capping. The results indicated that extraction wells and waste removal are the best alternatives because they significantly reduce both the extension and levels of the contamination plume even after 5 years. The extraction well proved a less expensive remedial alternative than waste removal.      

Comparisons of Urban Travel Forecasts Prepared with the Sequential Procedure and a Combined Model

Detailed analyses and comparisons of urban travel forecasts prepared by applying the state-of-practice sequential procedure and the solution of a combined network equilibrium model are presented. The sequential procedure for solving the trip distribution, mode choice and assignment problems with feedback is the current practice in most transportation planning agencies, although its important limitations are well known. The solution of a combined model, in contrast, results from a single mathematical formulation, which ensures a well-converged and consistent result. Using a real network, several methods for solving the sequential procedure with feedback are compared to the solution of the combined model ESTRAUS. The results of these methods are shown to have various levels of instability. The paper concludes with a call for a new paradigm of travel forecasting practice based on an internally consistent model formulation that can be solved to a level of precision suitable for comparing alternative scenarios.     

Prevalence of serologic markers of HBV, HDV, HCV and HIV in non-injection drug users compared to injection drug users in Gran Canaria, Spain

Von Hippel-Lindau disease (VHL) is an autosomal dominant tumour syndrome caused by germline mutations of the VHL tumour suppressor gene located on chromosome 3p25-26. In VHL tumours may occur in 14 different target organs, including the eye. Retinal angiomas are considered the first manifestation of VHL disease in 43% of cases, and the cumulative probability of developing a retinal angioma in one or both eyes rises during each decade of life, reaching 80% for patients over 80 years old. Since 1976 patients with VHL at the University Hospital of Utrecht and their at-risk relatives have been screened periodically by a multidisciplinary team. Long-term follow-up ophthalmological data were analysed with special attention to natural course and results of treatment. In addition, we looked for a genotype-phenotype correlation. Retinal angiomas were found in all families. In one large family with a missense mutation (V170D) of the VHL gene, in which the complete spectrum of visceral- and central nervous system (CNS) features of VHL is present, macular, parapapillary, optic disc and ora serrata angiomas were also found. In general, however, a clear-cut genotype-phenotype correlation could not be found. Only early detection and treatment of peripheral retinal angiomas can be expected to decrease the percentage of patients with decreased visual acuity. Therefore, early detection and treatment of these tumours is of paramount importance. Ophthalmological screening of patients and persons at risk should start as early as possible. In patients with apparently sporadic retinal angiomas it is advisable to perform germline DNA analysis, since the risk of developing VHL is high, especially if the angiomas are bilateral, or unilateral and multifocal, if the patient is young, or if there is a family history suggestive of VHL.     

Cpk index estimation using data transformation

Process capability indices (PCIs) are used in industry to assess percentages of nonconforming parts. An underlying assumption is that the output process measurements are distributed as normal random variables. When normal distributions are assumed, but different distributions are present - such as skew, heavy-tailed, and short-tailed distributions - the percentages of nonconforming parts are significantly different than the computed PCIs indicate. Data arising from nonnormal distributions can sometimes be transformed to conform to the normality assumption and the PCI's computed for the transformed data. In this paper, the effect of the transformation on the estimate of nonconforming parts is examined for three examples of nonnormal distributions - gamma, lognormal, and Weibull. The results of this experimental analysis suggest that data transformation can be useful for estimating an interval for C_pk values and the number of nonconforming parts.     

Isolation of single yeast cells by optical trapping

Individual yeast cells can be successfully isolated and recultured on plates with a new isolation method making use of optical trapping with infrared laser light. The cells can be selected on morphological criteria by high resolution microscopy. The isolation device is constructed from two coverslips separated by spacers, in which selected cells are transferred to a plastic capillary, using the optical trap. To test the procedure, selection experiments were done with a mixture of two Saccharomyces cerevisiae strains, distinguishable both in fluorescence microscopy and on agar plates. These experiments showed that only selected cells were isolated, and close to 100% of the isolated stationary-phase cells formed colonies on agar plates, indicating a high recovery. A lower recovery was obtained with exponential-phase cells, possibly because of a higher sensitivity to laser irradiation. Applications for this method may include the isolation of mutants with altered morphology and the isolation of subpopulations of yeast cultures, for their separate investigation or for the initiation of pure cultures.