A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling

Modern Integrated Circuit (IC) design is characterized by a strong trend of Intellectual Property (IP) core integration into complex system-on-chip (SOC) architectures. These cores require thorough verification of their functionality to avoid erroneous behavior in the final device. Formal verification methods are capable of detecting any design bug. However, due to state explosion, their use remains limited to small circuits. Alternatively, simulation-based verification can explore hardware descriptions of any size, although the corresponding stimulus generation, as well as functional coverage definition, must be carefully planned to guarantee its efficacy. In general, static input space optimization methodologies have shown better efficiency and results than, for instance, Coverage Directed Verification (CDV) techniques, although they act on different facets of the monitored system and are not exclusive. This work presents a constrained-random simulation-based functional verification methodology where, on the basis of the Parameter Domains (PD) formalism, irrelevant and invalid test case scenarios are removed from the input space. To this purpose, a tool to automatically generate PD-based stimuli sources was developed. Additionally, we have developed a second tool to generate functional coverage models that fit exactly to the PD-based input space. Both the input stimuli and coverage model enhancements, resulted in a notable testbench efficiency increase, if compared to testbenches with traditional stimulation and coverage scenarios: 22% simulation time reduction when generating stimuli with our PD-based stimuli sources (still with a conventional coverage model), and 56% simulation time reduction when combining our stimuli sources with their corresponding, automatically generated, coverage models.

Valve friction and nonlinear process model closed-loop identification

Among several process variability sources, valve friction and inadequate controller tuning are supposed to be two of the most prevalent. Friction quantification methods can be applied to the development of model-based compensators or to diagnose valves that need repair, whereas accurate process models can be used in controller retuning. This paper extends existing methods that jointly estimate the friction and process parameters, so that a nonlinear structure is adopted to represent the process model. The developed estimation algorithm is tested with three different data sources: a simulated first order plus dead time process, a hybrid setup (composed of a real valve and a simulated pH neutralization process) and from three industrial datasets corresponding to real control loops. The results demonstrate that the friction is accurately quantified, as well as ""good"" process models are estimated in several situations. Furthermore, when a nonlinear process model is considered, the proposed extension presents significant advantages: (i) greater accuracy for friction quantification and (ii) reasonable estimates of the nonlinear steady-state characteristics of the process. (C) 2010 Elsevier Ltd. All rights reserved.

Adequacy of Cold Rolling Models to Upgrade Set-up Generation Systems

This paper presents two strategies for the upgrade of set-up generation systems for tandem cold mills. Even though these mills have been modernized mainly due to quality requests, their upgrades may be made intending to replace pre-calculated reference tables. In this case, Bryant and Osborn mill model without adaptive technique is proposed. As a more demanding modernization, Bland and Ford model including adaptation is recommended, although it requires a more complex computational hardware. Advantages and disadvantages of these two systems are compared and discussed and experimental results obtained from an industrial cold mill are shown.

SKAN: Skin Scanner - System for Skin Cancer Detection Using Adaptive Techniques

SKAN: Skin Scanner - System for Skin Cancer Detection Using Adaptive Techniques - combines computer engineering concepts with areas like dermatology and oncology. Its objective is to discern images of skin cancer, specifically melanoma, from others that show only common spots or other types of skin diseases, using image recognition. This work makes use of the ABCDE visual rule, which is often used by dermatologists for melanoma identification, to define which characteristics are analyzed by the software. It then applies various algorithms and techniques, including an ellipse-fitting algorithm, to extract and measure these characteristics and decide whether the spot is a melanoma or not. The achieved results are presented with special focus on the adaptive decision-making and its effect on the diagnosis. Finally, other applications of the software and its algorithms are presented.

A calibration approach based on Takagi-Sugeno fuzzy inference system for digital electronic compasses

