Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “function alignment”

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 55 records · Page 3

Proof Mate: An Interactive Proof Helper for PVS (Tool Paper)

This paper presents Proof Mate, an interactive proof helper for the PVS verification system. The helper is integrated in VSCode-PVS, the Visual Studio Code extension for PVS. It extends the capabilities of VSCode-PVS by introducing new functionalities for suggesting proof commands, sketching proof attempts, and repairing broken proofs during interactive proof sessions. This work further aligns VSCode-PVS to the functionalities provided by modern development tools, with the ultimate aim to facilitate the adoption of formal methods in engineering practices and education.

Interactive Theorem Proving↗

Proof Mate: An Interactive Proof Helper for PVS

This paper presents Proof Mate, an interactive proof helper for the PVS verification system. The helper is integrated in VSCode-PVS, the Visual Studio Code extension for PVS. It extends the capabilities of VSCode-PVS by introducing new functionalities for suggesting proof commands, sketching proof attempts, and repairing broken proofs during interactive proof sessions. This work further aligns VSCode-PVS to the functionalities provided by modern development tools, with the ultimate aim to facilitate the adoption of formal methods in engineering practices and education.

Formal Methods↗

Backup Alignment Devices on Shuttle: Heads-Up Display or Crew Optical Alignment Sight

NASA s Space Shuttle was built to withstand multiple failures while still keeping the crew and vehicle safe. Although the design of the Space Shuttle had a great deal of redundancy built into each system, there were often additional ways to keep systems in the best configuration if a failure were to occur. One such method was to use select pieces of hardware in a way for which they were not primarily intended. The primary function of the Heads-Up Display (HUD) was to provide the crew with a display of flight critical information during the entry phase. The primary function of the Crew Optical Alignment Sight (COAS) was to provide the crew an optical alignment capability for rendezvous and docking phases. An alignment device was required to keep the Inertial Measurement Units (IMUs) well aligned for a safe Entry; nominally this alignment device would be the two on-board Star Trackers. However, in the event of a Star Tracker failure, the HUD or COAS could also be used as a backup alignment device, but only if the device had been calibrated beforehand. Once the HUD or COAS was calibrated and verified then it was considered an adequate backup to the Star Trackers for entry IMU alignment. There were procedures in place and the astronauts were trained on how to accurately calibrate the HUD or COAS and how to use them as an alignment device. The calibration procedure for the HUD and COAS had been performed on many Shuttle missions. Many of the first calibrations performed were for data gathering purposes to determine which device was more accurate as a backup alignment device, HUD or COAS. Once this was determined, the following missions would frequently calibrate the HUD in order to be one step closer to having the device ready in case it was needed as a backup alignment device.

Chavez, Melissa A.↗

Multiscale Modeling of Thermal Conductivity of Polymer/Carbon Nanocomposites

Molecular dynamics simulation was used to estimate the interfacial thermal (Kapitza) resistance between nanoparticles and amorphous and crystalline polymer matrices. Bulk thermal conductivities of the nanocomposites were then estimated using an established effective medium approach. To study functionalization, oligomeric ethylene-vinyl alcohol copolymers were chemically bonded to a single wall carbon nanotube. The results, in a poly(ethylene-vinyl acetate) matrix, are similar to those obtained previously for grafted linear hydrocarbon chains. To study the effect of noncovalent functionalization, two types of polyethylene matrices. -- aligned (extended-chain crystalline) vs. amorphous (random coils) were modeled. Both matrices produced the same interfacial thermal resistance values. Finally, functionalization of edges and faces of plate-like graphite nanoparticles was found to be only modestly effective in reducing the interfacial thermal resistance and improving the composite thermal conductivity

Clancy, Thomas C.↗

Aligned Single Wall Carbon Nanotube Polymer Composites Using an Electric Field

While high shear alignment has been shown to improve the mechanical properties of single wall carbon nanotubes (SWNT)-polymer composites, it is difficult to control and often results in degradation of the electrical and dielectric properties of the composite. Here, we report a novel method to actively align SWNTs in a polymer matrix, which allows for control over the degree of alignment of SWNTs without the side effects of shear alignment. In this process, SWNTs are aligned via field-induced dipolar interactions among the nanotubes under an AC electric field in a liquid matrix followed by immobilization by photopolymerization while maintaining the electric field. Alignment of SWNTs was controlled as a function of magnitude, frequency, and application time of the applied electric field. The degree of SWNT alignment was assessed using optical microscopy and polarized Raman spectroscopy and the morphology of the aligned nanocomposites was investigated by high resolution scanning electron microscopy. The structure of the field induced aligned SWNTs is intrinsically different from that of shear aligned SWNTs. In the present work, SWNTs are not only aligned along the field, but also migrate laterally to form thick, aligned SWNT percolative columns between the electrodes. The actively aligned SWNTs amplify the electrical and dielectric properties in addition to improving the mechanical properties of the composite. All of these properties of the aligned nanocomposites exhibited anisotropic characteristics, which were controllable by tuning the applied field conditions.

