FTMP (Fault Tolerant Multiprocessor) programmer's manual

The Fault Tolerant Multiprocessor (FTMP) computer system was constructed using the Rockwell/Collins CAPS-6 processor. It is installed in the Avionics Integration Research Laboratory (AIRLAB) of NASA Langley Research Center. It is hosted by AIRLAB's System 10, a VAX 11/750, for the loading of programs and experimentation. The FTMP support software includes a cross compiler for a high level language called Automated Engineering Design (AED) System, an assembler for the CAPS-6 processor assembly language, and a linker. Access to this support software is through an automated remote access facility on the VAX which relieves the user of the burden of learning how to use the IBM 4381. This manual is a compilation of information about the FTMP support environment. It explains the FTMP software and support environment along many of the finer points of running programs on FTMP. This will be helpful to the researcher trying to run an experiment on FTMP and even to the person probing FTMP with fault injections. Much of the information in this manual can be found in other sources; we are only attempting to bring together the basic points in a single source. If the reader should need points clarified, there is a list of support documentation in the back of this manual

Design and analysis issues of integrated control systems for high-speed civil transports

A study was conducted to identify, rank, and define development plans for the critical guidance and control design and analysis issues as related to economically viable and environmentally acceptable high-speed civil transport. The issues were identified in a multistep process. First, pertinent literature on supersonic cruise aircraft was reviewed, and experts were consulted to establish the fundamental characteristics and problems inherent to supersonic cruise aircraft. Next, the advanced technologies and strategies being pursued for the high-speed civil transport were considered to determine any additional unique control problems the transport may have. Finally, existing technologies and methods were examined to determine their capabilities for the design and analysis of high-speed civil transport control systems and to identify the shortcomings and issues. Three priority levels - mandatory, highly beneficial, and desirable - were established. Within each of these levels, the issues were further ranked. Technology development plans for each issue were defined. Each plan contains a task breakdown and schedule

Fusing Quantitative Requirements Analysis with Model-based Systems Engineering

A vision is presented for fusing quantitative requirements analysis with model-based systems engineering. This vision draws upon and combines emergent themes in the engineering milieu. “Requirements engineering” provides means to explicitly represent requirements (both functional and non-functional) as constraints and preferences on acceptable solutions, and emphasizes early-lifecycle review, analysis and verification of design and development plans. “Design by shopping” emphasizes revealing the space of options available from which to choose (without presuming that all selection criteria have previously been elicited), and provides means to make understandable the range of choices and their ramifications. “Model-based engineering” emphasizes the goal of utilizing a formal representation of all aspects of system design, from development through operations, and provides powerful tool suites that support the practical application of these principles. A first step prototype towards this vision is described, embodying the key capabilities. Illustrations, implications, further challenges and opportunities are outlined

Trialogue on the number of fundamental constants

This paper consists of three separate articles on the number of fundamental dimensionful constants in physics. We started our debate in summer 1992 on the terrace of the famous CERN cafeteria. In the summer of 2001 we returned to the subject to find that our views still diverged and decided to explain our current positions. LBO develops the traditional approach with three constants, GV argues in favor of at most two (within superstring theory), while MJD advocates zero.Comment: Version appearing in JHEP; 31 pages late

Potential mainland Chinese cruise travelers’ expectations, motivations, and intentions

The global cruise industry is the fastest growing sector in the entire leisure market. Due to the limited development of the Chinese cruise sector and government controls on outbound travel, the cruise, especially the outbound cruise, is a new concept in China. Few studies have addressed Chinese consumers’ perceptions of cruises. This study aimed to explore the preferences of potential Chinese cruisers and their expectations, motivations, and intentions in relation to taking an outbound cruise. This study also proposed and tested a conceptual framework: the Expectation, Motivation, and Intention (EMI) Model. Data were collected in Beijing and Shanghai; 242 valid responses were received. The results partially supported the proposed model. The theoretical and practical contributions of the study are discussed

A Lakota/Nakota/Dakota Model Of Oratory

