Formal change impact analyses for emulated control software

Processor emulators are a software tool for allowing legacy computer programs to be executed on a modern processor. In the past emulators have been used in trivial applications such as maintenance of video games. Now, however, processor emulation is being applied to safety-critical control systems, including military avionics. These applications demand utmost guarantees of correctness, but no verification techniques exist for proving that an emulated system preserves the original system’s functional and timing properties. Here we show how this can be done by combining concepts previously used for reasoning about real-time program compilation, coupled with an understanding of the new and old software architectures. In particular, we show how both the old and new systems can be given a common semantics, thus allowing their behaviours to be compared directly.

Application of program packages EMTDC and matlab in the analysis of impact of neutral point operating regime on the magnitude of touch Voltage

This paper introduces a method for power system modeling during the earth fault. The possibility of using this method for selection and adjustment of earth fault protection is pointed out. The paper also contains the comparison of results achieved by simulation with the experimental measurements.

Cost-effectiveness analysis of a kidney and cardiovascular disease treatment program in an Australian aboriginal population

The objective of the study was to assess, from a health service perspective, whether a systematic program to modify kidney and cardiovascular disease reduced the costs of treating end-stage kidney failure. The participants in the study were 1,800 aboriginal adults with hypertension, diabetes with microalbuminuria or overt albuminuria, and overt albuminuria, living on two islands in the Northern Territory of Australia during 1995 to 2000. Perindopril was the primary treatment agent, and other medications were also used to control blood pressure. Control of glucose and lipid levels were attempted, and health education was offered. Evaluation of program resource use and costs for follow-up periods was done at 3 and 4.7 years. On an intention-to-treat basis, the number of dialysis starts and dialysis-years avoided were estimated by comparing the fate of the treatment group with that of historical control subjects, matched for disease severity, who were followed in the before the treatment program began. For the first three years, an estimated 11.6 person-years of dialysis were avoided, and over 4.7 years, 27.7 person-years of dialysis were avoided. The net cost of the program was $1,210 more per person per year than status quo care, and dialyses avoided gave net savings of $1.0 million at 3 years and $3.4 million at 4.6 years. The treatment program provided significant health benefit and impressive cost savings in dialysis avoided. (C) 2005 by the National Kidney Foundation, Inc.

Bellerophon: a program to detect chimeric sequences in multiple sequence alignments

Bellerophon is a program for detecting chimeric sequences in multiple sequence datasets by an adaption of partial treeing analysis. Bellerophon was specifically developed to detect 16S rRNA gene chimeras in PCR-clone libraries of environmental samples but can be applied to other nucleotide sequence alignments.

Interval breast cancers in an Australian mammographic screening program

Objective: To determine the incidence of interval cancers which occurred in the first 12 months after mammographic screening at a mammographic screening service. Design: Retrospective analysis of data obtained by crossmatching the screening Service and the New South Wales Central Cancer Registry databases. Setting: The Central & Eastern Sydney Service of BreastScreen NSW. Participants: Women aged 40-69 years at first screen, who attended for their first or second screen between 1 March 1988 and 31 December 1992. Main outcome measures: Interval-cancer rates per 10 000 screens and as a proportion of the underlying incidence of breast cancer (as estimated by the underlying rate in the total NSW population). Results: The 12-month interval-cancer incidence per 10 000 screens was 4.17 for the 40-49 years age group (95% confidence interval [CI], 1.35-9.73) and 4.64 for the 50-69 years age group (95% CI, 2.47-7.94). Proportional incidence rates were 30.1% for the 40-49 years age group (95% CI, 9.8-70.3) and 22% for the 50-69 years age group (95% CI, 11.7-37.7). There was no significant difference between the proportional incidence rate for the 50-69 years age group for the Central & Eastern Sydney Service and those of major successful overseas screening trials. Conclusion: Screening quality was acceptable and should result in a significant mortality reduction in the screened population. Given the small number of cancers involved, comparison of interval-cancer statistics of mammographic screening programs with trials requires age-specific or age-adjusted data, and consideration of confidence intervals of both program and trial data.

Diversity and commonality in national identities: an exploratory analysis of cross-national patterns

