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.

Optimization and Complexity Reduction of Switch-Reconfigured Antennas Using Graph Models

This letter addresses the optimization and complexity reduction of switch-reconfigured antennas. A new optimization technique based on graph models is investigated. This technique is used to minimize the redundancy in a reconfigurable antenna structure and reduce its complexity. A graph modeling rule for switch-reconfigured antennas is proposed, and examples are presented.

Role of entomopathogenic fungi in the control of Tetranychus evansi and Tetranychus urticae (Acari: Tetranychidae), pests of horticultural crops

The spider mites Tetranychus urticae Koch and Tetranychus evansi Baker and Pritchard are important pests of horticultural crops. They are infected by entomopathogenic fungi naturally or experimentally. Fungal pathogens known to cause high infection in spider mite populations belong to the order Entomophthorales and include Neozygites spp. Studies are being carried out to develop some of these fungi as mycoacaricides, as standalone control measures in an inundative strategy to replace the synthetic acaricides currently in use or as a component of integrated mite management. Although emphasis has been put on inundative releases, entomopathogenic fungi can also be used in classical, conservation and augmentative biological control. Permanent establishment of an exotic agent in a new area of introduction may be possible in the case of spider mites. Conservation biological control can be achieved by identifying strategies to promote any natural enemies already present within crop ecosystems, based on a thorough understanding of their biology, ecology and behaviour. Further research should focus on development of efficient mass production systems, formulation, and delivery systems of fungal pathogens.

Water Resources Assessment at Piracicaba, Capivari and Jundiai River Basins: A Dynamic Systems Approach

The Piracicaba, Capivari, and Jundiai River Basins (RB-PCJ) are mainly located in the State of So Paulo, Brazil. Using a dynamics systems simulation model (WRM-PCJ) to assess water resources sustainability, five 50-year simulations were run. WRM-PCJ was developed as a tool to aid decision and policy makers on the RB-PCJ Watershed Committee. The model has 254 variables. The model was calibrated and validated using available information from the 80s. Falkenmark Water Stress Index went from 1,403 m(3) person (-aEuro parts per thousand 1) year (-aEuro parts per thousand 1) in 2004 to 734 m(3) P (-aEuro parts per thousand 1) year (-aEuro parts per thousand 1) in 2054, and Xu Sustainability Index from 0.44 to 0.20. In 2004, the Keller River Basin Development Phase was Conservation, and by 2054 was Augmentation. The three criteria used to evaluate water resources showed that the watershed is at crucial water resources management turning point. The WRM-PCJ performed well, and it proved to be an excellent tool for decision and policy makers at RB-PCJ.

Development and characterization of microsatellite markers from Guarea guidonia (Meliaceae), a tree species from different habitats within the Brazilian Atlantic forest

The tree species Guarea guidonea (Meliaceae) belongs to a predominantly tropical family, being largely found in natural or anthropic forest fragments within the Brazilian Atlantic Forest. Aiming to develop future studies on the genetic structure of plant species from forests fragments, eleven microsatellite markers were developed for Guarea guidonia, based on the analysis of 45 individuals from natural populations of three different fragments within the forest-anthropic edge, interior fragment and natural edge. Only eight loci showed to be polymorphic and the number of alleles ranged from two to four (mean of 2.50). All populations showed almost the same level of genetic diversity (mean H(e) = 0.3775). These loci will be useful for population genetics studies on Guarea guidonea, providing information for the conservation and management of this species.

Development and characterization of microsatellite markers for castor (Ricinus communis L.), an important oleaginous species for biodiesel production

Castor (Ricinus communis L.) is an important oleaginous plant from both economic and social points of view. The seeds contain an oil with excellent properties for industrial uses. This paper presents the main results of a study aiming to develop microsatellite markers for castor. Twelve new polymorphic microsatellite markers were isolated and characterized in 38 genotypes accessions from the castor germplasm of the Brazilian Agricultural Research Company (EMBRAPA). Knowledge on the genetic diversity of castor can be used to gain a better understanding on genetic diversity conservation, and germplasm management, guiding breeding programs and conservation strategies.

