Stable and highly sensitive gas sensors based on semiconducting oxide nanobelts

©2002 American Institute of Physics. The electronic version of this article is the complete one and can be found online at: : http://link.aip.org/link/?APPLAB/81/1869/1DOI:10.1063/1.1504867Gas sensors have been fabricated using the single-crystalline SnO₂ nanobelts. Electrical characterization showed that the contacts were ohmic and the nanobelts were sensitive to environmental polluting species like CO and NO₂ , as well as to ethanol for breath analyzers and food control applications. The sensor response, defined as the relative variation in conductance due to the introduction of the gas, is 4160% for 250 ppm of ethanol and 21550% for 0.5 ppm NO₂ at 400 °C. The results demonstrate the potential of fabricating nanosized sensors using the integrity of a single nanobelt with a sensitivity at the level of a few ppb

Abstract verification and debugging of constraint logic programs

The technique of Abstract Interpretation [13] has allowed the development of sophisticated program analyses which are provably correct and practical. The semantic approximations produced by such analyses have been traditionally applied to optimization during program compilation. However, recently, novel and promising applications of semantic approximations have been proposed in the more general context of program verification and debugging [3],[10],[7]

Mother's or teacher's education? Educational stratification and grade progression in Brazil.

grade progression; education; hierarchical linear model; educational achievement; Brazil

Graphene-zinc oxide based nanomaterials for gas sensing devices

Herein, we report the preparation of a hybrid material by combination of modified graphene and ZnO. The morphological and compositional analyses of the obtained material have been performed by means of scanning electron microscopy and energy dispersive X-ray analysis. The functional properties of the prepared structures have been investigated for their application in gas sensor devices. The gas sensing performance of the hybrid material show that the structure can be used for fabrication of chemical sensors, as well as in electronic nose technology. (C) 2016 The Authors. Published by Elsevier Ltd

Synthesis and gas-sensing properties of pd-doped SnO2 nanocrystals. A case study of a general methodology for doping metal oxide nanocrystals

Pd-modified SnO2 nanocrystals, with a Pd/Sn nominal atomic ratio of 0.025, were prepared by injecting SnO2 sols and a Pd precursor solution into tetradecene and dodecylamine at 160 degrees C. Two different doping procedures were investigated: in co-injection, a Pd acetylacetonate solution in chloroform was mixed with the SnO2 sol before the injection; in sequential injection, the Pd solution was injected separately after the SnO2 sol. The obtained suspensions were heated at the resulting 80 degrees C temperature, then the product was collected by centrifugation and dried at 80 degrees C. When using co-injection, in the dried products PdO and Pd nanoparticles were observed by high-resolution transmission electron microscopy. Only SnO2 nanocrystals were observed in dried products prepared by sequential injection. After heat-treatment at 500 degrees C, no Pd species were observed for both doping procedures. Moreover, X-ray photoelectron spectroscopy showed that, in both the doping procedures, after heat-treatment Pd is distributed only into the SnO2 nanocrystal structure. This conclusion was reinforced by the measurement of the electrical properties of Pd-doped nanocrystals, showing a remarkable increase of the electrical resistance if compared with pure SnO2 nanocrystals. This result was interpreted as Pd insertion as a dopant inside the cassiterite lattice of tin dioxide. The addition of Pd resulted in a remarkable improvement of the gas-sensing properties, allowing the detection of carbon monoxide concentrations below 50 ppm and of very low concentrations (below 25 ppm) of other reducing gases such as ethanol and acetone

Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging

We discuss a framework for the application of abstract interpretation as an aid during program development, rather than in the more traditional application of program optimization. Program validation and detection of errors is first performed statically by comparing (partial) specifications written in terms of assertions against information obtained from (global) static analysis of the program. The results of this process are expressed in the user assertion language. Assertions (or parts of assertions) which cannot be checked statically are translated into run-time tests. The framework allows the use of assertions to be optional. It also allows using very general properties in assertions, beyond the predefined set understandable by the static analyzer and including properties defined by user programs. We also report briefly on an implementation of the framework. The resulting tool generates and checks assertions for Prolog, CLP(R), and CHIP/CLP(fd) programs, and integrates compile-time and run-time checking in a uniform way. The tool allows using properties such as types, modes, non-failure, determinacy, and computational cost, and can treat modules separately, performing incremental analysis

Context-sensitive multivariant assertion checking in modular programs

We propose a modular, assertion-based system for verification and debugging of large logic programs, together with several interesting models for checking assertions statically in modular programs, each with different characteristics and representing different trade-offs. Our proposal is a modular and multivariant extensión of our previously proposed abstract assertion checking model and we also report on its implementation in the CiaoPP system. In our approach, the specification of the program, given by a set of assertions, may be partial, instead of the complete specification required by raditional verification systems. Also, the system can deal with properties which cannot always be determined at compile-time. As a result, the proposed system needs to work with safe approximations: all assertions proved correct are guaranteed to be valid and all errors actual errors. The use of modular, context-sensitive static analyzers also allows us to introduce a new distinction between assertions checked in a particular context or checked in general

Defect study of SnO2 nanostructures by cathodoluminescence analysis: Application to nanowires

Defects in SnO2 nanowires have been studied by cathodoluminescence, and the obtained spectra have been compared with those measured on SnO2 nanocrystals of different sizes in order to reveal information about point defects not determined by other characterization techniques. Dependence of the luminescence bands on the thermal treatment temperatures and pre-treatment conditions have been determined pointing out their possible relation, due to the used treatment conditions, with the oxygen vacancy concentration. To explain these cathodoluminescence spectra and their behavior, a model based on first-principles calculations of the surface oxygen vacancies in the different crystallographic directions is proposed for corroborating the existence of surface state bands localized at energy values compatible with the found cathodoluminescence bands and with the gas sensing mechanisms. CL bands centered at 1.90 and 2.20 eV are attributed to the surface oxygen vacancies 100° coordinated with tin atoms, whereas CL bands centered at 2.37 and 2.75 eV are related to the surface oxygen vacancies 130° coordinated. This combined process of cathodoluminescence and ab initio calculations is shown to be a powerful tool for nanowire defect analysis

Social Entrepreneurship and Social Business: Retrospective and Prospective Research

Ye