Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “design space approximation”

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 1,099 records · Page 61

OpenFAST Modeling of the T-Omega Wind Floating Offshore Wind Turbine System

To reduce the cost of offshore wind energy through a more efficient design of the floating support structure, T-Omega Wind developed a novel lightweight and shallow-draft platform concept that aims to achieve a wave-following behavior without resonance amplification. The rotor and generator are carried by four tower legs with each leg supported by a shallow-draft float at the base. In preparation for a more detailed analysis, a coupled aero-hydro-elastic model of the proposed concept is developed in OpenFAST. The detailed modeling approach is presented, including a novel application of the SubDyn substructure dynamics module of OpenFAST to approximate the loads on the axle tube at the tower top from the rotor hub bearings. Preliminary results obtained with the OpenFAST model by rigidifying the substructure and blades indicate that the original sizing of the design can lead to large hub acceleration in the axial/surge and pitch directions due to platform-pitch motion. The high axial acceleration also potentially leads to large bending moments in the four tower legs. To address these issues, an updated design is developed with, among other changes, increased float spacing at the tower base and improved shear-transmitting geometry of the tower legs. The new design suggests significantly reduced extreme hub accelerations under the same conditions even with structural flexibility and will be further analyzed in the future through full aero-hydro-servo-elastic simulations.

ENGINEERING,WIND ENERGY↗

Selection of polynomial chaos bases via Bayesian model uncertainty methods with applications to sparse approximation of PDEs with stochastic inputs

Generalized polynomial chaos (gPC) expansions allow us to represent the solution of a stochastic system using a series of polynomial chaos basis functions. The number of gPC terms increases dramatically as the dimension of the random input variables increases. When the number of the gPC terms is larger than that of the available samples, a scenario that often occurs when the corresponding deterministic solver is computationally expensive, evaluation of the gPC expansion can be inaccurate due to over-fitting. We propose a fully Bayesian approach that allows for global recovery of the stochastic solutions, in both spatial and random domains, by coupling Bayesian model uncertainty and regularization regression methods. It allows the evaluation of the PC coefficients on a grid of spatial points, via (1) the Bayesian model average (BMA) or (2) the median probability model, and their construction as spatial functions on the spatial domain via spline interpolation. The former accounts for the model uncertainty and provides Bayes-optimal predictions; while the latter provides a sparse representation of the stochastic solutions by evaluating the expansion on a subset of dominating gPC bases. Moreover, the proposed methods quantify the importance of the gPC bases in the probabilistic sense through inclusion probabilities. We design a Markov chain Monte Carlo (MCMC) sampler that evaluates all the unknown quantities without the need of ad-hoc techniques. The proposed methods are suitable for, but not restricted to, problems whose stochastic solutions are sparse in the stochastic space with respect to the gPC bases while the deterministic solver involved is expensive. We demonstrate the accuracy and performance of the proposed methods and make comparisons with other approaches on solving elliptic SPDEs with 1-, 14- and 40-random dimensions.

97 MATHEMATICS AND COMPUTING↗

Suggestions for crops grown in controlled ecological life-support systems, based on attractive vegetarian diets

Assuming that crops grown in controlled ecological life-support systems (CELSS) should provide a basis for meals that are both nutritious and attractive (to taste and vision), and that CELSS diets on the moon or Mars or in space-craft during long voyages will have to be mostly vegetarian, a workshop was convened at the Johnson Space Center, Houston, Texas, U.S.A. on 19 to 21 January, 1994. Participants consisted of trained nutritionists and others; many of the approximately 18 presenters who discussed possible diets were practicing vegetarians, some for more than two decades. Considering all the presentations, seven conclusions (or points for discussion) could be formulated: nutritious vegetarian diets are relatively easily to formulate, vegetarian diets are healthy, variety is essential in vegetarian diets, some experiences (e.g., Bios-3 and Biosphere 2) are relevant to planning of CELSS diets, physical constraints will limit the choice of crops, a preliminary list of recommended crops can be formulated, and this line of research has some potential practical spinoffs. The list of crops and the reasons for including specific crops might be of interest to professionals in the field of health and nutrition as well as to those who are designing closed ecological systems.

NASA Program CELSS↗

Evaluating the benefits of kinetic Monte Carlo and microkinetic modeling for catalyst design studies in the presence of lateral interactions

