Opportunity cost of ad hoc marine reserve design decisions: an example from South Australia

Like many states and territories, South Australia has a legacy of marine reserves considered to be inadequate to meet current conservation objectives. In this paper we configured exploratory marine reserve systems, using the software MARXAN, to examine how efficiently South Australia's existing marine reserves contribute to quantitative biodiversity conservation targets. Our aim was to compare marine reserve systems that retain South Australia's existing marine reserves with reserve systems that are free to either ignore or incorporate them. We devised a new interpretation of irreplaceability to identify planning units selected more than could be expected from chance alone. This is measured by comparing the observed selection frequency for an individual planning unit with a predicted selection frequency distribution. Knowing which sites make a valuable contribution to efficient marine reserve system design allows us to determine how well South Australia's existing reserves contribute to reservation goals when representation targets are set at 5, 10, 15, 20, 30 and 50% of conservation features. Existing marine reserves that tail to contribute to efficient marine reserve systems constitute 'opportunity costs'. We found that despite spanning less than 4% of South Australian state waters, locking in the existing ad hoc marine reserves presented considerable opportunity costs. Even with representation targets set at 50%, more than halt of South Australia's existing marine reserves were selected randomly or less in efficient marine reserve systems. Hence, ad hoc marine reserve systems are likely to be inefficient and may compromise effective conservation of marine biodiversity.

Kangaroos and feral goats as economic resources for graziers: Some views from south-west Queensland

Fifteen years ago it was proposed that the conversion of kangaroos from a pest to an economically valuable resource would allow graziers to reduce the numbers of domestic stock and thereby lower total grazing pressure. Since then, little progress towards this goal has been achieved. This is believed to be due mainly to the low prices obtained for kangaroo products. A survey of graziers in south-west Queensland was carried out to discover their opinions on kangaroos as a potential economic resource. Questions on the harvesting of feral goats were also included in the survey because of the contrast this industry provides to kangaroo harvesting in terms of grazier involvement. The results of the survey are discussed in relation to resource ownership rights; kangaroo product prices and marketing; and competition within the kangaroo harvesting industry. They show that while low kangaroo product prices do act as a disincentive to graziers, other administrative, legal and institutional factors are also important impediments to their entry to the industry. It is concluded that until the focus of attention widens to include consideration of these as well as just market factors, little progress will be made towards integrating graziers into the kangaroo harvesting industry.

Identity, difference, and the dilemmas of inter-Korean relations: Insights from northern defectors and the German precedent

Questions of identity have become increasingly central to the study of foreign policy and security, particularly in constructivist debates. But very few of the resulting insights have been applied to the Korean situation, where discussions about security and inter-Korean relations remain dominated by strategic and geopolitical issues. The main task of this article is to address this shortcoming by examining the experience of North Korean defectors in South Korea and the precedent of German unification. Both of these domains of inquiry reveal that identity differences between North and South persist far beyond the ideological and political structures that created them in the first place. Born out of death, fear, and longing for revenge, these identity patterns lie at the heart of Korea's security dilemmas. Unless taken seriously by scholars and decision makers, the respective tensions between identity and difference will continue to cause major political problems. (Key words: Inter-Korean relations, North Korean defectors, German unification)

Modern environmental improvement pathways for the coal power generation industry in Australia

In this work we assess the pathways for environmental improvement by the coal utilization industry for power generation in Australia. In terms of resources, our findings show that coal is a long term resource of concern as coal reserves are likely to last for the next 500 years or more. However, our analysis indicates that evaporation losses of water in power generation will approach 1000 Gl (gigalitres) per year, equivalent to a consumption of half of the Australian residential population. As Australia is the second driest continent on earth, water consumption by power generators is a resource of immediate concern with regards to sustainability. We also show that coal will continue to play a major role in energy generation in Australia and, hence, there is a need to employ new technologies that can minimize environmental impacts. The major technologies to reduce impacts to air, water and soils are addressed. Of major interest, there is a major potential for developing sequestration processes in Australia, in particular by enhanced coal bed methane (ECBM) recovery at the Bowen Basin, South Sydney Basin and Gunnedah Basin. Having said that, CO2 capture technologies require further development to support any sequestration processes in order to comply with the Kyoto Protocol. Current power generation cycles are thermodynamic limited, with 35-40% efficiencies. To move to a high efficiency cycle, it is required to change technologies of which integrated gasification combined cycle plus fuel cell is the most promising, with efficiencies expected to reach 60-65%. However, risks of moving towards an unproven technology means that power generators are likely to continue to use pulverized fuel technologies, aiming at incremental efficiency improvements (business as usual). As a big picture pathway, power generators are likely to play an increasing role in regional development; in particular EcoParks and reclaiming saline water for treatment as pressures to access fresh water supplies will significantly increase.

