A Compact Model for Valence-Band Electron Tunneling Current in Partially Depleted SOI MOSFETs

The valence-band electron (EVB) tunneling current in partially depleted silicon-on-insulator (SOI) MOSFETs increases as the gate oxide gets thinner and affects the dynamic behavior of devices and circuits. We present an engineering model of EVB tunneling current based on the surface-potential formulation. The new model is implemented in a SOI MOSFET compact model and is used to study the impact of EVB tunneling on circuit performance. Simulations of stacked logic gates show that the EVB tunneling current not only boosts circuit switching speed but also mitigates the history dependence of propagation delays     

Automated verification of code automatically generated from Simulink®

The CLawZ toolset independently and automatically proves the correctness of code automatically generated by a commercial auto-code generator for the Simulink^® modelling language. The use of formal methods is invisible to the user and it has been shown to lead to faster development of correct code. The CLawZ toolset has been continually developed and used for over a decade to prove the correctness of embedded real time safety critical software for Eurofighter Typhoon. The only requirement on the commercial auto-coder is that it provides traceability information between the signal wires in a Simulink^® model and the program variables that implement them.     

Analysis of adaptive sampling techniques for underwater vehicles

A critical problem in planning sampling paths for autonomous underwater vehicles (AUVs) is correctly balancing two issues. First, obtaining an accurate scalar field estimation and second, efficiently utilizing the stored energy capacity of the sampling vehicle. Adaptive sampling approaches can only provide solutions when real time and a priori environmental data is available. In this paper we present an analysis of adaptive sampling methodologies for AUVs. In particular, we analyze various sampling path strategies including systematic and stratified random patterns within a wide range of sampling densities and their impact in the energy consumption of the vehicle through a cost-evaluation function. Our study demonstrates that a systematic spiral sampling path strategy is optimal for high-variance scalar fields for all sampling densities and low-variance scalar fields when sampling is sparse. In addition, our results show that the random spiral sampling path strategy is found to be optimal for low-variance scalar fields when sampling is dense.     

Improving visual inspection using binocular rivalry

In this study, we solve the non-identical parallel CNC machine scheduling problem. We have two objectives: minimizing the manufacturing cost (comprising machining, non-machining and tooling costs) and minimizing the total weighted tardiness. The tooling constraints affect the non-machining times as well as the machining conditions, such as cutting speed and feed rate, which in turn specify the machining times and tool lives. We propose a two-stage algorithm to find optimal machining conditions and to determine machine allocation, tool allocation and part scheduling decisions. The proposed algorithm generates different schedules according to the relative importance of the objectives.     

Neurocognitive signs in prodromal Huntington disease.

Objective: PREDICT-HD is a large-scale international study of people with the Huntington disease (HD) CAG-repeat expansion who are not yet diagnosed with HD. The objective of this study was to determine the stage in the HD prodrome at which cognitive differences from CAG-normal controls can be reliably detected. Method: For each of 738 HD CAG-expanded participants, we computed estimated years to clinical diagnosis and probability of diagnosis in 5 years based on age and CAG-repeat expansion number (Langbehn, Brinkman, Falush, Paulsen, & Hayden, 2004). We then stratified the sample into groups: NEAR, estimated to be ≤9 years; MID, between 9 and 15 years; and FAR, ≥15 years. The control sample included 168 CAG-normal participants. Nineteen cognitive tasks were used to assess attention, working memory, psychomotor functions, episodic memory, language, recognition of facial emotion, sensory–perceptual functions, and executive functions. Results: Compared with the controls, the NEAR group showed significantly poorer performance on nearly all of the cognitive tests and the MID group on about half of the cognitive tests (p = .05, Cohen's d NEAR as large as ?1.17, MID as large as ?0.61). One test even revealed significantly poorer performance in the FAR group (Cohen's d = ?0.26). Individual tasks accounted for 0.2% to 9.7% of the variance in estimated proximity to diagnosis. Overall, the cognitive battery accounted for 34% of the variance; in comparison, the Unified Huntington's Disease Rating Scale motor score accounted for 11.7%. Conclusions: Neurocognitive tests are robust clinical indicators of the disease process prior to reaching criteria for motor diagnosis of HD. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Understanding the mechanisms behind coking pressure: Relationship to pore structure

During carbonisation coal undergoes both physical and chemical changes that result in the generation of gas and tar and the formation of an intermediate plastic state. This transformation is known to generate high internal gas pressures for some coals during carbonisation that translate to high pressures at the oven wall. In this study, three low volatile coals A, B and C with oven wall pressures of 100 kPa, 60 kPa and 20 kPa respectively were investigated using high-temperature rheometry, ¹H NMR, thermogravimetric analysis and SEM, with the primary aim to better understand the mechanisms behind the coking pressure phenomenon. Rheometer plate displacement measurements (ΔL) have shown differences in the expansion and contraction behaviour of the three coals, which seem to correlate with changes in rheological properties; while SEM images have shown that the expansion process coincides with development of pore structure. It is considered that the point of maximum plate height (ΔL_max) prior to contraction may be indicative of a cell opening or pore network forming process, based on analogies with other foam systems. Such a process may be considered important for coking pressure since it provides a potential mechanism for volatile escape, relieving internal gas pressure and inducing charge contraction. For coal C, which has the highest fluidity ΔL_max occurs quite early in the softening process and consequently a large degree of contraction is observed; while for the lower fluidity coal B, the process is delayed since pore development and consequently wall thinning progress at a slower rate. When ΔL_max is attained, a lower degree of contraction is observed because the event occurs closer to resolidification where the increasing viscosity/elasticity can stabilise the expanded pore structure. For coal A which is relatively high fluidity, but also high coking pressure, a greater degree of swelling is observed prior to cell rupture, which may be due to greater fluid elasticity during the expansion process. This excessive expansion is considered to be a potential reason for its high coking pressure.     

Stress-induced destabilization of solidification and melting fronts

The morphological evolution of the initially planar solidification and melting fronts of a thin liquid film in a stressed binary alloy has been investigated when diffusion only proceeds in the liquid phase. A linear stability analysis has been performed and the diffusion-controlled evolution of the shape of both fronts has been characterized. The destabilizing effect of stress on the profiles of the interfaces has been identified for a liquid film at rest when the solid is submitted to constant stress and when it is migrating, due to stress gradient, in the hypothesis where concentration field of solute satisfy Laplace’s equation. The possibility of roughness formation in the early beginning of the development of the solid–liquid interfaces has been finally discussed for alloys in the context of a liquid film migration mechanism.     

Big Brother Has Been Here All Along.

As a management consultant with a company who create products for E-businesses in the field of secure data exchange, I am constantly asked for my views on the RIP Bill. As most of you will know, RIP stands for ‘Regulation of Investigatory Powers’, and the Bill is designed to allow MI5 to monitor information exchanged over the Internet.