Engineering topics

Chang, C. L.

Publications and source records attributed to Chang, C. L..

22 records · Page 2

NASA NTRS1988

Testing expert systems

Software quality is of primary concern in all large-scale expert system development efforts. Building appropriate validation and test tools for ensuring software reliability of expert systems is therefore required. The Expert Systems Validation Associate (EVA) is a validation system under development at the Lockheed Artificial Intelligence Center. EVA provides a wide range of validation and test tools to check correctness, consistency, and completeness of an expert system. Testing a major function of EVA. It means executing an expert system with test cases with the intent of finding errors. In this paper, we describe many different types of testing such as function-based testing, structure-based testing, and data-based testing. We describe how appropriate test cases may be selected in order to perform good and thorough testing of an expert system.

Chang, C. L.↗

NASA NTRS1987

Building validation tools for knowledge-based systems

The Expert Systems Validation Associate (EVA), a validation system under development at the Lockheed Artificial Intelligence Center for more than a year, provides a wide range of validation tools to check the correctness, consistency and completeness of a knowledge-based system. A declarative meta-language (higher-order language), is used to create a generic version of EVA to validate applications written in arbitrary expert system shells. The architecture and functionality of EVA are presented. The functionality includes Structure Check, Logic Check, Extended Structure Check (using semantic information), Extended Logic Check, Semantic Check, Omission Check, Rule Refinement, Control Check, Test Case Generation, Error Localization, and Behavior Verification.

Stachowitz, R. A.↗

NASA NTRS1981

Scaling of the beam-plasma discharge

A theoretical analysis is presented of the scaling of the critical beam current required for ignition and the narrow band emissions observed for beam currents less than critical in a beam plasma discharge experiment. The theory of the two-stream interaction between a nonrelativistic cold electron beam and a plasma in the presence of a magnetic field is developed, and conditions for the two-stream instability and the resulting amplification are derived. It is shown that the experimentally observed scaling is consistent with the assumption that the ignition triggering occurs when an instability near the electron plasma frequency is excited. Finally, it is shown that the wave emissions observed in the subthreshold range can be explained by the excitation of the kinetic instability of the upper branch and convective saturation.

Rowland, H. L.↗

NASA NTRS1979

Free energy of formation of Mo2C and the thermodynamic properties of carbon in solid molybdenum

As part of a study of the thermodynamical properties of interstitial elements in refractory metals, the free energy of formation of Mo2C is determined, and the thermodynamical properties of C in solution in solid Mo evaluated. The activity of C in the two-phase region Mo + Mo2C is obtained from the C content of iron rods equilibrated with metal + carbide powder mixtures. The free energy of formation of alpha-Mo2C is determined from the activity data. The thermodynamic properties of C in the terminal solid solution are calculated from available data on the solid solubility of C in Mo. Lattice distortion due to misfit of the C atoms in the interstitial sites appears to play a significant role in determining the thermodynamic properties of C in solid Mo.

Seigle, L. L.↗