Ownership Information

Award Charts

Award Listing

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, CHAR ...

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 CONTROLL ...

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. ...

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 RU ...

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 RE ...

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 ...

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 AD ...

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 T ...