Test Generation for Crosstalk-Induced Faults: Framework and Computational Results

Due to technology scaling and increasing clock frequency, problems due to noise effects lead to an increase in design/debugging efforts and a decrease in circuit performance. This paper addresses the problem of efficiently and accurately generating two-vector tests for crosstalk induced effects, such as pulses, signal speedup and slowdown, in digital combinational circuits. These noise effects can propagate through a circuit and create a logic error in a latch or at a primary output. We have developed a mixed-signal test generator, called XGEN, that incorporates classical static values as well as dynamic signals such as transitions and pulses, and timing information such as signal arrival times, rise/fall times, and gate delay. In this paper we first discuss the general framework of the test generation algorithm followed by computational results. Comparison of results with SPICE simulations confirms the accuracy of this approach.     

Water-saving strategies for irrigation agriculture in Saudi Arabia

Agriculture policy changes in Saudi Arabia are investigated by water footprint (WF) assessment. WF is calculated with the model SPARE:WATER for 3758 irrigated sites. The WF of agriculture areas (WF_area, km³ yr^?1) has decreased (–17%) since the year 2000 to 13.84 km³ yr^?1 (2011), which is mainly caused by the reduction of cropland by –33%. Nevertheless, water consumption per field has increased about 16%, which can be attributed to the cultivation of fodder crops (+12%). A scenario analysis revealed that a shifting cropping pattern towards less fodder crops reduces WF_area by –15%, and implementing improved irrigation technology leads to a combined reduction of up to 32%     

Copolymerizations of various ring-fluorinated stilbenes with styrene

Summary The E-isomers of 2-, 3- and 4-fluorostilbene and 4,4-difluorostilbene and also the Z-isomers of 4-fluorostilbene have been examined as comonomers in the radical polymerization of styrene at 60°C. The low levels of incorporation of the fluoro-compounds have been measured by consideration of the 19F-NMR spectra of the copolymers, using fluorobenzene as an internal standard. The reactivities of the various fluorostilbenes towards the polystyrene radical are discussed and compared with those towards the benzoyloxy radical.     

Comparison of some 4- and 4,4′-substituted derivatives of stilbene for their reactivities towards the benzoyloxy radical

Summary 4-Fluoro- and 4,4-difluorostilbene are similar in their reactivities towards the benzoyloxy radical; a similar conclusion has been reached in respect of 4-chloro- with 4,4-dichlorostilbene and 4-phenyl-with 4,4-diphenylstilbene. These results have been obtained by consideration of the numbers of benzoate and phenyl end-groups in poly (methyl methacrylate) made using benzoyl peroxide in the presence of the appropriate derivative of stilbene.     

Effective visualization of complex vascular structures using a non-parametric vessel detection method

The effective visualization of vascular structures is critical for diagnosis, surgical planning as well as treatment evaluation. In recent work, we have developed an algorithm for vessel detection that examines the intensity profile around each voxel in an angiographic image and determines the likelihood that any given voxel belongs to a vessel; we term this the "vesselness coefficient" of the voxel. Our results show that our algorithm works particularly well for visualizing branch points in vessels. Compared to standard Hessian based techniques, which are fine-tuned to identify long cylindrical structures, our technique identifies branches and connections with other vessels. Using our computed vesselness coefficient, we explore a set of techniques for visualizing vasculature. Visualizing vessels is particularly challenging because not only is their position in space important for clinicians but it is also important to be able to resolve their spatial relationship. We applied visualization techniques that provide shape cues as well as depth cues to allow the viewer to differentiate between vessels that are closer from those that are farther. We use our computed vesselness coefficient to effectively visualize vasculature in both clinical neurovascular x-ray computed tomography based angiography images, as well as images from three different animal studies. We conducted a formal user evaluation of our visualization techniques with the help of radiologists, surgeons, and other expert users. Results indicate that experts preferred distance color blending and tone shading for conveying depth over standard visualization techniques.     

More Than Stories With Buttons: Narrative,Mechanics, and Context as Determinants of Player Experience in Digital Games

Recent research has attempted to describe meaningful experiences with entertainment media that go beyond hedonic enjoyment. Most of this research focuses on noninteractive media, such as film and television. When applied to digital games, however, such research needs to account for not only the content of the medium, but also the unique dimensions of digital games that distinguish them from noninteractive media. Experiences with digital games are shaped by the game mechanics that define the users' interaction with game content, as well as by the opportunities for social interaction that many games offer. We argue that the complex interplay of these dimensions (narrative, mechanics, and context) facilitates or inhibits meaningful user experiences in ways that are unique to digital games.     

Flow over periodic hills - Numerical and experimental study in a wide range of Reynolds numbers

The paper presents a detailed analysis of the flow over smoothly contoured constrictions in a plane channel. This configuration represents a generic case of a flow separating from a curved surface with well-defined flow conditions which makes it especially suited as benchmark case for computing separated flows. The hills constrict the channel by about one third of its height and are spaced at a distance of 9 hill heights. This setup follows the investigation of Fröhlich et al. [Fröhlich J, Mellen CP, Rodi W, Temmerman L, Leschziner MA. Highly resolved large-eddy simulation of separated flow in a channel with streamwise periodic constrictions. J Fluid Mech 2005;526:19-66] and complements it by numerical and experimental data over a wide range of Reynolds numbers. We present results predicted by direct numerical simulations (DNS) and highly resolved large-eddy simulations (LES) achieved by two completely independent codes. Furthermore, these numerical results are supported by new experimental data from PIV measurements. The configuration in the numerical study uses periodic boundary conditions in streamwise and spanwise direction. In the experimental setup periodicity is achieved by an array of 10 hills in streamwise direction and a large spanwise extent of the channel. The assumption of periodicity in the experiment is checked by the pressure drop between consecutive hill tops and PIV measurements. The focus of this study is twofold: (i) Numerical and experimental data are presented which can be referred to as reference data for this widely used standard test case. Physical peculiarities and new findings of the case under consideration are described and confirmed independently by different codes and experimental data. Mean velocity and pressure distributions, Reynolds stresses, anisotropy-invariant maps, and instantaneous quantities are shown. (ii) Extending previous studies the flow over periodic hills is investigated in the wide range of Reynolds numbers covering 100?Re?10,595. Starting at very low Re the evolution and existence of physical phenomena such as a tiny recirculation region at the hill crest are documented. The limit to steady laminar flow as well as the transition to a fully turbulent flow stage are presented. For 700?Re?10,595 turbulent statistics are analyzed in detail. Carefully, undertaken DNS and LES predictions as well as cross-checking between different numerical and experimental results build the framework for physical investigations on the flow behavior. New interesting features of the flow were found.