Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “machining”

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 973 records · Page 54
All sourcesNASA NTRSDOE OSTI
NASA NTRS1996

Array of micro-machined mass energy micro-filters for charged particles

An energy filter for charged particles includes a stack of micro-machined wafers including plural apertures passing through the stack of wafers, focusing electrodes bounding charged particle paths through the apertures, an entrance orifice to each of the plural apertures and an exit orifice from each of the plural apertures and apparatus for biasing the focusing electrodes with an electrostatic potential corresponding to an energy pass band of the filter.

Stalder, Roland E.↗
NASA NTRS1992

Rotary machine having back to back turbines

A rotary machine having a pair of back to back turbines in serial flow relationship is disclosed. Various construction details are developed which permit for a compact design. In one detailed embodiment the turbine has a housing having an inlet manifold and an exit manifold which are disposed between the outlet manifold for an associated turbopump.

Burgy, N. Frank↗
NASA NTRS1983

Actively suspended counter-rotating machine

A counter-rotating machine, such as a positive displacement pump having a pair of meshed, non-contacting helical screws (10,12), subjects its rotating members to axial and radial thrust forces when used for such purposes as compression of liquid or gaseous phase fluids while transporting them through a pump cavity (11,13). Each helical screw (10,12) has a shaft (17,17') which is actively suspended at opposite ends (11a,11b) of the pump cavity by a servo-controlled magnetic bearing assembly (19) and a servo-controlled rotary drive motor (20). Both bearing assemblies and drive motors are mounted on the outside of the pump cavity (11,13). Opto-electric angular position sensors (250) provide synchronization between radial orientation of the drive motors. The bearing assemblies and drive motors conjugately provide axial stabilization and radial centering of the helical screws during volumetric compression of aspirated liquid or gaseous phase fluids.

Studer, Philip A.↗
NASA NTRS2007

Hybrid Neural Network and Support Vector Machine Method for Optimization

System and method for optimization of a design associated with a response function, using a hybrid neural net and support vector machine (NN/SVM) analysis to minimize or maximize an objective function, optionally subject to one or more constraints. As a first example, the NN/SVM analysis is applied iteratively to design of an aerodynamic component, such as an airfoil shape, where the objective function measures deviation from a target pressure distribution on the perimeter of the aerodynamic component. As a second example, the NN/SVM analysis is applied to data classification of a sequence of data points in a multidimensional space. The NN/SVM analysis is also applied to data regression.

Rai, Man Mohan↗
NASA NTRS1989

Monocoil reciprocating permanent magnet electric machine with self-centering force

A linear reciprocating machine has a tubular outer stator housing a coil, a plunger and an inner stator. The plunger has four axially spaced rings of radially magnetized permanent magnets which cooperate two at a time with the stator to complete first or second opposite magnetic paths. The four rings of magnets and the stators are arranged so that the stroke of the plunger is independent of the axial length of the coil.

Bhate, Suresh K.↗
NASA NTRS2006

Anisotropic Laminar Piezocomposite Actuator Incorporating Machined PMN-PT Single Crystal Fibers

The design, fabrication, and testing of a flexible, laminar, anisotropic piezoelectric composite actuator utilizing machined PMN-32%PT single crystal fibers is presented. The device consists of a layer of rectangular single crystal piezoelectric fibers in an epoxy matrix, packaged between interdigitated electrode polyimide films. Quasistatic free-strain measurements of the single crystal device are compared with measurements from geometrically identical specimens incorporating polycrystalline PZT-5A and PZT-5H piezoceramic fibers. Free-strain actuation of the single crystal actuator at low bipolar electric fields (+/- 250 V/mm) is approximately 400% greater than that of the baseline PZT-5A piezoceramic device, and 200% greater than that of the PZT-5H device. Free-strain actuation under high unipolar electric fields (0-4kV/mm) is approximately 200% of the PZT-5A baseline device, and 150% of the PZT-5H alternate piezoceramic device. Performance increases at low field are qualitatively consistent with predicted increases based on scaling the low-field d33 piezoelectric constants of the respective piezoelectric materials. High-field increases are much less than scaled d33 estimates, but appear consistent with high-field freestrain measurements reported for similar bulk single-crystal and piezoceramic compositions. Measurements of single crystal actuator capacitance and coupling coefficient are also provided. These properties were poorly predicted using scaled bulk material dielectric and coupling coefficient data. Rules-of-mixtures calculations of the effective elastic properties of the single crystal device and estimated actuation work energy densities are also presented. Results indicate longitudinal stiffnesses significantly lower (50% less) than either piezoceramic device. This suggests that single-crystal piezocomposite actuators will be best suited to low induced-stress, high strain and deflection applications.

Wilkie, W. Keats↗
NASA NTRS2007

Machine Aided Indexing and the NASA Thesaurus

Machine Aided Indexing (MAI) is a Web-based application program for aiding the indexing of literature in the NASA Scientific and Technical Information (STI) Database. MAI was designed to be a convenient, fully interactive tool for determining the subject matter of documents and identifying keywords. The heart of MAI is a natural-language processor that accepts, as input, any user-supplied text, including abstracts, full documents, and Web pages. Within seconds, the text is analyzed and a ranked list of terms is generated. The 17,800 terms of the NASA Thesaurus serve as the foundation of the knowledge base used by MAI. The NASA Thesaurus defines a standard vocabulary, the use of which enables MAI to assist in ensuring that STI documents are uniformly and consistently accessible. Of particular interest to traditional users of the NASA Thesaurus, MAI incorporates a fully searchable thesaurus display module that affords word-search and hierarchy- navigation capabilities that make it much easier and less time-consuming to look up terms and browse, relative to lookup and browsing in older print and Portable Document Format (PDF) digital versions of the Thesaurus. In addition, because MAI is centrally hosted, the Thesaurus data are always current.

vonOfenheim, Bill↗
NASA NTRS2010

A New Method for Incremental Testing of Finite State Machines

The automatic generation of test cases is an important issue for conformance testing of several critical systems. We present a new method for the derivation of test suites when the specification is modeled as a combined Finite State Machine (FSM). A combined FSM is obtained conjoining previously tested submachines with newly added states. This new concept is used to describe a fault model suitable for incremental testing of new systems, or for retesting modified implementations. For this fault model, only the newly added or modified states need to be tested, thereby considerably reducing the size of the test suites. The new method is a generalization of the well-known W-method and the G-method, but is scalable, and so it can be used to test FSMs with an arbitrarily large number of states.

Pedrosa, Lehilton Lelis Chaves↗
NASA NTRS2010

A Machine-Checked Proof of A State-Space Construction Algorithm

This paper presents the correctness proof of Saturation, an algorithm for generating state spaces of concurrent systems, implemented in the SMART tool. Unlike the Breadth First Search exploration algorithm, which is easy to understand and formalise, Saturation is a complex algorithm, employing a mutually-recursive pair of procedures that compute a series of non-trivial, nested local fixed points, corresponding to a chaotic fixed point strategy. A pencil-and-paper proof of Saturation exists, but a machine checked proof had never been attempted. The key element of the proof is the characterisation theorem of saturated nodes in decision diagrams, stating that a saturated node represents a set of states encoding a local fixed-point with respect to firing all events affecting only the node s level and levels below. For our purpose, we have employed the Prototype Verification System (PVS) for formalising the Saturation algorithm, its data structures, and for conducting the proofs.

Catano, Nestor↗
NASA NTRS2010

Automatic Review of Abstract State Machines by Meta Property Verification

A model review is a validation technique aimed at determining if a model is of sufficient quality and allows defects to be identified early in the system development, reducing the cost of fixing them. In this paper we propose a technique to perform automatic review of Abstract State Machine (ASM) formal specifications. We first detect a family of typical vulnerabilities and defects a developer can introduce during the modeling activity using the ASMs and we express such faults as the violation of meta-properties that guarantee certain quality attributes of the specification. These meta-properties are then mapped to temporal logic formulas and model checked for their violation. As a proof of concept, we also report the result of applying this ASM review process to several specifications.

Arcaini, Paolo↗
NASA NTRS2009

Deriving Safety Cases from Machine-Generated Proofs

Proofs provide detailed justification for the validity of claims and are widely used in formal software development methods. However, they are often complex and difficult to understand, because they use machine-oriented formalisms; they may also be based on assumptions that are not justified. This causes concerns about the trustworthiness of using formal proofs as arguments in safety-critical applications. Here, we present an approach to develop safety cases that correspond to formal proofs found by automated theorem provers and reveal the underlying argumentation structure and top-level assumptions. We concentrate on natural deduction proofs and show how to construct the safety cases by covering the proof tree with corresponding safety case fragments.

Basir, Nurlida↗
NASA NTRS2009

Porting Gravitational Wave Signal Extraction to Parallel Virtual Machine (PVM)

Laser Interferometer Space Antenna (LISA) is a planned NASA-ESA mission to be launched around 2012. The Gravitational Wave detection is fundamentally the determination of frequency, source parameters, and waveform amplitude derived in a specific order from the interferometric time-series of the rotating LISA spacecrafts. The LISA Science Team has developed a Mock LISA Data Challenge intended to promote the testing of complicated nested search algorithms to detect the 100-1 millihertz frequency signals at amplitudes of 10E-21. However, it has become clear that, sequential search of the parameters is very time consuming and ultra-sensitive; hence, a new strategy has been developed. Parallelization of existing sequential search algorithms of Gravitational Wave signal identification consists of decomposing sequential search loops, beginning with outermost loops and working inward. In this process, the main challenge is to detect interdependencies among loops and partitioning the loops so as to preserve concurrency. Existing parallel programs are based upon either shared memory or distributed memory paradigms. In PVM, master and node programs are used to execute parallelization and process spawning. The PVM can handle process management and process addressing schemes using a virtual machine configuration. The task scheduling and the messaging and signaling can be implemented efficiently for the LISA Gravitational Wave search process using a master and 6 nodes. This approach is accomplished using a server that is available at NASA Ames Research Center, and has been dedicated to the LISA Data Challenge Competition. Historically, gravitational wave and source identification parameters have taken around 7 days in this dedicated single thread Linux based server. Using PVM approach, the parameter extraction problem can be reduced to within a day. The low frequency computation and a proxy signal-to-noise ratio are calculated in separate nodes that are controlled by the master using message and vector of data passing. The message passing among nodes follows a pattern of synchronous and asynchronous send-and-receive protocols. The communication model and the message buffers are allocated dynamically to address rapid search of gravitational wave source information in the Mock LISA data sets.

Thirumalainambi, Rajkumar↗
NASA NTRS2010

Squat Ground Reaction Force on a Horizontal Squat Device, Free Weights, and Smith Machine

Bed rest is an analog to spaceflight and advancement of exercise countermeasures is dependent on the development of exercise equipment that closely mimic actual upright exercise. The Horizontal Squat Device (HSD) was developed to allow a supine exerciser to perform squats that mimic upright squat exercise. PURPOSE: To compare vertical ground reaction force (GRFv) on the HSD with Free Weight (FW) or Smith Machine (SM) during squat exercise. METHODS: Subjects (3F, 3M) performed sets of squat exercise with increasing loads up to 1-repetition (rep) maximum. GRF data were collected and compared with previous GRF data for squat exercise performed with FW & SM. Loads on the HSD were adjusted to magnitudes comparable with FW & SM by subtracting the subject s body weight (BW). Peak GRFv for 45-, 55-, 64-, & 73-kg loads above BW were calculated. Percent (%) difference between HSD and the two upright conditions were computed. Effect size was calculated for the 45-kg load. RESULTS: Most subjects were unable to lift >45 kg on the HSD; however, 1 subject completed all loads. Anecdotal evidence suggested that most subjects shoulders or back failed before their legs. The mean % difference are shown. In the 45-kg condition, effect sizes were 0.37 & 0.83 (p>0.05) for HSD vs. FW and HSD vs. SM, respectively, indicating no differences between exercise modes. CONCLUSION: When BW was added to the target load, results indicated that vertical forces were similar to those in FW and SM exercise. The exercise prescription for the HSD should include a total external resistance equivalent to goal load plus subject BW. The HSD may be used as an analog to upright exercise in bed rest studies, but because most subjects were unable to lift >45 kg, it may be necessary to prescribe higher reps and lower loads to better target the leg musculature

Scott-Pandorf, Melissa M.↗
NASA NTRS2005

Virtual Machine Language

Virtual Machine Language (VML) is a mission-independent, reusable software system for programming for spacecraft operations. Features of VML include a rich set of data types, named functions, parameters, IF and WHILE control structures, polymorphism, and on-the-fly creation of spacecraft commands from calculated values. Spacecraft functions can be abstracted into named blocks that reside in files aboard the spacecraft. These named blocks accept parameters and execute in a repeatable fashion. The sizes of uplink products are minimized by the ability to call blocks that implement most of the command steps. This block approach also enables some autonomous operations aboard the spacecraft, such as aerobraking, telemetry conditional monitoring, and anomaly response, without developing autonomous flight software. Operators on the ground write blocks and command sequences in a concise, high-level, human-readable programming language (also called VML ). A compiler translates the human-readable blocks and command sequences into binary files (the operations products). The flight portion of VML interprets the uplinked binary files. The ground subsystem of VML also includes an interactive sequence- execution tool hosted on workstations, which runs sequences at several thousand times real-time speed, affords debugging, and generates reports. This tool enables iterative development of blocks and sequences within times of the order of seconds.

Grasso, Christopher↗
NASA NTRS2011

Machine Vision for Relative Spacecraft Navigation During Approach to Docking

This paper describes a machine vision system for relative spacecraft navigation during the terminal phase of approach to docking that: 1) matches high contrast image features of the target vehicle, as seen by a camera that is bore-sighted to the docking adapter on the chase vehicle, to the corresponding features in a 3d model of the docking adapter on the target vehicle and 2) is robust to on-orbit lighting. An implementation is provided for the case of the Space Shuttle Orbiter docking to the International Space Station (ISS) with quantitative test results using a full scale, medium fidelity mock-up of the ISS docking adapter mounted on a 6-DOF motion platform at the NASA Marshall Spaceflight Center Flight Robotics Laboratory and qualitative test results using recorded video from the Orbiter Docking System Camera (ODSC) during multiple orbiter to ISS docking missions. The Natural Feature Image Registration (NFIR) system consists of two modules: 1) Tracking which tracks the target object from image to image and estimates the position and orientation (pose) of the docking camera relative to the target object and 2) Acquisition which recognizes the target object if it is in the docking camera Field-of-View and provides an approximate pose that is used to initialize tracking. Detected image edges are matched to the 3d model edges whose predicted location, based on the pose estimate and its first time derivative from the previous frame, is closest to the detected edge1 . Mismatches are eliminated using a rigid motion constraint. The remaining 2d image to 3d model matches are used to make a least squares estimate of the change in relative pose from the previous image to the current image. The changes in position and in attitude are used as data for two Kalman filters whose outputs are smoothed estimate of position and velocity plus attitude and attitude rate that are then used to predict the location of the 3d model features in the next image.

