Evolution of heuristics by human operators in control systems.
Decision making mathematical model for control system operation modes, generating human operators heuristics evolution
Thomas, R. E.↗
SEARCH · Search NASA
Results for “MATHEMATICS - CALCULUS, OPERATIONAL”
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.
Computer algebra and operators
The symbolic computation of operator expansions is discussed. Some of the capabilities that prove useful when performing computer algebra computations involving operators are considered. These capabilities may be broadly divided into three areas: the algebraic manipulation of expressions from the algebra generated by operators; the algebraic manipulation of the actions of the operators upon other mathematical objects; and the development of appropriate normal forms and simplification algorithms for operators and their actions. Brief descriptions are given of the computer algebra computations that arise when working with various operators and their actions.
Fateman, Richard↗
A mathematical model of random wave phenomena in hypergolic propellant combustion.
Physical and chemical conditions in rocket combustion chamber during starting transients and steady operation described by mathematical model intended for parametric studies
COMBUSTION CHAMBER↗
A new formulation for anisotropic radiative transfer problems. I - Solution with a variational technique
The equations of radiative transfer in anisotropically scattering media are reformulated as linear operator equations in a single independent variable. The resulting equations are suitable for solution by a variety of standard mathematical techniques. The operators appearing in the resulting equations are in general nonsymmetric; however, it is shown that every bounded linear operator equation can be embedded in a symmetric linear operator equation and a variational solution can be obtained in a straightforward way. For purposes of demonstration, a Rayleigh-Ritz variational method is applied to three problems involving simple phase functions. It is to be noted that the variational technique demonstrated is of general applicability and permits simple solutions for a wide range of otherwise difficult mathematical problems in physics.
Cheyney, H., III↗
Evaluation of the Validity of Bio-Mathematical Models in Predicting Fatigue in an Operational Environment
During long-duration spaceflight missions, crewmembers and ground-support staff experience irregular sleep schedules, erratic natural light patterns, and high workload due to mission demands. Such conditions can cause circadian misalignment and sleep loss, which in turn cause deficits in cognitive performance. While bio-mathematical models have been implemented within workplace settings to predict fatigue profiles, the accuracy of sleep-wake models under conditions of non-traditional shiftwork is little known. Thus, the present study aims to evaluate the validity of four sleep-wake models (e.g., SAFTE-FAST, the Unified Model of Performance, the Adenosine-Circadian Model, and the State-Space Model) designed to predict human performance and fatigue levels against objective measures of performance in a spaceflight analog. To accomplish this aim, we will collect Psychomotor Vigilance Task (PVT) data from four crews (n=16) in the Human Exploration Research Analog (HERA) over 45 days. HERA is a closed, 3-story habitat at Johnson Space Center where inhabitants are exposed to extreme space exploration scenarios under varying sleep-wake conditions. The PVT is a simple reaction time test that involves minimal learning, making it sensitive to the effects of sleep loss and circadian misalignment. Findings from this study will help inform work scheduling and implementation of effective countermeasures (e.g., caffeine, lighting) to improve work efficiency and combat fatigue, as well as offer valuable insight into the applicability of bio-mathematical fatigue models in future space exploration missions.
fatigue↗
Use of high performance networks and supercomputers for real-time flight simulation
In order to meet the stringent time-critical requirements for real-time man-in-the-loop flight simulation, computer processing operations must be consistent in processing time and be completed in as short a time as possible. These operations include simulation mathematical model computation and data input/output to the simulators. In 1986, in response to increased demands for flight simulation performance, NASA's Langley Research Center (LaRC), working with the contractor, developed extensions to the Computer Automated Measurement and Control (CAMAC) technology which resulted in a factor of ten increase in the effective bandwidth and reduced latency of modules necessary for simulator communication. This technology extension is being used by more than 80 leading technological developers in the United States, Canada, and Europe. Included among the commercial applications are nuclear process control, power grid analysis, process monitoring, real-time simulation, and radar data acquisition. Personnel at LaRC are completing the development of the use of supercomputers for mathematical model computation to support real-time flight simulation. This includes the development of a real-time operating system and development of specialized software and hardware for the simulator network. This paper describes the data acquisition technology and the development of supercomputing for flight simulation.
Cleveland, Jeff I., II↗
LRV operational behavior study
Four-wheel mathematical model used for prediction of LRV operational behavior under lunar gravitation
Kramer, F.↗
Abstract Model of the SATS Concept of Operations: Initial Results and Recommendations
An abstract mathematical model of the concept of operations for the Small Aircraft Transportation System (SATS) is presented. The Concept of Operations consist of several procedures that describe nominal operations for SATS, Several safety properties of the system are proven using formal techniques. The final goal of the verification effort is to show that under nominal operations, aircraft are safely separated. The abstract model was written and formally verified in the Prototype Verification System (PVS).
Dowek, Gilles↗
Adaptive Neurons For Artificial Neural Networks
Training time decreases dramatically. In improved mathematical model of neural-network processor, temperature of neurons (in addition to connection strengths, also called weights, of synapses) varied during supervised-learning phase of operation according to mathematical formalism and not heuristic rule. Evidence that biological neural networks also process information at neuronal level.
Tawel, Raoul↗
Conic sectors for sampled-data feedback systems
The conic-sector analysis of the closed-loop stability and robustness of a multivariable-analog-system controller based on sampled-data feedback compensation is investigated. Conic sectors and sampled-data feedback systems are defined, and the existence of a conic sector containing a sampled-data operator is established mathematically. An example is presented to prove that the conic sector is computable and gives sufficient conditions of closed-loop stability. A procedure for determining sampled-data-operator gain is also derived.
Thompson, P. M.↗
Respiratory protective device design using control system techniques
The feasibility of a control system analysis approach to provide a design base for respiratory protective devices is considered. A system design approach requires that all functions and components of the system be mathematically identified in a model of the RPD. The mathematical notations describe the operation of the components as closely as possible. The individual component mathematical descriptions are then combined to describe the complete RPD. Finally, analysis of the mathematical notation by control system theory is used to derive compensating component values that force the system to operate in a stable and predictable manner.
Burgess, W. A.↗
Human-computer interaction in distributed supervisory control tasks
An overview of activities concerned with the development and applications of the Operator Function Model (OFM) is presented. The OFM is a mathematical tool to represent operator interaction with predominantly automated space ground control systems. The design and assessment of an intelligent operator aid (OFMspert and Ally) is particularly discussed. The application of OFM to represent the task knowledge in the design of intelligent tutoring systems, designated OFMTutor and ITSSO (Intelligent Tutoring System for Satellite Operators), is also described. Viewgraphs from symposia presentations are compiled along with papers addressing the intent inferencing capabilities of OFMspert, the OFMTutor system, and an overview of intelligent tutoring systems and the implications for complex dynamic systems.
Mitchell, Christine M.↗
Radiological Safety Analysis Computer (RSAC) Program Version 7.4 Users’ Manual
The Radiological Safety Analysis Computer (RSAC) Program Version 7.4 (RSAC-7) is the newest version of the RSAC legacy code. RSAC-7 calculates the consequences of a release of radionuclides to the atmosphere. Users generates a fission product inventory from either reactor operating history or a nuclear criticality event. RSAC-7 models the effects of high-efficiency particulate air filters or other cleanup systems and calculates the decay and ingrowth during transport through processes, facilities, and the environment. Doses are calculated for inhalation, air immersion, ground surface, ingestion, and cloud gamma pathways. RSAC-7 is used as a tool to evaluate accident conditions in emergency response scenarios, radiological sabotage events, and safety basis accident consequences. This users’ manual contains the mathematical models and operating instructions for RSAC-7. Instructions, screens, and examples are provided to guide the user through the functions provided by RSAC-7. This program is designed for users who are familiar with radiological dose assessment methods.
73 - NUCLEAR PHYSICS AND RADIATION PHYSICS↗
Asset surveillance system: apparatus and method
System and method for providing surveillance of an asset comprised of numerically fitting at least one mathematical model to obtained residual data correlative to asset operation; storing at least one mathematical model in a memory; obtaining a current set of signal data from the asset; retrieving at least one mathematical model from the memory, using the retrieved mathematical model in a sequential hypothesis test for determining if the current set of signal data is indicative of a fault condition; determining an asset fault cause correlative to a determined indication of a fault condition; providing an indication correlative to a determined fault cause, and an action when warranted. The residual data can be mode partitioned, a current mode of operation can be determined from the asset, and at least one mathematical model can be retrieved from the memory as a function of the determined mode of operation.
Bickford, Randall L.↗
Specificity and tunability of efflux pumps: A new role for the proton gradient?
Efflux pumps that transport antibacterial drugs out of bacterial cells have broad specificity, commonly leading to broad spectrum resistance and limiting treatment strategies for infections. It remains unclear how efflux pumps can maintain this broad spectrum specificity to diverse drug molecules while limiting the efflux of other cytoplasmic content. We have investigated the origins of this broad specificity using theoretical models informed by the experimentally determined structural and kinetic properties of efflux pumps. We developed a set of mathematical models describing operation of efflux pumps as a discrete cyclic stochastic process across a network of states characterizing pump conformations and the presence/absence of bound ligands and protons. These include a minimal three-state model that lends itself to clear analytic calculations as well as a five-state model that relaxes some of the simpler model’s most strict assumptions. We found that the pump specificity is determined not solely by the drug affinity to the pump–as is commonly assumed–but it is also directly affected by the periplasmic pH and the transmembrane potential. Therefore, changes to the proton concentration gradient and voltage drop across the membrane can influence how effective the pump is at extruding a particular drug molecule. Furthermore, we found that while both the proton concentration gradient across the membrane and the transmembrane potential contribute to the thermodynamic force driving the pump, their effects on the efflux enter not strictly in a combined proton motive force. Rather, they have two distinguishable effects on the overall throughput. These results highlight the unexpected effects of thermodynamic driving forces out of equilibrium and illustrate how efflux pump structure and function are conducive to the emergence of multidrug resistance.
59 BASIC BIOLOGICAL SCIENCES↗
What exactly does Bekenstein bound?
The Bekenstein bound posits a maximum entropy for matter with finite energy confined to a spatial region. It is often interpreted as a fundamental limit on the information that can be stored by physical objects. In this work, we test this interpretation by asking whether the Bekenstein bound imposes constraints on a channel's communication capacity, a context in which information can be given a mathematically rigorous and operationally meaningful definition. We study specifically the Unruh channel that describes a stationary Alice exciting different species of free scalar fields to send information to an accelerating Bob, who is confined to a Rindler wedge and exposed to the noise of Unruh radiation. We show that the classical and quantum capacities of the Unruh channel obey the Bekenstein bound that pertains to the decoder Bob. In contrast, even at high temperatures, the Unruh channel can transmit a significant number of zero-bits , which are quantum communication resources that can be used for quantum identification and many other primitive protocols. Therefore, unlike classical bits and qubits, zero-bits and their associated information processing capability are generally not constrained by the Bekenstein bound. However, we further show that when both the encoder and the decoder are restricted, the Bekenstein bound does constrain the channel capacities, including the zero-bit capacity.
Hayden, Patrick [Stanford University, CA (United S↗
General purpose computer programs for numerically analyzing linear ac electrical and electronic circuits for steady-state conditions
Digital computer programs determine steady-state performance characteristics of active and passive linear circuits. The ac analysis program solves the basic circuit parameters. The compiler program solves these circuit parameters and in addition provides a more versatile program by allowing the user to perform mathematical and logical operations.
Egebrecht, R. A.↗
Development of system design information for carbon dioxide using an amine type sorber
Development work on system design information for amine type carbon dioxide sorber is reported. Amberlite IR-45, an aminated styrene divinyl benzene matrix, was investigated to determine the influence of design parameters of sorber particle size, process flow rate, CO2 partial pressure, total pressure, and bed designs. CO2 capacity and energy requirements for a 4-man size system were related mathematically to important operational parameters. Some fundamental studies in CO2 sorber capacity, energy requirements, and process operation were also performed.
Rankin, R. L.↗