Synthesis of ZnO-based varistor precursor powders by means of the reaction spray process

High-purity, fine-grained oxide ceramic powders that are commonly used for ZnO-based varistors were synthesized by means of the reaction spray process. Processing steps included formation of the solutions of zinc nitrate and/or certain metal additives and spraying of the solution into a heated reaction column using a two-phase nozzle. After water evaporation from the droplets, the precursor salts were decomposed at elevated temperatures (up to 1473 K) in order to obtain homogeneous oxide powders with complex compositions corresponding to the final multicomponent varistor system. The decomposition behaviour of the precursors, as well as the characteristics of the resulting powders: crystallinity, phase composition, particle shape, morphology and particle-size distribution, were examined. It was shown that the characteristics of the reaction spray-derived powders can be controlled by adjusting the system and the solutions parameters.     

Designing fast LTL model checking algorithms for many-core GPUs

Recent technological developments made various many-core hardware platforms widely accessible. These massively parallel architectures have been used to significantly accelerate many computation demanding tasks. In this paper, we show how the algorithms for LTL model checking can be redesigned in order to accelerate LTL model checking on many-core GPU platforms. Our detailed experimental evaluation demonstrates that using the NVIDIA CUDA technology results in a significant speedup of the verification process. Together with state space generation based on shared hash-table and DFS exploration, our CUDA accelerated model checker is the fastest among state-of-the-art shared memory model checking tools.     

Incompetence and impact of training in bimatrix games

The concept of games with incompetence has been introduced to better represent games where players may not be capable of executing strategies that they select. In particular this paper introduces incompetence into bimatrix games and investigates the properties of such games. The results obtained describe both the general dependence of “extreme Nash equilibrium payoffs” on incompetence and special behaviour arising in particular cases. The dependence of the payoffs can be complex and include non-linearities and transition points. Transition points occur when kernels change and may result in the number of “extreme Nash equilibria” changing. Understanding these changes allows the determination of the benefits of regimes that seek to decrease a player’s incompetence. While the games we consider are normally static, in our context there is a hidden dynamics resulting from the fact that players will strive to improve their equilibrium payoffs by changing their incompetence levels. This might require training, in the case of games like tennis, or it might require the purchase of new equipment costing billions of dollars, in the case of military applications.     

Treatability of Alternative Fuel Oxygenates Using Advanced Oxidation, Air Stripping, and Carbon Adsorption

Methyl tert-butyl ether (MTBE) is a gasoline oxygenate that has become a significant threat to groundwater supplies across the United States. Due to its physiochemical properties it has proven difficult and costly to remove from contaminated sites. This study was conducted to determine whether the alternative oxygenates (AO)—diisopropyl ether (DIPE), ethyltert-butyl ether (ETBE), tert-amyl methyl ether (TAME), tert-butyl alcohol (TBA), and ethanol (EtOH)—present a more efficient and less costly option from a remediation standpoint. Air stripping, carbon adsorption, and ultraviolet/H2O2 and O3/H2O2 advanced oxidation processes were examined at pilot scale to develop design parameters from which technical and economic comparisons were made for each alternative oxygenate versus MTBE. The experimental results showed that the ether AOs—DIPE, TAME, and ETBE—were each more efficiently and more economically treated than MTBE. The alternative alcohol oxygenates—TBA and EtOH—were less efficiently and less economically treated by the processes studied. The paper details the effects of primary process parameters and properties of individual oxygenates on process efficiency.     

In‐situ Observations of Nanoscale Effects in Germanium Nanowire Growth with Ternary Eutectic Alloys

Vapour‐liquid‐solid (VLS) techniques are popular routes for the scalable synthesis of semiconductor nanowires. In this article, in‐situ electron microscopy is used to correlate the equilibrium content of ternary (Au_0.75Ag_0.25–Ge and Au_0.65Ag_0.35–Ge) metastable alloys with the kinetics, thermodynamics and diameter of Ge nanowires grown via a VLS mechanism. The shape and geometry of the heterogeneous interfaces between the liquid eutectic and solid Ge nanowires varies as a function of nanowire diameter and eutectic alloy composition. The behaviour of the faceted heterogeneous liquid–solid interface correlates with the growth kinetics of the nanowires, where the main growth facet at the solid nanowire–liquid catalyst drop contact line lengthens for faster nanowire growth kinetics. Pronounced diameter dependent growth kinetics, as inferred from liquid–solid interfacial behaviour, is apparent for the synthesised nanowires. Direct in‐situ microscopy observations facilitates the comparison between the nanowire growth behaviour from ternary (Au–Ag–Ge) and binary (Au–Ge) eutectic systems.     

Memory for multiple visual ensembles in infancy.

The number of individual items that can be maintained in working memory is limited. One solution to this problem is to store representations of ensembles that contain summary information about large numbers of items (e.g., the approximate number or cumulative area of a group of many items). Here we explored the developmental origins of ensemble representations by asking whether infants represent ensembles and, if so, how many at one time. We habituated 9-month-old infants to arrays containing 2, 3, or 4 spatially intermixed colored subsets of dots, then asked whether they detected a numerical change to one of the subsets or to the superset of all dots. Experiment Series 1 showed that infants detected a numerical change to 1 of the subsets when the array contained 2 subsets but not 3 or 4 subsets. Experiment Series 2 showed that infants detected a change to the superset of all dots no matter how many subsets were presented. Experiment 3 showed that infants represented both the approximate number and the cumulative surface area of these ensembles. Our results suggest that infants, like adults (Halberda, Sires, & Feigenson, 2006), can store quantitative information about 2 subsets plus the superset: a total of 3 ensembles. This converges with the known limit on the number of individual objects infants and adults can store and suggests that, throughout development, an ensemble functions much like an individual object for working memory. (PsycINFO Database Record (c) 2011 APA, all rights reserved)     

A core knowledge architecture of visual working memory: Correction to Wood (2011).

Reports an error in A core knowledge architecture of visual working memory by Justin N. Wood (Journal of Experimental Psychology: Human Perception and Performance, 2011[Apr], Vol 37[2], 357-381). The supplemental materials DOI is incorrect. The correct DOI for the supplemental materials is provided in the erratum. (The following abstract of the original article appeared in record 2011-06411-002.) Visual working memory (VWM) is widely thought to contain specialized buffers for retaining spatial and object information: a 'spatial-object architecture.' However, studies of adults, infants, and nonhuman animals show that visual cognition builds on core knowledge systems that retain more specialized representations: (1) spatiotemporal representations for object tracking, (2) object identity representations for object recognition, and (3) view-dependent snapshots for place recognition. In principle, these core knowledge systems may retain information separately from one another. Consistent with this hypothesis, this study provides evidence that these three types of information are subject to independent working memory storage limits. These results, combined with those from previous studies, indicate that VWM contains three specialized buffers for retaining spatiotemporal information, object identity information, and snapshot information. Thus, VWM buffers parallel core knowledge systems. This 'core knowledge architecture' links the study of visual working memory to the study of the biological foundations of visual cognition. (PsycINFO Database Record (c) 2011 APA, all rights reserved)