Galerkin finite element method for incompressible thermofluid flows framed within the bond graph theory

In this paper a bond graph methodology is used to model incompressible fluid flows with viscous and thermal effects. The distinctive characteristic of these flows is the role of pressure, which does not behave as a state variable but as a function that must act in such a way that the resulting velocity field has divergence zero. Velocity and entropy per unit volume are used as independent variables for a single-phase, single-component flow. Time-dependent nodal values and interpolation functions are introduced to represent the flow field, from which nodal vectors of velocity and entropy are defined as state variables. The system for momentum and continuity equations is coincident with the one obtained by using the Galerkin method for the weak formulation of the problem in finite elements. The integral incompressibility constraint is derived based on the integral conservation of mechanical energy. The weak formulation for thermal energy equation is modeled with true bond graph elements in terms of nodal vectors of temperature and entropy rates, resulting a Petrov-Galerkin method. The resulting bond graph shows the coupling between mechanical and thermal energy domains through the viscous dissipation term. All kind of boundary conditions are handled consistently and can be represented as generalized effort or flow sources. A procedure for causality assignment is derived for the resulting graph, satisfying the Second principle of Thermodynamics. (C) 2007 Elsevier B.V. All rights reserved.

Modeling, control and experimental validation of a novel actuator based on shape memory alloys

The paper presents the development of a mechanical actuator using a shape memory alloy with a cooling system based on the thermoelectric effect (Seebeck-Peltier effect). Such a method has the advantage of reduced weight and requires a simpler control strategy as compared to other forced cooling systems. A complete mathematical model of the actuator was derived, and an experimental prototype was implemented. Several experiments are used to validate the model and to identify all parameters. A robust and nonlinear controller, based on sliding-mode theory, was derived and implemented. Experiments were used to evaluate the actuator closed-loop performance, stability, and robustness properties. The results showed that the proposed cooling system and controller are able to improve the dynamic response of the actuator. (C) 2009 Elsevier Ltd. All rights reserved.

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