Popular computational catalyst design strategies rely on the identification of reactivity descriptors, which can be used along with Brønsted–Evans–Polanyi (BEP) and scaling relations as input to a microkinetic model (MKM) to make predictions for activity or selectivity trends. The main benefit of this approach is related to the inherent dimensionality reduction of the large material space to just a few catalyst descriptors. Conversely, it is well documented that a small set of descriptors is insufficient to capture the intricacies and complexities of a real catalytic system. The inclusion of coverage effects through lateral adsorbate-adsorbate interactions can narrow the gap between simplified descriptor predictions and real systems, but mean-field MKMs cannot properly account for local coverage effects. This shortcoming of the mean-field approximation can be rectified by switching to a lattice-based kinetic Monte Carlo (kMC) method using cluster expansion representation of adsorbate–adsorbate lateral interactions. Using the prototypical CO oxidation reaction as an example, we critically evaluate the benefits of kMC over MKM in terms of trend predictions and computational cost when using only a small set of input parameters. After confirming that in the absence of lateral interactions the kMC and MKM approaches yield identical trends and mechanistic information, we observed substantial differences between the two kinetic models when lateral interactions were introduced. Here, the mean-field implementation applies coverage corrections directly to the descriptors, causing an artificial overprediction of the activity of strongly binding metals. In contrast, the cluster expansion in kMC implementation can differentiate among the highly active metals but it is very sensitive to the set of included interaction parameters. Considering that computational screening relies on a minimal set of descriptors, for which MKM makes reasonable trend predictions at a ca. three orders of magnitude lower computational cost than kMC, the MKM approach does provide a better entry point for computational catalyst design.

36 MATERIALS SCIENCE↗

Application of Simulated Annealing and Related Algorithms to TWTA Design

Simulated Annealing (SA) is a stochastic optimization algorithm used to search for global minima in complex design surfaces where exhaustive searches are not computationally feasible. The algorithm is derived by simulating the annealing process, whereby a solid is heated to a liquid state and then cooled slowly to reach thermodynamic equilibrium at each temperature. The idea is that atoms in the solid continually bond and re-bond at various quantum energy levels, and with sufficient cooling time they will rearrange at the minimum energy state to form a perfect crystal. The distribution of energy levels is given by the Boltzmann distribution: as temperature drops, the probability of the presence of high-energy bonds decreases. In searching for an optimal design, local minima and discontinuities are often present in a design surface. SA presents a distinct advantage over other optimization algorithms in its ability to escape from these local minima. Just as high-energy atomic configurations are visited in the actual annealing process in order to eventually reach the minimum energy state, in SA highly non-optimal configurations are visited in order to find otherwise inaccessible global minima. The SA algorithm produces a Markov chain of points in the design space at each temperature, with a monotonically decreasing temperature. A random point is started upon, and the objective function is evaluated at that point. A stochastic perturbation is then made to the parameters of the point to arrive at a proposed new point in the design space, at which the objection function is evaluated as well. If the change in objective function values (Delta)E is negative, the proposed new point is accepted. If (Delta)E is positive, the proposed new point is accepted according to the Metropolis criterion: rho((Delta)f) = exp((-Delta)E/T), where T is the temperature for the current Markov chain. The process then repeats for the remainder of the Markov chain, after which the temperature is decremented and the process repeats. Eventually (and hopefully), a near-globally optimal solution is attained as T approaches zero. Several exciting variants of SA have recently emerged, including Discrete-State Simulated Annealing (DSSA) and Simulated Tempering (ST). The DSSA algorithm takes the thermodynamic analogy one step further by categorizing objective function evaluations into discrete states. In doing so, many of the case-specific problems associated with fine-tuning the SA algorithm can be avoided; for example, theoretical approximations for the initial and final temperature can be derived independently of the case. In this manner, DSSA provides a scheme that is more robust with respect to widely differing design surfaces. ST differs from SA in that the temperature T becomes an additional random variable in the optimization. The system is also kept in equilibrium as the temperature changes, as opposed to the system being driven out of equilibrium as temperature changes in SA. ST is designed to overcome obstacles in design surfaces where numerous local minima are separated by high barriers. These algorithms are incorporated into the optimal design of the traveling-wave tube amplifier (TWTA). The area under scrutiny is the collector, in which it would be ideal to use negative potential to decelerate the spent electron beam to zero kinetic energy just as it reaches the collector surface. In reality this is not plausible due to a number of physical limitations, including repulsion and differing levels of kinetic energy among individual electrons. Instead, the collector is designed with multiple stages depressed below ground potential. The design of this multiple-stage collector is the optimization problem of interest. One remaining problem in SA and DSSA is the difficulty in determining when equilibrium has been reached so that the current Markov chain can be terminated. It has been suggested in recent literature that simulating the thermodynamic properties opecific heat, entropy, and internal energy from the Boltzmann distribution can provide good indicators of having reached equilibrium at a certain temperature. These properties are tested for their efficacy and implemented in SA and DSSA code with respect to TWTA collector optimization.

