Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Engineering method”

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 757 records · Page 42

Proceedings of the First NASA Formal Methods Symposium

Topics covered include: Model Checking - My 27-Year Quest to Overcome the State Explosion Problem; Applying Formal Methods to NASA Projects: Transition from Research to Practice; TLA+: Whence, Wherefore, and Whither; Formal Methods Applications in Air Transportation; Theorem Proving in Intel Hardware Design; Building a Formal Model of a Human-Interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering; Model Checking for Autonomic Systems Specified with ASSL; A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process; Software Model Checking Without Source Code; Generalized Abstract Symbolic Summaries; A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing; Component-Oriented Behavior Extraction for Autonomic System Design; Automated Verification of Design Patterns with LePUS3; A Module Language for Typing by Contracts; From Goal-Oriented Requirements to Event-B Specifications; Introduction of Virtualization Technology to Multi-Process Model Checking; Comparing Techniques for Certified Static Analysis; Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder; jFuzz: A Concolic Whitebox Fuzzer for Java; Machine-Checkable Timed CSP; Stochastic Formal Correctness of Numerical Algorithms; Deductive Verification of Cryptographic Software; Coloured Petri Net Refinement Specification and Correctness Proof with Coq; Modeling Guidelines for Code Generation in the Railway Signaling Context; Tactical Synthesis Of Efficient Global Search Algorithms; Towards Co-Engineering Communicating Autonomous Cyber-Physical Systems; and Formal Methods for Automated Diagnosis of Autosub 6000.

Denney, Ewen↗

A Practical Approach to Uncertainty Quantification Using Probability Boxes

To date, while the use of CFD for aerospace vehicle design and development is prevalent, the documentation of uncertainties associated with the simulations are rare. Instead, the current state-of-the-art relies heavily on the experience of the CFD practitioner to estimate the uncertainty associated with their simulations through simple sensitivity studies or subject matter expertise. This practice will have to be replaced with a formal uncertainty quantification (UQ) process if CFD is to play an expanded role in the research and engineering design community, test and evaluation community, and ultimately certification for flight. Accounting for uncertainties in a formal manner is a tedious process. Moreover, the typical CFD practitioner is not likely to be familiar with formal UQ methods. These factors have prevented the adoption of UQ methods in the engineering design and development cycle. This presentation will outline a credible approach to UQ using Probability Boxes that is straightforward to apply, and can readily be automated using existing UQ tool sets such as the DAKOTA packaged developed at Sandia. The added expense incurred when moving away from a deterministic CFD process to a stochastic one that captures uncertainties to enable risk-informed decision making will be discussed, as well as effective ways to reduce the computational costs.

Uncertainty Quantification↗

Multidisciplinary Design Optimization for Aeropropulsion Engines and Solid Modeling/Animation via the Integrated Forced Methods

The grant closure report is organized in the following four chapters: Chapter describes the two research areas Design optimization and Solid mechanics. Ten journal publications are listed in the second chapter. Five highlights is the subject matter of chapter three. CHAPTER 1. The Design Optimization Test Bed CometBoards. CHAPTER 2. Solid Mechanics: Integrated Force Method of Analysis. CHAPTER 3. Five Highlights: Neural Network and Regression Methods Demonstrated in the Design Optimization of a Subsonic Aircraft. Neural Network and Regression Soft Model Extended for PX-300 Aircraft Engine. Engine with Regression and Neural Network Approximators Designed. Cascade Optimization Strategy with Neural network and Regression Approximations Demonstrated on a Preliminary Aircraft Engine Design. Neural Network and Regression Approximations Used in Aircraft Design.

Source record↗

Therapeutic phages and methods thereof

The present invention relates, in part, to engineered viruses (e.g., engineered phages), phage cocktails, and methods of producing and/or identifying viruses for targeting pathogenic bacteria.

Williams, Kelly Porter↗

Accelerating strain phenotyping with desorption electrospray ionization-imaging mass spectrometry and untargeted analysis of intact microbial colonies

Significance Synthetic biology has entered an era in which reading and writing DNA sequences are no longer rate-limiting steps in microbial strain engineering. Indeed, analytical methods measuring the resulting metabolic outcomes of specific gene edits have lagged behind the ability to generate new recombinant strains. Herein, we report a mass spectrometry strategy to accelerate these analytical workflows by directly analyzing metabolites and molecules produced from engineered microorganisms in a multiplexed process. Using untargeted acquisitions and unsupervised analytics, we assess the molecular features that change across discrete strains including primary target species, secondary products, and species outside the engineered fatty acid biosynthesis pathway.

