6,951 research outputs found
A study of structural concepts for ultralightweight spacecraft
Structural concepts for ultralightweight spacecraft were studied. Concepts for ultralightweight space structures were identified and the validity of heir potential application in advanced spacecraft was assessed. The following topics were investigated: (1) membrane wrinkling under pretensioning; (2) load-carrying capability of pressurized tubes; (3) equilibrium of a precompressed rim; (4) design of an inflated reflector spacecraft; (5) general instability of a rim; and (6) structural analysis of a pressurized isotensoid column. The design approaches for a paraboloidal reflector spacecraft included a spin-stiffened design, both inflated and truss central columns, and to include both deep truss and rim-stiffened geodesic designs. The spinning spacecraft analysis is included, and the two truss designs are covered. The performances of four different approaches to the structural design of a paraboloidal reflector spacecraft are compared. The spinning and inflated configurations result in very low total masses and some concerns about their performance due to unresolved questions about dynamic stability and lifetimes, respectively
Conceptual design studies for large free-flying solar-reflector spacecraft
The 1 km diameter reflecting film surface is supported by a lightweight structure which may be automatically deployed after launch in the Space Shuttle. A twin rotor, control moment gyroscope, with deployable rotors, is included as a primary control actuator. The vehicle has a total specific mass of less than 12 g/sq m including allowances for all required subsystems. The structural elements were sized to accommodate the loads of a typical SOLARES type mission where a swam of these free flying satellites is employed to concentrate sunlight on a number of energy conversion stations on the ground
Large diameter astromast development, phase 1
Coilable-longeron lattice columns called Astromasts (trademark) were manufactured for a variety of spacecraft missions. These flight structures varied in diameter from 0.2 to 0.5 meter (9 to 19 in.), and the longest Astromast of this type deploys to a length of 30 meters (100 feet). A double-laced diagonal Astromast design referred to as the Supermast (trademark) which, because it has shorter baylengths than an Astromast, is approximately four times as strong. The longeron cross section and composite material selection for these structures are limited by the maximum strain associated with stowage and deployment. As a result, future requirements for deployable columns with high stiffness and strength require the development of both structures in larger diameters. The design, development, and manufacture of a 6.1-m-long (20-ft), 0.75-m-diameter (30-in.), double-laced diagonal version of the Astromast is described
Considerations in the design of large space structures
Several analytical studies of topics relevant to the design of large space structures are presented. Topics covered are: the types and quantitative evaluation of the disturbances to which large Earth-oriented microwave reflectors would be subjected and the resulting attitude errors of such spacecraft; the influence of errors in the structural geometry of the performance of radiofrequency antennas; the effect of creasing on the flatness of tensioned reflector membrane surface; and an analysis of the statistics of damage to truss-type structures due to meteoroids
An Institutional Framework for Heterogeneous Formal Development in UML
We present a framework for formal software development with UML. In contrast
to previous approaches that equip UML with a formal semantics, we follow an
institution based heterogeneous approach. This can express suitable formal
semantics of the different UML diagram types directly, without the need to map
everything to one specific formalism (let it be first-order logic or graph
grammars). We show how different aspects of the formal development process can
be coherently formalised, ranging from requirements over design and Hoare-style
conditions on code to the implementation itself. The framework can be used to
verify consistency of different UML diagrams both horizontally (e.g.,
consistency among various requirements) as well as vertically (e.g.,
correctness of design or implementation w.r.t. the requirements)
- …