Arsenic deactivation enhanced diffusion and the reverseshort-channel effect

The effect of enhanced diffusion caused by the electrical deactivation of arsenic on the reverse short-channel effect (RSCE) in NMOS devices is investigated. A simple four-mask process was utilized to fabricate deep sub-micron NMOS devices. Source/drain (S/D) implant and anneal conditions were varied in order to determine their implications on the RSCE. Results indicate that when high concentrations of arsenic deactivate, enhanced diffusion occurs, leading to significantly more RSCE. This implies that the dose of the arsenic implant and the subsequent anneals should be carefully considered in source/drain engineering     

Toward two-dimensional self-organization of nanostructures using wafer bonding and nanopatterned silicon surfaces

The structure of ultrathin silicon layers obtained by molecular hydrophobic bonding is investigated. The twist and tilt angles between the two crystals are accurately controlled. The buried Si|Si interface is observed by transmission electron microscopy and by grazing incidence X-ray techniques. For low twist angle values (/spl psi/<5/spl deg/) plane view observations reveal well-defined dislocation networks. Cross-section observations give evidence that the dislocation networks are localized at the bonding interfacial plane with no threading dislocation. Grazing incidence small angle X-ray scattering measurements confirm the good quality of the bonding interface as well as the quality of the dislocation networks. Grazing incidence X-ray diffraction is also used and shows the long-range order of the periodic strain field in the silicon layer. It shows, especially, the interaction between the dislocations. X-ray reflectivity was employed and estimated that the interfacial thickness (i.e., thickness of the bonding) lower than 1 nm decreases when the twist angle increases. The nanopatterned surface is then investigated by scanning tunneling microscopy and X-ray methods. To validate these substrates for long-range order self-organization, the growth of Si and Ge quantum dots is finally achieved.     

CONDITIONING COAL GAS WITH REFRIGERATED METHANOL IN A SYSTEM OF PACKED COLUMNS

Experience with the operation of a pilot-scale unit is used to outline potential difficulties in the operation of acid gas removal systems on gases produced from coal. The pilot plant has been used to condition gases produced from subbituminous coal, devolatilized char, peat and lignite. The solvent used in the acid gas removal system has been refrigerated methyl alcohol. Data from this study document accumulation of hydrocarbons, sulfur and nitrogen compounds, and mercury in the circulating solvent.     

The role of visual complexity and prototypicality regarding first impression of websites: Working towards understanding aesthetic judgments

This paper experimentally investigates the role of visual complexity (VC) and prototypicality (PT) as design factors of websites, shaping users' first impressions by means of two studies. In the first study, 119 screenshots of real websites varying in VC (low vs. medium vs. high) and PT (low vs. high) were rated on perceived aesthetics. Screenshot presentation time was varied as a between-subject factor (50 ms vs. 500 ms vs. 1000 ms). Results reveal that VC and PT affect participants' aesthetics ratings within the first 50 ms of exposure. In the second study presentation times were shortened to 17, 33 and 50 ms. Results suggest that VC and PT affect aesthetic perception even within 17 ms, though the effect of PT is less pronounced than the one of VC. With increasing presentation time the effect of PT becomes as influential as the VC effect. This supports the reasoning of the information-processing stage model of aesthetic processing (Leder et al., 2004), where VC is processed at an earlier stage than PT. Overall, websites with low VC and high PT were perceived as highly appealing.     

Intrinsic nonlinear multiscale image decomposition: A 2D empirical mode decomposition-like tool

Many works have been achieved for analyzing images with a multiscale approach. In this paper, an intrinsic and nonlinear multiscale image decomposition is proposed, based on partial differential equations (PDEs) and the image frequency contents. Our model is inspired from the 2D empirical mode decomposition (EMD) for which a theoretical study is quite nonexistent, mainly because the algorithm is based on heuristic and ad hoc elements making its mathematical study hard. This work has three main advantages. Firstly, we prove that the 2D sifting process iterations are consistent with the resolution of a nonlinear PDE, by considering continuous morphological operators to build local upper and lower envelopes of the image extrema. In addition to the fact that now differential calculus can be performed on envelopes, the introduction of such morphological filters eliminates the interpolation dependency that also terribly suffers the method. Also, contrary to former 2D empirical modes, precise mathematical definition for a class of functions are now introduced thanks to the nonlinear PDE derived from the consistency result, and their characterization on the basis of Meyer spaces. Secondly, an intrinsic multiscale image decomposition is introduced based on the image frequency contents; the proposed approach almost captures the essence and philosophy of the 2D EMD and is linked to the well known Absolutely Minimizing Lipschitz Extension model. Lastly, the proposed multiscale decomposition allows a reconstruction of images. The filterbank capability of the new multiscale decomposition algorithm is shown both on synthetic and real images, and results show that our proposed approach improves a lot on the 2D EMD. Moreover, the complexity of the proposed multiscale decomposition is very reduced compared to the 2D EMD by avoiding the surface interpolation approach, which is the core of all 2D EMD algorithms and is very time consuming. For that purpose also, our work will then be a great benefit; especially, in higher dimension spaces.     

Truck driver scheduling in Canada

This paper presents and studies the Canadian Truck Driver Scheduling Problem (CAN-TDSP), which is the problem of determining whether a sequence of locations can be visited within given time windows in such a way that driving and working activities of truck drivers comply with Canadian Commercial Vehicle Drivers Hours of Service Regulations. Canadian regulations comprise the provisions found in US hours of service regulations as well as additional constraints on the maximum amount of driving and the minimum amount of off-duty time on each day. We present two heuristics and an exact approach for solving the CAN-TDSP. Computational experiments demonstrate the effectiveness of our approaches and indicate that Canadian regulations are significantly more permissive than US hours of service regulations.     

Constructive model-based analysis for safety assessment

The aerospace industry still uses fault trees to perform reliability analysis. This is because fault-tree modeling and analysis (FTA) seems easier to practical engineers when compared with Markov models, even though FTA provides a weaker form of analysis. In this paper, we propose an automatic strategy for generating Markov-based models and corresponding analysis formulations, according to ARP 4761, directly from Simulink diagrams annotated with failure information. The generated Markov-based models are expressed in the formal language PRISM, and the analysis is carried out by the PRISM model checker. The strategy is compositional and based on a comprehensive set of translation rules from Simulink to PRISM. We briefly address soundness and completeness of the rules and, to illustrate the application of the strategy, we apply it to a classical avionics case study: an actuator control system.     

Model-based testing of software and systems: recent advances and challenges

Model-based testing is focused on testing techniques which rely on the use of models. The diversity of systems and software to be tested implies the need for research on a variety of models and methods for test automation. We briefly review this research area and introduce several papers selected from the 22nd International Conference on Testing Software and Systems (ICTSS).