Search NASASearch

SEARCH · Search NASA

Results for “socket”

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

Data Transfer Efficiency Over Satellite Circuits Using a Multi-Socket Extension to the File Transfer Protocol (FTP)

In several experiments using NASA's Advanced Communications Technology Satellite (ACTS), investigators have reported disappointing throughput using the transmission control protocol/Internet protocol (TCP/IP) protocol suite over 1.536Mbit/sec (T1) satellite circuits. A detailed analysis of file transfer protocol (FTP) file transfers reveals that both the TCP window size and the TCP 'slow starter' algorithm contribute to the observed limits in throughput. In this paper we summarize the experimental and and theoretical analysis of the throughput limit imposed by TCP on the satellite circuit. We then discuss in detail the implementation of a multi-socket FTP, XFTP client and server. XFTP has been tested using the ACTS system. Finally, we discuss a preliminary set of tests on a link with non-zero bit error rates. XFTP shows promising performance under these conditions, suggesting the possibility that a multi-socket application may be less effected by bit errors than a single, large-window TCP connection.

Allman, Mark

Reducing software security risk through an integrated approach research initiative model based verification of the Secure Socket Layer (SSL) Protocol

This document discusses the verification of the Secure Socket Layer (SSL) communication protocol as a demonstration of the Model Based Verification (MBV) portion of the verification instrument set being developed under the Reducing Software Security Risk (RSSR) Trough an Integrated Approach research initiative. Code Q of the National Aeronautics and Space Administration (NASA) funds this project. The NASA Goddard Independent Verification and Validation (IV&V) facility manages this research program at the NASA agency level and the Assurance Technology Program Office (ATPO) manages the research locally at the Jet Propulsion Laboratory (California institute of Technology) where the research is being carried out.

software security

Plug-in connector socket accepts coaxial cable end

Connector which includes a spring-loaded contact to receive a protruding center conductor and an internal collet to clamp against a collar attached to a woven outer conductor, is used as a receptacle for the end of a coaxial cable. This plug-in connector socket is used successfully with remote manipulators.

Mitchell, D.

Low-friction ball-and-socket

Ball-bearing retainer assembly reduces friction in ball-and-socket mount which replaces gimbals mounting used with spacecraft antennas.

Imus, R. E.

Gravity receptors in a microcrustacean water flea - Sensitivity of antennal-socket setae in Daphnia magna

Gravity receptors of Dephnia magna were discovered on the basal segment of the swimming antennae and were shown to respond to upward water currents that pass the animal as it sinks between swimming strokes. Sensitivity of the gravity perceiving mechanism was tested by subjecting daphnids to a series of five decreasingly dense aqueous solutions (neutral density to water) in darkness (to avoid visual cues). Three-dimensional, video analysis of body position (pitch, yaw and roll) and swimming path (hop and sink, vertical and horizontal patterns) revealed a gradual threshold that occurred near a density difference between the animal and its environment of less than 0.25%. Because daphnids do not sink but continue to slide after stroking in the increased density solutions, gravity perception appears to occur during a vertical swing of the longitudinal body axis to the vertical plane, about their center of gravity, and, thereby, implies a multidirectional sensitivity for the antennal-socket setae.

Meyers, D. G.

Protective Socket For Integrated Circuits

