Model checker aided design of a controller for a wafer scanner

For a case-study of a wafer scanner from the semiconductor industry it is shown how model checking techniques can be used to compute (1) a simple yet optimal deadlock avoidance policy, and (2) an infinite schedule that optimizes throughput. in the absence of errors. Deadlock avoidance is studied based on a simple finite state model using Smv, and for throughput analysis a more detailed timed automaton model has been constructed and analyzed using the Uppaal tool. The Smv and Uppaal models are formally related through the notion of a stuttering bisimulation. The results were obtained within 2 weeks, which confirms once more that model checking techniques may help to improve the design process of realistic, industrial systems. Methodologically, the case study is interesting since two models were used to obtain results that could not have been obtained using only a single model. Supported by the European Community Project IST-2001-35304 (Ametist), http://ametist.cs.utwente.nl/.     

Practical accuracy analysis of some existing effective channellength and series resistance extraction methods for MOSFET's

A method to analyze the accuracy of the extracted values for the channel length (L_eff) and series resistance (R_s) of MOSFET devices is presented. The analysis is based on a statistical argument being the variance σ of the extracted results. This variance is found to be a good measure for the accuracy of the particular extraction method used. It is shown that, in the case of deep submicron technologies, errors as large as 200 nm for ΔL can be made for these extraction methods depending on the process design and the process control. The use of a single transistor method is suggested as a possible solution to the low accuracy of the L-array methods     

Receptor-like protein tyrosine phosphatases: alike and yet so different

Reversible phosphorylation on tyrosine residues is an extremely rapid and powerful posttranslational modification that is used in signalling pathways for the regulation of cell growth and differentiation. Over the past several years an impressive number of receptor-like protein tyrosine phosphatase (RPTPase) family members have been identified by molecular cloning, and undoubtedly many more will follow. This review provides an overview of the molecular data that are available for the currently identified RPTPases and discusses their possible biological implications.     

Unsupervised and simultaneous training of multiple object detectors from unlabeled surveillance video

Object detection is an essential component in automated vision-based surveillance systems. In general, object detectors are constructed using training examples obtained from large annotated data sets. The inevitable limitations of typical training data sets make such supervised methods unsuitable for building generic surveillance systems applicable to a wide variety of scenes and camera setups. In our previous work we proposed an unsupervised method for learning and detecting the dominant object class in a general dynamic scene observed by a static camera. In this paper, we investigate the possibilities to expand the applicability of this method to the problem of multiple dominant object classes. We propose an idea on how to approach this expansion, and perform an evaluation of this idea using two representative surveillance video sequences.     

Bragg Edge Neutron Transmission Strain Tomography in Granular Systems

The advent of pixelated detectors for time‐of‐flight neutron transmission experiments has raised significant interest in terms of the potential for tomographic reconstructions of triaxial strain distributions. A recent publication by Lionheart and Withers [WRB Lionheart and PJ Withers, “Diffraction tomography of strain”, Inverse Problems, v31:045005, 2015] has demonstrated that reconstruction is not possible in the general sense; however, various special cases may exist. In this paper, we outline a process by which it is possible to tomographically reconstruct average triaxial elastic strains within individual particles in a granular assembly from a series of Bragg edge strain measurements. This algorithm is tested on simulated data in two and three dimensions and is shown to be capable of rejecting Gaussian measurement noise. Sources of systematic error that may present problems in an experimental implementation are briefly discussed.     

Analyzing execution traces: critical-path analysis and distance analysis

International Journal on Software Tools for Technology Transfer - System designers make trade-offs between metrics of interest such as execution time, functional quality and cost to create a...     

Stability of sitting postures: the influence of degrees of freedom

Observational studies of sitting have shown that, during spontaneous sitting, people adopt a variety of postures. Various researchers have formulated theories to explain why people adopt their sitting postures. Branton (1969) hypothesized that there is continual need for postural stability while sitting. Dempster (1955) stated that additional stability could be obtained through temporarily closing chains of body segments, or, in other words, through decreasing the number of degrees of freedom of the body. The present study elaborates on Dempster's theory. The aim of this study was to determine the influence of the degrees of freedom of the body on postural stability in sitting postures. For 21 different sitting postures, the total number of degrees of freedom was determined. Postural sway, a measure for postural stability, was determined using a 3D motion and position measurement system with ten healthy subjects. This study shows that the mean path length at the level of the second thoracic vertebra (PL0.05), a measure derived from postural sway, increases significantly (p < 0.0001) with an increase of the number of degrees of freedom of the body (DoFB). Closer examination of the data showed that a model taking into account only the degrees of freedom of the lumbar and thoracic spine and pelvis seems to be a better predictor of postural sway than the total number of degrees of freedom of the body.     

Ecological strategies successfully predict the effects of river floodplain rehabilitation on breeding birds

To improve the ecological functioning of riverine ecosystems, large‐scale floodplain rehabilitation has been carried out in the Rhine–Meuse Delta since the 1990s. This paper evaluates changes in abundance of 93 breeding bird species over a period of 10 years in response to rehabilitation, by comparing population changes in 75 rehabilitated sites with 124 non‐rehabilitated reference sites. Such quantitative, multi‐species, large‐scale and long‐term evaluations of floodplain rehabilitation on biodiversity are still scarce, particularly studies that focus on the terrestrial component. We try to understand the effects by relating population trends to ecological and life‐history traits and strategies of breeding birds. More specifically, we try to answer the question whether rehabilitation of vegetation succession or hydro‐geomorphological river processes is the key driver behind recent population changes in rehabilitated sites. Populations of 35 species have significantly performed better in rehabilitated sites compared to non‐rehabilitated floodplains, whereas only 8 have responded negatively to rehabilitation. Differences in effects between species are best explained by the trait selection of nest location. Reproductive investment and migratory behaviour were less strong predictors. Based on these three traits we defined eight life‐history strategies that successfully captured a substantial amount of variation in rehabilitation effects. We conclude that spontaneous vegetation succession and initial excavations are currently more important drivers of population changes than rehabilitation of hydrodynamics. The latter are strongly constrained by river regulation. If rehabilitation of hydro‐geomorphological processes remains incomplete in future, artificial cyclic floodplain rejuvenation will be necessary for sustainable conservation of characteristic river birds. Copyright © 2010 John Wiley & Sons, Ltd.     

Quality Improvement of Granular Wastes-The Effective Way to Recycle Secondary Raw Building Materials

1　IntroductionTherearefourmaintypesofgranularwastematerialslistedinTable 1.Constructionanddemolitionwaste(CDW )arefromtheconstruction ,remodelling ,repairinganddemolishingofbuildingsandotherstructures .Ashesaretheresiduesfromburningofwood ,coal ,andother…