Some studies on a solid state sulphur probe for coal gasification system

Measurements on the solid electrolyte cell(Ar -b H2 ~ H2S/CaS + CaF2 ~- ( P t ) / / C a F 2 / / ( P t )-~- CaF2 ~ CaS/H2S ~- H2 ~- At) show that the emf of the cell is directly related through the Nernst equation to the difference in sulfur potentials established at the two Ar ~- H2 ~ H2S/electrode interfaces. The electrodes are designed to convert the sulfur potential gradient across the calcium fluoride electrolyte into an equivalent fluorine potential gradient with the aid of the reaction, CaF2(s) ~ 1~ S2(g)-e CaS(s) ~- F2(g). The response time of the probe varies from approximately 9 hr at 990~ to 2.5 hr at 1225~ The conversion of calcium sulfide and/or calcium fluoride into calcium oxide should not be a problem in anticipated commercial coal gasification systems. Suggestions are presented for improving the cell for such commercial applications.

Null Dereference Verification via Over-approximated Weakest Pre-conditions Analysis

Null dereferences are a bane of programming in languages such as Java. In this paper we propose a sound, demand-driven, inter-procedurally context-sensitive dataflow analysis technique to verify a given dereference as safe or potentially unsafe. Our analysis uses an abstract lattice of formulas to find a pre-condition at the entry of the program such that a null-dereference can occur only if the initial state of the program satisfies this pre-condition. We use a simplified domain of formulas, abstracting out integer arithmetic, as well as unbounded access paths due to recursive data structures. For the sake of precision we model aliasing relationships explicitly in our abstract lattice, enable strong updates, and use a limited notion of path sensitivity. For the sake of scalability we prune formulas continually as they get propagated, reducing to true conjuncts that are less likely to be useful in validating or invalidating the formula. We have implemented our approach, and present an evaluation of it on a set of ten real Java programs. Our results show that the set of design features we have incorporated enable the analysis to (a) explore long, inter-procedural paths to verify each dereference, with (b) reasonable accuracy, and (c) very quick response time per dereference, making it suitable for use in desktop development environments.

Gas-phase synthesis of size-classified polyhedral In(2)O(3) nanoparticles

Monodisperse polyhedral In(2)O(3) nanoparticles were synthesized by differential mobility classification of a polydisperse aerosol formed by evaporation of indium at atmospheric pressure. When free molten indium particles oxidize, oxygen is absorbed preferentially on certain planes leading to the formation of polyhedral In(2)O(3) nanoparticles. It is shown that the position of oxygen addition, its concentration, the annealing temperature and the type of carrier gas are crucial for the resulting particle shape and crystalline quality. Semiconducting nanopolyhedrals, especially nanocubes used for sensors, are expected to offer enhanced sensitivity and improved response time due to the higher surface area as compared to spherical particles.

Mutual inhibition and capacity sharing during parallel preparation of serial eye movements

Many common activities, like reading, scanning scenes, or searching for an inconspicuous item in a cluttered environment, entail serial movements of the eyes that shift the gaze from one object to another. Previous studies have shown that the primate brain is capable of programming sequential saccadic eye movements in parallel. Given that the onset of saccades directed to a target are unpredictable in individual trials, what prevents a saccade during parallel programming from being executed in the direction of the second target before execution of another saccade in the direction of the first target remains unclear. Using a computational model, here we demonstrate that sequential saccades inhibit each other and share the brain's limited processing resources (capacity) so that the planning of a saccade in the direction of the first target always finishes first. In this framework, the latency of a saccade increases linearly with the fraction of capacity allocated to the other saccade in the sequence, and exponentially with the duration of capacity sharing. Our study establishes a link between the dual-task paradigm and the ramp-to-threshold model of response time to identify a physiologically viable mechanism that preserves the serial order of saccades without compromising the speed of performance.

Causality analysis of groundwater dynamics based on a Vector Autoregressive model in the semi-arid basin of Gundal (South India)

Causal relationships existing between observed levels of groundwater in a semi-arid sub-basin of the Kabini River basin (Karnataka state, India) are investigated in this study. A Vector Auto Regressive model is used for this purpose. Its structure is built on an upstream/downstream interaction network based on observed hydro-physical properties. Exogenous climatic forcing is used as an input based on cumulated rainfall departure. Optimal models are obtained thanks to a trial approach and are used as a proxy of the dynamics to derive causal networks. It appears to be an interesting tool for analysing the causal relationships existing inside the basin. The causal network reveals 3 main regions: the Northeastern part of the Gundal basin is closely coupled to the outlet dynamics. The Northwestern part is mainly controlled by the climatic forcing and only marginally linked to the outlet dynamic. Finally, the upper part of the basin plays as a forcing rather than a coupling with the lower part of the basin allowing for a separate analysis of this local behaviour. The analysis also reveals differential time scales at work inside the basin when comparing upstream oriented with downstream oriented causalities. In the upper part of the basin, time delays are close to 2 months in the upward direction and lower than 1 month in the downward direction. These time scales are likely to be good indicators of the hydraulic response time of the basin which is a parameter usually difficult to estimate practically. This suggests that, at the sub-basin scale, intra-annual time scales would be more relevant scales for analysing or modelling tropical basin dynamics in hard rock (granitic and gneissic) aquifers ubiquitous in south India. (c) 2012 Elsevier B.V. All rights reserved.