Park, Cheol↗

Solar activity during Skylab: Its distribution and relation to coronal holes

Solar active regions observed during the period of Skylab observations (May 1973-February 1974) were examined for properties that varied systematically with location on the sun, particularly with respect to the location of coronal holes. Approximately 90 percent of the optical and X-ray flare activity occurred in one solar hemisphere (136-315 heliographic degrees longitude). Active regions within 20 heliographic degrees of coronal holes were below average in lifetimes, flare production, and magnetic complexity. Histograms of solar flares as a function of solar longitude were aligned with H alpha synoptic charts on which active region serial numbers and coronal hole boundaries were added.

Speich, D. M.↗

Field-aligned current sources in the high-latitude ionosphere

The paper determines the electric potential in a plane which is fed current from a pair of field-aligned current sheets. The ionospheric conductivity is modelled as a constant with an enhanced conductivity annular ring. It is shown that field-aligned current distributions are arbitrary functions of azimuth angle (MLT) and thus allow for asymmetric potential configurations over the pole cap. In addition, ionospheric surface currents are computed by means of stream functions. Finally, the discussion relates these methods to the electrical characteristics of the magnetosphere.

Barbosa, D. D.↗

The propagation and growth of whistler mode waves generated by electron beams in earth's bow shock

In this study, the propagation and growth of whistler mode waves generated by electron beams within earth's bow shock is investigated using a planar model for the bow shock and a model electron distribution function. Within the shock, the model electron distribution function possesses a field-aligned T greater than T beam that is directed toward the magnetosheath. Waves with frequencies between about 1 and 100 Hz with a wide range of wave normal angles are generated by the beam via Landau and anomalous cyclotron resonances. However, because the growth rate is small and because the wave packets traverse the shock quickly, these waves do not attain large amplitudes. Waves with frequencies between about 30 and 150 Hz with a wide range of wave normal angles are generated by the beam via the normal cyclotron resonance. The ray paths for most of these waves are directed toward the solar wind although some wave packets, due to plasma convection travel transverse to the shock normal. These wave packets grow to large amplitudes because they spend a long time in the growth region. The results suggest that whistler mode noise within the shock should increase in amplitude with increasing upstream theta sub Bn. The study provides an explanation for the origin of much of the whistler mode turbulence observed at the bow shock.

Tokar, R. L.↗

An accurate registration technique for distorted images

Accurate registration of International Ultraviolet Explorer (IUE) images is crucial because the variability of the geometrical distortions that are introduced by the SEC-Vidicon cameras ensures that raw science images are never perfectly aligned with the Intensity Transfer Functions (ITFs) (i.e., graded floodlamp exposures that are used to linearize and normalize the camera response). A technique for precisely registering IUE images which uses a cross correlation of the fixed pattern that exists in all raw IUE images is described.

Delapena, Michele↗

Injection Seeding of Ti:Al2O3 in an unstable resonator theory and experiment

Injection Seeding of a Ti:Al2O3 unstable resonator using both a pulsed single-mode Ti:Al2O3 laser and a continuous wave laser diode has been characterized. Results are compared with a theory which calculates injection seeding as function of seed and resonator alignment, beam profiles, and power.

Barnes, J. C.↗

Controller for the Electronically Scanned Thinned Array Radiometer (ESTAR) instrument

A prototype controller for the ESTAR (electronically scanned thinned array radiometer) instrument has been designed and tested. It manages the operation of the digital data subsystem (DDS) and its communication with the Small Explorer data system (SEDS). Among the data processing tasks that it coordinates are FEM data acquisition, noise removal, phase alignment and correlation. Its control functions include instrument calibration and testing of two critical subsystems, the output data formatter and Walsh function generator. It is implemented in a Xilinx XC3064PC84-100 field programmable gate array (FPGA) and has a maximum clocking frequency of 10 MHz.

Zomberg, Brian G.↗

Non-steady-state transport of superthermal electrons in the plasmasphere

Numerical solutions to the time-dependent kinetic equation, which describes the transport of superthermal electrons in the splasmasphere between the two conjugate ionospheres, are presented. The model calculates the distribution function as a function of time, field-aligned distance, energy, and pitch-angle. The processes of refilling, depleting, and establishing steady-state conditions of superthermal electrons in the plasmasphere are discussed.

Khazanov, George V.↗

Signal averaging technique for noninvasive recording of late potentials in patients with coronary artery disease

An advanced non invasive signal averaging technique was used to detect late potentials in two groups of patients: Group A (24 patients) with coronary artery disease (CAD) and without sustained ventricular tachycardia (VT) and Group B (8 patients) with CAD and sustained VT. Recorded analog data were digitized and aligned using a cross correlation function with fast Fourier transform schema, averaged and band pass filtered between 60 and 200 Hz with a non-recursive digital filter. Averaged filtered waveforms were analyzed by computer program for 3 parameters: (1) filtered QRS (fQRS) duration (2) interval between the peak of the R wave peak and the end of fQRS (R-LP) (3) RMS value of last 40 msec of fQRS (RMS). Significant change was found between Groups A and B in fQRS (101 -/+ 13 msec vs 123 -/+ 15 msec; p < .0005) and in R-LP vs 52 -/+ 11 msec vs 71-/+18 msec, p <.002). We conclude that (1) the use of a cross correlation triggering method and non-recursive digital filter enables a reliable recording of late potentials from the body surface; (2) fQRS and R-LP durations are sensitive indicators of CAD patients susceptible to VT.

