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)