Digital communication constraints in prior space missions

Science.gov (United States)

Yassine, Nathan K.

2004-01-01

Digital communication is crucial for space endeavors. Jt transmits scientific and command data between earth stations and the spacecraft crew. It facilitates communications between astronauts, and provides live coverage during all phases of the mission. Digital communications provide ground stations and spacecraft crew precise data on the spacecraft position throughout the entire mission. Lessons learned from prior space missions are valuable for our new lunar and Mars missions set by our president s speech. These data will save our agency time and money, and set course our current developing technologies. Limitations on digital communications equipment pertaining mass, volume, data rate, frequency, antenna type and size, modulation, format, and power in the passed space missions are of particular interest. This activity is in support of ongoing communication architectural studies pertaining to robotic and human lunar exploration. The design capabilities and functionalities will depend on the space and power allocated for digital communication equipment. My contribution will be gathering these data, write a report, and present it to Communications Technology Division Staff. Antenna design is very carefully studied for each mission scenario. Currently, Phased array antennas are being developed for the lunar mission. Phased array antennas use little power, and electronically steer a beam instead of DC motors. There are 615 patches in the phased array antenna. These patches have to be modified to have high yield. 50 patches were created for testing. My part is to assist in the characterization of these patch antennas, and determine whether or not certain modifications to quartz micro-strip patch radiators result in a significant yield to warrant proceeding with repairs to the prototype 19 GHz ferroelectric reflect-array antenna. This work requires learning how to calibrate an automatic network, and mounting and testing antennas in coaxial fixtures. The purpose of this

Route constraints model based on polychromatic sets

Science.gov (United States)

Yin, Xianjun; Cai, Chao; Wang, Houjun; Li, Dongwu

2018-03-01

With the development of unmanned aerial vehicle (UAV) technology, the fields of its application are constantly expanding. The mission planning of UAV is especially important, and the planning result directly influences whether the UAV can accomplish the task. In order to make the results of mission planning for unmanned aerial vehicle more realistic, it is necessary to consider not only the physical properties of the aircraft, but also the constraints among the various equipment on the UAV. However, constraints among the equipment of UAV are complex, and the equipment has strong diversity and variability, which makes these constraints difficult to be described. In order to solve the above problem, this paper, referring to the polychromatic sets theory used in the advanced manufacturing field to describe complex systems, presents a mission constraint model of UAV based on polychromatic sets.

Multi-Objective Trajectory Optimization of a Hypersonic Reconnaissance Vehicle with Temperature Constraints

Science.gov (United States)

Masternak, Tadeusz J.

This research determines temperature-constrained optimal trajectories for a scramjet-based hypersonic reconnaissance vehicle by developing an optimal control formulation and solving it using a variable order Gauss-Radau quadrature collocation method with a Non-Linear Programming (NLP) solver. The vehicle is assumed to be an air-breathing reconnaissance aircraft that has specified takeoff/landing locations, airborne refueling constraints, specified no-fly zones, and specified targets for sensor data collections. A three degree of freedom scramjet aircraft model is adapted from previous work and includes flight dynamics, aerodynamics, and thermal constraints. Vehicle control is accomplished by controlling angle of attack, roll angle, and propellant mass flow rate. This model is incorporated into an optimal control formulation that includes constraints on both the vehicle and mission parameters, such as avoidance of no-fly zones and coverage of high-value targets. To solve the optimal control formulation, a MATLAB-based package called General Pseudospectral Optimal Control Software (GPOPS-II) is used, which transcribes continuous time optimal control problems into an NLP problem. In addition, since a mission profile can have varying vehicle dynamics and en-route imposed constraints, the optimal control problem formulation can be broken up into several "phases" with differing dynamics and/or varying initial/final constraints. Optimal trajectories are developed using several different performance costs in the optimal control formulation: minimum time, minimum time with control penalties, and maximum range. The resulting analysis demonstrates that optimal trajectories that meet specified mission parameters and constraints can be quickly determined and used for larger-scale operational and campaign planning and execution.

Supergravity and Yang-Mills theories as generalized topological fields with constraints

International Nuclear Information System (INIS)

Ling Yi; Tung Rohsuan; Guo Hanying

2004-01-01

We present a general approach to construct a class of generalized topological field theories with constraints by means of generalized differential calculus and its application to connection theory. It turns out that not only the ordinary BF formulations of general relativity and Yang-Mills theories, but also the N=1,2 chiral supergravities can be reformulated as these constrained generalized topological field theories once the free parameters in the Lagrangian are specially chosen. We also show that the Chern-Simons action on the boundary may naturally be induced from the generalized topological action in the bulk, rather than introduced by hand

Features in the primordial spectrum: New constraints from WMAP7 and ACT data and prospects for the Planck mission

International Nuclear Information System (INIS)

Benetti, Micol; Lattanzi, Massimiliano; Calabrese, Erminia; Melchiorri, Alessandro

2011-01-01

We update the constraints on possible features in the primordial inflationary density perturbation spectrum by using the latest data from the WMAP7 and ACT (Atacama Cosmology Telescope) cosmic microwave background experiments. The inclusion of new data significantly improves the constraints with respect to older work, especially to smaller angular scales. While we found no clear statistical evidence in the data for extensions to the simplest, featureless, inflationary model, models with a step provide a significantly better fit than standard featureless power-law spectra. We show that the possibility of a step in the inflationary potential like the one preferred by current data will soon be tested by the forthcoming temperature and polarization data from the Planck satellite mission.

Constraints on a generalized deceleration parameter from cosmic chronometers

Science.gov (United States)

Mamon, Abdulla Al

2018-04-01

In this paper, we have proposed a generalized parametrization for the deceleration parameter q in order to study the evolutionary history of the universe. We have shown that the proposed model can reproduce three well known q-parametrized models for some specific values of the model parameter α. We have used the latest compilation of the Hubble parameter measurements obtained from the cosmic chronometer (CC) method (in combination with the local value of the Hubble constant H0) and the Type Ia supernova (SNIa) data to place constraints on the parameters of the model for different values of α. We have found that the resulting constraints on the deceleration parameter and the dark energy equation of state support the ΛCDM model within 1σ confidence level at the present epoch.

Mission reliability of semi-Markov systems under generalized operational time requirements

International Nuclear Information System (INIS)

Wu, Xiaoyue; Hillston, Jane

2015-01-01

Mission reliability of a system depends on specific criteria for mission success. To evaluate the mission reliability of some mission systems that do not need to work normally for the whole mission time, two types of mission reliability for such systems are studied. The first type corresponds to the mission requirement that the system must remain operational continuously for a minimum time within the given mission time interval, while the second corresponds to the mission requirement that the total operational time of the system within the mission time window must be greater than a given value. Based on Markov renewal properties, matrix integral equations are derived for semi-Markov systems. Numerical algorithms and a simulation procedure are provided for both types of mission reliability. Two examples are used for illustration purposes. One is a one-unit repairable Markov system, and the other is a cold standby semi-Markov system consisting of two components. By the proposed approaches, the mission reliability of systems with time redundancy can be more precisely estimated to avoid possible unnecessary redundancy of system resources. - Highlights: • Two types of mission reliability under generalized requirements are defined. • Equations for both types of reliability are derived for semi-Markov systems. • Numerical methods are given for solving both types of reliability. • Simulation procedure is given for estimating both types of reliability. • Verification of the numerical methods is given by the results of simulation

Missional church and local constraints: A Dutch perspective

Directory of Open Access Journals (Sweden)

Rein Brouwer

2009-09-01

Full Text Available The missional church concept promises to guide local churches in the direction of a new identity and mission. It is a response to a sense of ecclesiological and congregational urgency that is felt all over the world. In Africa, North America and Europe, churches and local faith communities have been challenged by the changes in the religious state of affairs since the 1960s. Whether we still call it �secularisation� or rephrase it as �differentiated transformation�, the face of religion is changing globally. In many parts of the world, this raises a feeling of crisis that gives way to the redef nition of the mission and purpose of the church. �Missional church�, however, is a precarious concept. Nobody disagrees with the intention but can it be more than an inspiring vision? In order to realise this vision, a multi-layered and multi-dimensional analysis of �culture� is essential. We should move the analysis beyond the philosophical interpretation of relatively abstract and evasive macro-level processes, such as �modernity� and �post-modernity�. The future of the missional church depends on a differentiated and empirical, informed perspective on culture. For this purpose, this article proposes the concept of ecology: A system of diverse populations, including populations of congregations and faith communities, that interacts with these populations and with their specific environments. Preparing a missional congregation for the future should be accompanied with a thorough empirical investigation into the ecology of the congregation. We should be thinking intensively about and looking for vital ecologies.

Mars Rover Sample Return aerocapture configuration design and packaging constraints

Science.gov (United States)

Lawson, Shelby J.

1989-01-01

This paper discusses the aerodynamics requirements, volume and mass constraints that lead to a biconic aeroshell vehicle design that protects the Mars Rover Sample Return (MRSR) mission elements from launch to Mars landing. The aerodynamic requirements for Mars aerocapture and entry and packaging constraints for the MRSR elements result in a symmetric biconic aeroshell that develops a L/D of 1.0 at 27.0 deg angle of attack. A significant problem in the study is obtaining a cg that provides adequate aerodynamic stability and performance within the mission imposed constraints. Packaging methods that relieve the cg problems include forward placement of aeroshell propellant tanks and incorporating aeroshell structure as lander structure. The MRSR missions developed during the pre-phase A study are discussed with dimensional and mass data included. Further study is needed for some missions to minimize MRSR element volume so that launch mass constraints can be met.

Intra-EVA Space-to-Ground Interactions when Conducting Scientific Fieldwork Under Simulated Mars Mission Constraints

Science.gov (United States)

Beaton, Kara H.; Chappell, Steven P.; Abercromby, Andrew F. J.; Lim, Darlene S. S.

2018-01-01

The Biologic Analog Science Associated with Lava Terrains (BASALT) project is a four-year program dedicated to iteratively designing, implementing, and evaluating concepts of operations (ConOps) and supporting capabilities to enable and enhance scientific exploration for future human Mars missions. The BASALT project has incorporated three field deployments during which real (non-simulated) biological and geochemical field science have been conducted at two high-fidelity Mars analog locations under simulated Mars mission conditions, including communication delays and data transmission limitations. BASALT's primary Science objective has been to extract basaltic samples for the purpose of investigating how microbial communities and habitability correlate with the physical and geochemical characteristics of chemically altered basalt environments. Field sites include the active East Rift Zone on the Big Island of Hawai'i, reminiscent of early Mars when basaltic volcanism and interaction with water were widespread, and the dormant eastern Snake River Plain in Idaho, similar to present-day Mars where basaltic volcanism is rare and most evidence for volcano-driven hydrothermal activity is relict. BASALT's primary Science Operations objective has been to investigate exploration ConOps and capabilities that facilitate scientific return during human-robotic exploration under Mars mission constraints. Each field deployment has consisted of ten extravehicular activities (EVAs) on the volcanic flows in which crews of two extravehicular and two intravehicular crewmembers conducted the field science while communicating across time delay and under bandwidth constraints with an Earth-based Mission Support Center (MSC) comprised of expert scientists and operators. Communication latencies of 5 and 15 min one-way light time and low (0.512 Mb/s uplink, 1.54 Mb/s downlink) and high (5.0 Mb/s uplink, 10.0 Mb/s downlink) bandwidth conditions were evaluated. EVA crewmembers communicated

Sensitivity theory for general non-linear algebraic equations with constraints

International Nuclear Information System (INIS)

Oblow, E.M.

1977-04-01

Sensitivity theory has been developed to a high state of sophistication for applications involving solutions of the linear Boltzmann equation or approximations to it. The success of this theory in the field of radiation transport has prompted study of possible extensions of the method to more general systems of non-linear equations. Initial work in the U.S. and in Europe on the reactor fuel cycle shows that the sensitivity methodology works equally well for those non-linear problems studied to date. The general non-linear theory for algebraic equations is summarized and applied to a class of problems whose solutions are characterized by constrained extrema. Such equations form the basis of much work on energy systems modelling and the econometrics of power production and distribution. It is valuable to have a sensitivity theory available for these problem areas since it is difficult to repeatedly solve complex non-linear equations to find out the effects of alternative input assumptions or the uncertainties associated with predictions of system behavior. The sensitivity theory for a linear system of algebraic equations with constraints which can be solved using linear programming techniques is discussed. The role of the constraints in simplifying the problem so that sensitivity methodology can be applied is highlighted. The general non-linear method is summarized and applied to a non-linear programming problem in particular. Conclusions are drawn in about the applicability of the method for practical problems

Analysis of Space Tourism Constraints

Science.gov (United States)

Bonnal, Christophe

2002-01-01

Space tourism appears today as a new Eldorado in a relatively near future. Private operators are already proposing services for leisure trips in Low Earth Orbit, and some happy few even tested them. But are these exceptional events really marking the dawn of a new space age ? The constraints associated to the space tourism are severe : - the economical balance of space tourism is tricky; development costs of large manned - the technical definition of such large vehicles is challenging, mainly when considering - the physiological aptitude of passengers will have a major impact on the mission - the orbital environment will also lead to mission constraints on aspects such as radiation, However, these constraints never appear as show-stoppers and have to be dealt with pragmatically: - what are the recommendations one can make for future research in the field of space - which typical roadmap shall one consider to develop realistically this new market ? - what are the synergies with the conventional missions and with the existing infrastructure, - how can a phased development start soon ? The paper proposes hints aiming at improving the credibility of Space Tourism and describes the orientations to follow in order to solve the major hurdles found in such an exciting development.

General constraints on the effect of gas flows in the chemical evolution of galaxies

International Nuclear Information System (INIS)

Edmunds, M.G.

1990-01-01

The basic equations for the chemical evolution of galaxies in which the 'simple' closed box model is modified to allow any form of inflow or outflow are examined. It is found that there are quite general limiting constraints on the effects that such flows can have. Some implications for the actual chemical evolution of galaxies are discussed, and the constraints should also be useful in understanding the behaviour of detailed numerical models of galactic chemical evolution involving gas flows. (author)

Role of the pair potential for the saturation of generalized Pauli constraints

Science.gov (United States)

Legeza, Örs; Schilling, Christian

2018-05-01

The dependence of the (quasi-)saturation of the generalized Pauli constraints on the pair potential is studied for ground states of few-fermion systems. For this, we consider spinless fermions in one dimension which are harmonically confined and interact by pair potentials of the form | xi-xj|s with -1 ≤s ≤5 . We use the density matrix renormalization group approach and large orbital basis to achieve the convergence on more than ten digits of both the variational energy and the natural occupation numbers. Our results confirm that the conflict between energy minimization and fermionic exchange symmetry results in a universal and nontrivial quasisaturation of the generalized Pauli constraints (quasipinning), implying tremendous structural simplifications of the fermionic ground state for all s . Those numerically exact results are complemented by an analytical study based on a self-consistent perturbation theory which we develop for this purpose. The respective results for the weak-coupling regime eventually elucidate the singular behavior found for the specific values s =2 ,4 ,..., resulting in an extremely strong quasipinning.

A Vowel Is a Vowel: Generalizing Newly Learned Phonotactic Constraints to New Contexts

Science.gov (United States)

Chambers, Kyle E.; Onishi, Kristine H.; Fisher, Cynthia

2010-01-01

Adults can learn novel phonotactic constraints from brief listening experience. We investigated the representations underlying phonotactic learning by testing generalization to syllables containing new vowels. Adults heard consonant-vowel-consonant study syllables in which particular consonants were artificially restricted to the onset or coda…

The Lax operator approach for the Virasoro and the W-constraints in the generalized KdV hierarchy

International Nuclear Information System (INIS)

Panda, S.; Roy, S.

1992-08-01

We show directly in the Lax operator approach how the Virasoro and W-constraints on the τ-function arise in the p-reduced KP hierarchy or Generalized KdV hierarchy. In particular, we consider the KdV and the Boussinesq hierarchy to show that the Virasoro and the W-constraints follow from the string equation by expanding the ''additional symmetry'' operator in terms of the Lax operator. We also mention how this method could be generalized for higher KdV hierarchies. (author). 34 refs

UAV Mission Planning: From Robust to Agile

NARCIS (Netherlands)

Evers, L.; Barros, A.I.; Monsuur, H.; Wagelmans, A.

2015-01-01

Unmanned Aerial Vehicles (UAVs) are important assets for information gathering in Intelligence Surveillance and Reconnaissance (ISR) missions. Depending on the uncertainty in the planning parameters, the complexity of the mission and its constraints and requirements, different planning methods might

Observational constraints on transverse gravity: A generalization of unimodular gravity

International Nuclear Information System (INIS)

Lopez-Villarejo, J J

2010-01-01

We explore the hypothesis that the set of symmetries enjoyed by the theory that describes gravity is not the full group of diffeomorphisms (Diff(M)), as in General Relativity, but a maximal subgroup of it (TransverseDiff(M)), with its elements having a jacobian equal to unity; at the infinitesimal level, the parameter describing the coordinate change x μ → x μ + ξ μ (x) is transverse, i.e., δ μ ξ μ = 0. Incidentally, this is the smaller symmetry one needs to propagate consistently a graviton, which is a great theoretical motivation for considering these theories. Also, the determinant of the metric, g, behaves as a 'transverse scalar', so that these theories can be seen as a generalization of the better-known unimodular gravity. We present our results on the observational constraints on transverse gravity, in close relation with the claim of equivalence with general scalar-tensor theory. We also comment on the structure of the divergences of the quantum theory to the one-loop order.

Constraint satisfaction adaptive neural network and heuristics combined approaches for generalized job-shop scheduling.

Science.gov (United States)

Yang, S; Wang, D

2000-01-01

This paper presents a constraint satisfaction adaptive neural network, together with several heuristics, to solve the generalized job-shop scheduling problem, one of NP-complete constraint satisfaction problems. The proposed neural network can be easily constructed and can adaptively adjust its weights of connections and biases of units based on the sequence and resource constraints of the job-shop scheduling problem during its processing. Several heuristics that can be combined with the neural network are also presented. In the combined approaches, the neural network is used to obtain feasible solutions, the heuristic algorithms are used to improve the performance of the neural network and the quality of the obtained solutions. Simulations have shown that the proposed neural network and its combined approaches are efficient with respect to the quality of solutions and the solving speed.

NASA Laboratory Analysis for Manned Exploration Missions

Science.gov (United States)

Krihak, Michael K.; Shaw, Tianna E.

2014-01-01

The Exploration Laboratory Analysis (ELA) project supports the Exploration Medical Capability Element under the NASA Human Research Program. ELA instrumentation is identified as an essential capability for future exploration missions to diagnose and treat evidence-based medical conditions. However, mission architecture limits the medical equipment, consumables, and procedures that will be available to treat medical conditions during human exploration missions. Allocated resources such as mass, power, volume, and crew time must be used efficiently to optimize the delivery of in-flight medical care. Although commercial instruments can provide the blood and urine based measurements required for exploration missions, these commercial-off-the-shelf devices are prohibitive for deployment in the space environment. The objective of the ELA project is to close the technology gap of current minimally invasive laboratory capabilities and analytical measurements in a manner that the mission architecture constraints impose on exploration missions. Besides micro gravity and radiation tolerances, other principal issues that generally fail to meet NASA requirements include excessive mass, volume, power and consumables, and nominal reagent shelf-life. Though manned exploration missions will not occur for nearly a decade, NASA has already taken strides towards meeting the development of ELA medical diagnostics by developing mission requirements and concepts of operations that are coupled with strategic investments and partnerships towards meeting these challenges. This paper focuses on the remote environment, its challenges, biomedical diagnostics requirements and candidate technologies that may lead to successful blood-urine chemistry and biomolecular measurements in future space exploration missions.

A note on stability of stationary points in mathematical programs with generalized complementarity constraints

Czech Academy of Sciences Publication Activity Database

Červinka, Michal

2016-01-01

Roč. 65, č. 5 (2016), s. 1049-1060 ISSN 0233-1934 R&D Projects: GA ČR GAP402/12/1309 Institutional support: RVO:67985556 Keywords : parameter-dependent mathematical programs with generalized equilibrium constraints * M-stationarity * C-stationarity * isolated calmness * Aubin property Subject RIV: BA - General Mathematics Impact factor: 0.943, year: 2016 http://library.utia.cas.cz/separaty/2016/MTR/cervinka-0461163.pdf

New constraints for canonical general relativity

International Nuclear Information System (INIS)

Reisenberger, M.P.

1995-01-01

Ashtekar's canonical theory of classical complex Euclidean GR (no Lorentzian reality conditions) is found to be invariant under the full algebra of infinitesimal 4-diffeomorphisms, but non-invariant under some finite proper 4-diffeos when the densitized dreibein, E a i , is degenerate. The breakdown of 4-diffeo invariance appears to be due to the inability of the Ashtekar Hamiltonian to generate births and deaths of E flux loops (leaving open the possibility that a new 'causality condition' forbidding the birth of flux loops might justify the non-invariance of the theory).A fully 4-diffeo invariant canonical theory in Ashtekar's variables, derived from Plebanski's action, is found to have constraints that are stronger than Ashtekar's for rank E< 2. The corresponding Hamiltonian generates births and deaths of E flux loops.It is argued that this implies a finite amplitude for births and deaths of loops in the physical states of quantum GR in the loop representation, thus modifying this (partly defined) theory substantially.Some of the new constraints are second class, leading to difficulties in quantization in the connection representation. This problem might be overcome in a very nice way by transforming to the classical loop variables, or the 'Faraday line' variables of Newman and Rovelli, and then solving the offending constraints.Note that, though motivated by quantum considerations, the present paper is classical in substance. (orig.)

Separation and Extension of Cover Inequalities for Conic Quadratic Knapsack Constraints with Generalized Upper Bounds

DEFF Research Database (Denmark)

Atamtürk, Alper; Muller, Laurent Flindt; Pisinger, David

2013-01-01

Motivated by addressing probabilistic 0-1 programs we study the conic quadratic knapsack polytope with generalized upper bound (GUB) constraints. In particular, we investigate separating and extending GUB cover inequalities. We show that, unlike in the linear case, determining whether a cover can...... be extended with a single variable is NP-hard. We describe and compare a number of exact and heuristic separation and extension algorithms which make use of the structure of the constraints. Computational experiments are performed for comparing the proposed separation and extension algorithms...

Early Mission Maneuver Operations for the Deep Space Climate Observatory Sun-Earth L1 Libration Point Mission

Science.gov (United States)

Roberts, Craig; Case, Sara; Reagoso, John; Webster, Cassandra

2015-01-01

The Deep Space Climate Observatory mission launched on February 11, 2015, and inserted onto a transfer trajectory toward a Lissajous orbit around the Sun-Earth L1 libration point. This paper presents an overview of the baseline transfer orbit and early mission maneuver operations leading up to the start of nominal science orbit operations. In particular, the analysis and performance of the spacecraft insertion, mid-course correction maneuvers, and the deep-space Lissajous orbit insertion maneuvers are discussed, com-paring the baseline orbit with actual mission results and highlighting mission and operations constraints..

Constraints on Generality (COG): A Proposed Addition to All Empirical Papers.

Science.gov (United States)

Simons, Daniel J; Shoda, Yuichi; Lindsay, D Stephen

2017-11-01

Psychological scientists draw inferences about populations based on samples-of people, situations, and stimuli-from those populations. Yet, few papers identify their target populations, and even fewer justify how or why the tested samples are representative of broader populations. A cumulative science depends on accurately characterizing the generality of findings, but current publishing standards do not require authors to constrain their inferences, leaving readers to assume the broadest possible generalizations. We propose that the discussion section of all primary research articles specify Constraints on Generality (i.e., a "COG" statement) that identify and justify target populations for the reported findings. Explicitly defining the target populations will help other researchers to sample from the same populations when conducting a direct replication, and it could encourage follow-up studies that test the boundary conditions of the original finding. Universal adoption of COG statements would change publishing incentives to favor a more cumulative science.

The General-Purpose Heat Source Radioisotope Thermoelectric Generator: Power for the Galileo and Ulysses missions

International Nuclear Information System (INIS)

Bennett, G.L.; Lombardo, J.J.; Hemler, R.J.; Peterson, J.R.

1986-01-01

Electrical power for NASA's Galileo mission to Jupiter and ESA's Ulysses mission to explore the polar regions of the Sun will be provided by General-Purpose Heat Source Radioisotope Thermo-electric Generators (GPHS-RTGs). Building upon the successful RTG technology used in the Voyager program, each GPHS-RTG will provide at least 285 W(e) at beginning-of-mission. The design concept has been proven through extensive tests of an electrically heated Engineering Unit and a nuclear-heated Qualification Unit. Four flight generators have been successfully assembled and tested for use on the Galileo and Ulysses spacecraft. All indications are that the GPHS-RTGs will meet or exceed the power requirement of the missions

Advances in Distributed Operations and Mission Activity Planning for Mars Surface Exploration

Science.gov (United States)

Fox, Jason M.; Norris, Jeffrey S.; Powell, Mark W.; Rabe, Kenneth J.; Shams, Khawaja

2006-01-01

A centralized mission activity planning system for any long-term mission, such as the Mars Exploration Rover Mission (MER), is completely infeasible due to budget and geographic constraints. A distributed operations system is key to addressing these constraints; therefore, future system and software engineers must focus on the problem of how to provide a secure, reliable, and distributed mission activity planning system. We will explain how Maestro, the next generation mission activity planning system, with its heavy emphasis on portability and distributed operations has been able to meet these design challenges. MER has been an excellent proving ground for Maestro's new approach to distributed operations. The backend that has been developed for Maestro could benefit many future missions by reducing the cost of centralized operations system architecture.

A maintenance optimization model for mission-oriented systems based on Wiener degradation

International Nuclear Information System (INIS)

Guo, Chiming; Wang, Wenbin; Guo, Bo; Si, Xiaosheng

2013-01-01

Over the past few decades, condition-based maintenance (CBM) has attracted many researchers because of its effectiveness and practical significance. This paper deals with mission-oriented systems subject to gradual degradation modeled by a Wiener stochastic process within the context of CBM. For a mission-oriented system, the mission usually has constraints on availability/reliability, the opportunity for maintenance actions, and the monitoring type (continuous or discrete). Furthermore, in practice, a mission-oriented system may undertake some preventive maintenance (PM) and after such PM, the system may return to an intermediate state between an as-good-as new state and an as-bad-as old state, i.e., the PM is not perfect and only partially restores the system. However, very few CBM models integrated these mission constraints together with an imperfect nature of the PM into the course of optimizing the PM policy. This paper develops a model to optimize the PM policy in terms of the maintenance related cost jointly considering the mission constraints and the imperfect PM nature. A numerical example is presented to demonstrate the proposed model. The comparison with the simulated results and the sensitivity analysis show the usefulness of the optimization model for mission-oriented system maintenance presented in this paper.

Generalized stochastic target problems for pricing and partial hedging under loss constraints - Application in optimal book liquidation

OpenAIRE

Bouchard , Bruno; Dang , Ngoc Minh

2013-01-01

International audience; We consider a singular with state constraints version of the stochastic target problems studied in Soner and Touzi (2002) and more recently Bouchard, Elie and Touzi (2008), among others. This provides a general framework for the pricing of contingent claims under risk constraints. Our extended version perfectly suits to market models with proportional transaction costs and to order book liquidation issues. Our main result is a PDE characterization of the associated pri...

Artificial intelligence techniques for scheduling Space Shuttle missions

Science.gov (United States)

Henke, Andrea L.; Stottler, Richard H.

1994-01-01

Planning and scheduling of NASA Space Shuttle missions is a complex, labor-intensive process requiring the expertise of experienced mission planners. We have developed a planning and scheduling system using combinations of artificial intelligence knowledge representations and planning techniques to capture mission planning knowledge and automate the multi-mission planning process. Our integrated object oriented and rule-based approach reduces planning time by orders of magnitude and provides planners with the flexibility to easily modify planning knowledge and constraints without requiring programming expertise.

Domain-specific and domain-general constraints on word and sequence learning.

Science.gov (United States)

Archibald, Lisa M D; Joanisse, Marc F

2013-02-01

The relative influences of language-related and memory-related constraints on the learning of novel words and sequences were examined by comparing individual differences in performance of children with and without specific deficits in either language or working memory. Children recalled lists of words in a Hebbian learning protocol in which occasional lists repeated, yielding improved recall over the course of the task on the repeated lists. The task involved presentation of pictures of common nouns followed immediately by equivalent presentations of the spoken names. The same participants also completed a paired-associate learning task involving word-picture and nonword-picture pairs. Hebbian learning was observed for all groups. Domain-general working memory constrained immediate recall, whereas language abilities impacted recall in the auditory modality only. In addition, working memory constrained paired-associate learning generally, whereas language abilities disproportionately impacted novel word learning. Overall, all of the learning tasks were highly correlated with domain-general working memory. The learning of nonwords was additionally related to general intelligence, phonological short-term memory, language abilities, and implicit learning. The results suggest that distinct associations between language- and memory-related mechanisms support learning of familiar and unfamiliar phonological forms and sequences.

The Effects of Life Domains, Constraints, and Motivations on Academic Dishonesty: A Partial Test and Extension of Agnew's General Theory.

Science.gov (United States)

Cochran, John K

2017-08-01

Recently, Robert Agnew introduced a new general theory of crime and delinquency in which he attempted to corral the vast array of theoretical "causes" of criminal conduct into a more parsimonious statement organized into one of five life domains: self, family, peers, school, and work as well as constraints against crime and motivation for it. These domains are depicted as the source of constraints and motivations and whose effects are, in part, mediated by these constraints and motivations. Based on self-report data on academic dishonesty from a sample of college students, the present study attempts to test this general theory. While several of the life domain variables had significant effects of cheating in the baseline model, all of these effects were fully mediated by constraints and motivations. In the final model, academic dishonesty was observed to be most significantly affected by the perceived severity of formal sanction threats, the number of credit hours enrolled, the frequency of skipping classes, and pressure from friends.

Multistep Hybrid Iterations for Systems of Generalized Equilibria with Constraints of Several Problems

Directory of Open Access Journals (Sweden)

Lu-Chuan Ceng

2014-01-01

Full Text Available We first introduce and analyze one multistep iterative algorithm by hybrid shrinking projection method for finding a solution of the system of generalized equilibria with constraints of several problems: the generalized mixed equilibrium problem, finitely many variational inclusions, the minimization problem for a convex and continuously Fréchet differentiable functional, and the fixed-point problem of an asymptotically strict pseudocontractive mapping in the intermediate sense in a real Hilbert space. We prove strong convergence theorem for the iterative algorithm under suitable conditions. On the other hand, we also propose another multistep iterative algorithm involving no shrinking projection method and derive its weak convergence under mild assumptions.

An efficient method for generalized linear multiplicative programming problem with multiplicative constraints.

Science.gov (United States)

Zhao, Yingfeng; Liu, Sanyang

2016-01-01

We present a practical branch and bound algorithm for globally solving generalized linear multiplicative programming problem with multiplicative constraints. To solve the problem, a relaxation programming problem which is equivalent to a linear programming is proposed by utilizing a new two-phase relaxation technique. In the algorithm, lower and upper bounds are simultaneously obtained by solving some linear relaxation programming problems. Global convergence has been proved and results of some sample examples and a small random experiment show that the proposed algorithm is feasible and efficient.

An Efficient Energy Constraint Based UAV Path Planning for Search and Coverage

Directory of Open Access Journals (Sweden)

German Gramajo

2017-01-01

Full Text Available A path planning strategy for a search and coverage mission for a small UAV that maximizes the area covered based on stored energy and maneuverability constraints is presented. The proposed formulation has a high level of autonomy, without requiring an exact choice of optimization parameters, and is appropriate for real-time implementation. The computed trajectory maximizes spatial coverage while closely satisfying terminal constraints on the position of the vehicle and minimizing the time of flight. Comparisons of this formulation to a path planning algorithm based on those with time constraint show equivalent coverage performance but improvement in prediction of overall mission duration and accuracy of the terminal position of the vehicle.

Chance-Constrained Guidance With Non-Convex Constraints

Science.gov (United States)

Ono, Masahiro

2011-01-01

Missions to small bodies, such as comets or asteroids, require autonomous guidance for descent to these small bodies. Such guidance is made challenging by uncertainty in the position and velocity of the spacecraft, as well as the uncertainty in the gravitational field around the small body. In addition, the requirement to avoid collision with the asteroid represents a non-convex constraint that means finding the optimal guidance trajectory, in general, is intractable. In this innovation, a new approach is proposed for chance-constrained optimal guidance with non-convex constraints. Chance-constrained guidance takes into account uncertainty so that the probability of collision is below a specified threshold. In this approach, a new bounding method has been developed to obtain a set of decomposed chance constraints that is a sufficient condition of the original chance constraint. The decomposition of the chance constraint enables its efficient evaluation, as well as the application of the branch and bound method. Branch and bound enables non-convex problems to be solved efficiently to global optimality. Considering the problem of finite-horizon robust optimal control of dynamic systems under Gaussian-distributed stochastic uncertainty, with state and control constraints, a discrete-time, continuous-state linear dynamics model is assumed. Gaussian-distributed stochastic uncertainty is a more natural model for exogenous disturbances such as wind gusts and turbulence than the previously studied set-bounded models. However, with stochastic uncertainty, it is often impossible to guarantee that state constraints are satisfied, because there is typically a non-zero probability of having a disturbance that is large enough to push the state out of the feasible region. An effective framework to address robustness with stochastic uncertainty is optimization with chance constraints. These require that the probability of violating the state constraints (i.e., the probability of

IMPaCT - Integration of Missions, Programs, and Core Technologies

Science.gov (United States)

Balacuit, Carlos P.; Cutts, James A.; Peterson, Craig E.; Beauchamp, Patricia M.; Jones, Susan K.; Hang, Winnie N.; Dastur, Shahin D.

2013-01-01

IMPaCT enables comprehensive information on current NASA missions, prospective future missions, and the technologies that NASA is investing in, or considering investing in, to be accessed from a common Web-based interface. It allows dependencies to be established between missions and technology, and from this, the benefits of investing in individual technologies can be determined. The software also allows various scenarios for future missions to be explored against resource constraints, and the nominal cost and schedule of each mission to be modified in an effort to fit within a prescribed budget.

Orbital Express mission operations planning and resource management using ASPEN

Science.gov (United States)

Chouinard, Caroline; Knight, Russell; Jones, Grailing; Tran, Daniel

2008-04-01

As satellite equipment and mission operations become more costly, the drive to keep working equipment running with less labor-power rises. Demonstrating the feasibility of autonomous satellite servicing was the main goal behind the Orbital Express (OE) mission. Like a tow-truck delivering gas to a car on the road, the "servicing" satellite of OE had to find the "client" from several kilometers away, connect directly to the client, and transfer fluid (or a battery) autonomously, while on earth-orbit. The mission met 100% of its success criteria, and proved that autonomous satellite servicing is now a reality for space operations. Planning the satellite mission operations for OE required the ability to create a plan which could be executed autonomously over variable conditions. As the constraints for execution could change weekly, daily, and even hourly, the tools used create the mission execution plans needed to be flexible and adaptable to many different kinds of changes. At the same time, the hard constraints of the plans needed to be maintained and satisfied. The Automated Scheduling and Planning Environment (ASPEN) tool, developed at the Jet Propulsion Laboratory, was used to create the schedule of events in each daily plan for the two satellites of the OE mission. This paper presents an introduction to the ASPEN tool, an overview of the constraints of the OE domain, the variable conditions that were presented within the mission, and the solution to operations that ASPEN provided. ASPEN has been used in several other domains, including research rovers, Deep Space Network scheduling research, and in flight operations for the NASA's Earth Observing One mission's EO1 satellite. Related work is discussed, as are the future of ASPEN and the future of autonomous satellite servicing.

Minimal Flavor Constraints for Technicolor

DEFF Research Database (Denmark)

Sakuma, Hidenori; Sannino, Francesco

2010-01-01

We analyze the constraints on the the vacuum polarization of the standard model gauge bosons from a minimal set of flavor observables valid for a general class of models of dynamical electroweak symmetry breaking. We will show that the constraints have a strong impact on the self-coupling and mas......We analyze the constraints on the the vacuum polarization of the standard model gauge bosons from a minimal set of flavor observables valid for a general class of models of dynamical electroweak symmetry breaking. We will show that the constraints have a strong impact on the self...

Liquid Effluents Program mission analysis

International Nuclear Information System (INIS)

Lowe, S.S.

1994-01-01

Systems engineering is being used to identify work to cleanup the Hanford Site. The systems engineering process transforms an identified mission need into a set of performance parameters and a preferred system configuration. Mission analysis is the first step in the process. Mission analysis supports early decision-making by clearly defining the program objectives, and evaluating the feasibility and risks associated with achieving those objectives. The results of the mission analysis provide a consistent basis for subsequent systems engineering work. A mission analysis was performed earlier for the overall Hanford Site. This work was continued by a ''capstone'' team which developed a top-level functional analysis. Continuing in a top-down manner, systems engineering is now being applied at the program and project levels. A mission analysis was conducted for the Liquid Effluents Program. The results are described herein. This report identifies the initial conditions and acceptable final conditions, defines the programmatic and physical interfaces and sources of constraints, estimates the resources to carry out the mission, and establishes measures of success. The mission analysis reflects current program planning for the Liquid Effluents Program as described in Liquid Effluents FY 1995 Multi-Year Program Plan

Cosmic microwave background constraints on the tensor-to-scalar ratio

International Nuclear Information System (INIS)

Lau King; Tang Jia-Yu; Chu Ming-Chung

2014-01-01

One of the main goals of modern cosmic microwave background (CMB) missions is to measure the tensor-to-scalar ratio r accurately to constrain inflation models. Due to ignorance about the reionization history X e (z), this analysis is usually done by assuming an instantaneous reionization X e (z) which, however, can bias the best-fit value of r. Moreover, due to the strong mixing of B-mode and E-mode polarizations in cut-sky measurements, multiplying the sky coverage fraction f sky by the full-sky likelihood would not give satisfactory results. In this work, we forecast constraints on r for the Planck mission taking into account the general reionization scenario and cut-sky effects. Our results show that by applying an N-point interpolation analysis to the reionization history, the bias induced by the assumption of instantaneous reionization is removed and the value of r is constrained within 5% error level, if the true value of r is greater than about 0.1

The HAMMER: High altitude multiple mission environmental researcher

Science.gov (United States)

Hayashi, Darren; Zylla, Cara; Amaro, Ernesto; Colin, Phil; Klause, Thomas; Lopez, Bernardo; Williamson, Danna

1991-01-01

At the equator, the ozone layer ranges from 65,000 to 130,000+ feet which is beyond the capabilities of the ER-2, NASA's current high altitude reconnaissance aircraft. The Universities Space Research Association, in cooperation with NASA, is sponsoring an undergraduate program which is geared to designing an aircraft that can study the ozone layer at the equator. This aircraft must be able to satisfy four mission profiles. Mission one is a polar mission which ranges from Chile to the South Pole and back to Chile, a total range of 6000 n. mi. at 100,000 feet with a 2500 lb. payload. The second mission is also a polar mission with a decreased altitude of 70,000 feet and an increased payload of 4000 lb. For the third mission, the aircraft will take-off at NASA Ames, cruise at 100,000 feet carrying a 2500 lb. payload, and land in Puerto Montt, Chile. The final mission requires the aircraft to take-off at NASA Ames, cruise at 100,000 feet with a 1000 lb. payload, make an excursion to 120,000 feet, and land at Howard AFB, Panama. All three missions require that a subsonic Mach number is maintained due to constraints imposed by the air sampling equipment. The aircraft need not be manned for all four missions. Three aircraft configurations were determined to be the most suitable for meeting the above requirements. The performance of each configuration is analyzed to investigate the feasibility of the project requirements. In the event that a requirement can not be obtained within the given constraints, recommendations for proposal modifications are given.

Mission analysis for cross-site transfer

International Nuclear Information System (INIS)

Riesenweber, S.D.; Fritz, R.L.; Shipley, L.E.

1995-11-01

The Mission Analysis Report describes the requirements and constraints associated with the Transfer Waste Function as necessary to support the Manage Tank Waste, Retrieve Waste, and Process Tank Waste Functions described in WHC-SD-WM-FRD-020, Tank Waste Remediation System (TWRS) Functions and Requirements Document and DOE/RL-92-60, Revision 1, TWRS Functions and Requirements Document, March 1994. It further assesses the ability of the ''initial state'' (or current cross-site transfer system) to meet the requirements and constraints

Canada and Missions for Peace

International Development Research Centre (IDRC) Digital Library (Canada)

The study focuses primarily on Canada's role in these missions in light of ..... simply because peacekeeping has been the chief form of UN intervention and one in which ... Other factors, such as financial constraints and increasing social problems ..... Luck, superior armaments, the shortage of professional officers among the ...

Future CMB cosmological constraints in a dark coupled universe

CERN Document Server

Martinelli, Matteo; Melchiorri, Alessandro; Mena, Olga

2010-01-01

Cosmic Microwave Background satellite missions as the on-going Planck experiment are expected to provide the strongest constraints on a wide set of cosmological parameters. Those constraints, however, could be weakened when the assumption of a cosmological constant as the dark energy component is removed. Here we show that it will indeed be the case when there exists a coupling among the dark energy and the dark matter fluids. In particular, the expected errors on key parameters as the cold dark matter density and the angular diameter distance at decoupling are significantly larger when a dark coupling is introduced. We show that it will be the case also for future satellite missions as EPIC, unless CMB lensing extraction is performed.

The Zeus Mission Study — An application of automated collaborative design

Science.gov (United States)

Doyotte, Romain; Love, Stanley G.; Peterson, Craig E.

1999-11-01

The purpose of the Zeus Mission Study was threefold. As an element of a graduate course in spacecraft system engineering, its purpose was primarily educational — to allow the students to apply their knowledge in a real mission study. The second purpose was to investigate the feasibility of applying advanced technology (the power antenna and solar electric propulsion concepts) to a challenging mission. Finally, the study allowed evaluation of the benefits of using quality-oriented techniques (Quality Function Deployment (QFD) and Taguchi Methods) for a mission study. To encourage innovation, several constraints were placed on the study from the onset. While the primary goal was to place at least one lander on Europa, the additional constraint of no nuclear power sources posed an additional challenge, particularly when coupled with the mass constraints imposed by using a Delta II class launch vehicle. In spite of these limitations, the team was able to develop a mission and spacecraft design capable of carrying three simple, lightweight, yet capable landers. The science return will more than adequately meet the science goals established QFD was used to determine the optimal choice of instrumentation. The lander design was selected from several competing lander concepts, including rovers. The carrier design was largely dictated by the needs of the propulsion system required to support the mission, although the development of a Project Trades Model (PTM) in software allowed for rapid recalculation of key system parameters as changes were made. Finally, Taguchi Methods (Design of Experiments) were used in conjunction with the PTM allowing for some limited optimization of design features.

Bomber Deterrence Missions: Criteria To Evaluate Mission Effectiveness

Science.gov (United States)

2016-02-16

international security, the practice of general deterrence usually occurs when nations feel insecure , suspicious or even hostility towards them but...both a deterrence and assurance mission even though it was not planned or advertised as such. Since the intent of this mission was partly perceived

Mission analysis for the Martian Moons Explorer (MMX) mission

Science.gov (United States)

Campagnola, Stefano; Yam, Chit Hong; Tsuda, Yuichi; Ogawa, Naoko; Kawakatsu, Yasuhiro

2018-05-01

Mars Moon eXplorer (MMX) is JAXA's next candidate flagship mission to be launched in the early 2020s. MMX will explore the Martian moons and return a sample from Phobos. This paper presents the mission analysis work, focusing on the transfer legs and comparing several architectures, such as hybrid options with chemical and electric propulsion modules. The selected baseline is a chemical-propulsion Phobos sample return, which is discussed in detail with the launch- and return-window analysis. The trajectories are optimized with the jTOP software, using planetary ephemerides for Mars and the Earth; Earth re-entry constraints are modeled with simple analytical equations. Finally, we introduce an analytical approximation of the three-burn capture strategy used in the Mars system. The approximation can be used together with a Lambert solver to quickly determine the transfer Δ v costs.

On squaring the primary constraints in a generalized Hamiltonian dynamics

International Nuclear Information System (INIS)

Nesterenko, V.V.

1993-01-01

Consideration of the model of the relativistic particle with curvature and torsion in the three-dimensional space-time shows that the squaring of the primary constraints entails a wrong result. The complete set of the Hamiltonian constraints arising here corresponds to another model with an action similar but not identical with the initial action. 16 refs

Planetary protection policy overview and application to future missions

Science.gov (United States)

Rummel, John D.

1989-01-01

The current status of planetary protection (quarantine) policy within NASA is discussed, together with the issues of planetary protection and back-contamination as related to future missions. The policy adopted by COSPAR in 1984 (and recently reaffirmed by the NASA Administrator) for application to all unmanned missions to other solar system bodies and all manned and unmanned sample return missions is examined. Special attention is given to the implementation of the policy and to the specific quarantine-related constraints on spacecraft involved in solar system exploration that depend on the nature of the mission and the identity of the target body.

Linear Temporal Logic-based Mission Planning

Directory of Open Access Journals (Sweden)

Anil Kumar

2016-06-01

Full Text Available In this paper, we describe the Linear Temporal Logic-based reactive motion planning. We address the problem of motion planning for mobile robots, wherein the goal specification of planning is given in complex environments. The desired task specification may consist of complex behaviors of the robot, including specifications for environment constraints, need of task optimality, obstacle avoidance, rescue specifications, surveillance specifications, safety specifications, etc. We use Linear Temporal Logic to give a representation for such complex task specification and constraints. The specifications are used by a verification engine to judge the feasibility and suitability of plans. The planner gives a motion strategy as output. Finally a controller is used to generate the desired trajectory to achieve such a goal. The approach is tested using simulations on the LTLMoP mission planning tool, operating over the Robot Operating System. Simulation results generated using high level planners and low level controllers work simultaneously for mission planning and controlling the physical behavior of the robot.

Vehicle technology under CO2 constraint: a general equilibrium analysis

International Nuclear Information System (INIS)

Schaefer, Andreas; Jacoby, Henry D.

2006-01-01

A study is presented of the rates of penetration of different transport technologies under policy constraints on CO 2 emissions. The response of this sector is analyzed within an overall national level of restriction, with a focus on automobiles, light trucks, and heavy freight trucks. Using the US as an example, a linked set of three models is used to carry out the analysis: a multi-sector computable general equilibrium model of the economy, a MARKAL-type model of vehicle and fuel supply technology, and a model simulating the split of personal and freight transport among modes. Results highlight the importance of incremental improvements in conventional internal combustion engine technology, and, in the absence of policies to overcome observed consumer discount rates, the very long time horizons before radical alternatives like the internal combustion engine hybrid drive train vehicle are likely to take substantial market share

Mission analysis report for single-shell tank leakage mitigation

International Nuclear Information System (INIS)

Cruse, J.M.

1994-01-01

This document provides an analysis of the leakage mitigation mission applicable to past and potential future leakage from the Hanford Site's 149 single-shell high-level waste tanks. This mission is a part of the overall missions of the Westinghouse Hanford Company Tank Waste Remediation System division to remediate the tank waste in a safe and acceptable manner. Systems engineers principles are being applied to this effort. Mission analysis supports early decision making by clearly defining program objectives. This documents identifies the initial conditions and acceptable final conditions, defines the programmatic and physical interfaces and constraints, estimates the resources to carry out the mission, and establishes measures of success. The results of the mission analysis provide a consistent basis for subsequent systems engineering work

NASA Extreme Environment Mission Operations: Science Operations Development for Human Exploration

Science.gov (United States)

Bell, Mary S.

2014-01-01

The purpose of NASA Extreme Environment Mission Operations (NEEMO) mission 16 in 2012 was to evaluate and compare the performance of a defined series of representative near-Earth asteroid (NEA) extravehicular activity (EVA) tasks under different conditions and combinations of work systems, constraints, and assumptions considered for future human NEA exploration missions. NEEMO 16 followed NASA's 2011 Desert Research and Technology Studies (D-RATS), the primary focus of which was understanding the implications of communication latency, crew size, and work system combinations with respect to scientific data quality, data management, crew workload, and crew/mission control interactions. The 1-g environment precluded meaningful evaluation of NEA EVA translation, worksite stabilization, sampling, or instrument deployment techniques. Thus, NEEMO missions were designed to provide an opportunity to perform a preliminary evaluation of these important factors for each of the conditions being considered. NEEMO 15 also took place in 2011 and provided a first look at many of the factors, but the mission was cut short due to a hurricane threat before all objectives were completed. ARES Directorate (KX) personnel consulted with JSC engineers to ensure that high-fidelity planetary science protocols were incorporated into NEEMO mission architectures. ARES has been collaborating with NEEMO mission planners since NEEMO 9 in 2006, successively building upon previous developments to refine science operations concepts within engineering constraints; it is expected to continue the collaboration as NASA's human exploration mission plans evolve.

Planck 2013 Results. XXIV. Constraints on primordial non-Gaussianity

DEFF Research Database (Denmark)

Ade, P. A. R.; Aghanim, N.; Armitage-Caplan, C.

2013-01-01

The Planck nominal mission cosmic microwave background (CMB) maps yield unprecedented constraints on primordial non-Gaussianity (NG).Using three optimal bispectrum estimators, separable template-fitting (KSW), binned, and modal, we obtain consistent values for the primordiallocal, equilateral, an...

Astrometric tests of General Relativity in the Solar system

International Nuclear Information System (INIS)

Gai, M; Vecchiato, A; Riva, A; Lattanzi, M G; Sozzetti, A; Crosta, M T; Busonero, D

2014-01-01

Micro-arcsec astronomy is able to verify the predictions of theoretical models of gravitation at a level adequate to constraint relevant parameters and select among different formulations. In particular, this concerns the weak field limit applicable to the Sun neighborhood, where competing models can be expressed in a common framework as the Parametrised Post-Newtonian and Parametrised Post-Post-Newtonian formulations. The mission Gaia is going to provide an unprecedented determination of the γ PPN parameter at the 10 −6 level. Other recently proposed concepts, as GAME, may improve the precision on γ by one or two orders of magnitude and provide constraints on other crucial phenomenological aspects. We review the key concepts of astrometric tests of General Relativity and discuss a possible development scenario

General constraints on the age and chemical evolution of the Galaxy

International Nuclear Information System (INIS)

Meyer, B.S.; Schramm, D.N.

1986-05-01

The formalism of Schramm and Wasserburg (1970) for determining the mean age of the elements is extended. Model-independent constraints (constraints that are independent of a specific form for the effective nucleosynthesis rate and Galactic chemical evolution over time) are derived on the first four terms in the expansion giving the mean age of the elements, and from these constraints limits are derived on the total duration of nucleosynthesis. These limits require only input of the Schramm-Wasserburg parameter Δ/sup max/ and of the ratio of the mean time for formation of the elements to the total duration of nucleosynthesis, t/sub nu//T. The former quantity is a function of nuclear input parameters. Limits on the latter are obtained from constraints on the relative rate of nucleosynthesis derived from the 232 Th/ 238 U, 235 U/ 238 U, and shorter-lived chronometric pairs. 65 refs

Constraint qualifications and optimality conditions for optimization problems with cardinality constraints

Czech Academy of Sciences Publication Activity Database

Červinka, Michal; Kanzow, Ch.; Schwartz, A.

2016-01-01

Roč. 160, č. 1 (2016), s. 353-377 ISSN 0025-5610 R&D Projects: GA ČR GAP402/12/1309; GA ČR GA15-00735S Institutional support: RVO:67985556 Keywords : Cardinality constraints * Constraint qualifications * Optimality conditions * KKT conditions * Strongly stationary points Subject RIV: BA - General Mathematics Impact factor: 2.446, year: 2016 http://library.utia.cas.cz/separaty/2016/MTR/cervinka-0461165.pdf

A Lean, Fast Mars Round-trip Mission Architecture: Using Current Technologies for a Human Mission in the 2030s

Science.gov (United States)

Bailey, Lora; Folta, David; Barbee, Brent W.; Vaughn, Frank; Kirchman, Frank; Englander, Jacob; Campbell, Bruce; Thronson, Harley; Lin, Tzu Yu

2013-01-01

We present a lean fast-transfer architecture concept for a first human mission to Mars that utilizes current technologies and two pivotal parameters: an end-to-end Mars mission duration of approximately one year, and a deep space habitat of approximately 50 metric tons. These parameters were formulated by a 2012 deep space habitat study conducted at the NASA Johnson Space Center (JSC) that focused on a subset of recognized high- engineering-risk factors that may otherwise limit space travel to destinations such as Mars or near-Earth asteroid (NEA)s. With these constraints, we model and promote Mars mission opportunities in the 2030s enabled by a combination of on-orbit staging, mission element pre-positioning, and unique round-trip trajectories identified by state-of-the-art astrodynamics algorithms.

Mission-directed path planning for planetary rover exploration

Science.gov (United States)

Tompkins, Paul

2005-07-01

Robotic rovers uniquely benefit planetary exploration---they enable regional exploration with the precision of in-situ measurements, a combination impossible from an orbiting spacecraft or fixed lander. Mission planning for planetary rover exploration currently utilizes sophisticated software for activity planning and scheduling, but simplified path planning and execution approaches tailored for localized operations to individual targets. This approach is insufficient for the investigation of multiple, regionally distributed targets in a single command cycle. Path planning tailored for this task must consider the impact of large scale terrain on power, speed and regional access; the effect of route timing on resource availability; the limitations of finite resource capacity and other operational constraints on vehicle range and timing; and the mutual influence between traverses and upstream and downstream stationary activities. Encapsulating this reasoning in an efficient autonomous planner would allow a rover to continue operating rationally despite significant deviations from an initial plan. This research presents mission-directed path planning that enables an autonomous, strategic reasoning capability for robotic explorers. Planning operates in a space of position, time and energy. Unlike previous hierarchical approaches, it treats these dimensions simultaneously to enable globally-optimal solutions. The approach calls on a near incremental search algorithm designed for planning and re-planning under global constraints, in spaces of higher than two dimensions. Solutions under this method specify routes that avoid terrain obstacles, optimize the collection and use of rechargable energy, satisfy local and global mission constraints, and account for the time and energy of interleaved mission activities. Furthermore, the approach efficiently re-plans in response to updates in vehicle state and world models, and is well suited to online operation aboard a robot

Review of Minimal Flavor Constraints for Technicolor

DEFF Research Database (Denmark)

S. Fukano, Hidenori; Sannino, Francesco

2010-01-01

We analyze the constraints on the the vacuum polarization of the standard model gauge bosons from a minimal set of flavor observables valid for a general class of models of dynamical electroweak symmetry breaking. We will show that the constraints have a strong impact on the self-coupling and mas......We analyze the constraints on the the vacuum polarization of the standard model gauge bosons from a minimal set of flavor observables valid for a general class of models of dynamical electroweak symmetry breaking. We will show that the constraints have a strong impact on the self...

The Europa Ocean Discovery mission

Energy Technology Data Exchange (ETDEWEB)

Edwards, B.C. [Los Alamos National Lab., NM (United States); Chyba, C.F. [Univ. of Arizona, Tucson, AZ (United States); Abshire, J.B. [National Aeronautics and Space Administration, Greenbelt, MD (United States). Goddard Space Flight Center] [and others

1997-06-01

Since it was first proposed that tidal heating of Europa by Jupiter might lead to liquid water oceans below Europa`s ice cover, there has been speculation over the possible exobiological implications of such an ocean. Liquid water is the essential ingredient for life as it is known, and the existence of a second water ocean in the Solar System would be of paramount importance for seeking the origin and existence of life beyond Earth. The authors present here a Discovery-class mission concept (Europa Ocean Discovery) to determine the existence of a liquid water ocean on Europa and to characterize Europa`s surface structure. The technical goal of the Europa Ocean Discovery mission is to study Europa with an orbiting spacecraft. This goal is challenging but entirely feasible within the Discovery envelope. There are four key challenges: entering Europan orbit, generating power, surviving long enough in the radiation environment to return valuable science, and complete the mission within the Discovery program`s launch vehicle and budget constraints. The authors will present here a viable mission that meets these challenges.

General Constraints on Sampling Wildlife on FIA Plots

Science.gov (United States)

Larissa L. Bailey; John R. Sauer; James D. Nichols; Paul H. Geissler

2005-01-01

This paper reviews the constraints to sampling wildlife populations at FIA points. Wildlife sampling programs must have well-defined goals and provide information adequate to meet those goals. Investigators should choose a State variable based on information needs and the spatial sampling scale. We discuss estimation-based methods for three State variables: species...

Trajectory Design to Mitigate Risk on the Transiting Exoplanet Survey Satellite (TESS) Mission

Science.gov (United States)

Dichmann, Donald

2016-01-01

The Transiting Exoplanet Survey Satellite (TESS) will employ a highly eccentric Earth orbit, in 2:1 lunar resonance, reached with a lunar flyby preceded by 3.5 phasing loops. The TESS mission has limited propellant and several orbit constraints. Based on analysis and simulation, we have designed the phasing loops to reduce delta-V and to mitigate risk due to maneuver execution errors. We have automated the trajectory design process and use distributed processing to generate and to optimize nominal trajectories, check constraint satisfaction, and finally model the effects of maneuver errors to identify trajectories that best meet the mission requirements.

Observational constraints on Hubble parameter in viscous generalized Chaplygin gas

Science.gov (United States)

Thakur, P.

2018-04-01

Cosmological model with viscous generalized Chaplygin gas (in short, VGCG) is considered here to determine observational constraints on its equation of state parameters (in short, EoS) from background data. These data consists of H(z)-z (OHD) data, Baryonic Acoustic Oscillations peak parameter, CMB shift parameter and SN Ia data (Union 2.1). Best-fit values of the EoS parameters including present Hubble parameter (H0) and their acceptable range at different confidence limits are determined. In this model the permitted range for the present Hubble parameter and the transition redshift (zt) at 1σ confidence limits are H0= 70.24^{+0.34}_{-0.36} and zt=0.76^{+0.07}_{-0.07} respectively. These EoS parameters are then compared with those of other models. Present age of the Universe (t0) have also been determined here. Akaike information criterion and Bayesian information criterion for the model selection have been adopted for comparison with other models. It is noted that VGCG model satisfactorily accommodates the present accelerating phase of the Universe.

Neural network for nonsmooth pseudoconvex optimization with general convex constraints.

Science.gov (United States)

Bian, Wei; Ma, Litao; Qin, Sitian; Xue, Xiaoping

2018-05-01

In this paper, a one-layer recurrent neural network is proposed for solving a class of nonsmooth, pseudoconvex optimization problems with general convex constraints. Based on the smoothing method, we construct a new regularization function, which does not depend on any information of the feasible region. Thanks to the special structure of the regularization function, we prove the global existence, uniqueness and "slow solution" character of the state of the proposed neural network. Moreover, the state solution of the proposed network is proved to be convergent to the feasible region in finite time and to the optimal solution set of the related optimization problem subsequently. In particular, the convergence of the state to an exact optimal solution is also considered in this paper. Numerical examples with simulation results are given to show the efficiency and good characteristics of the proposed network. In addition, some preliminary theoretical analysis and application of the proposed network for a wider class of dynamic portfolio optimization are included. Copyright © 2018 Elsevier Ltd. All rights reserved.

Learning With Mixed Hard/Soft Pointwise Constraints.

Science.gov (United States)

Gnecco, Giorgio; Gori, Marco; Melacci, Stefano; Sanguineti, Marcello

2015-09-01

A learning paradigm is proposed and investigated, in which the classical framework of learning from examples is enhanced by the introduction of hard pointwise constraints, i.e., constraints imposed on a finite set of examples that cannot be violated. Such constraints arise, e.g., when requiring coherent decisions of classifiers acting on different views of the same pattern. The classical examples of supervised learning, which can be violated at the cost of some penalization (quantified by the choice of a suitable loss function) play the role of soft pointwise constraints. Constrained variational calculus is exploited to derive a representer theorem that provides a description of the functional structure of the optimal solution to the proposed learning paradigm. It is shown that such an optimal solution can be represented in terms of a set of support constraints, which generalize the concept of support vectors and open the doors to a novel learning paradigm, called support constraint machines. The general theory is applied to derive the representation of the optimal solution to the problem of learning from hard linear pointwise constraints combined with soft pointwise constraints induced by supervised examples. In some cases, closed-form optimal solutions are obtained.

A CubeSat Asteroid Mission: Design Study and Trade-Offs

Science.gov (United States)

Landis, Geoffrey A.; Oleson, Steven R.; McGuire, Melissa; Hepp, Aloysius; Stegeman, James; Bur, Mike; Burke, Laura; Martini, Michael; Fittje, James E.; Kohout, Lisa;

Comet rendezvous mission design using Solar Electric Propulsion

Science.gov (United States)

Sackett, L. L.; Hastrup, R. C.; Yen, C.-W. L.; Wood, L. J.

1979-01-01

A dual comet (Halley Flyby/Tempel 2 Rendezvous) mission, which is planned to be the first to use the Solar Electric Propulsion System (SEPS), is to be launched in 1985. The purpose of this paper is to describe how the mission design attempts to maximize science return while working within spacecraft and other constraints. Science requirements and desires are outlined and specific instruments are considered. Emphasis is on the strategy for operations in the vicinity of Tempel 2, for which a representative profile is described. The mission is planned to extend about one year past initial rendezvous. Because of the large uncertainty in the comet environment the Tempel 2 operations strategy must be highly adaptive.

New constraints on variations of the fine structure constant from CMB anisotropies

International Nuclear Information System (INIS)

Menegoni, Eloisa; Melchiorri, Alessandro; Galli, Silvia; Bartlett, James G.; Martins, C. J. A. P.

2009-01-01

We demonstrate that recent measurements of cosmic microwave background temperature and polarization anisotropy made by the ACBAR, QUAD, and BICEP experiments substantially improve the cosmological constraints on possible variations of the fine structure constant in the early universe. This data, combined with the five year observations from the WMAP mission, yield the constraint α/α 0 =0.987±0.012 at 68% C.L. The inclusion of the new Hubble Space Telescope constraints on the Hubble constant further increases the accuracy to α/α 0 =1.001±0.007 at 68% C.L., bringing possible deviations from the current value below the 1% level and improving previous constraints by a factor of ∼3.

Prominent Constraints Faced by Government Managers.

Science.gov (United States)

1983-06-01

organizations have varied cultures and missions. 8 There has been little researc -h on the identification of these constraints and the effective...Additionally, in the current environment they4 15 are responsible to set the rate schedule for various services provided to NAVAIR, and to market ...NAVAIR. They are paid on the basis of work to be performed. This allows a better cost accounting system, but results in some marketing behavior by the

Constrained dynamical systems: separation of constraints into first and second classes

International Nuclear Information System (INIS)

Chitaya, N.P.; Gogilidze, S.A.; Surovtsev, Yu.S.

1996-01-01

In the Dirac approach to the generalized Hamiltonian formalism, dynamical systems with first- and second-class constraints are investigated. The classification and separation of constraints into the first- and second-class ones are presented with the help of passing to an equivalent canonical set of constraints. The general structure of second-class constraints is clarified. 14 refs

Planning for Crew Exercise for Deep Space Mission Scenarios

Science.gov (United States)

Moore, E. Cherice; Ryder, Jeff

2015-01-01

Exercise which is necessary for maintaining crew health on-orbit and preparing the crew for return to 1G can be challenging to incorporate into spaceflight vehicles. Deep space missions will require further understanding of the physiological response to microgravity, understanding appropriate mitigations, and designing the exercise systems to effectively provide mitigations, and integrating effectively into vehicle design with a focus to support planned mission scenarios. Recognizing and addressing the constraints and challenges can facilitate improved vehicle design and exercise system incorporation.

Temperature control of the Mariner class spacecraft - A seven mission summary.

Science.gov (United States)

Dumas, L. N.

1973-01-01

Mariner spacecraft have completed five missions of scientific investigation of the planets. Two additional missions are planned. A description of the thermal design of these seven spacecraft is given herein. The factors which have influenced the thermal design include the mission requirements and constraints, the flight environment, certain programmatic considerations and the experience gained as each mission is completed. These factors are reviewed and the impact of each on thermal design and developmental techniques is assessed. It is concluded that the flight success of these spacecraft indicates that adequate temperature control has been obtained, but that improvements in design data, hardware performance and analytical techniques are needed.

The Ambiguous Role of Constraints in Creativity

DEFF Research Database (Denmark)

Biskjær, Michael Mose; Onarheim, Balder; Wiltschnig, Stefan

2011-01-01

The relationship between creativity and constraints is often described in the literature either in rather imprecise, general concepts or in relation to very specific domains. Cross-domain and cross-disciplinary takes on how the handling of constraints influences creative activities are rare. In t......-disciplinary research into the ambiguous role of constraints in creativity....

An Efficient Energy Constraint Based UAV Path Planning for Search and Coverage

OpenAIRE

Gramajo, German; Shankar, Praveen

2017-01-01

A path planning strategy for a search and coverage mission for a small UAV that maximizes the area covered based on stored energy and maneuverability constraints is presented. The proposed formulation has a high level of autonomy, without requiring an exact choice of optimization parameters, and is appropriate for real-time implementation. The computed trajectory maximizes spatial coverage while closely satisfying terminal constraints on the position of the vehicle and minimizing the time of ...

Embedding Temporal Constraints For Coordinated Execution in Habitat Automation

Science.gov (United States)

Morris, Paul; Schwabacher, Mark; Dalal, Michael; Fry, Charles

2013-01-01

Future NASA plans call for long-duration deep space missions with human crews. Because of light-time delay and other considerations, increased autonomy will be needed. This will necessitate integration of tools in such areas as anomaly detection, diagnosis, planning, and execution. In this paper we investigate an approach that integrates planning and execution by embedding planner-derived temporal constraints in an execution procedure. To avoid the need for propagation, we convert the temporal constraints to dispatchable form. We handle some uncertainty in the durations without it affecting the execution; larger variations may cause activities to be skipped.

Applications of nuclear reactor power systems to electric propulsion missions.

Science.gov (United States)

Schaupp, R. W.; Sawyer, C. D.

1971-01-01

The performance of nuclear electric propulsion systems (NEP) has been evaluated for a wide variety of missions in an attempt to establish the commonality of NEP system requirements. Emphasis was given to those requirements and system characteristics that serve as guidelines for current technology development programs. Various interactions and tradeoffs between NEP system and mission parameters are described. The results show that the most significant factors in selecting NEP system size are launch mode (direct or spiral escape) and, to a weaker extent, launch vehicle capability. Other factors such as mission, payload, and thrust time constraints, have little influence, thus allowing one NEP system to be used for many missions. The results indicated that a 100 kWe NEP would be suitable for most direct escape missions and a 250 kWe NEP system would be suitable for more demanding missions that use the spiral escape mode.

Machine tongues. X. Constraint languages

Energy Technology Data Exchange (ETDEWEB)

Levitt, D.

Constraint languages and programming environments will help the designer produce a lucid description of a problem domain, and then of particular situations and problems in it. Early versions of these languages were given descriptions of real world domain constraints, like the operation of electrical and mechanical parts. More recently, the author has automated a vocabulary for describing musical jazz phrases, using constraint language as a jazz improviser. General constraint languages will handle all of these domains. Once the model is in place, the system will connect built-in code fragments and algorithms to answer questions about situations; that is, to help solve problems. Bugs will surface not in code, but in designs themselves. 15 references.

Planck 2015 results: XVII. Constraints on primordial non-Gaussianity

DEFF Research Database (Denmark)

Ade, P. A R; Aghanim, N.; Arnaud, M.

2016-01-01

The Planck full mission cosmic microwave background (CMB) temperature and E-mode polarization maps are analysed to obtain constraints on primordial non-Gaussianity (NG). Using three classes of optimal bispectrum estimators – separable template-fitting (KSW), binned, and modal – we obtain consiste...

Optimizing mission critical data dissemination in massive IoT networks

KAUST Repository

Farooq, Muhammad Junaid; Elsawy, Hesham; Zhu, Quanyan; Alouini, Mohamed-Slim

2017-01-01

Mission critical data dissemination in massive Internet of things (IoT) networks imposes constraints on the message transfer delay between devices. Due to low power and communication range of IoT devices, data is foreseen to be relayed over multiple

Planning for Crew Exercise for Future Deep Space Mission Scenarios

Science.gov (United States)

Moore, Cherice; Ryder, Jeff

2015-01-01

Providing the necessary exercise capability to protect crew health for deep space missions will bring new sets of engineering and research challenges. Exercise has been found to be a necessary mitigation for maintaining crew health on-orbit and preparing the crew for return to earth's gravity. Health and exercise data from Apollo, Space Lab, Shuttle, and International Space Station missions have provided insight into crew deconditioning and the types of activities that can minimize the impacts of microgravity on the physiological systems. The hardware systems required to implement exercise can be challenging to incorporate into spaceflight vehicles. Exercise system design requires encompassing the hardware required to provide mission specific anthropometrical movement ranges, desired loads, and frequencies of desired movements as well as the supporting control and monitoring systems, crew and vehicle interfaces, and vibration isolation and stabilization subsystems. The number of crew and operational constraints also contribute to defining the what exercise systems will be needed. All of these features require flight vehicle mass and volume integrated with multiple vehicle systems. The International Space Station exercise hardware requires over 1,800 kg of equipment and over 24 m3 of volume for hardware and crew operational space. Improvements towards providing equivalent or better capabilities with a smaller vehicle impact will facilitate future deep space missions. Deep space missions will require more understanding of the physiological responses to microgravity, understanding appropriate mitigations, designing the exercise systems to provide needed mitigations, and integrating effectively into vehicle design with a focus to support planned mission scenarios. Recognizing and addressing the constraints and challenges can facilitate improved vehicle design and exercise system incorporation.

TDEM for Martian in situ resource prospecting missions

Directory of Open Access Journals (Sweden)

G. Tacconi

2003-06-01

Full Text Available This paper presents a TDEM (Time Domain Electromagnetic Methods application, addressed to the search for water on Mars. In this context, the opportunities for a TDEM system as payload in a future mission are investigated for different in situ exploration scenarios. The TDEM sounding capability is evaluated with respect to the expected Martian environment, and some considerations are made about the many unknown variables (above all the background EM noise and the subsoil composition altogether with the limited resources availability (mission constraints in mass, time and power and the way they could represent an obstacle for operations and measurements.

On relaxing the Mangasarian-Fromovitz constraint qualification

Czech Academy of Sciences Publication Activity Database

Kruger, A.Y.; Minchenko, L.; Outrata, Jiří

2014-01-01

Roč. 18, č. 1 (2014), s. 171-189 ISSN 1385-1292 R&D Projects: GA ČR GAP402/12/1309 Institutional support: RVO:67985556 Keywords : Nonlinear programming * Regularity conditions * Constraint qualifications * Lagrange multipliers * Mangasarian–Fromovitz constraint qualification * Constant rank constraint qualification Subject RIV: BA - General Mathematics Impact factor: 0.679, year: 2014 http://library.utia.cas.cz/separaty/2014/MTR/outrata-0426110.pdf

Incorporating shape constraints in generalized additive modelling of the height-diameter relationship for Norway spruce

Directory of Open Access Journals (Sweden)

Natalya Pya

2016-02-01

Full Text Available Background: Measurements of tree heights and diameters are essential in forest assessment and modelling. Tree heights are used for estimating timber volume, site index and other important variables related to forest growth and yield, succession and carbon budget models. However, the diameter at breast height (dbh can be more accurately obtained and at lower cost, than total tree height. Hence, generalized height-diameter (h-d models that predict tree height from dbh, age and other covariates are needed. For a more flexible but biologically plausible estimation of covariate effects we use shape constrained generalized additive models as an extension of existing h-d model approaches. We use causal site parameters such as index of aridity to enhance the generality and causality of the models and to enable predictions under projected changeable climatic conditions. Methods: We develop unconstrained generalized additive models (GAM and shape constrained generalized additive models (SCAM for investigating the possible effects of tree-specific parameters such as tree age, relative diameter at breast height, and site-specific parameters such as index of aridity and sum of daily mean temperature during vegetation period, on the h-d relationship of forests in Lower Saxony, Germany. Results: Some of the derived effects, e.g. effects of age, index of aridity and sum of daily mean temperature have significantly non-linear pattern. The need for using SCAM results from the fact that some of the model effects show partially implausible patterns especially at the boundaries of data ranges. The derived model predicts monotonically increasing levels of tree height with increasing age and temperature sum and decreasing aridity and social rank of a tree within a stand. The definition of constraints leads only to marginal or minor decline in the model statistics like AIC. An observed structured spatial trend in tree height is modelled via 2-dimensional surface

Monte Carlo Analysis as a Trajectory Design Driver for the TESS Mission

Science.gov (United States)

Nickel, Craig; Lebois, Ryan; Lutz, Stephen; Dichmann, Donald; Parker, Joel

2016-01-01

The Transiting Exoplanet Survey Satellite (TESS) will be injected into a highly eccentric Earth orbit and fly 3.5 phasing loops followed by a lunar flyby to enter a mission orbit with lunar 2:1 resonance. Through the phasing loops and mission orbit, the trajectory is significantly affected by lunar and solar gravity. We have developed a trajectory design to achieve the mission orbit and meet mission constraints, including eclipse avoidance and a 30-year geostationary orbit avoidance requirement. A parallelized Monte Carlo simulation was performed to validate the trajectory after injecting common perturbations, including launch dispersions, orbit determination errors, and maneuver execution errors. The Monte Carlo analysis helped identify mission risks and is used in the trajectory selection process.

Estimating Crustal Properties Directly from Satellite Tracking Data by Using a Topography-based Constraint

Science.gov (United States)

Goossens, S. J.; Sabaka, T. J.; Genova, A.; Mazarico, E. M.; Nicholas, J. B.; Neumann, G. A.; Lemoine, F. G.

2017-12-01

The crust of a terrestrial planet is formed by differentiation processes in its early history, followed by magmatic evolution of the planetary surface. It is further modified through impact processes. Knowledge of the crustal structure can thus place constraints on the planet's formation and evolution. In particular, the average bulk density of the crust is a fundamental parameter in geophysical studies, such as the determination of crustal thickness, studies of the mechanisms of topography support, and the planet's thermo-chemical evolution. Yet even with in-situ samples available, the crustal density is difficult to determine unambiguously, as exemplified by the results for the Gravity and Recovery Interior Laboratory (GRAIL) mission, which found an average crustal density for the Moon that was lower than generally assumed. The GRAIL results were possible owing to the combination of its high-resolution gravity and high-resolution topography obtained by the Lunar Orbiter Laser Altimeter (LOLA) onboard the Lunar Reconnaissance Orbiter (LRO), and high correlations between the two datasets. The crustal density can be determined by its contribution to the gravity field of a planet, but at long wavelengths flexure effects can dominate. On the other hand, short-wavelength gravity anomalies are difficult to measure, and either not determined well enough (other than at the Moon), or their power is suppressed by the standard `Kaula' regularization constraint applied during inversion of the gravity field from satellite tracking data. We introduce a new constraint that has infinite variance in one direction, called xa . For constraint damping factors that go to infinity, it can be shown that the solution x becomes equal to a scale factor times xa. This scale factor is completely determined by the data, and we call our constraint rank-minus-1 (RM1). If we choose xa to be topography-induced gravity, then we can estimate the average bulk crustal density directly from the data

Automatic Verification of Timing Constraints for Safety Critical Space Systems

Science.gov (United States)

Fernandez, Javier; Parra, Pablo; Sanchez Prieto, Sebastian; Polo, Oscar; Bernat, Guillem

2015-09-01

In this paper is presented an automatic process of verification. We focus in the verification of scheduling analysis parameter. This proposal is part of process based on Model Driven Engineering to automate a Verification and Validation process of the software on board of satellites. This process is implemented in a software control unit of the energy particle detector which is payload of Solar Orbiter mission. From the design model is generated a scheduling analysis model and its verification model. The verification as defined as constraints in way of Finite Timed Automatas. When the system is deployed on target the verification evidence is extracted as instrumented points. The constraints are fed with the evidence, if any of the constraints is not satisfied for the on target evidence the scheduling analysis is not valid.

Faddeev-Jackiw quantization and constraints

International Nuclear Information System (INIS)

Barcelos-Neto, J.; Wotzasek, C.

1992-01-01

In a recent Letter, Faddeev and Jackiw have shown that the reduction of constrained systems into its canonical, first-order form, can bring some new insight into the research of this field. For sympletic manifolds the geometrical structure, called Dirac or generalized bracket, is obtained directly from the inverse of the nonsingular sympletic two-form matrix. In the cases of nonsympletic manifolds, this two-form is degenerated and cannot be inverted to provide the generalized brackets. This singular behavior of the sympletic matrix is indicative of the presence of constraints that have to be carefully considered to yield to consistent results. One has two possible routes to treat this problem: Dirac has taught us how to implement the constraints into the potential part (Hamiltonian) of the canonical Lagrangian, leading to the well-known Dirac brackets, which are consistent with the constraints and can be mapped into quantum commutators (modulo ordering terms). The second route, suggested by Faddeev and Jackiw, and followed in this paper, is to implement the constraints directly into the canonical part of the first order Lagrangian, using the fact that the consistence condition for the stability of the constrained manifold is linear in the time derivative. This algorithm may lead to an invertible two-form sympletic matrix from where the Dirac brackets are readily obtained. This algorithm is used in this paper to investigate some aspects of the quantization of constrained systems with first- and second-class constraints in the sympletic approach

Linear determining equations for differential constraints

International Nuclear Information System (INIS)

Kaptsov, O V

1998-01-01

A construction of differential constraints compatible with partial differential equations is considered. Certain linear determining equations with parameters are used to find such differential constraints. They generalize the classical determining equations used in the search for admissible Lie operators. As applications of this approach equations of an ideal incompressible fluid and non-linear heat equations are discussed

Generalized Optimal-State-Constraint Extended Kalman Filter (OSC-EKF)

Science.gov (United States)

2017-02-01

algorithms is demonstrated by achieving reasonable consistency and accuracy on a challenging micro aerial vehicle dataset. simultaneous localization...platforms exist,4 and many others have been constructed with low-cost components. Visual-inertial simultaneous localization and mapping (SLAM) and...epipolar constraints. The OSC-EKF used a window size of 10 frames. The SAM problem was constructed using an inverse -depth feature position param

New Space at Airbus Defence & Space to facilitate science missions

Science.gov (United States)

Boithias, Helene; Benchetrit, Thierry

2016-10-01

In addition to Airbus legacy activities, where Airbus satellites usually enable challenging science missions such as Venus Express, Mars Express, Rosetta with an historic landing on a comet, Bepi Colombo mission to Mercury and JUICE to orbit around Jupiter moon Ganymede, Swarm studying the Earth magnetic field, Goce to measure the Earth gravitational field and Cryosat to monitor the Earth polar ice, Airbus is now developing a new approach to facilitate next generation missions.After more than 25 years of collaboration with the scientists on space missions, Airbus has demonstrated its capacity to implement highly demanding missions implying a deep understanding of the science mission requirements and their intrinsic constraints such as- a very fierce competition between the scientific communities,- the pursuit of high maturity for the science instrument in order to be selected,- the very strict institutional budget limiting the number of operational missions.As a matter of fact, the combination of these constraints may lead to the cancellation of valuable missions.Based on that and inspired by the New Space trend, Airbus is developing an highly accessible concept called HYPE.The objective of HYPE is to make access to Space much more simple, affordable and efficient.With a standardized approach, the scientist books only the capacities he needs among the resources available on-board, as the HYPE satellites can host a large range of payloads from 1kg up to 60kg.At prices significantly more affordable than those of comparable dedicated satellite, HYPE is by far a very cost-efficient way of bringing science missions to life.After the launch, the scientist enjoys a plug-and-play access to two-way communications with his instrument through a secure high-speed portal available online 24/7.Everything else is taken care of by Airbus: launch services and the associated risk, reliable power supply, setting up and operating the communication channels, respect of space law

Generalized isothermic lattices

International Nuclear Information System (INIS)

Doliwa, Adam

2007-01-01

We study multi-dimensional quadrilateral lattices satisfying simultaneously two integrable constraints: a quadratic constraint and the projective Moutard constraint. When the lattice is two dimensional and the quadric under consideration is the Moebius sphere one obtains, after the stereographic projection, the discrete isothermic surfaces defined by Bobenko and Pinkall by an algebraic constraint imposed on the (complex) cross-ratio of the circular lattice. We derive the analogous condition for our generalized isothermic lattices using Steiner's projective structure of conics, and we present basic geometric constructions which encode integrability of the lattice. In particular, we introduce the Darboux transformation of the generalized isothermic lattice and we derive the corresponding Bianchi permutability principle. Finally, we study two-dimensional generalized isothermic lattices, in particular geometry of their initial boundary value problem

Evolution of Orion Mission Design for Exploration Mission 1 and 2

Science.gov (United States)

Gutkowski, Jeffrey P.; Dawn, Timothy F.; Jedrey, Richard M.

2016-01-01

The evolving mission design and concepts of NASA’s next steps have shaped Orion into the spacecraft that it is today. Since the initial inception of Orion, through the Constellation Program, and now in the Exploration Mission frame-work with the Space Launch System (SLS), each mission design concept and pro-gram goal have left Orion with a set of capabilities that can be utilized in many different mission types. Exploration Missions 1 and 2 (EM-1 and EM-2) have now been at the forefront of the mission design focus for the last several years. During that time, different Design Reference Missions (DRMs) were built, analyzed, and modified to solve or mitigate enterprise level design trades to ensure a viable mission from launch to landing. The resulting DRMs for EM-1 and EM-2 were then expanded into multi-year trajectory scans to characterize vehicle performance as affected by variations in Earth-Moon geometry. This provides Orion’s subsystems with stressing reference trajectories to help design their system. Now that Orion has progressed through the Preliminary and Critical Design Reviews (PDR and CDR), there is a general shift in the focus of mission design from aiding the vehicle design to providing mission specific products needed for pre-flight and real time operations. Some of the mission specific products needed include, large quantities of nominal trajectories for multiple monthly launch periods and abort options at any point in the mission for each valid trajectory in the launch window.

Integral constraints on perturbations of Robertson-Walker cosmologies

International Nuclear Information System (INIS)

Ellis, G.F.R.; Jaklitsch, M.J.

1989-01-01

Integral constraints occur in the case of spherically symmetric inhomogeneities in Robertson-Walker universes, and (according to Traschen) in the case of general perturbations of these models. It is shown that these constraints are the same in the case of spherical symmetry, and they are interpreted as 'fitting conditions', that is, as constraints on the background Robertson-Walker model rather than on the nature of inhomogeneities. These integral constraints significantly affect the interpretation of anisotropies in the cosmic microwave background radiation. 22 refs

Mission Analysis, Operations, and Navigation Toolkit Environment (Monte) Version 040

Science.gov (United States)

Sunseri, Richard F.; Wu, Hsi-Cheng; Evans, Scott E.; Evans, James R.; Drain, Theodore R.; Guevara, Michelle M.

2012-01-01

Monte is a software set designed for use in mission design and spacecraft navigation operations. The system can process measurement data, design optimal trajectories and maneuvers, and do orbit determination, all in one application. For the first time, a single software set can be used for mission design and navigation operations. This eliminates problems due to different models and fidelities used in legacy mission design and navigation software. The unique features of Monte 040 include a blowdown thruster model for GRAIL (Gravity Recovery and Interior Laboratory) with associated pressure models, as well as an updated, optimalsearch capability (COSMIC) that facilitated mission design for ARTEMIS. Existing legacy software lacked the capabilities necessary for these two missions. There is also a mean orbital element propagator and an osculating to mean element converter that allows long-term orbital stability analysis for the first time in compiled code. The optimized trajectory search tool COSMIC allows users to place constraints and controls on their searches without any restrictions. Constraints may be user-defined and depend on trajectory information either forward or backwards in time. In addition, a long-term orbit stability analysis tool (morbiter) existed previously as a set of scripts on top of Monte. Monte is becoming the primary tool for navigation operations, a core competency at JPL. The mission design capabilities in Monte are becoming mature enough for use in project proposals as well as post-phase A mission design. Monte has three distinct advantages over existing software. First, it is being developed in a modern paradigm: object- oriented C++ and Python. Second, the software has been developed as a toolkit, which allows users to customize their own applications and allows the development team to implement requirements quickly, efficiently, and with minimal bugs. Finally, the software is managed in accordance with the CMMI (Capability Maturity Model

Constraint-based scheduling

Science.gov (United States)

Zweben, Monte

1993-01-01

The GERRY scheduling system developed by NASA Ames with assistance from the Lockheed Space Operations Company, and the Lockheed Artificial Intelligence Center, uses a method called constraint-based iterative repair. Using this technique, one encodes both hard rules and preference criteria into data structures called constraints. GERRY repeatedly attempts to improve schedules by seeking repairs for violated constraints. The system provides a general scheduling framework which is being tested on two NASA applications. The larger of the two is the Space Shuttle Ground Processing problem which entails the scheduling of all the inspection, repair, and maintenance tasks required to prepare the orbiter for flight. The other application involves power allocation for the NASA Ames wind tunnels. Here the system will be used to schedule wind tunnel tests with the goal of minimizing power costs. In this paper, we describe the GERRY system and its application to the Space Shuttle problem. We also speculate as to how the system would be used for manufacturing, transportation, and military problems.

Cost-Effective Icy Bodies Exploration using Small Satellite Missions

Science.gov (United States)

Jonsson, Jonas; Mauro, David; Stupl, Jan; Nayak, Michael; Aziz, Jonathan; Cohen, Aaron; Colaprete, Anthony; Dono-Perez, Andres; Frost, Chad; Klamm, Benjamin;

A Strategic Approach to Medical Care for Exploration Missions

Science.gov (United States)

Canga, Michael A.; Shah, Ronak V.; Mindock, Jennifer A.; Antonsen, Erik L.

2016-01-01

Exploration missions will present significant new challenges to crew health, including effects of variable gravity environments, limited communication with Earth-based personnel for diagnosis and consultation for medical events, limited resupply, and limited ability for crew return. Providing health care capabilities for exploration class missions will require system trades be performed to identify a minimum set of requirements and crosscutting capabilities, which can be used in design of exploration medical systems. Medical data, information, and knowledge collected during current space missions must be catalogued and put in formats that facilitate querying and analysis. These data are used to inform the medical research and development program through analysis of risk trade studies between medical care capabilities and system constraints such as mass, power, volume, and training. Medical capability as a quantifiable variable is proposed as a surrogate risk metric and explored for trade space analysis that can improve communication between the medical and engineering approaches to mission design. The resulting medical system design approach selected will inform NASA mission architecture, vehicle, and subsystem design for the next generation of spacecraft.

Flight demonstration of formation flying capabilities for future missions (NEAT Pathfinder)

DEFF Research Database (Denmark)

Delpech, M.; Malbet, F.; Karlsson, T.

2015-01-01

given the numerous constraints from propellant usage to star tracker blinding. The paper presents the experiment objectives in relation with the NEAT/microNEAT mission concept, describes its main design features along with the guidance and control algorithms evolutions and discusses the results in terms...

Definition phase of Grand Tour missions/radio science investigations study for outer planets missions

Science.gov (United States)

Tyler, G. L.

1972-01-01

Scientific instrumentation for satellite communication and radio tracking systems in the outer planet exploration mission is discussed. Mission planning considers observations of planetary and satellite-masses, -atmospheres, -magnetic fields, -surfaces, -gravitational fields, solar wind composition, planetary radio emissions, and tests of general relativity in time delay and ray bending experiments.

Data Driven Constraints for the SVM

DEFF Research Database (Denmark)

Darkner, Sune; Clemmensen, Line Katrine Harder

2012-01-01

We propose a generalized data driven constraint for support vector machines exemplified by classification of paired observations in general and specifically on the human ear canal. This is particularly interesting in dynamic cases such as tissue movement or pathologies developing over time. Assum...

Reliability-based trajectory optimization using nonintrusive polynomial chaos for Mars entry mission

Science.gov (United States)

Huang, Yuechen; Li, Haiyang

2018-06-01

This paper presents the reliability-based sequential optimization (RBSO) method to settle the trajectory optimization problem with parametric uncertainties in entry dynamics for Mars entry mission. First, the deterministic entry trajectory optimization model is reviewed, and then the reliability-based optimization model is formulated. In addition, the modified sequential optimization method, in which the nonintrusive polynomial chaos expansion (PCE) method and the most probable point (MPP) searching method are employed, is proposed to solve the reliability-based optimization problem efficiently. The nonintrusive PCE method contributes to the transformation between the stochastic optimization (SO) and the deterministic optimization (DO) and to the approximation of trajectory solution efficiently. The MPP method, which is used for assessing the reliability of constraints satisfaction only up to the necessary level, is employed to further improve the computational efficiency. The cycle including SO, reliability assessment and constraints update is repeated in the RBSO until the reliability requirements of constraints satisfaction are satisfied. Finally, the RBSO is compared with the traditional DO and the traditional sequential optimization based on Monte Carlo (MC) simulation in a specific Mars entry mission to demonstrate the effectiveness and the efficiency of the proposed method.

Fuzzy Constraint-Based Agent Negotiation

Institute of Scientific and Technical Information of China (English)

Menq-Wen Lin; K. Robert Lai; Ting-Jung Yu

2005-01-01

Conflicts between two or more parties arise for various reasons and perspectives. Thus, resolution of conflicts frequently relies on some form of negotiation. This paper presents a general problem-solving framework for modeling multi-issue multilateral negotiation using fuzzy constraints. Agent negotiation is formulated as a distributed fuzzy constraint satisfaction problem (DFCSP). Fuzzy constrains are thus used to naturally represent each agent's desires involving imprecision and human conceptualization, particularly when lexical imprecision and subjective matters are concerned. On the other hand, based on fuzzy constraint-based problem-solving, our approach enables an agent not only to systematically relax fuzzy constraints to generate a proposal, but also to employ fuzzy similarity to select the alternative that is subject to its acceptability by the opponents. This task of problem-solving is to reach an agreement that benefits all agents with a high satisfaction degree of fuzzy constraints, and move towards the deal more quickly since their search focuses only on the feasible solution space. An application to multilateral negotiation of a travel planning is provided to demonstrate the usefulness and effectiveness of our framework.

Planned Environmental Microbiology Aspects of Future Lunar and Mars Missions

Science.gov (United States)

Ott, C. Mark; Castro, Victoria A.; Pierson, Duane L.

2006-01-01

With the establishment of the Constellation Program, NASA has initiated efforts designed similar to the Apollo Program to return to the moon and subsequently travel to Mars. Early lunar sorties will take 4 crewmembers to the moon for 4 to 7 days. Later missions will increase in duration up to 6 months as a lunar habitat is constructed. These missions and vehicle designs are the forerunners of further missions destined for human exploration of Mars. Throughout the planning and design process, lessons learned from the International Space Station (ISS) and past programs will be implemented toward future exploration goals. The standards and requirements for these missions will vary depending on life support systems, mission duration, crew activities, and payloads. From a microbiological perspective, preventative measures will remain the primary techniques to mitigate microbial risk. Thus, most of the effort will focus on stringent preflight monitoring requirements and engineering controls designed into the vehicle, such as HEPA air filters. Due to volume constraints in the CEV, in-flight monitoring will be limited for short-duration missions to the measurement of biocide concentration for water potability. Once long-duration habitation begins on the lunar surface, a more extensive environmental monitoring plan will be initiated. However, limited in-flight volume constraints and the inability to return samples to Earth will increase the need for crew capabilities in determining the nature of contamination problems and method of remediation. In addition, limited shelf life of current monitoring hardware consumables and limited capabilities to dispose of biohazardous trash will drive flight hardware toward non-culture based methodologies, such as hardware that rapidly distinguishes biotic versus abiotic surface contamination. As missions progress to Mars, environmental systems will depend heavily on regeneration of air and water and biological waste remediation and

Using Natural Language to Enhance Mission Effectiveness

Science.gov (United States)

Trujillo, Anna C.; Meszaros, Erica

2016-01-01

The availability of highly capable, yet relatively cheap, unmanned aerial vehicles (UAVs) is opening up new areas of use for hobbyists and for professional-related activities. The driving function of this research is allowing a non-UAV pilot, an operator, to define and manage a mission. This paper describes the preliminary usability measures of an interface that allows an operator to define the mission using speech to make inputs. An experiment was conducted to begin to enumerate the efficacy and user acceptance of using voice commands to define a multi-UAV mission and to provide high-level vehicle control commands such as "takeoff." The primary independent variable was input type - voice or mouse. The primary dependent variables consisted of the correctness of the mission parameter inputs and the time needed to make all inputs. Other dependent variables included NASA-TLX workload ratings and subjective ratings on a final questionnaire. The experiment required each subject to fill in an online form that contained comparable required information that would be needed for a package dispatcher to deliver packages. For each run, subjects typed in a simple numeric code for the package code. They then defined the initial starting position, the delivery location, and the return location using either pull-down menus or voice input. Voice input was accomplished using CMU Sphinx4-5prealpha for speech recognition. They then inputted the length of the package. These were the option fields. The subject had the system "Calculate Trajectory" and then "Takeoff" once the trajectory was calculated. Later, the subject used "Land" to finish the run. After the voice and mouse input blocked runs, subjects completed a NASA-TLX. At the conclusion of all runs, subjects completed a questionnaire asking them about their experience in inputting the mission parameters, and starting and stopping the mission using mouse and voice input. In general, the usability of voice commands is acceptable

Xenon Acquisition Strategies for High-Power Electric Propulsion NASA Missions

Science.gov (United States)

Herman, Daniel A.; Unfried, Kenneth G.

2015-01-01

The benefits of high-power solar electric propulsion (SEP) for both NASA's human and science exploration missions combined with the technology investment from the Space Technology Mission Directorate have enabled the development of a 50kW-class SEP mission. NASA mission concepts developed, including the Asteroid Redirect Robotic Mission, and those proposed by contracted efforts for the 30kW-class demonstration have a range of xenon propellant loads from 100's of kg up to 10,000 kg. A xenon propellant load of 10 metric tons represents greater than 10% of the global annual production rate of xenon. A single procurement of this size with short-term delivery can disrupt the xenon market, driving up pricing, making the propellant costs for the mission prohibitive. This paper examines the status of the xenon industry worldwide, including historical xenon supply and pricing. The paper discusses approaches for acquiring on the order of 10 MT of xenon propellant considering realistic programmatic constraints to support potential near-term NASA missions. Finally, the paper will discuss acquisitions strategies for mission campaigns utilizing multiple high-power solar electric propulsion vehicles requiring 100's of metric tons of xenon over an extended period of time where a longer term acquisition approach could be implemented.

General squark flavour mixing: constraints, phenomenology and benchmarks

CERN Document Server

De Causmaecker, Karen; Herrmann, Bjoern; Mahmoudi, Farvah; O'Leary, Ben; Porod, Werner; Sekmen, Sezen; Strobbe, Nadja

2015-11-19

We present an extensive study of non-minimal flavour violation in the squark sector in the framework of the Minimal Supersymmetric Standard Model. We investigate the effects of multiple non-vanishing flavour-violating elements in the squark mass matrices by means of a Markov Chain Monte Carlo scanning technique and identify parameter combinations that are favoured by both current data and theoretical constraints. We then detail the resulting distributions of the flavour-conserving and flavour-violating model parameters. Based on this analysis, we propose a set of benchmark scenarios relevant for future studies of non-minimal flavour violation in the Minimal Supersymmetric Standard Model.

77 FR 60966 - Executive-Led Trade Mission to South Africa and Zambia

Science.gov (United States)

2012-10-05

... Africa and Zambia AGENCY: International Trade Administration, Department of Commerce. ACTION: Notice...- Led Trade Mission to South Africa and Zambia scheduled for November 26- 30, 2012, to revise the dates... and scheduling constraints permit), interested U.S. agriculture, mining, transportation, water, energy...

Revisiting the simplicity constraints and coherent intertwiners

International Nuclear Information System (INIS)

Dupuis, Maite; Livine, Etera R

2011-01-01

In the context of loop quantum gravity and spinfoam models, the simplicity constraints are essential in that they allow one to write general relativity as a constrained topological BF theory. In this work, we apply the recently developed U(N) framework for SU(2) intertwiners to the issue of imposing the simplicity constraints to spin network states. More particularly, we focus on solving on individual intertwiners in the 4D Euclidean theory. We review the standard way of solving the simplicity constraints using coherent intertwiners and we explain how these fit within the U(N) framework. Then we show how these constraints can be written as a closed u(N) algebra and we propose a set of U(N) coherent states that solves all the simplicity constraints weakly for an arbitrary Immirzi parameter.

Life support approaches for Mars missions

Science.gov (United States)

Drysdale, A. E.; Ewert, M. K.; Hanford, A. J.

Life support approaches for Mars missions are evaluated using an equivalent system mass (ESM) approach, in which all significant costs are converted into mass units. The best approach, as defined by the lowest mission ESM, depends on several mission parameters, notably duration, environment and consequent infrastructure costs, and crew size, as well as the characteristics of the technologies which are available. Generally, for the missions under consideration, physicochemical regeneration is most cost effective. However, bioregeneration is likely to be of use for producing salad crops for any mission, for producing staple crops for medium duration missions, and for most food, air and water regeneration for long missions (durations of a decade). Potential applications of in situ resource utilization need to be considered further.

A Constraint Model for Constrained Hidden Markov Models

DEFF Research Database (Denmark)

Christiansen, Henning; Have, Christian Theil; Lassen, Ole Torp

2009-01-01

A Hidden Markov Model (HMM) is a common statistical model which is widely used for analysis of biological sequence data and other sequential phenomena. In the present paper we extend HMMs with constraints and show how the familiar Viterbi algorithm can be generalized, based on constraint solving ...

Mars Relay Satellite: Key to Enabling Low-Cost Exploration Missions

Science.gov (United States)

Hastrup, R.; Cesarone, R.; Miller, A.

1993-01-01

Recently, there has been increasing evidence of a renewed focus on Mars exploration both by NASA and the international community. The thrust of this renewed interest appears to be manifesting itself in numerous low-cost missions employing small, light weight elements, which utilize advanced technologies including integrated microelectronics. A formidable problem facing these low-cost missions is communications with Earth. Providing adequate direct-link performance has very significant impacts on spacecraft power, pointing, mass and overall complexity. Additionally, for elements at or near the surface of Mars, there are serious connectivity constraints, especially at higher latitudes, which lose view of Earth for up to many months at a time. This paper will discuss the role a Mars relay satellite can play in enabling and enhancing low-cost missions to Mars...

Differential constraints and exact solutions of nonlinear diffusion equations

International Nuclear Information System (INIS)

Kaptsov, Oleg V; Verevkin, Igor V

2003-01-01

The differential constraints are applied to obtain explicit solutions of nonlinear diffusion equations. Certain linear determining equations with parameters are used to find such differential constraints. They generalize the determining equations used in the search for classical Lie symmetries

Going Beyond Einstein with the Constellation-X Mission

Science.gov (United States)

White, Nicholas

2007-01-01

The Constellation-X mission will address the questions: "What happens to matter close to a black hole?" and "What is Dark Energy?" These questions are central to the NASA Beyond Einstein Program, where Constellation-X plays a central role. The mission will address these questions by using high throughput X-ray spectroscopy to observe the effects of strong gravity close to the event horizon of black holes, and to observe the formation and evolution of clusters of galaxies in order to precisely determine Cosmological parameters. To achieve these primary science goals requires a factor of 25-100 increase in sensitivity for high resolution X-ray spectroscopy.'The mission will also perform routine high-resolution X-ray spectroscopy of faint 2nd extended X-ray source populations. This will provide diagnostic information such as density, elemental abundances, velocity; and ionization state for a wide range of astrophysical problems, including new constraints on the Neutron Star equation of state.

A Generalized Adsorption Rate Model Based on the Limiting-Component Constraint in Ion-Exchange Chromatographic Separation for Multicomponent Systems

DEFF Research Database (Denmark)

such that conventional LDF (linear driving force) type models are extended to inactive zones without loosing their generality. Based on a limiting component constraint, an exchange probability kernel is developed for multi-component systems. The LDF-type model with the kernel is continuous with time and axial direction....... Two tuning parameters such as concentration layer thickness and function change rate at the threshold point are needed for the probability kernels, which are not sensitive to problems considered....

Dynamical systems with first- and second-class constraints. II. Local-symmetry transformations

International Nuclear Information System (INIS)

Chitaia, N.P.; Gogilidze, S.A.; Surovtsev, Y.S.

1997-01-01

In the framework of the generalized Hamiltonian formalism by Dirac, local symmetries of dynamical systems with first- and second-class constraints are investigated. The method of constructing the generator of local-symmetry transformations is presented both for theories with an algebra of constraints of a special form (a majority of the physically interesting theories) and in the general case without restrictions on the algebra of constraints. It is proven that second-class constraints do not contribute to the transformation law of the local symmetry entirely stipulated by all the first-class constraints. A mechanism of the occurrence of higher derivatives of coordinates and group parameters in the symmetry transformation law in Noether close-quote s second theorem is elucidated. In the latter case it is shown that the obtained transformations of symmetry are canonical in the extended (by Ostrogradsky) phase space. It is thereby shown that in the general case the degeneracy of theories with first- and second-class constraints is due to their invariance under local-symmetry transformations. copyright 1997 The American Physical Society

Figures of merit and constraints from testing general relativity using the latest cosmological data sets including refined COSMOS 3D weak lensing

International Nuclear Information System (INIS)

Dossett, Jason N.; Moldenhauer, Jacob; Ishak, Mustapha

2011-01-01

We use cosmological constraints from current data sets and a figure of merit approach in order to probe any deviations from general relativity at cosmological scales. The figure of merit approach is used to study and compare the constraining power of various combinations of data sets on the modified gravity (MG) parameters. We use the recently refined HST-COSMOS weak-lensing tomography data, the ISW-galaxy cross correlations from 2MASS and SDSS luminous red galaxy surveys, the matter power spectrum from SDSS-DR7 (MPK), the WMAP7 temperature and polarization spectra, the baryon acoustic oscillations from Two-Degree Field and SDSS-DR7, and the Union2 compilation of type Ia supernovae, in addition to other bounds from Hubble parameter measurements and big bang nucleosynthesis. We use three parametrizations of MG parameters that enter the perturbed field equations. In order to allow for variations of the parameters with the redshift and scale, the first two parametrizations use recently suggested functional forms while the third is based on binning methods. Using the first parametrization, we find that the CMB+ISW+WL combination provides the strongest constraints on the MG parameters followed by CMB+WL or CMB+MPK+ISW. Using the second parametrization or the binning methods, we find that the combination CMB+MPK+ISW consistently provides some of the strongest constraints. This shows that the constraints are parametrization dependent. We find that adding up current data sets does not improve consistently the uncertainties on MG parameters due to tensions between the best-fit MG parameters preferred by different data sets. Furthermore, some functional forms imposed by the parametrizations can lead to an exacerbation of these tensions. Next, unlike some studies that used the CFHTLS lensing data, we do not find any deviation from general relativity using the refined HST-COSMOS data, confirming previous claims in those studies that their result may have been due to some

Computing group cardinality constraint solutions for logistic regression problems.

Science.gov (United States)

Zhang, Yong; Kwon, Dongjin; Pohl, Kilian M

2017-01-01

We derive an algorithm to directly solve logistic regression based on cardinality constraint, group sparsity and use it to classify intra-subject MRI sequences (e.g. cine MRIs) of healthy from diseased subjects. Group cardinality constraint models are often applied to medical images in order to avoid overfitting of the classifier to the training data. Solutions within these models are generally determined by relaxing the cardinality constraint to a weighted feature selection scheme. However, these solutions relate to the original sparse problem only under specific assumptions, which generally do not hold for medical image applications. In addition, inferring clinical meaning from features weighted by a classifier is an ongoing topic of discussion. Avoiding weighing features, we propose to directly solve the group cardinality constraint logistic regression problem by generalizing the Penalty Decomposition method. To do so, we assume that an intra-subject series of images represents repeated samples of the same disease patterns. We model this assumption by combining series of measurements created by a feature across time into a single group. Our algorithm then derives a solution within that model by decoupling the minimization of the logistic regression function from enforcing the group sparsity constraint. The minimum to the smooth and convex logistic regression problem is determined via gradient descent while we derive a closed form solution for finding a sparse approximation of that minimum. We apply our method to cine MRI of 38 healthy controls and 44 adult patients that received reconstructive surgery of Tetralogy of Fallot (TOF) during infancy. Our method correctly identifies regions impacted by TOF and generally obtains statistically significant higher classification accuracy than alternative solutions to this model, i.e., ones relaxing group cardinality constraints. Copyright © 2016 Elsevier B.V. All rights reserved.

Planetary protection issues related to human missions to Mars

Science.gov (United States)

Debus, A.; Arnould, J.

2008-09-01

the mission, sending astronauts to Mars will entail meeting all these constraints. Astronauts present huge sources of contamination for Mars and are also potential carriers of biohazardous material on their return to Earth. If they were to have the misfortune of being contaminated, they themselves would become a biohazard, and, as a consequence, in addition to the technical constraints, human and ethical considerations must also be taken into account.

Mission Operations Planning with Preferences: An Empirical Study

Science.gov (United States)

Bresina, John L.; Khatib, Lina; McGann, Conor

2006-01-01

This paper presents an empirical study of some nonexhaustive approaches to optimizing preferences within the context of constraint-based, mixed-initiative planning for mission operations. This work is motivated by the experience of deploying and operating the MAPGEN (Mixed-initiative Activity Plan GENerator) system for the Mars Exploration Rover Mission. Responsiveness to the user is one of the important requirements for MAPGEN, hence, the additional computation time needed to optimize preferences must be kept within reasonabble bounds. This was the primary motivation for studying non-exhaustive optimization approaches. The specific goals of rhe empirical study are to assess the impact on solution quality of two greedy heuristics used in MAPGEN and to assess the improvement gained by applying a linear programming optimization technique to the final solution.

A note on the CFT origin of the strong constraint of DFT

International Nuclear Information System (INIS)

Betz, André; Blumenhagen, Ralph; Lüst, Dieter; Rennecke, Felix

2014-01-01

In double field theory, motivated by its field theoretic consistency, the level matching condition is generalized to the so-called strong constraint. In this note, it is investigated what the two-dimensional conformal field theory origin of this constraint is. Initially treating the left- and right-movers as independent, we compute the torus partition function as well as a generalized Virasoro-Shapiro amplitude. In non-compact directions the strong constraint arises from the factorization of the Virasoro-Shapiro amplitude over physical states as determined by the modular invariant partition function. From the same argument, along internal toroidal directions, no analogous constraint arises

The effect of the National Health Insurance Scheme (NHIS) on health service delivery in mission facilities in Ghana: a retrospective study.

Science.gov (United States)

Aryeetey, Genevieve Cecilia; Nonvignon, Justice; Amissah, Caroline; Buckle, Gilbert; Aikins, Moses

2016-06-07

In 2004, Ghana began implementation of a National Health Insurance Scheme (NHIS) to minimize out-of-pocket expenditure at the point of use of service. The implementation of the scheme was accompanied by increased access and use of health care services. Evidence suggests most health facilities are faced with management challenges in the delivery of services. The study aimed to assess the effect of the introduction of the NHIS on health service delivery in mission health facilities in Ghana. We conceptualised the effect of NHIS on facilities using service delivery indicators such as outpatient and inpatient turn out, estimation of general service readiness, revenue and expenditure, claims processing and availability of essential medicines. We collected data from 38 mission facilities, grouped into the three ecological zones; southern, middle and northern. Structured questionnaires and exit interviews were used to collect data for the periods 2003 and 2010. The data was analysed in SPSS and MS Excel. The facilities displayed high readiness to deliver services. There were significant increases in outpatient and inpatient attendance, revenue, expenditure and improved access to medicines. Generally, facilities reported increased readiness to deliver services. However, challenging issues around high rates of non-reimbursement of NHIS claims due to errors in claims processing, lack of feedback regarding errors, and lack of clarity on claims reporting procedures were reported. The implementation of the NHIS saw improvement and expansion of services resulting in benefits to the facilities as well as constraints. The constraints could be minimized if claims processing is improved at the facility level and delays in reimbursements also reduced.

Development and application of a unified balancing approach with multiple constraints

Science.gov (United States)

Zorzi, E. S.; Lee, C. C.; Giordano, J. C.

1985-01-01

The development of a general analytic approach to constrained balancing that is consistent with past influence coefficient methods is described. The approach uses Lagrange multipliers to impose orbit and/or weight constraints; these constraints are combined with the least squares minimization process to provide a set of coupled equations that result in a single solution form for determining correction weights. Proper selection of constraints results in the capability to: (1) balance higher speeds without disturbing previously balanced modes, thru the use of modal trial weight sets; (2) balance off-critical speeds; and (3) balance decoupled modes by use of a single balance plane. If no constraints are imposed, this solution form reduces to the general weighted least squares influence coefficient method. A test facility used to examine the use of the general constrained balancing procedure and application of modal trial weight ratios is also described.

On the constraints violation in forward dynamics of multibody systems

Energy Technology Data Exchange (ETDEWEB)

Marques, Filipe [University of Minho, Department of Mechanical Engineering (Portugal); Souto, António P. [University of Minho, Department of Textile Engineering (Portugal); Flores, Paulo, E-mail: pflores@dem.uminho.pt [University of Minho, Department of Mechanical Engineering (Portugal)

2017-04-15

It is known that the dynamic equations of motion for constrained mechanical multibody systems are frequently formulated using the Newton–Euler’s approach, which is augmented with the acceleration constraint equations. This formulation results in the establishment of a mixed set of partial differential and algebraic equations, which are solved in order to predict the dynamic behavior of general multibody systems. The classical solution of the equations of motion is highly prone to constraints violation because the position and velocity constraint equations are not fulfilled. In this work, a general and comprehensive methodology to eliminate the constraints violation at the position and velocity levels is offered. The basic idea of the described approach is to add corrective terms to the position and velocity vectors with the intent to satisfy the corresponding kinematic constraint equations. These corrective terms are evaluated as a function of the Moore–Penrose generalized inverse of the Jacobian matrix and of the kinematic constraint equations. The described methodology is embedded in the standard method to solve the equations of motion based on the technique of Lagrange multipliers. Finally, the effectiveness of the described methodology is demonstrated through the dynamic modeling and simulation of different planar and spatial multibody systems. The outcomes in terms of constraints violation at the position and velocity levels, conservation of the total energy and computational efficiency are analyzed and compared with those obtained with the standard Lagrange multipliers method, the Baumgarte stabilization method, the augmented Lagrangian formulation, the index-1 augmented Lagrangian, and the coordinate partitioning method.

Cosmological constraints on Brans-Dicke theory.

Science.gov (United States)

Avilez, A; Skordis, C

2014-07-04

We report strong cosmological constraints on the Brans-Dicke (BD) theory of gravity using cosmic microwave background data from Planck. We consider two types of models. First, the initial condition of the scalar field is fixed to give the same effective gravitational strength Geff today as the one measured on Earth, GN. In this case, the BD parameter ω is constrained to ω>692 at the 99% confidence level, an order of magnitude improvement over previous constraints. In the second type, the initial condition for the scalar is a free parameter leading to a somewhat stronger constraint of ω>890, while Geff is constrained to 0.981theory and are valid for any Horndeski theory, the most general second-order scalar-tensor theory, which approximates the BD theory on cosmological scales. In this sense, our constraints place strong limits on possible modifications of gravity that might explain cosmic acceleration.

Multiple spacecraft configuration designs for coordinated flight missions

Science.gov (United States)

Fumenti, Federico; Theil, Stephan

2018-06-01

Coordinated flight allows the replacement of a single monolithic spacecraft with multiple smaller ones, based on the principle of distributed systems. According to the mission objectives and to ensure a safe relative motion, constraints on the relative distances need to be satisfied. Initially, differential perturbations are limited by proper orbit design. Then, the induced differential drifts can be properly handled through corrective maneuvers. In this work, several designs are surveyed, defining the initial configuration of a group of spacecraft while counteracting the differential perturbations. For each of the investigated designs, focus is placed upon the number of deployable spacecraft and on the possibility to ensure safe relative motion through station keeping of the initial configuration, with particular attention to the required Δ V budget and the constraints violations.

Comparison of technologies for deorbiting spacecraft from low-earth-orbit at end of mission

Science.gov (United States)

Sánchez-Arriaga, G.; Sanmartín, J. R.; Lorenzini, E. C.

2017-09-01

An analytical comparison of four technologies for deorbiting spacecraft from Low-Earth-Orbit at end of mission is presented. Basic formulas based on simple physical models of key figures of merit for each device are found. Active devices - rockets and electrical thrusters - and passive technologies - drag augmentation devices and electrodynamic tethers - are considered. A basic figure of merit is the deorbit device-to-spacecraft mass ratio, which is, in general, a function of environmental variables, technology development parameters and deorbit time. For typical state-of-the-art values, equal deorbit time, middle inclination and initial altitude of 850 km, the analysis indicates that tethers are about one and two orders of magnitude lighter than active technologies and drag augmentation devices, respectively; a tether needs a few percent mass-ratio for a deorbit time of a couple of weeks. For high inclination, the performance drop of the tether system is moderate: mass ratio and deorbit time increase by factors of 2 and 4, respectively. Besides collision risk with other spacecraft and system mass considerations, such as main driving factors for deorbit space technologies, the analysis addresses other important constraints, like deorbit time, system scalability, manoeuver capability, reliability, simplicity, attitude control requirement, and re-entry and multi-mission capability (deorbit and re-boost) issues. The requirements and constraints are used to make a critical assessment of the four technologies as functions of spacecraft mass and initial orbit (altitude and inclination). Emphasis is placed on electrodynamic tethers, including the latest advances attained in the FP7/Space project BETs. The superiority of tape tethers as compared to round and multi-line tethers in terms of deorbit mission performance is highlighted, as well as the importance of an optimal geometry selection, i.e. tape length, width, and thickness, as function of spacecraft mass and initial

Monte Carlo Analysis as a Trajectory Design Driver for the Transiting Exoplanet Survey Satellite (TESS) Mission

Science.gov (United States)

Nickel, Craig; Parker, Joel; Dichmann, Don; Lebois, Ryan; Lutz, Stephen

2016-01-01

The Transiting Exoplanet Survey Satellite (TESS) will be injected into a highly eccentric Earth orbit and fly 3.5 phasing loops followed by a lunar flyby to enter a mission orbit with lunar 2:1 resonance. Through the phasing loops and mission orbit, the trajectory is significantly affected by lunar and solar gravity. We have developed a trajectory design to achieve the mission orbit and meet mission constraints, including eclipse avoidance and a 30-year geostationary orbit avoidance requirement. A parallelized Monte Carlo simulation was performed to validate the trajectory after injecting common perturbations, including launch dispersions, orbit determination errors, and maneuver execution errors. The Monte Carlo analysis helped identify mission risks and is used in the trajectory selection process.

[The Nature and Issues of Drug Addiction Treatment under Constraint].

Science.gov (United States)

Quirion, Bastien

This article is exploring different forms of constraint that are exerted in the field of drug addiction treatment. The objective of this article is to establish benchmarks and to stimulate reflection about the ethical and clinical implications of those constraints in the field of drug addiction treatment. This article is presenting a critical review of different forms of constraint that can be exerted in Canada in regard to the treatment of drug addiction. In the first section of the article, a definition of therapeutic intervention is proposed, that includes the dimension of power, which justifies the importance of considering the coercive aspects of treatment. The second section, which represents the core section of the paper, is devoted to the presentation of different levels of constraint that can be distinguished in regard to drug addicts who are under treatment. Three levels of constraint are exposed: judicial constraint, institutional constraint and relational constraint. The coercive aspect of treatment can then be recognized as a combination of all tree levels of constraint. Judicial constraint refers to any form of constraint in which the court or the judge is imposing or recommending treatment. This particular level of constraint can take different forms, such as therapeutic remands, conditions of a probation order, conditions of a conditional sentence of imprisonment, and coercive treatment such as the ones provided through drug courts. Institutional constraint refers to any form of constraint exerted within any institutional setting, such as correctional facilities and programs offered in community. Correctional facilities being limited by their own specific mission, it might have a major impact on the way the objectives of treatment are defined. Those limitations can then be considered as a form of constraint, in which drug users don't have much space to express their personal needs. Finally, relational constraint refers to any form of constraint in

The German joint research project "concepts for future gravity satellite missions"

Science.gov (United States)

Reubelt, Tilo; Sneeuw, Nico; Fichter, Walter; Müller, Jürgen

2010-05-01

Within the German joint research project "concepts for future gravity satellite missions", funded by the Geotechnologies programme of the German Federal Ministry of Education and Research, options and concepts for future satellite missions for precise (time-variable) gravity field recovery are investigated. The project team is composed of members from science and industry, bringing together experts in geodesy, satellite systems, metrology, sensor technology and control systems. The majority of team members already contributed to former gravity missions. The composition of the team guarantees that not only geodetic aspects and objectives are investigated, but also technological and financial constraints are considered. Conversely, satellite, sensor and system concepts are developed and improved in a direct exchange with geodetic and scientific claims. The project aims to develop concepts for both near and mid-term future satellite missions, taking into account e.g. advanced satellite formations and constellations, improved orbit design, innovative metrology and sensor systems and advances in satellite systems.

MICROSCOPE Mission: First Constraints on the Violation of the Weak Equivalence Principle by a Light Scalar Dilaton

Science.gov (United States)

Bergé, Joel; Brax, Philippe; Métris, Gilles; Pernot-Borràs, Martin; Touboul, Pierre; Uzan, Jean-Philippe

2018-04-01

The existence of a light or massive scalar field with a coupling to matter weaker than gravitational strength is a possible source of violation of the weak equivalence principle. We use the first results on the Eötvös parameter by the MICROSCOPE experiment to set new constraints on such scalar fields. For a massive scalar field of mass smaller than 10-12 eV (i.e., range larger than a few 1 05 m ), we improve existing constraints by one order of magnitude to |α |baryon number and to |α |baryon and the lepton numbers. We also consider a model describing the coupling of a generic dilaton to the standard matter fields with five parameters, for a light field: We find that, for masses smaller than 10-12 eV , the constraints on the dilaton coupling parameters are improved by one order of magnitude compared to previous equivalence principle tests.

MICROSCOPE Mission: First Constraints on the Violation of the Weak Equivalence Principle by a Light Scalar Dilaton.

Science.gov (United States)

Bergé, Joel; Brax, Philippe; Métris, Gilles; Pernot-Borràs, Martin; Touboul, Pierre; Uzan, Jean-Philippe

2018-04-06

The existence of a light or massive scalar field with a coupling to matter weaker than gravitational strength is a possible source of violation of the weak equivalence principle. We use the first results on the Eötvös parameter by the MICROSCOPE experiment to set new constraints on such scalar fields. For a massive scalar field of mass smaller than 10^{-12}  eV (i.e., range larger than a few 10^{5}  m), we improve existing constraints by one order of magnitude to |α|difference between the baryon and the lepton numbers. We also consider a model describing the coupling of a generic dilaton to the standard matter fields with five parameters, for a light field: We find that, for masses smaller than 10^{-12}  eV, the constraints on the dilaton coupling parameters are improved by one order of magnitude compared to previous equivalence principle tests.

Iterative Schemes for Convex Minimization Problems with Constraints

Directory of Open Access Journals (Sweden)

Lu-Chuan Ceng

2014-01-01

Full Text Available We first introduce and analyze one implicit iterative algorithm for finding a solution of the minimization problem for a convex and continuously Fréchet differentiable functional, with constraints of several problems: the generalized mixed equilibrium problem, the system of generalized equilibrium problems, and finitely many variational inclusions in a real Hilbert space. We prove strong convergence theorem for the iterative algorithm under suitable conditions. On the other hand, we also propose another implicit iterative algorithm for finding a fixed point of infinitely many nonexpansive mappings with the same constraints, and derive its strong convergence under mild assumptions.

Exact penalty results for mathematical programs with vanishing constraints

Czech Academy of Sciences Publication Activity Database

Hoheisel, T.; Kanzow, Ch.; Outrata, Jiří

2010-01-01

Roč. 72, č. 5 (2010), s. 2514-2526 ISSN 0362-546X R&D Projects: GA AV ČR IAA100750802 Institutional research plan: CEZ:AV0Z10750506 Keywords : Mathematical programs with vanishing constraints * Mathematical programs with equilibrium constraints * Exact penalization * Calmness * Subdifferential calculus * Limiting normal cone Subject RIV: BA - General Mathematics Impact factor: 1.279, year: 2010 http://library.utia.cas.cz/separaty/2010/MTR/outrata-exact penalty results for mathematical programs with vanishing constraints.pdf

Constraint Embedding Technique for Multibody System Dynamics

Science.gov (United States)

Woo, Simon S.; Cheng, Michael K.

2011-01-01

Multibody dynamics play a critical role in simulation testbeds for space missions. There has been a considerable interest in the development of efficient computational algorithms for solving the dynamics of multibody systems. Mass matrix factorization and inversion techniques and the O(N) class of forward dynamics algorithms developed using a spatial operator algebra stand out as important breakthrough on this front. Techniques such as these provide the efficient algorithms and methods for the application and implementation of such multibody dynamics models. However, these methods are limited only to tree-topology multibody systems. Closed-chain topology systems require different techniques that are not as efficient or as broad as those for tree-topology systems. The closed-chain forward dynamics approach consists of treating the closed-chain topology as a tree-topology system subject to additional closure constraints. The resulting forward dynamics solution consists of: (a) ignoring the closure constraints and using the O(N) algorithm to solve for the free unconstrained accelerations for the system; (b) using the tree-topology solution to compute a correction force to enforce the closure constraints; and (c) correcting the unconstrained accelerations with correction accelerations resulting from the correction forces. This constraint-embedding technique shows how to use direct embedding to eliminate local closure-loops in the system and effectively convert the system back to a tree-topology system. At this point, standard tree-topology techniques can be brought to bear on the problem. The approach uses a spatial operator algebra approach to formulating the equations of motion. The operators are block-partitioned around the local body subgroups to convert them into aggregate bodies. Mass matrix operator factorization and inversion techniques are applied to the reformulated tree-topology system. Thus in essence, the new technique allows conversion of a system with

Computational needs survey of NASA automation and robotics missions. Volume 2: Appendixes

Science.gov (United States)

Davis, Gloria J.

1991-01-01

NASA's operational use of advanced processor technology in space systems lags behind its commercial development by more than eight years. One of the factors contributing to this is the fact that mission computing requirements are frequency unknown, unstated, misrepresented, or simply not available in a timely manner. NASA must provide clear common requirements to make better use of available technology, to cut development lead time on deployable architectures, and to increase the utilization of new technology. Here, NASA, industry and academic communities are provided with a preliminary set of advanced mission computational processing requirements of automation and robotics (A and R) systems. The results were obtained in an assessment of the computational needs of current projects throughout NASA. The high percent of responses indicated a general need for enhanced computational capabilities beyond the currently available 80386 and 68020 processor technology. Because of the need for faster processors and more memory, 90 percent of the polled automation projects have reduced or will reduce the scope of their implemented capabilities. The requirements are presented with respect to their targeted environment, identifying the applications required, system performance levels necessary to support them, and the degree to which they are met with typical programmatic constraints. Here, appendixes are provided.

Superconformal Lagrangian without the need to introduce constraints

International Nuclear Information System (INIS)

Pilot, C.H.

1986-01-01

A field Lagrangian invariant under all the symmetries of the superconformal group has been constructed without the need to introduce constraints on the curvatures. We have thus generalized the action of Townsend, van Nieuwenhuizen, and Kaku. We maintain that any and all constraints on the curvatures should result as a consequence of spontaneous symmetry breaking and not be a priori enforced. 14 refs

Institutional constraints on alternative water for energy: a guidebook for regional assessments

Energy Technology Data Exchange (ETDEWEB)

1980-11-01

Basic information is presented about the legal, political, and social constraints faced by energy developers in the acquisition of water from underground, irrigation return flow, municipal waste, and saline sources. It is a guide to those institutional constraints which are general and pronounced enough to be important for regional assessments. First, attention was focused on the acquisition phase of the water use cycle. Second, constraints were analyzed primarily from a regional, rather than state-by-state, perspective. Emphasis was placed generally on the West - particularly the synfuel-rich Rocky Mountain states, the East, and Mid-West, in that order. Alaska and Hawaii were not surveyed. Third, the study focuses on the constraints associated with groundwater, municipal waste, irrigation return flow, and sea water, in that order. The phrase, institutional constraints, as used in the study, means legal, social, economic, and political restrictions, requirements, circumstances, or conditions that must be anticipated or responded to in order to acquire water for energy development. The study focuses primarily on legal constraints and secondarily on political constraints, because they tend to encompass or reflect other forms of institutional constraints.

Real-Time Attitude Control Algorithm for Fast Tumbling Objects under Torque Constraint

Science.gov (United States)

Tsuda, Yuichi; Nakasuka, Shinichi

This paper describes a new control algorithm for achieving any arbitrary attitude and angular velocity states of a rigid body, even fast and complicated tumbling rotations, under some practical constraints. This technique is expected to be applied for the attitude motion synchronization to capture a non-cooperative, tumbling object in such missions as removal of debris from orbit, servicing broken-down satellites for repairing or inspection, rescue of manned vehicles, etc. For this objective, we have introduced a novel control algorithm called Free Motion Path Method (FMPM) in the previous paper, which was formulated as an open-loop controller. The next step of this consecutive work is to derive a closed-loop FMPM controller, and as the preliminary step toward the objective, this paper attempts to derive a conservative state variables representation of a rigid body dynamics. 6-Dimensional conservative state variables are introduced in place of general angular velocity-attitude angle representation, and how to convert between both representations are shown in this paper.

Hamiltonian constraint in polymer parametrized field theory

International Nuclear Information System (INIS)

Laddha, Alok; Varadarajan, Madhavan

2011-01-01

Recently, a generally covariant reformulation of two-dimensional flat spacetime free scalar field theory known as parametrized field theory was quantized using loop quantum gravity (LQG) type ''polymer'' representations. Physical states were constructed, without intermediate regularization structures, by averaging over the group of gauge transformations generated by the constraints, the constraint algebra being a Lie algebra. We consider classically equivalent combinations of these constraints corresponding to a diffeomorphism and a Hamiltonian constraint, which, as in gravity, define a Dirac algebra. Our treatment of the quantum constraints parallels that of LQG and obtains the following results, expected to be of use in the construction of the quantum dynamics of LQG: (i) the (triangulated) Hamiltonian constraint acts only on vertices, its construction involves some of the same ambiguities as in LQG and its action on diffeomorphism invariant states admits a continuum limit, (ii) if the regulating holonomies are in representations tailored to the edge labels of the state, all previously obtained physical states lie in the kernel of the Hamiltonian constraint, (iii) the commutator of two (density weight 1) Hamiltonian constraints as well as the operator correspondent of their classical Poisson bracket converge to zero in the continuum limit defined by diffeomorphism invariant states, and vanish on the Lewandowski-Marolf habitat, (iv) the rescaled density 2 Hamiltonian constraints and their commutator are ill-defined on the Lewandowski-Marolf habitat despite the well-definedness of the operator correspondent of their classical Poisson bracket there, (v) there is a new habitat which supports a nontrivial representation of the Poisson-Lie algebra of density 2 constraints.

Asteroid Rendezvous Mission Design Using Multiobjective Particle Swarm Optimization

Directory of Open Access Journals (Sweden)

Ya-zhong Luo

2014-01-01

Full Text Available A new preliminary trajectory design method for asteroid rendezvous mission using multiobjective optimization techniques is proposed. This method can overcome the disadvantages of the widely employed Pork-Chop method. The multiobjective integrated launch window and multi-impulse transfer trajectory design model is formulated, which employes minimum-fuel cost and minimum-time transfer as two objective functions. The multiobjective particle swarm optimization (MOPSO is employed to locate the Pareto solution. The optimization results of two different asteroid mission designs show that the proposed approach can effectively and efficiently demonstrate the relations among the mission characteristic parameters such as launch time, transfer time, propellant cost, and number of maneuvers, which will provide very useful reference for practical asteroid mission design. Compared with the PCP method, the proposed approach is demonstrated to be able to provide much more easily used results, obtain better propellant-optimal solutions, and have much better efficiency. The MOPSO shows a very competitive performance with respect to the NSGA-II and the SPEA-II; besides a proposed boundary constraint optimization strategy is testified to be able to improve its performance.

Algorithms and ordering heuristics for distributed constraint satisfaction problems

CERN Document Server

Wahbi , Mohamed

2013-01-01

DisCSP (Distributed Constraint Satisfaction Problem) is a general framework for solving distributed problems arising in Distributed Artificial Intelligence.A wide variety of problems in artificial intelligence are solved using the constraint satisfaction problem paradigm. However, there are several applications in multi-agent coordination that are of a distributed nature. In this type of application, the knowledge about the problem, that is, variables and constraints, may be logically or geographically distributed among physical distributed agents. This distribution is mainly due to p

Accessing Information on the Mars Exploration Rovers Mission

Science.gov (United States)

Walton, J. D.; Schreiner, J. A.

2005-12-01

In January 2004, the Mars Exploration Rovers (MER) mission successfully deployed two robotic geologists - Spirit and Opportunity - to opposite sides of the red planet. Onboard each rover is an array of cameras and scientific instruments that send data back to Earth, where ground-based systems process and store the information. During the height of the mission, a team of about 250 scientists and engineers worked around the clock to analyze the collected data, determine a strategy and activities for the next day and then carefully compose the command sequences that would instruct the rovers in how to perform their tasks. The scientists and engineers had to work closely together to balance the science objectives with the engineering constraints so that the mission achieved its goals safely and quickly. To accomplish this coordinated effort, they adhered to a tightly orchestrated schedule of meetings and processes. To keep on time, it was critical that all team members were aware of what was happening, knew how much time they had to complete their tasks, and could easily access the information they need to do their jobs. Computer scientists and software engineers at NASA Ames Research Center worked closely with the mission managers at the Jet Propulsion Laboratory (JPL) to create applications that support the mission. One such application, the Collaborative Information Portal (CIP), helps mission personnel perform their daily tasks, whether they work inside mission control or the science areas at JPL, or in their homes, schools, or offices. With a three-tiered, service-oriented architecture (SOA) - client, middleware, and data repository - built using Java and commercial software, CIP provides secure access to mission schedules and to data and images transmitted from the Mars rovers. This services-based approach proved highly effective for building distributed, flexible applications, and is forming the basis for the design of future mission software systems. Almost two

Design and evaluation of an integrated Quiet, Clean General Aviation Turbofan (QCGAT) engine and aircraft propulsion system

Science.gov (United States)

German, J.; Fogel, P.; Wilson, C.

1980-01-01

The design was based on the LTS-101 engine family for the core engine. A high bypass fan design (BPR=9.4) was incorporated to provide reduced fuel consumption for the design mission. All acoustic and pollutant emissions goals were achieved. A discussion of the preliminary design of a business jet suitable for the developed propulsion system is included. It is concluded that large engine technology can be successfully applied to small turbofans, and noise or pollutant levels need not be constraints for the design of future small general aviation turbofan engines.

Immigration, borrowing constraints and housing market volatility in general equilibrium

OpenAIRE

Onshuus, Helene

2016-01-01

A loan-to-value borrowing constraint is a significant restriction on household behavior. All policy intervention seeks to steer agents' behavior away from what individual agents would consider optimal in the absence of restrictions. In the wake of the financial crisis in 2007-09 many regulators have turned to macroprudential tools to manage excessive risk-taking on an economy-wide level. In Norway a strict loan-to-value policy was imposed in June 2015, restricting the amount a household can b...

Constraints on Covariant Horava-Lifshitz Gravity from frame-dragging experiment

Energy Technology Data Exchange (ETDEWEB)

Radicella, Ninfa; Lambiase, Gaetano; Parisi, Luca; Vilasi, Gaetano, E-mail: ninfa.radicella@sa.infn.it, E-mail: lambiase@sa.infn.it, E-mail: parisi@sa.infn.it, E-mail: vilasi@sa.infn.it [Dipartimento di Fisica ' ' E.R. Caianiello" , Università di Salerno, Via Giovanni Paolo II 132, 84081 Fisciano (Italy)

2014-12-01

The effects of Horava-Lifshitz corrections to the gravito-magnetic field are analyzed. Solutions in the weak field, slow motion limit, referring to the motion of a satellite around the Earth are considered. The post-newtonian paradigm is used to evaluate constraints on the Horava-Lifshitz parameter space from current satellite and terrestrial experiments data. In particular, we focus on GRAVITY PROBE B, LAGEOS and the more recent LARES mission, as well as a forthcoming terrestrial project, GINGER.

The Geospace Dynamics Observatory; a mission of discovery for Geospace

Science.gov (United States)

Spann, J. F.; Paxton, L.; Burch, J. L.; Reardon, P.; Habash Krause, L.; Gallagher, D. L.; Hopkins, R.

2013-12-01

Geospace Dynamics Observatory (GDO) takes advantage a repurposed optical system to provide new, unique, and cost-effective insights into the dynamics of geospace. New missions investigating the ITM system and the magnetospheric-ionospheric coupling processes have generally been very focused on specific phenomena, generally limited by the resource constraints and mission size. Exploring options for observing these regions with instrumentation that is 'non-traditional' is not often considered. The possibility of using very large optics to image Geospace has recently come to the fore. This talk will address the science that would be enabled by flying an ultraviolet telescope imaging the ITM region with an aperture greater than 2 meters. A brief overview of the use of this asset in a science-driven mission concept called the Geospace Dynamics Observatory (GDO) will be presented. This talk will explore the optical and technical aspects of the GDO mission and the implementation strategy. Additionally, the case will be made that GDO will address a significant portion of the priority mission science articulated in the recent Solar and Space Physics Decadal Survey, and provide unprecedented discovery opportunities. One of the problems common to all of geospace research is that of resolving temporal and spatial ambiguities: are the observed changes due the fact that the location of the observation has changed or have the state variables changed? This is a particularly vexing problem for low-cost missions that may have to rely on in situ measurements or other low spatial resolution techniques such as GPS radio occultation. The exceptional capabilities of the GDO mission include (1) unprecedented improvement in signal to noise for global-scale imaging of Earth's space environment that enables changes in the Earth's space environment to be resolved with orders of magnitude higher temporal and spatial resolution compared to existing data and other approaches, and (2) unrivaled

Constraint Differentiation

DEFF Research Database (Denmark)

Mödersheim, Sebastian Alexander; Basin, David; Viganò, Luca

2010-01-01

We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation works by eliminating certain kinds of redundancies that arise in the search space when using constraints to represent...... results show that constraint differentiation substantially reduces search and considerably improves the performance of OFMC, enabling its application to a wider class of problems....

Habitable Exoplanet Imaging Mission (HabEx): Architecture of the 4m Mission Concept

Science.gov (United States)

Kuan, Gary M.; Warfield, Keith R.; Mennesson, Bertrand; Kiessling, Alina; Stahl, H. Philip; Martin, Stefan; Shaklan, Stuart B.; amini, rashied

2018-01-01

The Habitable Exoplanet Imaging Mission (HabEx) study is tasked by NASA to develop a scientifically compelling and technologically feasible exoplanet direct imaging mission concept, with extensive general astrophysics capabilities, for the 2020 Decadal Survey in Astrophysics. The baseline architecture of this space-based observatory concept encompasses an unobscured 4m diameter aperture telescope flying in formation with a 72-meter diameter starshade occulter. This large aperture, ultra-stable observatory concept extends and enhances upon the legacy of the Hubble Space Telescope by allowing us to probe even fainter objects and peer deeper into the Universe in the same ultraviolet, visible, and near infrared wavelengths, and gives us the capability, for the first time, to image and characterize potentially habitable, Earth-sized exoplanets orbiting nearby stars. Revolutionary direct imaging of exoplanets will be undertaken using a high-contrast coronagraph and a starshade imager. General astrophysics science will be undertaken with two world-class instruments – a wide-field workhorse camera for imaging and multi-object grism spectroscopy, and a multi-object, multi-resolution ultraviolet spectrograph. This poster outlines the baseline architecture of the HabEx flagship mission concept.

Constraint-based scheduling applying constraint programming to scheduling problems

CERN Document Server

Baptiste, Philippe; Nuijten, Wim

2001-01-01

Constraint Programming is a problem-solving paradigm that establishes a clear distinction between two pivotal aspects of a problem: (1) a precise definition of the constraints that define the problem to be solved and (2) the algorithms and heuristics enabling the selection of decisions to solve the problem. It is because of these capabilities that Constraint Programming is increasingly being employed as a problem-solving tool to solve scheduling problems. Hence the development of Constraint-Based Scheduling as a field of study. The aim of this book is to provide an overview of the most widely used Constraint-Based Scheduling techniques. Following the principles of Constraint Programming, the book consists of three distinct parts: The first chapter introduces the basic principles of Constraint Programming and provides a model of the constraints that are the most often encountered in scheduling problems. Chapters 2, 3, 4, and 5 are focused on the propagation of resource constraints, which usually are responsibl...

Planning For Multiple NASA Missions With Use Of Enabling Radioisotope Power

Energy Technology Data Exchange (ETDEWEB)

S.G. Johnson; K.L. Lively; C.C. Dwight

2013-02-01

Since the early 1960’s the Department of Energy (DOE) and its predecessor agencies have provided radioisotope power systems (RPS) to NASA as an enabling technology for deep space and various planetary missions. They provide reliable power in situations where solar and/or battery power sources are either untenable or would place an undue mass burden on the mission. In the modern era of the past twenty years there has been no time that multiple missions have been considered for launching from Kennedy Space Center (KSC) during the same year. The closest proximity of missions that involved radioisotope power systems would be that of Galileo (October 1989) and Ulysses (October 1990). The closest that involved radioisotope heater units would be the small rovers Spirit and Opportunity (May and July 2003) used in the Mars Exploration Rovers (MER) mission. It can be argued that the rovers sent to Mars in 2003 were essentially a special case since they staged in the same facility and used a pair of small launch vehicles (Delta II). This paper examines constraints on the frequency of use of radioisotope power systems with regard to launching them from Kennedy Space Center using currently available launch vehicles. This knowledge may be useful as NASA plans for its future deep space or planetary missions where radioisotope power systems are used as an enabling technology. Previous descriptions have focused on single mission chronologies and not analyzed the timelines with an emphasis on multiple missions.

Learning from the Mars Rover Mission: Scientific Discovery, Learning and Memory

Science.gov (United States)

Linde, Charlotte

2005-01-01

Purpose: Knowledge management for space exploration is part of a multi-generational effort. Each mission builds on knowledge from prior missions, and learning is the first step in knowledge production. This paper uses the Mars Exploration Rover mission as a site to explore this process. Approach: Observational study and analysis of the work of the MER science and engineering team during rover operations, to investigate how learning occurs, how it is recorded, and how these representations might be made available for subsequent missions. Findings: Learning occurred in many areas: planning science strategy, using instrumen?s within the constraints of the martian environment, the Deep Space Network, and the mission requirements; using software tools effectively; and running two teams on Mars time for three months. This learning is preserved in many ways. Primarily it resides in individual s memories. It is also encoded in stories, procedures, programming sequences, published reports, and lessons learned databases. Research implications: Shows the earliest stages of knowledge creation in a scientific mission, and demonstrates that knowledge management must begin with an understanding of knowledge creation. Practical implications: Shows that studying learning and knowledge creation suggests proactive ways to capture and use knowledge across multiple missions and generations. Value: This paper provides a unique analysis of the learning process of a scientific space mission, relevant for knowledge management researchers and designers, as well as demonstrating in detail how new learning occurs in a learning organization.

Open source IPSEC software in manned and unmanned space missions

Science.gov (United States)

Edwards, Jacob

Network security is a major topic of research because cyber attackers pose a threat to national security. Securing ground-space communications for NASA missions is important because attackers could endanger mission success and human lives. This thesis describes how an open source IPsec software package was used to create a secure and reliable channel for ground-space communications. A cost efficient, reproducible hardware testbed was also created to simulate ground-space communications. The testbed enables simulation of low-bandwidth and high latency communications links to experiment how the open source IPsec software reacts to these network constraints. Test cases were built that allowed for validation of the testbed and the open source IPsec software. The test cases also simulate using an IPsec connection from mission control ground routers to points of interest in outer space. Tested open source IPsec software did not meet all the requirements. Software changes were suggested to meet requirements.

Orthology and paralogy constraints: satisfiability and consistency

OpenAIRE

Lafond, Manuel; El-Mabrouk, Nadia

2014-01-01

Background A variety of methods based on sequence similarity, reconciliation, synteny or functional characteristics, can be used to infer orthology and paralogy relations between genes of a given gene family   G . But is a given set   C of orthology/paralogy constraints possible, i.e., can they simultaneously co-exist in an evolutionary history for   G ? While previous studies have focused on full sets of constraints, here we consider the general case where   C does not necessarily involve a ...

76 FR 58776 - U.S. Aerospace Supplier & Investment Mission

Science.gov (United States)

2011-09-22

.... products to enter Canada duty-free and therefore further contributes to the relatively low-cost, low-risk... 7 8:00-8:30 Mission Welcoming Remarks by Consul General/SCO & Mission Logistics Briefing. 8:30-9:30... mission must complete and submit an application form for consideration by the Department of Commerce. All...

Future applications of artificial intelligence to Mission Control Centers

Science.gov (United States)

Friedland, Peter

1991-01-01

Future applications of artificial intelligence to Mission Control Centers are presented in the form of the viewgraphs. The following subject areas are covered: basic objectives of the NASA-wide AI program; inhouse research program; constraint-based scheduling; learning and performance improvement for scheduling; GEMPLAN multi-agent planner; planning, scheduling, and control; Bayesian learning; efficient learning algorithms; ICARUS (an integrated architecture for learning); design knowledge acquisition and retention; computer-integrated documentation; and some speculation on future applications.

Mission Analysis and Orbit Control of Interferometric Wheel Formation Flying

Science.gov (United States)

Fourcade, J.

Flying satellite in formation requires maintaining the specific relative geometry of the spacecraft with high precision. This requirement raises new problem of orbit control. This paper presents the results of the mission analysis of a low Earth observation system, the interferometric wheel, patented by CNES. This wheel is made up of three receiving spacecraft, which follow an emitting Earth observation radar satellite. The first part of this paper presents trades off which were performed to choose orbital elements of the formation flying which fulfils all constraints. The second part presents orbit positioning strategies including reconfiguration of the wheel to change its size. The last part describes the station keeping of the formation. Two kinds of constraints are imposed by the interferometric system : a constraint on the distance between the wheel and the radar satellite, and constraints on the distance between the wheel satellites. The first constraint is fulfilled with a classical chemical station keeping strategy. The second one is fulfilled using pure passive actuators. Due to the high stability of the relative eccentricity of the formation, only the relative semi major axis had to be controlled. Differential drag due to differential attitude motion was used to control relative altitude. An autonomous orbit controller was developed and tested. The final accuracy is a relative station keeping better than few meters for a wheel size of one kilometer.

q-Virasoro constraints in matrix models

Energy Technology Data Exchange (ETDEWEB)

Nedelin, Anton [Dipartimento di Fisica, Università di Milano-Bicocca and INFN, sezione di Milano-Bicocca, Piazza della Scienza 3, I-20126 Milano (Italy); Department of Physics and Astronomy, Uppsala university,Box 516, SE-75120 Uppsala (Sweden); Zabzine, Maxim [Department of Physics and Astronomy, Uppsala university,Box 516, SE-75120 Uppsala (Sweden)

2017-03-20

The Virasoro constraints play the important role in the study of matrix models and in understanding of the relation between matrix models and CFTs. Recently the localization calculations in supersymmetric gauge theories produced new families of matrix models and we have very limited knowledge about these matrix models. We concentrate on elliptic generalization of hermitian matrix model which corresponds to calculation of partition function on S{sup 3}×S{sup 1} for vector multiplet. We derive the q-Virasoro constraints for this matrix model. We also observe some interesting algebraic properties of the q-Virasoro algebra.

Constraints on hadronically decaying dark matter

Energy Technology Data Exchange (ETDEWEB)

Garny, Mathias [Technische Univ. Muenchen, Garching (Germany). Physik-Department; Deutsches Elektronen-Synchrotron (DESY), Hamburg (Germany); Ibarra, Alejandro [Deutsches Elektronen-Synchrotron (DESY), Hamburg (Germany); Tran, David [Technische Univ. Muenchen, Garching (Germany). Physik-Department; Minnesota Univ., Minneapolis, MN (United States). School of Physics and Astronomy

2012-05-15

We present general constraints on dark matter stability in hadronic decay channels derived from measurements of cosmic-ray antiprotons.We analyze various hadronic decay modes in a model-independent manner by examining the lowest-order decays allowed by gauge and Lorentz invariance for scalar and fermionic dark matter particles and present the corresponding lower bounds on the partial decay lifetimes in those channels. We also investigate the complementarity between hadronic and gamma-ray constraints derived from searches for monochromatic lines in the sky, which can be produced at the quantum level if the dark matter decays into quark-antiquark pairs at leading order.

Constraints on hadronically decaying dark matter

International Nuclear Information System (INIS)

Garny, Mathias; Ibarra, Alejandro; Tran, David; Minnesota Univ., Minneapolis, MN

2012-05-01

We present general constraints on dark matter stability in hadronic decay channels derived from measurements of cosmic-ray antiprotons.We analyze various hadronic decay modes in a model-independent manner by examining the lowest-order decays allowed by gauge and Lorentz invariance for scalar and fermionic dark matter particles and present the corresponding lower bounds on the partial decay lifetimes in those channels. We also investigate the complementarity between hadronic and gamma-ray constraints derived from searches for monochromatic lines in the sky, which can be produced at the quantum level if the dark matter decays into quark-antiquark pairs at leading order.

Cosmological constraints on exotic injection of electromagnetic energy

Energy Technology Data Exchange (ETDEWEB)

Poulin, Vivian; Serpico, Pasquale D. [LAPTh, Université Savoie Mont Blanc and CNRS, 9 Chemin de Bellevue BP 110 Annecy-le-Vieux F-74941 Annecy Cedex (France); Lesgourgues, Julien, E-mail: Vivian.Poulin@lapth.cnrs.fr, E-mail: Pasquale.Serpico@lapth.cnrs.fr, E-mail: Julien.Lesgourgues@physik.rwth-aachen.de [Institute for Theoretical Particle Physics and Cosmology (TTK), RWTH Aachen University, D-52056 Aachen (Germany)

2017-03-01

We compute cosmic microwave background (CMB) anisotropy constraints on exotic forms of energy injection in electromagnetic (e.m.) channels over a large range of timescales. We show that these constraints are very powerful around or just after recombination, although CMB keeps some sensitivity e.g. to decaying species with lifetimes as long as 10{sup 25} s. These bounds are complementary to CMB spectral distortions and primordial nucleosynthesis ones, which dominate at earlier timescales, as we also review here. For the first time, we describe the effects of the e.m. energy injection on the CMB power spectra as a function of the injection epoch , using the lifetime of a decaying particle as proxy. We also identify a suitable on-the-spot approximation, that can be used to derive accurate constraints, and describe its differences with the most up-to-date treatment. Our results are of interest not only for early universe relics constituting (a fraction of) the dark matter, but also for other exotic injection of e.m. radiation. For illustration, we apply our formalism to: i) Primordial black holes of mass 10{sup 13.5} g ∼< M ∼< 10{sup 16.8} g, showing that the constraints are comparable to the ones obtained from gamma-ray background studies and even dominate below ∼ 10{sup 14} g. ii) To a peculiar mass-mixing range in the sterile neutrino parameter space, complementary to other astrophysical and laboratory probes. iii) Finally, we provide a first estimate of the room for improvement left for forthcoming 21 cm experiments, comparing it with the reach of proposed CMB spectral distortion (PiXiE) and CMB angular power spectrum (CORE) missions. We show that the best and most realistic opportunity to look for this signal (or to improve over current constraints) in the 21 cm probe is to focus on the Cosmic Dawn epoch, 15 ∼< z ∼< 30, where the qualitatively unambiguous signature of a spectrum in emission can be expected for models that evade all current constraints.

Synthesis report about the after-mine mission; Rapport de synthese sur la mission apres-mine

Energy Technology Data Exchange (ETDEWEB)

NONE

2003-07-01

The French ministry of economy finances and industry has assigned the mission of evaluating the after-mine management system to the general inspection of finances and the general council of mines. The after-mine management system encompasses all procedures of coal, iron and potash mines closing down, land reclamation and environmental remedial action and site rehabilitation. This document makes first a status of the problems generated by the stoppage of mining activities: technical aspects, costs, institutional, organisational and juridical aspects, conservation of competences, international benchmarking elements and good practices implemented in foreign countries. Then, in a second part, this report presents the recommendations of the after-mine mission about the mastery of after-mine costs in agreement with the respect of the technical and social goals, with the development of the after-mine institutional system with the scheduled disappearance of Charbonnages de France and Mines de Potasses d'Alsace companies, and with the conservation of competences in the framework of the post-mine operational structure proposed by the mission. (J.S.)

Synthesis report about the after-mine mission; Rapport de synthese sur la mission apres-mine

Energy Technology Data Exchange (ETDEWEB)

NONE

2003-07-01

The French ministry of economy finances and industry has assigned the mission of evaluating the after-mine management system to the general inspection of finances and the general council of mines. The after-mine management system encompasses all procedures of coal, iron and potash mines closing down, land reclamation and environmental remedial action and site rehabilitation. This document makes first a status of the problems generated by the stoppage of mining activities: technical aspects, costs, institutional, organisational and juridical aspects, conservation of competences, international benchmarking elements and good practices implemented in foreign countries. Then, in a second part, this report presents the recommendations of the after-mine mission about the mastery of after-mine costs in agreement with the respect of the technical and social goals, with the development of the after-mine institutional system with the scheduled disappearance of Charbonnages de France and Mines de Potasses d'Alsace companies, and with the conservation of competences in the framework of the post-mine operational structure proposed by the mission. (J.S.)

Propulsive Maneuver Design for the 2007 Mars Phoenix Lander Mission

Science.gov (United States)

Raofi, Behzad; Bhat, Ramachandra S.; Helfrich, Cliff

2008-01-01

On May 25, 2008, the Mars Phoenix Lander (PHX) successfully landed in the northern planes of Mars in order to continue and complement NASA's "follow the water" theme as its predecessor Mars missions, such as Mars Odyssey (ODY) and Mars Exploration Rovers, have done in recent years. Instruments on the lander, through a robotic arm able to deliver soil samples to the deck, will perform in-situ and remote-sensing investigations to characterize the chemistry of materials at the local surface, subsurface, and atmosphere. Lander instruments will also identify the potential history of key indicator elements of significance to the biological potential of Mars, including potential organics within any accessible water ice. Precise trajectory control and targeting were necessary in order to achieve the accurate atmospheric entry conditions required for arriving at the desired landing site. The challenge for the trajectory control maneuver design was to meet or exceed these requirements in the presence of spacecraft limitations as well as other mission constraints. This paper describes the strategies used, including the specialized targeting specifically developed for PHX, in order to design and successfully execute the propulsive maneuvers that delivered the spacecraft to its targeted landing site while satisfying the planetary protection requirements in the presence of flight system constraints.

A trainlike vehicle for intervention missions inside nuclear plants

International Nuclear Information System (INIS)

Littmann, F.; Villedieu, E.; Chameaud, H.

1992-01-01

The Unite Robotique (part of the Direction of Advanced Technologies of Commissariat a l'Energie Atomique) has worked on nuclear robotics in the field of master/slave manipulators with their associated computer-aided teleoperation controls and mobile robots. The CENTAURE mobile robot is tracked (for stair climbing) and articulated (for obstacle crossing and turning on stair landings) with a mobile platform (for increasing stability), designed for inspection missions. For intervention missions, a vehicle is needed with larger payload capabilities (volume and mass) but with the same geometrical and environmental constraints. This paper deals with a new kind of trainlike vehicle designed for intervention missions inside nuclear facilities after an incident or accident. This idea was conceived in 1986 for the EUREKA program advanced mobile robot for civilian safety and is now entering a new phase with the TELEMAN program technology for advanced locomotion systems (in partnership with Kernforschungszentrum Karlsruhe for the locomotion and Cybernetix for the tests) with the building of a two-module linkage mockup and a locomotion mockup

Near-Optimal Fingerprinting with Constraints

Directory of Open Access Journals (Sweden)

Gulyás Gábor György

2016-10-01

Full Text Available Several recent studies have demonstrated that people show large behavioural uniqueness. This has serious privacy implications as most individuals become increasingly re-identifiable in large datasets or can be tracked, while they are browsing the web, using only a couple of their attributes, called as their fingerprints. Often, the success of these attacks depends on explicit constraints on the number of attributes learnable about individuals, i.e., the size of their fingerprints. These constraints can be budget as well as technical constraints imposed by the data holder. For instance, Apple restricts the number of applications that can be called by another application on iOS in order to mitigate the potential privacy threats of leaking the list of installed applications on a device. In this work, we address the problem of identifying the attributes (e.g., smartphone applications that can serve as a fingerprint of users given constraints on the size of the fingerprint. We give the best fingerprinting algorithms in general, and evaluate their effectiveness on several real-world datasets. Our results show that current privacy guards limiting the number of attributes that can be queried about individuals is insufficient to mitigate their potential privacy risks in many practical cases.

Interactive Dynamic Mission Scheduling for ASCA

Science.gov (United States)

Antunes, A.; Nagase, F.; Isobe, T.

The Japanese X-ray astronomy satellite ASCA (Advanced Satellite for Cosmology and Astrophysics) mission requires scheduling for each 6-month observation phase, further broken down into weekly schedules at a few minutes resolution. Two tools, SPIKE and NEEDLE, written in Lisp and C, use artificial intelligence (AI) techniques combined with a graphic user interface for fast creation and alteration of mission schedules. These programs consider viewing and satellite attitude constraints as well as observer-requested criteria and present an optimized set of solutions for review by the planner. Six-month schedules at 1 day resolution are created for an oversubscribed set of targets by the SPIKE software, originally written for HST and presently being adapted for EUVE, XTE and AXAF. The NEEDLE code creates weekly schedules at 1 min resolution using in-house orbital routines and creates output for processing by the command generation software. Schedule creation on both the long- and short-term scale is rapid, less than 1 day for long-term, and one hour for short-term.

It Takes a Village. Collaborative Outer Planet Missions

Science.gov (United States)

Rymer, A. M.; Turtle, E. P.; Hofstadter, M. D.; Simon, A. A.; Hospodarsky, G. B.

2017-01-01

A mission to one or both of our local Ice Giants (Uranus and Neptune) emerged as a high priority in the most recent Planetary Science Decadal Survey and was also specifically mentioned supportively in the Heliophysics Decadal Survey. In 2016, NASA convened a science definition team to study ice giant mission concepts in more detail. Uranus and Neptune represent the last remaining planetary type in our Solar System to have a dedicated orbiting mission. The case for a Uranus mission has been made eloquently in the Decadal Surveys. Here we summarize some of the major drivers that lead to enthusiastic support for an Ice Giant mission in general, and use the example of a Uranus Mission concept to illustrate opportunities such a mission might provide for cross-division collaboration and cost-sharing.

The Penguin: a Low Reynolds Number Powered Glider for Station Keeping Missions

Science.gov (United States)

Costello, J. K.; Greene, D. W.; Lee, T. T.; Matier, P. T.; Mccarthy, T. R.; Mcguire, R. J.; Schuette, M. J.

1990-01-01

The Penguin is a low Reynolds number (approx. 100,000) remotely piloted vehicle (RPV). It was designed to fly three laps indoors around two pylons in a figure-eight course while maximizing loiter time. The Penguin's low Reynolds number mission is an important one currently being studied for possible future flights in the atmospheres of other planets and for specialized military missions. Although the Penguin's mission seemed quite simple at first, the challenges of such low Reynolds number flight have proven to be quite unique. In addition to the constraint of low Reynolds number flight, the aircraft had to be robust in its control, highly durable, and it had to carry a small instrument package. The Penguin's flight plan, concept, performance, aerodynamic design, weight estimation, structural design, propulsion, stability and control, and cost estimate is detailed.

An Analog Rover Exploration Mission for Education and Outreach

Science.gov (United States)

Moores, John; Campbell, Charissa L.; Smith, Christina L.; Cooper, Brittney A.

2017-10-01

This abstract describes an analog rover exploration mission designed as an outreach program for high school and undergraduate students. This program is used to teach them about basic mission control operations, how to manage a rover as if it were on another planetary body, and employing the rover remotely to complete mission objectives. One iteration of this program has been completed and another is underway. In both trials, participants were shown the different operation processes involved in a real-life mission. Modifications were made to these processes to decrease complexity and better simulate a mission control environment in a short time period (three 20-minute-long mission “days”). In the first run of the program, participants selected a landing site, what instruments would be on the rover - subject to cost, size, and weight limitations - and were randomly assigned one of six different mission operations roles, each with specific responsibilities. For example, a Science Planner/Integrator (SPI) would plan science activities whilst a Rover Engineer (RE) would keep on top of rover constraints. Planning consisted of a series of four meetings to develop and verify the current plan, pre-plan the next day's activities and uplink the activities to the “rover” (a human colleague). Participants were required to attend certain meetings depending upon their assigned role. To conclude the mission, students viewed the site to understand any differences between remote viewing and reality in relation to the rover. Another mission is currently in progress with revisions from the earlier run to improve the experience. This includes broader roles and meetings and pre-selecting the landing site and rover. The new roles are: Mission Lead, Rover Engineer and Science Planner. The SPI role was previously popular so most of the students were placed in this category. The meetings were reduced to three but extended in length. We are also planning to integrate this program

Planetary protection issues linked to human missions to Mars

Science.gov (United States)

Debus, A.

According to United Nations Treaties and handled presently by the Committee of Space Research COSPAR the exploration of the Solar System has to comply with planetary protection requirements The goal of planetary protection is to protect celestial bodies from terrestrial contamination and also to protect the Earth environment from an eventual biocontamination carried by return samples or by space systems returning to the Earth Mars is presently one of the main target at exobiology point of view and a lot of missions are operating on travel or scheduled for its exploration Some of them include payload dedicated to the search of life or traces of life and one of the goals of these missions is also to prepare sample return missions with the ultimate objective to walk on Mars Robotic missions to Mars have to comply with planetary protection specifications well known presently and planetary protection programs are implemented with a very good reliability taking into account an experience of 40 years now For sample return missions a set of stringent requirements have been approved by the COSPAR and technical challenges have now to be won in order to preserve Earth biosphere from an eventual contamination risk Sending astronauts on Mars will gather all these constraints added with the human dimension of the mission The fact that the astronauts are huge contamination sources for Mars and that they are also potential carrier of a contamination risk back to Earth add also ethical considerations to be considered For the preparation of a such

Asteroid Redirect Crewed Mission Space Suit and EVA System Architecture Trade Study

Science.gov (United States)

Blanco, Raul A.; Bowie, Jonathan T.; Watson, Richard D.; Sipila, Stephanie A.

2014-01-01

The Asteroid Redirect Crewed Mission (ARCM) requires a Launch/Entry/Abort (LEA) suit capability and short duration Extra Vehicular Activity (EVA) capability for Orion. The EVAs will involve a two-person crew for approximately four hours. Currently, two EVAs are planned with one contingency EVA in reserve. Providing this EVA capability is very challenging due to system level constraints and a new and unknown environment. The goal of the EVA architecture for ARCM is one that builds upon previously developed technologies and lessons learned, and that accomplishes the ARCM mission while providing a stepping stone to future missions and destinations. The primary system level constraints are to 1) minimize system mass and volume and 2) minimize the interfacing impacts to the baseline Orion design. In order to minimize the interfacing impacts and to not perturb the baseline Orion schedule, the concept of adding "kits" to the baseline system is proposed. These kits consist of: an EVA kit (converts LEA suit to EVA suit), EVA Servicing and Recharge Kit (provides suit consumables), the EVA Tools, Translation Aids & Sample Container Kit (the tools and mobility aids to complete the tasks), the EVA Communications Kit (interface between the EVA radio and the MPCV), and the Cabin Repress Kit (represses the MPCV between EVAs). This paper will focus on the trade space, analysis, and testing regarding the space suit (pressure garment and life support system). Historical approaches and lessons learned from all past EVA operations were researched. Previous and current, successfully operated EVA hardware and high technology readiness level (TRL) hardware were evaluated, and a trade study was conducted for all possible pressure garment and life support options. Testing and analysis was conducted and a recommended EVA system architecture was proposed. Pressure garment options that were considered for this mission include the currently in-use ISS EVA Mobility Unit (EMU), all variations of

Diffusion Processes Satisfying a Conservation Law Constraint

Directory of Open Access Journals (Sweden)

J. Bakosi

2014-01-01

Full Text Available We investigate coupled stochastic differential equations governing N nonnegative continuous random variables that satisfy a conservation principle. In various fields a conservation law requires a set of fluctuating variables to be nonnegative and (if appropriately normalized sum to one. As a result, any stochastic differential equation model to be realizable must not produce events outside of the allowed sample space. We develop a set of constraints on the drift and diffusion terms of such stochastic models to ensure that both the nonnegativity and the unit-sum conservation law constraints are satisfied as the variables evolve in time. We investigate the consequences of the developed constraints on the Fokker-Planck equation, the associated system of stochastic differential equations, and the evolution equations of the first four moments of the probability density function. We show that random variables, satisfying a conservation law constraint, represented by stochastic diffusion processes, must have diffusion terms that are coupled and nonlinear. The set of constraints developed enables the development of statistical representations of fluctuating variables satisfying a conservation law. We exemplify the results with the bivariate beta process and the multivariate Wright-Fisher, Dirichlet, and Lochner’s generalized Dirichlet processes.

Computational needs survey of NASA automation and robotics missions. Volume 1: Survey and results

Science.gov (United States)

Davis, Gloria J.

1991-01-01

NASA's operational use of advanced processor technology in space systems lags behind its commercial development by more than eight years. One of the factors contributing to this is that mission computing requirements are frequently unknown, unstated, misrepresented, or simply not available in a timely manner. NASA must provide clear common requirements to make better use of available technology, to cut development lead time on deployable architectures, and to increase the utilization of new technology. A preliminary set of advanced mission computational processing requirements of automation and robotics (A&R) systems are provided for use by NASA, industry, and academic communities. These results were obtained in an assessment of the computational needs of current projects throughout NASA. The high percent of responses indicated a general need for enhanced computational capabilities beyond the currently available 80386 and 68020 processor technology. Because of the need for faster processors and more memory, 90 percent of the polled automation projects have reduced or will reduce the scope of their implementation capabilities. The requirements are presented with respect to their targeted environment, identifying the applications required, system performance levels necessary to support them, and the degree to which they are met with typical programmatic constraints. Volume one includes the survey and results. Volume two contains the appendixes.

Introducing geometric constraint expressions into robot constrained motion specification and control

NARCIS (Netherlands)

Borghesan, G.; Scioni, E.; Kheddar, A.; Bruyninckx, H.P.J.

2016-01-01

The problem of robotic task definition and execution was pioneered by Mason, who defined setpoint constraints where the position, velocity, and/or forces are expressed in one particular task frame for a 6-DOF robot. Later extensions generalized this approach to constraints in 1) multiple frames; 2)

Astrobiology and habitability studies in preparation for future Mars missions: trends from investigating minerals, organics and biota

NARCIS (Netherlands)

Ehrenfreund, P.; Roling, W.F.M.; Thiel, C.S.; Quin, R.; Septhon, M.A.; Stoker, C.; Kotler, M.; Oliveira Lebre Direito, M.S.; Martins, Z.; Orzechowska, G.; Kidd, R.D.; van Sluis, C.A.; Foing, H.

2011-01-01

Several robotic exploration missions will travel to Mars during this decade to investigate habitability and the possible presence of life. Field research at Mars analogue sites such as desert environments can provide important constraints for instrument calibration, landing site strategies and

Astrobiology and habitability studies in preparation for future Mars missions : Trends from investigating minerals, organics and biota

NARCIS (Netherlands)

Ehrenfreund, P.; Röling, W.F.M.; Thiel, C.S.; Quinn, R.; Sephton, M.A.; Stoker, C.; Kotler, J.M.; Direito, S.O.L.; Martins, Z.; Orzechowska, G.E.; Kidd, R.D.; Van Sluis, C.A.; Foing, B.H.

2011-01-01

Several robotic exploration missions will travel to Mars during this decade to investigate habitability and the possible presence of life. Field research at Mars analogue sites such as desert environments can provide important constraints for instrument calibration, landing site strategies and

Communication dated 6 March 2013 received from the Permanent Mission of the Islamic Republic of Iran to the Agency regarding the Report of the Director General on the Implementation of Safeguards in Iran

International Nuclear Information System (INIS)

2013-01-01

The Secretariat has received a communication dated 6 March 2013 from the Permanent Mission of the Islamic Republic of Iran to the Agency enclosing an explanatory note by the Permanent Mission dated 6 March 2013, on the report of the Director General on ''Implementation of the NPT Safeguards Agreement and relevant provisions of Security Council resolutions in the Islamic Republic of Iran'' contained in GOV/2013/6 (21 February 2013) and three letters from the Resident Representative of Iran addressed to the Director General. The communication and, as requested by the Permanent Mission, the explanatory note and the letters are circulated herewith for information.

A Scenario-Based Process for Requirements Development: Application to Mission Operations Systems

Science.gov (United States)

Bindschadler, Duane L.; Boyles, Carole A.

2008-01-01

The notion of using operational scenarios as part of requirements development during mission formulation (Phases A & B) is widely accepted as good system engineering practice. In the context of developing a Mission Operations System (MOS), there are numerous practical challenges to translating that notion into the cost-effective development of a useful set of requirements. These challenges can include such issues as a lack of Project-level focus on operations issues, insufficient or improper flowdown of requirements, flowdown of immature or poor-quality requirements from Project level, and MOS resource constraints (personnel expertise and/or dollars). System engineering theory must be translated into a practice that provides enough structure and standards to serve as guidance, but that retains sufficient flexibility to be tailored to the needs and constraints of a particular MOS or Project. We describe a detailed, scenario-based process for requirements development. Identifying a set of attributes for high quality requirements, we show how the portions of the process address many of those attributes. We also find that the basic process steps are robust, and can be effective even in challenging Project environments.

Hydrostatic equilibrium of stars without electroneutrality constraint

Science.gov (United States)

Krivoruchenko, M. I.; Nadyozhin, D. K.; Yudin, A. V.

2018-04-01

The general solution of hydrostatic equilibrium equations for a two-component fluid of ions and electrons without a local electroneutrality constraint is found in the framework of Newtonian gravity theory. In agreement with the Poincaré theorem on analyticity and in the context of Dyson's argument, the general solution is demonstrated to possess a fixed (essential) singularity in the gravitational constant G at G =0 . The regular component of the general solution can be determined by perturbation theory in G starting from a locally neutral solution. The nonperturbative component obtained using the method of Wentzel, Kramers and Brillouin is exponentially small in the inner layers of the star and grows rapidly in the outward direction. Near the surface of the star, both components are comparable in magnitude, and their nonlinear interplay determines the properties of an electro- or ionosphere. The stellar charge varies within the limits of -0.1 to 150 C per solar mass. The properties of electro- and ionospheres are exponentially sensitive to variations of the fluid densities in the central regions of the star. The general solutions of two exactly solvable stellar models without a local electroneutrality constraint are also presented.

Propulsive maneuver design for the Mars Exploration Rover mission

Science.gov (United States)

Potts, Christopher L.; Kangas, Julie A.; Raofi, Behzad

2006-01-01

Starting from approximately 150 candidate Martian landing sites, two distinct sites have been selected for further investigation by sophisticated rovers. The two rovers, named 'Spirit' and 'Opportunity', begin the surface mission respectively to Gusec Crater and Meridiani Planum in January 2004. the rovers are essentially robotic geologists, sent on a mission to research for evidence in the rocks and soil pertaining to the historical presence of water and the ability to possibly sustain life. Before this scientific search can commence, precise trajectory targeting and control is necessary to achieve the entry requirements for the selected landing sites within the constraints of the flight system. The maneuver design challenge is to meet or exceed these requirements while maintaining the necessary design flexibility to accommodate additional project concerns. Opportunities to improve performance and reduce risk based on trajectory control characteristics are also evaluated.

Unitarity constraints on trimaximal mixing

International Nuclear Information System (INIS)

Kumar, Sanjeev

2010-01-01

When the neutrino mass eigenstate ν 2 is trimaximally mixed, the mixing matrix is called trimaximal. The middle column of the trimaximal mixing matrix is identical to tribimaximal mixing and the other two columns are subject to unitarity constraints. This corresponds to a mixing matrix with four independent parameters in the most general case. Apart from the two Majorana phases, the mixing matrix has only one free parameter in the CP conserving limit. Trimaximality results in interesting interplay between mixing angles and CP violation. A notion of maximal CP violation naturally emerges here: CP violation is maximal for maximal 2-3 mixing. Similarly, there is a natural constraint on the deviation from maximal 2-3 mixing which takes its maximal value in the CP conserving limit.

Design with Nonlinear Constraints

KAUST Repository

Tang, Chengcheng

2015-12-10

Most modern industrial and architectural designs need to satisfy the requirements of their targeted performance and respect the limitations of available fabrication technologies. At the same time, they should reflect the artistic considerations and personal taste of the designers, which cannot be simply formulated as optimization goals with single best solutions. This thesis aims at a general, flexible yet e cient computational framework for interactive creation, exploration and discovery of serviceable, constructible, and stylish designs. By formulating nonlinear engineering considerations as linear or quadratic expressions by introducing auxiliary variables, the constrained space could be e ciently accessed by the proposed algorithm Guided Projection, with the guidance of aesthetic formulations. The approach is introduced through applications in different scenarios, its effectiveness is demonstrated by examples that were difficult or even impossible to be computationally designed before. The first application is the design of meshes under both geometric and static constraints, including self-supporting polyhedral meshes that are not height fields. Then, with a formulation bridging mesh based and spline based representations, the application is extended to developable surfaces including origami with curved creases. Finally, general approaches to extend hard constraints and soft energies are discussed, followed by a concluding remark outlooking possible future studies.

RSOI: Force Deployment Bottleneck

National Research Council Canada - National Science Library

D'Amato, Mark

1998-01-01

This study uses The Theory Of Constraints (TOC) management methodology and recent military missions to show that RSOI operations are generally the limiting constraint to force deployment operations...

Pairwise Constraint-Guided Sparse Learning for Feature Selection.

Science.gov (United States)

Liu, Mingxia; Zhang, Daoqiang

2016-01-01

Feature selection aims to identify the most informative features for a compact and accurate data representation. As typical supervised feature selection methods, Lasso and its variants using L1-norm-based regularization terms have received much attention in recent studies, most of which use class labels as supervised information. Besides class labels, there are other types of supervised information, e.g., pairwise constraints that specify whether a pair of data samples belong to the same class (must-link constraint) or different classes (cannot-link constraint). However, most of existing L1-norm-based sparse learning methods do not take advantage of the pairwise constraints that provide us weak and more general supervised information. For addressing that problem, we propose a pairwise constraint-guided sparse (CGS) learning method for feature selection, where the must-link and the cannot-link constraints are used as discriminative regularization terms that directly concentrate on the local discriminative structure of data. Furthermore, we develop two variants of CGS, including: 1) semi-supervised CGS that utilizes labeled data, pairwise constraints, and unlabeled data and 2) ensemble CGS that uses the ensemble of pairwise constraint sets. We conduct a series of experiments on a number of data sets from University of California-Irvine machine learning repository, a gene expression data set, two real-world neuroimaging-based classification tasks, and two large-scale attribute classification tasks. Experimental results demonstrate the efficacy of our proposed methods, compared with several established feature selection methods.

The poloidal OHM's law and a profile constraint in tokamaks

International Nuclear Information System (INIS)

Segre, S.E.; Zanza, V.

1991-01-01

Explicit use of the poloidal Ohm's law, together with the radial plasma velocity (obtained from the distribution of plasma sources), leads to a very general constraint on the possible radial profiles of plasma density and temperature. The constraint does not require any ad hoc assumption; it can place severe restrictions on the allowed profiles and is independent of energy and particle transport; also, it may be the underlying principle of profile consistency. The constraint is discussed in the framework of neoclassical theory, using results from the Frascati tokamak. (author). 23 refs, 7 figs

Power spectra based Planck constraints on compensated isocurvature, and forecasts for LiteBIRD and CORE space missions

Energy Technology Data Exchange (ETDEWEB)

Väliviita, Jussi, E-mail: jussi.valiviita@helsinki.fi [University of Helsinki, Department of Physics and Helsinki Institute of Physics, P.O. Box 64, FIN-00014 University of Helsinki (Finland)

2017-04-01

Compensated isocurvature perturbations (CIP), where the primordial baryon and cold dark matter density perturbations cancel, do not cause total matter isocurvature perturbation. Consequently, at the linear order in the baryon density contrast Δ, a mixture of CIP and the adiabatic mode leads to the same CMB spectra as the pure adiabatic mode. Only recently, Muñoz et al. showed that at the second order CIP leaves an imprint in the observable CMB by smoothing the power spectra in a similar manner as lensing. This causes a strong degeneracy between the CIP variance Δ{sub rms}{sup 2} ≡ (Δ{sup 2}) and the phenomenological lensing parameter A {sub L}. We study several combinations of the Planck 2015 data and show that the measured lensing potential power spectrum C {sub ℓ}{sup φφ} breaks the degeneracy. Nested sampling of the ΛCDM+Δ{sub rms}{sup 2}(+ A {sub L}) model using the Planck 2015 temperature, polarization, and lensing data gives Δ{sub rms}{sup 2} = (6.9{sup +3.0}{sub −3.1}) × 10{sup −3} at 68% CL. A non-zero value is favoured at 2.3σ (or without the polarization data at 2.8σ). CIP with Δ{sub rms}{sup 2} ≈ 7 × 10{sup −3} improves the bestfit χ{sup 2} by 3.6 compared to the adiabatic ΛCDM model. In contrast, although the temperature data favour A {sub L} ≅ 1.22, allowing A {sub L} ≠ 1 does not improve the joint fit at all, since the lensing data disfavour A {sub L} ≠ 1. Indeed, CIP provides a rare example of a simple model, which is capable of reducing the Planck lensing anomaly significantly and fitting well simultaneously the high (and low) multipole temperature and lensing data, as well as the polarization data. Finally, we derive forecasts for two future satellite missions (LiteBIRD proposal to JAXA/NASA and Exploring Cosmic Origins with CORE proposal to ESA's M5 call) and compare these to simulated Planck data. Due to its coarse angular resolution, LiteBIRD is not able to improve the constraints on Δ{sub rms}{sup 2} or A

Constraints on a general 3-generation neutrino mass matrix from neutrino data application to the MSSM with R-parity violation

CERN Document Server

Abada, A

2000-01-01

We consider a general symmetric $(3\\times 3)$ mass matrix for three generations of neutrinos. Imposing the constraints, from the atmospheric neutrino and solar neutrino anomalies as well as from the CHOOZ experiment, on the mass squared differences and on the mixing angles, we identify the ranges of allowed inputs for the 6 matrix elements. We apply our results to Majorana left-handed neutrino masses generated at tree level and through The present experimental results on neutrinos from laboratories, cosmology and astrophysics are implemented to either put bounds on trilinear ($\\lambda_{ijk}, or constrain combinations of products of these couplings.

Constraints on grand unified superstring theories

International Nuclear Information System (INIS)

Ellis, J.; Lopez, J.L.; Nanopoulos, D.V.; Houston Advanced Research Center

1990-01-01

We evaluate some constraints on the construction of grand unified superstring theories (GUSTs) using higher level Kac-Moody algebras on the world-sheet. In the most general formulation of the heterotic string in four dimensions, an analysis of the basic GUST model-building constraints, including a realistic hidden gauge group, reveals that there are no E 6 models and any SO(10) models can only exist at level-5. Also, any such SU(5) models can exist only for levels 4≤k≤19. These SO(10) and SU(5) models risk having many large, massless, phenomenologically troublesome representations. We also show that with a suitable hidden sector gauge group, it is possible to avoid free light fractionally charged particles, which are endemic to string derived models. We list all such groups and their representations for the flipped SU(5)xU(1) model. We conclude that a sufficiently binding hidden sector gauge group becomes a basic model-building constraint. (orig.)

Structure of the first order reduced density matrix in three electron systems: A generalized Pauli constraints assisted study.

Science.gov (United States)

Theophilou, Iris; Lathiotakis, Nektarios N; Helbig, Nicole

2018-03-21

We investigate the structure of the one-body reduced density matrix of three electron systems, i.e., doublet and quadruplet spin configurations, corresponding to the smallest interacting system with an open-shell ground state. To this end, we use configuration interaction (CI) expansions of the exact wave function in Slater determinants built from natural orbitals in a finite dimensional Hilbert space. With the exception of maximally polarized systems, the natural orbitals of spin eigenstates are generally spin dependent, i.e., the spatial parts of the up and down natural orbitals form two different sets. A measure to quantify this spin dependence is introduced and it is shown that it varies by several orders of magnitude depending on the system. We also study the ordering issue of the spin-dependent occupation numbers which has practical implications in reduced density matrix functional theory minimization schemes, when generalized Pauli constraints (GPCs) are imposed and in the form of the CI expansion in terms of the natural orbitals. Finally, we discuss the aforementioned CI expansion when there are GPCs that are almost "pinned."

Structure of the first order reduced density matrix in three electron systems: A generalized Pauli constraints assisted study

Science.gov (United States)

Theophilou, Iris; Lathiotakis, Nektarios N.; Helbig, Nicole

2018-03-01

We investigate the structure of the one-body reduced density matrix of three electron systems, i.e., doublet and quadruplet spin configurations, corresponding to the smallest interacting system with an open-shell ground state. To this end, we use configuration interaction (CI) expansions of the exact wave function in Slater determinants built from natural orbitals in a finite dimensional Hilbert space. With the exception of maximally polarized systems, the natural orbitals of spin eigenstates are generally spin dependent, i.e., the spatial parts of the up and down natural orbitals form two different sets. A measure to quantify this spin dependence is introduced and it is shown that it varies by several orders of magnitude depending on the system. We also study the ordering issue of the spin-dependent occupation numbers which has practical implications in reduced density matrix functional theory minimization schemes, when generalized Pauli constraints (GPCs) are imposed and in the form of the CI expansion in terms of the natural orbitals. Finally, we discuss the aforementioned CI expansion when there are GPCs that are almost "pinned."

Confluence Modulo Equivalence in Constraint Handling Rules

DEFF Research Database (Denmark)

Christiansen, Henning; Kirkeby, Maja Hanne

2015-01-01

Previous results on confluence for Constraint Handling Rules, CHR, are generalized to take into account user-defined state equivalence relations. This allows a much larger class of programs to enjoy the advantages of confluence, which include various optimization techniques and simplified...

An X-ray perspective on a gamma-ray mission

DEFF Research Database (Denmark)

Lund, Niels

2003-01-01

The most recent astrophysics mission of ESA is INTEGRAL, a mission dedicated to gamma-ray astronomy (Winkler et al. 2003). INTEGRAL carries two gamma-ray instruments: the imager, IBIS, and the spectrometer, SPI, and in addition an optical monitor, OMC, and an X-ray monitor, JEM-X. INTEGRAL is an ...... is an observatory mission with 70% of the observation time available to the general astronomical community through a peer-reviewed selection process. This paper describes the INTEGRAL mission primarily as seen from the JEM-X perspective....

Constraint and Flight Rule Management for Space Mission Operations

Science.gov (United States)

Barreiro, J.; Chachere, J.; Frank, J.; Bertels, C.; Crocker, A.

2010-01-01

The exploration of space is one of the most fascinating domains to study from a human factors perspective. Like other complex work domains such as aviation (Pritchett and Kim, 2008), air traffic management (Durso and Manning, 2008), health care (Morrow, North, and Wickens, 2006), homeland security (Cooke and Winner, 2008), and vehicle control (Lee, 2006), space exploration is a large-scale sociotechnical work domain characterized by complexity, dynamism, uncertainty, and risk in real-time operational contexts (Perrow, 1999; Woods et al, 1994). Nearly the entire gamut of human factors issues - for example, human-automation interaction (Sheridan and Parasuraman, 2006), telerobotics, display and control design (Smith, Bennett, and Stone, 2006), usability, anthropometry (Chaffin, 2008), biomechanics (Marras and Radwin, 2006), safety engineering, emergency operations, maintenance human factors, situation awareness (Tenney and Pew, 2006), crew resource management (Salas et al., 2006), methods for cognitive work analysis (Bisantz and Roth, 2008) and the like -- are applicable to astronauts, mission control, operational medicine, Space Shuttle manufacturing and assembly operations, and space suit designers as they are in other work domains (e.g., Bloomberg, 2003; Bos et al, 2006; Brooks and Ince, 1992; Casler and Cook, 1999; Jones, 1994; McCurdy et al, 2006; Neerincx et aI., 2006; Olofinboba and Dorneich, 2005; Patterson, Watts-Perotti and Woods, 1999; Patterson and Woods, 2001; Seagull et ai, 2007; Sierhuis, Clancey and Sims, 2002). The human exploration of space also has unique challenges of particular interest to human factors research and practice. This chapter provides an overview of those issues and reports on some of the latest research results as well as the latest challenges still facing the field.

Modifier constraint in alkali borophosphate glasses using topological constraint theory

Energy Technology Data Exchange (ETDEWEB)

Li, Xiang [Key Laboratory for Ultrafine Materials of Ministry of Education, School of Materials Science and Engineering, East China University of Science and Technology, Shanghai 200237 (China); Zeng, Huidan, E-mail: hdzeng@ecust.edu.cn [Key Laboratory for Ultrafine Materials of Ministry of Education, School of Materials Science and Engineering, East China University of Science and Technology, Shanghai 200237 (China); Jiang, Qi [Key Laboratory for Ultrafine Materials of Ministry of Education, School of Materials Science and Engineering, East China University of Science and Technology, Shanghai 200237 (China); Zhao, Donghui [Unifrax Corporation, Niagara Falls, NY 14305 (United States); Chen, Guorong [Key Laboratory for Ultrafine Materials of Ministry of Education, School of Materials Science and Engineering, East China University of Science and Technology, Shanghai 200237 (China); Wang, Zhaofeng; Sun, Luyi [Department of Chemical & Biomolecular Engineering and Polymer Program, Institute of Materials Science, University of Connecticut, Storrs, CT 06269 (United States); Chen, Jianding [Key Laboratory for Ultrafine Materials of Ministry of Education, School of Materials Science and Engineering, East China University of Science and Technology, Shanghai 200237 (China)

2016-12-01

In recent years, composition-dependent properties of glasses have been successfully predicted using the topological constraint theory. The constraints of the glass network are derived from two main parts: network formers and network modifiers. The constraints of the network formers can be calculated on the basis of the topological structure of the glass. However, the latter cannot be accurately calculated in this way, because of the existing of ionic bonds. In this paper, the constraints of the modifier ions in phosphate glasses were thoroughly investigated using the topological constraint theory. The results show that the constraints of the modifier ions are gradually increased with the addition of alkali oxides. Furthermore, an improved topological constraint theory for borophosphate glasses is proposed by taking the composition-dependent constraints of the network modifiers into consideration. The proposed theory is subsequently evaluated by analyzing the composition dependence of the glass transition temperature in alkali borophosphate glasses. This method is supposed to be extended to other similar glass systems containing alkali ions.

Density Control of Multi-Agent Systems with Safety Constraints: A Markov Chain Approach

Science.gov (United States)

Demirer, Nazli

The control of systems with autonomous mobile agents has been a point of interest recently, with many applications like surveillance, coverage, searching over an area with probabilistic target locations or exploring an area. In all of these applications, the main goal of the swarm is to distribute itself over an operational space to achieve mission objectives specified by the density of swarm. This research focuses on the problem of controlling the distribution of multi-agent systems considering a hierarchical control structure where the whole swarm coordination is achieved at the high-level and individual vehicle/agent control is managed at the low-level. High-level coordination algorithms uses macroscopic models that describes the collective behavior of the whole swarm and specify the agent motion commands, whose execution will lead to the desired swarm behavior. The low-level control laws execute the motion to follow these commands at the agent level. The main objective of this research is to develop high-level decision control policies and algorithms to achieve physically realizable commanding of the agents by imposing mission constraints on the distribution. We also make some connections with decentralized low-level motion control. This dissertation proposes a Markov chain based method to control the density distribution of the whole system where the implementation can be achieved in a decentralized manner with no communication between agents since establishing communication with large number of agents is highly challenging. The ultimate goal is to guide the overall density distribution of the system to a prescribed steady-state desired distribution while satisfying desired transition and safety constraints. Here, the desired distribution is determined based on the mission requirements, for example in the application of area search, the desired distribution should match closely with the probabilistic target locations. The proposed method is applicable for both

A comparison of Heuristic method and Llewellyn’s rules for identification of redundant constraints

Science.gov (United States)

Estiningsih, Y.; Farikhin; Tjahjana, R. H.

2018-03-01

Important techniques in linear programming is modelling and solving practical optimization. Redundant constraints are consider for their effects on general linear programming problems. Identification and reduce redundant constraints are for avoidance of all the calculations associated when solving an associated linear programming problems. Many researchers have been proposed for identification redundant constraints. This paper a compararison of Heuristic method and Llewellyn’s rules for identification of redundant constraints.

A Design for an Orbital Assembly Facility for Complex Missions

Science.gov (United States)

Feast, S.; Bond, A.

A design is presented for an Operations Base Station (OBS) in low earth orbit that will function as an integral part of a space transportation system, enabling assembly and maintenance of a Cis-Lunar transportation infrastructure and integration of vehicles for other high energy space missions to be carried out. Construction of the OBS assumes the use of the SKYLON Single-Stage-to-Orbit (SSTO) spaceplane, which imposes design and assembly constraints due to its payload mass limits and payload bay dimensions. It is assumed that the space transport infrastructure and high mission energy vehicles would also make use of SKYLON to deploy standard transport equipment and stages bound by these same constraints. The OBS is therefore a highly modular arrangement, incorporating some of these other vehicle system elements in its layout design. Architecturally, the facilities of the OBS are centred around the Assembly Dock which is in the form of a large cylindrical spaceframe structure with two large doors on either end incorporating a skin of aluminised Mylar to enclose the dock. Longitudinal rails provide internal tether attachments to anchor vehicles and components while manipulators are used for the handling and assembling of vehicle structures. The exterior of the OBS houses the habitation modules for workforce and vehicle crews along with propellant farms and other operational facilities.

Confluence Modulo Equivalence in Constraint Handling Rules

DEFF Research Database (Denmark)

Christiansen, Henning; Kirkeby, Maja Hanne

2014-01-01

Previous results on confluence for Constraint Handling Rules, CHR, are generalized to take into account user-defined state equivalence relations. This allows a much larger class of programs to enjoy the ad- vantages of confluence, which include various optimization techniques and simplified...

The Schwinger Dyson equations and the algebra of constraints of random tensor models at all orders

International Nuclear Information System (INIS)

Gurau, Razvan

2012-01-01

Random tensor models for a generic complex tensor generalize matrix models in arbitrary dimensions and yield a theory of random geometries. They support a 1/N expansion dominated by graphs of spherical topology. Their Schwinger Dyson equations, generalizing the loop equations of matrix models, translate into constraints satisfied by the partition function. The constraints have been shown, in the large N limit, to close a Lie algebra indexed by colored rooted D-ary trees yielding a first generalization of the Virasoro algebra in arbitrary dimensions. In this paper we complete the Schwinger Dyson equations and the associated algebra at all orders in 1/N. The full algebra of constraints is indexed by D-colored graphs, and the leading order D-ary tree algebra is a Lie subalgebra of the full constraints algebra.

Graphical constraints: a graphical user interface for constraint problems

OpenAIRE

Vieira, Nelson Manuel Marques

2015-01-01

A constraint satisfaction problem is a classical artificial intelligence paradigm characterized by a set of variables (each variable with an associated domain of possible values), and a set of constraints that specify relations among subsets of these variables. Solutions are assignments of values to all variables that satisfy all the constraints. Many real world problems may be modelled by means of constraints. The range of problems that can use this representation is very diverse and embrace...

Coverage-based constraints for IMRT optimization

Science.gov (United States)

Mescher, H.; Ulrich, S.; Bangert, M.

2017-09-01

Radiation therapy treatment planning requires an incorporation of uncertainties in order to guarantee an adequate irradiation of the tumor volumes. In current clinical practice, uncertainties are accounted for implicitly with an expansion of the target volume according to generic margin recipes. Alternatively, it is possible to account for uncertainties by explicit minimization of objectives that describe worst-case treatment scenarios, the expectation value of the treatment or the coverage probability of the target volumes during treatment planning. In this note we show that approaches relying on objectives to induce a specific coverage of the clinical target volumes are inevitably sensitive to variation of the relative weighting of the objectives. To address this issue, we introduce coverage-based constraints for intensity-modulated radiation therapy (IMRT) treatment planning. Our implementation follows the concept of coverage-optimized planning that considers explicit error scenarios to calculate and optimize patient-specific probabilities q(\\hat{d}, \\hat{v}) of covering a specific target volume fraction \\hat{v} with a certain dose \\hat{d} . Using a constraint-based reformulation of coverage-based objectives we eliminate the trade-off between coverage and competing objectives during treatment planning. In-depth convergence tests including 324 treatment plan optimizations demonstrate the reliability of coverage-based constraints for varying levels of probability, dose and volume. General clinical applicability of coverage-based constraints is demonstrated for two cases. A sensitivity analysis regarding penalty variations within this planing study based on IMRT treatment planning using (1) coverage-based constraints, (2) coverage-based objectives, (3) probabilistic optimization, (4) robust optimization and (5) conventional margins illustrates the potential benefit of coverage-based constraints that do not require tedious adjustment of target volume objectives.

Evolvable Mars Campaign Long Duration Habitation Strategies: Architectural Approaches to Enable Human Exploration Missions

Science.gov (United States)

Simon, Matthew A.; Toups, Larry; Howe, A. Scott; Wald, Samuel I.

2015-01-01

The Evolvable Mars Campaign (EMC) is the current NASA Mars mission planning effort which seeks to establish sustainable, realistic strategies to enable crewed Mars missions in the mid-2030s timeframe. The primary outcome of the Evolvable Mars Campaign is not to produce "The Plan" for sending humans to Mars, but instead its intent is to inform the Human Exploration and Operations Mission Directorate near-term key decisions and investment priorities to prepare for those types of missions. The FY'15 EMC effort focused upon analysis of integrated mission architectures to identify technically appealing transportation strategies, logistics build-up strategies, and vehicle designs for reaching and exploring Mars moons and Mars surface. As part of the development of this campaign, long duration habitats are required which are capable of supporting crew with limited resupply and crew abort during the Mars transit, Mars moons, and Mars surface segments of EMC missions. In particular, the EMC design team sought to design a single, affordable habitation system whose manufactured units could be outfitted uniquely for each of these missions and reused for multiple crewed missions. This habitat system must provide all of the functionality to safely support 4 crew for long durations while meeting mass and volume constraints for each of the mission segments set by the chosen transportation architecture and propulsion technologies. This paper describes several proposed long-duration habitation strategies to enable the Evolvable Mars Campaign through improvements in mass, cost, and reusability, and presents results of analysis to compare the options and identify promising solutions. The concepts investigated include several monolithic concepts: monolithic clean sheet designs, and concepts which leverage the co-manifested payload capability of NASA's Space Launch System (SLS) to deliver habitable elements within the Universal Payload Adaptor between the SLS upper stage and the Orion

GPHS-RTG performance on the Galileo mission

International Nuclear Information System (INIS)

Hemler, R.J.; Cockfield, R.D.

1991-01-01

The Galileo spacecraft, launched in October, 1989, is powered by two General Purpose Heat source-Radioisotope Thermoelectric Generator (GPHS-RTGs). These RTGs were designed, built, and tested by General Electric under contract from the Office of Special Applications of the Department of Energy (DOE). Isotope heat source installation and additional testing of these RTGs were performed at DOE's EG ampersand G Mound Facility in Miamisburg, Ohio. This paper provides a report on performance of the RTGs during launch and the early phases of the eight year Galileo mission.The effect of long term storage of the RTGs on power output, since the originally scheduled launch data in May, 1986, will be dicussed, including the effects of helium buildup and subsequent purging with xenon. The RTGs performed as expected during the launch transient, met all specified power requirements for Beginning of Mission (BOM), and continue to follow prediced performance characteristics during the first year of the Galileo mission

A Venus/Saturn Mission Study: 45deg Sphere-Cone Rigid Aeroshells and Ballistic Entries

Science.gov (United States)

Prabhu, Dinesh K.; Allen, Gary A.; Cappuccio, Gelsomina

2012-01-01

The present study considers ballistic entries into the atmospheres of Saturn and Venus using a 45deg sphere-cone rigid aeroshell (a legacy shape that has been successfully used in the Pioneer Venus and Galileo missions). For a number of entry mass and diameter combinations (i.e., various entries ballistic coefficients), entry velocities, and heading angles, the trajectory space in terms of entry flight path angles between skip out and -30deg is explored with a 3DOF trajectory code, TRAJ. Assuming that the thermal protection material of choice is carbon phenolic of flight heritage, the entry flight path angle space is constrained a posteriori by the mechanical and thermal performance parameters of the material. For mechanical performance, a 200 g limit is place on the peak deceleration load and 10 bar is assumed as the spallation pressure threshold for the legacy material. It is shown that both constraints cannot be active simultaneously. For thermal performance, a minimum margined heat flux threshold of 2.5 kW/sq cm is assumed for the heritage material. Using these constraints, viable entry flight path angle corridors are determined. Analysis of the results also hints at the existence of a "critical" ballistic coefficient beyond which the steepest possible entries are determined by the spallation pressure threshold. The results are verified against known performance of the various probes used in the Galileo and Pioneer Venus missions. It is hoped that the results presented here will serve as a baseline in the development of a new class of ablative materials for Venus and Saturn missions being considered in a future New Frontiers class of NASA missions.

The Mission Operations Planning Assistant

Science.gov (United States)

Schuetzle, James G.

1987-01-01

The Mission Operations Planning Assistant (MOPA) is a knowledge-based system developed to support the planning and scheduling of instrument activities on the Upper Atmospheric Research Satellite (UARS). The MOPA system represents and maintains instrument plans at two levels of abstraction in order to keep plans comprehensible to both UARS Principal Investigators and Command Management personnel. The hierarchical representation of plans also allows MOPA to automatically create detailed instrument activity plans from which spacecraft command loads may be generated. The MOPA system was developed on a Symbolics 3640 computer using the ZetaLisp and ART languages. MOPA's features include a textual and graphical interface for plan inspection and modification, recognition of instrument operational constraint violations during the planning process, and consistency maintenance between the different planning levels. This paper describes the current MOPA system.

A critical review of the life sciences project management at Ames Research Center for the Spacelab Mission development test 3

Science.gov (United States)

Helmreich, R. L.; Wilhelm, J. M.; Tanner, T. A.; Sieber, J. E.; Burgenbauch, S. F.

1979-01-01

A management study was initiated by ARC (Ames Research Center) to specify Spacelab Mission Development Test 3 activities and problems. This report documents the problems encountered and provides conclusions and recommendations to project management for current and future ARC life sciences projects. An executive summary of the conclusions and recommendations is provided. The report also addresses broader issues relevant to the conduct of future scientific missions under the constraints imposed by the space environment.

Scheduling double round-robin tournaments with divisional play using constraint programming

Energy Technology Data Exchange (ETDEWEB)

Carlsson, Mats; Johansson, Mikael; Larson, Jeffrey

2017-06-01

We study a tournament format that extends a traditional double round-robin format with divisional single round-robin tournaments. Elitserien, the top Swedish handball league, uses such a format for its league schedule. We present a constraint programming model that characterizes the general double round-robin plus divisional single round-robin format. This integrated model allows scheduling to be performed in a single step, as opposed to common multistep approaches that decompose scheduling into smaller problems and possibly miss optimal solutions. In addition to general constraints, we introduce Elitserien-specific requirements for its tournament. These general and league-specific constraints allow us to identify implicit and symmetry-breaking properties that reduce the time to solution from hours to seconds. A scalability study of the number of teams shows that our approach is reasonably fast for even larger league sizes. The experimental evaluation of the integrated approach takes considerably less computational effort to schedule Elitserien than does the previous decomposed approach. (C) 2016 Elsevier B.V. All rights reserved

On Dirac's conjecture for Hamiltonian systems with first and second class constraints

International Nuclear Information System (INIS)

Cabo, A.; Louis Martinez, D.

1989-07-01

It is shown for a wide class of systems in the framework of the Total Hamiltonian Procedure that all the first class constraints generate canonical transformations connecting physically equivalent states. It occurs whenever the constraints arising in the Dirac algorithm are effective when considered in the functional form as they appear in the consistency conditions. The property of hereditary separation between first and second class constraints also follows from the above condition. General Poisson bracket relations among constraints in the representation used here are also obtained. The sources of anomalies in the hereditary property reported in the literature are identified. (author). 15 refs

On Dirac's conjecture for Hamiltonian systems with first- and second-class constraints

International Nuclear Information System (INIS)

Cabo, A.; Louis-Martinez, D.

1990-01-01

It is shown for a wide class of systems in the framework of the total Hamiltonian procedure that all first-class constraints generate canonical transformations connecting physically equivalent states. It occurs whenever the constraints arising in the Dirac algorithm are effective when considered in the functional form as they appear in the consistency conditions. The property of hereditary separation between first- and second-class constraints also follows from the above condition. General Poisson-brackets relations among constraints in the representation used here are also obtained. The sources of anomalies in the hereditary property reported in the literature are identified

Least Squares Problems with Absolute Quadratic Constraints

Directory of Open Access Journals (Sweden)

R. Schöne

2012-01-01

Full Text Available This paper analyzes linear least squares problems with absolute quadratic constraints. We develop a generalized theory following Bookstein's conic-fitting and Fitzgibbon's direct ellipse-specific fitting. Under simple preconditions, it can be shown that a minimum always exists and can be determined by a generalized eigenvalue problem. This problem is numerically reduced to an eigenvalue problem by multiplications of Givens' rotations. Finally, four applications of this approach are presented.

Performance deterioration modeling and optimal preventive maintenance strategy under scheduled servicing subject to mission time

Directory of Open Access Journals (Sweden)

Li Dawei

2014-08-01

Full Text Available Servicing is applied periodically in practice with the aim of restoring the system state and prolonging the lifetime. It is generally seen as an imperfect maintenance action which has a chief influence on the maintenance strategy. In order to model the maintenance effect of servicing, this study analyzes the deterioration characteristics of system under scheduled servicing. And then the deterioration model is established from the failure mechanism by compound Poisson process. On the basis of the system damage value and failure mechanism, the failure rate refresh factor is proposed to describe the maintenance effect of servicing. A maintenance strategy is developed which combines the benefits of scheduled servicing and preventive maintenance. Then the optimization model is given to determine the optimal servicing period and preventive maintenance time, with an objective to minimize the system expected life-cycle cost per unit time and a constraint on system survival probability for the duration of mission time. Subject to mission time, it can control the ability of accomplishing the mission at any time so as to ensure the high dependability. An example of water pump rotor relating to scheduled servicing is introduced to illustrate the failure rate refresh factor and the proposed maintenance strategy. Compared with traditional methods, the numerical results show that the failure rate refresh factor can describe the maintenance effect of servicing more intuitively and objectively. It also demonstrates that this maintenance strategy can prolong the lifetime, reduce the total lifetime maintenance cost and guarantee the dependability of system.

STS-61 mission director's post-mission report

Science.gov (United States)

Newman, Ronald L.

1995-01-01

To ensure the success of the complex Hubble Space Telescope servicing mission, STS-61, NASA established a number of independent review groups to assess management, design, planning, and preparation for the mission. One of the resulting recommendations for mission success was that an overall Mission Director be appointed to coordinate management activities of the Space Shuttle and Hubble programs and to consolidate results of the team reviews and expedite responses to recommendations. This report presents pre-mission events important to the experience base of mission management, with related Mission Director's recommendations following the event(s) to which they apply. All Mission Director's recommendations are presented collectively in an appendix. Other appendixes contain recommendations from the various review groups, including Payload Officers, the JSC Extravehicular Activity (EVA) Section, JSC EVA Management Office, JSC Crew and Thermal Systems Division, and the STS-61 crew itself. This report also lists mission events in chronological order and includes as an appendix a post-mission summary by the lead Payload Deployment and Retrieval System Officer. Recommendations range from those pertaining to specific component use or operating techniques to those for improved management, review, planning, and safety procedures.

About some types of constraints in problems of routing

Science.gov (United States)

Petunin, A. A.; Polishuk, E. G.; Chentsov, A. G.; Chentsov, P. A.; Ukolov, S. S.

2016-12-01

Many routing problems arising in different applications can be interpreted as a discrete optimization problem with additional constraints. The latter include generalized travelling salesman problem (GTSP), to which task of tool routing for CNC thermal cutting machines is sometimes reduced. Technological requirements bound to thermal fields distribution during cutting process are of great importance when developing algorithms for this task solution. These requirements give rise to some specific constraints for GTSP. This paper provides a mathematical formulation for the problem of thermal fields calculating during metal sheet thermal cutting. Corresponding algorithm with its programmatic implementation is considered. The mathematical model allowing taking such constraints into account considering other routing problems is discussed either.

γ parameter and Solar System constraint in chameleon-Brans-Dicke theory

International Nuclear Information System (INIS)

Saaidi, Kh.; Mohammadi, A.; Sheikhahmadi, H.

2011-01-01

The post Newtonian parameter is considered in the chameleon-Brans-Dicke model. In the first step, the general form of this parameter and also effective gravitational constant is obtained. An arbitrary function for f(Φ), which indicates the coupling between matter and scalar field, is introduced to investigate validity of solar system constraint. It is shown that the chameleon-Brans-Dicke model can satisfy the solar system constraint and gives us an ω parameter of order 10 4 , which is in comparable to the constraint which has been indicated in [19].

Review on abort trajectory for manned lunar landing mission

Institute of Scientific and Technical Information of China (English)

无

2010-01-01

Abort trajectory is a passage that ensures the astronauts to return safely to the earth when an emergency occurs. Firstly,the essential elements of mission abort are analyzed entirely based on summarizing the existing studies. Then,abort trajectory requirement and rational selection for different flight phases of typical manned lunar mission are discussed specifically. Considering a trade-off between the two primary constrains of an abort,the return time of flight and energy requirement,a general optimizing method for mission abort is proposed. Finally,some suggestions are given for China’s future manned lunar landing mission.

Variational principles of fluid mechanics and electromagnetism: imposition and neglect of the Lin constraint

International Nuclear Information System (INIS)

Allen, R.R. Jr.

1987-01-01

The Lin constraint has been utilized by a number of authors who have sought to develop Eulerian variational principles in both fluid mechanics and electromagnetics (or plasmadynamics). This dissertation first reviews the work of earlier authors concerning the development of variational principles in both the Eulerian and Lagrangian nomenclatures. In the process, it is shown whether or not the Euler-Lagrange equations that result from the variational principles are equivalent to the generally accepted equations of motion. In particular, it is shown in the case of several Eulerian variational principles that imposition of the Lin constraint results in Euler-Lagrange equations equivalent to the generally accepted equations of motion, whereas neglect of the Lin constraint results in restrictive Euler-Lagrange equations. In an effort to improve the physical motivation behind introduction of the Lin constraint, a new variational constraint is developed based on teh concept of surface forces within a fluid. Additionally, it is shown that a quantity often referred to as the canonical momentum of a charged fluid is not always a constant of the motion of the fluid; and it is demonstrated that there does not exist an unconstrained Eulerian variational principle giving rise to the generally accepted equations of motion for both a perfect fluid and a cold, electromagnetic fluid

Effect of power system technology and mission requirements on high altitude long endurance aircraft

Science.gov (United States)

Colozza, Anthony J.

1994-01-01

An analysis was performed to determine how various power system components and mission requirements affect the sizing of a solar powered long endurance aircraft. The aircraft power system consists of photovoltaic cells and a regenerative fuel cell. Various characteristics of these components, such as PV cell type, PV cell mass, PV cell efficiency, fuel cell efficiency, and fuel cell specific mass, were varied to determine what effect they had on the aircraft sizing for a given mission. Mission parameters, such as time of year, flight altitude, flight latitude, and payload mass and power, were also altered to determine how mission constraints affect the aircraft sizing. An aircraft analysis method which determines the aircraft configuration, aspect ratio, wing area, and total mass, for maximum endurance or minimum required power based on the stated power system and mission parameters is presented. The results indicate that, for the power system, the greatest benefit can be gained by increasing the fuel cell specific energy. Mission requirements also substantially affect the aircraft size. By limiting the time of year the aircraft is required to fly at high northern or southern latitudes, a significant reduction in aircraft size or increase in payload capacity can be achieved.

Evaluation and characterization of General Purpose Heat Source girth welds for the Cassini mission

International Nuclear Information System (INIS)

Lynch, C.M.; Moniz, P.F.; Reimus, M.A.H.

1998-01-01

General Purpose Heat Sources (GPHSs) are components of Radioisotopic thermoelectric Generators (RTGs) which provide electric power for deep space missions. Each GPHS consists of a 238 Pu oxide ceramic pellet encapsulated in a welded iridium alloy shell which forms a protective barrier against the release of plutonia in the unlikely event of a launch-pad failure or reentry incident. GPHS fueled clad girth weld flaw detection was paramount to ensuring this safety function, and was accomplished using both destructive and non-destructive evaluation techniques. The first girth weld produced from each welding campaign was metallographically examined for flaws such as incomplete weld penetration, cracks, or porosity which would render a GPHS unacceptable for flight applications. After an acceptable example weld was produced, the subsequently welded heat sources were evaluated non-destructively for flaws using ultrasonic immersion testing. Selected heat sources which failed ultrasonic testing would be radiographed, and/or, destructively evaluated to further characterize and document anomalous indications. Metallography was also performed on impacted heat sources to determine the condition of the welds

Strong Constraints on Cosmological Gravity from GW170817 and GRB 170817A

Science.gov (United States)

Baker, T.; Bellini, E.; Ferreira, P. G.; Lagos, M.; Noller, J.; Sawicki, I.

2017-12-01

The detection of an electromagnetic counterpart (GRB 170817A) to the gravitational-wave signal (GW170817) from the merger of two neutron stars opens a completely new arena for testing theories of gravity. We show that this measurement allows us to place stringent constraints on general scalar-tensor and vector-tensor theories, while allowing us to place an independent bound on the graviton mass in bimetric theories of gravity. These constraints severely reduce the viable range of cosmological models that have been proposed as alternatives to general relativistic cosmology.

Automated and Adaptive Mission Planning for Orbital Express

Science.gov (United States)

Chouinard, Caroline; Knight, Russell; Jones, Grailing; Tran, Daniel; Koblick, Darin

2008-01-01

The Orbital Express space mission was a Defense Advanced Research Projects Agency (DARPA) lead demonstration of on-orbit satellite servicing scenarios, autonomous rendezvous, fluid transfers of hydrazine propellant, and robotic arm transfers of Orbital Replacement Unit (ORU) components. Boeing's Autonomous Space Transport Robotic Operations (ASTRO) vehicle provided the servicing to the Ball Aerospace's Next Generation Serviceable Satellite (NextSat) client. For communication opportunities, operations used the high-bandwidth ground-based Air Force Satellite Control Network (AFSCN) along with the relatively low-bandwidth GEO-Synchronous space-borne Tracking and Data Relay Satellite System (TDRSS) network. Mission operations were conducted out of the RDT&E Support Complex (RSC) at the Kirtland Air Force Base in New Mexico. All mission objectives were met successfully: The first of several autonomous rendezvous was demonstrated on May 5, 2007; autonomous free-flyer capture was demonstrated on June 22, 2007; the fluid and ORU transfers throughout the mission were successful. Planning operations for the mission were conducted by a team of personnel including Flight Directors, who were responsible for verifying the steps and contacts within the procedures, the Rendezvous Planners who would compute the locations and visibilities of the spacecraft, the Scenario Resource Planners (SRPs), who were concerned with assignment of communications windows, monitoring of resources, and sending commands to the ASTRO spacecraft, and the Mission planners who would interface with the real-time operations environment, process planning products and coordinate activities with the SRP. The SRP position was staffed by JPL personnel who used the Automated Scheduling and Planning ENvironment (ASPEN) to model and enforce mission and satellite constraints. The lifecycle of a plan began three weeks outside its execution on-board. During the planning timeframe, many aspects could change the plan

Constraints on perturbative f(R) gravity via neutron stars

Energy Technology Data Exchange (ETDEWEB)

Arapoğlu, Savaş; Ekşi, K. Yavuz [İstanbul Technical University, Faculty of Science and Letters, Physics Engineering Department, Maslak 34469, İstanbul (Turkey); Deliduman, Cemsinan, E-mail: arapoglu@itu.edu.tr, E-mail: cemsinan@msgsu.edu.tr, E-mail: eksi@itu.edu.tr [Mimar Sinan Fine Arts University, Department of Physics, Beşiktaş 34349, İstanbul (Turkey)

2011-07-01

We study the structure of neutron stars in perturbative f(R) gravity models with realistic equations of state. We obtain mass-radius relations in a gravity model of the form f(R) = R+αR{sup 2}. We find that deviations from the results of general relativity, comparable to the variations due to using different equations of state (EoS'), are induced for |α| ∼ 10{sup 9} cm{sup 2}. Some of the soft EoS' that are excluded within the framework of general relativity can be reconciled with the 2 solar mass neutron star recently observed for certain values of α within this range. For some of the EoS' we find that a new solution branch, which allows highly massive neutron stars, exists for values of α greater than a few 10{sup 9} cm{sup 2}. We find constraints on α for a variety of EoS' using the recent observational constraints on the mass-radius relation. These are all 5 orders of magnitude smaller than the recent constraint obtained via Gravity Probe B for this gravity model. The associated length scale √(alpha)approx 10{sup 5} cm is only an order of magnitude smaller than the typical radius of a neutron star, the probe used in this test. This implies that real deviations from general relativity can be even smaller.

Short rendezvous missions for advanced Russian human spacecraft

Science.gov (United States)

Murtazin, Rafail F.; Budylov, Sergey G.

2010-10-01

The two-day stay of crew in a limited inhabited volume of the Soyuz-TMA spacecraft till docking to ISS is one of the most stressful parts of space flight. In this paper a number of possible ways to reduce the duration of the free flight phase are considered. The duration is defined by phasing strategy that is necessary for reduction of the phase angle between the chaser and target spacecraft. Some short phasing strategies could be developed. The use of such strategies creates more comfortable flight conditions for crew thanks to short duration and additionally it allows saving spacecraft's life support resources. The transition from the methods of direct spacecraft rendezvous using one orbit phasing (first flights of " Vostok" and " Soyuz" vehicles) to the currently used methods of two-day rendezvous mission can be observed in the history of Soviet manned space program. For an advanced Russian human rated spacecraft the short phasing strategy is recommended, which can be considered as a combination between the direct and two-day rendezvous missions. The following state of the art technologies are assumed available: onboard accurate navigation; onboard computations of phasing maneuvers; launch vehicle with high accuracy injection orbit, etc. Some operational requirements and constraints for the strategies are briefly discussed. In order to provide acceptable phase angles for possible launch dates the experience of the ISS altitude profile control can be used. As examples of the short phasing strategies, the following rendezvous missions are considered: direct ascent, short mission with the phasing during 3-7 orbits depending on the launch date (nominal or backup). For each option statistical modeling of the rendezvous mission is fulfilled, as well as an admissible phase angle range, accuracy of target state vector and addition fuel consumption coming out of emergency is defined. In this paper an estimation of pros and cons of all options is conducted.

A framework for employing femtosatellites in planetary science missions, including a proposed mission concept for Titan

Science.gov (United States)

Perez, Tracie Renea Conn

correction (FEC) method called low-density parity-check (LDPC) codes is recommended. A specific low-complexity encoder, and accompanying decoder, have been implemented in the open-source software radio library, GNU Radio. Simulation results demonstrating bit error rate (BER) improvement are presented. Hardware for implementing the LDPC methods in a benchtop test are described and future work on this topic is suggested. Third, the power and spatial constraints of femtosatellite designs likely restrict the payload to one or two sensors. Therefore, it is desired to extract as much useful scientific data as possible from secondary sources, such as radiometric data. Estimating the atmospheric density model from different measurement sources is simulated; results are presented. The overall goal for this effort is to advance the field of miniature spacecraft-based technology and to highlight the advantages of using femtosatellites in future planetary exploration missions. By addressing several subsystem design challenges in this context, such a femtosat mission concept is one step closer to being feasible.

Optimizing mission critical data dissemination in massive IoT networks

KAUST Repository

Farooq, Muhammad Junaid

2017-06-29

Mission critical data dissemination in massive Internet of things (IoT) networks imposes constraints on the message transfer delay between devices. Due to low power and communication range of IoT devices, data is foreseen to be relayed over multiple device-to-device (D2D) links before reaching the destination. The coexistence of a massive number of IoT devices poses a challenge in maximizing the successful transmission capacity of the overall network alongside reducing the multi-hop transmission delay in order to support mission critical applications. There is a delicate interplay between the carrier sensing threshold of the contention based medium access protocol and the choice of packet forwarding strategy selected at each hop by the devices. The fundamental problem in optimizing the performance of such networks is to balance the tradeoff between conflicting performance objectives such as the spatial frequency reuse, transmission quality, and packet progress towards the destination. In this paper, we use a stochastic geometry approach to quantify the performance of multi-hop massive IoT networks in terms of the spatial frequency reuse and the transmission quality under different packet forwarding schemes. We also develop a comprehensive performance metric that can be used to optimize the system to achieve the best performance. The results can be used to select the best forwarding scheme and tune the carrier sensing threshold to optimize the performance of the network according to the delay constraints and transmission quality requirements.

Comments on the nilpotent constraint of the goldstino superfield

CERN Document Server

Ghilencea, D M

2016-01-01

Superfield constraints were often used in the past, in particular to describe the Akulov-Volkov action of the goldstino by a superfield formulation with $L=(\\Phi^\\dagger \\Phi)_D + [(f\\Phi)_F + h.c.]$ endowed with the nilpotent constraint $\\Phi^2=0$ for the goldstino superfield ($\\Phi$). Inspired by this, such constraint is often used to define the goldstino superfield even in the presence of additional superfields, for example in models of "nilpotent inflation". In this review we show that the nilpotent property is not valid in general, under the assumption of a microscopic (ultraviolet) description of the theory with linear supermultiplets. Sometimes only weaker versions of the nilpotent relation are true such as $\\Phi^3=0$ or $\\Phi^4=0$ ($\\Phi^2\

From physical dose constraints to equivalent uniform dose constraints in inverse radiotherapy planning

International Nuclear Information System (INIS)

Thieke, Christian; Bortfeld, Thomas; Niemierko, Andrzej; Nill, Simeon

2003-01-01

Optimization algorithms in inverse radiotherapy planning need information about the desired dose distribution. Usually the planner defines physical dose constraints for each structure of the treatment plan, either in form of minimum and maximum doses or as dose-volume constraints. The concept of equivalent uniform dose (EUD) was designed to describe dose distributions with a higher clinical relevance. In this paper, we present a method to consider the EUD as an optimization constraint by using the method of projections onto convex sets (POCS). In each iteration of the optimization loop, for the actual dose distribution of an organ that violates an EUD constraint a new dose distribution is calculated that satisfies the EUD constraint, leading to voxel-based physical dose constraints. The new dose distribution is found by projecting the current one onto the convex set of all dose distributions fulfilling the EUD constraint. The algorithm is easy to integrate into existing inverse planning systems, and it allows the planner to choose between physical and EUD constraints separately for each structure. A clinical case of a head and neck tumor is optimized using three different sets of constraints: physical constraints for all structures, physical constraints for the target and EUD constraints for the organs at risk, and EUD constraints for all structures. The results show that the POCS method converges stable and given EUD constraints are reached closely

Implications of water constraints for electricity capacity expansion in the United States

Science.gov (United States)

Liu, L.; Hejazi, M. I.; Iyer, G.; Forman, B. A.

2017-12-01

U.S. electricity generation is vulnerable to water supply since water is required for cooling. Constraints on the availability of water will therefore necessitate adaptive planning by the power generation sector. Hence, it is important to integrate restrictions in water availability in electricity capacity planning in order to better understand the economic viability of alternative capacity planning options. The study of the implications of water constraints for the U.S. power generation system is limited in terms of scale and robustness. We extend previous studies by including physical water constraints in a state-level model of the U.S. energy system embedded within a global integrated assessment model (GCAM-USA). We focus on the implications of such constraints for the U.S. electricity capacity expansion, integrating both supply and demand effects under a consistent framework. Constraints on the availability of water have two general effects across the U.S. First, water availability constraints increase the cost of electricity generation, resulting in reduced electrification of end-use sectors. Second, water availability constraints result in forced retirements of water-intensive technologies such as thermoelectric coal- and gas- fired technologies before the end of their natural lifetimes. The demand for electricity is then met by an increase in investments in less water-dependent technologies such as wind and solar photovoltaic. Our results show that the regional patterns of the above effects are heterogeneous across the U.S. In general, the impacts of water constraints on electricity capacity expansion are more pronounced in the West than in the East. This is largely because of lower water availability in the West compared to the East due to lower precipitation in the Western states. Constraints on the availability of water might also have important implications for U.S. electricity trade. For example, under severe constraints on the availability of water

Synthesis report about the after-mine mission

International Nuclear Information System (INIS)

2003-07-01

The French ministry of economy finances and industry has assigned the mission of evaluating the after-mine management system to the general inspection of finances and the general council of mines. The after-mine management system encompasses all procedures of coal, iron and potash mines closing down, land reclamation and environmental remedial action and site rehabilitation. This document makes first a status of the problems generated by the stoppage of mining activities: technical aspects, costs, institutional, organisational and juridical aspects, conservation of competences, international benchmarking elements and good practices implemented in foreign countries. Then, in a second part, this report presents the recommendations of the after-mine mission about the mastery of after-mine costs in agreement with the respect of the technical and social goals, with the development of the after-mine institutional system with the scheduled disappearance of Charbonnages de France and Mines de Potasses d'Alsace companies, and with the conservation of competences in the framework of the post-mine operational structure proposed by the mission. (J.S.)

Reliability based topology optimization for continuum structures with local failure constraints

DEFF Research Database (Denmark)

Luo, Yangjun; Zhou, Mingdong; Wang, Michael Yu

2014-01-01

This paper presents an effective method for stress constrained topology optimization problems under load and material uncertainties. Based on the Performance Measure Approach (PMA), the optimization problem is formulated as to minimize the objective function under a large number of (stress......-related) target performance constraints. In order to overcome the stress singularity phenomenon caused by the combined stress and reliability constraints, a reduction strategy on target reliability index is proposed and utilized together with the ε-relaxation approach. Meanwhile, an enhanced aggregation method...... is employed to aggregate the selected active constraints using a general K–S function, which avoids expensive computational cost from the large-scale nature of local failure constraints. Several numerical examples are given to demonstrate the validity of the present method....

Model-independent cosmological constraints from growth and expansion

Science.gov (United States)

L'Huillier, Benjamin; Shafieloo, Arman; Kim, Hyungjin

2018-05-01

Reconstructing the expansion history of the Universe from Type Ia supernovae data, we fit the growth rate measurements and put model-independent constraints on some key cosmological parameters, namely, Ωm, γ, and σ8. The constraints are consistent with those from the concordance model within the framework of general relativity, but the current quality of the data is not sufficient to rule out modified gravity models. Adding the condition that dark energy density should be positive at all redshifts, independently of its equation of state, further constrains the parameters and interestingly supports the concordance model.

Critical review of Ames Life Science participation in Spacelab Mission Development Test 3: The SMD 3 management study

Science.gov (United States)

Helmreich, R.; Wilhelm, J.; Tanner, T. A.; Sieber, J. E.; Burgenbauch, S.

1978-01-01

A management study was conducted to specify activities and problems encountered during the development of procedures for documentation and crew training on experiments, as well as during the design, integration, and delivery of a life sciences experiment payload to Johnson Space Center for a 7 day simulation of a Spacelab mission. Conclusions and recommendations to project management for current and future Ames' life sciences projects are included. Broader issues relevant to the conduct of future scientific missions under the constraints imposed by the environment of space are also addressed.

Peer-to-Peer Planning for Space Mission Control

Science.gov (United States)

Barreiro, Javier; Jones, Grailing, Jr.; Schaffer, Steve

2009-01-01

Planning and scheduling for space operations entails the development of applications that embed intimate domain knowledge of distinct areas of mission control, while allowing for significant collaboration among them. The separation is useful because of differences in the planning problem, solution methods, and frequencies of replanning that arise in the different disciplines. For example, planning the activities of human spaceflight crews requires some reasoning about all spacecraft resources at timescales of minutes or seconds, and is subject to considerable volatility. Detailed power planning requires managing the complex interplay of power consumption and production, involves very different classes of constraints and preferences, but once plans are generated they are relatively stable.

The Effects of Two Levels of Linguistic Constraint on Echolalia and Generative Language Production in Children with Autism.

Science.gov (United States)

Rydell, Patrick J.; Mirenda, Pat

1991-01-01

This study of 3 boys (ages 5-6) with autism found that adult high-constraint antecedent utterances elicited more verbal utterances in general, including subjects' echolalia; adult low-constraint utterances elicited more subject high-constraint utterances; and the degree of adult-utterance constraint did not influence the mean lengths of subjects'…

Constraint-based reachability

Directory of Open Access Journals (Sweden)

Arnaud Gotlieb

2013-02-01

Full Text Available Iterative imperative programs can be considered as infinite-state systems computing over possibly unbounded domains. Studying reachability in these systems is challenging as it requires to deal with an infinite number of states with standard backward or forward exploration strategies. An approach that we call Constraint-based reachability, is proposed to address reachability problems by exploring program states using a constraint model of the whole program. The keypoint of the approach is to interpret imperative constructions such as conditionals, loops, array and memory manipulations with the fundamental notion of constraint over a computational domain. By combining constraint filtering and abstraction techniques, Constraint-based reachability is able to solve reachability problems which are usually outside the scope of backward or forward exploration strategies. This paper proposes an interpretation of classical filtering consistencies used in Constraint Programming as abstract domain computations, and shows how this approach can be used to produce a constraint solver that efficiently generates solutions for reachability problems that are unsolvable by other approaches.

Constraint-Muse: A Soft-Constraint Based System for Music Therapy

Science.gov (United States)

Hölzl, Matthias; Denker, Grit; Meier, Max; Wirsing, Martin

Monoidal soft constraints are a versatile formalism for specifying and solving multi-criteria optimization problems with dynamically changing user preferences. We have developed a prototype tool for interactive music creation, called Constraint Muse, that uses monoidal soft constraints to ensure that a dynamically generated melody harmonizes with input from other sources. Constraint Muse provides an easy to use interface based on Nintendo Wii controllers and is intended to be used in music therapy for people with Parkinson’s disease and for children with high-functioning autism or Asperger’s syndrome.

A joint-constraint model for human joints using signed distance-fields

DEFF Research Database (Denmark)

Engell-Nørregård, Morten Pol; Abel, Sarah Maria Niebe; Erleben, Kenny

2012-01-01

We present a local joint-constraint model for a single joint which is based on distance fields. Our model is fast, general, and well suited for modeling human joints. In this work, we take a geometric approach and model the geometry of the boundary of the feasible region, i.e., the boundary of all...... allowed poses. A region of feasible poses can be built by embedding motion captured data points in a signed distance field. The only assumption is that the feasible poses form a single connected set of angular values. We show how signed distance fields can be used to generate fast and general joint......-joint dependencies, or joints with more than three degrees of freedom. The resolution of the joint-constraints can be tweaked individually for each degree of freedom, which can be used to optimize memory usage. We perform a comparative study of the key-properties of various joint-constraint models, as well...

Neutrino mass constraints on β decay

International Nuclear Information System (INIS)

Ito, Takeyasu M.; Prezeau, Gary

2005-01-01

Using the general connection between the upper limit on the neutrino mass and the upper limits on certain types of non-standard-model interactions that can generate loop corrections to the neutrino mass, we derive constraints on some non-standard-model d→ue - ν interactions. When cast into limits on n→pe - ν coupling constants, our results yield constraints on scalar and tensor weak interactions improved by more than an order of magnitude over the current experimental limits. When combined with the existing limits, our results yield vertical bar C S /C V vertical bar or approx. 5x10 -3 , vertical bar C S ' /C V vertical bar or approx. 5x10 -3 , vertical bar C T /C A vertical bar -2 , and vertical bar C T ' /C A vertical bar -2

Mission aware energy saving strategies for Army ground vehicles

Science.gov (United States)

Dattathreya, Macam S.

Fuel energy is a basic necessity for this planet and the modern technology to perform many activities on earth. On the other hand, quadrupled automotive vehicle usage by the commercial industry and military has increased fuel consumption. Military readiness of Army ground vehicles is very important for a country to protect its people and resources. Fuel energy is a major requirement for Army ground vehicles. According to a report, a department of defense has spent nearly $13.6 billion on fuel and electricity to conduct ground missions. On the contrary, energy availability on this plant is slowly decreasing. Therefore, saving energy in Army ground vehicles is very important. Army ground vehicles are embedded with numerous electronic systems to conduct missions such as silent and normal stationary surveillance missions. Increasing electrical energy consumption of these systems is influencing higher fuel consumption of the vehicle. To save energy, the vehicles can use any of the existing techniques, but they require complex, expensive, and time consuming implementations. Therefore, cheaper and simpler approaches are required. In addition, the solutions have to save energy according to mission needs and also overcome size and weight constraints of the vehicle. Existing research in the current literature do not have any mission aware approaches to save energy. This dissertation research proposes mission aware online energy saving strategies for stationary Army ground vehicles to save energy as well as to meet the electrical needs of the vehicle during surveillance missions. The research also proposes theoretical models of surveillance missions, fuzzy logic models of engine and alternator efficiency data, and fuzzy logic algorithms. Based on these models, two energy saving strategies are proposed for silent and normal surveillance type of missions. During silent mission, the engine is on and batteries power the systems. During normal surveillance mission, the engine is

Communication dated 5 March 2014 received from the Permanent Mission of the Islamic Republic of Iran to the Agency regarding the Report of the Director General on the Implementation of Safeguards in Iran

International Nuclear Information System (INIS)

2014-01-01

The Secretariat has received a communication dated 5 March 2014 from the Permanent Mission of the Islamic Republic of Iran to the Agency, enclosing an explanatory note by the Permanent Mission on the report of the Director General on ''Implementation of the NPT Safeguards Agreement and Relevant Provisions of Security Council Resolutions in the Islamic Republic of Iran'' contained in document GOV/2014/10 (20 February 2014). The communication and, as requested by the Permanent Mission, the explanatory note are circulated herewith for information

Communication dated 5 March 2014 received from the Permanent Mission of the Islamic Republic of Iran to the Agency regarding the Report of the Director General on the Implementation of Safeguards in Iran

International Nuclear Information System (INIS)

2014-01-01

The Secretariat has received a communication dated 5 March 2014 from the Permanent Mission of the Islamic Republic of Iran to the Agency, enclosing an explanatory note by the Permanent Mission on the report of the Director General on ''Implementation of the NPT Safeguards Agreement and Relevant Provisions of Security Council Resolutions in the Islamic Republic of Iran'' contained in document GOV/2014/10 (20 February 2014). The communication and, as requested by the Permanent Mission, the explanatory note are circulated herewith for information [es

Nuclear risk analysis of the Ulysses mission

International Nuclear Information System (INIS)

Bartram, B.W.; Vaughan, F.R.; Englehart, D.R.W.

1991-01-01

The use of a radioisotope thermoelectric generator fueled with plutonium-238 dioxide on the Space Shuttle-launched Ulysses mission implies some level of risk due to potential accidents. This paper describes the method used to quantify risks in the Ulysses mission Final Safety Analysis Report prepared for the U.S. Department of Energy. The starting point for the analysis described herein is following input of source term probability distributions from the General Electric Company. A Monte Carlo technique is used to develop probability distributions of radiological consequences for a range of accident scenarios thoughout the mission. Factors affecting radiological consequences are identified, the probability distribution of the effect of each factor determined, and the functional relationship among all the factors established. The probability distributions of all the factor effects are then combined using a Monte Carlo technique. The results of the analysis are presented in terms of complementary cumulative distribution functions (CCDF) by mission sub-phase, phase, and the overall mission. The CCDFs show the total probability that consequences (calculated health effects) would be equal to or greater than a given value

Moon manned missions radiation safety analysis

Science.gov (United States)

Tripathi, R. K.; Wilson, J. W.; de Anlelis, G.; Badavi, F. F.

An analysis is performed on the radiation environment found on the surface of the Moon, and applied to different possible lunar base mission scenarios. An optimization technique has been used to obtain mission scenarios minimizing the astronaut radiation exposure and at the same time controlling the effect of shielding, in terms of mass addition and material choice, as a mission cost driver. The optimization process has been realized through minimization of mass along all phases of a mission scenario, in terms of time frame (dates, transfer time length and trajectory, radiation environment), equipment (vehicles, in terms of shape, volume, onboard material choice, size and structure), location (if in space, on the surface, inside or outside a certain habitats), crew characteristics (number, gender, age, tasks) and performance required (spacecraft and habitat volumes), radiation exposure annual and career limit constraint (from NCRP 132), and implementation of the ALARA principle (shelter from the occurrence of Solar Particle Events). On the lunar surface the most important contribution to radiation exposure is given by background Galactic Cosmic Rays (GCR) particles, mostly protons, alpha particles, and some heavy ions, and by locally induced particles, mostly neutrons, created by the interaction between GCR and surface material and emerging from below the surface due to backscattering processes. In this environment manned habitats are to host future crews involved in the construction and/or in the utilization of moon based infrastructure. Three different kinds of lunar missions are considered in the analysis, Moon Base Construction Phase, during which astronauts are on the surface just to build an outpost for future resident crews, Moon Base Outpost Phase, during which astronaut crews are resident but continuing exploration and installation activities, and Moon Base Routine Phase, with long-term shifting resident crews. In each scenario various kinds of habitats

Constraint Logic Programming for Resolution of Relative Time Expressions

DEFF Research Database (Denmark)

Christiansen, Henning

2014-01-01

Translating time expression into absolute time points or durations is a challenge for natural languages processing such as text mining and text understanding in general. We present a constraint logic language CLP(Time) tailored to text usages concerned with time and calendar. It provides a simple...... and flexible formalism to express relationships between different time expressions in a text, thereby giving a recipe for resolving them into absolute time. A constraint solver is developed which, as opposed to some earlier approaches, is independent of the order in which temporal information is introduced...

Galileo and Ulysses missions safety analysis and launch readiness status

International Nuclear Information System (INIS)

Cork, M.J.; Turi, J.A.

1989-01-01

The Galileo spacecraft will explore the Jupiter system and Ulysses will fly by Jupiter en route to a polar orbit of the sun. Both spacecraft are powered by general purpose heat source radioisotope thermoelectric generators (RTGs). As a result of the Challenger accident and subsequent mission reprogramming, the Galileo and Ulysses missions' safety analysis had to be repeated. In addition to presenting an overview of the safety analysis status for the missions, this paper presents a brief review of the missions' objectives and design approaches, RTG design characteristics and development history, and a description of the safety analysis process. (author)

Asteroid Redirect Crewed Mission Space Suit and EVA System Architecture Trade Study

Science.gov (United States)

Bowie, Jonathan; Buffington, Jesse; Hood, Drew; Kelly, Cody; Naids, Adam; Watson, Richard; Blanco, Raul; Sipila, Stephanie

2014-01-01

The Asteroid Redirect Crewed Mission (ARCM) requires a Launch/Entry/Abort (LEA) suit capability and short duration Extra Vehicular Activity (EVA) capability from the Orion spacecraft. For this mission, the pressure garment selected for both functions is the Modified Advanced Crew Escape Suit (MACES) with EVA enhancements and the life support option that was selected is the Exploration Portable Life Support System (PLSS) currently under development for Advanced Exploration Systems (AES). The proposed architecture meets the ARCM constraints, but much more work is required to determine the details of the suit upgrades, the integration with the PLSS, and the tools and equipment necessary to accomplish the mission. This work has continued over the last year to better define the operations and hardware maturation of these systems. EVA simulations were completed in the Neutral Buoyancy Lab (NBL) and interfacing options were prototyped and analyzed with testing planned for late 2014. This paper discusses the work done over the last year on the MACES enhancements, the use of tools while using the suit, and the integration of the PLSS with the MACES.

STUDY REGARDING DIFFERENT TYPES OF AUDITOR’S MISSIONS

Directory of Open Access Journals (Sweden)

Daniel Botez

2013-12-01

Full Text Available After the involvement of the audit profession in several financial scandals, the international body of the profession, International Federation of Accountants – IFAC, has developed and published a conceptual framework and reviewed most of the reference standards in auditing to provide references regarding the responsibility of the professionals and the extent of their missions. Thus was established the use of a general term for professionals, the “practitioner”, in the context of specific missions using the “auditor”, “practitioner” or “accountant”. On the other hand, have been revised professional standards establish insurance missions and non-insurance operations, with their specific missions that do not provide insurance, including the recoding. The use of these references by audit professionals constitutes one of the “keys” to their success.

Wave functions constructed from an invariant sum over histories satisfy constraints

International Nuclear Information System (INIS)

Halliwell, J.J.; Hartle, J.B.

1991-01-01

Invariance of classical equations of motion under a group parametrized by functions of time implies constraints between canonical coordinates and momenta. In the Dirac formulation of quantum mechanics, invariance is normally imposed by demanding that physical wave functions are annihilated by the operator versions of these constraints. In the sum-over-histories quantum mechanics, however, wave functions are specified, directly, by appropriate functional integrals. It therefore becomes an interesting question whether the wave functions so specified obey the operator constraints of the Dirac theory. In this paper, we show for a wide class of theories, including gauge theories, general relativity, and first-quantized string theories, that wave functions constructed from a sum over histories are, in fact, annihilated by the constraints provided that the sum over histories is constructed in a manner which respects the invariance generated by the constraints. By this we mean a sum over histories defined with an invariant action, invariant measure, and an invariant class of paths summed over

Solar System constraints to general f(R) gravity

International Nuclear Information System (INIS)

Chiba, Takeshi; Smith, Tristan L.; Erickcek, Adrienne L.

2007-01-01

It has been proposed that cosmic acceleration or inflation can be driven by replacing the Einstein-Hilbert action of general relativity with a function f(R) of the Ricci scalar R. Such f(R) gravity theories have been shown to be equivalent to scalar-tensor theories of gravity that are incompatible with Solar System tests of general relativity, as long as the scalar field propagates over Solar System scales. Specifically, the parameterized post-Newtonian (PPN) parameter in the equivalent scalar-tensor theory is γ=1/2, which is far outside the range allowed by observations. In response to a flurry of papers that questioned the equivalence of f(R) theory to scalar-tensor theories, it was recently shown explicitly, without resorting to the scalar-tensor equivalence, that the vacuum field equations for 1/R gravity around a spherically symmetric mass also yield γ=1/2. Here we generalize this analysis to f(R) gravity and enumerate the conditions that, when satisfied by the function f(R), lead to the prediction that γ=1/2

IAEA '77: between politics and factual constraints

International Nuclear Information System (INIS)

Freytag, A.

1976-01-01

The IAEA's organization of its 20th General Conference at Rio de Janeiro clearly underlined the importance of a comprehensive international transfer of nuclear technology. Despite all efforts to keep the Agency out of general political confrontations, the Conference was tinged politically by the PLO and South Africa problems. Besides the next five year program, which was agreed upon in the light of existing factual constraints, the support and control functions of the IAEA and next year's Salzburg Fuel Cycle Conference were other main topics of discussion. The 1977 IAEA budget was approved at a level of 43.5 million, the General Fund at 6.5 million. (orig.) [de

Constraints on low energy Compton scattering amplitudes

International Nuclear Information System (INIS)

Raszillier, I.

1979-04-01

We derive the constraints and correlations of fairly general type for Compton scattering amplitudes at energies below photoproduction threshold and fixed momentum transfer, following from (an upper bound on) the corresponding differential cross section above photoproduction threshold. The derivation involves the solution of an extremal problem in a certain space of vector - valued analytic functions. (author)

Reference Mission Version 3.0 Addendum to the Human Exploration of Mars: The Reference Mission of the NASA Mars Exploration Study Team. Addendum; 3.0

Science.gov (United States)

Drake, Bret G. (Editor)

1998-01-01

This Addendum to the Mars Reference Mission was developed as a companion document to the NASA Special Publication 6107, "Human Exploration of Mars: The Reference Mission of the NASA Mars Exploration Study Team." It summarizes changes and updates to the Mars Reference Missions that were developed by the Exploration Office since the final draft of SP 6107 was printed in early 1999. The Reference Mission is a tool used by the exploration community to compare and evaluate approaches to mission and system concepts that could be used for human missions to Mars. It is intended to identify and clarify system drivers, significant sources of cost, performance, risk, and schedule variation. Several alternative scenarios, employing different technical approaches to solving mission and technology challenges, are discussed in this Addendum. Comparing alternative approaches provides the basis for continual improvement to technology investment plan and a general understanding of future human missions to Mars. The Addendum represents a snapshot of work in progress in support of planning for future human exploration missions through May 1998.

Reduction of Constraints: Applicability of the Homogeneity Constraint for Macrobatch 3

International Nuclear Information System (INIS)

Peeler, D.K.

2001-01-01

The Product Composition Control System (PCCS) is used to determine the acceptability of each batch of Defense Waste Processing Facility (DWPF) melter feed in the Slurry Mix Evaporator (SME). This control system imposes several constraints on the composition of the contents of the SME to define acceptability. These constraints relate process or product properties to composition via prediction models. A SME batch is deemed acceptable if its sample composition measurements lead to acceptable property predictions after accounting for modeling, measurement and analytic uncertainties. The baseline document guiding the use of these data and models is ''SME Acceptability Determination for DWPF Process Control (U)'' by Brown and Postles [1996]. A minimum of three PCCS constraints support the prediction of the glass durability from a given SME batch. The Savannah River Technology Center (SRTC) is reviewing all of the PCCS constraints associated with durability. The purpose of this review is to revisit these constraints in light of the additional knowledge gained since the beginning of radioactive operations at DWPF and to identify any supplemental studies needed to amplify this knowledge so that redundant or overly conservative constraints can be eliminated or replaced by more appropriate constraints

Constraint theory, singular lagrangians and multitemporal dynamics

International Nuclear Information System (INIS)

Lusanna, L.

1988-01-01

Singular Lagrangians and constraint theory permeate theoretical physics, as shown by the relevance of gauge theories, string models and general relativity. Their study used finite---dimensional models as a guide to develop the theory, but their main use was in classical field theory, due to the necessity of understanding their quantization. The covariant quantization of singular Lagrangians led to the BRST approach and to the theory of the effective action. On the other hand their phase---space formulation, culminated with the BFV approach for first class, second class and reducible constraints. It, in turn, gave new insights in the theory of singular Lagrangians and constraints and in their cohomological aspects. However the Hamiltonian approach to field theory is highly nontrivial, is open to criticism due to its problems with locality, geometry and manifest covariance and its canonical quantization has still to be developed, because there is no proof of the renormalizability of the Schroedinger representation of field theory. This paper discusses how, notwithstanding these developments, there is still a big amount of ambiguity at every level of the theory

Mars MetNet Mission Status

Science.gov (United States)

Harri, Ari-Matti; Aleksashkin, Sergei; Arruego, Ignacio; Schmidt, Walter; Genzer, Maria; Vazquez, Luis; Haukka, Harri

2015-04-01

descent phase starting shortly after separation from the spacecraft. MetNet Mission payload instruments are specially designed to operate in very low power conditions. MNL flexible solar panels provides a total of approximately 0.7-0.8 W of electric power during the daylight time. As the provided power output is insufficient to operate all instruments simultaneously they are activated sequentially according to a specially designed cyclogram table which adapts itself to the different environmental constraints. 3. Mission Status Full Qualification Model (QM) of the MetNet landing unit with the Precursor Mission payload is currently under functional tests. In near future the QM unit will be exposed to environmental tests with qualification levels including vibrations, thermal balance, thermal cycling and mechanical impact shock. One complete flight unit of the entry, descent and landing systems (EDLS) has been manufactured and tested with acceptance levels. Another flight-like EDLS has been exposed to most of the qualification tests, and hence it may be used for flight after refurbishments. Accordingly two flight-capable EDLS systems exist. The eventual goal is to create a network of atmospheric observational posts around the Martian surface. Even if the MetNet mission is focused on the atmospheric science, the mission payload will also include additional kinds of geophysical instrumentation. The next step in the MetNet Precursor Mission to demonstrate the technical robustness and scientific capabilities of the MetNet type of landing vehicle. Definition of the Precursor Mission and discussions on launch opportunities are currently under way. The baseline program development funding exists for the next five years. Flight unit manufacture of the payload bay takes about 18 months, and it will be commenced after the Precursor Mission has been defined. References [1] http://metnet.fmi.fi

Testing general relativity and alternative theories of gravity with space-based atomic clocks and atom interferometers

Directory of Open Access Journals (Sweden)

Bondarescu Ruxandra

2015-01-01

Full Text Available The successful miniaturisation of extremely accurate atomic clocks and atom interferometers invites prospects for satellite missions to perform precision experiments. We discuss the effects predicted by general relativity and alternative theories of gravity that can be detected by a clock, which orbits the Earth. Our experiment relies on the precise tracking of the spacecraft using its observed tick-rate. The spacecraft’s reconstructed four-dimensional trajectory will reveal the nature of gravitational perturbations in Earth’s gravitational field, potentially differentiating between different theories of gravity. This mission can measure multiple relativistic effects all during the course of a single experiment, and constrain the Parametrized Post-Newtonian Parameters around the Earth. A satellite carrying a clock of fractional timing inaccuracy of Δ f / f ∼ 10−16 in an elliptic orbit around the Earth would constrain the PPN parameters |β − 1|, |γ − 1| ≲ 10−6. We also briefly review potential constraints by atom interferometers on scalar tensor theories and in particular on Chameleon and dilaton models.

Space nuclear tug mission applications

International Nuclear Information System (INIS)

Hodge, J.R.; Rauen, L.A.

1996-01-01

An initial assessment indicates that the NEBA-1 and NEBA-3 bimodal reactor designs can be integrated into a reusable tug which is capable of supporting many missions including GSO delivery, GSO retrieval, lunar trajectory deliveries, interplanetary deliveries, and a variety of satellite servicing. The tug close-quote s nuclear thermal propulsion provides timely transport and payload delivery, with GSO deliveries on the order of 3 endash 7 days. In general, the tug may provide a number of potential benefits to users. The tug may, for example, extend the life of an existing on-orbit spacecraft, boost spacecraft which were not delivered to their operational orbit, offer increased payload capability, or possibly allow payloads to launch on smaller less expensive launch vehicles. Reusing the tug for 5 or 10 missions requires total reactor burn times of 50 and 100 hours, respectively. Shielding, boom structure, and radiator requirements were identified as key factors in the configuration layout. Economic feasibility is still under evaluation, but preliminary estimates indicate that average flight costs may range from $32 M to $34 M for a 10-mission vehicle and from $39 M to $42 M for a 5-mission vehicle. copyright 1996 American Institute of Physics

On the implicit programming approach in a class of mathematical programs with equilibrium constraints

Czech Academy of Sciences Publication Activity Database

Outrata, Jiří; Červinka, Michal

2009-01-01

Roč. 38, 4B (2009), s. 1557-1574 ISSN 0324-8569 R&D Projects: GA ČR GA201/09/1957 Institutional research plan: CEZ:AV0Z10750506 Keywords : mathematical problem with equilibrium constraint * state constraints * implicit programming * calmness * exact penalization Subject RIV: BA - General Mathematics Impact factor: 0.378, year: 2009 http://library.utia.cas.cz/separaty/2010/MTR/outrata-on the implicit programming approach in a class of mathematical programs with equilibrium constraints.pdf

Formulation of consumables management models: Mission planning processor payload interface definition

Science.gov (United States)

Torian, J. G.

1977-01-01

Consumables models required for the mission planning and scheduling function are formulated. The relation of the models to prelaunch, onboard, ground support, and postmission functions for the space transportation systems is established. Analytical models consisting of an orbiter planning processor with consumables data base is developed. A method of recognizing potential constraint violations in both the planning and flight operations functions, and a flight data file storage/retrieval of information over an extended period which interfaces with a flight operations processor for monitoring of the actual flights is presented.

MMPM - Mars MetNet Precursor Mission

Science.gov (United States)

Harri, A.-M.; Schmidt, W.; Pichkhadze, K.; Linkin, V.; Vazquez, L.; Uspensky, M.; Polkko, J.; Genzer, M.; Lipatov, A.; Guerrero, H.; Alexashkin, S.; Haukka, H.; Savijarvi, H.; Kauhanen, J.

2008-09-01

MetNet Mars Mission will provide a crucial support for the safety of large landing missions in general and manned Mars missions in particular. Accurate knowledge of atmospheric conditions and weather data is essential to guarantee safe landings of the forthcoming Mars mission elements. The MetNet Mars Mission is exactly this type of tool that is needed both for the Martian atmospheric science as well as for the mission safety issues.

Training feed-forward neural networks with gain constraints

Science.gov (United States)

Hartman

2000-04-01

Inaccurate input-output gains (partial derivatives of outputs with respect to inputs) are common in neural network models when input variables are correlated or when data are incomplete or inaccurate. Accurate gains are essential for optimization, control, and other purposes. We develop and explore a method for training feedforward neural networks subject to inequality or equality-bound constraints on the gains of the learned mapping. Gain constraints are implemented as penalty terms added to the objective function, and training is done using gradient descent. Adaptive and robust procedures are devised for balancing the relative strengths of the various terms in the objective function, which is essential when the constraints are inconsistent with the data. The approach has the virtue that the model domain of validity can be extended via extrapolation training, which can dramatically improve generalization. The algorithm is demonstrated here on artificial and real-world problems with very good results and has been advantageously applied to dozens of models currently in commercial use.

Momentum constraint relaxation

International Nuclear Information System (INIS)

Marronetti, Pedro

2006-01-01

Full relativistic simulations in three dimensions invariably develop runaway modes that grow exponentially and are accompanied by violations of the Hamiltonian and momentum constraints. Recently, we introduced a numerical method (Hamiltonian relaxation) that greatly reduces the Hamiltonian constraint violation and helps improve the quality of the numerical model. We present here a method that controls the violation of the momentum constraint. The method is based on the addition of a longitudinal component to the traceless extrinsic curvature A ij -tilde, generated by a vector potential w i , as outlined by York. The components of w i are relaxed to solve approximately the momentum constraint equations, slowly pushing the evolution towards the space of solutions of the constraint equations. We test this method with simulations of binary neutron stars in circular orbits and show that it effectively controls the growth of the aforementioned violations. We also show that a full numerical enforcement of the constraints, as opposed to the gentle correction of the momentum relaxation scheme, results in the development of instabilities that stop the runs shortly

Beyond mechanistic interaction: Value-based constraints on meaning in language

Directory of Open Access Journals (Sweden)

Joanna eRączaszek-Leonardi

2015-10-01

Full Text Available According to situated, embodied, distributed approaches to cognition, language is a crucial means for structuring social interactions. Recent approaches that emphasize the coordinative function of language treat language as a system of replicable constraints that work both on individuals and on interactions. In this paper we argue that the integration of replicable constraints approach to language with the ecological view on values allows for a deeper insight into processes of meaning creation in interaction. Such synthesis of these frameworks draws attention to important sources of structuring interactions beyond the sheer efficiency of a collective system in its current task situation. Most importantly the workings of linguistic constraints will be shown as embedded in more general fields of values, which are realized on multiple time-scales. Since the ontogenetic timescale offers a convenient window into a process of the emergence of linguistic constraints, we present illustrations of concrete mechanisms through which values may become embodied in language use in development.

Beyond mechanistic interaction: value-based constraints on meaning in language.

Science.gov (United States)

Rączaszek-Leonardi, Joanna; Nomikou, Iris

2015-01-01

According to situated, embodied, and distributed approaches to cognition, language is a crucial means for structuring social interactions. Recent approaches that emphasize this coordinative function treat language as a system of replicable constraints on individual and interactive dynamics. In this paper, we argue that the integration of the replicable-constraints approach to language with the ecological view on values allows for a deeper insight into processes of meaning creation in interaction. Such a synthesis of these frameworks draws attention to important sources of structuring interactions beyond the sheer efficiency of a collective system in its current task situation. Most importantly, the workings of linguistic constraints will be shown as embedded in more general fields of values, which are realized on multiple timescales. Because the ontogenetic timescale offers a convenient window into the emergence of linguistic constraints, we present illustrations of concrete mechanisms through which values may become embodied in language use in development.

Auto Mission Planning System Design for Imaging Satellites and Its Applications in Environmental Field

Directory of Open Access Journals (Sweden)

He Yongming

2016-10-01

Full Text Available Satellite hardware has reached a level of development that enables imaging satellites to realize applications in the area of meteorology and environmental monitoring. As the requirements in terms of feasibility and the actual profit achieved by satellite applications increase, we need to comprehensively consider the actual status, constraints, unpredictable information, and complicated requirements. The management of this complex information and the allocation of satellite resources to realize image acquisition have become essential for enhancing the efficiency of satellite instrumentation. In view of this, we designed a satellite auto mission planning system, which includes two sub-systems: the imaging satellite itself and the ground base, and these systems would then collaborate to process complicated missions: the satellite mainly focuses on mission planning and functions according to actual parameters, whereas the ground base provides auxiliary information, management, and control. Based on the requirements analysis, we have devised the application scenarios, main module, and key techniques. Comparison of the simulation results of the system, confirmed the feasibility and optimization efficiency of the system framework, which also stimulates new thinking for the method of monitoring environment and design of mission planning systems.

Artificial Neural Network Based Mission Planning Mechanism for Spacecraft

Science.gov (United States)

Li, Zhaoyu; Xu, Rui; Cui, Pingyuan; Zhu, Shengying

2018-04-01

The ability to plan and react fast in dynamic space environments is central to intelligent behavior of spacecraft. For space and robotic applications, many planners have been used. But it is difficult to encode the domain knowledge and directly use existing techniques such as heuristic to improve the performance of the application systems. Therefore, regarding planning as an advanced control problem, this paper first proposes an autonomous mission planning and action selection mechanism through a multiple layer perceptron neural network approach to select actions in planning process and improve efficiency. To prove the availability and effectiveness, we use autonomous mission planning problems of the spacecraft, which is a sophisticated system with complex subsystems and constraints as an example. Simulation results have shown that artificial neural networks (ANNs) are usable for planning problems. Compared with the existing planning method in EUROPA, the mechanism using ANNs is more efficient and can guarantee stable performance. Therefore, the mechanism proposed in this paper is more suitable for planning problems of spacecraft that require real time and stability.

A generalized Yang-Mills Theory I: general aspects of the classical theory

International Nuclear Information System (INIS)

Galvao, C.A.P.

1987-01-01

A generalized Yang-Mills theory which is the non-Abelian version of the generalized eletrodinamics proposed by Podolsky is analysed both in the Lagrangian an Hamiltonian formulation. A simple class of solutions to the Euler-Lagrange equations is presented and the structure of the Hamiltonian constraints is studied in details. (Author) [pt

The Long, Bumpy Road to a Mars Aeronomy Mission (Invited)

Science.gov (United States)

Grebowsky, J. M.; Luhmann, J. G.; Bougher, S. W.; Jakosky, B. M.

2013-12-01

With the advent of the space age, early focus was put into characterizing the Earth's upper atmosphere with aeronomy missions. These missions were designed to study the upper atmosphere region of a planet where the ionosphere is produced with particular attention given to the composition, properties and motion of atmosphere constituents. In particular a very successful US series of Atmosphere Explorer aeronomy spacecraft (1963-1977) was implemented. This upper atmosphere region is the envelope that all energy from the sun must penetrate and is recognized as an inseparable part of a planet's entire atmosphere. Venus was the next planet to have its upper atmosphere/ionosphere deeply probed via the Pioneer Venus Orbiter (1978-1986) that carried a complement of instruments similar to some flown on the Atmosphere Explorers. The planet which humans have long set their imagination on, Mars, has yet to be subjected to the same detailed upper atmosphere perusal until now, with MAVEN. Not that attempts have been wanting. More than 30 spacecraft launches to Mars were attempted, but half were not successful and those that attained orbit came far short of attaining the same level of knowledge of the Martian upper atmosphere. Other countries had planned Mars aeronomy missions that didn't bear fruit - e.g. Mars-96 and Nozomi and the US did studies for two missions, Mars Aeronomy Orbiter and MUADEE, that never were implemented. This is about to change. NASA's Scout Program singled out two aeronomy missions in its final competition and the selected mission, MAVEN, will fly with the needed sophistication of instruments to finally probe and understand the top of Mars' atmosphere. Was this late selection of a NASA aeronomy mission to Mars a philosophy change in US priorities or was it an accident of planning and budget constraints? Was it driven by the developing knowledge that Mars really had an early atmosphere environment conducive to life and that an aeronomy mission is indeed

Mean-Reverting Portfolio With Budget Constraint

Science.gov (United States)

Zhao, Ziping; Palomar, Daniel P.

2018-05-01

This paper considers the mean-reverting portfolio design problem arising from statistical arbitrage in the financial markets. We first propose a general problem formulation aimed at finding a portfolio of underlying component assets by optimizing a mean-reversion criterion characterizing the mean-reversion strength, taking into consideration the variance of the portfolio and an investment budget constraint. Then several specific problems are considered based on the general formulation, and efficient algorithms are proposed. Numerical results on both synthetic and market data show that our proposed mean-reverting portfolio design methods can generate consistent profits and outperform the traditional design methods and the benchmark methods in the literature.

Energetic and ecological constraints on population density of reef fishes.

Science.gov (United States)

Barneche, D R; Kulbicki, M; Floeter, S R; Friedlander, A M; Allen, A P

2016-01-27

Population ecology has classically focused on pairwise species interactions, hindering the description of general patterns and processes of population abundance at large spatial scales. Here we use the metabolic theory of ecology as a framework to formulate and test a model that yields predictions linking population density to the physiological constraints of body size and temperature on individual metabolism, and the ecological constraints of trophic structure and species richness on energy partitioning among species. Our model was tested by applying Bayesian quantile regression to a comprehensive reef-fish community database, from which we extracted density data for 5609 populations spread across 49 sites around the world. Our results indicate that population density declines markedly with increases in community species richness and that, after accounting for richness, energetic constraints are manifested most strongly for the most abundant species, which generally are of small body size and occupy lower trophic groups. Overall, our findings suggest that, at the global scale, factors associated with community species richness are the major drivers of variation in population density. Given that populations of species-rich tropical systems exhibit markedly lower maximum densities, they may be particularly susceptible to stochastic extinction. © 2016 The Author(s).

Communications dated 18 March 2013 received from the Permanent Mission of the Islamic Republic of Iran to the Agency regarding the Report of the Director General on the Implementation of Safeguards in Iran

International Nuclear Information System (INIS)

2013-01-01

The Secretariat has received two communications dated 18 March 2013 from the Permanent Mission of the Islamic Republic of Iran to the Agency enclosing explanatory notes by the Permanent Mission dated September 2012 and November 2012 respectively, on the reports of the Director General on 'Implementation of the NPT Safeguards Agreement and relevant provisions of Security Council resolutions in the Islamic Republic of Iran' contained in GOV/2012/37 (30 August 2012) and GOV/2012/55 (16 November 2012). 2. The communications and, as requested by the Permanent Mission, the explanatory notes are circulated herewith for information.

Atmospheric Entry Studies for Venus Missions: 45 deg Sphere-Cone Rigid Aeroshells and Ballistic Entries

Science.gov (United States)

Prabu, Dinesh K.; Allen, Gary A., Jr.; Cappuccio, Gelsomina; Spilker, Thomas R.; Hwang, Helen H.; Moses, Robert W.

2013-01-01

The present study considers ballistic entries into the atmosphere of Venus using a 45deg sphere-cone rigid aeroshell, a legacy shape that has been used successfully in the past in the Pioneer Venus Multiprobe Mission. For a number of entry mass and capsule diameter combinations (i.e., various ballistic coefficients) and entry velocities, the trajectory space in terms of entry flight path angles between skip out and -30 is explored with a 3DOF trajectory code, TRAJ. Assuming that the thermal protection material of choice is carbon phenolic of flight heritage, the entry flight path angle space is constrained a posteriori by the mechanical and thermal performance parameters of the material. For mechanical performance, a 200 g limit is placed on the peak deceleration load and 10 bar is assumed as the limit for heritage carbon-phenolic material. It is shown that both constraints cannot be active simultaneously. For thermal performance, a heat flux 2.5 kW/sq cm is utilized as a threshold below which the heritage carbon phenolic is considered mass inefficient. Using these constraints, viable entry flight path angle corridors are determined. Analysis of the results also hints at the existence of a range of "critical" ballistic coefficients beyond which the steepest possible entries are determined by the pressure limit of 10 bar. The results are verified against known performance of the various probes used in the Pioneer Venus mission. It is anticipated that the results presented here will serve as a baseline in the development of a new class of ablative materials for future Venus missions.

Multi-spectral optical scanners for commercial earth observation missions

Science.gov (United States)

Schröter, Karin; Engel, Wolfgang; Berndt, Klaus

2017-11-01

. Special emphasis will be put on space application aspects of these electronics solutions such as radiation total dose tolerance and single events robustness. Finally, software architecture and operational modes of commercial multi-spectral scanners are discussed. They are driven by operational requirements and mission constraints such as data takes per orbit, number of downlink ground stations, calibration needs, and mission schedule planning.

Trajectory design for a rendezvous mission to Earth's Trojan asteroid 2010 TK7

Science.gov (United States)

Lei, Hanlun; Xu, Bo; Zhang, Lei

2017-12-01

In this paper a rendezvous mission to the Earth's Trojan asteroid 2010 TK7 is proposed, and preliminary transfer trajectories are designed. Due to the high inclination (∼ 20.9°) of the target asteroid relative to the ecliptic plane, direct transfers usually require large amounts of fuel consumption, which is beyond the capacity of current technology. As gravity assist technique could effectively change the inclination of spacecraft's trajectory, it is adopted to reduce the launch energy and rendezvous velocity maneuver. In practical computation, impulsive and low-thrust, gravity-assisted trajectories are considered. Among all the trajectories computed, the low-thrust gravity-assisted trajectory with Venus-Earth-Venus (V-E-V) swingby sequence performs the best in terms of propellant mass. For a spacecraft with initial mass of 800 kg , propellant mass of the best trajectory is 36.74 kg . Numerical results indicate that both the impulsive and low-thrust, gravity-assisted trajectories corresponding to V-E-V sequence could satisfy mission constraints, and can be applied to practical rendezvous mission.

Path following control of planar snake robots using virtual holonomic constraints: theory and experiments.

Science.gov (United States)

Rezapour, Ehsan; Pettersen, Kristin Y; Liljebäck, Pål; Gravdahl, Jan T; Kelasidi, Eleni

This paper considers path following control of planar snake robots using virtual holonomic constraints. In order to present a model-based path following control design for the snake robot, we first derive the Euler-Lagrange equations of motion of the system. Subsequently, we define geometric relations among the generalized coordinates of the system, using the method of virtual holonomic constraints. These appropriately defined constraints shape the geometry of a constraint manifold for the system, which is a submanifold of the configuration space of the robot. Furthermore, we show that the constraint manifold can be made invariant by a suitable choice of feedback. In particular, we analytically design a smooth feedback control law to exponentially stabilize the constraint manifold. We show that enforcing the appropriately defined virtual holonomic constraints for the configuration variables implies that the robot converges to and follows a desired geometric path. Numerical simulations and experimental results are presented to validate the theoretical approach.

The Integrated Medical Model: A Risk Assessment and Decision Support Tool for Human Space Flight Missions

Science.gov (United States)

Kerstman, Eric L.; Minard, Charles; FreiredeCarvalho, Mary H.; Walton, Marlei E.; Myers, Jerry G., Jr.; Saile, Lynn G.; Lopez, Vilma; Butler, Douglas J.; Johnson-Throop, Kathy A.

2011-01-01

This slide presentation reviews the Integrated Medical Model (IMM) and its use as a risk assessment and decision support tool for human space flight missions. The IMM is an integrated, quantified, evidence-based decision support tool useful to NASA crew health and mission planners. It is intended to assist in optimizing crew health, safety and mission success within the constraints of the space flight environment for in-flight operations. It uses ISS data to assist in planning for the Exploration Program and it is not intended to assist in post flight research. The IMM was used to update Probability Risk Assessment (PRA) for the purpose of updating forecasts for the conditions requiring evacuation (EVAC) or Loss of Crew Life (LOC) for the ISS. The IMM validation approach includes comparison with actual events and involves both qualitative and quantitaive approaches. The results of these comparisons are reviewed. Another use of the IMM is to optimize the medical kits taking into consideration the specific mission and the crew profile. An example of the use of the IMM to optimize the medical kits is reviewed.

Searching for genomic constraints

Energy Technology Data Exchange (ETDEWEB)

Lio` , P [Cambridge, Univ. (United Kingdom). Genetics Dept.; Ruffo, S [Florence, Univ. (Italy). Fac. di Ingegneria. Dipt. di Energetica ` S. Stecco`

1998-01-01

The authors have analyzed general properties of very long DNA sequences belonging to simple and complex organisms, by using different correlation methods. They have distinguished those base compositional rules that concern the entire genome which they call `genomic constraints` from the rules that depend on the `external natural selection` acting on single genes, i. e. protein-centered constraints. They show that G + C content, purine / pyrimidine distributions and biological complexity of the organism are the most important factors which determine base compositional rules and genome complexity. Three main facts are here reported: bacteria with high G + C content have more restrictions on base composition than those with low G + C content; at constant G + C content more complex organisms, ranging from prokaryotes to higher eukaryotes (e.g. human) display an increase of repeats 10-20 nucleotides long, which are also partly responsible for long-range correlations; work selection of length 3 to 10 is stronger in human and in bacteria for two distinct reasons. With respect to previous studies, they have also compared the genomic sequence of the archeon Methanococcus jannaschii with those of bacteria and eukaryotes: it shows sometimes an intermediate statistical behaviour.

Searching for genomic constraints

International Nuclear Information System (INIS)

Lio', P.; Ruffo, S.

1998-01-01

The authors have analyzed general properties of very long DNA sequences belonging to simple and complex organisms, by using different correlation methods. They have distinguished those base compositional rules that concern the entire genome which they call 'genomic constraints' from the rules that depend on the 'external natural selection' acting on single genes, i. e. protein-centered constraints. They show that G + C content, purine / pyrimidine distributions and biological complexity of the organism are the most important factors which determine base compositional rules and genome complexity. Three main facts are here reported: bacteria with high G + C content have more restrictions on base composition than those with low G + C content; at constant G + C content more complex organisms, ranging from prokaryotes to higher eukaryotes (e.g. human) display an increase of repeats 10-20 nucleotides long, which are also partly responsible for long-range correlations; work selection of length 3 to 10 is stronger in human and in bacteria for two distinct reasons. With respect to previous studies, they have also compared the genomic sequence of the archeon Methanococcus jannaschii with those of bacteria and eukaryotes: it shows sometimes an intermediate statistical behaviour

Separation and extension of cover inequalities for second-order conic knapsack constraints with GUBs

DEFF Research Database (Denmark)

Atamtürk, Alper; Muller, Laurent Flindt; Pisinger, David

We consider the second-order conic equivalent of the classic knapsack polytope where the variables are subject to generalized upper bound constraints. We describe and compare a number of separation and extension algorithms which make use of the extra structure implied by the generalized upper bound...... constraints in order to strengthen the second-order conic equivalent of the classic cover cuts. We show that determining whether a cover can be extended with a variable is NP-hard. Computational experiments are performed comparing the proposed separation and extension algorithms. These experiments show...

SOLON: An autonomous vehicle mission planner

Science.gov (United States)

Dudziak, M. J.

1987-01-01

The State-Operator Logic Machine (SOLON) Planner provides an architecture for effective real-time planning and replanning for an autonomous vehicle. The highlights of the system, which distinguish it from other AI-based planners that have been designed previously, are its hybrid application of state-driven control architecture and the use of both schematic representations and logic programming for the management of its knowledge base. SOLON is designed to provide multiple levels of planning for a single autonomous vehicle which is supplied with a skeletal, partially-specified mission plan at the outset of the vehicle's operations. This mission plan consists of a set of objectives, each of which will be decomposable by the planner into tasks. These tasks are themselves comparatively complex sets of actions which are executable by a conventional real-time control system which does not perform planning but which is capable of making adjustments or modifications to the provided tasks according to constraints and tolerances provided by the Planner. The current implementation of the SOLON is in the form of a real-time simulation of the Planner module of an Intelligent Vehicle Controller (IVC) on-board an autonomous underwater vehicle (AUV). The simulation is embedded within a larger simulator environment known as ICDS (Intelligent Controller Development System) operating on a Symbolics 3645/75 computer.

Conception d'instrument pour une mission d'observation haute resolution et grand champ

Science.gov (United States)

Fayret, Jean-Philippe; Gaudin-Delrieu, Catherine; Lamard, Jean-Luc; Devilliers, Christophe; Costes, Vincent

2017-11-01

The future Earth observation missions aim at delivering images with a high resolution and a large field of view. The PLEIADES mission, coming after the SPOT satellites, lead to enhance the resolution to submetric values with a swath over 20km. Panchromatic and multispectral images will be proposed. Starting with the mission requirements elaborated by the CNES, Alcatel Space Industries has conducted a study to identify the instrument concepts most suited to comply with these performance. In addition, to minimise the development costs, a mini satellite approach has been selected, leading to a compact concept for the instrument design. During the study, various detection techniques and the associated detectors have been investigated from classical pushbroom to supermode acquisition modes. For each of these options, different optical lay-outs were proposed and evaluated with respect to performance as well as interfaces requirements. Optical performance, mechanical design constraints and manufacturing processes were taken into account to assess the performances of the various solutions. Eventually the most promising concept was selected and a preliminary design study performed. This concept, based on a Korsch optical scheme associated with TDI detectors, complies with the mission requirements and allows for a wide number of possibilities of accommodation with a minisatellite class platform.

New Boundary Constraints for Elliptic Systems used in Grid Generation Problems

Science.gov (United States)

Kaul, Upender K.; Clancy, Daniel (Technical Monitor)

2002-01-01

This paper discusses new boundary constraints for elliptic partial differential equations as used in grid generation problems in generalized curvilinear coordinate systems. These constraints, based on the principle of local conservation of thermal energy in the vicinity of the boundaries, are derived using the Green's Theorem. They uniquely determine the so called decay parameters in the source terms of these elliptic systems. These constraints' are designed for boundary clustered grids where large gradients in physical quantities need to be resolved adequately. It is observed that the present formulation also works satisfactorily for mild clustering. Therefore, a closure for the decay parameter specification for elliptic grid generation problems has been provided resulting in a fully automated elliptic grid generation technique. Thus, there is no need for a parametric study of these decay parameters since the new constraints fix them uniquely. It is also shown that for Neumann type boundary conditions, these boundary constraints uniquely determine the solution to the internal elliptic problem thus eliminating the non-uniqueness of the solution of an internal Neumann boundary value grid generation problem.

Multi-dimensional Bin Packing Problems with Guillotine Constraints

DEFF Research Database (Denmark)

Amossen, Rasmus Resen; Pisinger, David

2010-01-01

The problem addressed in this paper is the decision problem of determining if a set of multi-dimensional rectangular boxes can be orthogonally packed into a rectangular bin while satisfying the requirement that the packing should be guillotine cuttable. That is, there should exist a series of face...... parallel straight cuts that can recursively cut the bin into pieces so that each piece contains a box and no box has been intersected by a cut. The unrestricted problem is known to be NP-hard. In this paper we present a generalization of a constructive algorithm for the multi-dimensional bin packing...... problem, with and without the guillotine constraint, based on constraint programming....

Goldberger-Treiman constraint criterion for hyperon coupling constants

International Nuclear Information System (INIS)

General, Ignacio J.; Cotanch, Stephen R.

2004-01-01

The generalized Goldberger-Treiman relation is combined with the Dashen-Weinstein sum rule to provide a constraint equation between the g KΣN and g KΛN coupling constants. A comprehensive examination of the published phenomenological and theoretical hyperon couplings has yielded a much smaller set of values, spanning the intervals 0.80≤g KΣN /√(4π)≤2.72 and -3.90≤g KΛN /√(4π)≤-1.84, consistent with this criterion. The broken SU F (3) and Goldberger-Treiman hyperon couplings satisfy the constraint along with predictions from a Taylor series extrapolation using the same momentum variation as exhibited by g πNN

Issues of geologically-focused situational awareness in robotic planetary missions: Lessons from an analogue mission at Mistastin Lake impact structure, Labrador, Canada

Science.gov (United States)

Antonenko, I.; Osinski, G. R.; Battler, M.; Beauchamp, M.; Cupelli, L.; Chanou, A.; Francis, R.; Mader, M. M.; Marion, C.; McCullough, E.; Pickersgill, A. E.; Preston, L. J.; Shankar, B.; Unrau, T.; Veillette, D.

2013-07-01

more closely follows techniques employed by field geologists and is fundamental to the geologic interpretation of an area. Even so, an operational time cost/benefit analyses should be carefully considered in each situation, to determine when such comprehensive data collection would maximize the science return.Finally, it should be recognized that analogue deployments cannot faithfully model the time scales of robotic planetary missions. Analogue missions are limited by the difficulty and expense of fieldwork. Thus, analogue deployments should focus on smaller aspects of robotic missions and test components in a modular way (e.g., dropping communications constraints, limiting mission scope, focusing on a specific problem, spreading the mission over several field seasons, etc.).

Microbial diversity arising from thermodynamic constraints

Science.gov (United States)

Großkopf, Tobias; Soyer, Orkun S

2016-01-01

The microbial world displays an immense taxonomic diversity. This diversity is manifested also in a multitude of metabolic pathways that can utilise different substrates and produce different products. Here, we propose that these observations directly link to thermodynamic constraints that inherently arise from the metabolic basis of microbial growth. We show that thermodynamic constraints can enable coexistence of microbes that utilise the same substrate but produce different end products. We find that this thermodynamics-driven emergence of diversity is most relevant for metabolic conversions with low free energy as seen for example under anaerobic conditions, where population dynamics is governed by thermodynamic effects rather than kinetic factors such as substrate uptake rates. These findings provide a general understanding of the microbial diversity based on the first principles of thermodynamics. As such they provide a thermodynamics-based framework for explaining the observed microbial diversity in different natural and synthetic environments. PMID:27035705

Microbial diversity arising from thermodynamic constraints.

Science.gov (United States)

Großkopf, Tobias; Soyer, Orkun S

2016-11-01

The microbial world displays an immense taxonomic diversity. This diversity is manifested also in a multitude of metabolic pathways that can utilise different substrates and produce different products. Here, we propose that these observations directly link to thermodynamic constraints that inherently arise from the metabolic basis of microbial growth. We show that thermodynamic constraints can enable coexistence of microbes that utilise the same substrate but produce different end products. We find that this thermodynamics-driven emergence of diversity is most relevant for metabolic conversions with low free energy as seen for example under anaerobic conditions, where population dynamics is governed by thermodynamic effects rather than kinetic factors such as substrate uptake rates. These findings provide a general understanding of the microbial diversity based on the first principles of thermodynamics. As such they provide a thermodynamics-based framework for explaining the observed microbial diversity in different natural and synthetic environments.

Generalized Einstein-Aether theories and the Solar System

International Nuclear Information System (INIS)

Bonvin, Camille; Durrer, Ruth; Ferreira, Pedro G.; Zlosnik, Tom G.; Starkman, Glenn

2008-01-01

It has been shown that generalized Einstein-Aether theories may lead to significant modifications to the nonrelativistic limit of the Einstein equations. In this paper we study the effect of a general class of such theories on the Solar System. We consider corrections to the gravitational potential in negative and positive powers of distance from the source. Using measurements of the perihelion shift of Mercury and time delay of radar signals to Cassini, we place constraints on these corrections. We find that a subclass of generalized Einstein-Aether theories is compatible with these constraints

Declarativity and efficiency in providing services of general economic interest. Empirical study regarding the relation between heating costs and budget constraints

Directory of Open Access Journals (Sweden)

Dumitru Miron

2013-06-01

Full Text Available Defined by each country separately, according to real options, circumstances and traditions, the services of general economic interest have an objective purpose in ensuring protection and security for population. The services of general economic interest involve both public and economic services and show characteristics of both fields, reflecting the capabilities of communities to organize, regulate and provide them. Considering the accessibility to the essential service of general economic interest of providing household heating, as an undeniable condition of consumer protection, an analysis has been made in this field, with reference to the concrete manner of providing these services. The goal of this endeavor was to emphasize the actual conditionalities induced by the budget constraints of households while ensuring the universality of the access to the essential heating service. The empirical study is based on a survey of 55 households in sector 2 of Bucharest that have access to gas heating systems, while they have different revenues and equipments. The processing of the gathered data allowed the procurement of certain indicators that explain how household revenues determine the access to the heating services and how the deficiencies of the insurance system of these services deepen the social polarization and increase the weightings of those living at the limit of subsistence.

[The mission].

Science.gov (United States)

Ruiz Moreno, J; Blanch Mon, A

2000-01-01

After having made a historical review of the concept of mission statement, of evaluating its importance (See Part I), of describing the bases to create a mission statement from a strategic perspective and of analyzing the advantages of this concept, probably more important as a business policy (See Parts I and II), the authors proceed to analyze the mission statement in health organizations. Due to the fact that a mission statement is lacking in the majority of health organizations, the strategy of health organizations are not exactly favored; as a consequence, neither are its competitive advantage nor the development of its essential competencies. After presenting a series of mission statements corresponding to Anglo-Saxon health organizations, the authors highlight two mission statements corresponding to our social context. The article finishes by suggesting an adequate sequence for developing a mission statement in those health organizations having a strategic sense.

Collaboration support system for "Phobos-Soil" space mission.

Science.gov (United States)

Nazarov, V.; Nazirov, R.; Zakharov, A.

2009-04-01

Rapid development of communication facilities leads growth of interactions done via electronic means. However we can see some paradox in this segment in last times: Extending of communication facilities increases collaboration chaos. And it is very sensitive for space missions in general and scientific space mission particularly because effective decision of this task provides successful realization of the missions and promises increasing the ratio of functional characteristic and cost of mission at all. Resolving of this problem may be found by using respective modern technologies and methods which widely used in different branches and not in the space researches only. Such approaches as Social Networking, Web 2.0 and Enterprise 2.0 look most prospective in this context. The primary goal of the "Phobos-Soil" mission is an investigation of the Phobos which is the Martian moon and particularly its regolith, internal structure, peculiarities of the orbital and proper motion, as well as a number of different scientific measurements and experiments for investigation of the Martian environment. A lot of investigators involved in the mission. Effective collaboration system is key facility for information support of the mission therefore. Further to main goal: communication between users of the system, modern approaches allows using such capabilities as self-organizing community, user generated content, centralized and federative control of the system. Also it may have one unique possibility - knowledge management which is very important for space mission realization. Therefore collaboration support system for "Phobos-Soil" mission designed on the base of multilayer model which includes such levels as Communications, Announcement and Information, Data sharing and Knowledge management. The collaboration support system for "Phobos-Soil" mission will be used as prototype for prospective Russian scientific space missions and the presentation describes its architecture

Cosmological constraints on spontaneous R-symmetry breaking models

Energy Technology Data Exchange (ETDEWEB)

Hamada, Yuta; Kobayashi, Tatsuo [Kyoto Univ. (Japan). Dept. of Physics; Kamada, Kohei [Deutsches Elektronen-Synchrotron (DESY), Hamburg (Germany); Ookouchi, Yutaka [Kyoto Univ. (Japan). Dept. of Physics; Kyoto Univ. (Japan). The Hakubi Center for Advanced Research and Dept. of Physics

2012-11-15

We study general constraints on spontaneous R-symmetry breaking models coming from the cosmological effects of the pseudo Nambu-Goldstone bosons, R-axions. They are substantially produced in the early Universe and may cause several cosmological problems. We focus on relatively long-lived R-axions and find that in a wide range of parameter space, models are severely constrained. In particular, R-axions with mass less than 1 MeV are generally ruled out for relatively high reheating temperature, T{sub R}>10 GeV.

Nanosatellite missions - the future

Science.gov (United States)

Koudelka, O.; Kuschnig, R.; Wenger, M.; Romano, P.

2017-09-01

In the beginning, nanosatellite projects were focused on educational aspects. In the meantime, the technology matured and now allows to test, demonstrate and validate new systems, operational procedures and services in space at low cost and within much shorter timescales than traditional space endeavors. The number of spacecraft developed and launched has been increasing exponentially in the last years. The constellation of BRITE nanosatellites is demonstrating impressively that demanding scientific requirements can be met with small, low-cost satellites. Industry and space agencies are now embracing small satellite technology. Particularly in the USA, companies have been established to provide commercial services based on CubeSats. The approach is in general different from traditional space projects with their strict product/quality assurance and documentation requirements. The paper gives an overview of nanosatellite missions in different areas of application. Based on lessons learnt from the BRITE mission and recent developments at TU Graz (in particular the implementation of the OPS-SAT nanosatellite for ESA), enhanced technical possibilities for a future astronomy mission after BRITE will be discussed. Powerful on-board computers will allow on-board data pre-processing. A state-of-the-art telemetry system with high data rates would facilitate interference-free operations and increase science data return.

Landsat Data Continuity Mission

Science.gov (United States)

,

2012-01-01

The Landsat Data Continuity Mission (LDCM) is a partnership formed between the National Aeronautics and Space Administration (NASA) and the U.S. Geological Survey (USGS) to place the next Landsat satellite in orbit in January 2013. The Landsat era that began in 1972 will become a nearly 41-year global land record with the successful launch and operation of the LDCM. The LDCM will continue the acquisition, archiving, and distribution of multispectral imagery affording global, synoptic, and repetitive coverage of the Earth's land surfaces at a scale where natural and human-induced changes can be detected, differentiated, characterized, and monitored over time. The mission objectives of the LDCM are to (1) collect and archive medium resolution (30-meter spatial resolution) multispectral image data affording seasonal coverage of the global landmasses for a period of no less than 5 years; (2) ensure that LDCM data are sufficiently consistent with data from the earlier Landsat missions in terms of acquisition geometry, calibration, coverage characteristics, spectral characteristics, output product quality, and data availability to permit studies of landcover and land-use change over time; and (3) distribute LDCM data products to the general public on a nondiscriminatory basis at no cost to the user.

The algebraic-hyperbolic approach to the linearized gravitational constraints on a Minkowski background

International Nuclear Information System (INIS)

Winicour, Jeffrey

2017-01-01

An algebraic-hyperbolic method for solving the Hamiltonian and momentum constraints has recently been shown to be well posed for general nonlinear perturbations of the initial data for a Schwarzschild black hole. This is a new approach to solving the constraints of Einstein’s equations which does not involve elliptic equations and has potential importance for the construction of binary black hole data. In order to shed light on the underpinnings of this approach, we consider its application to obtain solutions of the constraints for linearized perturbations of Minkowski space. In that case, we find the surprising result that there are no suitable Cauchy hypersurfaces in Minkowski space for which the linearized algebraic-hyperbolic constraint problem is well posed. (note)

Three level constraints on conformal field theories and string models

International Nuclear Information System (INIS)

Lewellen, D.C.

1989-05-01

Simple tree level constraints for conformal field theories which follow from the requirement of crossing symmetry of four-point amplitudes are presented, and their utility for probing general properties of string models is briefly illustrated and discussed. 9 refs

Glass Composition Constraint Recommendations for Use in Life-Cycle Mission Modeling

Energy Technology Data Exchange (ETDEWEB)

McCloy, John S.; Vienna, John D.

2010-05-03

The component concentration limits that most influence the predicted Hanford life-cycle HLW glass volume by HTWOS were re-evaluated. It was assumed that additional research and development work in glass formulation and melter testing would be performed to improve the understanding of component effects on the processability and product quality of these HLW glasses. Recommendations were made to better estimate the potential component concentration limits that could be applied today while technology development is underway to best estimate the volume of HLW glass that will eventually be produced at Hanford. The limits for concentrations of P2O5, Bi2O3, and SO3 were evaluated along with the constraint used to avoid nepheline formation in glass. Recommended concentration limits were made based on the current HLW glass property models being used by HTWOS (Vienna et al. 2009). These revised limits are: 1) The current ND should be augmented by the OB limit of OB ≤ 0.575 so that either the normalized silica (NSi) is less that the 62% limit or the OB is below the 0.575 limit. 2) The mass fraction of P2O5 limit should be revised to allow for up to 4.5 wt%, depending on CaO concentrations. 3) A Bi2O3 concentration limit of 7 wt% should be used. 4) The salt accumulation limit of 0.5 wt% SO3 may be increased to 0.6 wt%. Again, these revised limits do not obviate the need for further testing, but make it possible to more accurately predict the impact of that testing on ultimate HLW glass volumes.

DETECTION OF SOLAR-LIKE OSCILLATIONS, OBSERVATIONAL CONSTRAINTS, AND STELLAR MODELS FOR θ CYG, THE BRIGHTEST STAR OBSERVED BY THE KEPLER MISSION

Energy Technology Data Exchange (ETDEWEB)

Guzik, J. A. [Los Alamos National Laboratory, XTD-NTA, MS T-082, Los Alamos, NM 87545 (United States); Houdek, G.; Chaplin, W. J.; Antoci, V.; Bedding, T. R.; Huber, D.; Kjeldsen, H. [Stellar Astrophysics Centre, Department of Physics and Astronomy, Aarhus University, Ny Munkegade 120, DK-8000 Aarhus C (Denmark); Smalley, B. [Astrophysics Group, School of Physical and Geographical Sciences, Lennard-Jones Laboratories, Keele University, Staffordshire, ST5 5BG (United Kingdom); Kurtz, D. W. [Jeremiah Horrocks Institute, University of Central Lancashire, Preston PR1 2HE (United Kingdom); Gilliland, R. L. [Center for Exoplanets and Habitable Worlds, The Pennsylvania State University, University Park, PA 16802 (United States); Mullally, F.; Rowe, J. F. [SETI Institute/NASA Ames Research Center, Moffett Field, CA 94035 (United States); Bryson, S. T.; Still, M. D. [NASA Ames Research Center, Bldg. 244, MS-244-30, Moffett Field, CA 94035 (United States); Appourchaux, T. [Institut d’Astrophysique Spatiale, Universitè de Paris Sud–CNRS, Batiment 121, F-91405 ORSAY Cedex (France); Basu, S. [Department of Astronomy, Yale University, P.O. Box 208101, New Haven, CT 06520-8101 (United States); Benomar, O. [Sydney Institute for Astronomy (SIfA), School of Physics, University of Sydney, NSW 2006 (Australia); Garcia, R. A. [Laboratoire AIM, CEA/DRF—CNRS—Univ. Paris Diderot—IRFU/SAp, Centre de Saclay, F-91191 Gif-sur-Yvette Cedex (France); Latham, D. W. [Harvard-Smithsonian Center for Astrophysics, 60 Garden Street, Cambridge, MA 02138 (United States); Metcalfe, T. S. [Space Science Institute, 4750 Walnut Street, Suite 205, Boulder, CO 80301 (United States); and others

2016-11-01

θ Cygni is an F3 spectral type magnitude V = 4.48 main-sequence star that was the brightest star observed by the original Kepler spacecraft mission. Short-cadence (58.8 s) photometric data using a custom aperture were first obtained during Quarter 6 (2010 June–September) and subsequently in Quarters 8 and 12–17. We present analyses of solar-like oscillations based on Q6 and Q8 data, identifying angular degree l = 0, 1, and 2 modes with frequencies of 1000–2700 μ Hz, a large frequency separation of 83.9 ± 0.4 μ Hz, and maximum oscillation amplitude at frequency ν {sub max} = 1829 ± 54 μ Hz. We also present analyses of new ground-based spectroscopic observations, which, combined with interferometric angular diameter measurements, give T {sub eff} = 6697 ± 78 K, radius 1.49 ± 0.03 R {sub ⊙}, [Fe/H] = -0.02 ± 0.06 dex, and log g = 4.23 ± 0.03. We calculate stellar models matching these constraints using the Yale Rotating Evolution Code and the Asteroseismic Modeling Portal. The best-fit models have masses of 1.35–1.39 M {sub ⊙} and ages of 1.0–1.6 Gyr. θ Cyg’s T {sub eff} and log g place it cooler than the red edge of the γ Doradus instability region established from pre- Kepler ground-based observations, but just at the red edge derived from pulsation modeling. The pulsation models show γ Dor gravity modes driven by the convective blocking mechanism, with frequencies of 1–3 cycles per day (11 to 33 μ Hz). However, gravity modes were not seen in Kepler data; one signal at 1.776 cycles per day (20.56 μ Hz) may be attributable to a faint, possibly background, binary.

Kalman Filter Constraint Tuning for Turbofan Engine Health Estimation

Science.gov (United States)

Simon, Dan; Simon, Donald L.

2005-01-01

Kalman filters are often used to estimate the state variables of a dynamic system. However, in the application of Kalman filters some known signal information is often either ignored or dealt with heuristically. For instance, state variable constraints are often neglected because they do not fit easily into the structure of the Kalman filter. Recently published work has shown a new method for incorporating state variable inequality constraints in the Kalman filter, which has been shown to generally improve the filter s estimation accuracy. However, the incorporation of inequality constraints poses some risk to the estimation accuracy as the Kalman filter is theoretically optimal. This paper proposes a way to tune the filter constraints so that the state estimates follow the unconstrained (theoretically optimal) filter when the confidence in the unconstrained filter is high. When confidence in the unconstrained filter is not so high, then we use our heuristic knowledge to constrain the state estimates. The confidence measure is based on the agreement of measurement residuals with their theoretical values. The algorithm is demonstrated on a linearized simulation of a turbofan engine to estimate engine health.

The French proposal for a high spatial resolution Hyperspectral mission

Science.gov (United States)

Carrère, Véronique; Briottet, Xavier; Jacquemoud, Stéphane; Marion, Rodolphe; Bourguignon, Anne; Chami, Malik; Chanussot, Jocelyn; Chevrel, Stéphane; Deliot, Philippe; Dumont, Marie; Foucher, Pierre-Yves; Gomez, Cécile; Roman-Minghelli, Audrey; Sheeren, David; Weber, Christiane; Lefèvre, Marie-José; Mandea, Mioara

2014-05-01

More than 25 years of airborne imaging spectroscopy and spaceborne sensors such as Hyperion or HICO have clearly demonstrated the ability of such a remote sensing technique to produce value added information regarding surface composition and physical properties for a large variety of applications. Scheduled missions such as EnMAP and PRISMA prove the increased interest of the scientific community for such a type of remote sensing data. In France, a group of Science and Defence users of imaging spectrometry data (Groupe de Synthèse Hyperspectral, GSH) established an up-to-date review of possible applications, define instrument specifications required for accurate, quantitative retrieval of diagnostic parameters, and identify fields of application where imaging spectrometry is a major contribution. From these conclusions, CNES (French Space Agency) decided a phase 0 study for an hyperspectral mission concept, named at this time HYPXIM (HYPerspectral-X IMagery), the main fields of applications are vegetation biodiversity, coastal and inland waters, geosciences, urban environment, atmospheric sciences, cryosphere and Defence. Results pointed out applications where high spatial resolution was necessary and would not be covered by the other foreseen hyperspectral missions. The phase A started at the beginning of 2013 based on the following HYPXIM characteristics: a hyperspectral camera covering the [0.4 - 2.5 µm] spectral range with a 8 m ground sampling distance (GSD) and a PAN camera with a 1.85 m GSD, onboard a mini-satellite platform. This phase A is currently stopped due to budget constraints. Nevertheless, the Science team is currently focusing on the preparation for the next CNES prospective meeting (March, 2014), an important step for the future of the mission. This paper will provide an update of the status of this mission and of new results obtained by the Science team.

a Search for New Physics with the Beacon Mission

Science.gov (United States)

Turyshev, Slava G.; Shao, Michael; Girerd, André; Lane, Benjamin

The primary objective of the Beyond Einstein Advanced Coherent Optical Network (BEACON) mission is a search for new physics beyond general relativity by measuring the curvature of relativistic space-time around the Earth. This curvature is characterized by the Eddington parameter γ — the most fundamental relativistic gravity parameter and a direct measure for the presence of new physical interactions. BEACON will achieve an accuracy of 1 × 10-9 in measuring the parameter γ, thereby going a factor of 30,000 beyond the present best result involving the Cassini spacecraft. Secondary mission objectives include: (i) a direct measurement of the "frame-dragging" and geodetic precessions in the Earth's rotational gravitomagnetic field, to 0.05% and 0.03% accuracy respectively, (ii) the first measurement of gravity's nonlinear effects on light and the corresponding second order spatial metric's effects to 0.01% accuracy. BEACON will lead to robust advances in tests of fundamental physics — this mission could discover a violation or extension of general relativity and/or reveal the presence of an additional long range interaction in physics. It will provide crucial information to separate modern scalar-tensor theories of gravity from general relativity, probe possible ways for gravity quantization, and test modern theories of cosmological evolution.

IAEA Remediation Mission Issues Final Report

International Nuclear Information System (INIS)

2011-01-01

Full text: A team of international experts today completed their assessment of the strategy and plans being considered by the Japanese authorities to remediate the areas off-site TEPCO's Fukushima Daiichi Nuclear Power Plant (NPP). Their Final Report, delivered to the Japanese authorities, is available here. ''A lot of good work, done at all levels, is on-going in Japan in the area of environmental remediation,'' said Juan Carlos Lentijo, Team Leader and General Director for Radiation Protection at Spain's nuclear regulatory authority. In the report, Japan is encouraged to continue its remediation efforts, taking into account the advice provided by the Mission. ''In the early phases of the Fukushima Daiichi accident, a very cautious approach was adopted by the Japanese authorities in terms of dealing with the handling of residue materials. It is considered right to do so,'' Lentijo said. ''However, at this point in time, we see that there is room to take a more balanced approach, focussing on the real priority areas, classifying residue materials and adopting appropriate remediation measures on the basis of the results of safety assessments for each specific situation.'' The IAEA stands ready to support Japan as it continues its efforts to remediate the environment in the area off-site the Fukushima Daiichi NPP. The IAEA sent the mission to Japan from 7 to 15 October 2011 following a request from the country's government. The mission, comprising 12 international and IAEA experts from several countries, visited numerous locations in the Fukushima Prefecture and conducted meetings in Tokyo and Fukushima with Japanese officials from several ministries and institutions. A Preliminary Summary Report was issued on 14 October. Background The accident at the Fukushima Daiichi NPP has led to elevated levels of radiation over large areas. The Government of Japan has been formulating a strategy and plans to implement countermeasures to remediate these areas. The IAEA

Model-based control strategies for systems with constraints of the program type

Science.gov (United States)

Jarzębowska, Elżbieta

2006-08-01

The paper presents a model-based tracking control strategy for constrained mechanical systems. Constraints we consider can be material and non-material ones referred to as program constraints. The program constraint equations represent tasks put upon system motions and they can be differential equations of orders higher than one or two, and be non-integrable. The tracking control strategy relies upon two dynamic models: a reference model, which is a dynamic model of a system with arbitrary order differential constraints and a dynamic control model. The reference model serves as a motion planner, which generates inputs to the dynamic control model. It is based upon a generalized program motion equations (GPME) method. The method enables to combine material and program constraints and merge them both into the motion equations. Lagrange's equations with multipliers are the peculiar case of the GPME, since they can be applied to systems with constraints of first orders. Our tracking strategy referred to as a model reference program motion tracking control strategy enables tracking of any program motion predefined by the program constraints. It extends the "trajectory tracking" to the "program motion tracking". We also demonstrate that our tracking strategy can be extended to a hybrid program motion/force tracking.

Phased mission analysis of maintained systems: a study in reliability risk analysis

International Nuclear Information System (INIS)

Terpstra, K.

1984-01-01

The present study develops a general theory that treats the probability of occurrence of each branch of an event tree and that takes correctly into account the dependencies between systems; incorporates within the general theory the solution of the problem of phased mission analysis. It also includes the general model components, that may or may not be repairable, with general lifetime and repairtime distribution, i.e. in the model repairable systems should be taken into account. Finally a computer program is developed that is based on this general theory, i.e. a computer program that is able to perform fully the probabilistic calculations of a risk analysis and that can handle in a correct way phased mission analysis of repairable systems. The theory is applied to a boiling water reactor accident. (Auth.)

Rendezvous and Docking Strategy for Crewed Segment of the Asteroid Redirect Mission

Science.gov (United States)

Hinkel, Heather D.; Cryan, Scott P.; D'Souza, Christopher; Dannemiller, David P.; Brazzel, Jack P.; Condon, Gerald L.; Othon, William L.; Williams, Jacob

2014-01-01

This paper will describe the overall rendezvous, proximity operations and docking (RPOD) strategy in support of the Asteroid Redirect Crewed Mission (ARCM), as part of the Asteroid Redirect Mission (ARM). The focus of the paper is on the crewed mission phase of ARM, starting with the establishment of Orion in the Distant Retrograde Orbit (DRO) and ending with docking to the Asteroid Redirect Vechicle (ARV). The paper will detail the sequence of maneuvers required to execute the rendezvous and proximity operations mission phases along with the on-board navigation strategies, including the final approach phase. The trajectories to be considered will include target vehicles in a DRO. The paper will also discuss the sensor requirements for rendezvous and docking and the various trade studies associated with the final sensor selection. Building on the sensor requirements and trade studies, the paper will include a candidate sensor concept of operations, which will drive the selection of the sensor suite; concurrently, it will be driven by higher level requirements on the system, such as crew timeline constraints and vehicle consummables. This paper will address how many of the seemingly competing requirements will have to be addressed to create a complete system and system design. The objective is to determine a sensor suite and trajectories that enable Orion to successfully rendezvous and dock with a target vehicle in trans lunar space. Finally, the paper will report on the status of a NASA action to look for synergy within RPOD, across the crewed and robotic asteroid missions.

Command and Control of Joint Air Operations through Mission Command

Science.gov (United States)

2016-06-01

and outlines the C2 architecture systems, processes, and philosophy of com- mand required to enable mission command effectively. Mission Command...General Dempsey highlights the fact that “trust is the moral sinew that binds the distributed Joint Force 2020 together” and observes that “unless...con- fident about how their subordinates will make decisions and adapt to the dynamic battlespace environment. Processes, Systems, and Philosophy of

Taking the Measure of the Universe: Cosmology from the WMAP Mission

Science.gov (United States)

Hinshaw, Gary F.

2007-01-01

The data from the first three years of operation of the Wilkinson Microwave Anisotropy Probe (WMAP) satellite provide detailed full-sky maps of the cosmic microwave background temperature anisotropy and new full-sky maps of the polarization. Together, the data provide a wealth of cosmological information, including the age of the universe, the epoch when the first stars formed, and the overall composition of baryonic matter, dark matter, and dark energy. The results also provide constraints on the period of inflationary expansion in the very first moments of time. These and other aspects of the mission will be discussed.

Behavioral and biological effects of autonomous versus scheduled mission management in simulated space-dwelling groups

Science.gov (United States)

Roma, Peter G.; Hursh, Steven R.; Hienz, Robert D.; Emurian, Henry H.; Gasior, Eric D.; Brinson, Zabecca S.; Brady, Joseph V.

2011-05-01

Logistical constraints during long-duration space expeditions will limit the ability of Earth-based mission control personnel to manage their astronaut crews and will thus increase the prevalence of autonomous operations. Despite this inevitability, little research exists regarding crew performance and psychosocial adaptation under such autonomous conditions. To this end, a newly-initiated study on crew management systems was conducted to assess crew performance effectiveness under rigid schedule-based management of crew activities by Mission Control versus more flexible, autonomous management of activities by the crews themselves. Nine volunteers formed three long-term crews and were extensively trained in a simulated planetary geological exploration task over the course of several months. Each crew then embarked on two separate 3-4 h missions in a counterbalanced sequence: Scheduled, in which the crews were directed by Mission Control according to a strict topographic and temporal region-searching sequence, and Autonomous, in which the well-trained crews received equivalent baseline support from Mission Control but were free to explore the planetary surface as they saw fit. Under the autonomous missions, performance in all three crews improved (more high-valued geologic samples were retrieved), subjective self-reports of negative emotional states decreased, unstructured debriefing logs contained fewer references to negative emotions and greater use of socially-referent language, and salivary cortisol output across the missions was attenuated. The present study provides evidence that crew autonomy may improve performance and help sustain if not enhance psychosocial adaptation and biobehavioral health. These controlled experimental data contribute to an emerging empirical database on crew autonomy which the international astronautics community may build upon for future research and ultimately draw upon when designing and managing missions.

First constraints on the running of non-Gaussianity.

Science.gov (United States)

Becker, Adam; Huterer, Dragan

2012-09-21

We use data from the Wilkinson Microwave Anisotropy probe temperature maps to constrain a scale-dependent generalization of the popular "local" model for primordial non-Gaussianity. In the model where the parameter f(NL) is allowed to run with scale k, f(NL)(k) = f*(NL) (k/k(piv))(n)(fNL), we constrain the running to be n(f)(NL) = 0.30(-1.2)(+1.9) at 95% confidence, marginalized over the amplitude f*(NL). The constraints depend somewhat on the prior probabilities assigned to the two parameters. In the near future, constraints from a combination of Planck and large-scale structure surveys are expected to improve this limit by about an order of magnitude and usefully constrain classes of inflationary models.

Shape optimization of a perforated pressure vessel cover under linearized stress constraints

International Nuclear Information System (INIS)

Choi, Woo-Seok; Kim, Tae-Wan; Seo, Ki-Seog

2008-01-01

One of the general methods to evaluate a failure condition is to compare a maximum stress with an allowable stress. A failure condition for a stress is usually applied to a concerned point rather than a concerned section. In an optimization procedure, these stress conditions are applied as constraints. But the ASME code that prescribes its general rules upon the design of a NSSS (nuclear steam supply system) has quite a different view on a failure condition. According to the ASME code Sec. III, a stress linearization should be performed to evaluate a failure condition of a structure. Since a few programs provide a procedure for a stress linearization through a post-processing stage, an extra calculation of the linearized stresses and the derivatives of a linearized stress are conducted to adopt the stress linearization results to an optimization procedure as constraints. In this research, an optimization technique that utilizes the results of a stress linearization as a constraint is proposed. The proposed method was applied to the shape design of a perforated pressure vessel cover

Exploration Mission Benefits From Logistics Reduction Technologies

Science.gov (United States)

Broyan, James Lee, Jr.; Schlesinger, Thilini; Ewert, Michael K.

2016-01-01

Technologies that reduce logistical mass, volume, and the crew time dedicated to logistics management become more important as exploration missions extend further from the Earth. Even modest reductions in logical mass can have a significant impact because it also reduces the packing burden. NASA's Advanced Exploration Systems' Logistics Reduction Project is developing technologies that can directly reduce the mass and volume of crew clothing and metabolic waste collection. Also, cargo bags have been developed that can be reconfigured for crew outfitting and trash processing technologies to increase habitable volume and improve protection against solar storm events are under development. Additionally, Mars class missions are sufficiently distant that even logistics management without resupply can be problematic due to the communication time delay with Earth. Although exploration vehicles are launched with all consumables and logistics in a defined configuration, the configuration continually changes as the mission progresses. Traditionally significant ground and crew time has been required to understand the evolving configuration and locate misplaced items. For key mission events and unplanned contingencies, the crew will not be able to rely on the ground for logistics localization assistance. NASA has been developing a radio frequency identification autonomous logistics management system to reduce crew time for general inventory and enable greater crew self-response to unplanned events when a wide range of items may need to be located in a very short time period. This paper provides a status of the technologies being developed and there mission benefits for exploration missions.

Tilt stability in nonlinear programming under Mangasarian-Fromovitz constraint qualification

Czech Academy of Sciences Publication Activity Database

Mordukhovich, B. S.; Outrata, Jiří

2013-01-01

Roč. 49, č. 3 (2013), s. 446-464 ISSN 0023-5954 R&D Projects: GA ČR(CZ) GAP201/12/0671 Institutional support: RVO:67985556 Keywords : variational analysis * second-order theory * generalized differentiation * tilt stability Subject RIV: BA - General Mathematics Impact factor: 0.563, year: 2013 http://library.utia.cas.cz/separaty/2013/MTR/outrata-tilt stability in nonlinear programming under mangasarian-fromovitz constraint qualification.pdf

Financial constraints for investors and the speed of adaptation: Are innovators special?

OpenAIRE

von Kalckreuth, Ulf

2004-01-01

This paper uses a large panel of survey data on German firms in the manufacturing sector to analyse the effects of financing constraints for investors in general and for innovative firms in particular. Survey data with information on financing conditions are potentially a valuable tool that avoids the Kaplan and Zingales (1997) critique on the use of cash flow sensitivities for the identification of financial constraints. Using the autumn and the spring wave of the Ifo Institute?s Investment ...

The Simbol-X Mission

Science.gov (United States)

Ferrando, P.; Arnaud, M.; Briel, U.; Cavazzuti, E.; Clédassou, R.; Counil, J. L.; Fiore, F.; Giommi, P.; Goldwurm, A.; Lamarle, O.; Laurent, P.; Lebrun, F.; Malaguti, G.; Mereghetti, S.; Micela, G.; Pareschi, G.; Piermaria, M.; Roques, J. P.; Santangelo, A.; Tagliaferri, G.

2009-05-01

The elucidation of key questions in astrophysics, in particular those related to black hole physics and census, and to particle acceleration mechanisms, necessitates to develop new observational capabilities in the hard X-ray domain with performances several orders of magnitude better than presently available. Relying on two spacecrafts in a formation flying configuration, Simbol-X will provide the world-wide astrophysics community with a single optics long focal length telescope. This observatory will have unrivaled performances in the hard X-ray domain, up to ~80 keV, as well as very good characteristics in the soft X-ray domain, down to ~0.5 keV. The Simbol-X mission has successfully passed a phase A study, jointly conducted by CNES and ASI, with the participation of German laboratories. It is now entering phase B studies with the participation of new international partners, for a launch in 2015. We give in this paper a general overview of the mission, as consolidated at the start of phase B.

NASA Johnson Space Center's Planetary Sample Analysis and Mission Science (PSAMS) Laboratory: A National Facility for Planetary Research

Science.gov (United States)

Draper, D. S.

2016-01-01

NASA Johnson Space Center's (JSC's) Astromaterials Research and Exploration Science (ARES) Division, part of the Exploration Integration and Science Directorate, houses a unique combination of laboratories and other assets for conducting cutting edge planetary research. These facilities have been accessed for decades by outside scientists, most at no cost and on an informal basis. ARES has thus provided substantial leverage to many past and ongoing science projects at the national and international level. Here we propose to formalize that support via an ARES/JSC Plane-tary Sample Analysis and Mission Science Laboratory (PSAMS Lab). We maintain three major research capa-bilities: astromaterial sample analysis, planetary process simulation, and robotic-mission analog research. ARES scientists also support planning for eventual human ex-ploration missions, including astronaut geological training. We outline our facility's capabilities and its potential service to the community at large which, taken together with longstanding ARES experience and expertise in curation and in applied mission science, enable multi-disciplinary planetary research possible at no other institution. Comprehensive campaigns incorporating sample data, experimental constraints, and mission science data can be conducted under one roof.

Mission operations management

Science.gov (United States)

Rocco, David A.

1994-01-01

Redefining the approach and philosophy that operations management uses to define, develop, and implement space missions will be a central element in achieving high efficiency mission operations for the future. The goal of a cost effective space operations program cannot be realized if the attitudes and methodologies we currently employ to plan, develop, and manage space missions do not change. A management philosophy that is in synch with the environment in terms of budget, technology, and science objectives must be developed. Changing our basic perception of mission operations will require a shift in the way we view the mission. This requires a transition from current practices of viewing the mission as a unique end product, to a 'mission development concept' built on the visualization of the end-to-end mission. To achieve this change we must define realistic mission success criteria and develop pragmatic approaches to achieve our goals. Custom mission development for all but the largest and most unique programs is not practical in the current budget environment, and we simply do not have the resources to implement all of our planned science programs. We need to shift our management focus to allow us the opportunity make use of methodologies and approaches which are based on common building blocks that can be utilized in the space, ground, and mission unique segments of all missions.

Crack-tip constraint analyses and constraint-dependent LBB curves for circumferential through-wall cracked pipes

Energy Technology Data Exchange (ETDEWEB)

Chen, Y.L.; Wang, G.Z., E-mail: gzwang@ecust.edu.cn; Xuan, F.Z.; Tu, S.T.

2015-04-15

Highlights: • Solution of constraint parameter τ* for through-wall cracked pipes has been obtained. • Constraint increases with increasing crack length and radius–thickness ratio of pipes. • Constraint-dependent LBB curve for through-wall cracked pipes has been constructed. • For increasing accuracy of LBB assessments, constraint effect should be considered. - Abstract: The leak-before-break (LBB) concept has been widely applied in the structural integrity assessments of pressured pipes in nuclear power plants. However, the crack-tip constraint effects in LBB analyses and designs cannot be incorporated. In this paper, by using three-dimensional finite element calculations, the modified load-independent T-stress constraint parameter τ* for circumferential through-wall cracked pipes with different geometries and crack sizes has been analyzed under different loading conditions, and the solutions of the crack-tip constraint parameter τ* have been obtained. Based on the τ* solutions and constraint-dependent J–R curves of a steel, the constraint-dependent LBB (leak-before-break) curves have been constructed. The results show that the constraint τ* increases with increasing crack length θ, mean radius R{sub m} and radius–thickness ratio R{sub m}/t of the pipes. In LBB analyses, the critical crack length calculated by the J–R curve of the standard high constraint specimen for pipes with shorter cracks is over-conservative, and the degree of conservatism increases with decreasing crack length θ, R{sub m} and R{sub m}/t. Therefore, the constraint-dependent LBB curves should be constructed to modify the over-conservatism and increase accuracy of LBB assessments.

PHYSICAL-CONSTRAINT-PRESERVING CENTRAL DISCONTINUOUS GALERKIN METHODS FOR SPECIAL RELATIVISTIC HYDRODYNAMICS WITH A GENERAL EQUATION OF STATE

Energy Technology Data Exchange (ETDEWEB)

Wu, Kailiang [School of Mathematical Sciences, Peking University, Beijing 100871 (China); Tang, Huazhong, E-mail: wukl@pku.edu.cn, E-mail: hztang@math.pku.edu.cn [HEDPS, CAPT and LMAM, School of Mathematical Sciences, Peking University, Beijing 100871 (China)

2017-01-01

The ideal gas equation of state (EOS) with a constant adiabatic index is a poor approximation for most relativistic astrophysical flows, although it is commonly used in relativistic hydrodynamics (RHD). This paper develops high-order accurate, physical-constraints-preserving (PCP), central, discontinuous Galerkin (DG) methods for the one- and two-dimensional special RHD equations with a general EOS. It is built on our theoretical analysis of the admissible states for RHD and the PCP limiting procedure that enforce the admissibility of central DG solutions. The convexity, scaling invariance, orthogonal invariance, and Lax–Friedrichs splitting property of the admissible state set are first proved with the aid of its equivalent form. Then, the high-order central DG methods with the PCP limiting procedure and strong stability-preserving time discretization are proved, to preserve the positivity of the density, pressure, specific internal energy, and the bound of the fluid velocity, maintain high-order accuracy, and be L {sup 1}-stable. The accuracy, robustness, and effectiveness of the proposed methods are demonstrated by several 1D and 2D numerical examples involving large Lorentz factor, strong discontinuities, or low density/pressure, etc.

Critical sets in one-parametric mathematical programs with complementarity constraints

NARCIS (Netherlands)

Bouza Allende, G.; Guddat, J.; Still, Georg J.

2008-01-01

One-parametric mathematical programs with complementarity constraints are considered. The structure of the set of generalized critical points is analysed for the generic case. It is shown how this analysis can locally be reduced to the study of appropriate standard one-parametric finite problems. By

International Uranium Resources Evaluation Project (IUREP) orientation phase mission summary report: Thailand

International Nuclear Information System (INIS)

1985-01-01

The IURBP Orientation Phase Mission assesses the Speculative Uranium Resources in Thailand to be within the range of 1 500 to 38 500 tonnes U. Geological environments which are considered by the Mission to be favourable for uranium occurrences include the following: sandstones of Jurassic to Triassic age; Tertiary sedimentary basins (northern Thailand); Tertiary sedimentary basins (southern Thailand); associated with fluorite deposits; granitic rocks; black shales and graphitic slates of the Palaeozoic; associated with sedimentary phosphate deposits; and associated with monazite sands. Physical conditions in Thailand, including a wet tropical climate, dense forest growth and rugged terrain in some areas and relative inaccessibility, make exploration difficult and costly. There is currently no ready accessibility to detailed topographic and geological maps and other basic data. This lack of availability is a severe constraint to systematic exploration. The lack of skilled personnel experienced in uranium studies and the low level of technical support is a serious hindrance to exploration in Thailand. (author)

Constraint Solver Techniques for Implementing Precise and Scalable Static Program Analysis

DEFF Research Database (Denmark)

Zhang, Ye

solver using unification we could make a program analysis easier to design and implement, much more scalable, and still as precise as expected. We present an inclusion constraint language with the explicit equality constructs for specifying program analysis problems, and a parameterized framework...... developers to build reliable software systems more quickly and with fewer bugs or security defects. While designing and implementing a program analysis remains a hard work, making it both scalable and precise is even more challenging. In this dissertation, we show that with a general inclusion constraint...... data flow analyses for C language, we demonstrate a large amount of equivalences could be detected by off-line analyses, and they could then be used by a constraint solver to significantly improve the scalability of an analysis without sacrificing any precision....

The Ambiguous Role of Constraints in Creativity: A Cross-Domain Exploration

DEFF Research Database (Denmark)

Biskjaer, Michael Mose; Onarheim, Balder; Wiltschnig, Stefan

2011-01-01

The relationship between creativity and constraints is often described in the literature either in rather imprecise, general concepts or in relation to very specific domains. Cross-domain and cross-disciplinary takes on how the handling of constraints influences creative activities are rare...... studies of Danish cutting-edge proponents of creative expertise thus exemplifying each domain, this preliminary exploration mainly focuses on similarities in how such successful professionals work with constraints to frame their creative process and ensure its progression toward the final outcome. Our...... main observations suggest that despite vast differences between the two domains, significant patterns and strategies reoccur. From a list of nine such similarities identified, four patterns are analyzed across the two domains in more detail as a contribution to encourage further advancement of cross-disciplinary...

Misconceptions and constraints

International Nuclear Information System (INIS)

Whitten, M.; Mahon, R.

2005-01-01

In theory, the sterile insect technique (SIT) is applicable to a wide variety of invertebrate pests. However, in practice, the approach has been successfully applied to only a few major pests. Chapters in this volume address possible reasons for this discrepancy, e.g. Klassen, Lance and McInnis, and Robinson and Hendrichs. The shortfall between theory and practice is partly due to the persistence of some common misconceptions, but it is mainly due to one constraint, or a combination of constraints, that are biological, financial, social or political in nature. This chapter's goal is to dispel some major misconceptions, and view the constraints as challenges to overcome, seeing them as opportunities to exploit. Some of the common misconceptions include: (1) released insects retain residual radiation, (2) females must be monogamous, (3) released males must be fully sterile, (4) eradication is the only goal, (5) the SIT is too sophisticated for developing countries, and (6) the SIT is not a component of an area-wide integrated pest management (AW-IPM) strategy. The more obvious constraints are the perceived high costs of the SIT, and the low competitiveness of released sterile males. The perceived high up-front costs of the SIT, their visibility, and the lack of private investment (compared with alternative suppression measures) emerge as serious constraints. Failure to appreciate the true nature of genetic approaches, such as the SIT, may pose a significant constraint to the wider adoption of the SIT and other genetically-based tactics, e.g. transgenic genetically modified organisms (GMOs). Lack of support for the necessary underpinning strategic research also appears to be an important constraint. Hence the case for extensive strategic research in ecology, population dynamics, genetics, and insect behaviour and nutrition is a compelling one. Raising the competitiveness of released sterile males remains the major research objective of the SIT. (author)

Evaluation of constraint stabilization procedures for multibody dynamical systems

Science.gov (United States)

Park, K. C.; Chiou, J. C.

1987-01-01

Comparative numerical studies of four constraint treatment techniques for the simulation of general multibody dynamic systems are presented, and results are presented for the example of a classical crank mechanism and for a simplified version of the seven-link manipulator deployment problem. The staggered stabilization technique (Park, 1986) is found to yield improved accuracy and robustness over Baumgarte's (1972) technique, the singular decomposition technique (Walton and Steeves, 1969), and the penalty technique (Lotstedt, 1979). Furthermore, the staggered stabilization technique offers software modularity, and the only data each solution module needs to exchange with the other is a set of vectors plus a common module to generate the gradient matrix of the constraints, B.

Discrete event simulation and the resultant data storage system response in the operational mission environment of Jupiter-Saturn /Voyager/ spacecraft

Science.gov (United States)

Mukhopadhyay, A. K.

1978-01-01

The Data Storage Subsystem Simulator (DSSSIM) simulating (by ground software) occurrence of discrete events in the Voyager mission is described. Functional requirements for Data Storage Subsystems (DSS) simulation are discussed, and discrete event simulation/DSSSIM processing is covered. Four types of outputs associated with a typical DSSSIM run are presented, and DSSSIM limitations and constraints are outlined.

Recommendation of a More Effective Alternative to the NASA Launch Services Program Mission Integration Reporting System (MIRS) and Implementation of Updates to the Mission Plan

Science.gov (United States)

Dunn, Michael R.

2014-01-01

Over the course of my internship in the Flight Projects Office of NASA's Launch Services Program (LSP), I worked on two major projects, both of which dealt with updating current systems to make them more accurate and to allow them to operate more efficiently. The first project dealt with the Mission Integration Reporting System (MIRS), a web-accessible database application used to manage and provide mission status reporting for the LSP portfolio of awarded missions. MIRS had not gone through any major updates since its implementation in 2005, and it was my job to formulate a recommendation for the improvement of the system. The second project I worked on dealt with the Mission Plan, a document that contains an overview of the general life cycle that is followed by every LSP mission. My job on this project was to update the information currently in the mission plan and to add certain features in order to increase the accuracy and thoroughness of the document. The outcomes of these projects have implications in the orderly and efficient operation of the Flight Projects Office, and the process of Mission Management in the Launch Services Program as a whole.

Communication of 5 March 2004 from the Permanent Mission of the Islamic Republic of Iran concerning the report of the Director General contained in GOV/2004/11

International Nuclear Information System (INIS)

2004-01-01

The Secretariat has received a Note Verbale dated 5 March 2004 from the Permanent Mission of the Islamic Republic of Iran attaching 'Comments and Explanatory Notes by the Islamic Republic of Iran on the Report of the IAEA Director General (GOV/2004/11).' As requested in the Note Verbale, the attachment is reproduced herein for the information of Member States

Models of red giants in the CoRoT asteroseismology fields combining asteroseismic and spectroscopic constraints

Science.gov (United States)

Nadège, Lagarde

The availability of asteroseismic constraints for a large sample of red-giant stars from the CoRoT and Kepler missions paves the way for various statistical studies of the seismic properties of stellar populations. We use a detailed spectroscopic study of 19 CoRoT red-giant stars (Morel et al. 2014) to compare theoretical stellar evolution models to observations of the open cluster NGC 6633 and field stars. This study is already published in Lagarde et al. (2015)

Water Cycle Missions for the Next Decade

Science.gov (United States)

Houser, P. R.

2013-12-01

The global water cycle describes the circulation of water as a vital and dynamic substance in its liquid, solid, and vapor phases as it moves through the atmosphere, oceans and land. Life in its many forms exists because of water, and modern civilization depends on learning how to live within the constraints imposed by the availability of water. The scientific challenge posed by the need to observe the global water cycle is to integrate in situ and space-borne observations to quantify the key water-cycle state variables and fluxes. The vision to address that challenge is a series of Earth observation missions that will measure the states, stocks, flows, and residence times of water on regional to global scales followed by a series of coordinated missions that will address the processes, on a global scale, that underlie variability and changes in water in all its three phases. The accompanying societal challenge is to foster the improved use of water data and information as a basis for enlightened management of water resources, to protect life and property from effects of extremes in the water cycle. A major change in thinking about water science that goes beyond its physics to include its role in ecosystems and society is also required. Better water-cycle observations, especially on the continental and global scales, will be essential. Water-cycle predictions need to be readily available globally to reduce loss of life and property caused by water-related natural hazards. Building on the 2007 Earth Science Decadal Survey, NASA's Plan for a Climate-Centric Architecture for Earth Observations and Applications from Space , and the 2012 Chapman Conference on Remote Sensing of the Terrestrial Water Cycle, a workshop was held in April 2013 to gather wisdom and determine how to prepare for the next generation of water cycle missions in support of the second Earth Science Decadal Survey. This talk will present the outcomes of the workshop including the intersection between

Lot Sizing Based on Stochastic Demand and Service Level Constraint

Directory of Open Access Journals (Sweden)

hajar shirneshan

2012-06-01

Full Text Available Considering its application, stochastic lot sizing is a significant subject in production planning. Also the concept of service level is more applicable than shortage cost from managers' viewpoint. In this paper, the stochastic multi period multi item capacitated lot sizing problem has been investigated considering service level constraint. First, the single item model has been developed considering service level and with no capacity constraint and then, it has been solved using dynamic programming algorithm and the optimal solution has been derived. Then the model has been generalized to multi item problem with capacity constraint. The stochastic multi period multi item capacitated lot sizing problem is NP-Hard, hence the model could not be solved by exact optimization approaches. Therefore, simulated annealing method has been applied for solving the problem. Finally, in order to evaluate the efficiency of the model, low level criterion has been used .

The general behavior of NLO unintegrated parton distributions based on the single-scale evolution and the angular ordering constraint

International Nuclear Information System (INIS)

Hosseinkhani, H.; Modarres, M.

2011-01-01

To overcome the complexity of generalized two hard scale (k t ,μ) evolution equation, well known as the Ciafaloni, Catani, Fiorani and Marchesini (CCFM) evolution equations, and calculate the unintegrated parton distribution functions (UPDF), Kimber, Martin and Ryskin (KMR) proposed a procedure based on (i) the inclusion of single-scale (μ) only at the last step of evolution and (ii) the angular ordering constraint (AOC) on the DGLAP terms (the DGLAP collinear approximation), to bring the second scale, k t into the UPDF evolution equations. In this work we intend to use the MSTW2008 (Martin et al.) parton distribution functions (PDF) and try to calculate UPDF for various values of x (the longitudinal fraction of parton momentum), μ (the probe scale) and k t (the parton transverse momentum) to see the general behavior of three-dimensional UPDF at the NLO level up to the LHC working energy scales (μ 2 ). It is shown that there exits some pronounced peaks for the three-dimensional UPDF(f a (x,k t )) with respect to the two variables x and k t at various energies (μ). These peaks get larger and move to larger values of k t , as the energy (μ) is increased. We hope these peaks could be detected in the LHC experiments at CERN and other laboratories in the less exclusive processes.

Qualification of GPHS-RTG for the Galileo and Ulysses missions

International Nuclear Information System (INIS)

Cockfield, R.D.

1986-01-01

The General Purpose Heat Source - Radioisotope Thermoelectric Generator (GPHS-RTG)- was designed and built by General Electric under the sponsorship of the Department of Energy, Office of Special Nuclear Projects, to power both the Galileo and Ulysses spacecraft. Separate STS launches of these two spacecraft were planned for May, l986, but have now been delayed. Galileo will carry two RTGs, providing over 5l0 watts of electrical power at the end of a 4.2 year mission, and Ulysses' single RTG will provide over 250 watts of electrical power at the end of a 4.7 year mission. These power levels and mission durations may differ for delayed launch schedules. To ensure that the GPHS-RTG is qualified for the Galileo and Ulysses missions, a formal program, consisting of extensive analyses, inspections, demonstrations, and tests, was conducted. Requirements for qualification included such categories as electrical performance, life characteristics, dynamic capability, thermal characteristics, active cooling system performance, magnetic properties, nuclear criticality, gas management provisions, electrostatic cleanliness, mass properties, neutron emission rate, and micrometeoroid survivability. This paper addresses selected topics from this list and presents data to show that anticipated performance will meet or exceed design requirements as specified for a May, l986 launch

Constraint algebra in Smolin's G →0 limit of 4D Euclidean gravity

Science.gov (United States)

Varadarajan, Madhavan

2018-05-01

Smolin's generally covariant GNewton→0 limit of 4d Euclidean gravity is a useful toy model for the study of the constraint algebra in loop quantum gravity (LQG). In particular, the commutator between its Hamiltonian constraints has a metric dependent structure function. While a prior LQG-like construction of nontrivial anomaly free constraint commutators for the model exists, that work suffers from two defects. First, Smolin's remarks on the inability of the quantum dynamics to generate propagation effects apply. Second, the construction only yields the action of a single Hamiltonian constraint together with the action of its commutator through a continuum limit of corresponding discrete approximants; the continuum limit of a product of two or more constraints does not exist. Here, we incorporate changes in the quantum dynamics through structural modifications in the choice of discrete approximants to the quantum Hamiltonian constraint. The new structure is motivated by that responsible for propagation in an LQG-like quantization of paramatrized field theory and significantly alters the space of physical states. We study the off shell constraint algebra of the model in the context of these structural changes and show that the continuum limit action of multiple products of Hamiltonian constraints is (a) supported on an appropriate domain of states, (b) yields anomaly free commutators between pairs of Hamiltonian constraints, and (c) is diffeomorphism covariant. Many of our considerations seem robust enough to be applied to the setting of 4d Euclidean gravity.

Current constraints on the cosmic growth history

International Nuclear Information System (INIS)

Bean, Rachel; Tangmatitham, Matipon

2010-01-01

We present constraints on the cosmic growth history with recent cosmological data, allowing for deviations from ΛCDM as might arise if cosmic acceleration is due to modifications to general relativity or inhomogeneous dark energy. We combine measures of the cosmic expansion history, from Type 1a supernovae, baryon acoustic oscillations, and the cosmic microwave background (CMB), with constraints on the growth of structure from recent galaxy, CMB, and weak lensing surveys along with integated Sachs Wolfe-galaxy cross correlations. Deviations from ΛCDM are parameterized by phenomenological modifications to the Poisson equation and the relationship between the two Newtonian potentials. We find modifications that are present at the time the CMB is formed are tightly constrained through their impact on the well-measured CMB acoustic peaks. By contrast, constraints on late-time modifications to the growth history, as might arise if modifications are related to the onset of cosmic acceleration, are far weaker, but remain consistent with ΛCDM at the 95% confidence level. For these late-time modifications we find that differences in the evolution on large and small scales could provide an interesting signature by which to search for modified growth histories with future wide angular coverage, large scale structure surveys.

Quadratic third-order tensor optimization problem with quadratic constraints

Directory of Open Access Journals (Sweden)

Lixing Yang

2014-05-01

Full Text Available Quadratically constrained quadratic programs (QQPs problems play an important modeling role for many diverse problems. These problems are in general NP hard and numerically intractable. Semidenite programming (SDP relaxations often provide good approximate solutions to these hard problems. For several special cases of QQP, e.g., convex programs and trust region subproblems, SDP relaxation provides the exact optimal value, i.e., there is a zero duality gap. However, this is not true for the general QQP, or even the QQP with two convex constraints, but a nonconvex objective.In this paper, we consider a certain QQP where the variable is neither vector nor matrix but a third-order tensor. This problem can be viewed as a generalization of the ordinary QQP with vector or matrix as it's variant. Under some mild conditions, we rst show that SDP relaxation provides exact optimal solutions for the original problem. Then we focus on two classes of homogeneous quadratic tensor programming problems which have no requirements on the constraints number. For one, we provide an easily implemental polynomial time algorithm to approximately solve the problem and discuss the approximation ratio. For the other, we show there is no gap between the SDP relaxation and itself.

NASA 14 Day Undersea Missions: A Short-Duration Spaceflight Analog for Immune System Dysregulation

Science.gov (United States)

Crucian, B. E.; Stowe, R. P.; Mehta, S. K.; Quiriarte, H.; Pierson, D. L.; Sams, C. F.

2010-01-01

BACKGROUND Spaceflight-associated immune dysregulation (SAID) occurs during spaceflight and may represent specific clinical risks for exploration-class missions. An appropriate ground analog for spaceflight-associated immune dysregulation would offer a platform for ground-evaluation of various potential countermeasures. This study evaluated the NASA Undersea Mission Operations ( NEEMO ), consisting of 14 day undersea deployment at the Aquarius station, as an analog for SAID. Sixteen Aquanauts from missions NEEMO-12, 13 and 14 participated in the study. RESULTS Mid-mission alterations leukocyte distribution occurred, including granulocytosis and elevations in central-memory CD8+ T-cells. General T cell function was reduced during NEEMO missions in roughly 50% of subjects. Secreted cytokines profiles were evaluated following whole blood stimulation with CD3/CD28 (T cells) or LPS (monocytes). T cell production of IFNg, IL-5, IL-10, IL-2, TNFa and IL-6 were all reduced before and during the mission. Conversely, monocyte production of TNFa, IL-10, IL-6, IL-1b and IL-8 were elevated during mission, moreso at the MD-14 timepoint. Antibodies to Epstein-Barr virus (EBV) viral capsid antigen and early antigen were increased in approximately 40% of the subjects. Changes in EBV tetramer-positive CD8+ T-cells exhibited a variable pattern. Antibodies against Cytomegalovirus (CMV) were marginally increased during the mission. Herpesvirus reactivation was determined by PCR. EBV viral load was generally elevated at L-6. Higher levels of salivary EBV were found during the NEEMO mission than before and after as well as than the healthy controls. No VZV or CMV was found in any pre, during and after NEEMO mission or control samples. Plasma cortisol was elevated at L-6. CONCLUSION Unfortunately, L-6 may be too near to mission start to be an appropriate baseline measurement. The general immune changes in leukocyte distribution, T cell function, cytokine production, virus specific

Planck 2015. XX. Constraints on inflation

CERN Document Server

Ade, P.A.R.; Arnaud, M.; Arroja, F.; Ashdown, M.; Aumont, J.; Baccigalupi, C.; Ballardini, M.; Banday, A.J.; Barreiro, R.B.; Bartolo, N.; Battaner, E.; Benabed, K.; Benoit, A.; Benoit-Levy, A.; Bernard, J.P.; Bersanelli, M.; Bielewicz, P.; Bonaldi, A.; Bonavera, L.; Bond, J.R.; Borrill, J.; Bouchet, F.R.; Boulanger, F.; Bucher, M.; Burigana, C.; Butler, R.C.; Calabrese, E.; Cardoso, J.F.; Catalano, A.; Challinor, A.; Chamballu, A.; Chary, R.R.; Chiang, H.C.; Christensen, P.R.; Church, S.; Clements, D.L.; Colombi, S.; Colombo, L.P.L.; Combet, C.; Contreras, D.; Couchot, F.; Coulais, A.; Crill, B.P.; Curto, A.; Cuttaia, F.; Danese, L.; Davies, R.D.; Davis, R.J.; de Bernardis, P.; de Rosa, A.; de Zotti, G.; Delabrouille, J.; Desert, F.X.; Diego, J.M.; Dole, H.; Donzelli, S.; Dore, O.; Douspis, M.; Ducout, A.; Dupac, X.; Efstathiou, G.; Elsner, F.; Ensslin, T.A.; Eriksen, H.K.; Fergusson, J.; Finelli, F.; Forni, O.; Frailis, M.; Fraisse, A.A.; Franceschi, E.; Frejsel, A.; Frolov, A.; Galeotta, S.; Galli, S.; Ganga, K.; Gauthier, C.; Giard, M.; Giraud-Heraud, Y.; Gjerlow, E.; Gonzalez-Nuevo, J.; Gorski, K.M.; Gratton, S.; Gregorio, A.; Gruppuso, A.; Gudmundsson, J.E.; Hamann, J.; Handley, W.; Hansen, F.K.; Hanson, D.; Harrison, D.L.; Henrot-Versille, S.; Hernandez-Monteagudo, C.; Herranz, D.; Hildebrandt, S.R.; Hivon, E.; Hobson, M.; Holmes, W.A.; Hornstrup, A.; Hovest, W.; Huang, Z.; Huffenberger, K.M.; Hurier, G.; Jaffe, A.H.; Jaffe, T.R.; Jones, W.C.; Juvela, M.; Keihanen, E.; Keskitalo, R.; Kim, J.; Kisner, T.S.; Kneissl, R.; Knoche, J.; Kunz, M.; Kurki-Suonio, H.; Lagache, G.; Lahteenmaki, A.; Lamarre, J.M.; Lasenby, A.; Lattanzi, M.; Lawrence, C.R.; Leonardi, R.; Lesgourgues, J.; Levrier, F.; Lewis, A.; Liguori, M.; Lilje, P.B.; Linden-Vornle, M.; Lopez-Caniego, M.; Lubin, P.M.; Ma, Y.Z.; Macias-Perez, J.F.; Maggio, G.; Maino, D.; Mandolesi, N.; Mangilli, A.; Martin, P.G.; Martinez-Gonzalez, E.; Masi, S.; Matarrese, S.; Mazzotta, P.; McGehee, P.; Meinhold, P.R.; Melchiorri, A.; Mendes, L.; Mennella, A.; Migliaccio, M.; Mitra, S.; Miville-Deschenes, M.A.; Molinari, D.; Moneti, A.; Montier, L.; Morgante, G.; Mortlock, D.; Moss, A.; Munchmeyer, M.; Munshi, D.; Murphy, J.A.; Naselsky, P.; Nati, F.; Natoli, P.; Netterfield, C.B.; Norgaard-Nielsen, H.U.; Noviello, F.; Novikov, D.; Novikov, I.; Oxborrow, C.A.; Paci, F.; Pagano, L.; Pajot, F.; Paladini, R.; Pandolfi, S.; Paoletti, D.; Pasian, F.; Patanchon, G.; Pearson, T.J.; Peiris, H.V.; Perdereau, O.; Perotto, L.; Perrotta, F.; Pettorino, V.; Piacentini, F.; Piat, M.; Pierpaoli, E.; Pietrobon, D.; Plaszczynski, S.; Pointecouteau, E.; Polenta, G.; Popa, L.; Pratt, G.W.; Prezeau, G.; Prunet, S.; Puget, J.L.; Rachen, J.P.; Reach, W.T.; Rebolo, R.; Reinecke, M.; Remazeilles, M.; Renault, C.; Renzi, A.; Ristorcelli, I.; Rocha, G.; Rosset, C.; Rossetti, M.; Roudier, G.; Rowan-Robinson, M.; Rubino-Martin, J.A.; Rusholme, B.; Sandri, M.; Santos, D.; Savelainen, M.; Savini, G.; Scott, D.; Seiffert, M.D.; Shellard, E.P.S.; Shiraishi, M.; Spencer, L.D.; Stolyarov, V.; Stompor, R.; Sudiwala, R.; Sunyaev, R.; Sutton, D.; Suur-Uski, A.S.; Sygnet, J.F.; Tauber, J.A.; Terenzi, L.; Toffolatti, L.; Tomasi, M.; Tristram, M.; Trombetti, T.; Tucci, M.; Tuovinen, J.; Valenziano, L.; Valiviita, J.; Van Tent, B.; Vielva, P.; Villa, F.; Wade, L.A.; Wandelt, B.D.; Wehus, I.K.; White, M.; Yvon, D.; Zacchei, A.; Zibin, J.P.; Zonca, A.

2016-09-20

We present the implications for cosmic inflation of the Planck measurements of the cosmic microwave background (CMB) anisotropies in both temperature and polarization based on the full Planck survey. The Planck full mission temperature data and a first release of polarization data on large angular scales measure the spectral index of curvature perturbations to be $n_\\mathrm{s} = 0.968 \\pm 0.006$ and tightly constrain its scale dependence to $d n_s/d \\ln k =-0.003 \\pm 0.007$ when combined with the Planck lensing likelihood. When the high-$\\ell$ polarization data is included, the results are consistent and uncertainties are reduced. The upper bound on the tensor-to-scalar ratio is $r_{0.002} < 0.11$ (95% CL), consistent with the B-mode polarization constraint $r< 0.12$ (95% CL) obtained from a joint BICEP2/Keck Array and Planck analysis. These results imply that $V(\\phi) \\propto \\phi^2$ and natural inflation are now disfavoured compared to models predicting a smaller tensor-to-scalar ratio, such as $R^2$ ...

'Bimodal' NTR and LANTR propulsion for human missions to Mars/Phobos

International Nuclear Information System (INIS)

Borowski, Stanley K.; Dudzinski, Leonard A.; McGuire, Melissa L.

1999-01-01

The nuclear thermal rocket (NTR) is one of the leading propulsion options for future human missions to Mars due to its high specific impulse (Isp ∼850-1000 s) and attractive engine thrust-to-weight ratio (∼3-10). Because only a miniscule amount of enriched uranium-235 fuel is consumed in a NTR during the primary propulsion maneuvers of a typical Mars mission, engines configured for both propulsive thrust and modest power generation (referred to as 'bimodal' operation) provide the basis for a robust, 'power-rich' stage enabling propulsive Mars capture and reuse capability. A family of modular 'bimodal' NTR (BNTR) vehicles are described which utilize a common 'core' stage powered by three 66.7 kN (∼15 klbf) BNTRs that produce 50 kWe of total electrical power for crew life support, an active refrigeration/reliquification system for long term, 'zero-boiloff' liquid hydrogen (LH 2 ) storage, and high data rate communications. Compared to other propulsion options, a Mars mission architecture using BNTR transfer vehicles requires fewer transportation system elements which reduces mission mass, cost and risk because of simplified space operations. For difficult Mars options, such as a Phobos rendezvous and sample return mission, volume (not mass) constraints limit the performance of the 'all LH 2 ' BNTR stage. The use of ''LOX-augmented' NTR (LANTR) engines, operating at a modest oxygen-to-hydrogen (O/H) mixture ratio (MR) of 0.5, helps to increase 'bulk' propellant density and total thrust during the trans-Mars injection (TMI) burn. On all subsequent burns, the bimodal LANTR engines operate on LH 2 only (MR=0) to maximize vehicle performance while staying within the mass limits of two ∼80 t 'Magnum' heavy lift launch vehicles (HLLVs)

Designing Mission Operations for the Gravity Recovery and Interior Laboratory Mission

Science.gov (United States)

Havens, Glen G.; Beerer, Joseph G.

2012-01-01

NASA's Gravity Recovery and Interior Laboratory (GRAIL) mission, to understand the internal structure and thermal evolution of the Moon, offered unique challenges to mission operations. From launch through end of mission, the twin GRAIL orbiters had to be operated in parallel. The journey to the Moon and into the low science orbit involved numerous maneuvers, planned on tight timelines, to ultimately place the orbiters into the required formation-flying configuration necessary. The baseline GRAIL mission is short, only 9 months in duration, but progressed quickly through seven very unique mission phases. Compressed into this short mission timeline, operations activities and maneuvers for both orbiters had to be planned and coordinated carefully. To prepare for these challenges, development of the GRAIL Mission Operations System began in 2008. Based on high heritage multi-mission operations developed by NASA's Jet Propulsion Laboratory and Lockheed Martin, the GRAIL mission operations system was adapted to meet the unique challenges posed by the GRAIL mission design. This paper describes GRAIL's system engineering development process for defining GRAIL's operations scenarios and generating requirements, tracing the evolution from operations concept through final design, implementation, and validation.

Constraints and Creativity in NPD - Testing the Impact of 'Late Constraints'

DEFF Research Database (Denmark)

Onarheim, Balder; Valgeirsdóttir, Dagný

experiment was conducted, involving 12 teams of industrial designers from three different countries, each team working on two 30 minutes design tasks. In one condition all constraints were given at the start, and in the other one new radical constraint was added after 12 minutes. The output from all 24 tasks......The aim of the presented work is to investigate how the timing of project constraints can influence the creativity of the output in New Product Development (NPD) projects. When seeking to produce a creative output, is it beneficial to know all constraints when initiating a project...... was assessed for creativity using the Consensual Assessment Technique (CAT), and a comparative within-subjects analysis found no significant different between the two conditions. Controlling for task and assessor a small but non-significant effect was found, in favor of the ‘late constraint’ condition. Thus...

"Personal mission statement": An analysis of medical students' and general practitioners' reflections on personal beliefs, values and goals in life.

Science.gov (United States)

Chew, B H; Lee, P Y; Ismail, I Z

2014-01-01

Personal mission in life can determine the motivation, happiness, career advancement and fulfilment in life of the medical students (MSs) along with improvement in professional/clinical performance of the family physicians. This study explored the personal beliefs, values and goals in the lives of MSs and general practitioners (GPs). Fourth-year MSs at the Universiti Putra Malaysia and GPs who participated in a 2-hour session on 'Ethics in Family Medicine' in 2012 were invited. All the participants submitted the post-session written reflections about their personal missions in life. The written reflections were analysed using thematic analysis. A total of 87 MSs and 31 GPs submitted their written reflections. The authors identified 17 categories from the reflections contained by four themes-good vs. smart doctor, professional improvement vs. self-improvement, self-fulfilment and expressed motivation. The most common categories were "to be a good doctor" (97/330) and "professional improvement" (65/330). Many MSs had expressed motivation and wanted to be a smart doctor as compared to the GPs, whereas a larger number of GPs wished to have a fulfilled life and be a good doctor through professional improvement. The difference between the two student groups might indicate different levels of maturity and life experiences. Medical teachers should engage students more effectively in orientating them towards the essential values needed in medical practice.

OMV mission simulator

Science.gov (United States)

Cok, Keith E.

1989-01-01

The Orbital Maneuvering Vehicle (OMV) will be remotely piloted during rendezvous, docking, or proximity operations with target spacecraft from a ground control console (GCC). The real-time mission simulator and graphics being used to design a console pilot-machine interface are discussed. A real-time orbital dynamics simulator drives the visual displays. The dynamics simulator includes a J2 oblate earth gravity model and a generalized 1962 rotating atmospheric and drag model. The simulator also provides a variable-length communication delay to represent use of the Tracking and Data Relay Satellite System (TDRSS) and NASA Communications (NASCOM). Input parameter files determine the graphics display. This feature allows rapid prototyping since displays can be easily modified from pilot recommendations. A series of pilot reviews are being held to determine an effective pilot-machine interface. Pilots fly missions with nominal to 3-sigma dispersions in translational or rotational axes. Console dimensions, switch type and layout, hand controllers, and graphic interfaces are evaluated by the pilots and the GCC simulator is modified for subsequent runs. Initial results indicate a pilot preference for analog versus digital displays and for two 3-degree-of-freedom hand controllers.

Potable water supply in U.S. manned space missions

Science.gov (United States)

Sauer, Richard L.; Straub, John E., II

1992-01-01

A historical review of potable water supply systems used in the U.S. manned flight program is presented. This review provides a general understanding of the unusual challenges these systems have presented to the designers and operators of the related flight hardware. The presentation concludes with the projection of how water supply should be provided in future space missions - extended duration earth-orbital and interplanetary missions and lunar and Mars habitation bases - and the challenges to the biomedical community that providing these systems can present.

Categorical database generalization in GIS

NARCIS (Netherlands)

Liu, Y.

2002-01-01

Key words: Categorical database, categorical database generalization, Formal data structure, constraints, transformation unit, classification hierarchy, aggregation hierarchy, semantic similarity, data model,