322,964 research outputs found
Computer programs for antenna feed system design and analysis
Fourteen computer programs have been developed for antenna feed system design and analysis. The programs cover a large spectrum of feed design problems, from primary feed pattern synthesis to the farfield pattern of the main reflector, including analyses of structural distortions
An implementation of the programming structural synthesis system (PROSSS)
A particular implementation of the programming structural synthesis system (PROSSS) is described. This software system combines a state of the art optimization program, a production level structural analysis program, and user supplied, problem dependent interface programs. These programs are combined using standard command language features existing in modern computer operating systems. PROSSS is explained in general with respect to this implementation along with the steps for the preparation of the programs and input data. Each component of the system is described in detail with annotated listings for clarification. The components include options, procedures, programs and subroutines, and data files as they pertain to this implementation. An example exercising each option in this implementation to allow the user to anticipate the type of results that might be expected is presented
An integrated computer procedure for sizing composite airframe structures
A computerized algorithm to generate cross-sectional dimensions and fiber orientations for composite airframe structures is described, and its application in a wing structural synthesis is established. The algorithm unifies computations of aeroelastic loads, stresses, and deflections, as well as optimal structural sizing and fiber orientations in an open-ended system of integrated computer programs. A finite-element analysis and a mathematical-optimization technique are discussed
Computer-aided methods for analysis and synthesis of supersonic cruise aircraft structures
Computer-aided methods are reviewed which are being developed by Langley Research Center in-house work and by related grants and contracts. Synthesis methods to size structural members to meet strength and stiffness (flutter) requirements are emphasized and described. Because of the strong interaction among the aerodynamic loads, structural stiffness, and member sizes of supersonic cruise aircraft structures, these methods are combined into systems of computer programs to perform design studies. The approaches used in organizing these systems to provide efficiency, flexibility of use in an iterative process, and ease of system modification are discussed
A new implementation of the programming system for structural synthesis (PROSSS-2)
This new implementation of the PROgramming System for Structural Synthesis (PROSSS-2) combines a general-purpose finite element computer program for structural analysis, a state-of-the-art optimization program, and several user-supplied, problem-dependent computer programs. The results are flexibility of the optimization procedure, organization, and versatility of the formulation of constraints and design variables. The analysis-optimization process results in a minimized objective function, typically the mass. The analysis and optimization programs are executed repeatedly by looping through the system until the process is stopped by a user-defined termination criterion. However, some of the analysis, such as model definition, need only be one time and the results are saved for future use. The user must write some small, simple FORTRAN programs to interface between the analysis and optimization programs. One of these programs, the front processor, converts the design variables output from the optimizer into the suitable format for input into the analyzer. Another, the end processor, retrieves the behavior variables and, optionally, their gradients from the analysis program and evaluates the objective function and constraints and optionally their gradients. These quantities are output in a format suitable for input into the optimizer. These user-supplied programs are problem-dependent because they depend primarily upon which finite elements are being used in the model. PROSSS-2 differs from the original PROSSS in that the optimizer and front and end processors have been integrated into the finite element computer program. This was done to reduce the complexity and increase portability of the system, and to take advantage of the data handling features found in the finite element program
A distributed program synthesizer
This paper describes an architecture of a distributed synthesizer for automated program construction. The objective of the synthesizer is to realize the ideas of Structural Synthesis of Programs in a computer network. The synthesizer handles structural specifications stored into Java classes as
meta-interfaces and works on a network using CORBA technology
Liveness-Driven Random Program Generation
Randomly generated programs are popular for testing compilers and program
analysis tools, with hundreds of bugs in real-world C compilers found by random
testing. However, existing random program generators may generate large amounts
of dead code (computations whose result is never used). This leaves relatively
little code to exercise a target compiler's more complex optimizations.
To address this shortcoming, we introduce liveness-driven random program
generation. In this approach the random program is constructed bottom-up,
guided by a simultaneous structural data-flow analysis to ensure that the
generator never generates dead code.
The algorithm is implemented as a plugin for the Frama-C framework. We
evaluate it in comparison to Csmith, the standard random C program generator.
Our tool generates programs that compile to more machine code with a more
complex instruction mix.Comment: Pre-proceedings paper presented at the 27th International Symposium
on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur,
Belgium, 10-12 October 2017 (arXiv:1708.07854
Computational architecture for integrated controls and structures design
To facilitate the development of control structure interaction (CSI) design methodology, a computational architecture for interdisciplinary design of active structures is presented. The emphasis of the computational procedure is to exploit existing sparse matrix structural analysis techniques, in-core data transfer with control synthesis programs, and versatility in the optimization methodology to avoid unnecessary structural or control calculations. The architecture is designed such that all required structure, control and optimization analyses are performed within one program. Hence, the optimization strategy is not unduly constrained by cold starts of existing structural analysis and control synthesis packages
Модель структурного синтеза офиса программ и проектов
В статье рассмотрено теоретико-множественное описание синтеза офиса программ и проектов как территориально-пространственно-распределенной системы (ТПРС) и предложена модель её структурного синтеза. Сформулирована общая постановка задачи синтеза ТПРС офисов и выбраны критерии оценки вариантов ТПРС офисов.Description of synthesis of office of the programs and projects is considered in the article from the wheelbarrow of sight of the set theory, as territorial-spatially-distributed systems and the model of its structural synthesis is offered. The general raising of task of synthesis of the TSDS offices is formulated and the criteria of estimation of variants of the TSDS offices are chosen
- …