1,580 research outputs found
On the origin of linguistic norms : orthography, ideology and the constitutional challenge to the 1996 reform of German.
This article explores one aspect of the many public protests surrounding the 1996 reform of German orthography: the first in a series of LEGAL challenges, which was brought before the Federal Constitutional Court in May 1996. The first section begins by proposing how and why such protests can be usefully theorized in terms of Blommaert's (1999) concept of a âlanguage ideological debate,â and then describes the historical background essential for an understanding of this legal dispute. The second section focuses on a critical analysis of the case brought against the reform, looking at the details of the challenge itself, together with the justification for its rejection by the Constitutional Court. The third section considers what this dispute can tell us about debates over the perceived origin of orthographic norms, with particular reference to the ideological relationship between individual, speech community, and (nation-)state. Finally, there is a brief summary of the way in which the matter was finally â albeit unsatisfactorily â resolved in 1998â1999
Validation of highly reliable, real-time knowledge-based systems
Knowledge-based systems have the potential to greatly increase the capabilities of future aircraft and spacecraft and to significantly reduce support manpower needed for the space station and other space missions. However, a credible validation methodology must be developed before knowledge-based systems can be used for life- or mission-critical applications. Experience with conventional software has shown that the use of good software engineering techniques and static analysis tools can greatly reduce the time needed for testing and simulation of a system. Since exhaustive testing is infeasible, reliability must be built into the software during the design and implementation phases. Unfortunately, many of the software engineering techniques and tools used for conventional software are of little use in the development of knowledge-based systems. Therefore, research at Langley is focused on developing a set of guidelines, methods, and prototype validation tools for building highly reliable, knowledge-based systems. The use of a comprehensive methodology for building highly reliable, knowledge-based systems should significantly decrease the time needed for testing and simulation. A proven record of delivering reliable systems at the beginning of the highly visible testing and simulation phases is crucial to the acceptance of knowledge-based systems in critical applications
A strategy for automatically generating programs in the lucid programming language
A strategy for automatically generating and verifying simple computer programs is described. The programs are specified by a precondition and a postcondition in predicate calculus. The programs generated are in the Lucid programming language, a high-level, data-flow language known for its attractive mathematical properties and ease of program verification. The Lucid programming is described, and the automatic program generation strategy is described and applied to several example problems
Evaluation of fault-tolerant parallel-processor architectures over long space missions
The impact of a five year space mission environment on fault-tolerant parallel processor architectures is examined. The target application is a Strategic Defense Initiative (SDI) satellite requiring 256 parallel processors to provide the computation throughput. The reliability requirements are that the system still be operational after five years with .99 probability and that the probability of system failure during one-half hour of full operation be less than 10(-7). The fault tolerance features an architecture must possess to meet these reliability requirements are presented, many potential architectures are briefly evaluated, and one candidate architecture, the Charles Stark Draper Laboratory's Fault-Tolerant Parallel Processor (FTPP) is evaluated in detail. A methodology for designing a preliminary system configuration to meet the reliability and performance requirements of the mission is then presented and demonstrated by designing an FTPP configuration
APPR Appeals Process Report: Panels
[Excerpt] This report describes the characteristics of joint panels and examines where they are being used in New York State to resolve APPR teacher evaluation disputes. The information presented here was gathered by analyzing the provisions of the APPR appeal procedures, which are publicly available on the New York State Department of Education website
The art of fault-tolerant system reliability modeling
A step-by-step tutorial of the methods and tools used for the reliability analysis of fault-tolerant systems is presented. Emphasis is on the representation of architectural features in mathematical models. Details of the mathematical solution of complex reliability models are not presented. Instead the use of several recently developed computer programs--SURE, ASSIST, STEM, PAWS--which automate the generation and solution of these models is described
Evaluating the audio-diary method in qualitative research
Purpose
Audio-diary methods are under-utilised in contemporary qualitative research. In this paper we discuss participants and researchersâ experiences of using audio-diaries alongside semi-structured interviews to explore breastfeeding experiences in a short-term longitudinal study with 22 first-time mothers.
Design/methodology/approach
We provide a qualitative content analysis of the participantsâ feedback about their experiences of the audio-diary method and supplement this with the perspectives of the research team based on fieldwork notes, memos and team discussions. We pay particular attention to the ways in which the data attained from diaries compared with those from the interviews.
Findings
The diaries produced were heterogeneous in terms of data length and quality. Participantsâ experiences with the method were varied. Some found the process therapeutic and useful for reflecting upon the development of breastfeeding skills whilst negative aspects related to lack of mobility, self-consciousness and concerns about confidentiality. Researchers were positive about the audio-diary method but raised certain ethical, epistemological and methodological concerns. These include debates around the use of prompts, appropriate support for participants and the potential of the method to influence the behaviour under scrutiny. Interview and diary accounts contrasted and complemented in ways which typically enriched data analysis.
Practical implications
The authors conclude that audio-diaries are a flexible and useful tool for qualitative research especially within critical realist and phenomenological paradigms
Originality/value
This appears to be the first paper to evaluate both participants and researchersâ experiences of using audio-diaries in a detailed and systematic fashio
Characterization of Metering, Merging and Spacing Requirements for Future Trajectory-Based Operations
Trajectory-Based Operations (TBO) is one of the essential paradigm shifts in the NextGen transformation of the National Airspace System. Under TBO, aircraft are managed by 4-dimensional trajectories, and airborne and ground-based metering, merging, and spacing operations are key to managing those trajectories. This paper presents the results of a study of potential metering, merging, and spacing operations within a future TBO environment. A number of operational scenarios for tactical and strategic uses of metering, merging, and spacing are described, and interdependencies between concurrent tactical and strategic operations are identified
- âŠ