134 research outputs found

    APGEN Version 5.0

    Get PDF
    Activity Plan Generator (APGEN), now at version 5.0, is a computer program that assists in generating an integrated plan of activities for a spacecraft mission that does not oversubscribe spacecraft and ground resources. APGEN generates an interactive display, through which the user can easily create or modify the plan. The display summarizes the plan by means of a time line, whereon each activity is represented by a bar stretched between its beginning and ending times. Activities can be added, deleted, and modified via simple mouse and keyboard actions. The use of resources can be viewed on resource graphs. Resource and activity constraints can be checked. Types of activities, resources, and constraints are defined by simple text files, which the user can modify. In one of two modes of operation, APGEN acts as a planning expert assistant, displaying the plan and identifying problems in the plan. The user is in charge of creating and modifying the plan. In the other mode, APGEN automatically creates a plan that does not oversubscribe resources. The user can then manually modify the plan. APGEN is designed to interact with other software that generates sequences of timed commands for implementing details of planned activities

    Translating MAPGEN to ASPEN for MER

    Get PDF
    This software translates MAPGEN (Europa and APGEN) domains to ASPEN, and the resulting domain can be used to perform planning for the Mars Exploration Rover (MER). In other words, this is a conversion of two distinct planning languages (both declarative and procedural) to a third (declarative) planning language in order to solve the problem of faithful translation from mixed-domain representations into the ASPEN Modeling Language. The MAPGEN planning system is an example of a hybrid procedural/declarative system where the advantages of each are leveraged to produce an effective planner/scheduler for MER tactical planning. The adaptation of the planning system (ASPEN) was investigated, and, with some translation, much of the procedural knowledge encoding is amenable to declarative knowledge encoding. The approach was to compose translators from the core languages used for adapting MAGPEN, which consists of Europa and APGEN. Europa is a constraint- based planner/scheduler where domains are encoded using a declarative model. APGEN is also constraint-based, in that it tracks constraints on resources and states and other variables. Domains are encoded in both constraints and code snippets that execute according to a forward sweep through the plan. Europa and APGEN communicate to each other using proxy activities in APGEN that represent constraints and/or tokens in Europa. The composition of a translator from Europa to ASPEN was fairly straightforward, as ASPEN is also a declarative planning system, and the specific uses of Europa for the MER domain matched ASPEN s native encoding fairly closely. On the other hand, translating from APGEN to ASPEN was considerably more involved. On the surface, the types of activities and resources one encodes in APGEN appear to match oneto- one to the activities, state variables, and resources in ASPEN. But, when looking into the definitions of how resources are profiled and activities are expanded, one sees code snippets that access various information available during planning for the moment in time being planned to decide at the time what the appropriate profile or expansion is. APGEN is actually a forward (in time) sweeping discrete event simulator, where the model is composed of code snippets that are artfully interleaved by the engine to produce a plan/schedule. To solve this problem, representative code is simulated as a declarative series of task expansions. Predominantly, three types of procedural models were translated: loops, if statements, and code blocks. Loops and if statements were handled using controlled task expansion, and code blocks were handled using constraint networks that maintained the generation of results based on what the order of execution would be for a procedural representation. One advantage with respect to performance for MAPGEN is the use of APGEN s GUI. This GUI is written in C++ and Motif, and performs very well for large plans

    Software for Planning Scientific Activities on Mars

    Get PDF
    Mixed-Initiative Activity Plan Generator (MAPGEN) is a ground-based computer program for planning and scheduling the scientific activities of instrumented exploratory robotic vehicles, within the limitations of available resources onboard the vehicle. MAPGEN is a combination of two prior software systems: (1) an activity-planning program, APGEN, developed at NASA s Jet Propulsion Laboratory and (2) the Europa planner/scheduler from NASA Ames Research Center. MAPGEN performs all of the following functions: Automatic generation of plans and schedules for scientific and engineering activities; Testing of hypotheses (or what-if analyses of various scenarios); Editing of plans; Computation and analysis of resources; and Enforcement and maintenance of constraints, including resolution of temporal and resource conflicts among planned activities. MAPGEN can be used in either of two modes: one in which the planner/scheduler is turned off and only the basic APGEN functionality is utilized, or one in which both component programs are used to obtain the full planning, scheduling, and constraint-maintenance functionality

    Dynamiques économiques émergentes et territoire(s) - Un regard sur les économies numérique, circulaire et créative

    Full text link
    Cette note de recherche est issue des travaux menés par la CPDT en 2020 et portant sur les dynamiques économiques considérées comme émergentes et leurs rapports au territoire. Les thématiques de l’économie numérique, circulaire et créative ont été identifiées comme prometteuses pour la Wallonie et font par ailleurs l’objet d’une attention poussée de la part des instances politiques, notamment sous l’impulsion de l’Union européenne. La présente note est dérivée essentiellement des volets 2, 3 et 4 de la recherche qui avaient pour objectif majeur, pour le premier, de quantifier l’importance de ces trois dynamiques ainsi que leur comportement à travers le territoire wallon -, pour le second, d’identifier les politiques, mécanismes et initiatives de promotion et soutien aux nouvelles dynamiques économiques, et pour le troisième, d’identifier des initiatives inspirantes développées à l’étranger au sein de ces trois économies, de manière à enrichir la réflexion sur le territoire wallon. L’analyse quantitative fut menée à une double échelle : une première logique « macro », en utilisant les communes ou les arrondissements comme unité spatiale, et une seconde logique « micro », croisant les entreprises et un carroyage de typologies territoriales créé pour l’occasion. Les résultats aux deux échelles montrent des géographies très différentes des trois dimensions économiques et sont l’objet principal de la présente note de recherche. L’inventaire des politiques, mécanismes et initiatives de promotion et soutien démontre une volonté marquée depuis quelques années de développer les trois économies étudiées, tant au niveau européen, national, que wallon. Celles-ci sont présentées comme moteurs d’innovation et de croissance économique. Les enseignements du benchmark témoignent d’une diversité importante de moyens d’action. Il est question d’identifier les stratégies, les programmes, les plateformes de mise en réseau et les réalisations concrètes qui favorisent l’essor de ces filières économiques.R2 - Dynamiques économiques émergente

    Finite-Temperature Transport in Finite-Size Hubbard Rings in the Strong-Coupling Limit

    Full text link
    We study the current, the curvature of levels, and the finite temperature charge stiffness, D(T,L), in the strongly correlated limit, U>>t, for Hubbard rings of L sites, with U the on-site Coulomb repulsion and t the hopping integral. Our study is done for finite-size systems and any band filling. Up to order t we derive our results following two independent approaches, namely, using the solution provided by the Bethe ansatz and the solution provided by an algebraic method, where the electronic operators are represented in a slave-fermion picture. We find that, in the U=\infty case, the finite-temperature charge stiffness is finite for electronic densities, n, smaller than one. These results are essencially those of spinless fermions in a lattice of size L, apart from small corrections coming from a statistical flux, due to the spin degrees of freedom. Up to order t, the Mott-Hubbard gap is \Delta_{MH}=U-4t, and we find that D(T) is finite for n<1, but is zero at half-filling. This result comes from the effective flux felt by the holon excitations, which, due to the presence of doubly occupied sites, is renormalized to \Phi^{eff}=\phi(N_h-N_d)/(N_d+N_h), and which is zero at half-filling, with N_d and N_h being the number of doubly occupied and empty lattice sites, respectively. Further, for half-filling, the current transported by any eigenstate of the system is zero and, therefore, D(T) is also zero.Comment: 15 pages and 6 figures; accepted for PR

    Expertise - Quelles perspectives pour les territoires wallons dans l'ère post-covid? (E.1)

    Full text link
    Dans sa DPR 2019-2024, le Gouvernement wallon affiche sa volonté de faire de la Wallonie une terre de transition écologique sociale, économique et démocratique. Cette transition doit ainsi permettre d’aboutir à un nouveau modèle de société dans lequel les Wallonnes et les Wallons vivent mieux et plus heureux. Cette problématique des transitions fait également partie des priorités européennes comme le Green Deal qui dresse notamment les orientations à conduire pour faire face aux changements climatiques. À l’autre bout de l’échelle, l’évolution des comportements des acteurs, tant au niveau des citoyens qu’au niveau des entreprises, et la numérisation croissante de la société impactent toujours davantage les modes de vie et différents projets concrets se mettent en place. La convergence entre les mutations sectorielles apparait comme un élément critique de réussite des transitions. Or le développement territorial peut jouer un rôle majeur pour favoriser ces convergences. Néanmoins, l’apparition en début d’année 2020 d’une crise sanitaire face à laquelle nous luttons toujours aujourd’hui agit comme un catalyseur des mutations sociétales et amplifie les défis socio-économiques et territoriaux. Des évolutions radicales sont déjà perceptibles, telles que la désertion des centres villes et des commerces de détail, et une forte expansion de la demande pour les immeubles de toute nature en milieu rural et péri-urbain « vert ». L’ampleur de la crise attendue est telle que les territoires pourraient être fortement impactés et déstructurés. Un diagnostic pluridisciplinaire sera effectué (janvier-février 2021), mobilisant les compétences économiques, sociales et environnementales disponibles, et les acteurs représentatifs. Sur base de celui-ci, des perspectives d’actions et de mise en place de dispositifs correctifs seront dégagés au travers de trois séminaires à tenir avant fin juin 2021, sur trois thèmes : - Quelles perspectives pour l’attractivité des centres-villes et leurs activités commerciales ? - Quelles tendances observées et attendues sur les marchés foncier et immobilier (principalement à vocation résidentielle) ? - Quelles évolutions en matière de répartition modale, notamment en regard de la vision FAST et de la progression du télétravail

    Le thermopompage et l'économie des combustibles et de l'énergie.

    No full text
    Thèse de doctorat -- Université catholique de Louvain, 194

    [Fever Induced By Auto-inoculation of Germs]

    No full text
    • …
    corecore