Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Rules”

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 1,459 records · Page 81

Observed Helicity of Active Regions in Solar Cycle 21

We report the results of a study of helicity in solar active regions during the peak of activity in solar cycle 21 from observations with the Marshall Space Flight Center's solar vector magnetograph. Using the force-free parameter alpha as the proxy for helicity, we calculated an average value of alpha for each of 60 active regions from a total of 449 vector magnetograms that were obtained during the period 1980 March to November. The signs of these average values of alpha were correlated with the latitude of the active regions to test the hemispheric rule of helicity that has been proposed for solar magnetic fields: negative helicity predominant in northern latitudes, positive in the southern ones. We have found that of the 60 regions that were observed, 30 obey the hemispheric rule and 30 do not.

Hagyard, M. J.↗

Safeguards Against Flutter of Airplanes

This report is a complilation of practical rules, derived at the same time from theory and from experience, intended to guide the aeronautical engineer in the design of flutter-free airplanes. Rules applicable to the wing, the ailerons, flaps, tabs,tail surfaces, and fuselage are discussed.

deVries, Gerhard↗

Instrumentation of Java Bytecode for Runtime Analysis

This paper describes JSpy, a system for high-level instrumentation of Java bytecode and its use with JPaX, OUT system for runtime analysis of Java programs. JPaX monitors the execution of temporal logic formulas and performs predicative analysis of deadlocks and data races. JSpy s input is an instrumentation specification, which consists of a collection of rules, where a rule is a predicate/action pair The predicate is a conjunction of syntactic constraints on a Java statement, and the action is a description of logging information to be inserted in the bytecode corresponding to the statement. JSpy is built using JTrek an instrumentation package at a lower level of abstraction.

Goldberg, Allen↗

Software With Strong Ties to Space

TieFlow is a simple but powerful business process improvement solution. It can automate and simplify any generic or industry-specific work process, helping organizations to transform work inefficiencies and internal operations involving people, paper, and procedures into a streamlined, well-organized, electronicbased process. TieFlow increases business productivity by improving process cycle times. The software can expedite generic processes in the areas of product design and development, purchase orders, expense reports, benefits enrollment, budgeting, hiring, and sales. It can also shore up vertical market processes such as claims processing, loan application and processing, health care administration, contract management, and advertising agency traffic. The processes can be easily and rapidly captured in a graphical manner and enforced together with rules pertaining to assignments that need to be performed. Aside from boosting productivity, TieFlow also reduces organizational costs and errors. TieFlow was developed with Small Business Innovation Research (SBIR) assistance from Johnson. The SBIR support entitles all Federal Government agencies to utilize the TieFlow software technology free of charge. Tietronix emphasizes that TieFlow is an outstanding workflow resource that could produce dramatic productivity and cost improvements for all agencies, just as it has done and continues to do for NASA. The Space Agency is currently using the software throughout several mission-critical offices, including the Mission Operations Directorate and the Flight Director s Office, for worldwide participation of authorized users in NASA processes. At the Flight Director s Office, TieFlow allows personnel to electronically submit and review changes to the flight rules carried out during missions.

Source record↗

Investigation of Three Analytical Hypothesis for Determining Material Creep Behavior under Varied Loads, with an Application to 2024-T3 Aluminum-Alloy Sheet in Tension at 400 F

Three existing hypotheses are formulated mathematically to estimate tensile creep strain under varied loads and constant temperature from creep data obtained under constant load and constant temperature. hypotheses investigated include the time-hardening, strain-hardening, and life-fraction rules. Predicted creep behavior is compared with data obtained from tensile creep tests of 2024-T3 aluminum-alloy sheet at 400 F under cyclic-load conditions. creep strain under varied loads is presented on the basis of an equivalent stress, derived from the life-fraction rule, which reduces the varied-load case to a constant-load problem. Creep strain in the region of interest for structural design and rupture times, determined from the hypotheses investigated, are in fair agreement with data in most cases, although calculated values of creep strain are generally greater than the experimental values because creep recovery is neglected in the calculations.

Berkovits, Avraham↗

EAGLE Monitors by Collecting Facts and Generating Obligations

