Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “PROGRAMMER”

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 739 records · Page 41
All sourcesNASA NTRSDOE OSTI
NASA NTRS1994

Miniaturized Electronic System for the Planetary Integrated Camera Spectrometer

This paper discusses the design and implementation of a miniaturized electronic system for the Planetary Integrated Camera-Spectrometer (PICS). The PICS electronics demonstrates the application of Field Programmable Gate Arrays (FPGAs) and of analog hybrid technology to space flight multispectral systems. A discussion of the electronic system design illustrates how a multisensor instrument consisting of an UV CCD, two visible CCDs, and a near-IR focal plane assembly can be processed through a common set of electronics. Following the system design discussion, the actual electronic design will be presented. Each miniaturized module will be discussed as to functionality and performance. The test setup for bench checkout of a cooled CCD and an IR FPA, including results with breadboard electronics and with the hybrids are also described.

CCD↗
NASA NTRSDate not supplied

Alternative Setup for Long-Duration Low-Duty-Cycle 600°C Ambient Testing of SiC Integrated Circuits

A scalable, compact oven testbed system for simultaneously evaluating a multitude of high temperature integrated circuits (ICs) for prolonged operating times of up to 600 °C has been prototyped. The new testbed system enables long-duration high temperature testing in sufficient statistical quantities consistent with standard aerospace electronics engineering standards. This setup is comprised of multiple compact ovens housing chips or packages mounted to ceramic circuit boards. Each oven is a compact 15.2 cm length by 15.2 cm width by 12.7 cm depth with a maximum 400 Watts of heating power. The custom-made silicon oxide ceramic heating block inside each oven is based on a 3D printed design adapted for the easy insertion of the IC device under test (DUT). This innovative design provides the quick insertion of ICs with or without a ceramic package into a 600 °C environment by utilizing a movable 11.43 cm long ceramic substrate with electrical traces extending from the oven hot zone to external standard plastic-based board connectors. Another key oven design feature is the minimization of the DUT exposure to electromagnetic interference (EMI) by utilizing a filtered DC power source to reduce heating element noise. Additionally, the ovens can be configured in a parallel arrangement allowing global data monitoring over a single industrial RS422 serial port. This feature is important for scaling up to test multiple ICs semi-simultaneously. A USB serial port is provided to independently control the operating parameters of each oven such as the oven target temperature and oven ramp rate. The oven temperature can reach up to 600 °C with a confirmed +/- 4 °C maximum deviation across the test zone region. The ramp rate can be programmed from 1 °C/minute up to 10 °C/minute. Furthermore, a programmable switchboard is used to interface with the DUT. This switchboard comprises a National Instruments Peripheral Component Interconnect eXtension for Instrumentation (NI PXI) system and a breakout board to send and receive power, analog or digital test signals. By using this unique oven testbed system, a variety of ICs can now be tested in parallel using the same test components configured for a diverse set of requirements.

DC Powered Oven↗
NASA NTRS2021

Kinetically Tunable, Active Auxetic, and Variable Recruitment Active Textiles from Hierarchical Assemblies

Multifunctional textiles with programmable, multi-axial, distributed, and scalable actuation are highly desirable and presently unrealized. 1D torque-unbalanced active yarns within 2D textile structures are exploited to produce soft and scalable active textiles that exhibit tunable displacements, forces, stiffnesses, and kinematic deformations. Through a textile hierarchy spanning active material composition, yarn construction, textile geometry, and system architecture, these active textiles accomplish kinetic tunability, variable recruitment behaviors, and auxetic effects without mechanical contact, called active auxetic effects. New modes of pre-programmed multi-axial performance are enabled by geometrically manipulating—specifically pre-stressing and constraining—active filaments in torsion and leveraging their structural elastic instability within a textile geometry. The new kinematic motion afforded by torque-unbalanced active yarns enhances the performance of active textiles, which accomplish tensile strokes over 40%, generated blocked forces up to 308 N m−1, and specific work over 0.4. kJ kg−1. Advances in active textiles are demonstrated through multifunctional 3D applications, including a variable constriction pump that exhibits sequential actuation, a wearable that conforms multi-axially around the body, and a soft exoskeleton that performs assistive motions and on-body anchoring simultaneously. By harnessing the capabilities of active materials within a textile hierarchy, advances in the potentiality of multifunctional textiles are presented.

Active auxetic effects↗
NASA NTRSDate not supplied

Monitoring the Flow of the Greenland Ice Sheet: the PROMICE Ice Velocity Product and Recent Updates

