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.

Applying semantics to grid middleware

Scheduling parallel and distributed applications efficiently onto grid environments is a difficult task and a great variety of scheduling heuristics has been developed aiming to address this issue. A successful grid resource allocation depends, among other things, on the quality of the available information about software artifacts and grid resources. In this article, we propose a semantic approach to integrate selection of equivalent resources and selection of equivalent software artifacts to improve the scheduling of resources suitable for a given set of application execution requirements. We also describe a prototype implementation of our approach based on the Integrade grid middleware and experimental results that illustrate its benefits. Copyright (C) 2009 John Wiley & Sons, Ltd.

A vaccination game based on public health actions and personal decisions

Susceptible-infective-removed (SIR) models are commonly used for representing the spread of contagious diseases. A SIR model can be described in terms of a probabilistic cellular automaton (PCA), where each individual (corresponding to a cell of the PCA lattice) is connected to others by a random network favoring local contacts. Here, this framework is employed for investigating the consequences of applying vaccine against the propagation of a contagious infection, by considering vaccination as a game, in the sense of game theory. In this game, the players are the government and the susceptible newborns. In order to maximize their own payoffs, the government attempts to reduce the costs for combating the epidemic, and the newborns may be vaccinated only when infective individuals are found in their neighborhoods and/or the government promotes an immunization program. As a consequence of these strategies supported by cost-benefit analysis and perceived risk, numerical simulations show that the disease is not fully eliminated and the government implements quasi-periodic vaccination campaigns. (C) 2011 Elsevier B.V. All rights reserved.

COMPETITION AMONG EUCALYPTUS TREES DEPENDS ON GENETIC VARIATION AND RESOURCE SUPPLY

Genetic variation and environmental heterogeneity fundamentally shape the interactions between plants of the same species. According to the resource partitioning hypothesis, competition between neighbors intensifies as their similarity increases. Such competition may change in response to increasing supplies of limiting resources. We tested the resource partitioning hypothesis in stands of genetically identical (clone-origin) and genetically diverse (seed-origin) Eucalyptus trees with different water and nutrient supplies, using individual-based tree growth models. We found that genetic variation greatly reduced competitive interactions between neighboring trees, supporting the resource partitioning hypothesis. The importance of genetic variation for Eucalyptus growth patterns depended strongly on local stand structure and focal tree size. This suggests that spatial and temporal variation in the strength of species interactions leads to reversals in the growth rank of seed-origin and clone-origin trees. This study is one of the first to experimentally test the resource partitioning hypothesis for intergenotypic vs. intragenotypic interactions in trees. We provide evidence that variation at the level of genes, and not just species, is functionally important for driving individual and community-level processes in forested ecosystems.

Trace Semantics for the Owicki-Gries Theory Integrated with the Progress Logic from UNITY

The theory of Owicki and Gries has been used as a platform for safety-based verifcation and derivation of concurrent programs. It has also been integrated with the progress logic of UNITY which has allowed newer techniques of progress-based verifcation and derivation to be developed. However, a theoretical basis for the integrated theory has thus far been missing. In this paper, we provide a theoretical background for the logic of Owicki and Gries integrated with the logic of progress from UNITY. An operational semantics for the new framework is provided which is used to prove soundness of the progress logic.

A power system control scheme based on security visualisation in parameter space

Power system real time security assessment is one of the fundamental modules of the electricity markets. Typically, when a contingency occurs, it is required that security assessment and enhancement module shall be ready for action within about 20 minutes’ time to meet the real time requirement. The recent California black out again highlighted the importance of system security. This paper proposed an approach for power system security assessment and enhancement based on the information provided from the pre-defined system parameter space. The proposed scheme opens up an efficient way for real time security assessment and enhancement in a competitive electricity market for single contingency case

Economic , Educational and Conservation Benefits of Sea Turtle Based Ecotourism: A Study Focused on Mon Repos

The study examines the economic, educational and conservation values of sea turtle-based ecotourism in Australia. The centre-piece of this research is a case study undertaken at the Mon Repos Conservation Park located near the town of Bundaberg, Queensland. Each year from mid-November to end of March, thousands of visitors visit Mon Repos Conservation Park to view sea turtles either nesting on the one km stretch of beach or to see hatchlings emerge from their nests and march on to the sea or both. As a result of this activity there are considerable economic benefits to the Bundaberg region during the sea turtle season. The study examines the economic impact of sea turtle viewing at Mon Repos to the region. The study assesses the recreational value of sea turtle viewing. Furthermore, sea turtle-based ecotourism also provides educational and conservation benefits that are important for the protection and conservation of sea turtles, especially in Australia. The study specifies the extent of the educational impact and conservation appreciation of sea turtle viewing at Mon Repos Conservation Park. As a background to the study, Mon Repos visitors’ profile and socio-economic data of visitors are provided. In order to conduct this study, 1,200 survey forms were distributed, out of which 519 usable responses were obtained.

Economics, wildlife tourism and conservation: Three case studies

This report presents the results of an economics component of the National Interdisciplinary Project (NIP) on wildlife tourism in Australia. The main objectives of the study were to outline and assess the role that economics can play in the valuation and management of wildlife-based tourism, undertake appropriate case studies to highlight the value of economics and its limits in assessing wildlife tourism in each case, take into account relevant environmental issues involved in wildlife tourism, and make future recommendations.