Development and characterization of microsatellite markers for Psychotria tenuinervis (Rubiaceae), a shrub species from the Atlantic forest, and primers transferability from Coffea

The shrub species Psychotria tenuinervis (Rubiaceae) is native to the Brazilian Atlantic forest and is largely found within natural and disturbed forest fragments. Aiming to develop studies on population genetic structure of forest fragment species, eigth microsatellite markers were developed for P. tenuinervis. Also, 15 loci already developed for Coffea (Rubiaceae) were tested for transferability to this species. We utilized 45 individuals from natural populations of three different fragments-anthropic edge, interior fragment and natural edge, within the Brazilian Atlantic forest. The average number of alleles per locus was 2.5 (two-four alleles/locus). These loci will be useful for future population genetic studies aiming to the conservation and management of this species.

Nature-based tourism and the valuation of its environmental resources: Economic and other aspects

Nature-based tourism has grown in importance in recent decades, and strong links have been established between it and ecotourism. This reflects rising incomes, greater levels of educational attainment and changing values, especially in the Western world. Nature-based tourism is quite varied. Different types of such tourism are identified and their consequences for sustainability of their resource-base are briefly considered. The development and management of nature-based tourism involves many economic aspects, several of which are discussed. For example, one must consider the economics of reserving or protecting land for this type of tourism. What economic factors should be taken into account? Economists stress the importance of taking into account the opportunity costs involved in such a decision. This concept is explained. However, determining the net economic value of an area used for tourism is not straightforward. Techniques for doing this, such as the travel cost method and stated value methods, are introduced. Natural areas reserved for tourism may have economic value not only for tourism but also jointly for other purposes, such as conserving wildlife, maintaining hydrological cycles and so on. These other purposes, should be taken into account when considering the use of land for nature-based tourism. According to one economic point of view, land should be used in a way that maximises its total economic value. While this approach has its merits, it does not take into account the distribution of benefits from land use and its local impacts on income and employment. These can be quite important politically and for nature conservation, and are discussed. Finally, there is some discussion of whether fees charged to tourists for access to environmental resources should discriminate between domestic tourists and foreigners.

Birds in an Australian rainforest: Their attraction for visitors and visitors' ecological impacts

Lamington National Park in Queensland, Australia is noted for its rainforest and is part of the World Heritage listed property but prior to this work, no systematic study has been done of the importance of birds to its visitors. This study is based on data from survey forms handed to visitors at an important site in the park and completed by visitors following their visit. It yielded 622 useable responses. These enabled us to establish the comparative importance of birds as an attraction to this site for this sample of visitors. Furthermore, logit regression is used to target analysis and to identify factors that increase the likelihood of a visitor saying that birds are an important attraction. In addition, the relative importance to visitors of various attributes of birds at this site is established. These attributes include hearing birds, diversity of birds, seeing lots of birds, presence of rare birds, presence of brightly coloured birds and physical contact with birds. Logit regression analysis is used to isolate independent variables that increase or decrease the likelihood that visitors find diversity of birds, brightly coloured birds or physical contact with birds at this site to be important. For example, factors such as the level of education of visitors, their gender, knowledge of birds and conservation attitudes and statistically significant influences. As a result of the analysis potential conflicts between different types of park visitors in relation to human interaction with birds are identified. Some potential ecological implications of human interactions with birds are modelled and discussed, and their economic conservation and biodiversity consequences are considered

An initial assessment of policies for saving a rare Australian glider: Experimental results, economics and ecology