We present a rule-based framework, called EAGLE, that has been shown to be capable of defining and implementing a range of finite trace monitoring logics, including future and past time temporal logic, extended regular expressions, real-time and metric temporal logics, interval logics, forms of quantified temporal logics, and so on. A monitor for an EAGLE formula checks if a finite trace of states satisfies the given formula. We present, in details, an algorithm for the synthesis of monitors for EAGLE. The algorithm is implemented as a Java application and involves novel techniques for rule definition, manipulation and execution. Monitoring is achieved on a state-by-state basis avoiding any need to store the input trace of states. Our initial experiments have been successful as EAGLE detected a previously unknown bug while testing a planetary rover controller.

Barrnger, Howard↗

Observed Helicity of Active Region Magnetic Fields in Solar Cycle 21

We report the results of a study of magnetic helicity in solar active regions during solar cycles 21 and 22 from observations with the Marshall Space Flight Center's solar vector magnetograph. Using the force-free parameter a as the proxy for helicity, we calculated an average value of a for each of 91 active regions fiom a total of 683 vector magnetograms that were obtained during the period March 1980 to July 1993. The signs of these average values of alpha were correlated with the latitude of the active regions to test the hemispherical rule of helicity that has been proposed for solar magnetic fields: negative helicity predominant in northern latitudes, positive in the southern ones. We have found that of the 65 regions that were observed in cycle 21,49% obey the hemispherical rule and 51% do not. On the other hand, for the 26 regions in cycle 22,65% do exhibit this correlation.

Hagyard, M. J.↗

Synthesizing Safety Conditions for Code Certification Using Meta-Level Programming

In code certification the code consumer publishes a safety policy and the code producer generates a proof that the produced code is in compliance with the published safety policy. In this paper, a novel viewpoint approach towards an implementational re-use oriented framework for code certification is taken. It adopts ingredients from Necula's approach for proof-carrying code, but in this work safety properties can be analyzed on a higher code level than assembly language instructions. It consists of three parts: (1) The specification language is extended to include generic pre-conditions that shall ensure safety at all states that can be reached during program execution. Actual safety requirements can be expressed by providing domain-specific definitions for the generic predicates which act as interface to the environment. (2) The Floyd-Hoare inductive assertion method is refined to obtain proof rules that allow the derivation of the proof obligations in terms of the generic safety predicates. (3) A meta-interpreter is designed and experimentally implemented that enables automatic synthesis of proof obligations for submitted programs by applying the modified Floyd-Hoare rules. The proof obligations have two separate conjuncts, one for functional correctness and another for the generic safety obligations. Proof of the generic obligations, having provided the actual safety definitions as context, ensures domain-specific safety of program execution in a particular environment and is simpler than full program verification.

Eusterbrock, Jutta↗

Three-dimensional ocular kinematics during eccentric rotations: evidence for functional rather than mechanical constraints

Previous studies have reported that the translational vestibuloocular reflex (TVOR) follows a three-dimensional (3D) kinematic behavior that is more similar to visually guided eye movements, like pursuit, rather than the rotational VOR (RVOR). Accordingly, TVOR rotation axes tilted with eye position toward an eye-fixed reference frame rather than staying relatively fixed in the head like in the RVOR. This difference arises because, contrary to the RVOR where peripheral image stability is functionally important, the TVOR like pursuit and saccades cares to stabilize images on the fovea. During most natural head and body movements, both VORs are simultaneously activated. In the present study, we have investigated in rhesus monkeys the 3D kinematics of the combined VOR during yaw rotation about eccentric axes. The experiments were motivated by and quantitatively compared with the predictions of two distinct hypotheses. According to the first (fixed-rule) hypothesis, an eye-position-dependent torsion is computed downstream of a site for RVOR/TVOR convergence, and the combined VOR axis would tilt through an angle that is proportional to gaze angle and independent of the relative RVOR/TVOR contributions to the total eye movement. This hypothesis would be consistent with the recently postulated mechanical constraints imposed by extraocular muscle pulleys. According to the second (image-stabilization) hypothesis, an eye-position-dependent torsion is computed separately for the RVOR and the TVOR components, implying a processing that takes place upstream of a site for RVOR/TVOR convergence. The latter hypothesis is based on the functional requirement that the 3D kinematics of the combined VOR should be governed by the need to keep images stable on the fovea with slip on the peripheral retina being dependent on the different functional goals of the two VORs. In contrast to the fixed-rule hypothesis, the data demonstrated a variable eye-position-dependent torsion for the combined VOR that was different for synergistic versus antagonistic RVOR/TVOR interactions. Furthermore, not only were the eye-velocity tilt slopes of the combined VOR as much as 10 times larger than what would be expected based on extraocular muscle pulley location, but also eye velocity during antagonistic RVOR/TVOR combinations often tilted opposite to gaze. These results are qualitatively and quantitatively consistent with the image-stabilization hypothesis, suggesting that the eye-position-dependent torsion is computed separately for the RVOR and the TVOR and that the 3D kinematics of the combined VOR are dependent on functional rather than mechanical constraints.

