MDA-based re-engineering with Object-Z

This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.

Benchmarking regional planning arrangements for natural resource management 2004–05: Progress, constraints and future directions for regions

This report provides a benchmark of progress in regional planning for natural resource management in Queensland and the tropical savannas region of northern Australia during 2004. It is based on a review of regional plans and planning processes against a set of pre-defined criteria designed specifically to evaluate regional planning arrangements.

Orbitally induced oscillations in the East Antarctic ice sheet at the Oligocene/Miocene boundary

Between 34 and 15 million years (Myr) ago, when planetary temperatures were 3-4 degreesC warmer than at present and atmospheric CO2 concentrations were twice as high as today(1), the Antarctic ice sheets may have been unstable(2-7). Oxygen isotope records from deep-sea sediment cores suggest that during this time fluctuations in global temperatures and high-latitude continental ice volumes were influenced by orbital cycles(8-10). But it has hitherto not been possible to calibrate the inferred changes in ice volume with direct evidence for oscillations of the Antarctic ice sheets(11). Here we present sediment data from shallow marine cores in the western Ross Sea that exhibit well dated cyclic variations, and which link the extent of the East Antarctic ice sheet directly to orbital cycles during the Oligocene/Miocene transition (24.1-23.7 Myr ago). Three rapidly deposited glaci-marine sequences are constrained to a period of less than 450 kyr by our age model, suggesting that orbital influences at the frequencies of obliquity (40 kyr) and eccentricity (125 kyr) controlled the oscillations of the ice margin at that time. An erosional hiatus covering 250 kyr provides direct evidence for a major episode of global cooling and ice-sheet expansion about 23.7 Myr ago, which had previously been inferred from oxygen isotope data (Mil event(5)).

Matrix-product codes over Fq

Codes C-1,...,C-M of length it over F-q and an M x N matrix A over F-q define a matrix-product code C = [C-1 (...) C-M] (.) A consisting of all matrix products [c(1) (...) c(M)] (.) A. This generalizes the (u/u + v)-, (u + v + w/2u + v/u)-, (a + x/b + x/a + b + x)-, (u + v/u - v)- etc. constructions. We study matrix-product codes using Linear Algebra. This provides a basis for a unified analysis of /C/, d(C), the minimum Hamming distance of C, and C-perpendicular to. It also reveals an interesting connection with MDS codes. We determine /C/ when A is non-singular. To underbound d(C), we need A to be 'non-singular by columns (NSC)'. We investigate NSC matrices. We show that Generalized Reed-Muller codes are iterative NSC matrix-product codes, generalizing the construction of Reed-Muller codes, as are the ternary 'Main Sequence codes'. We obtain a simpler proof of the minimum Hamming distance of such families of codes. If A is square and NSC, C-perpendicular to can be described using C-1(perpendicular to),...,C-M(perpendicular to) and a transformation of A. This yields d(C-perpendicular to). Finally we show that an NSC matrix-product code is a generalized concatenated code.

The genetic and environmental relationship between the interpersonal sensitivity measure (IPSM) and the personality dimensions of Eysenck and Cloninger

A shortened version of the Interpersonal Sensitivity Measure (IPSM) developed to predict depression prone personalities was administered in a self-report questionnaire to a community-based sample of 3269 Australian twin pairs aged 18-28 years, along with Eysenck's EPQ and Cloninger's TPQ. The IPSM included four sub-scales: Separation Anxiety (SEP); Interpersonal Sensitivity (INT); Fragile Inner-Self (FIS); and Timidity (TIM). Univariate analysis revealed that individual differences in the IPSM sub-scale scores were best explained by additive genetic and specific environmental effects. Confirming previous research findings, familial aggregation for the EPQ and TPQ personality dimensions was entirely due to additive genetic effects. In the multivariate case, a model comprising additive genetic and specific environmental effects best explained the covariation between the latent factors for male and female twin pairs alike. The EPQ and TPQ dimensions accounted for moderate to large proportions of the genetic variance (40-76%) in the IPSM sub-scales, while most of the non-shared environment variance was unique to the IPSM sub-scales. (C) 2001 Elsevier Science Ltd. All rights reserved.