Chien, Chiun-Hong↗
NASA NTRS2012

Internal position and limit sensor for free piston machines

A sensor for sensing the position of a reciprocating free piston in a free piston Stirling machine. The sensor has a disk mounted to an end face of the power piston coaxially with its cylinder and reciprocating with the piston The disk includes a rim around its outer perimeter formed of an electrically conductive material A coil is wound coaxially with the cylinder, spaced outwardly from the outer perimeter of the disk and mounted in fixed position relative to the pressure vessel, preferably on the exterior of the pressure vessel wall.

Holliday, Ezekiel S.↗
NASA NTRS2012

Estimation and Bias Correction of Aerosol Abundance using Data-driven Machine Learning and Remote Sensing

Air quality information is increasingly becoming a public health concern, since some of the aerosol particles pose harmful effects to peoples health. One widely available metric of aerosol abundance is the aerosol optical depth (AOD). The AOD is the integrated light extinction coefficient over a vertical atmospheric column of unit cross section, which represents the extent to which the aerosols in that vertical profile prevent the transmission of light by absorption or scattering. The comparison between the AOD measured from the ground-based Aerosol Robotic Network (AERONET) system and the satellite MODIS instruments at 550 nm shows that there is a bias between the two data products. We performed a comprehensive analysis exploring possible factors which may be contributing to the inter-instrumental bias between MODIS and AERONET. The analysis used several measured variables, including the MODIS AOD, as input in order to train a neural network in regression mode to predict the AERONET AOD values. This not only allowed us to obtain an estimate, but also allowed us to infer the optimal sets of variables that played an important role in the prediction. In addition, we applied machine learning to infer the global abundance of ground level PM2.5 from the AOD data and other ancillary satellite and meteorology products. This research is part of our goal to provide air quality information, which can also be useful for global epidemiology studies.

Malakar, Nabin K.↗