Issues of boundary maintenance are implicit in all studies of national identity. By definition, national communities consist of those who are included but surrounded (literally or metaphorically) by those who are excluded. Most extant research on national identity explores criteria for national membership largely in terms of official or public definitions described, for example, in citizenship and immigration laws or in texts of popular culture. We know much less about how ordinary people in various nations reason about these issues. An analysis of cross-national (N = 23) survey data from the 1995 International Social Science Program reveals a core pattern in most of the countries studied. Respondents were asked how important various criteria were in being 'truly' a member of a particular nation. Exploratory factor analysis shows that these items cluster in terms of two underlying dimensions. Ascriptive/objectivist criteria relating to birth, religion and residence can be distinguished from civic/voluntarist criteria relating to subjective feelings of membership and belief in core institutions. In most nations the ascriptive/objectivist dimension of national identity was more prominent than the subjective civic/voluntarist dimension. Taken overall, these findings suggest an unanticipated homogeneity in the ways that citizens around the world think about national identity. To the extent that these dimensions also mirror the well-known distinction between ethnic and civic national identification, they suggest that the former remains robust despite globalization, mass migration and cultural pluralism. Throughout the world official definitions of national identification have tended to shift towards a civic model. Yet citizens remain remarkably traditional in outlook. A task for future research is to investigate the macrosociological forces that produce both commonality and difference in the core patterns we have identified.

MapScript: A map algebra programming language incorporating neighborhood analysis

Map algebra is a data model and simple functional notation to study the distribution and patterns of spatial phenomena. It uses a uniform representation of space as discrete grids, which are organized into layers. This paper discusses extensions to map algebra to handle neighborhood operations with a new data type called a template. Templates provide general windowing operations on grids to enable spatial models for cellular automata, mathematical morphology, and local spatial statistics. A programming language for map algebra that incorporates templates and special processing constructs is described. The programming language is called MapScript. Example program scripts are presented to perform diverse and interesting neighborhood analysis for descriptive, model-based and processed-based analysis.

Quaternary continental weathering geochronology by laser-heating Ar-40/Ar-39 analysis of supergene cryptomelane

Incremental laser-heating analyses of supergene cryptomelane clusters extracted from three distinct weathering profiles from the Mary Valley region, southeast Queensland, Australia, yield reproducible and well-defined plateau ages ranging from 346 +/- 15 to 291 +/- 14 ka (2 a). Precipitation of supergene cryptomelane in this period implies that relative humid climate prevailed in southeast Queensland from 340 to 290 ha, a result consistent with oxygen isotope analyses of marine sediments from Ocean Drilling Program Site 820 and with regional pollen and spore records. These results, the first report on the precise Ar-40/Ar-39 dating of Quaternary supergene cryptomelane, indicate that Ar-40/Ar-39 analysis of pedogenic minerals provides a reliable geochronometer for the study of Quaternary surficial processes useful in the study of soil formation rates, continental paleoclimates, and archaeological sites devoid of datable volcanic minerals.

Improving pain management by nurses: A pilot peer intervention program

Significant pain continues to be reported by many hospitalized patients despite the numerous and varied educational programs developed and implemented to improve pain management. A theoretically based Peer Intervention Program was designed from a predictive model to address nurses' beliefs, attitudes, subjective norms, self-efficacy, perceived control and intentions in the management of pain with p.r.n. (as required) narcotic analgesia. The pilot study of this program utilized a quasi-experimental pre-post test design with a patient intervention, nurse and patient intervention and control conditions consisting of 24, 18 and 19 nurses, respectively. One week after the intervention, significant differences were found between the nurse and patient condition and the two other conditions in beliefs, self-efficacy, perceived control, positive trend in attitudes, subjective norms and intentions. The most positive aspects of the program were supportive interactive discussions with peers and an awareness and understanding of beliefs and attitudes and their roles in behavior.

On-line writing: a link to learning in a teacher education program

This paper examines the use of on-line discussion as a medium for learning in a pre-service teacher education program. As part of an Education Studies course student teachers engaged in a discussion of issues related to technology and equity in schools. The design of the task and the subsequent analysis of the on-line text were part of a research project investigating whether and how communications technology can be used to integrate and extend the learning of teacher education students. The main argument developed in the paper is that through the on-line activity distinctive sets of writing practices were created. These practices enabled students to make connections between the often disparate parts of teacher education programs-theory and practice, campus and school, research and experience. (C) 2002 Elsevier Science Ltd. All rights reserved.