Socket for intergrated circuits (IC's) protects from excessive voltages and currents or from application of voltages and currents in wrong sequence during insertion or removal. Contains built-in switch that opens as IC removed, disconnecting leads from signals and power. Also protects other components on circuit board from transients produced by insertion and removal of IC. Makes unnecessary to turn off power to entire circuit board so other circuits on board continue to function.

Wilkinson, Chris

Using software security analysis to verify the secure socket layer (SSL) protocol

nal Aeronautics and Space Administration (NASA) have tens of thousands of networked computer systems and applications. Software Security vulnerabilities present risks such as lost or corrupted data, information the3, and unavailability of critical systems. These risks represent potentially enormous costs to NASA. The NASA Code Q research initiative 'Reducing Software Security Risk (RSSR) Trough an Integrated Approach '' offers, among its capabilities, formal verification of software security properties, through the use of model based verification (MBV) to address software security risks. [1,2,3,4,5,6] MBV is a formal approach to software assurance that combines analysis of software, via abstract models, with technology, such as model checkers, that provide automation of the mechanical portions of the analysis process. This paper will discuss: The need for formal analysis to assure software systems with respect to software and why testing alone cannot provide it. The means by which MBV with a Flexible Modeling Framework (FMF) accomplishes the necessary analysis task. An example of FMF style MBV in the verification of properties over the Secure Socket Layer (SSL) communication protocol as a demonstration.

software

Model based verification of the Secure Socket Layer (SSL) Protocol for NASA systems

The National Aeronautics and Space Administration (NASA) has tens of thousands of networked computer systems and applications. Software Security vulnerabilities present risks such as lost or corrupted data, information theft, and unavailability of critical systems. These risks represent potentially enormous costs to NASA. The NASA Code Q research initiative 'Reducing Software Security Risk (RSSR) Trough an Integrated Approach' offers formal verification of information technology (IT), through the creation of a Software Security Assessment Instrument (SSAI), to address software security risks.

software security

Arecibo Observatory Auxiliary M4N Socket Termination Failure Investigation

The NASA Engineering and Safety Center (NESC) was requested to support the Arecibo Observatory failure investigation in determining the root cause of the Auxiliary M4N cable failure. The NESC and Kennedy Space Center led an integrated NASA investigation with support from Marshall Space Flight Center and The Aerospace Corporation that included forensic investigation of failed hardware, finite element modeling, materials characterization, and root cause analysis. This document contains the outcome of the NESC Assessment.

Zinc Spelter Sockets

Ball-and-Socket-Bearing Wear Test

Series of experiments to measure wear life of spherical bearing summarized. Report designed to establish clearance, contour, finish, and lubricant parameters for highly-loaded, compact plain spherical bearing. Information useful in design of bearings for helicopter control linkages, business machines, nuclear reactor, and rotor bearings.

Graham, W. G.

Ball-and-Socket Mount for Instruments

Jaws engage instrument precisely but release it readily. Mounting mechanism holds scientific instrument securely, allows instrument to be oriented, and minimizes conduction of heat to and from instrument. Mechanism also allows quick replacement of instrument.

Kaelber, E.

Computer design synthesis of a below knee-Syme prosthesis

A detailed design synthesis analysis of the BK Syme prosthesis is provided, to determine the socket's cutout orientation size and shape, cutout fillet shape, socket wall thickness distribution and the reinforced fiber distribution in the socket wall, for a minimally stressed structurally safe lightweight prosthesis. For analysis purposes, the most adverse socket loading is obtained at the push-off stage of gait; this loading is idealized as an axial in-plane loading on the bottom edge of the circular cylindrical socket shell whose top edge is considered fixed. Finite element stress analysis of the socket shell (with uniform and graded wall thickness) are performed for various orientations of the cutout and for various types of corner fillets. A lateral cutout with a streamline fillet is recommended. The wall material (i.e., thickness) distribution is determined so as to minimize the stresses, while ensuring that the wall material's stress limits are not exceeded. For such a maximally stressed lightweight socket shell, the panels in the neighborhood of the cutout are checked to ensure that they do not buckle under their acquired stresses. A fiber-reinforced laminated composite socket shell is also analyzed in order to recommend optimum variables in orientations and densities of reinforcing fibers.

Elangovan, P. T.

Two degree of freedom camera mount

A two degree of freedom camera mount. The camera mount includes a socket, a ball, a first linkage and a second linkage. The socket includes an interior surface and an opening. The ball is positioned within an interior of the socket. The ball includes a coupling point for rotating the ball relative to the socket and an aperture for mounting a camera. The first and second linkages are rotatably connected to the socket and slidably connected to the coupling point of the ball. Rotation of the linkages with respect to the socket causes the ball to rotate with respect to the socket.

Ambrose, Robert O.