Engineering topics

Goguen, Joseph

Publications and source records attributed to Goguen, Joseph.

5 records

NASA NTRS2001

Institution Morphisms

Institutions formalize the intuitive notion of logical system, including both syntax and semantics. A surprising number of different notions of morphisim have been suggested for forming categories with institutions as objects, and a surprising variety of names have been proposed for them. One goal of this paper is to suggest a terminology that is both uniform and informative to replace the current rather chaotic nomenclature. Another goal is to investigate the properties and interrelations of these notions. Following brief expositions of indexed categories, twisted relations, and Kan extensions, we demonstrate and then exploit the duality between institution morphisms in the original sense of Goguen and Burstall, and the 'plain maps' of Meseguer, obtaining simple uniform proofs of completeness and cocompleteness for both resulting categories; because of this duality, we prefer the name 'comorphism' over 'plain map.' We next consider 'theoroidal' morphisms and comorphisims, which generalize signatures to theories, finding that the 'maps' of Meseguer are theoroidal comorphisms, while theoroidal morphisms are a new concept. We then introduce 'forward' and 'semi-natural' morphisms, and appendices discuss institutions for hidden algebra, universal algebra, partial equational logic, and a variant of order sorted algebra supporting partiality.

Goguen, Joseph↗

NASA NTRS2001

Circular Coinduction

Circular coinduction is a technique for behavioral reasoning that extends cobasis coinduction to specifications with circularities. Because behavioral satisfaction is not recursively enumerable, no algorithm can work for every behavioral statement. However. algorithms using circular coinduction can prove every practical behavioral result that we know. This paper proves the correctness of circular coinduction and some consequences.

Rosu, Grigore↗

NASA NTRS1992

How Effective Is Communication Training For Aircraft Crews

Report surveys communication training for aircraft crews. Intended to alleviate problems caused or worsened by poor communication and coordination among crewmembers. Focuses on two training methods: assertiveness training and grid-management training. Examines theoretical background of methods and attempts made to validate their effectiveness. Presents criteria for evaluating applicability to aviation environment. Concludes communication training appropriate for aircraft crews.

Linde, Charlotte↗

NASA NTRS1987

Checklist interruption and resumption: A linguistic study

This study forms part of a project investigating the relationships among the formal structure of aviation procedures, the ways in which the crew members are taught to execute them, and the ways in which thet are actually performed in flight. Specifically, this report examines the interactions between the performance of checklists and interruptions, considering both interruptions by radio communications and by other crew members. The data consists of 14 crews' performance of a full mission simulation of a higher ratio of checklist speech acts to all speech acts within the span of the performance of the checklist. Further, it is not number of interruptions but length of interruptions which is associated with crew performance quality. Use of explicit holds is also associated with crew performance.

Linde, Charlotte↗

NASA NTRS1987

Communication training for aircrews: A review of theoretical and pragmatic aspects of training program design

This study is the final report of a project studying methods of communications training applicable to both civilian and military aviation personnel, including multiperson teams or single pilot fixed wing or rotary wing aircraft. A review is provided of a number of theories proposed as relevant for producing training materials for improved communications. Criteria are given for evaluating the applicability of training programs to the aviation environment, and these criteria are applied to United Airlines' Resources Management Training, as well as to a number of commercially available general purpose training programs. The report considers in detail assertiveness training and grid management training, examining their theoretical background and attempts made to validate their effectiveness. It was found that there are substantive difficulties in assessing the effectiveness of both training programs, as well as problems with the theories underlying them. However, because the aviation environment offers unique advantages for studying the effectiveness of communications training, recommendations are made on the design of appropriate training programs and on procedures that might be used to validate them.

Linde, Charlotte↗