On the finite element modeling of fatigue crack growth in pressurized cylindrical shells

A methodology for the computational modeling of the fatigue crack growth in pressurized shell structures, based on the finite element method and concepts of Linear Elastic Fracture Mechanics, is presented. This methodology is based on that developed by Potyondy [Potyondy D, Wawrzynek PA, Ingraffea, AR. Discrete crack growth analysis methodology for through crack in pressurized fuselage structures. Int J Numer Methods Eng 1995;38:1633-1644], which consists of using four stress intensity factors, computed from the modified crack integral method, to predict the fatigue propagation life as well as the crack trajectory, which is computed as part of the numerical simulation. Some issues not presented in the study of Potyondy are investigated herein such as the influence of the crack increment size and the number of nodes per element (4 or 9 nodes) on the simulation results by means of a fatigue crack propagation simulation of a Boeing 737 airplane fuselage. The results of this simulation are compared with experimental results and those obtained by Potyondy [1]. (C) 2008 Elsevier Ltd. All rights reserved.

NDT flaw mapping of steel surfaces by continuous magnetic Barkhausen noise: Volumetric flaw detection case

This paper reports the use of a non-destructive, continuous magnetic Barkhausen noise (CMBN) technique to investigate the size and thickness of volumetric defects, in a 1070 steel. The magnetic behavior of the used probe was analyzed by numerical simulation, using the finite element method (FEM). Results indicated that the presence of a ferrite coil core in the probe favors MBN emissions. The samples were scanned with different speeds and probe configurations to determine the effect of the flaw on the CMBN signal amplitude. A moving smooth window, based on a second-order statistical moment, was used for analyzing the time signal. The results show the technique`s good repeatability, and high capacity for detection of this type of defect. (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.

Tax Cost of Investment Projects: the case of ICMS credits

This article discusses the impact on the profitability of firms under Complementary Law 102/2000 (which abrogated the Law 89/96 - Kandir Law) allowing the appropriation of ICMS credits, due to investment in fixed assets goods, at a ratio of 1/48 per month. The paper seeks to demonstrate how this new system - which resulted in the transformation of the ICMS as a value added tax (VAT) consumption-type to an income-type - leads to a loss of approximately 30% of the value of credits to be recovered and the effect it generates on the cost of investment and the profits for small, medium and large firms. From the methodological point of view, it is a descriptive and quantitative research, which proceeded in three stages. Initially, we have obtained estimated value of net sales and volume of investments, based on report Painel de Competitividade prepared by the Federacao das Indtustrias do Estado de Sao Paulo (Fiesp/Serasa). Based on this information, it was possible to obtain estimates of the factors of generation of debits and credits for ICMS, using the model Credit Control of Fixed Assets (CIAP). Finally, we have calculated three indicators: (i) present value of debt recovery/value of credits, (ii) present value of debt recovery / investment value, (iii) present value of debt recovery / sales profitability. We have conclude that the system introduced by Complementary Law 102/2000 implicates great opportunity cost for firms and that legislation should be reviewed from this perspective, aiming to ensure lower costs associated with investment projects.

A wavelet-based adaptive technique for adsorption problems involving steep gradients

A general, fast wavelet-based adaptive collocation method is formulated for heat and mass transfer problems involving a steep moving profile of the dependent variable. The technique of grid adaptation is based on sparse point representation (SPR). The method is applied and tested for the case of a gas–solid non-catalytic reaction in a porous solid at high Thiele modulus. Accurate and convergent steep profiles are obtained for Thiele modulus as large as 100 for the case of slab and found to match the analytical solution.

DR-NEGOTIATE - A system for automated agent negotiation with defeasible logic-based strategies

This paper reports on a system for automated agent negotiation, based on a formal and executable approach to capture the behavior of parties involved in a negotiation. It uses the JADE agent framework, and its major distinctive feature is the use of declarative negotiation strategies. The negotiation strategies are expressed in a declarative rules language, defeasible logic, and are applied using the implemented system DR-DEVICE. The key ideas and the overall system architecture are described, and a particular negotiation case is presented in detail.

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.

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.

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.

Outcome with calcium channel antagonists after myocardial infarction: A community-based study

Objectives. We sought to estimate the risk of death and recurrent myocardial infarction associated with the use of calcium antagonists after myocardial infarction in a population-based cohort study. Background. Calcium antagonists are commonly prescribed after myocardial infarction, but their long-term effects are not well established. Methods. Patients 25 to 69 years old with a suspected myocardial infarction were identified and followed up through a community-based register of myocardial infarction and cardiac death (part of the World Health Organization Monitoring Trends and Determinants in Cardiovascular Disease [MONICA] Project in Newcastle, Australia). Data were collected by review of medical records, in-hospital interview and review of death certificates. Results. From 1989 to 1993, 3,982 patients with a nonfatal suspected myocardial infarction were enrolled in the study. At hospital discharge, 1,001 patients were treated with beta-adrenergic blocking agents, 923 with calcium antagonists, 711 with both beta-blockers and calcium antagonists and 1,346 with neither drug. Compared with patients given beta-blockers, patients given calcium antagonists were more likely to suffer myocardial infarction or cardiac death (adjusted relative risk [RR] 1.4, 95% confidence interval [CI] 1.0 to 1.9), cardiac death (RR 1.6, 95% CI 1.0 to 2.7) and death from all causes (RR 1.7, 95% CI 1.1 to 2.6). Compared with patients given neither beta-blockers nor calcium antagonists, patients given calcium antagonists were not at increased risk of myocardial infarction or cardiac death (RR 1.0, 95% CI 0.8 to 1.3), cardiac death (RR 0.9, 95% CI 0.6 to 1.2) or death from all causes (RR 1.0, 95% CI 0.7 to 1.3). No excess in risk of myocardial infarction or cardiac death was observed among patients taking verapamil (RR 0.9, 95% CI 0.6 to 1.6), diltiazem (RR 1.1, 95% CI 0.8 to 1.4) or nifedipine (RR 1.3, 95% CI 0.7 to 2.2) compared,vith patients taking neither calcium antagonists nor beta-blockers. Conclusions. These results are consistent with randomized trial data showing benefit from beta blockers after myocardial infarction and no effect on the risk of recurrent myocardial infarction and death with the use of calcium antagonists. Comparisons between beta-blockers and calcium antagonists favor beta blockers because of the beneficial effects of beta-blockers and not because of adverse effects of calcium antagonists. (C) 1998 by the American College of Cardiology.

Coronary events and exposure to environmental tobacco smoke: a case-control study from Australia and New Zealand

Objectives-To estimate the relative risk of coronary heart disease (CHD) associated with exposure to environmental tobacco smoke (ETS). Design-Population-based case-control study. Subjects-Cases were 953 people identified in a population register of coronary events, and controls were 3189 participants in independent community-based risk factor prevalence surveys from the same study populations. Setting-Newcastle, Australia and Auckland, New Zealand. Main outcome measures-Acute myocardial infarction or coronary death. Results-After adjusting for the effects of age, education, history of heart disease, and body mass index, women had a statistically significant increased risk of a coronary event associated with exposure to ETS (relative risk (RR) = 1.99; 95% confidence interval (CI)= 1.40-2.81). There was little statistical evidence of increased risk found in men (RR = 1.02, 95% CI = 0.81-1.28). Conclusion-Our study found evidence for the adverse effects of exposure to ETS on risk of coronary heart disease among women, especially at home. For men the issue is unclear according to the data from our study. Additional studies with detailed information on possible confounders and adequate statistical power are needed. Most importantly, they should use methods for measuring exposure to ETS that are sufficiently accurate to permit the investigation of dose-response relationships.

Programming internet based DAI applications in Qu-Prolog

This paper presents the unique collection of additional features of Qu-Prolog, a variant of the Al programming language Prolog, and illustrates how they can be used for implementing DAI applications. By this we mean applications comprising communicating information servers, expert systems, or agents, with sophisticated reasoning capabilities and internal concurrency. Such an application exploits the key features of Qu-Prolog: support for the programming of sound non-clausal inference systems, multi-threading, and high level inter-thread message communication between Qu-Prolog query threads anywhere on the internet. The inter-thread communication uses email style symbolic names for threads, allowing easy construction of distributed applications using public names for threads. How threads react to received messages is specified by a disjunction of reaction rules which the thread periodically executes. A communications API allows smooth integration of components written in C, which to Qu-Prolog, look like remote query threads.