Lakota/Nakota/Dakota people, as well as other Native American tribal groups, did not traditionally use the established, conventional forms of oration to which most in contemporary mainstream society relate. Rather, Native-specific epistemology, ontology and axiology played a central role in forming and supporting the function of communication as well as the speaking conventions that continue to be used today. These culturally-based patterns and structures present both challenges and opportunities that have been only marginally explored in various disciplines such as education, social and behavioral science, and psychology. This body of work exists for the purpose of exploring a traditionally Native understanding of oratory and communication, the impact of the transition to English on oratorical conventions and the culturally embedded communication practices still with us today. It delineates a model of Lakota/Nakota/Dakota oratory comprised of the traditional practices of formal introduction, acknowledgement of viewpoint, responding indirectly, non-confrontational, utilization of ikce wicasa concept, use of humor, use of storytelling or personal narrative, listening as basis for speaking and formal conclusion. Research findings suggest that these criteria accurately reflect an on-going, culturally-appropriate model of Lakota/Nakota/Dakota oratory

Measurement of psychological entitlement in 28 countries

This article presents the cross-cultural validation of the Entitlement Attitudes Questionnaire, a tool designed to measure three facets of psychological entitlement: active, passive, and revenge entitlement. Active entitlement was defined as the tendency to protect individual rights based on self-worthiness. Passive entitlement was defined as the belief in obligations to and expectations toward other people and institutions for the fulfillment of the individual’s needs. Revenge entitlement was defined as the tendency to protect one’s individual rights when violated by others and the tendency to reciprocate insults. The 15-item EAQ was validated in a series of three studies: the first one on a general Polish sample (N = 1,900), the second one on a sample of Polish students (N = 199), and the third one on student samples from 28 countries (N = 5,979). A three-factor solution was confirmed across all samples. Examination of measurement equivalence indicated partial metric invariance of EAQ for all national samples. Discriminant and convergent validity of the EAQ was also confirmed

Procedural justice and status: status salience as antecedent of procedural fairness effects

The current article explores status as an antecedent of procedural fairness effects (the findings that perceived procedural fairness affects people’s reactions, e.g., their relational judgments). On the basis of the literature, the authors proposed that salience of the general concept of status leads people to be more attentive to procedural fairness information and that, as a consequence, stronger procedural fairness effects should be found. In correspondence with this hypothesis, Experiment 1 showed stronger procedural fairness effects on people’s relational treatment evaluations in a status salient condition compared with a control condition. Experiment 2 replicated this effect and, in further correspondence with the hypothesis, showed that status salience led to increased cognitive accessibility of fairness concerns. Implications for the psychology of procedural justice are discussed

A Global Portrait of Counselling Psychologists’ Characteristics, Perspectives, and Professional Behaviors

Counselling psychologists in eight countries (Australia, Canada, New Zealand, South Africa, South Korea, Taiwan, the United Kingdom, and the United States) responded to survey questions that focused on their demographics as well as their professional identities, roles, settings and activities. As well, they were asked about satisfaction with the specialty and the extent to which they endorsed 10 core counselling psychology values. This article reports those results, focusing both on areas in which there were between-country similarities as well as on those for which there were differences. These data provide is a snapshot of counselling psychology globally and establish a foundation for the other articles in this special issue of the journal

Search based software engineering: Trends, techniques and applications

© ACM, 2012. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version is available from the link below.In the past five years there has been a dramatic increase in work on Search-Based Software Engineering (SBSE), an approach to Software Engineering (SE) in which Search-Based Optimization (SBO) algorithms are used to address problems in SE. SBSE has been applied to problems throughout the SE lifecycle, from requirements and project planning to maintenance and reengineering. The approach is attractive because it offers a suite of adaptive automated and semiautomated solutions in situations typified by large complex problem spaces with multiple competing and conflicting objectives. This article provides a review and classification of literature on SBSE. The work identifies research trends and relationships between the techniques applied and the applications to which they have been applied and highlights gaps in the literature and avenues for further research.EPSRC and E