88 research outputs found

    Study on multi-modal conversation system

    Get PDF
    制度:新 ; 文部省報告番号:甲1783号 ; 学位の種類:博士(工学) ; 授与年月日:2003/3/15 ; 早大学位記番号:新354

    An automatic translation scheme from prolog to the andorra kernel language

    Full text link
    The Andorra family of languages (which includes the Andorra Kernel Language -AKL) is aimed, in principie, at simultaneously supporting the programming styles of Prolog and committed choice languages. On the other hand, AKL requires a somewhat detailed specification of control by the user. This could be avoided by programming in Prolog to run on AKL. However, Prolog programs cannot be executed directly on AKL. This is due to a number of factors, from more or less trivial syntactic differences to more involved issues such as the treatment of cut and making the exploitation of certain types of parallelism possible. This paper provides basic guidelines for constructing an automatic compiler of Prolog programs into AKL, which can bridge those differences. In addition to supporting Prolog, our style of translation achieves independent and-parallel execution where possible, which is relevant since this type of parallel execution preserves, through the translation, the user-perceived "complexity" of the original Prolog program

    Specifying and reasoning about concurrent systems in logic

    Get PDF
    Imperial Users onl

    Combinator evaluation of functional programs with logical variables

    Get PDF
    technical reportA technique is presented that brings logical variables into the scope of the well known Turner method for evaluating normal order functioned programs by S, K, I combinator graph reduction. This extension is illustrated by SASL+LV, an extension of Turner's language SASL in which general expressions serve as formal parameters, and parameter passage is done by unification. The conceptual and practical advantages of such an extension are discussed, as well as semantic pitfalls that arise from the attendant weakening of referential transparency. Only four new combinators (LV, BV, FN and UNIFY) are introduced. The resulting object code is fully upward compatible in the sense that previously compiled SASL object code remains executable with unchanged semantics. However, "read-only" variable usage in SASL-f LV programs requires a "multi-tasking" extension of the customary stack-based evaluation method. Mechanisms are presented for managing this multi-tasking on both single and multi-processor systems. Finally, directions are examined for applying this technique to implementations involving larger granularity combinators, and fuller semantic treatment of logical variables (e.g. accommodation of failing unifications)

    Replacing Conventional PFAS Water Treatment by GAC with Plasma Treatment to Improve Sustainability

    Get PDF
    Per and poly-fluoroalkylated substances (PFAS) are carcinogenic compounds which make their way into water systems and are difficult to remove. Currently, PFAS is removed from drinking water at an industrial scale using granular activated carbon (GAC), a solid particulate which removes PFAS from water through adsorption. However, in recent years, a new method utilizing a plasma reactor to mineralize the PFAS has been designed and tested at small scales. This project aims to increase the scale of existing plasma reactor designs to treat the same volumes of water that traditional GAC plants are capable of treating. A specific well in New Castle County, Delaware was identified as the treatment site, and both processes were designed to treat 2.33 million gallons of water per day by reducing the PFAS concentration from 4,500 parts per trillion to the US EPA health advisory level of 70 parts per trillion. The GAC process was estimated to have a capital cost of 6.73millionandanoperationalcostof6.73 million and an operational cost of 6.32 million each year. The plasma process was estimated to have a capital cost of 14.8millionandanoperationalcostof14.8 million and an operational cost of 5.93 million each year. Based on a number of economic and environmental factors, this project found that the plasma system was a more effective and sustainable method for achieving the desired reduction in PFAS concentration

    Tagungsband zum 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung

    Get PDF
    Das 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2021) setzt eine traditionelle Reihe von Arbeitstagungen fort, die 1980 von den Forschungsgruppen der Professoren Friedrich L. Bauer (TU München), Klaus Indermark (RWTH Aachen) und Hans Langmaack(CAU Kiel) ins Leben gerufen wurde.Die Veranstaltung ist ein offenes Forum für alle interessierten deutschsprachigen Wissenschaftlerinnen und Wissenschaftler zum zwanglosen Austausch neuer Ideen und Ergebnisse aus den Forschungsbereichen Entwurf und Implementierung von Programmiersprachen sowie Grundlagen und Methodik des Programmierens. Dieser Tagungsband enthält die wissenschaftlichen Beiträge,die bei dem 21. Kolloquium dieser Tagungsreihe präsentiert wurden, welches vom 27. bis 29. September 2021 in Kiel stattfand und von der Arbeitsgruppe Programmiersprachen und Übersetzerkonstruktion der Christian-Albrechts-Universität zu Kiel organisiert wurde

    Hypergolic Propellants: The Handling Hazards and Lessons Learned from Use

    Get PDF
    Several unintentional hypergolic fluid related spills, fires, and explosions from the Apollo Program, the Space Shuttle Program, the Titan Program, and a few others have occurred over the past several decades. Spill sites include the following government facilities: Kennedy Space Center (KSC), Johnson Space Center (JSC), White Sands Test Facility (WSTF), Vandenberg Air Force Base (VAFB), Cape Canaveral Air Force Station (CCAFS), Edwards Air Force Base (EAFB), Little Rock AFB, and McConnell AFB. Until now, the only method of capturing the lessons learned from these incidents has been "word of mouth" or by studying each individual incident report. Through studying several dozen of these incidents, certain root cause themes are apparent. Scrutinizing these themes could prove to be highly beneficial to future hypergolic system testing, checkout, and operational use

    Automatic goal distribution strategies for the execution of committed choice logic languages on distributed memory parallel computers

    Get PDF
    There has been much research interest in efficient implementations of the Committed Choice Non-Deterministic (CCND) logic languages on parallel computers. To take full advantage of the speed gains of parallel computers, methods need to be found to automatically distribute goals over the machine processors, ideally with as little involvement from the user as possible.In this thesis we explore some automatic goal distribution strategies for the execu¬ tion of the CCND languages on commercially available distributed memory parallel computers.There are two facets to the goal distribution strategies we have chosen to explore:DEMAND DRIVEN: An idle processor requests work from other processors. We describe two strategies in this class: one in which an idle processor asks only neighbouring processors for spare work, the nearest-neighbour strategy; and one where an idle processor may ask any other processor in the machine for spare work, the allprocessors strategy.WEIGHTS: Using a program analysis technique devised by Tick, weights are attached to goals; the weights can be used to order the goals so that they can be executed and distributed out in weighted order, possibly increasing performance.We describe a framework in which to implement and analyse goal distribution strategies, and then go on to describe experiments with demand driven strategies, both with and without weights. The experiments were made using two of our own implementations of Flat Guarded Horn Clauses — an interpreter and a WAM-like system — executing on a MEIKO T800 Transputer Array configured in a 2-D mesh topology.Analysis of the results show that the all-processors strategies are promising (AP-NW), adding weights had little positive effect on performance, and that nearest-neighbours strategies can reduce performance due to bad load balancing.We also describe some preliminary experiments for a variant of the AP-NW strategy: goals which suspend on one variable are sent to the processor that controls that variable, the processes-to-data strategy. And we briefly look at some preliminary results of executing programs on large numbers of processors (> 30)

    Ceramic filter manufacturing in Northern Ghana : water storage and quality control

    Get PDF
    Thesis (M.C.P.)--Massachusetts Institute of Technology, Dept. of Urban Studies and Planning; and, (M. Eng.)--Massachusetts Institute of Technology, Dept. of Civil and Environmental Engineering, 2011.Page 6 missing. Cataloged from PDF version of thesis.Includes bibliographical references (p. 68-70).In 2009, Pure Home Water (PHW), a Ghana based non-profit organization working to provide affordable and safe drinking water to people in the Northern Region of Ghana, began the construction of a ceramic pot filter (CPF) factory near the city of Tamale. By 2011, the factory had the molds, supplies, and kiln necessary for large-scale filter production, but needed to both increase its own water storage capacity, and to implement quality control standards. This thesis documents elements of PHW's efforts to bring household water treatment and safe storage (HWTS) to scale through local manufacturing of ceramic pot filters. Specifically, it records work done between January and April 2011 to build water infrastructure for the PHW factory and to improve quality control for CPF production. Detailed documentation of the design and construction of an underground water storage system, observations about the iterative process of establishing standardized quality control procedures, and recommendations for additional research, are provided to serve as a practical guide for PHW management and others who may engage in similar work in the future.by Shanti Lisa Kleiman.M.Eng.M.C.P

    Principles of Security and Trust

    Get PDF
    This open access book constitutes the proceedings of the 8th International Conference on Principles of Security and Trust, POST 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and foundational aspects of security and trust, including on new theoretical results, practical applications of existing foundational ideas, and innovative approaches stimulated by pressing practical problems
    corecore