Non-NASA Center↗

Enhancements to the Design Manager's Aide for Intelligent Decomposition (DeMaid)

This paper discusses the addition of two new enhancements to the program Design Manager's Aide for Intelligent Decomposition (DeMAID). DeMAID is a knowledge-based tool used to aid a design manager in understanding the interactions among the tasks of a complex design problem. This is done by ordering the tasks to minimize feedback, determining the participating subsystems, and displaying them in an easily understood format. The two new enhancements include (1) rules for ordering a complex assembly process and (2) rules for determining which analysis tasks must be re-executed to compute the output of one task based on a change in input to that or another task.

Rogers, James L.↗

Validation of real-time three-dimensional echocardiography for quantifying left ventricular volumes in the presence of a left ventricular aneurysm: in vitro and in vivo studies

OBJECTIVES: To validate the accuracy of real-time three-dimensional echocardiography (RT3DE) for quantifying aneurysmal left ventricular (LV) volumes. BACKGROUND: Conventional two-dimensional echocardiography (2DE) has limitations when applied for quantification of LV volumes in patients with LV aneurysms. METHODS: Seven aneurysmal balloons, 15 sheep (5 with chronic LV aneurysms and 10 without LV aneurysms) during 60 different hemodynamic conditions and 29 patients (13 with chronic LV aneurysms and 16 with normal LV) underwent RT3DE and 2DE. Electromagnetic flow meters and magnetic resonance imaging (MRI) served as reference standards in the animals and in the patients, respectively. Rotated apical six-plane method with multiplanar Simpson's rule and apical biplane Simpson's rule were used to determine LV volumes by RT3DE and 2DE, respectively. RESULTS: Both RT3DE and 2DE correlated well with actual volumes for aneurysmal balloons. However, a significantly smaller mean difference (MD) was found between RT3DE and actual volumes (-7 ml for RT3DE vs. 22 ml for 2DE, p = 0.0002). Excellent correlation and agreement between RT3DE and electromagnetic flow meters for LV stroke volumes for animals with aneurysms were observed, while 2DE showed lesser correlation and agreement (r = 0.97, MD = -1.0 ml vs. r = 0.76, MD = 4.4 ml). In patients with LV aneurysms, better correlation and agreement between RT3DE and MRI for LV volumes were obtained (r = 0.99, MD = -28 ml) than between 2DE and MRI (r = 0.91, MD = -49 ml). CONCLUSIONS: For geometrically asymmetric LVs associated with ventricular aneurysms, RT3DE can accurately quantify LV volumes.

NASA Discipline Cardiopulmonary↗

Motion coherence affects human perception and pursuit similarly

Pursuit and perception both require accurate information about the motion of objects. Recovering the motion of objects by integrating the motion of their components is a difficult visual task. Successful integration produces coherent global object motion, while a failure to integrate leaves the incoherent local motions of the components unlinked. We compared the ability of perception and pursuit to perform motion integration by measuring direction judgments and the concomitant eye-movement responses to line-figure parallelograms moving behind stationary rectangular apertures. The apertures were constructed such that only the line segments corresponding to the parallelogram's sides were visible; thus, recovering global motion required the integration of the local segment motion. We investigated several potential motion-integration rules by using stimuli with different object, vector-average, and line-segment terminator-motion directions. We used an oculometric decision rule to directly compare direction discrimination for pursuit and perception. For visible apertures, the percept was a coherent object, and both the pursuit and perceptual performance were close to the object-motion prediction. For invisible apertures, the percept was incoherently moving segments, and both the pursuit and perceptual performance were close to the terminator-motion prediction. Furthermore, both psychometric and oculometric direction thresholds were much higher for invisible apertures than for visible apertures. We constructed a model in which both perception and pursuit are driven by a shared motion-processing stage, with perception having an additional input from an independent static-processing stage. Model simulations were consistent with our perceptual and oculomotor data. Based on these results, we propose the use of pursuit as an objective and continuous measure of perceptual coherence. Our results support the view that pursuit and perception share a common motion-integration stage, perhaps within areas MT or MST.

