Structural abstraction of process specifications

Software engineers constantly deal with problems of designing, analyzing, and improving process specifications, e.g., source code, service compositions, or process models. Process specifications are abstractions of behavior observed or intended to be implemented in reality which result from creative engineering practice. Usually, process specifications are formalized as directed graphs in which edges capture temporal relations between decisions, synchronization points, and work activities. Every process specification is a compromise between two points: On the one hand engineers strive to operate with less modeling constructs which conceal irrelevant details, while on the other hand the details are required to achieve the desired level of customization for envisioned process scenarios. In our research, we approach the problem of varying abstraction levels of process specifications. Formally, developed abstraction mechanisms exploit the structure of a process specification and allow the generalization of low-level details into concepts of a higher abstraction level. The reverse procedure can be addressed as process specialization.

A derivation of high-frequency asymptotic values of 3D added mass and damping based on properties of the Cummins' equation

This brief paper provides a novel derivation of the known asymptotic values of three-dimensional (3D) added mass and damping of marine structures in waves. The derivation is based on the properties of the convolution terms in the Cummins's Equation as derived by Ogilvie. The new derivation is simple and no approximations or series expansions are made. The results follow directly from the relative degree and low-frequency asymptotic properties of the rational representation of the convolution terms in the frequency domain. As an application, the extrapolation of damping values at high frequencies for the computation of retardation functions is also discussed.

Control design for positioning of underwater vehicles with control allocation

In this paper, we address the control design problem of positioning of over-actuated underwater vehicles. The proposed design is based on a control architecture with combined position and velocity loops and a control tuning method based on the decoupled models. We derive analytical tuning rules based on requirements of closed-loop stability, positioning performance, and the vehicle velocity dynamic characteristics. The vehicle modelling is considered from force to motion with appropriate simplifications related to low-speed manoeuvring hydrodynamics and vehicle symmetry. The control design is considered together with a control allocation mapping. This approach makes the control tuning independent of the characteristics of the force actuators and provides the basis for control reconfiguration in the presence of actuator failure. We propose an anti-wind-up implementation of the controller, which ensures that the constraints related to actuation capacity are not violated. This approach simplifies the control allocation problem since the actuator constraints are mapped into generalised force constraints.

Total factor productivity growth and convergence in the petroleum industry : empirical analysis testing for convexity

While economic theory acknowledges that some features of technology (e.g., indivisibilities, economies of scale and specialization) can fundamentally violate the traditional convexity assumption, almost all empirical studies accept the convexity property on faith. In this contribution, we apply two alternative flexible production technologies to measure total factor productivity growth and test the significance of the convexity axiom using a nonparametric test of closeness between unknown distributions. Based on unique field level data on the petroleum industry, the empirical results reveal significant differences, indicating that this production technology is most likely non-convex. Furthermore, we also show the impact of convexity on answers to traditional convergence questions in the productivity growth literature.

Time, space, and text in the elementary school digital writing classroom

Theorists of multiliteracies, social semiotics, and the New Literacy Studies have drawn attention to the potential changing nature of writing and literacy in the context of networked communications. This article reports findings from a design-based research project in Year 4 classrooms (students aged 8.5-10 years) in a low socioeconomic status school. A new writing program taught students how to design multimodal and digital texts across a range of genres and text types, such as web pages, online comics, video documentaries, and blogs. The authors use Bernstein’s theory of the pedagogic device to theorize the pedagogic struggles and resolutions in remaking English through the specialization of time, space, and text. The changes created an ideological struggle as new writing practices were adapted from broader societal fields to meet the instructional and regulative discourses of a conventional writing curriculum.

Proposed MBMs for reduction of greenhouse gas emissions from international shipping and the WTO rules

The international shipping sector is a major contributor to global greenhouse gas (GHG) emissions. The International Maritime Organisation (IMO) has adopted some technical and operational measures to reduce GHG emissions from international shipping. However, these measures may not be enough to reduce the amount of GHG emissions from international shipping to an acceptable level. Therefore, the IMO Member States are currently considering a number of proposals for the introduction of market-based measures (MBMs). During the negotiation process, some leading developing countries raised questions about the probable confl ict of the proposed MBMs with the rules of the World Trade Organisation (WTO). This article comprehensively examines this issue and argues that none of the MBM proposals currently under consideration by the IMO has any confl ict with the WTO rules.

Advances in gyro-stabilisation of vessel roll motion

