Wireless triple play system

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e Computadores

Configurador de sistemas distribuídos de controlo especificados através de redes de Petri IOPT

O objetivo principal deste trabalho é desenvolver um protótipo de ferramenta que permita a geração de ficheiros de configuração de sistemas distribuídos de controlo em plataformas específicas permitindo a integração de um conjunto de componentes previamente definidos. Cada componente é caracterizado como um módulo, identificando-se o conjunto de sinais e eventos de entrada e saída, bem como o seu comportamento, normalmente especificado através de um modelo em redes de Petri IOPT – RdP-IOPT (Input-Output Place-Transitions). O formato PNML (Petri Net Markup Language) será utilizado para a representação de cada componente. Os componentes referidos poderão ser obtidos através de vários métodos, nomeadamente através de ferramentas em desenvolvimento, que se encontram disponíveis em http://gres.uninova.pt/IOPT-Tools/ e também através da sua edição no editor de IOPT, como resultado da partição de um modelo expresso em IOPT, utilizando o editor Snoopy-IOPT em conjugação com a ferramenta SPLIT. Serão considerados várias formas para interligação dos componentes, incluindo-se ligações diretas e wrappers assíncronos num contexto de sistemas Globalmente Assíncronos Localmente Síncronos - GALS bem como diferentes tipos de barramentos e ligações série, incluindo Network-On-Chip específicos. A descrição da interligação entre componentes é gerada automaticamente pela ferramenta desenvolvida, tendo em conta resultados de dissertações de mestrado anteriores. As plataformas especificas de suporte à implementação incluem FPGA’s da serie Xilinx Spartan3,3E e Xilinx Virtex, e várias placas de desenvolvimento.

Giving SBML support to ByoDyn

Report for the scientific stay at the California Institute of Technology during the summer of 2005. ByoDyn is a tool for simulating the dynamical expression of gene regulatory networks (GRNs) and for parameter estimation in uni- and multicellular models. A software support was carried out describing GRNs in the Systems Biology Markup Language (SBML). This one is a computer format for representing and storing computational models of biochemical pathways in software tools and databases. Supporting this format gives ByoDyn a wide range of possibilities to study the dynamical properties of multiple regulatory pathways.

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.

Marcatge estructural i morfosintàctic del Corpus Tècnic amb l'estàndard SGML

L'edició de textos fent ús de mitjans informàtics ha comportat avantatges i inconvenients. Mentre que ha fet molt accessible l'edició acurada de textos també ha provocat tot un seguit de problemes, un del quals és la dificultat de compartir recursos.Per altra banda, la lingüística necessita emprar corpus voluminosos per conèixer amb més precisió i fonament el comportament real del llenguatge. És evident que l'obtenció i consegüent preparació d'un corpus per a la seva explotació esdevé un procés costós en temps i recursos, motiu pel qual és força atractiu i gairebé necessari compartir aquest material de recerca amb altres organitzacions. En aquest treball s'examinen les diferents propostes d'aplicació de l'estàndard SGML (Standard Generalized Markup Language) en la constitució de corpus textuals per a la recerca lingüística, amb èmfasi especial en les solucions proposades a l'Institut Universitari de Lingüística Aplicada de la Universitat Pompeu Fabra.

Voto Electrónico: Estudo Da Utilização Do EML No Caso Português

A Election Markup Language (EML) é uma linguagem de comunicação para ser utilizada entre os diversos subsistemas que constituem o Sistema de Votação Electrónica (SVE). Esta dissertação tem como objectivo contribuir para o estudo do Voto Electrónico em Portugal, analisando a lei do processo eleitoral e utilizando as recomendações do Conselho da Europa sobre a adopção do EML, propõe-se apresentar uma arquitectura de SVE que possa ser utilizado para as eleições e referendos

SBML qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools.

BACKGROUND: Qualitative frameworks, especially those based on the logical discrete formalism, are increasingly used to model regulatory and signalling networks. A major advantage of these frameworks is that they do not require precise quantitative data, and that they are well-suited for studies of large networks. While numerous groups have developed specific computational tools that provide original methods to analyse qualitative models, a standard format to exchange qualitative models has been missing. RESULTS: We present the Systems Biology Markup Language (SBML) Qualitative Models Package ("qual"), an extension of the SBML Level 3 standard designed for computer representation of qualitative models of biological networks. We demonstrate the interoperability of models via SBML qual through the analysis of a specific signalling network by three independent software tools. Furthermore, the collective effort to define the SBML qual format paved the way for the development of LogicalModel, an open-source model library, which will facilitate the adoption of the format as well as the collaborative development of algorithms to analyse qualitative models. CONCLUSIONS: SBML qual allows the exchange of qualitative models among a number of complementary software tools. SBML qual has the potential to promote collaborative work on the development of novel computational approaches, as well as on the specification and the analysis of comprehensive qualitative models of regulatory and signalling networks.