Reviews the ecological status of the mahogany glider and describes its distribution, habitat and abundance, life history and threats to it. Three serial surveys of Brisbane residents provide data on the knowledge of respondents about the mahogany glider. The results provide information about the attitudes of respondents to the mahogany glider, to its conservation and relevant public policies and about variations in these factors as the knowledge of participants of the mahogany glider alters. Similarly data is provided and analysed about the willingness to pay of respondents to conserve the mahogany glider. Population viability analysis is applied to estimate the required habitat area for a minimum viable population of the mahogany glider to ensure at least a 95% probability of its survival for 100 years. Places are identified in Queensland where the requisite minimum area of critical habitat can be conserved. Using the survey results as a basis, the likely willingness of groups of Australians to pay for the conservation of the mahogany glider is estimated and consequently their willingness to pay for the minimum required area of its habitat. Methods for estimating the cost of protecting this habitat are outlined. Australia-wide benefits seem to exceed the costs. Establishing a national park containing the minimum viable population of the mahogany glider is an appealing management option. This would also be beneficial in conserving other endangered wildlife species. Therefore, additional economic benefits to those estimated on account of the mahogany glider itself can be obtained.

The treatment of tardive dyskinesia: A systematic review and meta-analysis

This systematic review aimed to collate randomized controlled trials (RCTs) of various interventions used to treat tardive dyskinesia (TD) and, where appropriate, to combine the data for mete-analysis, Clinical trials were identified by electronic searches, handsearches and contact with principal investigators. Data were extracted independently by two reviewers, for outcomes related to improvement, deterioration, side-effects and drop out rates. Data were pooled using the Mantel-Haenzel Odds Ratio (fixed effect model). For treatments that had significant effects, the number needed to treat (NNT) was calculated. From 296 controlled clinical trials, data were extracted from 47 trials. For most interventions, we could identify no RCT-derived evidence of efficacy. A meta-analysis showed that baclofen, deanol and diazepam were no more effective than a placebo. Single RCTs demonstrated a lack of evidence of any effect for bromocriptine, ceruletide, clonidine, estrogen, gamma linolenic acid, hydergine, lecithin, lithium, progabide, seligiline and tetrahydroisoxazolopyridinol. The meta-analysis found that five interventions were effective: L-dopa, oxypertine, sodium valproate, tiapride and vitamin E; neuroleptic reduction was marginally significant. Data from single RCTs revealed that insulin, alpha methyl dopa and reserpine were more effective than a placebo. There was a significantly increased risk of adverse events associated with baclofen, deanol, L-dopa, oxypertine and reserpine. Metaanalysis of the impact of placebo (n=485) showed that 37.3% of participants showed an improvement. Interpretation of this systematic review requires caution as the individual trials identified tended to have small sample sizes. For many compounds, data from only one trial were available, and where meta-analyses were possible, these were based on a small number of trials. Despite these concerns, the review facilitated the interpretation of the large and diverse range of treatments used for TD. Clinical recommendations for the treatment of TD are made, based on the availability of RCT-derived evidence, the strength of that evidence and the presence of adverse effects. (C) 1999 Elsevier Science B.V. All rights reserved.

Comparing predictions of extinction risk using models and subjective judgement

Models of population dynamics are commonly used to predict risks in ecology, particularly risks of population decline. There is often considerable uncertainty associated with these predictions. However, alternatives to predictions based on population models have not been assessed. We used simulation models of hypothetical species to generate the kinds of data that might typically be available to ecologists and then invited other researchers to predict risks of population declines using these data. The accuracy of the predictions was assessed by comparison with the forecasts of the original model. The researchers used either population models or subjective judgement to make their predictions. Predictions made using models were only slightly more accurate than subjective judgements of risk. However, predictions using models tended to be unbiased, while subjective judgements were biased towards over-estimation. Psychology literature suggests that the bias of subjective judgements is likely to vary somewhat unpredictably among people, depending on their stake in the outcome. This will make subjective predictions more uncertain and less transparent than those based on models. (C) 2004 Elsevier SAS. All rights reserved.

The Tessier Number 5 Facial Cleft: Surgical Strategies and Outcomes in Six Patients