The use of gyro-dynamic forces to counteract the wave-induced roll motion of marine vessels in a seaway was proposed over 100 years ago. These early systems showed a remarkable performance, reporting roll reductions of up to 95% in some sailing conditions. Despite this success, further developments were not pursued since the systems were unable to provide acceptable performance over an extended envelope of sailing and environmental conditions, and the invention of fin roll stabilisers provided a satisfactory alternative. This has been attributed to simplistic controls, heavy drive systems, and large structural mass required to withstand the loads given the low strength materials available at the time. Today, advances in material strength, bearings, motor technology and mechanical design methods, together with powerful signal processing algorithms, has resulted in a revitalized interest in gyro-stabilisers for ships. Advanced control systems have enabled optimisation of restoring torques across a range of wave environments and sailing conditions through adaptive control system design. All of these improvements have resulted in increased spinning speed, lower mass, and dramatically increased stabilising performance. This brief paper provides an overview of recent developments in the design and control of gyro-stabilisers of ship roll motion. In particular, the novel Halcyon Gyro-Stabilisers are introduced, and their performance is illustrated based on a simulation case study for a naval patrol vessel. Given the growing national and global interest in small combatants and patrol vessels, modem gyro-stabilisers may offer a significant technological contribution to the age old problem of comfort and mission operability on small ships, especially at loiter speeds.

A quay crane scheduling methodology for multimodal container terminals

This thesis develops an operational decision support tool for container terminal managements. The tool generates efficient schedules for shore cranes handling containers carried by mega container vessels.

Leaving family behind: Understanding the irregular migration of unaccompanied asylum-seeking minors - A qualitative study

This qualitative study investigated the drivers and determinants of irregular maritime migration among 17 protection visa holders who arrived in Australia as unaccompanied asylum-seeking minors. Semi-structured interviews were also conducted with eight non-government service providers working with unaccompanied minors in the Greater Brisbane area.

A magnetic climbing robot for marine inspection services

Currently, the inspection of sea-going vessels is performed manually. Ship surveyors do a visual inspection; in some cases they also use cameras and non-destructive testing methods. Prior to a ship surveying process a lot of scaffolding has to be provided in order to make every spot accessible for the surveyor. In this work a robotic system is presented, which is able to access many areas of a cargo hold of a ship and perform visual inspection without any scaffolding. The paper also describes how the position of the acquired data is estimated with an optical 3D tracking unit and how critical points on the hull can be marked via a remote controlled marker device. Furthermore first results of onboard tests with the system are provided.

Someone else's boom but always our bust: Australia as a derivative economy, implications for regions

This paper examines the socio-economic impact of mineral and agricultural resource extraction on local communities and explores policy options for addressing them. An emphasis on the marketisation of services together with tight fiscal control has reinforced decline in many country communities in Australia and elsewhere. However, the introduction by the European Union of Regional Policy which emphasises ‘smart specialisation’ can enhance greatly the capacity of local people to generate decent livelihoods. For this to have real effect, the innovative state has to enable partnerships between communities, researchers and industry. For countries like Australia, this would be a substantive policy shift.

Specialist nursing training in Poland: Applications for neuroscience nursing

Background: Nurses have a pivotal role in providing, facilitating, advocating and promoting the best possible care and outcome for the client. To ensure decisions and actions are based on current standards of practice, nurses must be accountable for participation in ongoing education in their area of practice. Aim: To present a description of the current state of Polish nursing education and specialized model for neurological and neurosurgical nursing that can be utilized for both undergraduate and postgraduate continuing education in Poland. Data sources: The model of postgraduate training introduced in Poland in 2000 was taken into consideration in developing the framework for neuroscience nursing postgraduate continuing education presented here. The framework for neurological continuing education is also based on a review of the literature and is consistent with Poland’s legally binding professional nursing regulations (normative and implementing regulations). Conclusion: The model demonstrates the need for the content of pre- and post-undergraduate degree education in neurological nursing to be graduated, based on the frameworks for undergraduate education (acquiring the knowledge and basic skills for performing the work of nurses) and postgraduate education (acquiring knowledge and specialist skills necessary for providing advanced nursing care including medical acts on patients with nervous system diseases). Implications for nursing: New and advanced skills gained in specialization training can be applied to complex functions, roles and professional tasks undertaken by nurses in relation to care of patients with neurological dysfunctions.

Small firm training: Just meeting the day-to-day needs of the business

