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.

Qualitative assessment of stock prices listed on the Sao Paulo stock exchange: An approach from the perspective of homogeneity analysis

The stock market suffers uncertain relations throughout the entire negotiation process, with different variables exerting direct and indirect influence on stock prices. This study focuses on the analysis of certain aspects that may influence these values offered by the capital market, based on the Brazil Index of the Sao Paulo Stock Exchange (Bovespa), which selects 100 stocks among the most traded on Bovespa in terms of number of trades and financial volume. The selected variables are characterized by the companies` activity area and the business volume in the month of data collection, i.e. April/2007. This article proposes an analysis that joins the accounting view of the stock price variables that can be influenced with the use of multivariate qualitative data analysis. Data were explored through Correspondence Analysis (Anacor) and Homogeneity Analysis (Homals). According to the research, the selected variables are associated with the values presented by the stocks, which become an internal control instrument and a decision-making tool when it comes to choosing investments.

Customer Perception about Loyalty Programs in Agricultural Market: a case study

This study discusses the use of loyalty programs and Customer perception in, agricultural market. The theoretical review includes relationship marketing, its objectives, dimensions and instruments, and loyalty programs. The method for the empirical part consisted on qualitative research, through a case study conducted at one of the largest crop protection chemical companies in Brazil. The case is representative once this company was pioneer in its segment in adopting the customer relationship management. (CRM) approach to-their clients: It has been a consensus that customer relationship is a tool to amplify the Customer share. This.,is so, due the. increasing competition generated by the entrance of generic products and the retaliation actions adopted by the multinational groups. The case study includes a market overview, a description of the company, its loyalty program, the image of the program from the customer`s perspective, and the main results acquired with the CRM program. The Study also presents some recommendations for-companies that are pursuing strategies to. increase their customer share through loyalty programs.

Esthetic and functional restoration for an anterior open occlusal relationship with multiple diastemata: A multidisciplinary approach

An anterior open occlusal relationship and diastemata may negatively interfere with the harmony of the smile, often requiring a multidisciplinary intervention. This clinical report presents an integrated orthodontic, periodontal, and restorative solution for an anterior open occlusal relationship associated with multiple diastemata and discusses the most relevant aspects related to Its etiology and treatment planning.

Population dynamics: seasonal variation of phytoplankton functional groups in brazilian reservoirs (Billings and Guarapiranga, São Paulo)

Phytoplankton may function as a "sensor" of changes in aquatic environment and responds rapidly to such changes. In freshwaters, coexistence of species that have similar ecological requirements and show the same environmental requirements frequently occurs; such species groups are named functional groups. The use of phytoplankton functional groups to evaluate these changes has proven to be very useful and effective. Thus, the aim of this study was to evaluate the occurrence of functional groups of phytoplankton in two reservoirs (Billings and Guarapiranga) that supply water to millions of people in São Paulo city Metropolitan Area, southeastern Brazil. Surface water samples were collected monthly and physical, chemical and biological (quantitative and qualitative analyses of the phytoplankton) were performed. The highest biovolume (mm³.L-1) of the descriptor species and functional groups were represented respectively by Anabaena circinalis Rabenh. (H1), Microcystis aeruginosa (Kützing) Kützing (L M/M) and Mougeotia sp. (T) in the Guarapiranga reservoir and Cylindrospermopsis raciborskii (Wolosz.) Seen. and Subba Raju (S N), Microcystis aeruginosa and M. panniformis Komárek et al. (L M/M), Planktothrix agardhii (Gom.) Anagn. and Komárek and P. cf. clathrata (Skuja) Anagn. and Komárek (S1) in the Billings reservoir. The environmental factors that most influenced the phytoplankton dynamics were water temperature, euphotic zone, turbidity, conductivity, pH, dissolved oxygen, nitrate and total phosphorous.

GLOBAL SOLUTIONS FOR ABSTRACT FUNCTIONAL DIFFERENTIAL EQUATIONS WITH NONLOCAL CONDITIONS

In this paper we study the existence of global solutions for a class of abstract functional differential equation with nonlocal conditions. An application is considered.

ProbFAST: Probabilistic Functional Analysis System Tool