The Tessier no. 5 facial cleft is an extremely rare congenital malformation. Only 26 cases have been described In the English-language literature. The cleft begins In the upper lip just medial to the oral commissure, extending across the cheek as a groove ending at the junction of the middle and lateral thirds of the lower eyelid. The bone Involvement usually Includes an alveolar cleft in the premolar region, extends across the maxilla lateral to the Infraorbital nerve, up to the infraorbital rim and orbital floor. The goals of the surgical procedure Include reconstructing the lower eyelid, repositioning the lateral canthus, closure of the labiomaxillary cleft, and restoration of the skeletal continuity (including the orbital floor defect) with bone grafts. We present six patients with the Tessier no. 5 facial cleft who have been treated in our combined centers and discuss the surgical options and difficulties faced in the reconstruction of this rare and challenging craniofacial malformation. To date, we have treated six patients (two with bilateral and four with unilateral clefts). Three of the patients with unilateral clefting had an associated no. 4 cleft and one patient with a bilateral cleft had an associated no. 3 cleft. This paper represents the largest series to date documenting surgery for patients with the Tessier no. 5 facial cleft.

Cutaneous vasculitis in systemic lupus erythematosus: association with anti-ribosomal P protein antibody and Raynaud phenomenon

Ninety-one consecutive systemic lupus erythematosus (SLE) patients (American College of Rheumatology criteria) with a history of cutaneous vasculitis were compared to 163 SLE controls without this clinical manifestation from July to December 2007 in order to determine the possible clinical and serological association of this manifestation. Data were obtained in an ongoing electronic database protocol and autoantibodies to anti-double-stranded DNA, anti-Sm, anti-RNP, anti-Ro/SS-A, anti-La/SS-B, and anticardiolipin and ribosomal P protein antibody (anti-P) were detected by standard techniques. Exclusion criteria were the presence of anti-phospholipid syndrome or antibodies, Sjogren syndrome, and a history of thrombosis. The mean age (38.5 +/- 11.5 vs. 37.8 +/- 11.6 years, p = 0.635), disease duration (12.5 +/- 7.8 vs. 11.8 +/- 7.9 years, p = 0.501), and frequency of white race (71.4% vs. 70.5%, p = 0.872) and female sex (96.8% vs. 93.7%, p = 0.272) were comparable in both groups. The vasculitis group had a higher frequency of malar rash (97.9% vs. 87.4%, p = 0.004), photosensitivity (91.4% vs. 81.6%, p = 0.030), and Raynaud phenomenon (RP; 27.7% vs. 7.5%, p < 0.001), whereas all other clinical manifestation including renal and central nervous system involvements were similar to the control group. Laboratorial data revealed that only anti-P (35.1% vs. 12.1%, p < 0.001) was more frequent in patients with vasculitis. In a multivariate logistic regression model, cutaneous vasculitis was associated to the presence of RP (OR = 3.70; 95% confidence interval [CI] = 1.73-8.00) and anti-P (OR = 3.42; 95% CI = 1.76-6.66). In summary, SLE cutaneous vasculitis characterizes a subgroup of patients with more RP and anti-P antibodies but not accompanied by a higher frequency of renal and central nervous system involvements.

Topological charge and angular momentum of light beams carrying optical vortices

We analyze the properties of light beams carrying phase singularities, or optical vortices. The transformations of topological charge during free-space propagation of a light wave, which is a combination of a Gaussian beam and a multiple charged optical vortex within a Gaussian envelope, are studied both in theory and experiment. We revise the existing knowledge about topological charge conservation, and demonstrate possible scenarios where additional vortices appear or annihilate during free propagation of such a combined beam. Coaxial interference of optical vortices is also analyzed, and the general rule for angular-momentum density distribution in a combined beam is established. We show that, in spite of any variation in the number of vortices in a combined beam, the total angular momentum is constant during the propagation. [S1050-2947(97)09910-1].