3G SGSN Toiminnallisuustestauksen Automatisointi

3G SGSN (3rd Generation Serving GPRS Support Node) onUMTS (Universal Mobile Telecommunications System) pakettiverkon verkkoelementti, joka toimii linkkinä ulkoisen verkon(kuten Internet) ja radioverkon välillä. 3G SGSN ylläpitää tilaajan tietoja ja paikannustietoja päätelaitteen liikkuessa verkon sisällä ja välittää myös dataa ulkoisen verkon ja mobiilipäätelaitteen välillä. Tämän diplomityön aiheena on 3G SGSN toiminnallisuus-testauksen automatisointi. Työssä kehitetään 3G SGSN toiminnallisuustestaukseen soveltuva testauksen automatisointijärjestelmä Linux-ympäristössä AuTS (Automated Test Sequences)-automatisointityökalulla. Kehitystyöhön kuuluu järjestelmän suunnittelu ja toteutus. Toteutettu automatisointijärjestelmä suorittaa 3G SGSN toiminnallisuustestauksen istunnon- ja liikkuvuudenhallinnan testitapauksia.Suoritettujen testitapausten tuloksista luodaan HTML (Hypertext Markup Language)-raportti, joka sisältää tiedot ja analyysit suoritetuista testitapauksista sekä linkit testitapausten lokitietoihin. Hyvä automatisointi vaatii suunnittelua, jossa huomioidaan käytettävyys ja ylläpidettävyys. Näihin ominaisuuksiin on toteutuksessa kiinnitetty erityistä huomiota. Lopputuloksena saatiin toimiva automatisointijärjestelmä, joka osoittaa automatisoinnin tuovan huomattavia etuja toiminnallisuustestauksen tehokkuuteen. Työssä käsitelläänmyös ohjelmistotestausta sekä testauksen automatisointia ja niiden periaatteita.

Centralized Identity Management for Web Applications

Internet-palvelujen määrä kasvaa jatkuvasti. Henkilöllä on yleensä yksi sähköinen identiteetti jokaisessa käyttämässään palvelussa. Autentikointitunnusten turvallinen säilytys käy yhä vaikeammaksi, kun niitä kertyy yhdet jokaisesta uudesta palvelurekisteröitymisestä. Tämä diplomityö tarkastelee ongelmaa ja ratkaisuja sekä palvelulähtöisestä että teknisestä näkökulmasta. Palvelulähtöisen identiteetinhallinnan liiketoimintakonsepti ja toteutustekniikat – kuten single sign-on (SSO) ja Security Assertion Markup Language (SAML) – käydään läpi karkeiden esimerkkien avulla sekä tutustuen Nokia Account -hankkeessa tuotetun ratkaisun konseptiin ja teknisiin yksityiskohtiin. Nokia Account -palvelun ensimmäisen version toteutusta analysoidaan lopuksi identiteetinhallintapalveluiden suunnitteluperiaatteita ja vaatimuksia vasten.

The 21st century chemistry journal

Internet publication will radically alter how chemists will publish their research in the next century. In this article, we describe two fundamental changes: enhanced chemical publication which allows chemists to publish materials that cannot be published on paper and end-user customization which allows readers to read articles prepared to meet their specifications. These concepts have been implemented within the Internet Journal of Chemistry, a new journal designed to employ the latest technologies for chemical publications.

Nettipohjainen voimalaitosratkaisujen hinta-arviojärjestelmä