Background: The post-genomic era has brought new challenges regarding the understanding of the organization and function of the human genome. Many of these challenges are centered on the meaning of differential gene regulation under distinct biological conditions and can be performed by analyzing the Multiple Differential Expression (MDE) of genes associated with normal and abnormal biological processes. Currently MDE analyses are limited to usual methods of differential expression initially designed for paired analysis. Results: We proposed a web platform named ProbFAST for MDE analysis which uses Bayesian inference to identify key genes that are intuitively prioritized by means of probabilities. A simulated study revealed that our method gives a better performance when compared to other approaches and when applied to public expression data, we demonstrated its flexibility to obtain relevant genes biologically associated with normal and abnormal biological processes. Conclusions: ProbFAST is a free accessible web-based application that enables MDE analysis on a global scale. It offers an efficient methodological approach for MDE analysis of a set of genes that are turned on and off related to functional information during the evolution of a tumor or tissue differentiation. ProbFAST server can be accessed at http://gdm.fmrp.usp.br/probfast.

Dynamic polarizability, Cauchy moments, and the optical absorption spectrum of liquid water: A sequential molecular dynamics/quantum mechanical approach

The dynamic polarizability and optical absorption spectrum of liquid water in the 6-15 eV energy range are investigated by a sequential molecular dynamics (MD)/quantum mechanical approach. The MD simulations are based on a polarizable model for liquid water. Calculation of electronic properties relies on time-dependent density functional and equation-of-motion coupled-cluster theories. Results for the dynamic polarizability, Cauchy moments, S(-2), S(-4), S(-6), and dielectric properties of liquid water are reported. The theoretical predictions for the optical absorption spectrum of liquid water are in good agreement with experimental information.

Electronic properties of liquid ammonia: A sequential molecular dynamics/quantum mechanics approach

The electronic properties of liquid ammonia are investigated by a sequential molecular dynamics/quantum mechanics approach. Quantum mechanics calculations for the liquid phase are based on a reparametrized hybrid exchange-correlation functional that reproduces the electronic properties of ammonia clusters [(NH(3))(n); n=1-5]. For these small clusters, electron binding energies based on Green's function or electron propagator theory, coupled cluster with single, double, and perturbative triple excitations, and density functional theory (DFT) are compared. Reparametrized DFT results for the dipole moment, electron binding energies, and electronic density of states of liquid ammonia are reported. The calculated average dipole moment of liquid ammonia (2.05 +/- 0.09 D) corresponds to an increase of 27% compared to the gas phase value and it is 0.23 D above a prediction based on a polarizable model of liquid ammonia [Deng , J. Chem. Phys. 100, 7590 (1994)]. Our estimate for the ionization potential of liquid ammonia is 9.74 +/- 0.73 eV, which is approximately 1.0 eV below the gas phase value for the isolated molecule. The theoretical vertical electron affinity of liquid ammonia is predicted as 0.16 +/- 0.22 eV, in good agreement with the experimental result for the location of the bottom of the conduction band (-V(0)=0.2 eV). Vertical ionization potentials and electron affinities correlate with the total dipole moment of ammonia aggregates. (c) 2008 American Institute of Physics.

Accurate band gaps of AlGaN, InGaN, and AlInN alloys calculations based on LDA-1/2 approach

We present parameter-free calculations of electronic properties of InGaN, InAlN, and AlGaN alloys. The calculations are based on a generalized quasichemical approach, to account for disorder and composition effects, and first-principles calculations within the density functional theory with the LDA-1/2 approach, to accurately determine the band gaps. We provide precise results for AlGaN, InGaN, and AlInN band gaps for the entire range of compositions, and their respective bowing parameters. (C) 2011 American Institute of Physics. [doi:10.1063/1.3576570]

Cultural meaning of quality of life: perspectives of Brazilian burn patients