We present the Programme for Monitoring of the Greenland Ice Sheet (PROMICE) ice velocity product, which is a time series of ice velocity mosaics derived using offset tracking on Sentinel-1 SAR data. The time series starting in January 2016 is continuously updated with a new mosaic every 12 days and is posted at 500 m grid resolution. Within PROMICE, the ice velocity product is used directly as input to estimate the solid ice discharge from the Greenland Ice Sheet as well as to study ice dynamic processes on seasonal and multi-annual time scales. Recently, we have made changes to the processing chain due to spurious cases of slow down detected in a few glaciers in Southeast Greenland. In this contribution, we discuss how this was resolved as well as other recent improvements to the product.

Greenland ice sheet↗
NASA NTRSDate not supplied

Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif

Verification of Programmable Logic Controller (PLC) programs requires reasoning about propositions qualified in terms of time. CERN’s PLCverif, an open-source tool for the analysis of safety-critical PLC systems, uses Linear Temporal Logic (LTL) for the specification of properties. Until now, PLCverif depended on third-party tools that accept LTL specifications to perform verification. However, our experience with industrial PLC programs shows that, to overcome analysis limitations, a wide range of techniques are needed to successfully verify complex properties. In this paper, we extend PLCverif to enable PLC program verification of pure-past LTL (PLTL) safety properties with assertion-based verification tools. To this end, we take an algorithm from the runtime-monitoring domain, apply it to bounded model checking of PLC programs, and implement it in PLCverif. We extend the integration of NASA’s Formal Requirements Elicitation Tool (FRET) into PLCverif to use PLTL properties generated with FRET. In addition, we leverage the program structure induced by the PLC scan-cycle for a state-space reduction. Finally, we expose the algorithm to a real-world case study of critical systems at CERN.

Formal verification↗
NASA NTRS1961

THE DENSITIES OF SATURATED LIQUID HYDROGEN

This laboratory is engaged in a programme for the determination of thermostatic, thermodynamic, and transport properties of para-hydrogen, emphasizing high densities. Reported here are new data for the density of saturated liquid pura-hydrogen from boiling point to critical point. A review of hydrogen properties includes densities of normal hydrogen from triple to critical points and of pura-hydrogen up to the boiling point? More recent determinations of vapour pressures and critical constants have been made for both hydrogen modification.

LIQUID HYDROGEN↗
NASA NTRS1966

New computer system simplifies programming of mathematical equations

Automatic Mathematical Translator /AMSTRAN/ permits scientists or engineers to enter mathematical equations in their natural mathematical format and to obtain an immediate graphical display of the solution. This automatic-programming, on-line, multiterminal computer system allows experienced programmers to solve nonroutine problems.

Reinfelds, J.↗
NASA NTRS1965

Instruction manual for epitaxial apparatus

Instruction manual for apparatus using programmer operation of electronic valves for etching and growth of single crystal silicon, deposition of silicon dioxide, and nucleation site treatment

MANUAL↗
NASA NTRS1965

Demodulation techniques for use at Goonhilly satellite-communication earth station

As part of the programme of experimental and development work to determine the optimum demodulating techniques for communication satellite systems, three types of demodulators have been investigated at the Goonhilly earth station: 1.A conventional demodulator of the type used in 960-channel telephony or television microwave radio-relay links; 2.A frequency modulation feed-back demodulator in which the deviation of the signal is reduced before it reaches the final discriminator; and 3.A variable-bandwidth 'dynamic-tracking' demodulator in which the resonant frequency of a narrow bandwidth tuned circuit is moved rapidly to follow the nominal instantaneous frequency of the incoming signal. The conventional demodulator will not be discussed in detail here;. however, information is given on two specialized demodulators.

COMMUNICATIONS SATELLITE↗
NASA NTRS1968

Numerical Control Machine Data Manual

Numerical Control Machine Data Manual provides programmers with specific information for various types and sizes of numerical control machine tools and auxiliary equipment.

Mackey, R. T., Sr.↗
NASA NTRS1968

Portable Pulse Code Modulation /PCM/

Small, programmable, high speed PCM subsystem, supports the variety of signals inherent in sophisticated equipment. A signal generated by a transducer is first conditioned to the proper signal range, then sampled by an external multiplexer or by the subsystem directly and then converted and transmitted to a receiving station.

Bradanini, P. A.↗
NASA NTRS1969

Battery charge-discharge controller

Charge-discharge controller contains punched-tape programmer capable of programming 305 discrete steps in the battery load. The indicating instrumentation includes meters for ampere-hours, watt-hours, voltage, current, and internal temperature and pressure. It also generates analog signals for recording the displayed data.

Ciccanti, A. D.↗
NASA NTRS1969

Read-only Memories Final Report

Integrated, metal oxide semiconductor memories with nonvolatile and electrically programmable characteristics

Cricchi, J. R.↗