Low cost BIST techniques for linear and non-linear analog circuits

With the ever increasing demands for high complexity consumer electronic products, market pressures demand faster product development and lower cost. SoCbased design can provide the required design flexibility and speed by allowing the use of IP cores. However, testing costs in the SoC environment can reach a substantial percent of the total production cost. Analog testing costs may dominate the total test cost, as testing of analog circuits usually require functional verification of the circuit and special testing procedures. For RF analog circuits commonly used in wireless applications, testing is further complicated because of the high frequencies involved. In summary, reducing analog test cost is of major importance in the electronic industry today. BIST techniques for analog circuits, though potentially able to solve the analog test cost problem, have some limitations. Some techniques are circuit dependent, requiring reconfiguration of the circuit being tested, and are generally not usable in RF circuits. In the SoC environment, as processing and memory resources are available, they could be used in the test. However, the overhead for adding additional AD and DA converters may be too costly for most systems, and analog routing of signals may not be feasible and may introduce signal distortion. In this work a simple and low cost digitizer is used instead of an ADC in order to enable analog testing strategies to be implemented in a SoC environment. Thanks to the low analog area overhead of the converter, multiple analog test points can be observed and specific analog test strategies can be enabled. As the digitizer is always connected to the analog test point, it is not necessary to include muxes and switches that would degrade the signal path. For RF analog circuits, this is specially useful, as the circuit impedance is fixed and the influence of the digitizer can be accounted for in the design phase. Thanks to the simplicity of the converter, it is able to reach higher frequencies, and enables the implementation of low cost RF test strategies. The digitizer has been applied successfully in the testing of both low frequency and RF analog circuits. Also, as testing is based on frequency-domain characteristics, nonlinear characteristics like intermodulation products can also be evaluated. Specifically, practical results were obtained for prototyped base band filters and a 100MHz mixer. The application of the converter for noise figure evaluation was also addressed, and experimental results for low frequency amplifiers using conventional opamps were obtained. The proposed method is able to enhance the testability of current mixed-signal designs, being suitable for the SoC environment used in many industrial products nowadays.

JML- Based formal development of a Java card application for managing medical appointments

Although formal methods can dramatically increase the quality of software systems, they have not widely been adopted in software industry. Many software companies have the perception that formal methods are not cost-effective cause they are plenty of mathematical symbols that are difficult for non-experts to assimilate. The Java Modelling Language (short for JML) Section 3.3 is an academic initiative towards the development of a common formal specification language for Java programs, and the implementation of tools to check program correctness. This master thesis work shows how JML based formal methods can be used to formally develop a privacy sensitive Java application. This is a smart card application for managing medical appointments. The application is named HealthCard. We follow the software development strategy introduced by João Pestana, presented in Section 3.4. Our work influenced the development of this strategy by providing hands-on insight on challenges related to development of a privacy sensitive application in Java. Pestana’s strategy is based on a three-step evolution strategy of software specifications, from informal ones, through semiformal ones, to JML formal specifications. We further prove that this strategy can be automated by implementing a tool that generates JML formal specifications from a welldefined subset of informal software specifications. Hence, our work proves that JML-based formal methods techniques are cost-effective, and that they can be made popular in software industry. Although formal methods are not popular in many software development companies, we endeavour to integrate formal methods to general software practices. We hope our work can contribute to a better acceptance of mathematical based formalisms and tools used by software engineers. The structure of this document is as follows. In Section 2, we describe the preliminaries of this thesis work. We make an introduction to the application for managing medical applications we have implemented. We also describe the technologies used in the development of the application. This section further illustrates the Java Card Remote Method Invocation communication model used in the medical application for the client and server applications. Section 3 introduces software correctness, including the design by contract and the concept of contract in JML. Section 4 presents the design structure of the application. Section 5 shows the implementation of the HealthCard. Section 6 describes how the HealthCard is verified and validated using JML formal methods tools. Section 7 includes some metrics of the HealthCard implementation and specification. Section 8 presents a short example of how a client-side of a smart card application can be implemented while respecting formal specifications. Section 9 describes a prototype tools to generate JML formal specifications from informal specifications automatically. Section 10 describes some challenges and main ideas came acrorss during the development of the HealthCard. The full formal specification and implementation of the HealthCard smart card application presented in this document can be reached at https://sourceforge.net/projects/healthcard/.

