31 research outputs found
Recommended from our members
A system approach to nuclear facility monitoring
Sensor technology for use in nuclear facility monitoring has reached and advanced stage of development. Research on where to place these sensors in a facility and how to combine their outputs in a meaningful fashion does not appear to be keeping pace. In this paper, we take a global view of the problem where sensor technology is viewed as only one piece of a large puzzle. Other pieces of this puzzle include the optimal location and type of sensors used in a specific facility, the rate at which sensors record information, and the risk associated with the materials/processes at a facility. If the data are analyzed off-site, how will they be transmitted? Is real-time analysis necessary? Are we monitoring only the facility itself, or might we also monitor the processing that occurs there? How are we going to combine the output from the various sensors to give us an accurate picture of the state of the facility? This paper will not try to answer all these questions, but rather it will attempt to stimulate thought in this area by formulating a systems approach to the problem demonstrated by a prototype system and a systems proposed for an actual facility. Our focus will be on the data analysis aspect of the problem
Ion Wind Insect Trap.
US Grant Date 7 March 2000 European Grant Date 6 October 199
Rechnerische Untersuchung der Äquivalenz synthetischer Schaltungen zur Prüfung des Ausschaltvermögens von Hochspannungs-Leistungsschaltern mit Hilfe von Lichtbogenmodellen
Abstract. An important aim of diagrammatic reasoning is to make it easier for people to create and understand logical arguments. We have worked on spider diagrams, which visually express logical statements. Ideally, automatically generated proofs should be short and easy to understand. An existing proof generator for spider diagrams successfully writes proofs, but they can be long and unwieldy. In this paper, we present a new approach to proof writing in diagrammatic systems, which is guaranteed to find shortest proofs and can be extended to incorporate other readability criteria. We apply the A ∗ algorithm and develop an admissible heuristic function to guide automatic proof construction. We demonstrate the effectiveness of the heuristic used. The work has been implemented as part of a spider diagram reasoning tool.
As estruturas territoriais dos insetos
AS SOCIEDADES de insetos utilizam muitos tipos de materiais e recursos biológicos para construir seus abrigos. As disposições espaciais e estruturas de apoio são criadas de forma engenhosa, oferecendo condições adequadas para a criação da prole, a produção ou o armazenamento de alimentos. A sua localização e as suas interconexões as inserem nas áreas circundantes, e elas podem aproveitar vantagens circunstanciais oferecidas pelo meio ambiente. As técnicas de construção e de manutenção fazem parte da cultura desses seres, e permitem uma visão interessante de soluções obtidas mediante a utilização eficiente de uma ampla gama de recursos disponÃveis.<br>INSECT SOCIETIES use many kinds of materials and biologic resources to build their shelters. Space arrangements and supporting structures are created in an ingenious way to provide adequate conditions for development of the young, for food production or storage. Their location and interconnections insert them into the surrounding areas, and they may take advantage of circumstantial benefits of their environment. Building and maintenance techniques belong to the culture of these beings, and they offer an interesting vision of solutions based on efficient use of a wide range of available resources