Popular understandings of 'UnAustralian': an investigation of the un-national

In social science the 'national' has been studied extensively, but comparatively little attention has been given to the 'un-national'. The article takes up this challenge in an Australian context. Drawing on the work of Raymond Williams, investigation is centred around the keyword 'UnAustralian'. Participants in focus groups were asked to nominate and account for what they thought of as 'UnAustralian' people, places, values, activities, groups and organizations. Analysis of the data revealed that two factors underpinned an attribution: incivility and foreign influence. Contemporary uses revolve around outcomes from globalization and can be contrasted with the centrality of class politics to deployments of the concept in the first part of the 20th century.

The future of cognitive and behavioral therapies in the prevention and early management of psychosis: Opportunities and risks

Behavioral and cognitive interventions for people with psychosis have a long and distinguished history, although the evidence for their application to young people remains limited. We anticipate that the next decades will show substantial research into psychological intervention for this population. Important targets will include the management of environmental stressors, reduction of substance misuse, and promotion of early treatment. Psychological management of positive symptoms, depression, and suicidal behavior will continue to be critical objectives. Important secondary prevention goals will be the retention of cognitive functioning, vocational options, social skills, and social network support, including appropriate family support. We expect primary prevention to include both universal programs and interventions for adolescents at particularly high risk. Technical innovations will include increasing use of Internet-based intervention and behavior cueing devices. Pressures for intervention brevity will continue, as will problems with the systematic delivery of effective procedures.

The effect of incentive reforms upon productivity: Evidence from the Vietnamese rice industry

In this study we use region-level panel data on rice production in Vietnam to investigate total factor productivity (TFP) growth in the period since reunification in 1975. Two significant reforms were introduced during this period, one in 1981 allowing farmers to keep part of their produce, and another in 1987 providing improved land tenure. We measure TFP growth using two modified forms of the standard Malmquist data envelopment analysis (DEA) method, which we have named the Three-year-window (TYW) and the Full Cumulative (FC) methods. We have developed these methods to deal with degrees of freedom limitations. Our empirical results indicate strong average TFP growth of between 3.3 and 3.5 per cent per annum, with the fastest growth observed in the period following the first reform. Our results support the assertion that incentive related issues have played a large role in the decline and subsequent resurgence of Vietnamese agriculture.

Nocturnal activity in the green sea turtle alters daily profiles of melatonin and corticosterone

In nature, green turtles (Chelonia mydas) can exhibit nocturnal activity in addition to their typically diurnal activity cycle. We examined whether nocturnal activity in captive and free-living green turtles altered daily plasma profiles of melatonin (MEL) and corticosterone (CORT). In captivity, diurnally active green turtles expressed distinct diel cycles in MEL and CORT; a nocturnal rise was observed in MEL and a diurnal rise was observed in CORT. However, when induced to perform both low- and high-intensity nocturnal activity, captive green turtles exhibited a significant decrease in MEL, compared to inactive controls. In contrast, plasma CORT increased significantly with nocturnal activity, and further, the relative increase in CORT was correlated with the intensity of the nocturnal behavior. In free-living green turtles that performed nocturnal activity including: nesting, mate searching, and feeding/swimming behaviors, plasma profiles in MEL and CORT exhibited relatively little, or no, daily fluctuation. Our findings demonstrate that nocturnal activity in green turtles is often associated with MEL and CORT profiles that resemble those measured during the day. We speculate that these conspicuous changes in MEL and CORT during nocturnal activity could either support or promote behaviors that enable acquisition of transient resources important to the survival and reproductive success of green turtles. (C) 2002 Elsevier Science (USA).