NASA Center ARC↗

The beetle Tribolium castaneum has a fushi tarazu homolog expressed in stripes during segmentation

The genetic control of embryonic organization is far better understood for the fruit fly Drosophila melanogaster than for any other metazoan. A gene hierarchy acts during oogenesis and embryogenesis to regulate the establishment of segmentation along the anterior-posterior axis, and homeotic selector genes define developmental commitments within each parasegmental unit delineated. One of the most intensively studied Drosophila segmentation genes is fushi tarazu (ftz), a pair-rule gene expressed in stripes that is important for the establishment of the parasegmental boundaries. Although ftz is flanked by homeotic selector genes conserved throughout the metazoa, there is no evidence that it was part of the ancestral homeotic complex, and it has been unclear when the gene arose and acquired a role in segmentation. We show here that the beetle Tribolium castaneum has a ftz homolog located in its Homeotic complex and expressed in a pair-rule fashion, albeit in a register differing from that of the fly gene. These and other observations demonstrate that a ftz gene preexisted the radiation of holometabolous insects and suggest that it has a role in beetle embryogenesis which differs somewhat from that described in flies.

NASA Discipline Developmental Biology↗

The Far-Infrared Emission Line and Continuum Spectrum of the Seyfert Galaxy NGC 1068

We report on the analysis of the first complete far-infrared spectrum (43-197 microns) of the Seyfert 2 galaxy NGC 1068 as observed with the Long Wavelength Spectrometer (LWS) onboard the Infrared Space Observatory (ISO). In addition to the 7 expected ionic fine structure emission lines, the OH rotational lines at 79, 119 and 163 microns were all detected in emission, which is unique among galaxies with full LWS spectra, where the 119 micron line, where detected, is always in absorption. The observed line intensities were modelled together with IS0 Short Wavelength Spectrometer (SWS) and optical and ultraviolet line intensities from the literature, considering two independent emission components: the AGN component and the starburst component in the circumnuclear ring of approximately 3kpc in size. Using the UV to mid-IR emission line spectrum to constrain the nuclear ionizing continuum, we have confirmed previous results: a canonical power-law ionizing spectrum is a poorer fit than one with a deep absorption trough, while the presence of a big blue bump is ruled out. Based on the instantaneous starburst age of 5 Myr constrained by the Br gamma equivalent width in the starburst ring, and starburst synthesis models of the mid- and far-infrared fine-structure line emission, a low ionization parameter (U=10(exp -3.5)) and low densities (n=100 cm (exp -3)) are derived. Combining the AGN and starburst components, we succeed in modeling the overall UV to far-IR atomic spectrum of SGC 1068, reproducing the line fluxes to within a factor 2.0 on average with a standard deviation of 1.4. The OH 119 micron emission indicates that the line is collisionally excited, and arises in a warm and dense region. The OH emission has been modeled using spherically symmetric, non-local, non-LTE radiative transfer models. The models indicate that the bulk of the emission arises from the nuclear region, although some extended contribution from the starburst is not ruled out. The OH abundance in the nuclear region is expected to be approximately 10(exp -5), characteristic of X-ray dominated regions.

Spinoglio, Luigi↗

Advanced Weather Awareness and Reporting Enhancements

AWARE (Aviation Weather Awareness and Reporting Enhancements) was a NASA Cooperative Research and Development program conducted jointly by Rockwell Scientific, Rockwell Collins, and NASA. The effort culminated in an enhanced weather briefing and reporting tool prototype designed to integrate graphical and text-based aviation weather data to provide clear situational awareness in the context of a specific pilot, flight and equipment profile. The initial implementation of AWARE was as a web-based preflight planning tool, specifically for general aviation pilots, who do not have access to support such as the dispatchers available for commercial airlines. Initial usability tests showed that for VFR (Visual Flight Rules) pilots, AWARE provided faster and more effective weather evaluation. In a subsequent formal usability test for IFR (Instrument Flight Rules) pilots, all users finished the AWARE tests faster than the parallel DUAT tests, and all subjects graded AWARE higher for effectiveness, efficiency, and usability. The decision analysis basis of AWARE differentiates it from other aviation safety programs, providing analysis of context-sensitive data in a personalized graphical format to aid pilots/dispatchers in their complex flight requirements.

