The dod software initiative clearly identified the challenges for future systems. they will have to be larger and more complex, developed and delivered more rapidly, and maintained over longer periods. traditional programming techniques, however, appear to have reached their limits, making much… More

Design of effective man-machine interfaces (mmi) is critical to the operational efectiveness of interactive computer systems. unfortunately, mmi design flaws usually are not uncovered until late in the implementation phase when their correction is very expensive or impossible. rapid prototyping… More

The objective of this research is to study the feasibility of applying artificial intelligence technology to the derivation of spacecraft data system requirements from user scenarios. during phase i the research will be directed toward the development of a formal notation for the expression of… More

Computer technology associates (cta) proposes to investigate the requirements for a professional workstation to be used by engineers at wright-patterson, to define alternatives for migration of micro computers into professional workstations, and to recommend a plan for implementing this migration.… More

With the introduction of new 32 bit backplane buses, by vendors and standards organizations, a new generation of high performance, multi-board computer systems is being developed. these systems have a broad variety of applications including distributed control, communications, manufacturing and… More

The purpose of this research is to study the feasibility of providing on-line assistance to space scientists using an expert system. in phase i, the researchprocess will be examined in terms of how advanced computer science techniques can be used to provide support in information management, data… More

We will develop, and verify the feasibility of, a design concept for a distributed database management system to support c3i in the year 2000 time frame. the design concept we propose consists of a rulebased expert system front end to advanced distributed database management capabilities, operating… More

The purpose of this sbir is to investigate and describe an automated system which will enable the ship commanding officer to obtain precise, relevant data in decision-oriented formats. the critical requirement for this system is that it operate in a highly decentralized, heterogeneous information… More

The purpose of this research is to study the feasibility of quantifying the effects of ireased automation on the workload and performance of the federal aviation administra-tion's air traffic controller. in phase i, research will focus on adaptring our current human performance model to represent… More

Each time nasa develops a spacecraft, it develops, at the same time, a large body of information and knowledge in the form of engineering data, spacecraft test procedures, and operational constraints. unfortunately, much of this knowledge is never transitioned to operations, which frequently… More

The proposed research aims to employ a recently proven generalization of herbrand's theorem to automatic theorem proving (atp). the generalization, which was proven by the principle investigator, characterizes provability in the normalizable fragment of set theory in terms of provability in… More