NASA Discipline Cardiopulmonary↗

Improved Ionospheric Electrodynamic Models and Application to Calculating Joule Heating Rates

Improved techniques have been developed for empirical modeling of the high-latitude electric potentials and magnetic field aligned currents (FAC) as a function of the solar wind parameters. The FAC model is constructed using scalar magnetic Euler potentials, and functions as a twin to the electric potential model. The improved models have more accurate field values as well as more accurate boundary locations. Non-linear saturation effects in the solar wind-magnetosphere coupling are also better reproduced. The models are constructed using a hybrid technique, which has spherical harmonic functions only within a small area at the pole. At lower latitudes the potentials are constructed from multiple Fourier series functions of longitude, at discrete latitudinal steps. It is shown that the two models can be used together in order to calculate the total Poynting flux and Joule heating in the ionosphere. An additional model of the ionospheric conductivity is not required in order to obtain the ionospheric currents and Joule heating, as the conductivity variations as a function of the solar inclination are implicitly contained within the FAC model's data. The models outputs are shown for various input conditions, as well as compared with satellite measurements. The calculations of the total Joule heating are compared with results obtained by the inversion of ground-based magnetometer measurements. Like their predecessors, these empirical models should continue to be a useful research and forecast tools.

Weimer, D. R.↗

History of Reliability and Quality Assurance at Kennedy Space Center

This Kennedy Historical Document (KHD) provides a unique historical perspective of the organizational and functional responsibilities for the manned and un-manned programs at Kennedy Space Center, Florida. As systems become more complex and hazardous, the attention to detailed planning and execution continues to be a challenge. The need for a robust reliability and quality assurance program will always be a necessity to ensure mission success. As new space missions are defined and technology allows for continued access to space, these programs cannot be compromised. The organizational structure that has provided the reliability and quality assurance functions for both the manned and unmanned programs has seen many changes since the first group came to Florida in the 1950's. The roles of government and contractor personnel have changed with each program and organizational alignment has changed based on that responsibility. The organizational alignment of the personnel performing these functions must ensure independent assessment of the processes.

Childers, Frank M.↗

Overcoming Communication Restrictions in Collectives

Many large distributed system are characterized by having a large number of components (eg., agents, neurons) whose actions and interactions determine a %orld utility which rates the performance of the overall system. Such collectives are often subject to communication restrictions, making it difficult for components which try to optimize their own private utilities, to take actions that also help optimize the world utility. In this article we address that coordination problem and derive four utility functions which present different compromises between how aligned a component s private utility is with the world utility and how readily that component can determine the actions that optimize its utility. The results show that the utility functions specifically derived to operate under communication restrictions outperform both traditional methods and previous collective-based methods by up to 75%.

Tumer, Kagan↗

Optical system storage design with diffractive optical elements

Optical data storage systems are gaining widespread acceptance due to their high areal density and the ability to remove the high capacity hard disk from the system. In magneto-optical read-write systems, a small rotation of the polarization state in the return signal from the MO media is the signal which must be sensed. A typical arrangement used for detecting these signals and correcting for errors in tracking and focusing on the disk is illustrated. The components required to achieve these functions are listed. The assembly and alignment of this complex system has a direct impact on cost, and also affects the size, weight, and corresponding data access rates. As a result, integrating these optical components and improving packaging techniques is an active area of research and development. Most designs of binary optic elements have been concerned with optimizing grating efficiency. However, rigorous coupled wave models for vector field diffraction from grating surfaces can be extended to determine the phase and polarization state of the diffracted field, and the design of polarization components. A typical grating geometry and the phase and polarization angles associated with the incident and diffracted fields are shown. In our current stage of work, we are examining system configurations which cascade several polarization functions on a single substrate. In this design, the beam returning from the MO disk illuminates a cascaded grating element which first couples light into the substrate, then introduces a quarter wave retardation, then a polarization rotation, and finally separates s- and p-polarized fields through a polarization beam splitter. The input coupler and polarization beam splitter are formed in volume gratings, and the two intermediate elements are zero-order elements.

Kostuk, Raymond K.↗

Generation and propagation of an electromagnetic pulse in the Trigger experiment and its possible role in electron acceleration

Instruments onboard the Trigger payload detected a large-amplitude, low-frequency, electric field pulse which was observed with a time delay consistent only with an electromagnetic wave. A model for this perturbation is constructed, and the associated field-aligned current is calculated as a function of altitude. This experiment may simulate the acceleration mechanism which results in the formation of auroral arcs, and possibly even other events in cosmic plasmas.

Kelley, M. C.↗