Análise comparativa entre simuladores de linha de fluxo e diferenças finitas para um reservatório de petróleo submetido a injeção de água

Water injection is the most widely used method for supplementary recovery in many oil fields due to various reasons, like the fact that water is an effective displacing agent of low viscosity oils, the water injection projects are relatively simple to establish and the water availability at a relatively low cost. For design of water injection projects is necessary to do reservoir studies in order to define the various parameters needed to increase the effectiveness of the method. For this kind of study can be used several mathematical models classified into two general categories: analytical or numerical. The present work aims to do a comparative analysis between the results presented by flow lines simulator and conventional finite differences simulator; both types of simulators are based on numerical methods designed to model light oil reservoirs subjected to water injection. Therefore, it was defined two reservoir models: the first one was a heterogeneous model whose petrophysical properties vary along the reservoir and the other one was created using average petrophysical properties obtained from the first model. Comparisons were done considering that the results of these two models were always in the same operational conditions. Then some rock and fluid parameters have been changed in both models and again the results were compared. From the factorial design, that was done to study the sensitivity analysis of reservoir parameters, a few cases were chosen to study the role of water injection rate and the vertical position of wells perforations in production forecast. It was observed that the results from the two simulators are quite similar in most of the cases; differences were found only in those cases where there was an increase in gas solubility ratio of the model. Thus, it was concluded that in flow simulation of reservoirs analogous of those now studied, mainly when the gas solubility ratio is low, the conventional finite differences simulator may be replaced by flow lines simulator the production forecast is compatible but the computational processing time is lower.

Pixel intensity and fractal analyses: detecting osteoporosis in perimenopausal and postmenopausal women by using digital panoramic images

Objective. Pixel intensity values (PI) and fractal dimensions (FD) were compared in selected mandibular regions on digital panoramic images of normal, osteopenic, and osteoporotic perimenopausal and postmenopausal women to evaluate their relative efficacies in detecting osteoporotic-associated bone density changes.Study design. Standardized mandibular angle, body, and canine/premolar (C/PM) regions on 54 charge-coupied device (CCD) digital panoramic images of normal and potentially osteoporotic postmenopausal women were analyzed for PI and FD. Lumbar spine and femoral neck dual-energy x-ray absorptiometry QXA) on each patient served as the reference standard examination. Pearson correlation coefficients and analysis of variance (ANOVA) were performed.Results. There was significant correlation among PI measurements (P < 0.01), and no significant correlation between FD. C/PM had significantly lower PI than control C/PM (P = 0.049).Conclusions. Osteoporotic changes in mandibular C/PM cancellous bone were detected in our study population on CCD digital panoramic images by using a robust image analysis paradigm. Future automated application of such image analysis could enable widespread, cost effective screening for osteoporosis in dental settings.

Contributions of ethnobiology to the conservation of tropical rivers and streams

1. This study aimed to link basic ethnobiological research on local ecological knowledge (LEK) to the conservation of Brazilian streams, based on two case studies: original data on LEK of fishermen about freshwater fish in the Negro River, Amazon, and previously published data about LEK of farmers on the ecological relationship between forest and streams in the Macabuzinho catchment, Atlantic Forest.2. Information was obtained from fishermen through interviews using standard questionnaires containing open-ended questions. Informants for interview were selected either following some defined criteria or applying the 'snowball' method.3. Fishermen's LEK about the diets and habitats of 14 fish species in the Negro River provided new biological information on plant species that are eaten by fish, in addition to confirming some ecological patterns from the biological literature, such as dependence of fish on forests as food sources.4. In the Atlantic Forest, a comparison between farmers' LEK and a rapid stream assessment in the farmers' properties indicated that farmers tended to overestimate the ecological integrity of their streams. Farmers recognized at least 11 forest attributes that correspond to the scientific concept of ecosystem services. Such information may be useful to promote or enhance dialogue among farmers, scientists and managers.5. These results may contribute to the devising of ecosystem management measures in the Negro River, aimed to conserve both rivers and their associated floodplain forests, involving local fishermen. In the Atlantic Forest, we proposed some initiatives, such as to allow direct economic use of their forests to conciliate conflicting perceptions of farmers about ecological benefits versus economic losses from reforestation. Despite their cultural, environmental and geographical differences, the two study cases are complementary and cost-effective and promising approaches to including LEK in the design of ecological research. Copyright (C) 2007 John Wiley & Sons, Ltd.

