Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “logic”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 397 records · Page 22

Near-Field Heat Transfer Enabled Nanothermomechanical Memory and Logic Devices

A thermomechanical memory/logic device is disclosed. In embodiments, the thermomechanical device includes a first thermally controlled terminal (e.g., hot terminal); a second thermally controlled terminal (e.g., cool terminal/base); a stem or other structure that can be thermally expanded connected to the cool terminal; and a thermal conductive head coupled to the stem. The head can exchange heat with the hot terminal. The stem and head are between the first thermally controlled terminal and the second thermally controlled terminal, wherein the stem expands or contracts in response to heat absorbed or given off by the thermal conductive head, causing the head to move towards the first thermally controlled terminal or towards the second thermally controlled terminal until a stable state is reached. For example, bistable thermal states can be used to implement logic states (e.g., ZERO or ONE states).

Ndao, Sidy↗

Runtime Verification Logics A Language Design Perspective

Runtime Verification is a light-weight approach to systems verification, where actual executions of a system are processed and analyzed using rigorous techniques. In this paper we shall narrow the term’s definition to represent the commonly studied variant consisting of verifying that a single system execution conforms to a specification written in a formal specification language. Runtime verification (in this sense) can be used for writing test oracles during testing when the system is too complex for full formal verification, or it can be used during deployment of the system as part of a fault protection strategy, where corrective actions may be taken in case the specification is violated. Specification languages for runtime verification appear to differ from for example temporal logics applied in model checking, in part due to the focus on monitoring of events that carry data, and specifically due to the desire to relate data values existing at different time points, resulting in new challenges in both the complexity of the monitoring approach and the expressiveness of languages. Over the recent years, numerous runtime verification specification languages have emerged, each with its different features and levels of expressiveness and usability. This paper presents an overview and a discussion of this design space.

Reger, Giles↗

Fuzzy Logic Controller for Low Temperature Application

The most common temperature controller used in low temperature experiments is the proportional-integral-derivative (PID) controller due to its simplicity and robustness. However, the performance of temperature regulation using the PID controller depends on initial parameter setup, which often requires operator's expert knowledge on the system. In this paper, we present a computer-assisted temperature controller based on the well known.

proportional-integral-derivative controller PID fu↗

Fuel-Efficient Descent and Landing Guidance Logic for a Safe Lunar Touchdown

The landing of a crewed lunar lander on the surface of the Moon will be the climax of any Moon mission. At touchdown, the landing mechanism must absorb the load imparted on the lander due to the vertical component of the lander's touchdown velocity. Also, a large horizontal velocity must be avoided because it could cause the lander to tip over, risking the life of the crew. To be conservative, the worst-case lander's touchdown velocity is always assumed in designing the landing mechanism, making it very heavy. Fuel-optimal guidance algorithms for soft planetary landing have been studied extensively. In most of these studies, the lander is constrained to touchdown with zero velocity. With bounds imposed on the magnitude of the engine thrust, the optimal control solutions typically have a "bang-bang" thrust profile: the thrust magnitude "bangs" instantaneously between its maximum and minimum magnitudes. But the descent engine might not be able to throttle between its extremes instantaneously. There is also a concern about the acceptability of "bang-bang" control to the crew. In our study, the optimal control of a lander is formulated with a cost function that penalizes both the touchdown velocity and the fuel cost of the descent engine. In this formulation, there is not a requirement to achieve a zero touchdown velocity. Only a touchdown velocity that is consistent with the capability of the landing gear design is required. Also, since the nominal throttle level for the terminal descent sub-phase is well below the peak engine thrust, no bound on the engine thrust is used in our formulated problem. Instead of bangbang type solution, the optimal thrust generated is a continuous function of time. With this formulation, we can easily derive analytical expressions for the optimal thrust vector, touchdown velocity components, and other system variables. These expressions provide insights into the "physics" of the optimal landing and terminal descent maneuver. These insights could help engineers to achieve a better "balance" between the conflicting needs of achieving a safe touchdown velocity, a low-weight landing mechanism, low engine fuel cost, and other design goals. In comparing the computed optimal control results with the preflight landing trajectory design of the Apollo-11 mission, we noted interesting similarities between the two missions.

guidance logic↗

Embedding Differential Dynamic Logic in PVS

Runtime assurance is a control framework where a complex controller operates under the observation of a monitor. If the monitor detects the controller exhibiting undesirable behavior, control is passed off to a trusted controller until a desirable state is regained. The runtime assurance architecture provides a layer of assurance to the system being controlled, but special care must be taken that the resulting overall system, consisting of the monitors and controllers, is behaving as intended. This talk aims to formally model and reason about runtime assurance-equipped systems as hybrid programs- which are models that consist of both discrete and continuous components. Using the verification tool Plaidypvs, safety properties of some examples involving RTA architectures is shown.

Formal Verification↗

Fluid amplifier state of the art. volume i- research and development - fluid amplifiers and logic

The report surveys the current state-of-the-art of fluid amplifiers including both theoretical and practical aspects of devices having no mechanically moving parts. It is based on a complete review of the published literature (with an extensive bibliography), information obtained from 20 organizations involved in fluid amplifier development, and work performed by the General Electric Company. Specific areas covered are design techniques, both analytical and experimental; typical elements and assemblies; applications, both now in use and contemplated; fabrication techniques; and instrumentation. The report concludes that, although simple applications are now being made, the fluid amplifier field is still in the early development stage. There continues to be a basis for optimism for space applications requiring extreme environmental tolerance, long life, or the elimination of fluid system interfaces. Specialized military, and commercial applications also look promising. Work now under way should provide a better understanding of the design of devices and increase the number of useful applications.

FLUID AMPLIFICATION↗

Logic redundancy improves digital system reliability

Redundant-channel system automatically corrects any single error in a set of three binary signal channels. This system is especially applicable to digital computers where data is transmitted in parallel channels.

Source record↗

Logic circuit exhibits optimum performance

Performance of circuits are compared to determine the optimum circuit configuration for implementation into microelectronic functions. Comparison is made in terms of power drain, propagation time, and component variations with temperature and load.

Husson, C.↗