18,953 research outputs found
Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems
This paper is concerned with the development of reliable real-time systems for use in high integrity applications. It advocates the use of diverse replicated channels, but does not require the dependencies between the channels to be evaluated. Rather it develops and extends the approach of Little wood and Rush by (for general systems) by investigating a two channel system in which one channel, A, is produced to a high level of reliability (i.e. has a very low failure rate), while the other, B, employs various forms of static analysis to sustain an argument that it is perfect (i.e. it will never miss a deadline). The first channel is fully functional, the second contains a more restricted computational model and contains only the critical computations. Potential dependencies between the channels (and their verification) are evaluated in terms of aleatory and epistemic uncertainty. At the aleatory level the events ''A fails" and ''B is imperfect" are independent. Moreover, unlike the general case, independence at the epistemic level is also proposed for common forms of implementation and analysis for real-time systems and their temporal requirements (deadlines). As a result, a systematic approach is advocated that can be applied in a real engineering context to produce highly reliable real-time systems, and to support numerical claims about the level of reliability achieved
The low frequency cutoff of ELF emissions
Extremely low and very low frequency radio noises observed by satellites in ionospher
The low frequency cutoff of ELF emissions Progress report, May 1968
Low frequency cutoff of extremely low radio frequency emission
New class of thermosetting plastics has improved strength, thermal and chemical stability
New class of thermosetting plastics has high hydrocarbon content, high stiffness, thermal stability, humidity resistance, and workability in the precured state. It is designated cyclized polydiene urethane, and is applicable as matrices to prepare chemically stable ablative materials for rocket nose cones of nozzles
VIoLET: A Large-scale Virtual Environment for Internet of Things
IoT deployments have been growing manifold, encompassing sensors, networks,
edge, fog and cloud resources. Despite the intense interest from researchers
and practitioners, most do not have access to large-scale IoT testbeds for
validation. Simulation environments that allow analytical modeling are a poor
substitute for evaluating software platforms or application workloads in
realistic computing environments. Here, we propose VIoLET, a virtual
environment for defining and launching large-scale IoT deployments within cloud
VMs. It offers a declarative model to specify container-based compute resources
that match the performance of the native edge, fog and cloud devices using
Docker. These can be inter-connected by complex topologies on which
private/public networks, and bandwidth and latency rules are enforced. Users
can configure synthetic sensors for data generation on these devices as well.
We validate VIoLET for deployments with > 400 devices and > 1500 device-cores,
and show that the virtual IoT environment closely matches the expected compute
and network performance at modest costs. This fills an important gap between
IoT simulators and real deployments.Comment: To appear in the Proceedings of the 24TH International European
Conference On Parallel and Distributed Computing (EURO-PAR), August 27-31,
2018, Turin, Italy, europar2018.org. Selected as a Distinguished Paper for
presentation at the Plenary Session of the conferenc
Investigation of resin systems for improved ablative materials Final report, 19 Jun. 1964 - 31 Jul. 1965
Resin systems investigated for improving ablative materials for use with fluorine-containing liquid propellant system
Mixing fuel particles for space combustion research using acoustics
Part of the microgravity science to be conducted aboard the Shuttle (STS) involves combustion using solids, particles, and liquid droplets. The central experimental facts needed for characterization of premixed quiescent particle cloud flames cannot be adequately established by normal gravity studies alone. The experimental results to date of acoustically mixing a prototypical particulate, lycopodium, in a 5 cm diameter by 75 cm long flame tube aboard a Learjet aircraft flying a 20 sec low gravity trajectory are described. Photographic and light detector instrumentation combine to measure and characterize particle cloud uniformity
Space station full-scale docking/berthing mechanisms development
One of the most critical operational functions for the space station is the orbital docking between the station and the STS orbiter. The program to design, fabricate, and test docking/berthing mechanisms for the space station is described. The design reflects space station overall requirements and consists of two mating docking mechanism halves. One half is designed for use on the shuttle orbiter and incorporates capture and energy attenuation systems using computer controlled electromechanical actuators and/or attenuators. The mating half incorporates a flexible feature to allow two degrees of freedom at the module-to-module interface of the space station pressurized habitat volumes. The design concepts developed for the prototype units may be used for the first space station flight hardware
Structural evaluation of candidate space shuttle thermal protection systems
The characteristics and development of a lightweight reusable thermal protection system for the space shuttle are discussed. The test articles consisted of metallic substrates with upper surfaces covered with all-silica, reusable, surface insulation material. The material is processed in the form of tiles. The external surfaces of the tiles are provided with a coating system which consists of a borosilicate coating with a silicon carbide emittance agent and impregnation with a hydrophobic agent. The finished tiles are attached to the metal substrate by adhesive bonding. Charts and graphs of the properties of the material are provided
Automated Nose Fairing Design-Ring and Skin Construction
Computer program for optimizing design of ring-stiffened sheet metal nose fairing
- …