Radke, Eric M.↗

Design, fabrication, and operation of capsules for the irradiation testing of candidate advanced space reactor fuel pins

Fuel irradiation experiments were designed, built, and operated to test uranium mononitride (UN) fuel clad in tungsten-lined T-111 and uranium dioxide fuel clad in both tungsten-lined T-111 and tungsten-lined Nb-1% Zr. A total of nine fuel pins was irradiated at average cladding temperatures ranging from 931 to 1015 C. The UN experiments, capsules UN-4 and -5, operated for 10,480 and 10,037 hr, respectively, at an average linear heat generation rate of 10 kW/ft. The UO2 experiment, capsule UN-6, operated for 8333 hr at an average linear heat generation rate of approximately 5 kW/ft. Following irradiation, the nine fuel pins were removed from their capsules, externally examined, and sent to the NASA Plum Brook Facility for more detailed postirradiation examination. During visual examination, it was discovered that the cladding of the fuel pin containing dense UN in each of capsules UN-4 and -5 had failed, exposing the UN fuel to the NaK in which the pins were submerged and permitting the release of fission gas from the failed pins. A rough analysis of the fission gas seen in samples of the gas in the fuel pin region indicated fission gas release-to-birth rates from these fuel pins in the range of .00001.

Thoms, K. R.↗

Thermal Analysis of a Metallic Wing Glove for a Mach-8 Boundary-Layer Experiment

A metallic 'glove' structure has been built and attached to the wing of the Pegasus(trademark) space booster. An experiment on the upper surface of the glove has been designed to help validate boundary-layer stability codes in a free-flight environment. Three-dimensional thermal analyses have been performed to ensure that the glove structure design would be within allowable temperature limits in the experiment test section of the upper skin of the glove. Temperature results obtained from the design-case analysis show a peak temperature at the leading edge of 490 F. For the upper surface of the glove, approximately 3 in. back from the leading edge, temperature calculations indicate transition occurs at approximately 45 sec into the flight profile. A worst-case heating analysis has also been performed to ensure that the glove structure would not have any detrimental effects on the primary objective of the Pegasus a launch. A peak temperature of 805 F has been calculated on the leading edge of the glove structure. The temperatures predicted from the design case are well within the temperature limits of the glove structure, and the worst-case heating analysis temperature results are acceptable for the mission objectives.

Gong, Leslie↗

The DAO Retrospective Data Assimilation System

The fixed-lag Kalman smoother of Cohn et al. (1994), or a version of a more computationally feasible approximation of it developed by Todling et al. (1998), is under implementation at the Data Assimilation Office (DAO) to build a retrospective data assimilation system (RDAS). The initial version of the RDAS uses the physical-space statistical analysis system and a modification of the incremental analysis update (IAU) procedure of Bloom et al. (1996); a follow up version of the RDAS Nill require the use of the adjoint of the DAO general circulation model (developed by Y. Yang and M Navon). The retrospective procedure is designed to produce improved analyses as well as improved assimilated fields consequently providing an improved climate representation through data assimilation.

Todling, Richardo↗

Small Scale Turbopump Manufacturing Technology and Material Processes

As part of an internal research and development project, NASA Marshall Space Flight Center (MSFC) has been developing a high specific impulse 9,000-lbf LOX/LH2 pump-fed engine testbed with the capability to throttle 10:1. A Fuel Turbopump (FTP) with the ability to operate across a speed range of 30,000-rpm to 100,000-rpm was developed and analyzed. This small size and flight-like Fuel Turbopump has completed the design and analysis phase and is currently in the manufacturing phase. This paper highlights the manufacturing and processes efforts to fabricate an approximately 20-lb turbopump with small flow passages, intricately bladed components and approximately 3-in diameter impellers. As a result of the small scale and tight tolerances of the hardware on this turbopump, several unique manufacturing and material challenges were encountered. Some of the technologies highlighted in this paper include the use of powder metallurgy technology to manufacture small impellers, electron beam welding of a turbine blisk shroud, and casting challenges. The use of risk reduction efforts such as non-destructive testing (NDT) and evaluation (NDE), fractography, material testing, and component spin testing are also discussed in this paper.