Estimating the abundance of eastern grey kangaroos (Macropus giganteus) in south-eastern New South Wales, Australia

To provide an estimate of kangaroo numbers for harvest management, a survey was designed for an area of 29500 km(2) encompassing the agricultural and grazing lands of the Braidwood, Cooma, Goulburn, Gundagai and Yass Rural Lands Protection Board (RLPB) districts in south-east New South Wales. An aerial survey using a helicopter was considered more efficient than ground survey because of the size of the area, relatively high relief and dense tree cover, and the need for regular monitoring. Tree cover and landscape relief was used to stratify the five RLPB districts into areas of probable high, medium and low kangaroo density. Kangaroo density estimated from helicopter surveys conducted in the Northern Tablelands of New South Wales was used to suggest densities and thereby allocate survey effort in each stratum. A survey comprising 735 km of transect line was conducted in winter 2003 with a target precision of 20%. The survey returned an estimate of 286600 32300 eastern grey kangaroos for the whole of the proposed south-east New South Wales kangaroo-management zone. In 2004, a trial harvest of slightly less than 15% of this estimate was taken. Success of the trial will be determined by the impact of harvesting on the population's dynamics, by landholder and industry participation, and by the capacity to monitor population size, harvest offtake and compliance with regulations.

Global perspectives in Korean intercountry adoption

Policy and social work practice currently lack a theoretical framework that adequately explains the emergence, diffusion, and continuance of the intercountry adoption (ICA) phenomenon. Using South Korea as a case study and the application of actor network theory to the ICA phenomenon, this paper introduces a theoretical approach that allows an examination of the complex interrelationships between the global and local influences of a country's engagement in ICA. This theoretical approach provides a different way of understanding the phenomenon, which, in turn, can better inform policies and practice that affect children and families across the globe.

Construction of an Intraplate Fault System Model of South Australia, and Simulation Tool for the iSERVO Institute Seed Project

To foster ongoing international cooperation beyond ACES (APEC Cooperation for Earthquake Simulation) on the simulation of solid earth phenomena, agreement was reached to work towards establishment of a frontier international research institute for simulating the solid earth: iSERVO = International Solid Earth Research Virtual Observatory institute (http://www.iservo.edu.au). This paper outlines a key Australian contribution towards the iSERVO institute seed project, this is the construction of: (1) a typical intraplate fault system model using practical fault system data of South Australia (i.e., SA interacting fault model), which includes data management and editing, geometrical modeling and mesh generation; and (2) a finite-element based software tool, which is built on our long-term and ongoing effort to develop the R-minimum strategy based finite-element computational algorithm and software tool for modelling three-dimensional nonlinear frictional contact behavior between multiple deformable bodies with the arbitrarily-shaped contact element strategy. A numerical simulation of the SA fault system is carried out using this software tool to demonstrate its capability and our efforts towards seeding the iSERVO Institute.

It's all in the game: Teaching software process concepts

A major challenge in teaching software engineering to undergraduates is that most students have limited industry experience, so the problems addressed are unknown and hence unappreciated. Issues of scope prevent a realistic software engineering experience, and students often graduate with a simplistic view of software engineering’s challenges. Problems and Programmers (PnP) is a competitive, physical card game that simulates the software engineering process from requirements specification to product delivery. Deliverables are abstracted, allowing a focus on process issues and for lessons to be learned in a relatively short time. The rules are easy to understand and the game’s physical nature allows for face-to-face interaction between players. The game’s developers have described PnP in previous publications, but this paper reports the game’s use within a larger educational scheme. Students learn and play PnP, and then are required to create a software requirements specification based on the game. Finally, students reflect on the game’s strengths and weaknesses and their experiences in an individual essay. The paper discusses this approach, students’ experiences and overall outcomes, and offers an independent, critical look at the game, its use, and potential improvements.

Agent-based distributed software verification

Despite decades of research, the takeup of formal methods for developing provably correct software in industry remains slow. One reason for this is the high cost of proof construction, an activity that, due to the complexity of the required proofs, is typically carried out using interactive theorem provers. In this paper we propose an agent-oriented architecture for interactive theorem proving with the aim of reducing the user interactions (and thus the cost) of constructing software verification proofs. We describe a prototype implementation of our architecture and discuss its application to a small, but non-trivial case study.

Implementation of a triple modular redundant FPGA based safety critical system for reliable software execution

This paper describes the implementation of a TMR (Triple Modular Redundant) microprocessor system on a FPGA. The system exhibits true redundancy in that three instances of the same processor system (both software and hardware) are executed in parallel. The described system uses software to control external peripherals and a voter is used to output correct results. An error indication is asserted whenever two of the three outputs match or all three outputs disagree. The software has been implemented to conform to a particular safety critical coding guideline/standard which is popular in industry. The system was verified by injecting various faults into it.