Public support for sustainable commercial harvesting of wildlife: An Australian case study

This paper surveys a sample of 204 members of the Australian public to determine their attitude to the sustainable commercial harvesting of wildlife generally, and considers their specific support for the sustainable commercial harvesting of each of 24 Australian native species. The general attitude of the sample to wildlife harvesting is related to their attitude to nature conservation. The relationship between respondents’ support for the sustainable commercial harvesting of each of the species and their degree of endangerment based on IUCN Red List rankings is established and found to be an inverse one. Support for the commercial sustainable use of each of the species is compared with the willingness of respondents to pay for their conservation. Support for sustainable commercial harvesting of species is found to be inversely related to the willingness of respondents to pay is for a particular species’ conservation. In turn, this willingness to pay is found to rise with the degree of endangerment of species. While the likeability of a species has some influence on whether there is support or not for its commercial harvesting, it does not seem to be the predominant influence— the degree of endangerment of a species appears to be the major influence here. Even so, this does not imply majority support for the harvest of all species that are not threatened; rather, majority support for harvest was observed only for some species known to be abundant. None of the species that appear in the Red List have majority support for harvesting. Implications are outlined of the results for the policy of promoting wildlife conservation by means of sustainable use.

Recreational fishing and fishing policies in the Netherlands and Australia: A comparative review

This article compares fisheries management, environmental problems and policies of the Netherlands and Australia. From this comparison lessons can be learned for countries that experience economic growth and on increase of leisure activity. In both countries, conflicts between the user groups, e.g. commercial and recreational fishers, are identified and the ways in which policymakers deal with these problems are outlined. Often suggested tools to address these problems are decision-making procedures based on a holistic framework in which economic, sociocultural, political/institutional, ecological aspects are included in the decision framework. Recreational fishing is today often the dominant factor in the resolution of these matters because of the relative economic, social and political power of recreational fishers as a group.

Birds - their importance to visitors to an Australian rainforest

Lamington National Park in Queensland, Australia is noted for its rainforest and is part of Australia’s fourteen World Heritage listed properties but no systematic study has been done of the importance of birds to its visitors. This study rectifies this situation. It is based on data from survey forms handed to visitors at an important site in this park and completed by visitors following their visit. This yielded 622 useable replies. These enabled us to establish the comparative importance of birds as an attraction to this site. Furthermore, logit regression is used to analyze 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 colored 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 colored 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 are statistically significant influences.

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

Glow worms as a tourist attraction in Springbrook National Park: Visitor attitudes and economic issues

nsect-based tourism mainly caters to a niche market, but its popularity has been growing in recent years. Despite its popularity this form of tourism has remained under-researched and in a sense its contribution to the tourism industry has gone mostly unnoticed. This paper reports the results of a study undertaken on one form of popular insect-based tourism, namely glow worms. The study was undertaken in Springbrook National Park (Natural Bridge section) southeast Queensland, which has one of the largest glow worm colonies in Australia that attracts thousands of visitors each year. A study of this form of tourism is important and useful for several reasons. It is important to understand this hitherto under-studied tourism activity to determine the type of visitors, their socio-economic attributes, economic benefits to the local economy, visitors’ knowledge of glow worms, education imparted, visitor satisfaction of glow worm viewing and visitor attitudes for the introduction of a user fee system to view glow worms. An understanding of these issues could not only help to better manage this valuable biological resource, but can be used to develop the industry to cater to a growing number of visitors. Tourism in glow worms can potentially be used not only to educate the public on the threats affecting glow worms and their colonies, but could also be used to conserve them. Lessons learnt from glow worms as an attraction to Springbrook National Park can be used to better manage and further develop other existing and new glow worm sites in Australia and elsewhere for tourism. Furthermore, it could provide some guidance for the management and development of other forms of current insect-based tourism activities (eg. butterflies) and develop new tourism ventures based on species such as stick insects and jewel beetles for which Australia is well known (Reader’s Digest, 1997)

Knowledge of birds and willingness to pay for their conservation: An Australian case study

This case study concentrates on the extent of knowledge of members of the Australian public of Australia’s tropical bird species and their willingness to pay for their conservation. In order to place this issue in context, it first provides background information on the status of Australian bird species, focusing attention on species that occur in tropical Australia. Then, using survey results, this study considers the hypothesis that the public’s relative support for the conservation of different bird species depends on its comparative knowledge of their existence and status. Based on experimental results from a sample of residents of Brisbane, Queensland (Australia), it is found that their knowledge of bird species that occur exclusively in the Australian tropics (including tropical Queensland) is very poor compared to those that also occur in the Brisbane area and are relatively common. Experimental results indicate that when respondents in the sample had an option to allocate $1,000 between ten bird species listed in the survey, it resulted in a greater allocation of funds to the better known and more common species than when they were provided with balanced information about all the selected species. With balanced information the average allocation to bird species confined mostly to the Australian tropics, particularly those threatened or endangered, increased. The general consequences of this for policies for the conservation of birds are discussed.