Työn tarkoitus on suunnitella ja toteuttaa nettipohjainen voimalaitosratkaisujen hinta-arviojärjestelmä Savonia Power Oy:n käyttöön. Järjestelmän tarkoitus on automatisoida voimalaitosratkaisujen tunnuslukujen laskeminen asiakkaan antamien alkuarvojen pohjalta ja tallentaa mahdollinen yhteydenottopyyntö. Järjestelmän vaatimuksina ovat laskentakaavojen helppo päivitettävyys, kaavojen automaattinen hakeminen Excel 2007–muotoisesta tiedostosta ja asiakasrajapinnan nettipohjaisuus. Työ jakaantuu kahteen osaan. Teoriaosassa selvitetään työssä käytettyjen tekniikoiden taustaa ja selvitetään Microsoftin OOXML-tiedostomuodon rakenne työssä vaadittavin osin. Käytännön osassa suunnitellaan ja osin toteutetaan valmis järjestelmä käyttäen PHP-kieltä, XML-määrittelykieltä ja MySQL-tietokantaa. Suurimmat haasteet järjestelmän toteutuksessa ovat laskentakaavojen parsiminen Excel-tiedostosta ilman sen sisällön tiukkaa rajoittamista tiettyihin raameihin ja järjestelmän helppo päivitys saaduilla laskentakaavoilla. Työn lopputuloksena on toimiva, muttei viimeistelty järjestelmä sekä tämä dokumentti. Työn suurin merkitys tulee olemaan edellä mainittujen suunnitteluhaasteiden selvittäminen, sekä valmis ohjelmarunko yleiseen käyttöön otetulle järjestelmälle.

Integración de los estándares OGC en los clientes 2D y 3D de visualización de mapas

A través de la propuesta Styled Layer Descriptor 3D (SLD3D), cuya especificación se encuentra en el Open Geospatial Consortium (OGC), se posibilitará la generación de información tridimensional. La interpretación de estos estilos a través del Keyhole Markup Language (KML) y su representación en los interfaces 3D, garantizarán el aprovechamiento de la tercera componente espacial permitiendo una representación realista del entorno

Implementación de modelos de localización-asignación espacial siguiendo el estándar OGC WPS

Una de las cuestiones que tradicionalmente se han tratado con los Sistemas de Información Geográfica (SIG) es la resolución de problemas de localización óptima de equipamientos. Sin embargo, se han encontrado deficiencias e insuficiencias en las funciones usuales de los SIG para el estudio de este tipo de asuntos. Por ese motivo, en la Universidad de Alcalá se desarrolló un software denominado Localiza (Bosque, Palm y Gómez, 2008), el cual está especializado en la localización de equipamientos sociales. Sin embargo, dicha aplicación está basada en el software Idrisi (Versión para Windows 2.0) y depende directamente de los formatos de datos de este SIG. Para solucionar este problema, se ha considerado la posibilidad de ofertar este tipo de software como servicio. La especificación Web Processing Service, del OGC brinda un marco para ofertar los modelos de localización-asignación como servicios a través de Internet. La implementación de estos modelos como servicios WPS facilitaría la interoperabilidad entre sistemas y la posibilidad de ejecutar modelos, independientemente de la plataforma y el lenguaje de programación. Esto permite obtener dicha funcionalidad tanto en entornos web como de escritorio. Además, se ha considerado la utilización de formatos de datos estandarizados como GML (Geography Markup Language), de tal forma que exista una independencia total de los formatos privativos de los SIG existentes en el mercado. Asimismo, se pretende utilizar en todo momento tecnologías y estándares abiertos

Kartdataimport för fälttillämpning

I dagsläget kan WM-datas Fältmodul i deras MoveITS-system inte hantera kartdata i andra format än Shape. Fältmodulen är en TabletPC som kör operativsystemet Windows XP. Den kan användas för att redigera viss geografisk information som exempelvis skyltpositioner. Fältmodulen används av Stockholms Tekniska kontor för inventering av skyltstolpar.Stockholms Tekniska kontor ska börja leverera sina kartor i GML (Geography Markup Language). Men eftersom WM-datas Fältmodul inte klarar av det formatet skulle det här examensarbetet gå ut på att ta fram komponenter för hantering av det. Då det under examensarbetets gång har varit svårt att få tag i information runt GML har istället en större fokus blivit lagd på MIF (MapInfo Interchange Format). Eftersom det finns andra kommuner som använder MIF finns det intresse från WM-data att det tas fram komponenter även för detta format.Ett stort antal klasser har utvecklats för hantering av MIF-filer. Dessa klasser är helt utvecklade i C# och har gjorts under examensarbetets gång utifrån de specifikationer som finns för formatet från företaget MapInfo. För GML har det tagits fram information som kan ligga till grund för utveckling av komponenter för hantering av det formatet.