Test and Reliability in Approximate Computing

This paper presents an overview of test and reliability approaches for approximate computing architectures. We focus on how specific methods for test and reliability can be used to improve the characteristics of approximate computing in terms of power consumption, area, life expectancy and precision. This paper does not address specification and design of approximate hardware/software/algorithms, but provides an in-depth knowledge on how the reliability and test related techniques can be efficiently used to maximize the benefits of approximate computing.     

Łukasiewicz logic and Riesz spaces

We initiate a deep study of Riesz MV-algebras which are MV-algebras endowed with a scalar multiplication with scalars from \([0,1]\) . Extending Mundici’s equivalence between MV-algebras and \(\ell \) -groups, we prove that Riesz MV-algebras are categorically equivalent to unit intervals in Riesz spaces with strong unit. Moreover, the subclass of norm-complete Riesz MV-algebras is equivalent to the class of commutative unital C \(^*\) -algebras. The propositional calculus \({\mathbb R}{\mathcal L}\) that has Riesz MV-algebras as models is a conservative extension of ?ukasiewicz \(\infty \) -valued propositional calculus and is complete with respect to evaluations in the standard model \([0,1]\) . We prove a normal form theorem for this logic, extending McNaughton theorem for ? ukasiewicz logic. We define the notions of quasi-linear combination and quasi-linear span for formulas in \({\mathbb R}{\mathcal L},\) and relate them with the analogue of de Finetti’s coherence criterion for \({\mathbb R}{\mathcal L}\) .     

A theoretical study of solvent effects on Kolbe-Schmitt reaction kinetics

A theoretical DFT study was employed to confirm the Kolbe-Schmitt reaction mechanism and investigate solvent effects on this reaction. The use of a solvent in the Kolbe-Schmitt reaction is desirable to facilitate a homogeneous reaction mixture and potentially improve the reaction rate. The candidate solvents were designed using computer aided molecular design (CAMD) and tested using DFT solvation calculations. The results from the quantum mechanical calculations were then used to determine the rate constants for each elementary step, the overall reaction yields and the corresponding residence time. The methodology was tested on the reaction without solvent, with solvents reported in the literature, and with the designed solvents. The study revealed that in the presence of solvents with high dielectric constant the reaction becomes reversible, leading to low product yields.     

Determination of R‐Deprenyl using a Maltodextrin‐Based Enantioselective,Potentiometric Membrane Electrode

Abstract

The enantioselective, potentiometric membrane electrode (EPME) based on maltodextrin with dextrose equivalence (DE) 16.5–19.5 is proposed for the assay of R‐deprenyl. The linear concentration range for the proposed electrode is 10^?10?10^?3 mol L^?1. The slope of the electrode is 53.1 mV per decade of concentration. The detection limit is 3.6×10^?11 mol L^?1. The proposed electrode could be reliably employed for the assay of R‐deprenyl raw material and its pharmaceutical formulation, Lentogesic tablets.     

Multiple factor design for reactive mixture selection for use in reactive walls in mine drainage treatment.

Sulfate-reducing reactive walls installed in situ in the path of acid mine drainage contaminated groundwater, present a promising passive treatment technology. However, a rigorous and methodical selection of the most appropriate reactive mixture composition still needs to be investigated. The aim of this study was the selection of the most reactive medium using a multiple factor design and the modeling of the sulfate-reduction rate. Reactivity of 17 mixtures was assessed in batch reactors (in duplicates) using a synthetic AMD. Results indicate that within 41 days, sulfate concentrations decreased from initial concentrations of 2,000-3,200 mg/l to final concentrations of <90 mg/l. Metal removal efficiencies ranged between 51-84% for Ni and 73-93% for Zn. Generated sulfate-reduction rate predictive models which had very satisfactory parameters (R2 = 0.86, F = 62.38 (p-level < 10(-13)) and R2 = 0.90. F = 62.30 (p-level < 10(-13))) identified poultry manure and two other carbon sources as the critical variables for sulfate-reduction rate.     

A comparison of screening methods for insect contamination in wheat

In collaboration with the United States Department of Agriculture and a number of major milling companies, the “Insect-Detect” immunoassay for analyzing insect contamination in grains has been compared with three more traditional methods, X-ray analysis, cracking and flotation, and the insect fragment test (IFT). Testing was carried out in blind fashion using clean wheat samples that were spiked with differing numbers of grain kernels infested with late instar larvae of the granary weevil (Sitophilus granarius (L.)). Three different laboratories analyzed the samples for each of the four methods. The collaborative trials showed that the insect immunoassay clearly provided the most accurate measurement of actual insect infestation, followed by X-ray analysis. While both cracking and flotation and IFT procedures provided a general measure of contamination, they showed much greater variability.     

Comparison of three commercial competitive-exclusion products for controlling Salmonella colonization of broilers in Brazil

In this study, a new competitive-exclusion (CE) product, Mucosal Starter Culture (MSC), was compared with two other CE products (Aviguard and Avifree) commercially available in Brazil to evaluate their ability to protect newly hatched chicks against colonization by a strain of Salmonella Kedougou. This study was based on a previously published and recommended method for such products. Separate groups of the chicks were dosed orally with the respective treatment materials and challenged 24 h later, and their ceca were examined for Salmonella 5 days after challenge. Under the test conditions, only MSC and Aviguard gave statistically significant (P < 0.05) protection to the chicks, but the MSC treatment yielded the lowest mean level of cecal carriage and the smallest proportion of Salmonella-positive birds.