Search NASA⌕ Search

Engineering topics

Zeldin, S.

Publications and source records attributed to Zeldin, S..

7 records
All sourcesNASA NTRSDOE OSTI
NASA NTRS1976

Higher order software - A methodology for defining software

Higher order software (HOS) is concerned only with computable functions and relationships. The HOS methodology can be used for the definition of software for multiprogrammed, multiprocessor, or multicomputer systems. A description of HOS methodology is presented, giving attention to questions of formulation, interface correctness, specification language principles, and HOS analyzers. Aspects of system design are considered, and details of software management are discussed. Attention is given to modularity as defined by HOS, frozen module management, the assembly control supervisor, and aspects of reliability and efficiency.

Hamilton, M.↗
NASA NTRS1975

High order software - A methodology for defining software

Higher order software (HOS) is a formal methodology for reliable systems specification and development. HOS is concerned only with computable functions and their relationships for any given system. Questions of methodology are considered, taking into account aspects of formulation meta-language principles, and HOS analyzers. Details of system design are discussed, giving attention to aspects of immediate self-control and indirect self-control. A description is given of the approaches used for software management.

Hamilton, M.↗
NASA NTRS1972

Top down, bottom up structured programming and program structuring

New design and programming techniques for shuttle software. Based on previous Apollo experience, recommendations are made to apply top-down structured programming techniques to shuttle software. New software verification techniques for large software systems are recommended. HAL, the higher order language selected for the shuttle flight code, is discussed and found to be adequate for implementing these techniques. Recommendations are made to apply the workable combination of top-down, bottom-up methods in the management of shuttle software. Program structuring is discussed relevant to both programming and management techniques.

Hamilton, M.↗
NASA NTRS1972

Maximum noise abatement trajectories.

Minimum noise annoyance trajectories for developing STOL operation procedures are obtained by modulating five control variables in two dimensions. The performance index is formulated such that it explicitly assigns the same relative importance to thrust as it does to distances between discrete listeners and the aircraft. However, using a steepest descent optimization program, results indicate that it is preferable to keep the thrusters at their maximum value to minimize the integrated annoyance rather than to reduce thrust which would lower the instantaneous annoyance. Thrust decreases below its bound only when the instantaneous noise at a listener is limited.

Zeldin, S.↗
NASA NTRS1972

STOL Traffic environment and operational procedures

The expected traffic environment for an intercity STOL transportation system is examined, and operational procedures are discussed in order to identify problem areas which impact STOL avionics requirements. Factors considered include: traffic densities, STOL/CTOL/VTOL traffic mix, the expect ATC environment, aircraft noise models and community noise models and community noise impact, flight paths for noise abatement, wind considerations affecting landing, approach and landing considerations, STOLport site selection, runway capacity, and STOL operations at jetports, suburban airports, and separate STOLports.

Schlundt, R. W.↗
NASA NTRS1966

Beam splitter used in dual filming technique

Tubular tee is intersected at its junction by a reflecting/transmitting mirror angled to provide two images of an object for simultaneous photographing from two positions. This method is used when space and focal conditions are limited.

Zeldin, S.↗