VIPTRAN2 : an improved programming language and its compiler for process control equations /

Mode of access: Internet.

Specifications and test methods for numeric accuracy in programming language standards /

Item 247.

The programming language python in earth system simulations

-scale vary from a planetary scale and million years for convection problems to 100km and 10 years for fault systems simulations. Various techniques are in use to deal with the time dependency (e.g. Crank-Nicholson), with the non-linearity (e.g. Newton-Raphson) and weakly coupled equations (e.g. non-linear Gauss-Seidel). Besides these high-level solution algorithms discretization methods (e.g. finite element method (FEM), boundary element method (BEM)) are used to deal with spatial derivatives. Typically, large-scale, three dimensional meshes are required to resolve geometrical complexity (e.g. in the case of fault systems) or features in the solution (e.g. in mantel convection simulations). The modelling environment escript allows the rapid implementation of new physics as required for the development of simulation codes in earth sciences. Its main object is to provide a programming language, where the user can define new models and rapidly develop high-level solution algorithms. The current implementation is linked with the finite element package finley as a PDE solver. However, the design is open and other discretization technologies such as finite differences and boundary element methods could be included. escript is implemented as an extension of the interactive programming environment python (see www.python.org). Key concepts introduced are Data objects, which are holding values on nodes or elements of the finite element mesh, and linearPDE objects, which are defining linear partial differential equations to be solved by the underlying discretization technology. In this paper we will show the basic concepts of escript and will show how escript is used to implement a simulation code for interacting fault systems. We will show some results of large-scale, parallel simulations on an SGI Altix system. Acknowledgements: Project work is supported by Australian Commonwealth Government through the Australian Computational Earth Systems Simulator Major National Research Facility, Queensland State Government Smart State Research Facility Fund, The University of Queensland and SGI.

The effective use of implicit parallelism through the use of an object-oriented programming language

This thesis explores translating well-written sequential programs in a subset of the Eiffel programming language - without syntactic or semantic extensions - into parallelised programs for execution on a distributed architecture. The main focus is on constructing two object-oriented models: a theoretical self-contained model of concurrency which enables a simplified second model for implementing the compiling process. There is a further presentation of principles that, if followed, maximise the potential levels of parallelism. Model of Concurrency. The concurrency model is designed to be a straightforward target for mapping sequential programs onto, thus making them parallel. It aids the compilation process by providing a high level of abstraction, including a useful model of parallel behaviour which enables easy incorporation of message interchange, locking, and synchronization of objects. Further, the model is sufficient such that a compiler can and has been practically built. Model of Compilation. The compilation-model's structure is based upon an object-oriented view of grammar descriptions and capitalises on both a recursive-descent style of processing and abstract syntax trees to perform the parsing. A composite-object view with an attribute grammar style of processing is used to extract sufficient semantic information for the parallelisation (i.e. code-generation) phase. Programming Principles. The set of principles presented are based upon information hiding, sharing and containment of objects and the dividing up of methods on the basis of a command/query division. When followed, the level of potential parallelism within the presented concurrency model is maximised. Further, these principles naturally arise from good programming practice. Summary. In summary this thesis shows that it is possible to compile well-written programs, written in a subset of Eiffel, into parallel programs without any syntactic additions or semantic alterations to Eiffel: i.e. no parallel primitives are added, and the parallel program is modelled to execute with equivalent semantics to the sequential version. If the programming principles are followed, a parallelised program achieves the maximum level of potential parallelisation within the concurrency model.

Comparació entre els llenguatges XQuery del W3C i X-Query de Tamino

Aquest treball de final de carrera vol fer un estudi comparatiu entre el llenguatge XQuery del W3C i el llenguatge X-Query de Tamino, amb una valoració de les possibilitats que ofereix aquest sistema nadiu en el treball amb XML amb relació al llenguatge de consultes sobre XML definit pel W3C.

RDF i Web Semàntica

En aquest treball s'explica el concepte de Web Semàntica, junt amb la seva estructura i els diferents termes relacionats amb aquesta idea. A més, es fa especial atenció al paper dels sistemes gestors de bases de dades en aquest camp, tenint en compte sobretot el nivell de compatibilitat que ofereixen aquests per a tracta dades en notació RDF, basada en el llenguatge XML.

Gestió del CD de Programari Lliure

La finalitat d'aquest treball és proporcionar al responsable de gestionar el CD de programari lliure que la UOC subministra als seus estudiants, una aplicació que sigui capaç de controlar, administrar i generar l'esmentat CD.

Estudi dels llenguatges de consulta per a documents RDF

Aquest treball aporta una visió general de la Web Semàntica i alhora n'estudia en suficient detall les principals tecnologies relacionades. Com a objectiu final per comprovar de forma pràctica la teoria descrita, l'aplicació web permet consultar bases de dades RDF mitjançant el llenguatge de consulta SPARQL.

Construcció d'una eina pel tractament automatitzat de fitxers OpenOffice

Aquest projecte té per objectiu conèixer i manipular fitxers creats amb el paquet ofimàtic de software lliure OpenOffice. Aquests fitxers es guarden en format anomenat OASIS, format que pren com a base l'estàndard XML i l'adapta a les característiques específiques que s'han dissenyat pels documents OpenOffice.

Sindicació de contingut a la Web : Els formats RSS i Atom

Aquest projecte centre el seu estudi en els llenguatges de sindicació RSS i Atom, les bases de dades XML natives i el llenguatge de consulta XQUERY.

ideaD : aplicació per a l'intercanvi de documents en entorns asíncrons i distribuïts

El projecte ideaD és un entorn per a l'intercanvi de documents i informació en general per a grups de treball asíncrons i distribuïts. Entenem per asíncrons aquells grups els membres dels quals no es troben en un mateix moment del temps i distribuïts com a aquells en què la informació no es troba en un mateix lloc.

Disseny i implementació d'un esquema criptogràfic d'enquesta electrònica remota

Amb aquest projecte es vol proposar un esquema criptogràfic que permeti realitzar una enquesta de forma electrònica. La solució es basa en criptografia de clau pública, que en la actualitat es fa servir de manera habitual tant en el comerç electrònic com en altres aplicacions criptogràfiques.

Sindicació de continguts web

El present treball final de carrera (TFC) es basa en la presentació del concepte de sindicació de continguts a la Web i els mecanismes i tecnologia que actualment s'està utilitzant per aconseguir-ho.