Busquets, Anthony M.↗

Iron K Features in the Quasar E 1821+643: Evidence for Gravitationally Redshifted Absorption?

We report a Chandra high-energy grating detection of a narrow, redshifted absorption line superimposed on the red wing of a broad Fe K line in the z = 0.297 quasar E 1821+643. The absorption line is detected at a confidence level, estimated by two different methods, in the range approx. 2 - 3 sigma. Although the detection significance is not high enough to exclude a non-astrophysical origin, accounting for the absorption feature when modeling the X-ray spectrum implies that the Fe-K emission line is broad, and consistent with an origin in a relativistic accretion disk. Ignoring the apparent absorption feature leads to the conclusion that the Fe-K emission line is narrower, and also affects the inferred peak energy of the line (and hence the inferred ionization state of Fe). If the absorption line (at approx. 6.2 keV in the quasar frame) is real, we argue that it could be due to gravitationally redshifted Fe XXV or Fe XXVI resonance absorption within approx. 10 - 20 gravitational radii of the putative central black hole. The absorption line is not detected in earlier ASCA and Chandra low-energy grating observations, but the absorption line is not unequivocally ruled out by these data. The Chandra high-energy grating Fe-K emission line is consistent with an origin predominantly in Fe I-XVII or so. In an ASCA observation eight years earlier, the Fe-K line peaked at approx. 6.6 keV, closer to the energies of He-like Fe triplet lines. Further, in a Chandra low-energy grating observation the Fe-K line profile was double-peaked, one peak corresponding to Fe I-XVII or so, the other peak to Fe XXVI Ly alpha. Such a wide range in ionization state of Fe is not ruled out by the HEG and ASCA data either, and is suggestive of a complex structure for the line-emitter.

Yaqoob, Tahir↗

The Effect of Solid Admixtures on the Velocity of Motion of a Free Dusty Air Jet

In dusty air flows occurring in industrial practice in transport by air pressure of friable materials, in the drying, annealing, and so forth, of a pulverized solid mass in suspension, and in other processes, the concentration of solid particles usually has a magnitude of the order of 1 kg per 1 kg of air. At such a concentration, the ratio of the volume of the particles to the volume of the air is small (less than one-thousandth part). However, regardless of this, the presence of a solid admixture manifests itself in the rules for the velocity distribution of the air in a dusty air flow. As a result, the rules of velocity change are different for clean and for dusty air flows. The estimation of the influence of the admixture on the velocity of the motion of the flow presents a definitive interest. One of the attempts to estimate that influence on the axial velocity of a free axially symmetrical jet with admixtures was made by Abramovich. Abramovich assumed beforehand that the fine particles of the admixture in the jet are subject to the motion of the air (that is, that the velocity of the admixture is approximately equal to the local velocity of the air); he then took as the basis of his considerations, in solving the problem, the condition that the amount of motion of the two-phase jet must be constant.

Chernov, A. P.↗

PlanWorks: A Debugging Environment for Constraint Based Planning Systems

Numerous planning and scheduling systems employ underlying constraint reasoning systems. Debugging such systems involves the search for errors in model rules, constraint reasoning algorithms, search heuristics, and the problem instance (initial state and goals). In order to effectively find such problems, users must see why each state or action is in a plan by tracking causal chains back to part of the initial problem instance. They must be able to visualize complex relationships among many different entities and distinguish between those entities easily. For example, a variable can be in the scope of several constraints, as well as part of a state or activity in a plan; the activity can arise as a consequence of another activity and a model rule. Finally, they must be able to track each logical inference made during planning. We have developed PlanWorks, a comprehensive system for debugging constraint-based planning and scheduling systems. PlanWorks assumes a strong transaction model of the entire planning process, including adding and removing parts of the constraint network, variable assignment, and constraint propagation. A planner logs all transactions to a relational database that is tailored to support queries for of specialized views to display different forms of data (e.g. constraints, activities, resources, and causal links). PlanWorks was specifically developed for the Extensible Universal Remote Operations Planning Architecture (EUROPA(sub 2)) developed at NASA, but the underlying principles behind PlanWorks make it useful for many constraint-based planning systems. The paper is organized as follows. We first describe some fundamentals of EUROPA(sub 2). We then describe PlanWorks' principal components. We then discuss each component in detail, and then describe inter-component navigation features. We close with a discussion of how PlanWorks is used to find model flaws.

Daley, Patrick↗