Alvarez, Erika↗

RADIOISOTOPE-DRIVEN DUAL-MODE PROPULSION SYSTEM FOR CUBESAT-SCALE PAYLOADS TO THE OUTER PLANETS

It is apparent the cost of planetary exploration is rising as mission budgets declining. Currently small scientific beds geared to performing limited tasks are being developed and launched into low earth orbit (LEO) in the form of small-scale satellite units, i.e., CubeSats. These micro- and nano-satellites are gaining popularity among the university and science communities due to their relatively low cost and design flexibility. To date these small units have been limited to performing tasks in LEO utilizing solar-based power. If a reasonable propulsion system could be developed, these CubeSat platforms could perform exploration of various extra-terrestrial bodies within the solar system engaging a broader range of researchers. Additionally, being mindful of mass, smaller cheaper launch vehicles (approximately 1,000 kgs to LEO) can be targeted. Thus, in effect, allows for beneficial exploration to be conducted within limited budgets. Researchers at the Center for Space Nuclear Research (CSNR) are proposing a low mass, radioisotope-based, dual-mode propulsion system capable of extending the exploration realm of these CubeSats out of LEO.

33 ADVANCED PROPULSION SYSTEMS↗

Flight Performance Handbook for Orbital Operations: Orbital Mechanics and Astrodynamics Formulae, Theorems, Techniques, and Applications

This handbook provides parametric data useful both to the space vehicle designer and mission analyst. It provides numerical and analytical relationships between missions and gross vehicle characteristics as a function of performance parameters. The effects of missile constraints and gross guidance limitations plus operational constraints such as launch site location, tracking net location, orbit visibility and mission on trajectory and orbit design parameters are exhibited. The influence of state-of- the-art applications of solar power as compared to future applications of nuclear power on orbit design parameters, such as eclipse time, are among the parameters included in the study. The principal aim, however, is in providing the analyst with useful parametric design information to cover the general area of earth satellite missions in the region of near-earth to cislunar space and beyond and from injection to atmospheric entry and controlled descent. The chapters are organized around the central idea of orbital operations in the 1961-1969 era with emphasis on parametric flight mechanics studies for ascent phase and parking orbits, transfer maneuvers, rendezvous maneuver, operational orbit considerations, and operational orbit control. The results are based almost entirely on the principles of flight and celestial mechanics. Numerous practical examples have been worked out in detail. This is especially important where it has been difficult or impossible to represent all possible variations of the parameters. The handbook contains analytical formulae and sufficient textual material to permit their proper use. The analytic methods consist of both exact and rapid, approximate methods. Scores of tables, working graphs and illustrations amplify the mathematical models which, together with important facts and data, cover the engineering and scientific applications of orbital mechanics. Each of the five major chapters are arranged to provide a rapid review of an entire astrodynamic subject. By the use of compact graphical and tabular presentation the full scope of the material is made available in an easy-to-use style. Throughout the volume the analyst is shown, by means of suitable introductions, notes, authoritative examples, and cross-references the vital interrelation of the various orbital mechanics topics in the general field of earth satellites and satellite rendezvous. The handbook is designed to give the analyst rapid, reliable access to the mathematics of orbital mechanics needed for virtually any working requirements.

Ambrosio, Alphonso↗

Space biology initiative program definition review. Trade study 2: Prototype utilization in the development of space biology hardware

The objective was to define the factors which space flight hardware developers and planners should consider when determining: (1) the number of hardware units required to support program; (2) design level of the units; and (3) most efficient means of utilization of the units. The analysis considered technology risk, maintainability, reliability, and safety design requirements for achieving the delivery of highest quality flight hardware. Relative cost impacts of the utilization of prototyping were identified. The development of Space Biology Initiative research hardware will involve intertwined hardware/software activities. Experience has shown that software development can be an expensive portion of a system design program. While software prototyping could imply the development of a significantly different end item, an operational system prototype must be considered to be a combination of software and hardware. Hundreds of factors were identified that could be considered in determining the quantity and types of prototypes that should be constructed. In developing the decision models, these factors were combined and reduced by approximately ten-to-one in order to develop a manageable structure based on the major determining factors. The Baseline SBI hardware list of Appendix D was examined and reviewed in detail; however, from the facts available it was impossible to identify the exact types and quantities of prototypes required for each of these items. Although the factors that must be considered could be enumerated for each of these pieces of equipment, the exact status and state of development of the equipment is variable and uncertain at this time.