Recently, the development of industrial processes brought on the outbreak of technologically complex systems. This development generated the necessity of research relative to the mathematical techniques that have the capacity to deal with project complexities and validation. Fuzzy models have been receiving particular attention in the area of nonlinear systems identification and analysis due to it is capacity to approximate nonlinear behavior and deal with uncertainty. A fuzzy rule-based model suitable for the approximation of many systems and functions is the Takagi-Sugeno (TS) fuzzy model. IS fuzzy models are nonlinear systems described by a set of if then rules which gives local linear representations of an underlying system. Such models can approximate a wide class of nonlinear systems. In this paper a performance analysis of a system based on IS fuzzy inference system for the calibration of electronic compass devices is considered. The contribution of the evaluated IS fuzzy inference system is to reduce the error obtained in data acquisition from a digital electronic compass. For the reliable operation of the TS fuzzy inference system, adequate error measurements must be taken. The error noise must be filtered before the application of the IS fuzzy inference system. The proposed method demonstrated an effectiveness of 57% at reducing the total error based on considered tests. (C) 2011 Elsevier Ltd. All rights reserved.

Metal separation from mixed types of batteries using selective precipitation and liquid-liquid extraction techniques

The purpose of this paper is to study metal separation from a sample composed of a mixture of the main types of spent household batteries, using a hydrometallurgical route, comparing selective precipitation and liquid-liquid extraction separation techniques. The preparation of the solution consisted of: grinding the waste of mixed batteries, reduction and volatile metals elimination using electric furnace and acid leaching. From this solution two different routes were studied: selective precipitation with sodium hydroxide and liquid-liquid extraction using Cyanex 272 [bis(2,4,4-trimethylpentyl) phosphoric acid] as extracting agent. The best results were obtained from liquid-liquid extraction in which Zn had a 99% extraction rate at pH 2.5. More than 95% Fe was extracted at pH 7.0, the same pH at which more than 90% Ce was extracted. About 88% Mn, Cr and Co was extracted at this pH. At pH 3.0, more than 85% Ni was extracted, and at pH 3.5 more than 80% of Cd and La was extracted. (C) 2010 Elsevier Ltd. All rights reserved.

Carbide lime and industrial hydrated lime characterization