09 BIOMASS FUELS↗

Oxygen-responsive bacterial gene switch

The invention provided herein relates to sequence determinants that elicit certain levels of gene expression and methods for obtaining engineered ligand-responsive gene switches comprising these sequence determinants. More particularly, the invention provided herein relates to molecular building blocks (i.e., discrete nucleotide sequences), synthetic ligand-responsive gene switches comprising an assembly of these molecular building blocks, and methods of using synthetic ligand-responsive gene switches as customizable and controllable expression systems and sensors.

Kiley, Patricia J.↗

Flame Movement and Pressure Development in an Engine Cylinder

This investigation describes a visual method for making stroboscopic observations, through a large number of small windows, of the spread of flame throughout the combustion chamber of a gasoline engine. Data, secured by this method on a small engine burning gaseous fuels, are given to show the effects of mixture ratio, spark advance, engine speed, charge density, degree of dilution, compression ratio, and fuel composition on flame movement in the cylinder. Partial indicator diagrams showing pressure development during the combustion period are included. Although present knowledge is not sufficient to permit qualitative evaluation of the separate effects on flame movement of chemical reaction velocity, thermal expansion of burned gases, resonance, turbulence, and piston movement, the qualitative influence of certain of these factors on some of the diagrams is indicated.

Marvin, Charles F , Jr↗

Self-Scheduling Parallel Methods for Multiple Serial Codes with Application to WOPWOP

This paper presents a scheme for efficiently running a large number of serial jobs on parallel computers. Two examples are given of computer programs that run relatively quickly, but often they must be run numerous times to obtain all the results needed. It is very common in science and engineering to have codes that are not massive computing challenges in themselves, but due to the number of instances that must be run, they do become large-scale computing problems. The two examples given here represent common problems in aerospace engineering: aerodynamic panel methods and aeroacoustic integral methods. The first example simply solves many systems of linear equations. This is representative of an aerodynamic panel code where someone would like to solve for numerous angles of attack. The complete code for this first example is included in the appendix so that it can be readily used by others as a template. The second example is an aeroacoustics code (WOPWOP) that solves the Ffowcs Williams Hawkings equation to predict the far-field sound due to rotating blades. In this example, one quite often needs to compute the sound at numerous observer locations, hence parallelization is utilized to automate the noise computation for a large number of observers.

Long, Lyle N.↗

A Method for Prevention of Screaming in Rocket Engines

Lateral and longitudinal combustion-pressure oscillations that occurred in screaming combustion of a 1000-pound-thrust rocket engine using white fuming nitric acid and JP-4 fuel as propellants were successfully prevented by means of longitudinal fins in the combustion chamber. Fin position was critical, and complete attenuation was achieved only when the fins were located in a zone approximately 8 to 16 inches from the injector. Fins located in other zones, that is, near the injector or far downstream from the injector, did not stop the oscillations. When oscillations occurred in finned chambers, the longitudinal mode seemed more dominant than the lateral mode; in chambers without fins, the lateral mode tended to be dominant. The lateral oscillation was distorted and its intensity diminished by the fins. Fins, however, did not affect the frequencies; the longitudinal frequency varied inversely with chamber length, and lateral frequencies varied only slightly from an average of 6000 cycles per second.

ROCKET ENGINE NOISE↗

Engineering Mechanics Division

Screening methods for metal oxide semiconductor field effect transistors and resistors, impact survival testing of spacecraft electronic parts, and parachute jettisoning from planetary capsules

Source record↗

Development of procedures for calculating stiffness and damping properties of elastomers in engineering applications. Part 1: Verification of basic methods