Purpose. This study was designed to explore the cultural meaning and dimensions of quality of life from the perspective of Brazilian burn patients. Method. A qualitative research approach was used. Nineteen burn patients and their close relatives participated in this ethnographic study. Data were collected by means of direct observation and semi-structured interviews, conducted in a hospital outpatient clinic and during visits to patients` homes. The following inter-related phases guided the analysis process: reading of the material and data reduction, data display, conclusion outlining and verification. Results. Participants reported that the quality of life is related to autonomy and the ability to work. The dimensions of quality of life included: resuming work and functional ability, body image, having leisure and interpersonal relationships. Their descriptions revealed their feelings and attitudes about resuming their previous activities and social lives, particularly concerning the work. Conclusion. For burn patients, quality of life is associated with the concept of normality, the satisfactory performance of social roles in the context of family life and the social world. The results showed the importance of the sociocultural dimension in the concept of quality of life for persons undergoing burn rehabilitation.

Denoising swallowing sound to improve the evaluator`s qualitative analysis

Swallowing dynamics involves the coordination and interaction of several muscles and nerves which allow correct food transport from mouth to stomach without laryngotracheal penetration or aspiration. Clinical swallowing assessment depends on the evaluator`s knowledge of anatomic structures and of neurophysiological processes involved in swallowing. Any alteration in those steps is denominated oropharyngeal dysphagia, which may have many causes, such as neurological or mechanical disorders. Videofluoroscopy of swallowing is presently considered to be the best exam to objectively assess the dynamics of swallowing, but the exam needs to be conducted under certain restrictions, due to patient`s exposure to radiation, which limits periodical repetition for monitoring swallowing therapy. Another method, called cervical auscultation, is a promising new diagnostic tool for the assessment of swallowing disorders. The potential to diagnose dysphagia in a noninvasive manner by assessing the sounds of swallowing is a highly attractive option for the dysphagia clinician. Even so, the captured sound has an amount of noise, which can hamper the evaluator`s decision. In that way, the present paper proposes the use of a filter to improve the quality of audible sound and facilitate the perception of examination. The wavelet denoising approach is used to decompose the noisy signal. The signal to noise ratio was evaluated to demonstrate the quantitative results of the proposed methodology. (C) 2007 Elsevier Ltd. All rights reserved.

Stable MPC for tracking with maximal domain of attraction

In this work, a stable MPC that maximizes the domain of attraction of the closed-loop system is proposed. The proposed approach is suitable to real applications in the sense that it accounts for the case of output tracking, it is offset free if the output target is reachable and minimizes the offset if some of the constraints are active at steady state. The new approach is based on the definition of a Minkowski functional related to the input and terminal constraints of the stable infinite horizon MPC. It is also shown that the domain of attraction is defined by the system model and the constraints, and it does not depend on the controller tuning parameters. The proposed controller is illustrated with small order examples of the control literature. (C) 2011 Elsevier Ltd. All rights reserved.

Evaluating responses of maize (Zea mays L.) to soil physical conditions using a boundary line approach

The functional relation between the decline in the rate of a physiological process and the magnitude of a stress related to soil physical conditions is an important tool for uses as diverse as assessment of the stress-related sensitivity of different plant cultivars and characterization of soil structure. Two of the most pervasive sources of stress are soil resistance to root penetration (SR) and matric potential (psi). However, the assessment of these sources of stress on physiological processes in different soils can be complicated by other sources of stress and by the strong relation between SR and psi in a soil. A multivariate boundary line approach was assessed as a means of reducing these cornplications. The effects of SR and psi stress conditions on plant responses were examined under growth chamber conditions. Maize plants (Zea mays L.) were grown in soils at different water contents and having different structures arising from variation in texture, organic carbon content and soil compaction. Measurements of carbon exchange (CE), leaf transpiration (ILT), plant transpiration (PT), leaf area (LA), leaf + shoot dry weight (LSDW), root total length (RTL), root surface area (RSA) and root dry weight (RDW) were determined after plants reached the 12-leaf stage. The LT, PT and LA were described as a function of SR and psi with a double S-shaped function using the multivariate boundary line approach. The CE and LSDW were described by the combination of an S-shaped function for SR and a linear function for psi. The root parameters were described by a single S-shaped function for SR. The sensitivity to SR and psi depended on the plant parameter. Values of PT, LA and LSDW were most sensitive to SR. Among those parameters exhibiting a significant response to psi, PT was most sensitive. The boundary line approach was found to be a useful tool to describe the functional relation between the decline in the rate of a physiological process and the magnitude of a stress related to soil physical conditions. (C) 2009 Elsevier B.V. All rights reserved.