Green synthesis of biopolymer-silver nanoparticle nanocomposite: An optical sensor for ammonia detection

Biopolymer used for the production of nanoparticles (NPs) has attracted increasing attention. In the presence article we use aqueous solution of polysaccharide Cyamopsis tetragonaloba commonly known as guar gum (GG), from plants. GG acts as reductive preparation of silver nanoparticles which are found to be <10. nm in size. The uniformity of the NPs size was measured by the SEM and TEM, while a face centered cubic structure of crystalline silver nanoparticles was characterized using powder X-ray diffraction technique. Aqueous ammonia sensing study of polymer/silver nanoparticles nanocomposite (GG/AgNPs NC) was performed by optical method based on surface plasmon resonance (SPR). The performances of optical sensor were investigated which provide the excellent result. The response time of 2-3. s and the detection limit of ammonia solution, 1. ppm were found at room temperature. Thus, in future this room temperature optical ammonia sensor can be used for clinical and medical diagnosis for detecting low ammonia level in biological fluids, such as plasma, sweat, saliva, cerebrospinal liquid or biological samples in general for various biomedical applications in human. © 2012 Elsevier B.V.

A novel gas flow sensing application using piezoelectric ZnO thin films deposited on Phynox alloy

We report on the novel flow sensing application of piezoelectric ZnO thin film deposited on Phynox alloy sensing element. Characterization of piezoelectric ZnO films deposited on Phynox (Elgiloy) substrate at different RF powers is discussed. ZnO films deposited at RF power of 100W were found to have fine c-axis orientation, possesses excellent surface morphology with lower rms surface roughness of 1.87 nm and maximum d(31) coefficient value 4.7 pm V-1. The thin cantilever strip of Phynox alloy with ZnO film as a sensing layer for flow sensing has been tested for flow rates ranging from 2 to 18 L min(-1). A detailed theoretical analysis of the experimental set-up showing the relationship between output voltage and force at a particular flow rate has been discussed. The sensitivity of now sensing element is similar to 18 mV/(L min(-1)) and typical response time is of the order of 20 m s. The sensing element is calibrated using in-house developed testing set-up. (C) 2012 Elsevier B.V. All rights reserved.

ZnO/Poly(3,4-ethylenedioxythiophene) Poly(styrenesulfonate) Based Ultraviolet and Visible Photodetectors: Role of Defects

Here, we report the ZnO/poly(3,4-ethylenedioxythiophene) poly(styrenesulfonate) (PEDOT:PSS) based photodetectors that can response to ultraviolet as well as visible light. The temporal response of the heterostructures for various excitations in the ultraviolet (UV) and visible range are performed. The time constants are found to be excitation-dependent, the response to visible light is better as compared to UV. The reason behind the better response to UV light is the high level of defects present in ZnO as confirmed by the photoluminescence (PL) measurements. This is corroborated by the time resolved fluorescence (TRF) measurements which provides sufficient information behind the slow response time under the UV excitations. The possible explanation being the non-radiative recombinations occurring due to the traps or impurities present in the film which slows down the photoresponse.

A dynamic bandwidth allocation scheme for interactive multimedia applications over cellular networks

Cellular networks played key role in enabling high level of bandwidth for users by employing traditional methods such as guaranteed QoS based on application category at radio access stratum level for various classes of QoSs. Also, the newer multimode phones (e.g., phones that support LTE (Long Term Evolution standard), UMTS, GSM, WIFI all at once) are capable to use multiple access methods simulta- neously and can perform seamless handover among various supported technologies to remain connected. With various types of applications (including interactive ones) running on these devices, which in turn have different QoS requirements, this work discusses as how QoS (measured in terms of user level response time, delay, jitter and transmission rate) can be achieved for interactive applications using dynamic bandwidth allocation schemes over cellular networks. In this work, we propose a dynamic bandwidth allocation scheme for interactive multimedia applications with/without background load in the cellular networks. The system has been simulated for many application types running in parallel and it has been observed that if interactive applications are to be provided with decent response time, a periodic overhauling of policy at admission control has to be done by taking into account history, criticality of applications. The results demonstrate that interactive appli- cations can be provided with good service if policy database at admission control is reviewed dynamically.

Efficient asynchronous executions of AMR computations and visualization on a GPU system

Adaptive Mesh Refinement is a method which dynamically varies the spatio-temporal resolution of localized mesh regions in numerical simulations, based on the strength of the solution features. In-situ visualization plays an important role for analyzing the time evolving characteristics of the domain structures. Continuous visualization of the output data for various timesteps results in a better study of the underlying domain and the model used for simulating the domain. In this paper, we develop strategies for continuous online visualization of time evolving data for AMR applications executed on GPUs. We reorder the meshes for computations on the GPU based on the users input related to the subdomain that he wants to visualize. This makes the data available for visualization at a faster rate. We then perform asynchronous executions of the visualization steps and fix-up operations on the CPUs while the GPU advances the solution. By performing experiments on Tesla S1070 and Fermi C2070 clusters, we found that our strategies result in 60% improvement in response time and 16% improvement in the rate of visualization of frames over the existing strategy of performing fix-ups and visualization at the end of the timesteps.