A Family of Autoconnected Transformers for 12-and 18-Pulse Converters-Generalization for Delta and Wye Topologies

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

ENERGY GENERATION EXPANSION PLANNING MODEL CONSIDERING EMISSIONS CONSTRAINTS

The generation expansion planning (GEP) problem consists in determining the type of technology, size, location and time at which new generation units must be integrated to the system, over a given planning horizon, to satisfy the forecasted energy demand. Over the past few years, due to an increasing awareness of environmental issues, different approaches to solve the GEP problem have included some sort of environmental policy, typically based on emission constraints. This paper presents a linear model in a dynamic version to solve the GEP problem. The main difference between the proposed model and most of the works presented in the specialized literature is the way the environmental policy is envisaged. Such policy includes: i) the taxation of CO(2) emissions, ii) an annual Emissions Reduction Rate (ERR) in the overall system, and iii) the gradual retirement of old inefficient generation plants. The proposed model is applied in an 11-region to design the most cost-effective and sustainable 10-technology US energy portfolio for the next 20 years.

Advances in sickle cell disease treatment: From drug discovery until the patient monitoring

Sickle Cell Disease (SCD) is one of the most prevalent hematological diseases in the world. Despite the immense progress in molecular knowledge about SCD in last years few therapeutical sources are currently available. Nowadays the treatment is performed mainly with drugs such as hydroxyurea or other fetal hemoglobin inducers and chelating agents. This review summarizes current knowledge about the treatment and the advancements in drug design in order to discover more effective and safe drugs. Patient monitoring methods in SCD are also discussed. © 2011 Bentham Science Publishers Ltd.

Caracterização de um aço microligado ao boro e tratado termicamente utilizado na fabricação de tubos

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Processamentos e níveis proteicos das dietas nos desempenhos técnico e econômico da produção de tilápia-do-nilo em gaiolas

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Optimization of Antitrypanosomatid Agents: Identification of Nonmutagenic Drug Candidates with in Vivo Activity

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Optimisation of a sample preparation method for the determination of fumonisin B-1 in rice

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Estudo comparativo entre MDF e MDP utilizados na indústria moveleira

Increasingly, the furniture market is competitive. The construction industry presents itself in growth, mainly due to the lines of existing incentives and tax credits established by the government, assisting the impulse to purchase real estate, building materials and furniture. Factors that promote and strengthen the sector's growth. With high demand from the furniture market, demand for higher quality and increasing technological advances, research is often undertaken in search of solutions for process improvement and product features, focusing on the production of materials less harmful to the environment, provision of raw press to lower cost, improve the production process and product development of cost-effective. This research focuses on the comparative study between two materials widely used in furniture manufacturing. MDF (Medium Density Fiberboard) and MDP (Medium Density Particleboard). The subject provides the focus in furniture production, presenting and comparing data collected from three companies producing panels between physical and mechanical characteristics of the materials, also presenting some of the main factors of influence on the quality of the panels, their features and applications on mobile. The study shows the high potential of using the MDP (Medium Density Particleboard) in furniture designs, as well as MDF (Medium Density Particleboard), favoring the final terms of the project , resulting in better utilization of each material , avoiding waste and increase unnecessary cost . Currently, several projects are developed in MDP and MDF furniture, where there is no relevance to their characteristics regarding their limitations. Many of these furnishings are designed without a specific study of the best use and positioning of each material, with better utilization , favoring collateral design , especially furniture designed exclusively for each environment . The lack of technical ...

Análise dos problemas de comunicação permeados pela cultura organizacional e estrutura de gestão de projetos em uma empresa na área da construção

In a supplier of building products were identified difficulties in communication between the Product Development area and other areas of the company that could spoil projects and processes. The process of product development is important in placing the company in the market, and through research and planning, design new products and seek to comply with the costumer in relation to deadlines, quality and cost-effective. The development of a product involves many areas in the company and communication is essential in this process. The goal of this study was to identify possible communication problems permeated by organizational culture and structure of project management working in the company. A survey was applied using a Likert scale in three different areas of the company, with questions including the topics: communication, culture and organizational structure of project management and subsequently conducted the median test and the Spearman test to analysis of responses. With the understanding and analysis of the survey it was confirmed the difficulties of communication between people and the areas of the company, besides there is an influence of the type of culture acting in the company and the current management structure of the project in a good performance of internal communication

Novel expert system for defining power quality compensators

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)