MOREA: A Knowlegdge based Multilevel Architecture for Hydrological System Simulation
|
|
- Vivien Owens
- 6 years ago
- Views:
Transcription
1 MOREA: A Knowlegdge based Multilevel Architecture for Hydrological System Simulation E. Guzmán A. Díaz R. Conejo Languages and Computational Science Department University of Málaga Complejo Tecnológico, Campus de Teatinos Tel.: Fax: Málaga, Spain fguzman, adiaz, conejog@iaia.lcc.uma.es Keywords: knowledge representation, cognitive programming, programming for nonprogrammers, hydrology. ABSTRACT. Nowadays, hydrological information automatic systems provide amounts of information. This information cannot be processed by hand. In this paper we show a visual tool called MOREA (Artificial Reality Model), which allows us to build hydrologic basin representation models, in order to be simulated. Results analysis and visualization will be easier to the operators. MOREA let us to emulate the hydrologic basin behavior by the application of the models designed and calibrated by the knowlegge ingenieer. 1 INTRODUCTION The tool described in this paper is a result of a researching proyect called ARQUIMEDES (Model-based Intelligent Architectures for Real-time Information Systems data evaluation). The goal of this project is to develop a visual tool to build, calibrate and execute models, as well as data validation. MOREA (Artificial Reality Model) is a tool to build, calibrate and execute models. Using the knowledge-based pieces of a tool with a visual interface, strategic operator can build a simbolic scheme which represents an hydrological basin. In other way, MOREA lets a whole and comparative data analysis, which are the models simulation result. For a long time, intelligence artificial has been looking for a knowlegde representation mechanism, in order to represent any kind of knowledge. Even though some tasks could be built by this universal knowledge representations, there are some problems which should be solved in higher abstraction levels. Regardless implementation details, we are looking for a solution to this problem, in the side of the the knowledge involved and system behaviour. It is, anyway, a knowledge level system description following the suggestions of Newell [Newell82]. CYRAH [Garrote, 90] and SIRAH [Alonso, 93] systems, which were the beginning of KSM [Cuena, 94] methodology, are examples that use these knowledge representation mechanisms in hydrology. In this work, we purpose an hydrological knowledge structuration in two levels. The first one, in a higher abstraction level, where we define the basic pieces or bricks, that are going to be used in the following level. In the second level, those pieces will be used in order to define hydrological basin schemes. Basin physical elements behavior
2 Figura 1: System Architecture. will be emulated and predicted by the hydrological models application. As a result, all the knowlegde about hydrological systems physical members can be represented by this knowledge pieces. 2 SYSTEM ARCHITECTURE The following modules are part of the system architecture (figure 1): behavior models, models management interface, hypothesis coherence maintenance system (SMACH), generic configuration model, domain representation model, and model construction and operation interfaces. Behavior models are hydrology domain methods. These models, external to the operators and the knowledge ingenieer, are used in order to model an hydrological basin physical elements behavior. They could be implemented in an extern way, and later included in the system by models management interface, or internally using basic artihmetic operations by an specific purpose language called COVALTO. Also, this architecture is able to represent simultaneously more than one situations which could happen in a basin, without different simulations. For instance, it is possible to model, at the same time, different situations like open and close sluices of a dam. All of these situations will be called hypothesis. The enviroment has a module called SMACH (hypothesis coherence maintenance system), which allows us to maintain the coherence among formulated hypothesis. Knowledge ingenieer designs the generic configuration model. It contains cognitive units and methods that can be used to build domain representation models. With a generic configuration model, the strategic operator, using the model construction interface, could define easily, a domain representation model for a specific hydrological basin. He will use instances of cognitive units and methods defined in the generic model. Both generic configuration and domain representation models are expresed using a specific developed language called COVALTO. Once domain representation model has been simulated, the operator will analyze, using the operation interface, hydrological datas.
3 3 GENERIC CONFIGURATION MODEL Traditionally, the structure of a physical system is described by grouping a knowledges representation primitives finite collection. Using these primitives, knowledge ingenieer, who applies his hydrological experience in the design of generic models, chooses the required pieces in order to build a specific domain representation model. The hydrological basin structure representation is made by adding some conceptual components which represent domain physical objects. As a result, we must define a suitable mapping between physical objects and conceptual entities. Hydrological basin behaviour will be the result of adding the behaviour of each used component. This physical representation is independent of the specific problem to solve. Each problem will add to this model its own objects. So it is posible to build for the same domain, (in this case the hydrology), a common kernel of object that could be reused in other tasks like data validation, dam optimum strategies, etc. Like in other systems which apply artificial intellingence techniques to hydrological domains [Garrote, 90] and [Conejo, 95], we will use conceptual components called agents o cognitive units. We will use the following conceptual components: Agentes sensores: Pluviometer: it represents the sensors which measure the rain intensity. Gauging: it represents the sensors which measure a river flow. Level: it represents the sensors which measure the height of a dam. Basin physical agents: Basins: they are the places where rain-runoff transfer happens. Transport sections: it represents a river section of hydrological net. Dams: it is a regulation work on the hydrological net. Confluences: it is a point on the hydrologic net where one or more components meet. Each cognitive units will be represented by an own data collection, which we call attributes. These attributes collect features of the hydrological basin elements. Examples of attributes for the cognitive unit called pluviometer are the localizacion (location), which express, in UTM coordinates, where it is placed inside the basin; and medidas (measures), which is a time series which contains collected rain intensity. Also, the agents contains a model collection, that allows them to calculate the attributes values using other attributes. They are configurated by their corresponding parameters. These models represent physical operating theorical models and heuristic models defined by expert operators. The same cognitive unit can have more than one model. The architecture does not limit the number of models than can be used. There are the following types of models: Internals: defined by user, through the COVALTO language, using basic arithmetic operations like addition, substraction, multiplication, division, etc. Externals: implemented by a high level language. It is possible to declare generic models, which maps to mathematical funtions. It could be used by any cognitive unit. Examples of these generic models could be linear combination, convolution, etc. These models can be internals or externals. At the implementation point of view, these cognitive units are substancied by COVALTO
4 Figura 2: Cognitive unit syntax. Figura 3: Generic configuration model file (I). Figura 4: Generic configuration model file (II). language. It has a similar syntax to the object oriented languages, but it has a higher level of abstraction and it is suitable for the hydrological domain. Figure 2 shows the syntax used to define a cognitive unit in COVALTO. Figure 3 shows an example of a fragment of a generic configuration file for the basin of the Serpis river 4 DOMAIN REPRESENTATION MODEL Representations of a particular basin can be done using instances of the units, that have been declared in the generic configuration model. This collection of instances is called domain representation model. Domain representation model and generic configuration model will be simulated with some data collection files, which have been obtained from SAIH (Hydrological Information Automatic Systems). Figure 5 shows the syntax of an instance (object) in COVALTO. This syntax is similar to the syntax of a cognitive unit in the generic configuration model. Figure 6 shows the representation of Encarroz basin, placed in the basin of Serpis river. This object is an instance of the basin cognitive unit, that has been defined in the generic configuration file. The value that has been assigned to the pluviometros attribute, comes from the medidas attribute, which is a time series, of two instances of the pluviometer cognitive unit. Models parameters can be constant values, attributes from the object or attributes from other objects.
5 Figura 5: Syntax of an object in COVALTO. Figura 6: Domain representation model file. 5 HYDROLOGICAL MODELS CONSTRUCTION AND OPERATION INTERFACES It has been designed a visual programmation environment in order to offer a computational support for the purposed architecture. This tool can be used to build, calibrate and execute models. We pretend to help users to build a domain configuration model, so a basin can be easily designed and modified by users without programming knowledges. This environment will be useful to simulate and visualize the results in an orderly way. This tool helps us to build graphically the domain representation model. This will be traslated automatically into a text file written in COVALTO language. The entrance of this environment is the file of the generic configuration model. This file contains the cognitive units with their suitable collection of attributes and hydrological models. By this mechanism we have available a dynamic programming environment, which is configured by the generic model file. The number of attributes and models is not implemented in a static way. It is read from the generic configuration model, so we can include new external or internal models. Using the definitions in the generic model, we can define objects and assign values to their attributes. This assignment is done in three ways: by an interface based in interactive dialogs if the datas are constant; by reading values in episode and basin files, if the datas are series, coordinates and tables; or by the construction of a graph of relations among objects, if they are models. This graph is a visual representation of the domain, where the nodes represent domain object and the archs represent the relations among objects. The graph construction is the main axis of this tool, because of this is the support of other operations, and using it, the domain representation model file is generated. The steps to build this graph are the following: (1) Objects creation. By selecting the appropiate icon and putting it on the scheme, the cognitive unit will be selected. (2) Definition of the entrance and exit relations. By selecting the appropiate icons the archs are drawn.these archs represent a conection between two attributes of two objects. Generally, these attributes are time series of rain intensity, river flow, etc. The selection of entrance and exit attibutes is done in a intelligent way, using the information of the generic configuration model.
6 Figura 7: Application example for the basin of Serpis river. (3) Attributes values assigment. The assignment of values is done by interactive dialogs and by data files. The values of the exit attributes, which must be calculated using an hydrological model, are assigned by the selection of an available cognitive unit node. Also, it is possible to define specific models for each object, by COVALTO language. The previous operations must not be always done in the same order. It is possible to create and modify the graph in any way. The environment will make sure the internal consistency of the resultant configuration. Once the domain configuration has been defined by the graph, the constant values have been assigned to the attributes and the episode files and files which contain the coordinates of basins, river flows, etc., gaugings and dams tables, have been loaded; the following step is the simulation of the graph. This will be done by the orderly execution of the models of each object. The execution order is conditioned by the graph. The environment is able to do it automatically. Finally, once the simulation has been done, the results will be shown to the users. The interface will help to watch the attribute values of each object in a different window, or put them together in the same representation window. Also, it is possible to build schematic representations of the obtained information on the same graph or by specific sketchs. The time series values can be graphically represented in order to be analyzed later. 6 CONCLUSIONS In this work, it has been shown a visual tool, MOREA, which allows the construction of a representation of hydrological basins in a simple and intuitive way. Also, it lets make an exhaustive obtained data analysis of the obtained classes. This analysis was made by hand. The structure of the knowledge in two levels: a higher abstraction level, generic configuration model, and other with a less degree of abstraction, domain representation level, makes possible to build any kind of hydrological basin, and add any behavioral models for the cognitive units. Using this enviroment we obtain a tool which helps to
7 non-programmers to programme with a specific developed language. Users, by a graphical interface, are able to build in a transparent way, a domain representation model in COVALTO. So, the knowlegde acquisition and debugging is easier. Actually, we are working on the construction of a suitable support for data validation and diagnostic. It is based in the comparison of the observations in the real world with the results of the enviroment, which have been obtained in a previous simulation. The required validation knowledge is expressed by adding some coherence rules. These coherence rules are defined in COVALTO language, inside the generic configuration model file, and they impose some restrictions over the information of the objects. Also, these coherence rules let work simultaneously with a collection of suppositions about the behavior of the elements of a hydrological basin. Referencias [Alonso, 93] Alonso, M. Una contribución a la programación cognitiva: Arquitecturas de segunda generación para representación del conocimiento. Tesis Doctoral. Facultad de Informática. Universidad Politécnica de Madrid. Madrid. (1993). [Conejo, 95] Conejo, R. Sistemas basados en el conocimiento aplicados a la validación de información hidrológica en tiempo real. Tesis Doctoral. E.T.S.I. Caminos, Canales y Puertos. Universidad Politécnica de Madrid. Madrid. (1995). [Cuena, 94] Cuena, J. KSM: An Environment for Knowledge Oriented Design of Application Using Structured Knowledge Architectures en Applications and Impacts. IFIP 94. vol.2. Brunstein K. y Raubolds E. (eds). Elsevier Science B.V. Noth-Holand. (1994). [Garrote, 90] Garrote, L. Modelos hidrológicos de ayuda a la decisión en tiempo real basados en técnicas de inteligencia artificial. Tesis Doctoral. E.T.S.I. Caminos, Canales y Puertos. Universidad Politécnica de Madrid.Madrid. (1990). [Newell82] Newell, A. The Knowledge Level. Artificial Inteligence 18, (1982).
Building Knowledge Models Using KSM
Building Knowledge Models Using KSM Jose Cuena, Martin Molina Department of Artificial Intelligence, Technical University of Madrid, Campus de Montegancedo S/N, Boadilla del Monte 28660, Madrid, SPAIN
More informationHuman-Readable and Machine-Readable Knowledge Bases Using Specialized Word Processors
Human-Readable and Machine-Readable Knowledge Bases Using Specialized Word Processors Martin Molina Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid, Spain
More informationNeOn Methodology for Building Ontology Networks: a Scenario-based Methodology
NeOn Methodology for Building Ontology Networks: a Scenario-based Methodology Asunción Gómez-Pérez and Mari Carmen Suárez-Figueroa Ontology Engineering Group. Departamento de Inteligencia Artificial. Facultad
More informationVRML as a tool for the visualisation of numerical results obtained in the analysis of historical structures
Historical Constructions, P.B. Lourenço, P. Roca (Eds.), Guimarães, 2001 577 VRML as a tool for the visualisation of numerical results obtained in the analysis of historical structures Francisco S. Muñoz
More informationSupporting i*-based Context Models Construction through the DHARMA Ontology
Supporting i*-based Context Models Construction through the DHARMA Ontology Wilson Pérez 1, Karina Abad 1, Juan Pablo Carvallo 2, Xavier Franch 3 1 Universidad de Cuenca (UC), Cuenca, Ecuador 2 Universidad
More informationBlázquez M, Fernández M, García-Pinar JM, Gómez-Pérez A Building Ontologies at the Knowledge Level using the Ontology Design Environment
Ontology Engineering Group Laboratorio de Inteligencia Artificial Dept. Inteligencia Artificial, Facultad de Informática UPM OEG Publication Blázquez M, Fernández M, García-Pinar JM, Gómez-Pérez A Building
More informationManaging i*-based Reusable Context Models Elements through a Semantic Repository
Managing i*-based Reusable Context Models Elements through a Semantic Repository Karina Abad, Wilson Pérez, Juan Pablo Carvallo Computer Science Department, Universidad de Cuenca, Ecuador {karina.abadr,
More informationUNIVERSIDAD TÉCNICA DEL NORTE
UNIVERSIDAD TÉCNICA DEL NORTE FACULTAD DE INGENIERÍA EN CIENCIAS APLICADAS CARRERA DE INGENIERÍA EN SISTEMAS COMPUTACIONALES TRABAJO DE GRADO PREVIO A LA OBTENCIÓN DEL TÍTULO DE INGENIERO EN SISTEMAS COMPUTACIONALES
More informationDiseño de un Datamart orientado al proceso de ventas usando la herramienta de Inteligencia de Negocios SQL Server 2014
FICA, VOL. 1, NO. 1, FEBRERO 2016 1 Diseño de un Datamart orientado al proceso de ventas usando la herramienta de Inteligencia de Negocios SQL Server 2014 Autor-Ana Mercedes MONTENEGRO RIVERA Universidad
More informationExperimental Study for Detection of Leaks in. Horizontal Pipelines
Contemporary Engineering Sciences, Vol. 11, 2018, no. 101, 5017-5025 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ces.2018.810551 Experimental Study for Detection of Leaks in Horizontal Pipelines
More informationKnowledge Sharing and Reuse: Ontologies and Applications
Knowledge Sharing and Reuse: Ontologies and Applications Asunción Gómez-Pérez asun@fi.upm.es Laboratorio de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Campus de Montegancedo
More informationDESIGN AND IMPLEMENTATION OF A PROTOTYPE TO TRACK THE BUS ROUTE OF THE ANTONIO NARIÑO UNIVERSITY- CAMPUS VILLAVICENCIO
DESIGN AND IMPLEMENTATION OF A PROTOTYPE TO TRACK THE BUS ROUTE OF THE ANTONIO NARIÑO UNIVERSITY- CAMPUS VILLAVICENCIO Diego F. Sendoya-Losada and Eddyer Samir Triana Department of Electronic Engineering,
More informationEdROOM. Automatic C++ Code Generator for Real Time Systems Modelled with ROOM.
EdROOM. Automatic C++ Code Generator for Real Time Systems Modelled with ROOM. Polo (1), O. R., De la Cruz (2), J.M., Giron-Sierra (2), J.M., Esteban (2), S. (1) Dept Arquitectura de Computadores y Automatica.
More informationCharacterization of single-agent search algorithms with generalized start and goal nodes
Characterization of single-agent search algorithms with generalized start and goal nodes Carlos Linares López Asunción Gómez-Pérez Laboratorio de Inteligencia Artificial Departamento de Inteligencia Artificial
More informationANX-PR/CL/ LEARNING GUIDE
PR/CL/001 SUBJECT 103000693 - DEGREE PROGRAMME 10AQ - ACADEMIC YEAR & SEMESTER 2018/19 - Semester 1 Index Learning guide 1. Description...1 2. Faculty...1 3. Prior knowledge recommended to take the subject...2
More informationPROTOCOL CONVERSION FOR INTERCONNECTING ENERGY MANAGEMENT SYSTEMS. J. Luque, F. Gonzalo, F. Pérez, M. Mejías.
PROTOCOL CONVERSION FOR INTERCONNECTING ENERGY MANAGEMENT SYSTEMS. J. Luque, F. Gonzalo, F. Pérez, M. Mejías. Facultad de Informática. Universidad de Sevilla. Avda. Reina Mercedes s/n. 41012-SEVILLA. SPAIN.
More informationNeurally Inspired Mechanisms for the Dynamic Visual Attention Map Generation Task
Neurally Inspired Mechanisms for the Dynamic Visual Attention Map Generation Task Maria T. López 1, Miguel A. Fernández 1, Antonio Fernández-Caballero 1, and Ana E. Delgado 2 1 Departamento de Informática
More informationA Formalization of Transition P Systems
Fundamenta Informaticae 49 (2002) 261 272 261 IOS Press A Formalization of Transition P Systems Mario J. Pérez-Jiménez and Fernando Sancho-Caparrini Dpto. Ciencias de la Computación e Inteligencia Artificial
More informationAnalysis of the image quality transmitted by an IPTV system
Analysis of the image quality transmitted by an IPTV system Danilo A. López S #1, Jaime V. Avellaneda #2, Jordi R. Rodríguez #3 # 1 FullTime Professor at Universidad Distrital Francisco José de Caldas,
More informationTUTORIAL SESSION 1 IMPLEMENTATION OF THE VRP PROBLEM (VEHICLE ROUTING PROBLEM) SESSION 1: INTRODUCTION
TUTORIAL SESSION 1 IMPLEMENTATION OF THE VRP PROBLEM (VEHICLE ROUTING PROBLEM) SESSION 1: INTRODUCTION PROMOTORS: SEMINAR: TÉCNICAS AVANZADAS DE OPTIMIZACIÓN PARA EL SECTOR PETROLERO PARTICIPANTS: http://lachispa.mx/
More informationExecuting Evaluations over Semantic Technologies using the SEALS Platform
Executing Evaluations over Semantic Technologies using the SEALS Platform Miguel Esteban-Gutiérrez, Raúl García-Castro, Asunción Gómez-Pérez Ontology Engineering Group, Departamento de Inteligencia Artificial.
More informationDepartamento de Informática Universidad de Valladolid Campus de Segovia TOPIC 7: SOFTWARE TESTING
Departamento de Informática Universidad de Valladolid Campus de Segovia TOPIC 7: SOFTWARE TESTING SOFTWARE TESTING Introduction Psycological aspects of software testing Information flow of software testing
More informationReal-Time Programming and Database Systems
Coordinating unit: Teaching unit: Academic year: Degree: ECTS credits: 2017 205 - ESEIAAT - Terrassa School of Industrial, Aerospace and Audiovisual Engineering 723 - CS - Department of Computer Science
More informationThe Use of Inverted Index to Information Retrieval: ADD Intelligent in Aviation Case Study
The Use of Inverted Index to Information Retrieval: ADD Intelligent in Aviation Case Study Sodel Vázquez-Reyes, María de León-Sigg, Perla Velasco-Elizondo, Juan Villa- Cisneros, Sandra Briceño-Muro, Autonomous
More informationThis document presents the basics of OPNET Modeler. The content of this document is mainly transcript from the OPNET documentation [www.opnet.com].
Instituto Superior de Engenharia do Porto (ISEP) Departamento de Engenharia Informática (DEI) Mestrado em Engenharia Informática (MEI) Área: Arquitectura, Sistemas e Redes Sistemas Móveis (SIMOV) Paulo
More informationCreaDO A Methodology to Create Domain Ontologies using Parameter-based Ontology Merging Techniques
2011 10th Mexican International Conference on Artificial Intelligence CreaDO A Methodology to Create Domain Ontologies using Parameter-based Ontology Merging Techniques Sabino Pariente Juárez, Hugo Estrada
More informationRESPONSIBILITIES IN THE USABILITY REQUIREMENTS ELICITATION PROCESS
RESPONSIBILITIES IN THE USABILITY REQUIREMENTS ELICITATION PROCESS Marianella Aveledo Ana M. Moreno Facultad de Informática Universidad Politécnica de Madrid Madrid, Spain ABSTRACT Like any other software
More informationeturboware 4.x For Windows 2000/XP User s Guide Part No: M , Ver:1.0
eturboware 4.x For Windows 2000/XP User s Guide Part No: M3-000016, Ver:1.0 The information in this document is subject to change without notice. No part of this document may be reproduced or transmitted
More informationApplying Interaction Patterns: Towards a Model-Driven Approach for Rich Internet Applications Development
Applying Interaction Patterns: Towards a Model-Driven Approach for Rich Internet Applications Development Francisco Valverde, Oscar Pastor Department of Information Systems and Computation Universidad
More informationTowards a benchmark of the ODE API methods for accessing ontologies In the WebODE platform
Towards a benchmark of the ODE API methods for accessing ontologies In the WebODE platform Oscar Corcho, Raúl García-Castro, Asunción Gómez-Pérez (Ontology Group, Departamento de Inteligencia Artificial,
More informationInternet Client Graphics Generation Using XML Formats
Internet Client Graphics Generation Using XML Formats Javier Rodeiro and Gabriel Pkrez Depto. InformAtica, Escuela Superior Ingenieria InformAtica, Edificio Politknico, Campus As Lagoas s/n Universidad
More informationImproving a Satellite Mission System by means of a Semantic Grid Architecture
Improving a Satellite Mission System by means of a Semantic Grid Architecture Manuel Sánchez-Gestido 1, María S. Pérez-Hernández 2, Rafael González-Cabero 3, Asunción Gómez-Pérez 3 1 Deimos Space S.L.,
More informationDecision. Intelligent. Assistant: Research and Technical Background. Emergency. ENEA, July by C.Balducelli S.Bologna and A.M.
EIDA Project ( Proposal ) Emergency Intelligent Decision Assistant: Toolkit for Coordinated Emergency Management Research and Technical Background by C.Balducelli S.Bologna and A.M.Gadomski ENEA, July
More information1. CAD systems. 1.CAD systems 1
1.CAD systems 1 1. CAD systems A Computer Aided Design (CAD) system integrates a machine or computer and an application program system. The main characteristic of a CAD system is that it enables an interactive
More informationKX-TG5566 KX-TG5576 KX-TGA552
TG5566_5576_TGA552_PQQX14553YA.PDF Page 1 Thursday, March 24, Installation Guide for GIGARANGE USB Utility Model No. KX-TG5566 KX-TG5576 KX-TGA552 Your cordless handset is compatible with the GIGARANGE
More informationGenetic Algorithms Applied to Inconsistent Matrices Correction in the Analytic Hierarchy Process (AHP)
Genetic Algorithms Applied to Inconsistent Matrices Correction in the Analytic Hierarchy Process (AHP) Leonardo S. Wanderer 1, Marcelo Karanik 1, Diana M. Carpintero 1 1 Artificial Intelligence Research
More informationContemporary Design. Traditional Hardware Design. Traditional Hardware Design. HDL Based Hardware Design User Inputs. Requirements.
Contemporary Design We have been talking about design process Let s now take next steps into examining in some detail Increasing complexities of contemporary systems Demand the use of increasingly powerful
More informationAn Ontology-Based Intelligent Information System for Urbanism and Civil Engineering Data
Ontologies for urban development: conceptual models for practitioners An Ontology-Based Intelligent Information System for Urbanism and Civil Engineering Data Stefan Trausan-Matu 1,2 and Anca Neacsu 1
More informationFLOW CHART AND PSEUDO CODE
FLOW CHART AND PSEUDO CODE Flowchart A Flowchart is a pictorial representation of an algorithm. The First flowchart is made by John Von Newman in 1945. It is a symbolic diagram of operation sequence, dataflow,
More informationMonte Carlo method to machine tool uncertainty evaluation
Available online at www.sciencedirect.com ScienceDirect Procedia Manufacturing 13 (2017) 585 592 www.elsevier.com/locate/procedia Manufacturing Engineering Society International Conference 2017, MESIC
More informationProduct Engineering Optimizer
CATIA V5 Training Foils Product Engineering Optimizer Version 5 Release 19 January 2009 EDU_CAT_EN_PEO_FI_V5R19 1 About this course Objectives of the course Upon completion of this course, you will learn
More informationA Design Model Applied to Development of AmI Systems
A Design Model Applied to Development of AmI Systems R.F. Arroyo 1, J.L. Garrido 1, M. Gea 1, and P.A. Haya 2 1 Universidad de Granada {robfram,mgea,jgarrido}@ugr.es 2 Universidad Autónoma de Madrid Pablo.Haya@uam.es
More informationChapter 2 Overview of the Design Methodology
Chapter 2 Overview of the Design Methodology This chapter presents an overview of the design methodology which is developed in this thesis, by identifying global abstraction levels at which a distributed
More informationModel for semantic processing in information retrieval systems
Model for semantic processing in information retrieval systems Ph.D Roberto Passailaigue Baquerizo 1, MSc. Hubert Viltres Sala 2, Ing. Paúl Rodríguez Leyva 3, Ph.D Vivian Estrada Sentí 4 1 Canciller Universidad
More informationResults of the Technical Validation of an Accessible Contact Manager for Mobile Devices
Results of the Technical Validation of an Accessible Contact Manager for Mobile Devices Jon Azpiroz 1, Juan Bautista Montalvá Colomer 2, María Fernanda Cabrera-Umpiérrez 2, María Teresa Arredondo 2, and
More informationSIZE OPTIMIZATION OF AIRCRAFT STRUCTURES
26 TH INTERNATIONAL CONGRESS OF THE AERONAUTICAL SCIENCES SIZE OPTIMIZATION OF AIRCRAFT STRUCTURES S. Hernandez, A. Baldomir and J. Mendez Structural Engineering Department, University of Coruna Campus
More informationTutorial 1 Answers. Question 1
Tutorial 1 Answers Question 1 Complexity Software in it what is has to do, is often essentially complex. We can think of software which is accidentally complex such as a large scale e-commerce system (simple
More informationProcesamiento Analítico con Minería de Datos
Procesamiento Analítico con Minería de Datos Analytical Processing with Data Mining Angelino Feliciano Morales Universidad Autónoma de Guerrero, México afmorales@uagro.mx René Edmundo Cuevas Valencia Universidad
More informationWeb Ontology Language (OWL)
(OWL) Athens 2012 Mikel Egaña Aranguren 3205 Facultad de Informática Universidad Politécnica de Madrid (UPM) Campus de Montegancedo 28660 Boadilla del Monte Spain http://www.oeg-upm.net megana@fi.upm.es
More informationGENERATION TOOL FOR DBMS FOCUSED APPLICATIONS
GENERATION TOOL FOR DBMS FOCUSED APPLICATIONS Carlos del Cuvillo Universidad Politecnica de Madrid Ctra. de Valencia km. 7 E28031 Madrid Hector Garcia Universidad Politecnica de Madrid Ctra. de Valencia
More informationActa Universitaria ISSN: Universidad de Guanajuato México
Acta Universitaria ISSN: 0188-6266 actauniversitaria@ugto.mx Universidad de Guanajuato México Cruz-Álvarez, Víctor Ricardo; Hidalgo-Peña, Enrique; Acosta-Mesa, Hector-Gabriel A line follower robot implementation
More informationPractical Approaches to Formal Verification. Mike Bartley, TVS
Practical Approaches to Formal Verification Mike Bartley, TVS 1 Acknowledgements This paper is based on work performed by TVS with ARM Specific thanks should go to Laurent Arditi Bryan Dickman Daryl Stuart
More informationTransactions on Information and Communications Technologies vol 15, 1997 WIT Press, ISSN
Balanced workload distribution on a multi-processor cluster J.L. Bosque*, B. Moreno*", L. Pastor*" *Depatamento de Automdtica, Escuela Universitaria Politecnica de la Universidad de Alcald, Alcald de Henares,
More informationStrain Analysis for Different Shape Factors in Indentation Processes
Strain Analysis for Different Shape Factors in Indentation Processes Marta María MARÍN, Beatriz DE AGUSTINA, Ana María CAMACHO, Miguel Ángel SEBASTIÁN Department of Manufacturing Engineering, National
More informationTomo Tool v.2.0 USER MANUAL. Developed by
Via G. Puccini, 12/A - 80026 - Casoria (NA) tel. 0817583566 - fax 0817587857 Via Rho, 56-20020 - Lainate (MI) tel. 0293799240 - fax 0293301029 e-mail: info@boviar.com web-site: www.boviar.com Tomo Tool
More informationTechniques for the unambiguous specification of software
Formal Techniques for the unambiguous of software Objectives To explain why formal techniques help discover problems in system requirements To describe the use of algebraic techniques for interface To
More informationARCHITECTURE AND IMPLEMENTATION OF A NEW USER INTERFACE FOR INTERNET SEARCH ENGINES
ARCHITECTURE AND IMPLEMENTATION OF A NEW USER INTERFACE FOR INTERNET SEARCH ENGINES Fidel Cacheda, Alberto Pan, Lucía Ardao, Angel Viña Department of Tecnoloxías da Información e as Comunicacións, Facultad
More informationARTIFICIAL NEURAL NETWORKS FOR THE COMPUTATION OF TRAFFIC QUEUES
ARTIFICIAL NEURAL NETWORKS FOR THE COMPUTATION OF TRAFFIC QUEUES Pedro Hernández-Arauzo, Secundino López-García, Antonio Bahamonde Centro de Inteligencia Artificial. Universidad de Oviedo at Gijón Campus
More informationTowards an organic mobile terminal by utilising agent-based monitoring in a reconfigurable protocol stack
Towards an organic mobile terminal by utilising agent-based monitoring in a reconfigurable protocol stack Thorsten Schöler, Moez Mnif, Vladimir Kossovoi, Christian Müller-Schloer Institute of Systems Engineering,
More informationJournal of Applied Research and Technology ISSN: Centro de Ciencias Aplicadas y Desarrollo Tecnológico.
Journal of Applied Research and Technology ISSN: 1665-6423 jart@aleph.cinstrum.unam.mx Centro de Ciencias Aplicadas y Desarrollo Tecnológico México Sossa-Azuela, J. H.; Cuevas-Jiménez, E. B.; Zaldivar-Navarro,
More informationGenerating Plots for a Given Query Using a Case-Base of Narrative Schemas
103 Generating Plots for a Given Query Using a Case-Base of Narrative Schemas Pablo Gervás 1, Raquel Hervás 2, and Carlos León 2 1 Instituto de Tecnología del Conocimiento, Universidad Complutense de Madrid
More informationDéjà Vu: A Hierarchical Case-Based Reasoning System for Software Design
Déjà Vu: A Hierarchical Case-Based Reasoning System for Software Design Barry Smyth Hitachi Dublin Laboratory Trinity College Dublin 2 Ireland. Tel. 01-6798911 Fax. 01-6798926 E-mail: bsmyth@vax1.tcd.ie
More informationTowards an Environment under which Executing LAPs
Towards an Environment under which Executing s J.B. Mocholí, D. Domínguez. C. Fernández Tecnologías para la Salud y el Bienestar (TSB), Instituto ITACA, Universidad Politécnica de Valencia (UPV) {juamocag,
More informationExtending Prolog with Incomplete Fuzzy Information
Extending Prolog with Incomplete Fuzzy Information Susana Muñoz-Hernández Claudio Vaucheret Facultad de Informática Universidad Politécnica de Madrid 28660 Madrid, Spain susana@fi.upm.es vaucheret@ibap.com.ar
More informationA PROPOSAL FOR MODELING THE CONTROL SYSTEM FOR THE SPANISH LIGHT SOURCE IN UML
A PROPOSAL FOR MODELING THE CONTROL SYSTEM FOR THE SPANISH LIGHT SOURCE IN UML D. Beltran*, LLS, Barcelona, Spain M. Gonzalez, CERN, Geneva, Switzerlan Abstract CELLS (Consorcio para la construcción, equipamiento
More informationREAL-TIME OBJECT-ORIENTED DESIGN AND FORMAL METHODS
REAL-TIME OBJECT-ORIENTED DESIGN AND FORMAL METHODS Juan Antonio de la Puente Dept. of Telematics Engineering School of Telecommunication, Technical University of Madrid E-mail: jpuente@dit.upm.es 1. Introduction
More informationOpen PROMOL: An Experimental Language for Target Program Modification
Open PROMOL: An Experimental Language for Target Program Modification Vytautas Štuikys, Robertas Damaševičius, Giedrius Ziberkas Software Engineering Department, Kaunas University of Technology Studentų
More informationTHE DYNAMIC MODEL OF A FOUR CONTROL MOMENT GYROSCOPE SYSTEM MODELO DINÁMICO DE UN SISTEMA DE CONTROL DE PAR POR CUATRO GIRÓSCOPOS
THE DYNAMIC MODEL OF A FOUR CONTROL MOMENT GYROSCOPE SYSTEM MODELO DINÁMICO DE UN SISTEMA DE CONTROL DE PAR POR CUATRO GIRÓSCOPOS EUGENIO YIME Doctor en Automática y Robótica, Universidad Tecnológica de
More informationSystemC Modelling of the Embedded Networks
Saint Petersburg State University of Aerospace Instrumentation, Russia; Nokia Research Center and Nokia Devices, Finland. SystemC Modelling of the Embedded Networks Valentin Olenev, Yuriy Sheynin, Elena
More informationTrue Natural Language Understanding: How Does Kyndi Numeric Mapping Work?
True Natural Language Understanding: How Does Kyndi Numeric Mapping Work? Kyndi is pioneering methods that bring natural language understanding to the enterprise toolkit. Kyndi converts text resources
More informationIntegration of CIF with ATM
Integration of CIF with D. Meziat, A. García, G. López Departamento de Automática Universidad of Alcalá Escuela Politécnica 28871 Alcalá de Henares, Spain Phone: +34 91 8856627 Fax: +34 91 8856641 {jmarco,
More information1. Introduction. 2. Program structure. HYDROGNOMON components. Storage and data acquisition. Instruments and PYTHIA. Statistical
HYDROGNOMON: A HYDROLOGICAL DATA MANAGEMENT AND PROCESSING SOFTWARE TOOL European Geosciences Union (EGU) General Assembly, Vienna, Austria, 25-29 April 2005 Session HS29: Hydrological modelling software
More informationstructure syntax different levels of abstraction
This and the next lectures are about Verilog HDL, which, together with another language VHDL, are the most popular hardware languages used in industry. Verilog is only a tool; this course is about digital
More informationHere is a list of lecture objectives. They are provided for you to reflect on what you are supposed to learn, rather than an introduction to this
This and the next lectures are about Verilog HDL, which, together with another language VHDL, are the most popular hardware languages used in industry. Verilog is only a tool; this course is about digital
More informationComparing dam movements obtained with Terrestrial Laser Scanner (TLS) data against direct pendulums records
Revista Facultad de Ingeniería, Universidad de Antioquia, No. 76, pp. 99-106, 2015 Comparing dam movements obtained with Terrestrial Laser Scanner (TLS) data against direct pendulums records Comparación
More informationUML 2.0 UML 2.0. Scott Uk-Jin Lee. Division of Computer Science, College of Computing Hanyang University ERICA Campus
UML 2.0 Division of Computer Science, College of Computing Hanyang University ERICA Campus Introduction to UML 2.0 UML Unified Modeling Language Visual language for specifying, constructing and documenting
More information3DSomaMS User s Guide
3DSomaMS User s Guide Sergio Luengo-Sanchez 1, Concha Bielza 1, Ruth Benavides-Piccione 2,3, Isabel Fernaud-Espinosa 2, Javier DeFelipe 2,3,4 and Pedro Larrañaga 1 1 Computational Intelligence Group, Escuela
More informationDEFINITION OF OBJECTS AND EXPERT SYSTEM RULES IN TELECOMMUNICATIONS NETWORK MANAGEMENT SYSTEM FOR POWER UTILITIES
DEFINITION OF OBJECTS AND EXPERT SYSTEM RULES IN TELECOMMUNICATIONS NETWORK MANAGEMENT SYSTEM FOR POWER UTILITIES C. LEÓN, A. V. MEDINA, M. MEJÍAS, S. MARTÍN, A. MOLINA, J. LUQUE Facultad de Informática
More informationSesión 2: PL 1b: Gestión de sistemas en tiempo real para prototipado rápido de controladores (MathWorks).
Sesión 2: PL 1b: Gestión de sistemas en tiempo real para prototipado rápido de controladores (MathWorks). 1 Objetivo... 3 Hardware description... 3 Software Setup... 3 Setting an Initial Working Folder...
More informationSTRAST. UPMSat-2 On-board computers. Grupo de Sistemas de Tiempo Real y Arquitectura de Servicios Telemáticos Universidad Politécnica de Madrid.
On-board computers Grupo de Sistemas de Tiempo Real y Arquitectura de Servicios Telemáticos Universidad Politécnica de Madrid dit UPM Computers in spacecraft Computers are used on board of spacecraft for
More informationJournal of Applied Research and Technology ISSN: Centro de Ciencias Aplicadas y Desarrollo Tecnológico.
Journal of Applied Research and Technology ISSN: 1665-6423 jart@aleph.cinstrum.unam.mx Centro de Ciencias Aplicadas y Desarrollo Tecnológico México Tello-Leal, E.; Chiotti, O.; Villarreal, P.D. Software
More informationStudy About the Relationship Between the Model-View-Controller Pattern and Usability
Study About the Relationship Between the Model-View-Controller Pattern and Usability Author: Diogo Satoru Aihara Advisors: Xavier Ferré Grau Richard Torkar European Master on Software Engineering This
More informationUniversidad Nacional Autónoma de México. Facultad de Ingeniería. División de Ingeniería Eléctrica
1 Universidad Nacional Autónoma de México Facultad de Ingeniería División de Ingeniería Eléctrica Laboratorio de Sistemas de Procesamiento y Transmisión de la Información PISMA: COMPUTATIONAL TOOL FOR
More informationTailoring Dynamic Ontology-Driven Web Documents by Demonstration
Tailoring Dynamic Ontology-Driven Web Documents by Demonstration José A. Macías and Pablo Castells Universidad Autónoma de Madrid (Spain) {j.macias, pablo.castells}@uam.es Abstract In this paper we present
More informationPieNum Language Reference Manual
PieNum Language Reference Manual October 2017 Hadiah Venner (hkv2001) Hana Fusman (hbf2113) Ogochukwu Nwodoh( ocn2000) Index Introduction 1. Lexical Convention 1.1. Comments 1.2. Identifiers 1.3. Keywords
More informationProcessing Interaction Protocols in Parallel: a Logic Programming implementation for Robotic Soccer
Processing Interaction Protocols in Parallel: a Logic Programming implementation for Robotic Soccer Mariano Tucat Alejandro J. García mt@cs.uns.edu.ar ajg@cs.uns.edu.ar Consejo Nacional de Investigaciones
More informationRetrieval and Clustering of Web Resources Based on Pedagogical Objectives
Retrieval and Clustering of Web Resources Based on Pedagogical Objectives José I. Mayorga, Juan Cigarrán, Miguel Rodríguez-Artacho UNED University, Madrid, Spain {nmayorga, juanci, martacho}@lsi.uned.es
More informationAvailable online at ScienceDirect. Procedia Engineering 132 (2015 )
Available online at www.sciencedirect.com ScienceDirect Procedia Engineering (5 ) 7 8 The Manufacturing Engineering Society International Conference, MESIC 5 Application of the Upper Bound Theorem to indentation
More informationTopological Modeling with Fuzzy Petri Nets for Autonomous Mobile Robots
Topological Modeling with Fuzzy Petri Nets for Autonomous Mobile Robots Javier de Lope 1, Darío Maravall 2, and José G. Zato 1 1 Dept. Applied Intelligent Systems, Technical University of Madrid, Spain
More informationAdvances in Databases and Information Systems 1997
ELECTRONIC WORKSHOPS IN COMPUTING Series edited by Professor C.J. van Rijsbergen Rainer Manthey and Viacheslav Wolfengagen (Eds) Advances in Databases and Information Systems 1997 Proceedings of the First
More informationDesign Patterns. Architectural Patterns. Contents of a Design Pattern. Dr. James A. Bednar. Dr. David Robertson
Design Patterns Architectural Patterns Dr. James A. Bednar jbednar@inf.ed.ac.uk http://homepages.inf.ed.ac.uk/jbednar Dr. David Robertson dr@inf.ed.ac.uk http://www.inf.ed.ac.uk/ssp/members/dave.htm A
More informationThe Usability and Accessibility as Quality Factors of a Secure Web Product
The Usability and Accessibility as Quality Factors of a Secure Web Product Luis Baquero 1 Celio Gil 1 and Miguel Hernández 1 1 Fundación Universitaria Los Libertadores, Bogotá D.C., Colombia. Abstract
More informationDesign and naval engineering. Techno-economic project optimization
AMME 2003 12th Design and naval engineering. Techno-economic project optimization X. Leiceaga a, J. Prieto b, M. Rodríguez b, F.G. Zapatero c, E. Soto c, M. Teijeiro d, J. Diaz e Departamento de Deseño
More informationComponents Based Design and Development. Unit 3: Software Design Quick Overview
Components Based Design and Development Computer Engineering Studies Universidad Carlos III de Madrid Unit 3: Software Design Quick Overview Juan Llorens Högskolan på Åland Finland / Universidad Carlos
More informationARM-ETM Programming Dialog
ARM-ETM Programming Dialog TRACE32 Online Help TRACE32 Directory TRACE32 Index TRACE32 Documents... ICD In-Circuit Debugger... Processor Architecture Manuals... ARM/CORTEX/XSCALE... ARM-ETM Programming
More informationToolset for Mixed-Criticality Partitioned Systems: Partitioning Algorithm and Extensibility Support
1 Toolset for Mixed-Criticality Partitioned Systems: Partitioning Algorithm and Extensibility Support Alejandro Alonso, Emilio Salazar Dept. de Ingenería de Sistemas Telemáticos, Universidad Politécnica
More informationCOMP219: Artificial Intelligence. Lecture 14: Knowledge Representation
COMP219: Artificial Intelligence Lecture 14: Knowledge Representation 1 Overview Last time Game playing Minimax decisions Alpha-beta pruning Today Introduce the need for explicit knowledge representation
More information28th Seismic Research Review: Ground-Based Nuclear Explosion Monitoring Technologies
APPLICATION OF ARTIFICIAL NEURAL NETWORK MODELING TO THE ANALYSIS OF THE AUTOMATED RADIOXENON SAMPLER-ANALYZER STATE OF HEALTH SENSORS James C. Hayes, Pamela G. Doctor, Tom R. Heimbigner, Charles W. Hubbard,
More informationVirtual Plant for Control Program Verification
2011 International Conference on Circuits, System and Simulation IPCSIT vol.7 (2011) (2011) IACSIT Press, Singapore Virtual Plant for Control Program Verification Sangchul Park 1 + and June S. Jang 2 1
More informationSME / Association / Researcher Profile Form FP7 Programme SECURITY Theme
Date (dd/mm/yyyy): 10/09/2009 Profile valid until (dd/mm/yyyy): 31/12/2009 Section 1 - Contact details Name (full name) acronym EUROPEAN VIRTUAL ENGINEERING EUVE Title Dr. Contact person: (Abbreviation)
More information