Nanocomposite based flexible ultrasensitive resistive gas sensor for chemical reactions studies

Room temperature operation, low detection limit and fast response time are highly desirable for a wide range of gas sensing applications. However, the available gas sensors suffer mainly from high temperature operation or external stimulation for response/recovery. Here, we report an ultrasensitive-flexible-silver-nanoparticle based nanocomposite resistive sensor for ammonia detection and established the sensing mechanism. We show that the nanocomposite can detect ammonia as low as 500 parts-per-trillion at room temperature in a minute time. Furthermore, the evolution of ammonia from different chemical reactions has been demonstrated using the nanocomposite sensor as an example. Our results demonstrate the proof-of-concept for the new detector to be used in several applications including homeland security, environmental pollution and leak detection in research laboratories and many others.

Carbon nanotube-ZnO nanowire hybrid architectures as multifunctional devices

We report on multifunctional devices based on CNT arrays-ZnO nanowires hybrid architectures. The hybrid structure exhibit excellent high current Schottky like behavior with ZnO as p-type and an ideality factor close to the ideal value. Further the CNT-ZnO hybrid structures can be used as high current p-type field effect transistors that can deliver currents of the order of milliamperes and also can be used as ultraviolet detectors with controllable current on-off ratio and response time. The p-type nature of ZnO and possible mechanism for the rectifying characteristics of CNT-ZnO has been presented.

A Vision-Based Micro-Newton Static Force Sensor Using a Displacement-Amplifying Compliant Mechanism (DaCM)

A micro-newton static force sensor is presented here as a packaged product. The sensor, which is based on the mechanics of deformable objects, consists of a compliant mechanism that amplifies the displacement caused by the force that is to be measured. The output displacement, captured using a digital microscope and analyzed using image processing techniques, is used to calculate the force using precalibrated force-displacement curve. Images are scanned in real time at a frequency of 15 frames per second and sampled at around half the scanning frequency. The sensor was built, packaged, calibrated, and tested. It has simulated and measured stiffness values of 2.60N/m and 2.57N/m, respectively. The smallest force it can reliably measure in the presence of noise is about 2 mu N over a range of 1.4mN. The off-the-shelf digital microscope aside, all of its other components are purely mechanical; they are inexpensive and can be easily made using simple machines. Another highlight of the sensor is that its movable and delicate components are easily replaceable. The sensor can be used in aqueous environment as it does not use electric, magnetic, thermal, or any other fields. Currently, it can only measure static forces or forces that vary at less than 1Hz because its response time and bandwidth are limited by the speed of imaging with a camera. With a universal serial bus (USB) connection of its digital microscope, custom-developed graphical user interface (GUI), and related software, the sensor is fully developed as a readily usable product.

A napthelene-pyrazol conjugate: Al(III) ion-selective blue shifting chemosensor applicable as biomarker in aqueous solution

A newly synthesized and crystalographically characterized napthelene-pyrazol conjugate, 1-(5-phenyl-1H-pyrazole-3-ylimino)-methyl]-naphthalen-2-ol (HL) behaves as an Al(III) ion-selective chemosensor through internal charge transfer (ICT)-chelation-enhanced fluorescence (CHEF) processes in 100 mM HEPES buffer (water-DMSO 5 : 1, v/v) at biological pH with almost no interference of other competitive ions. This mechanism is readily studied from electronic, fluorimetric and H-1 NMR titration. The probe (HL) behaved as a highly selective fluorescent sensor for Al(III) ions as low as 31.78 nM within a very short response time (15-20 s). The sensor (HL), which has no cytotoxicity, is also efficient in detecting the distribution of Al(III) ions in HeLa cells via image development under fluorescence microscope.

Discovering Math APIs by Mining Unit Tests

In today's API-rich world, programmer productivity depends heavily on the programmer's ability to discover the required APIs. In this paper, we present a technique and tool, called MATHFINDER, to discover APIs for mathematical computations by mining unit tests of API methods. Given a math expression, MATHFINDER synthesizes pseudo-code to compute the expression by mapping its subexpressions to API method calls. For each subexpression, MATHFINDER searches for a method such that there is a mapping between method inputs and variables of the subexpression. The subexpression, when evaluated on the test inputs of the method under this mapping, should produce results that match the method output on a large number of tests. We implemented MATHFINDER as an Eclipse plugin for discovery of third-party Java APIs and performed a user study to evaluate its effectiveness. In the study, the use of MATHFINDER resulted in a 2x improvement in programmer productivity. In 96% of the subexpressions queried for in the study, MATHFINDER retrieved the desired API methods as the top-most result. The top-most pseudo-code snippet to implement the entire expression was correct in 93% of the cases. Since the number of methods and unit tests to mine could be large in practice, we also implement MATHFINDER in a MapReduce framework and evaluate its scalability and response time.