Purpose The purpose of this paper is to explore what the attitudes of small firm owner-managers are to developing the skills of their key resources and then examine how these and other factors affect owner-managers’ preferences for training these employees. Design/methodology/approach This study of training in small road transport firms in West Australia is cast in light of the literature on human resource management in small firms underpinned by insights drawn using the resource based view of the firm. Small firms (less than 20 people) dominate this industry, while the increasing freight task, and extreme distances between West Australian ports, towns and mines highlight this sectors’ importance. Survey results from 39 small road transport firms and interviews with nine owner-managers are analysed. Findings Legislative, regulatory and licensing requirements were shown to be a key determinant of skills development. Employers ensured that basic standards for employee certification and qualification were met, as the penalty for not doing so would be too high. Regulations drove the need for certain types of training – licenses, fatigue management, occupational health and safety, handling dangerous goods, the Maritime Security Identification Card card, forklift license, mine site inductions – while owner-managers knew where to get the training their staff needed. Although regulation appeared most visible in prescribing what happened in relation to training for drivers, the relevance of owner-managers’ attitudes could not be ignored, nor could conditions in the firms external environment as this shaped how these requirements were met. Research limitations/implications The RBV is useful in showing how skill development enabled similarity in skills across firms, while the attitudes owner-managers and economic and social conditions meant what happened in firms around skill development varied. The importance of small firm owner-managers’ attitudes are clearly highlighted and shown to influence organizational decisions and choices around training, but these were not independent of the regulatory framework and the economic and social conditions within which the firm operated. The small firms in this study did engage workers in formal training when necessary but it was put in the context of the idiosyncratic approach of the owner-manager and the day-to-day needs of the firm. “Training” was essentially about ensuring certain types of skills were held by employees and then passing on knowledge to ensure the behavior of employees was consistent with the owner-manager’s vision for the firm in its current environment. Originality/value Ways industry and government can encourage training activity that goes beyond the day-to-day firm needs are suggested.

Sex differences in the human connectome: 4-Tesla high angular resolution diffusion imaging (HARDI) tractography in 234 young adult twins

Cortical connectivity is associated with cognitive and behavioral traits that are thought to vary between sexes. Using high-angular resolution diffusion imaging at 4 Tesla, we scanned 234 young adult twins and siblings (mean age: 23.4 2.0 SD years) with 94 diffusion-encoding directions. We applied a novel Hough transform method to extract fiber tracts throughout the entire brain, based on fields of constant solid angle orientation distribution functions (ODFs). Cortical surfaces were generated from each subject's 3D T1-weighted structural MRI scan, and tracts were aligned to the anatomy. Network analysis revealed the proportions of fibers interconnecting 5 key subregions of the frontal cortex, including connections between hemispheres. We found significant sex differences (147 women/87 men) in the proportions of fibers connecting contralateral superior frontal cortices. Interhemispheric connectivity was greater in women, in line with long-standing theories of hemispheric specialization. These findings may be relevant for ongoing studies of the human connectome.

Genetic influences on brain asymmetry: A DTI study of 374 twins and siblings

Brain asymmetry, or the structural and functional specialization of each brain hemisphere, has fascinated neuroscientists for over a century. Even so, genetic and environmental factors that influence brain asymmetry are largely unknown. Diffusion tensor imaging (DTI) now allows asymmetry to be studied at a microscopic scale by examining differences in fiber characteristics across hemispheres rather than differences in structure shapes and volumes. Here we analyzed 4. Tesla DTI scans from 374 healthy adults, including 60 monozygotic twin pairs, 45 same-sex dizygotic pairs, and 164 mixed-sex DZ twins and their siblings; mean age: 24.4 years ± 1.9 SD). All DTI scans were nonlinearly aligned to a geometrically-symmetric, population-based image template. We computed voxel-wise maps of significant asymmetries (left/right differences) for common diffusion measures that reflect fiber integrity (fractional and geodesic anisotropy; FA, GA and mean diffusivity, MD). In quantitative genetic models computed from all same-sex twin pairs (N=210 subjects), genetic factors accounted for 33% of the variance in asymmetry for the inferior fronto-occipital fasciculus, 37% for the anterior thalamic radiation, and 20% for the forceps major and uncinate fasciculus (all L > R). Shared environmental factors accounted for around 15% of the variance in asymmetry for the cortico-spinal tract (R > L) and about 10% for the forceps minor (L > R). Sex differences in asymmetry (men > women) were significant, and were greatest in regions with prominent FA asymmetries. These maps identify heritable DTI-derived features, and may empower genome-wide searches for genetic polymorphisms that influence brain asymmetry.