Jackson, L. Neal↗

Multi-band reflector antenna with double-ring element frequency selective subreflector

Frequency selective subreflectors (FSS) are often employed in the reflector antenna system of a communication satellite or a deep space exploration vehicle for multi-frequency operations. In the past, FSS's have been designed for diplexing two frequency bands. For example, the Voyager FSS was designed to diplex S and X bands and the TDRSS FSS was designed to diplex S and Ku bands. Recently, NASA's CASSINI project requires an FSS to multiplex four frequency (S/X/Ku/Ka) bands. Theoretical analysis and experimental verifications are presented for a multi-band flat pannel FSS with double-ring elements. Both the exact formulation and the thin-ring approximation are described for analyzing and designing this multi-ring patch element FSS. It is found that the thin-ring approximation fails to predict the electrically wide ring element FSS's performance. A single screen double-ring element FSS is demonstrated for the tri-band system that reflects the X-band signal while transmitting through the S- and Ku-band signals. In addition, a double screen FSS with non-similar double-ring elements is presented for the Cassini's four-band system which reflects the X- and Ka-band signals while passing the S- and Ku-band signals. To accurately predict the FSS effects on a dual reflector antenna's radiation pattern, the FSS subreflector's transmitted/reflected field variation as functions of the polarization and incident angles with respect to the local coordinates was taken into account. An FSS transmission/reflection coefficient table is computed for TE and TM polarizations at various incident angles based on the planar FSS model. Next, the hybrid Geometric Optics (GO) and Physical Optics (PO) technique is implemented with linearly interpolating the FSS table to efficiently determine the FSS effects in a dual reflector antenna.

Wu, Te-Kao↗

The Physical Origin of Galaxy Morphologies and Scaling Laws

We propose a numerical study designed to interpret the origin and evolution of galaxy properties revealed by space- and ground-based imaging and spectroscopical surveys. Our aim is to unravel the physical processes responsible for the development of different galaxy morphologies and for the establishment of scaling laws such as the Tully-Fisher relation for spirals and the Fundamental Plane of ellipticals. In particular, we plan to address the following major topics: (1) The morphology and observability of protogalaxies, and in particular the relationship between primordial galaxies and the z approximately 3 'Ly-break' systems identified in the Hubble Deep Field and in ground-based searches; (2) The origin of the disk and spheroidal components in galaxies, the timing and mode of their assembly, the corresponding evolution in galaxy morphologies and its sensitivity to cosmological parameters; (3) The origin and redshift evolution of the scaling laws that link the mass, luminosity size, stellar content, and metal abundances of galaxies of different morphological types. This investigation will use state-of-the-art N-body/gasdynamical codes to provide a spatially resolved description of the galaxy formation process in hierarchically clustering universes. Coupled with population synthesis techniques. our models can be used to provide synthetic 'observations' that can be compared directly with observations of galaxies both nearby and at cosmologically significant distances. This study will thus provide insight into the nature of protogalaxies and into the formation process of galaxies like our own Milky Way. It will also help us to assess the cosmological significance of these observations within the context of hierarchical theories of galaxy formation and will supply a theoretical context within which current and future observations can be interpreted.

Steinmetz, Matthias↗

Overview and Status of the James Webb Space Telescope Observatory

