Search NASA⌕ Search

SEARCH · Search NASA

Results for “string 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 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
NASA NTRS1985

Stiffness control of large space structures

A method of using internal force producing dual element/actuators for vibration suppression of large space structures is proposed. This technique is applied to a vibrating string as well as a low order system. Response feedback control for the vibrating string and selected modal control are used for achieving the modal damping. The actuators used in this method may be electrically powered and are suitable for structures with extremely low rigidity.

Chen, J.-C.↗
NASA NTRS2003

Generalized Symbolic Execution for Model Checking and Testing

Modern software systems, which often are concurrent and manipulate complex data structures must be extremely reliable. We present a novel framework based on symbolic execution, for automated checking of such systems. We provide a two-fold generalization of traditional symbolic execution based approaches: one, we define a program instrumentation, which enables standard model checkers to perform symbolic execution; two, we give a novel symbolic execution algorithm that handles dynamically allocated structures (e.g., lists and trees), method preconditions (e.g., acyclicity of lists), data (e.g., integers and strings) and concurrency. The program instrumentation enables a model checker to automatically explore program heap configurations (using a systematic treatment of aliasing) and manipulate logical formulae on program data values (using a decision procedure). We illustrate two applications of our framework: checking correctness of multi-threaded programs that take inputs from unbounded domains with complex structure and generation of non-isomorphic test inputs that satisfy a testing criterion. Our implementation for Java uses the Java PathFinder model checker.

Khurshid, Sarfraz↗
NASA NTRS1984

Investigation of test methods, material properties, and processes for solar cell encapsulants

Photovoltaic (PV) modules consist of a string of electrically interconnected silicon solar cells capable of producing practical quantities of electrical power when exposed to sunlight. To insure high reliability and long term performance, the functional components of the solar cell module must be adequately protected from the environment by some encapsulation technique. The encapsulation system must provide mechanical support for the cells and corrosion protection for the electrical components. The goal of the program is to identify and develop encapsulation systems consistent with the PV module operating requirements of 30 year life and a target cost of $0.70 per peak watt ($70 per square meter) (1980 dollars). Assuming a module efficiency of ten percent, which is equivalent to a power output of 100 watts per square meter in midday sunlight, the capital cost of the modules may be calculated to be $70.00 per square meter. Out of this cost goal, only 20 percent is available for encapsulation due to the high cost of the cells, interconnects, and other related components. The encapsulation cost allocation may then be stated as $14.00 per square meter, included all coatings, pottant and mechanical supports for the cells.

Source record↗
NASA NTRS1985

Calculation of intensity of high energy muon groups observed deep underground

The intensity of narrow muon groups observed in Kolar Gold Field (KGF) at the depth of 3375 m.w.e. was calculated in terms of quark-gluon strings model for high energy hadron - air nuclei interactions by the method of direct modeling of nuclear cascade in the air and muon propagation in the ground for normal primary cosmic ray composition. The calculated intensity has been found to be approx. 10 to the 4 times less than one observed experimentally.

Vavilov, Y. N.↗
NASA NTRS1985

Dynamics and control of orbiting grid and the synchronously deployable beam

The dynamic analysis of a grid structure hung from the ceiling by two steel wires is described. The method of approach uses the discrete mass model system. The concept of the bifilar pendulum is used in writing the equation of motion. Assumptions are made with regard to the bar stiffnesses in the vertical and horizontal planes. The discrete mases are assumed to be connected by inextensible massless strings that do not provide any torsion or bending. The modal frequencies obtained by this method are compared with those obtained from the finite element model.

Abu-Saba, E. G.↗
NASA NTRS1997

Etch Profile Simulation Using Level Set Methods

Etching and deposition of materials are critical steps in semiconductor processing for device manufacturing. Both etching and deposition may have isotropic and anisotropic components, due to directional sputtering and redeposition of materials, for example. Previous attempts at modeling profile evolution have used so-called "string theory" to simulate the moving solid-gas interface between the semiconductor and the plasma. One complication of this method is that extensive de-looping schemes are required at the profile corners. We will present a 2D profile evolution simulation using level set theory to model the surface. (1) By embedding the location of the interface in a field variable, the need for de-looping schemes is eliminated and profile corners are more accurately modeled. This level set profile evolution model will calculate both isotropic and anisotropic etch and deposition rates of a substrate in low pressure (10s mTorr) plasmas, considering the incident ion energy angular distribution functions and neutral fluxes. We will present etching profiles of Si substrates in Ar/Cl2 discharges for various incident ion energies and trench geometries.

Hwang, Helen H.↗
NASA NTRS1992

Application of Nuclear Well Logging Techniques to Lunar Resource Assessment

