In this paper, we seek to design, develop, and explore a typical geo-database for hydrographic purposes through the aid of some Open-Source Geographical Information System (GIS) and relational database packages that had been confirmed and certified to be adequate for various GIS tasks. One of the recent and reliable OpenSource software in GIS analysis is gvSIG. gvSIG is a tool oriented to manag...

In many applications, there is a need to choose mathematical models that depend on non-smooth functions. The task of simulation becomes especially difficult if such functions appear on the right-hand side of an initial value problem. Moreover, solution processes from usual numerics are sensitive to roundoff errors so that verified analysis might be more useful if a guarantee of correctness is r...

ValEncIA-IVP is a verified solver for initial value problems for sets of ordinary differential equations which determines guaranteed enclosures of all reachable states. In this paper, we present its new features which allow for a wider application domain. They also improve the performance of ValEncIA-IVP. Especially for the simulation of asymptotically stable systems, we present a new exponenti...

The theoretical background and the implementation of a new interval arithmetic approach for solving sets of differentialalgebraic equations (DAEs) are presented. The proposed approach computes guaranteed enclosures of all reachable states of dynamical systems described by sets of DAEs with uncertainties in both initial conditions and system parameters. The algorithm is based on VALENCIA-IVP,whi...

Mobile Guiding System for Parks based on highly precision electronic map is of many researchers' concern, but commercial software cannot perform GPS positioning on custom-made maps for parks, and is not accurate enough to satisfy the requirements for drawing high precision electronic maps. This study uses trajectories measured by My Tracks software and a map edited in JOSM software to implement...

Requests for reprints should be addressed to Manuel Perea, Àrea de Metodologia, Facultat de Psicologia, Av. Blasco Ibáñez 21, 46010 València, Spain. E-mail: mperea6uv.es This research was supported by grants PS/94-0193 from the Dirección General de Investigación CientíŽca y Técnica and GV 2427/94 from the Programa de Investigación CientiŽca y Desarrollo “Generalidad Valenciana”. I would like to...