The James Webb Space Telescope (JWST) is a large aperture (6.5 meter), cryogenic space telescope with a suite of near and mid-infrared instruments spanning the wavelength range of 0.6 microns to 28 microns. JWST's primary science goals are to detect and characterize the first galaxies, study the assembly of galaxies, star formation, and the formation of evolution of planetary systems. JWST has a unique design based on the concept of passive cooling by means of a multi-layer sunshield to achieve the telescope's cryogenic operating temperature. Each of the five layers of the sunshield is approximately the size of a tennis court, and made of aluminized kapton. By maintaining an observatory attitude whereby the sunshield keeps the telescope in the shade from the sun's rays, the telescope and science instruments can operate at cryogenic temperature (-40 K). On the sun facing side of the observatory the spacecraft bus houses most of the electronic sub-systems, and provides a platform for the solar array and communications hardware. JWST is sufficiently large that it cannot fit inside .the fairing of its Ariane 5 launcher without being stowed in a more compact configuration, so the ability to deploy its major SUb-systems such as the telescope optics and sunshield after launch are another major feature of the observatory. Development of observatory is making rapid progress as major hardware SUb-systems nearcompletion. Polishing of the JWST telescope mirrors is complete with 18 primary mirror segments, the secondary mirror, tertiary and fine steering mirror all gold coated and through acceptance testing. Engineering test articles of each sunshield membrane layer are underway. The first layer 3 membrane is complete and is undergoing testing to evaluate its tensioned shape for compliance with alignment tolerances. As each major SUb-system is tested, the expected scientific performance of the observatory can be evaluated using test results and integrated system models of the observatory. We will discuss key performance parameters of the observatory, including thermal performance, image quality, sensitivity, and the ability to achieve background-limited observations. The observatory deployment after launch will also be discussed in the context of recent sub-system testing of deployment mechanisms.

Clampin, Mark↗

Spacecraft Modeling, Attitude Determination, and Control: Quaternion-Based Approach

Spacecraft attitude determination and control is an important part of a spacecraft to achieve its designed mission. As of today, many spacecrafts have been successfully launched, and most of them have performed well as they were designed. Many research papers have been published to address the attitude determination and control design problems. Several text books are available for students to learn the technology and for engineers to use as references. The most popular spacecraft models for attitude determination algorithms and control design methods are the Euler angle models and the quaternion models . The Euler angle models have been proved very efficient as the linearized models are controllable, and all standard linear control system design methods are directly applicable. The drawbacks related to the Euler angle methods are (a) the designs based on linearized models may not globally stabilize the original nonlinear spacecraft, i.e., the design may not work when the attitude of the spacecraft is far away from the point where the linearization is performed; (b) the models depend on the rotational sequences, this can be error prone if several teams work on the same project and they use different rotational sequences; (c) for any rotational sequence, there is a singular point where the model is not applicable; and (d) since most attitude determination methods use quaternion to represent the spacecraft attitude, there is a need to transform quaternion into Euler angles. On the other hand, for quaternion models, people have found controllers that can globally stabilize nonlinear spacecraft systems; the models do not depend on rotational sequences and they have no singular point; and the quaternion is provided by attitude determination system and ready to use. The main problem with the quaternion model based control system design is that the linearized quaternion model is not controllable. Therefore, most published design methods heavily rely on Lyapunov functions for the nonlinear spacecraft system. But there is no systematic way to obtain a desired Lyapunov functions. Moreover, the Lyapunov function based designs focus on the closed-loop system stability but pay little attention to the closed-loop system performance. In a series of papers, the author proposed some reduced quaternion models which lead to some controllable linearized spacecraft models. Therefore, all standard linear system theory can be directly applied to analyze and design the spacecraft control systems. We showed that, in some cases, the designed control system is not only optimal for the linearized system, but also globally stabilize the original nonlinear system . Clearly, the reduced quaternion models do not depend on rotational sequences. Due to the special structure of the linearized spacecraft model, some most important design methods, such as LQR design and robust pole assignment design are very simple, enjoy the analytical solutions for some problems, have direct connection to the performance measures, such as settling time, rising time , and percentage of overshoot . All these features are attractive for high quality control system designs. The idea mentioned above is then extended to more spacecraft control problems using specific actuators such as magnetic torque bars and control momentum gyroscopes. These types of actuators may not provide exactly desired torques. Most existing methods use different conversions to get approximate solutions, meaning that these actuators may generate a torque close to but not equal to the desired one. Using the reduced quaternion models that incorporate the actuators into the system model, the control inputs are not torques but the operational parameters. The main benefit of this idea is that the control actions are not approximate but accurate. As all actuators have their operational limit, design with input constraints are also considered in this book by using recently developed interior-point optimization techniques. This book grows up from my research on the spacecraft attitude determination and control design methods in more than a decade which is focused on using reduced quaternion models because of their merits stated above. The book provides all necessary background materials on orbital dynamics, rotations and quaternion, frequently used reference frames, transformations between reference frames, space environment and disturbance torques, ephemeris astronomical vector calculations and measurement instruments, spacecraft control actuators and their models, so that the readers will get a global picture and can apply all these information into the spacecraft system modeling, attitude determination, and spacecraft control system designs, which is the main purpose of this book. This book is different from existing books in that we focus on quaternion based spacecraft control system designs and we consider only attitude control system design related problems, from spacecraft modeling, to attitude determination and estimation, to control system design method selection, to control algorithm development, and to the simulation of the control system designs. Moreover, this book addresses different attitude control tasks in the spacecraft life cycle, including spacecraft maneuver, orbit raising, attitude control, and rendezvous. Finally, this book emphasizes the state space design methods rather than the classical frequency design methods.