The use of neutron and gamma ray measurements for the analysis of material composition has become well established in the last 40 years. Schlumberger has pioneered the use of this technology for logging wells drilled to produce oil and gas, and for this purpose has developed neutron generators that allow measurements to be made in deep (5000 m) boreholes under adverse conditions. We also make ruggedized neutron and gamma ray detector packages that can be used to make reliable measurements on the drill collar of a rotating drill string while the well is being drilled, where the conditions are severe. Modern nuclear methods used in logging measure rock formation parameters like bulk density and porosity, fluid composition, and element abundances by weight including hydrogen concentration. The measurements are made with high precision and accuracy. These devices (well logging sondes) share many of the design criteria required for remote sensing in space; they must be small, light, rugged, and able to perform reliably under adverse conditions. We see a role for the adaptation of this technology to lunar or planetary resource assessment missions.

Albats, P.↗
NASA NTRS1998

Simulation of Etching Profiles Using Level Sets

Using plasma discharges to etch trenches and via holes in substrates is an important process in semiconductor manufacturing. Ion enhanced etching involves both neutral fluxes, which are isotropic, and ion fluxes, which are anisotropic. The angular distributions for the ions determines the degree of vertical etch, while the amount of the neutral fluxes determines the etch rate. We have developed a 2D profile evolution simulation which uses level set methods to model the plasma-substrate interface. Using level sets instead of traditional string models avoids the use of complicated delooping algorithms. The simulation calculates the etch rate based on the fluxes and distribution functions of both ions and neutrals. We will present etching profiles of Si substrates in low pressure (10s mTorr) Ar/Cl2 discharges for a variety of incident ion angular distributions. Both ion and neutral re-emission fluxes are included in the calculation of the etch rate, and their contributions to the total etch profile will be demonstrated. In addition, we will show RIE lag effects as a function of different trench aspect ratios. (For sample profiles, please see http://www.ipt.arc.nasa.gov/hwangfig1.html)

Hwang, Helen↗
NASA NTRS2005

Deciding Termination for Ancestor Match- Bounded String Rewriting Systems

Termination of a string rewriting system can be characterized by termination on suitable recursively defined languages. This kind of termination criteria has been criticized for its lack of automation. In an earlier paper we have shown how to construct an automated termination criterion if the recursion is aligned with the rewrite relation. We have demonstrated the technique with Dershowitz's forward closure criterion. In this paper we show that a different approach is suitable when the recursion is aligned with the inverse of the rewrite relation. We apply this idea to Kurth's ancestor graphs and obtain ancestor match-bounded string rewriting systems. Termination is shown to be decidable for this class. The resulting method improves upon those based on match-boundedness or inverse match-boundedness.

Geser, Alfons↗
NASA NTRS2010

Proceedings of the Second NASA Formal Methods Symposium

This publication contains the proceedings of the Second NASA Formal Methods Symposium sponsored by the National Aeronautics and Space Administration and held in Washington D.C. April 13-15, 2010. Topics covered include: Decision Engines for Software Analysis using Satisfiability Modulo Theories Solvers; Verification and Validation of Flight-Critical Systems; Formal Methods at Intel -- An Overview; Automatic Review of Abstract State Machines by Meta Property Verification; Hardware-independent Proofs of Numerical Programs; Slice-based Formal Specification Measures -- Mapping Coupling and Cohesion Measures to Formal Z; How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project; A Machine-Checked Proof of A State-Space Construction Algorithm; Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications; Modeling Regular Replacement for String Constraint Solving; Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol; Can Regulatory Bodies Expect Efficient Help from Formal Methods?; Synthesis of Greedy Algorithms Using Dominance Relations; A New Method for Incremental Testing of Finite State Machines; Verification of Faulty Message Passing Systems with Continuous State Space in PVS; Phase Two Feasibility Study for Software Safety Requirements Analysis Using Model Checking; A Prototype Embedding of Bluespec System Verilog in the PVS Theorem Prover; SimCheck: An Expressive Type System for Simulink; Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness; Software Model Checking of ARINC-653 Flight Code with MCP; Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B; Formal Verification of Large Software Systems; Symbolic Computation of Strongly Connected Components Using Saturation; Towards the Formal Verification of a Distributed Real-Time Automotive System; Slicing AADL Specifications for Model Checking; Model Checking with Edge-valued Decision Diagrams; and Data-flow based Model Analysis.

Munoz, Cesar↗
NASA NTRS2003

On-Orbit Performance Degradation of the International Space Station P6 Photovoltaic Arrays

This paper discusses the on-orbit performance and performance degradation of the International Space Station P6 solar array wings (SAWs) from the period of December 2000 through February 2003. Data selection considerations and data reduction methods are reviewed along with the approach for calculating array performance degradation based on measured string shunt current levels. Measured degradation rates are compared with those predicted by the computational tool SPACE and prior degradation rates measured with the same SAW technology on the Mir space station. Initial results show that the measured SAW short-circuit current is degrading 0.2 to 0.5 percent per year. This degradation rate is below the predicted rate of 0.8 percent per year and is well within the 3 percent estimated uncertainty in measured SAW current levels. General contributors to SAW degradation are briefly discussed.

Kerslake, Thomas W.↗
NASA NTRS1972

On coherent oscillations of a string.

Vibrations of an elastic string when the separation between the ends varies randomly are studied. The emphasis is on the evolution of the coherent, or ordered, oscillations of the string. Using a perturbation technique borrowed from quantum field theory and the modified Kryloff-Bogoliuboff method, the 'multiple scattering' effect of the random separation between the ends on the linear and nonlinear coherent oscillations are investigated. It is found that due to the random interactions the coherent fundamental oscillation as well as the harmonies are damped. Their frequencies are also modified.

Liu, C. H.↗
NASA NTRS1989

Lunar deep drill apparatus

Proposed as a baseline configuration, this rotary drill apparatus is designed to produce 100-mm diameter holes in the lunar surface at depths up to 50 meters. The drill is intended to acquire samples for scientific analysis, mineral resource location, calibration of electronic exploration devices, and foundation analysis at construction sites. It is also intended to prepare holes for emplacement of scientific instruments, the setting of structural anchors, and explosive methods in excavation and mining activities. Defined as a deep drill because of the modular drill string, it incorporates an automatic rod changer. The apparatus is teleoperated from a remote location, such as earth, utilizing supervisory control techniques. It is thus suitable for unmanned and man-tended operation. Proven terrestrial drilling technology is used to the extent it is compatible with the lunar environment. Augers and drive tubes form holes in the regolith and may be used to acquire loose samples. An inertial cutting removal system operates intermittently while rock core drilling is in progress. The apparatus is carried to the work site by a three-legged mobile platform which also provides a 2-meter feed along the hole centerline, an off-hole movement of approximately .5 meters, an angular alignment of up to 20 deg. from gravity vertical, and other dexterity required in handling rods and samples. The technology can also be applied using other carriers which incorporate similar motion capabilities. The apparatus also includes storage racks for augers, rods, and ancillary devices such as the foot-plate that holds the down-hole tooling during rod changing operations.

Source record↗
NASA NTRS2009

Measuring Multiple Resistances Using Single-Point Excitation

In a proposed method of determining the resistances of individual DC electrical devices connected in a series or parallel string, no attempt would be made to perform direct measurements on individual devices. Instead, (1) the devices would be instrumented by connecting reactive circuit components in parallel and/or in series with the devices, as appropriate; (2) a pulse or AC voltage excitation would be applied at a single point on the string; and (3) the transient or AC steady-state current response of the string would be measured at that point only. Each reactive component(s) associated with each device would be distinct in order to associate a unique time-dependent response with that device.

Hall, Dan↗
NASA NTRS1991

Microprocessor control of multiple peak power tracking DC/DC converters for use with solar cell arrays

A method and an apparatus is provided for efficiently controlling the power output of a solar cell array string or a plurality of solar cell array strings to achieve a maximum amount of output power from the strings under varying conditions of use. Maximum power output from a solar array string is achieved through control of a pulse width modulated DC/DC buck converter which transfers power from a solar array to a load or battery bus. The input voltage from the solar array to the converter is controlled by a pulse width modulation duty cycle, which in turn is controlled by a differential signal controller. By periodically adjusting the control voltage up or down by a small amount and comparing the power on the load or bus with that generated at different voltage values a maximum power output voltage may be obtained. The system is totally modular and additional solar array strings may be added to the system simply by adding converter boards to the system and changing some constants in the controller's control routines.

Frederick, Martin E.↗
NASA NTRS2009

Tuning a Tetrahertz Wire Laser

Tunable terahertz lasers are desirable in applications in sensing and spectroscopy because many biochemical species have strong spectral fingerprints at terahertz frequencies. Conventionally, the frequency of a laser is tuned in a similar manner to a stringed musical instrument, in which pitch is varied by changing the length of the string (the longitudinal component of the wave vector) and/ or its tension (the refractive index). However, such methods are difficult to implement in terahertz semiconductor lasers because of their poor outcoupling efficiencies. Here, we demonstrate a novel tuning mechanism based on a unique 'wire laser' device for which the transverse dimension w is much much less than lambda. Placing a movable object close to the wire laser manipulates a large fraction of the waveguided mode propagating outside the cavity, thereby tuning its resonant frequency. Continuous single-mode redshift and blueshift tuning is demonstrated for the same device by using either a dielectric or metallic movable object. In combination, this enables a frequency tuning of approximately equal to 137 GHz (3.6%) from a single laser device at approximately equal to 3.8 THz.

Qin, Qi↗
NASA NTRS1984

Response of large space structures with stiffness control

For large space structures, such as the 100-meter-diameter wrap-rib deployable antenna and spinning solar sail, whose out-of-plane stiffness is derived from in-plane tension, the out-of-plane motion can be actively controlled by time-varying in-plane tension. An elastic string is used to demonstrate the proposed approach, which results in a nonlinear ordinary differential equation. An approximation method is outlined from which the magnitude of time-varying tension can be determined based on the efficiency factor, the time factor or the optimal factor.

Chen, J.-C.↗