This paper focuses on the characterization of carbide lime (CL) - a by-product of acetylene production, composed mainly of calcium hydroxide with minor parts of carbonate - and compares its features to those of ""dry"" hydrated lime (HL) commonly used as a building material. Chemical, thermogravimetric and X-ray diffraction analyses indicated that the limes are similar in chemical and mineralogical compositions. except for the presence of carbon in the waste. Morphological and elemental chemical analyses by SEM and EDS revealed that CL particles differ from HL ones in their morphology and by the presence of carbon formations, Physical characterization included density and BET surface area of the materials. as well as, their particle size distributions in deionized water at diverse time periods. CL underwent agglomeration after approximately 60 min in water, whereas HL progressively became finer with time as determined by laser diffraction. In addition, water retention and squeeze flow tests were used to assess the pastes` fresh properties. (c) 2009 Elsevier B.V. All rights reserved.

Optimized harvest scheduling in eucalyptus plantations under operational, spatial and climatic constraints

The representation of sustainability concerns in industrial forests management plans, in relation to environmental, social and economic aspects, involve a great amount of details when analyzing and understanding the interaction among these aspects to reduce possible future impacts. At the tactical and operational planning levels, methods based on generic assumptions usually provide non-realistic solutions, impairing the decision making process. This study is aimed at improving current operational harvesting planning techniques, through the development of a mixed integer goal programming model. This allows the evaluation of different scenarios, subject to environmental and supply constraints, increase of operational capacity, and the spatial consequences of dispatching harvest crews to certain distances over the evaluation period. As a result, a set of performance indicators was selected to evaluate all optimal solutions provided to different possible scenarios and combinations of these scenarios, and to compare these outcomes with the real results observed by the mill in the study case area. Results showed that it is possible to elaborate a linear programming model that adequately represents harvesting limitations, production aspects and environmental and supply constraints. The comparison involving the evaluated scenarios and the real observed results showed the advantage of using more holistic approaches and that it is possible to improve the quality of the planning recommendations using linear programming techniques.

Localization of Pantoea ananatis inside lesions of maize White Spot Disease using transmission electron microscopy and molecular techniques

The etiological agent of maize white spot (MWS) disease has been a subject of controversy and discussion. Initially the disease was described as Phaeosphaeria leaf spot caused by Phaeosphaeria maydis. Other authors have Suggested the existence of different fungal species causing similar symptoms. Recently, a bacterium, Pantoea ananatis, was described as the causal agent of this disease. The purpose of this Study was to offer additional information on the correct etiology of this disease by providing visual evidence of the presence of the bacterium in the interior of the MWS lesions by using transmission electron microscopy (TEM) and molecular techniques. The TEM allowed Visualization of a large amount of bacteria in the intercellular spaces of lesions collected from both artificially and naturally infected plants. Fungal structures were not visualized in young lesions. Bacterial primers for the 16S rRNA and rpoB genes were used in PCR reactions to amplify DNA extracted from water-soaked (young) and necrotic lesions. The universal fungal oligonucleotide ITS4 was also included to identity the possible presence of fungal structures inside lesions. Positive PCR products from water-soaked lesions, both from naturally and artificially inoculated plants, were produced with bacterial primers, whereas no amplification was observed when ITS4 oligonucleotide was used. On the other hand, DNA amplification with ITS4 primer was observed when DNA was isolated from necrotic (old) lesions. These results reinforced previous report of P. ananatis as the primary pathogen and the hypothesis that fungal species may colonize lesions pre-established by P. ananatis.

Soil CO(2) emission estimated by different interpolation techniques

Soil CO(2) emissions are highly variable, both spatially and across time, with significant changes even during a one-day period. The objective of this study was to compare predictions of the diurnal soil CO(2) emissions in an agricultural field when estimated by ordinary kriging and sequential Gaussian simulation. The dataset consisted of 64 measurements taken in the morning and in the afternoon on bare soil in southern Brazil. The mean soil CO(2) emissions were significantly different between the morning (4.54 mu mol m(-2) s(-1)) and afternoon (6.24 mu mol m(-2) s(-1)) measurements. However, the spatial variability structures were similar, as the models were spherical and had close range values of 40.1 and 40.0 m for the morning and afternoon semivariograms. In both periods, the sequential Gaussian simulation maps were more efficient for the estimations of emission than ordinary kriging. We believe that sequential Gaussian simulation can improve estimations of soil CO(2) emissions in the field, as this property is usually highly non-Gaussian distributed.

Biophysical techniques used to evaluate the stratum corneum

Assortments of biophysical methods are used to the study the stratum corneum morphology and dynamic with the objective to elucidate the correlation between its structure and functions. Among these methods, there are: X-ray diffraction, electron paramagnetic resonance, differential scanning calorimetry, Raman spectroscopy with Fourrier transform, infrared spectroscopy and photoacustic spectroscopy. In this manuscript, methods are presented and discussed in relation to the use indication, interpretation of results and advantages and limitations to the stratum corneum analysis.

LPS Removal from an E. Coli Fermentation Broth Using Aqueous Two-Phase Micellar System

In biotechnology, endotoxin (LPS) removal from recombinant proteins is a critical and challenging step in the preparation of injectable therapeutics, as endotoxin is a natural component of bacterial expression systems widely used to manufacture therapeutic proteins. The viability of large-scale industrial production of recombinant biomolecules of pharmaceutical interest significantly depends on the separation and purification techniques used. The aim of this work was to evaluate the use of aqueous two-phase micellar system (ATPMS) for endotoxin removal from preparations containing recombinant proteins of pharmaceutical interest, such as green fluorescent protein (GFPuv). Partition assays were carried out initially using pure LPS, and afterwards in the presence of E. coli cell lysate. The ATPMS technology proved to be effective in GFPuv recovery, preferentially into the micelle-poor phase (K(GFPuv) < 1.00), and LPS removal into the micelle-rich phase (%REM(LPS) > 98.00%). Therefore, this system can be exploited as the first step for purification in biotechnology processes for removal of higher LPS concentrations. (C) 2010 American Institute of Chemical Engineers Biotechnol. Prog., 26: 1644-1653, 2010

EFFECT OF CHEMICAL INTERESTERIFICATION ON PHYSICOCHEMICAL PROPERTIES AND INDUSTRIAL APPLICATIONS OF CANOLA OIL AND FULLY HYDROGENATED COTTONSEED OIL BLENDS

Blends of canola oil (CO) and fully hydrogenated cottonseed oil (FHCSO), with 20, 25, 30, 35 and 40% FHCSO (w/w) were interesterified under the following conditions: 0.4% sodium methoxide, 500 rpm stirring, 100C, 20 min. The original and interesterified blends were examined for triacylglycerol composition, melting point, solid fat content (SFC) and consistency. Interesterification caused considerable rearrangement of triacylglycerol species, reduction of trisaturated triacylglycerol content and increase in disaturated-monounsaturated and monosaturated-diunsaturated triacylglycerols in all blends, resulting in lowering of respective melting points. The interesterified blends showed reduced SFC at all temperatures and more linear melting profiles if compared with the original blends. Consistency, expressed as yield value, significantly decreased after the reaction. Iso-solid curves indicated eutectic interactions for the original blends, which were eliminated after randomization. The 80:20, 75:25, 70:30 and 65:35 (w/w) CO: FHCSO interesterified blends showed characteristics which are appropriate for their application as soft margarines, spreads, fat for bakery/all-purpose shortenings, and icing shortenings, respectively. PRACTICAL APPLICATIONS Recently, a number of studies have suggested a direct relationship between trans isomers and increased risk of vascular disease. In response, many health organizations have recommended reducing consumption of foods containing trans fatty acids. In this connection, chemical interesterification has proven the main alternative for obtaining plastic fats that have low trans isomer content or are even trans isomer free. This work proposes to evaluate the chemical interesterification of binary blends of canola oil and fully hydrogenated cottonseed oil and the specific potential application of these interesterified blends in food products.

Monitoring the authenticity of Brazilian UHT milk: A chemometric approach

In this work, chemometric methods are reported as potential tools for monitoring the authenticity of Brazilian ultra-high temperature (UHT) milk processed in industrial plants located in different regions of the country. A total of 100 samples were submitted to the qualitative analysis of adulterants such as starch, chlorine, formal. hydrogen peroxide and urine. Except for starch, all the samples reported, at least, the presence of one adulterant. The use of chemometric methodologies such as the Principal Component Analysis (PCA) and Hierarchical Cluster Analysis (HCA) enabled the verification of the occurrence of certain adulterations in specific regions. The proposed multivariate approaches may allow the sanitary agency authorities to optimise materials, human and financial resources, as they associate the occurrence of adulterations to the geographical location of the industrial plants. (c) 2010 Elsevier Ltd. All rights reserved.

Exploratory Approach to the use of Techniques of Regression Analysis and Pooled Analysis in Studies of Consumer Behavior

This paper is part of a large study to assess the adequacy of the use of multivariate statistical techniques in theses and dissertations of some higher education institutions in the area of marketing with theme of consumer behavior from 1997 to 2006. The regression and conjoint analysis are focused on in this paper, two techniques with great potential of use in marketing studies. The objective of this study was to analyze whether the employement of these techniques suits the needs of the research problem presented in as well as to evaluate the level of success in meeting their premisses. Overall, the results suggest the need for more involvement of researchers in the verification of all the theoretical precepts of application of the techniques classified in the category of investigation of dependence among variables.