Attitude determination and control↗

Gluons and the Quark Sea at High Energies: Distributions, Polarization, Tomography

This report on the science case for an Electron-Ion Collider (EIC) is the result of a ten-week program at the Institute for Nuclear Theory (INT) in Seattle (from September 13-November 19, 2010), motivated by the need to develop a strong case for the continued study of the QCD description of hadron structure in the coming decades. Hadron structure in the valence quark region will be studied extensively with the Jefferson Lab 12 GeV science program, the subject of an INT program the previous year. The focus of the INT program was on understanding the role of gluons and sea quarks, the important dynamical degrees of freedom describing hadron structure at high energies. Experimentally, the most direct and precise way to access the dynamical structure of hadrons and nuclei at high energies is with a high luminosity lepton probe in collider mode. An EIC with optimized detectors offers enormous potential as the next generation accelerator to address many of the most important, open questions about the fundamental structure of matter. The goal of the INT program, as captured in the writeups in this report, was to articulate these questions and to identify golden experiments that have the greatest potential to provide definitive answers to these questions. At resolution scales where quarks and gluons become manifest as degrees of freedom, the structure of the nucleon and of nuclei is intimately connected with unique features of QCD dynamics, such as confinement and the self-coupling of gluons. Information on hadron sub-structure in DIS is obtained in the form of 'snapshots' by the 'lepton microscope' of the dynamical many-body hadron system, over different momentum resolutions and energy scales. These femtoscopic snapshots, at the simplest level, provide distribution functions which are extracted over the largest accessible kinematic range to assemble fundamental dynamical insight into hadron and nuclear sub-structure. For the proton, the EIC would be the brightest femtoscope scale lepton-collider ever, exceeding the intensity of the HERA collider a thousand fold. HERA, with its center-of-mass (CM) energy of 320 GeV, was built to search for quark substructure. An EIC, with its scientific focus on studying QCD in the regime where the sea quarks and gluons dominate, would have a lower CM energy. In a staged EIC design, the CM energy will range from 50-70 GeV in stage I to approximately twice that for the full design. In addition to being the first lepton collider exploring the structure of polarized protons, an EIC will also be the first electron-nucleus collider, probing the gluon and sea quark structure of nuclei for the first time. Following the same structure as the scientific discussions at the INT, this report is organized around the following four major themes: (1) The spin and flavor structure of the proton; (2) Three dimensional structure of nucleons and nuclei in momentum and configuration space; (3) QCD matter in nuclei; and (4) Electroweak physics and the search for physics beyond the Standard Model. In this executive summary, we will briefly outline the outstanding physics questions in these areas and the suite of measurements that are available with an EIC to address these. The status of accelerator and detector designs is addressed at the end of the summary. Tables of golden measurements for each of the key science areas outlined are presented on page 12. In addition, each chapter in the report contains a comprehensive overview of the science topic addressed. Interested readers are encouraged to read these and the individual contributions for more details on the present status of EIC science.

43 PARTICLE ACCELERATORS↗

Approximation, abstraction and decomposition in search and optimization

In this paper, I discuss four different areas of my research. One portion of my research has focused on automatic synthesis of search control heuristics for constraint satisfaction problems (CSPs). I have developed techniques for automatically synthesizing two types of heuristics for CSPs: Filtering functions are used to remove portions of a search space from consideration. Another portion of my research is focused on automatic synthesis of hierarchic algorithms for solving constraint satisfaction problems (CSPs). I have developed a technique for constructing hierarchic problem solvers based on numeric interval algebra. Another portion of my research is focused on automatic decomposition of design optimization problems. We are using the design of racing yacht hulls as a testbed domain for this research. Decomposition is especially important in the design of complex physical shapes such as yacht hulls. Another portion of my research is focused on intelligent model selection in design optimization. The model selection problem results from the difficulty of using exact models to analyze the performance of candidate designs.

Ellman, Thomas↗