Automated flight test management system

The Phase 1 development of an automated flight test management system (ATMS) as a component of a rapid prototyping flight research facility for artificial intelligence (AI) based flight concepts is discussed. The ATMS provides a flight engineer with a set of tools that assist in flight test planning, monitoring, and simulation. The system is also capable of controlling an aircraft during flight test by performing closed loop guidance functions, range management, and maneuver-quality monitoring. The ATMS is being used as a prototypical system to develop a flight research facility for AI based flight systems concepts at NASA Ames Dryden

Preliminary design of a 100 kW turbine generator

The National Science Foundation and the Lewis Research Center have engaged jointly in a Wind Energy Program which includes the design and erection of a 100 kW wind turbine generator. The machine consists primarily of a rotor turbine, transmission, shaft, alternator, and tower. The rotor, measuring 125 feet in diameter and consisting of two variable pitch blades operates at 40 rpm and generates 100 kW of electrical power at 18 mph wind velocity. The entire assembly is placed on top of a tower 100 feet above ground level

Sciduction: Combining Induction, Deduction, and Structure for Verification and Synthesis

Even with impressive advances in automated formal methods, certain problems in system verification and synthesis remain challenging. Examples include the verification of quantitative properties of software involving constraints on timing and energy consumption, and the automatic synthesis of systems from specifications. The major challenges include environment modeling, incompleteness in specifications, and the complexity of underlying decision problems. This position paper proposes sciduction, an approach to tackle these challenges by integrating inductive inference, deductive reasoning, and structure hypotheses. Deductive reasoning, which leads from general rules or concepts to conclusions about specific problem instances, includes techniques such as logical inference and constraint solving. Inductive inference, which generalizes from specific instances to yield a concept, includes algorithmic learning from examples. Structure hypotheses are used to define the class of artifacts, such as invariants or program fragments, generated during verification or synthesis. Sciduction constrains inductive and deductive reasoning using structure hypotheses, and actively combines inductive and deductive reasoning: for instance, deductive techniques generate examples for learning, and inductive reasoning is used to guide the deductive engines. We illustrate this approach with three applications: (i) timing analysis of software; (ii) synthesis of loop-free programs, and (iii) controller synthesis for hybrid systems. Some future applications are also discussed

Automatic Romaine Heart Harvester

The Romaine Robotics Senior Design Team developed a romaine lettuce heart trimming system in partnership with a Salinas farm to address a growing labor shortage in the agricultural industry that is resulting in crops rotting in the field before they could be harvested. An automated trimmer can alleviate the most time consuming step in the cut-trim-bag harvesting process, increasing the yields of robotic cutters or the speed of existing laborer teams. Leveraging the Partner Farm’s existing trimmer architecture, which consists of a laborer loading lettuce into sprungloaded grippers that are rotated through vision and cutting systems by an indexer, the team redesigned geometry to improve the loading, gripping, and ejection stages of the system. Physical testing, hand calculations, and FEA were performed to understand acceptable grip strengths and cup design, and several wooden mockups were built to explore a new actuating linkage design for the indexer. The team manufactured, assembled, and performed verification testing on a full-size metal motorized prototype that can be incorporated with the Partner Farm’s existing cutting and vision systems. The prototype met all of the established requirements, and the farm has implemented the redesign onto their trimmer. Future work would include designing and implementing vision and cutting systems for the team’s metal prototype

Design criteria for flight evaluation. Monograph 4 - Control system evaluation

Methods and analyses for flight evaluation of control systems for multistage launch vehicle

An Airspace Simulator for Separation Management Research

Air Traffic Management (ATM) systems are undergoing a period of major transformation and modernisation, requiring and enabling new separation management (SM) methods. Many novel SM functions, roles and concepts are being explored using ATM simulators. Commercial simulators are capable, high-fidelity tools, but tend to be complex and inaccessible. The Airspace Simulator is a fast-time, discrete event simulator originally designed for exploratory ATM research. This thesis describes the redevelopment of the Airspace Simulator into a simulation platform better suited for researching and evaluating SM in future airspace. The Airspace Simulator-II has the advantage of new functionality and greater fidelity, while remaining high-speed, accessible and readily adaptable. The simulator models FMS-like spherical earth navigation and autopilot flight control with an average cross track error of 0.05 nmi for waypoint-defined routes in variable wind-fields. Trajectories are computed using the BADA v3.8 tabulated database to model the performance of 318 aircraft types. The simulator was demonstrated with up to 4000 total aircraft, and trajectories for 300 simultaneous aircraft were computed over 900 times faster than real-time. Datalink and radio-telephony communications are modelled between the air traffic and ATM systems. Surveillance is provided through ADS-B-like broadcasts, and an algorithm was developed to automatically merge instructions from conflict resolution systems with existing flight plans. Alternate communication, navigation, and separation modes were designed to permit the study of mixed-mode operations. Errors due to wind, navigational wander, communication latencies, and localised information states are modelled to facilitate research into the robustness of SM systems. The simulator incorporates a traffic visualisation tool and was networked to conflict detection and resolution software through a TCP/IP connection. A scenario generator was designed to automatically prepare flight plans for a large variety of two-aircraft encounters to support stochastic SM experiments. The simulator, scenario generator, and resolver were used for the preliminary analysis of a novel concept for automated SM over radio-telephony using progressive track angle vectoring

Design of the software development and verification system (SWDVS) for shuttle NASA study task 35

An overview of the Software Development and Verification System (SWDVS) for the space shuttle is presented. The design considerations, goals, assumptions, and major features of the design are examined. A scenario that shows three persons involved in flight software development using the SWDVS in response to a program change request is developed. The SWDVS is described from the standpoint of different groups of people with different responsibilities in the shuttle program to show the functional requirements that influenced the SWDVS design. The software elements of the SWDVS that satisfy the requirements of the different groups are identified

The NASA integrated test facility and its impact on flight research

The Integrated Test Facility (ITF), being built at NASA Ames-Dryden Flight Research Facility, will provide new test capabilities for emerging research aircraft. An overview of the ITF and the challenges being addressed by this unique facility are outlined. The current ITF capabilities, being developed with the X-29 Forward Swept Wing Program, are discussed along with future ITF activities