The primary aim of this investigation was verification of basic methods which are to be used in cataloging elastomer dynamic properties (stiffness and damping) in terms of viscoelastic model constants. These constants may then be used to predict dynamic properties for general elastomer shapes and operating conditions, thereby permitting optimum application of elastomers as energy absorption and/or energy storage devices in the control of vibrations in a broad variety of applications. The efforts reported involved: (1) literature search; (2) the design, fabrication and use of a test rig for obtaining elastomer dynamic test data over a wide range of frequencies, amplitudes, and preloads; and (3) the reduction of the test data, by means of a selected three-element elastomer model and specialized curve fitting techniques, to material properties. Material constants thus obtained have been used to calculate stiffness and damping for comparison with measured test data. These comparisons are excellent for a number of test conditions and only fair to poor for others. The results confirm the validity of the basic approach of the overall program and the mechanics of the cataloging procedure, and at the same time suggest areas in which refinements should be made.

Chiang, T.↗

Applications of hybrid and digital computation methods in aerospace-related sciences and engineering

The computing equipment in the engineering systems simulation laboratory of the Houston University Cullen College of Engineering is described and its advantages are summarized. The application of computer techniques in aerospace-related research psychology and in chemical, civil, electrical, industrial, and mechanical engineering is described in abstracts of 84 individual projects and in reprints of published reports. Research supports programs in acoustics, energy technology, systems engineering, and environment management as well as aerospace engineering.

Huang, C. J.↗

Double arch mirror study. Part 2: Engineering analysis report

A method of mounting a cryogenically cooled, lightweight, double arch, class mirror for infrared, astronomical telescopes was developed. A 50 cm, fused silica mirror was modified for use in a new mount configuration. The flexures and the finite element analysis of the mirror stresses are reported.

Iraninejad, B.↗

An improved multilevel optimization approach for the design of complex engineering systems

Multilevel optimization methods are being considered for the design of complex systems on distributed networks of computers or even parallel processors. An obstacle to the use of multilevel methods is that they can be computationally expensive because of the cycling necessary to account for the coupling between the subproblems. This research effort aims at increasing the efficiency of multilevel optimization by adapting two techniques that are widely used in conventional one-level optimization: constraint approximation and temporary constraint deletion. These improvements are implemented and tested on three-, ten- and 52-bar planar truss designs. The results show that for larger problems (approximately 100 design variables and larger), the cost of analysis dominates the total cost so that multilevel optimization is no more expensive than one-level optimization. If parallel processing is used or the analysis process itself is decomposed, then multilevel optimization stands to become more economical than one-level optimization.

Barthelemy, J.-F. M.↗

Method for Calculation of Laminar Heat Transfer in Air Flow Around Cylinders of Arbitrary Cross Section (including Large Temperature Differences and Transpiration Cooling)

The solution of heat-transfer problems has become vital for many aeronautical applications. The shapes of objects to be cooled can often be approximated by cylinders of various cross sections with flow normal to the axis as, for instance heat transfer on gas-turbine blades and on air foils heated for deicing purposes. A laminar region always exists near the stagnation point of such objects. A method previously presented by E. R. G. Eckert permits the calculation of local heat transfer around the periphery of cylinders of arbitrary cross section in the laminar region for flow of a fluid with constant property values with an accuracy sufficient for engineering purposes. The method is based on exact solutions of the boundary-layer equations for incompressible wedge-type flow and on the postulate that at any point on the cylinder the boundary-layer growth is the same as that on a wedge with comparable flow conditions. This method is extended herein to take into account the influence of large temperature differences between the cylinder wall and the flow as well as the influence of transpiration cooling when the same medium as the outside flow is used as coolant.

Eckert, E R↗

A Method of Measuring Jet Thrust of Turbojet Engines in Flight Installations

Measurement of the jet thrust of a turbojet engine in flight becomes more difficult as the number and complexity of the engine components increase. It is desirable, therefore, that a general correlation of jet thrust be developed which is applicable to a simple direct reading thrustmeter. In view of this need a correlation is presented which is independent of flight conditions and applicable to both non-afterburning and afterburning engines equipped with nonejector type fixed- and variable-area convergent exhaust nozzles. The general equation used in this correlation was derived from the theoretical jet-thrust equation for a choked convergent nozzle. The data used to verify the correlation were obtained over a range of altitudes from 10,000 to 54,000 feet and a range of flight Mach numbers from 0.4 to 1.1. A thrustometer based on this equation was installed on an afterburning turbojet engine equipped with a fixed area convergent exhaust nozzle. The results indicated that a meter based on this correlation would be applicable to a flight installation and that the probable error in thrust measurement would be approximately + or -1.5 percent provided the exhaust-nozzle thrust coefficient is known.

Sivo, Joseph N↗