Prototyping Concurrent Systems in Cw

Software architecture is currently recognized as one of the most critical design steps in Software Engineering. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Cw, the corresponding architectural skeletons in the Microsoft .NET framework in the form of executable code

Prototyping Behavioural Specifications in the.NET framework

Over the last decade, software architecture emerged as a critical design step in Software Engineering. This encompassed a shift from traditional programming towards the deployment and assembly of independent components. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Ccs, the corresponding architectural skeletons in the Microsoft .Net framework in the form of executable C] code. Such prototyping process is automated by means of a specific tool developed in Haskell

Modeling the Diffusion of Energy Performance Contracting

The Portuguese Energy Policy considers the development of a commercially viable and competitive market for energy performance contracting (EPC) as a main mechanism to achieve the objectives of energy efficiency improvement. This paper proposes a study to investigate how to achieve widespread adoption of energy performance contracting by means of system dynamics modelling and simulation. To explore and gather insights on this question, a system dynamics model representing the system of the Portuguese EPC market at industry level will be created. The simulation of that model will provide a helpful basis for analysing and explaining the development of key variables, and accelerating learning on the managerial, organizational and political adaptation processes that foster the diffusion of EPC adoption. The first phase of this research project aims at identifying and analysing the key factors and critical cause-effect relations that drive the adoption of EPC. With this purpose, a qualitative content analysis on relevant documents was performed and a set of interviews was conducted. That data was analysed to capture the critical variables and its interrelation to formulate a preliminary representation of the system structure as stock and flow diagrams.

Solução de navegação inercial para o sistema plasys

Neste trabalho faz-se uma pesquisa e análise dos conceitos associados à navegação inercial para estimar a distância percorrida por uma pessoa. Foi desenvolvida uma plataforma de hardware para implementar os algoritmos de navegação inercial e estudar a marcha humana. Os testes efetuados permitiram adaptar os algoritmos de navegação inercial para humanos e testar várias técnicas para reduzir o erro na estimativa da distância percorrida. O sistema desenvolvido é um sistema modular que permite estudar o efeito da inserção de novos sensores. Desta forma foram adaptados os algoritmos de navegação para permitir a utilização da informação dos sensores de força colocados na planta do pé do utilizador. A partir desta arquitetura foram efetuadas duas abordagens para o cálculo da distância percorrida por uma pessoa. A primeira abordagem estima a distância percorrida considerando o número de passos. A segunda abordagem faz uma estimação da distância percorrida com base nos algoritmos de navegação inercial. Foram realizados um conjunto de testes para comparar os erros na estimativa da distância percorrida pelas abordagens efetuadas. A primeira abordagem obteve um erro médio de 4,103% em várias cadências de passo. Este erro foi obtido após sintonia para o utilizador em questão. A segunda abordagem obteve um erro de 9,423%. De forma a reduzir o erro recorreu-se ao filtro de Kalman o que levou a uma redução do erro para 9,192%. Por fim, recorreu-se aos sensores de força que permitiram uma redução para 8,172%. A segunda abordagem apesar de ter um erro maior não depende do utilizador pois não necessita de sintonia dos parâmetros para estimar a distância para cada pessoa. Os testes efetuados permitiram, através dos sensores de força, testar a importância da força sentida pela planta do pé para aferir a fase do ciclo de marcha. Esta capacidade permite reduzir os erros na estimativa da distância percorrida e obter uma maior robustez neste tipo de sistemas.

Fractional order describing functions

This paper addresses limit cycles and signal propagation in dynamical systems with backlash. The study follows the describing function (DF) method for approximate analysis of nonlinearities and generalizes it in the perspective of the fractional calculus. The concept of fractional order describing function (FDF) is illustrated and the results for several numerical experiments are analysed. FDF leads to a novel viewpoint for limit cycle signal propagation as time-space waves within system structure.

Visualizing control systems performance: A fractional perspective

This article presents a novel method for visualizing the control systems behavior. The proposed scheme uses the tools of fractional calculus and computes the signals propagating within the system structure as a time/frequency-space wave. Linear and nonlinear closed-loop control systems are analyzed, for both the time and frequency responses, under the action of a reference step input signal. Several nonlinearities, namely, Coulomb friction and backlash, are also tested. The numerical experiments demonstrate the feasibility of the proposed methodology as a visualization tool and motivate its extension for other systems and classes of nonlinearities.

Parallel run-time for CO-OPN

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Continuidade e mudança. O sistema internacional no post‐Guerra Fria

O fim da Guerra Fria é um caso inédito de mudança pacífica da estrutura internacional, em que os Estados Unidos e a União Soviética transcendem a divisão bipolar para decidir os termos da paz no quadro das instituições que definem o modelo de ordenamento multilateral, consolidando a sua legitimidade. Nesse contexto, ao contrário dos casos precedentes de reconstrução internacional no fim de uma guerra hegemónica, o novo sistema do post-Guerra Fria, caracterizado pela unipolaridade, pela regionalização e pela homogeneização, forma-se num quadro de continuidade institucional. A ordem política do post-Guerra Fria é um sistema misto em que as tensões entre a hierarquia unipolar e a anarquia multipolar, a integração global e a fragmentação regional e a homogeneidade e a heterogeneidade política, ideológica e cultural condicionam as estratégias das potências. As crises internacionais vão pôr à prova a estabilidade da nova ordem e a sua capacidade para garantir mudanças pacíficas. A primeira década do post-Guerra Fria mostra a preponderância dos Estados Unidos e a sua confiança crescente, patente nas Guerras do Golfo Pérsico e dos Balcãs, bem como na crise dos Estreitos da Formosa. A reacção aos atentados do "11 de Setembro" revela uma tentação imperial da potência unipolar, nomeadamente com a invasão do Iraque, que provoca uma crise profunda da comunidade de segurança ocidental. A vulnerabilidade do centro da ordem internacional é confirmada pela crise constitucional europeia e pela crise financeira global. Essas crises não alteram a estrutura de poder mas aceleram a erosão da ordem multilateral e criam um novo quadro de possibilidades para a evolução internacional, que inclui uma escalada dos conflitos num quadro de multipolaridade regional, uma nova polarização entre as potências democráticas conservadoras e uma coligação revisionista autoritária, bem como a restauração de um concerto entre as principais potências internacionais.

Análise do sistema bancário da União Europeia

Dissertação de mestrado em Economia Monetária, Bancária e Financeira

Component Architecture for Context-Aware Applications

Mobiililaitteisiin tehdyt sovellukset ovat nykyään laajassa käytössä. Mobiilisovellukset tarjoavat käyttäjälleen usein tietyn ennalta määritellyn toiminnallisuuden eivätkä ne pysty mukautumaan vaihtelevaan käyttöympäristöönsä. Jos sovellus olisi tietoinen käyttöympäristöstään ja sen muutoksista, se voisi tarjota käyttäjälleen tilanteeseen sopivia ominaisuuksia. Käyttöympäristöstään tietoiset hajautetut sovellukset tarvitsevat kuitenkin huomattavasti perinteisiä sovelluksia monimutkaisemman arkkitehtuurin toimiakseen. Tässä työssä esitellään hajautetuille ja kontekstitietoisille sovelluksille tarkoitettu ohjelmistoarkkitehtuuri. Työ perustuu Oulun yliopiston CAPNET-tutkimusprojektissa kehitettyyn, mobiilisovelluksille tarkoitettuun arkkitehtuuriin. Tämän työn tarkoituksena on tarjota ratkaisuja niihin puutteisiin, jotka tulivat esille CAPNET-arkkitehtuurin kehitys- ja testausvaiheessa. Esimerkiksi arkkitehtuurin komponenttien määrittelyä tulisi tarkentaa ja ne tulisi jakaa horisontaalisiin kerroksiin niiden ominaisuuksien ja alustariippuvuuden mukaisesti. Työssä luodaan katsaus olemassa oleviin teknologioihin jotka tukevat hajautettujen ja kontekstitietoisten järjestelmien kehittämistä. Myös niiden soveltumista CAPNET-arkkitehtuuriin analysoidaan. Työssä esitellään CAPNET-arkkitehtuuri ja ehdotetaan uutta arkkitehtuuria ja komponenttien kerrosjaottelua. Ehdotuksessa arkkitehtuurin komponentit ja järjestelmän rakenne määritellään ja mallinnetaan UML-menetelmällä. Työn tuloksena on arkkitehtuurimäärittely, joka jakaa nykyisen arkkitehtuurin komponentit kerroksiin. Komponenttien rajapinnat on määritelty selkeästi ja tarkasti. Työ tarjoaa myös projektiryhmälle hyvän lähtökohdan uuden arkkitehtuurin suunnittelulle ja toteuttamiselle.

Yhtenäistetyn mallinnuskielen hyödyntäminen betoniaseman ohjausjärjestelmän kehityksessä

Yhtenäistetty mallinnuskieli, Unified Modeling Language (UML), on saavuttanut ohjelmistoteollisuudessa defacto standardin mallinnuskielen aseman. UML:n pääasiallinen käyttökohde on ollut ohjelmistojärjestelmien mallinnus, mutta sitä on sovellettu myös muillakin ongelma-alueilla, kuten erilaisten prosessien mallinnuksessa. Tässä diplomityössä mallinnetaan eräs betoniaseman ohjausjärjestelmä käyttäen UML:ää. Työssä perehdytään alan kirjallisuuden avulla siihen, miten teollisuus on hyödyntänyt UML:ää prosessien ohjausjärjestelmien mallinnuksessa. Kirjallisuudesta saatua tietoa sovelletaan betoniaseman ohjausjärjestelmän mallinnuksessa. Luotua mallia analysoidaan sen oikeellisuuden ja käytettävyyden perusteella. Työssä havaittiin, että UML soveltuu hyvin betoniaseman ohjausjärjestelmän kaltaisen teollisuusprosessin ohjauksen mallinnukseen. UML-mallilla voidaan kuvata järjestelmän rakenne ja toiminta kattavasti. Luotua mallia voidaan hyödyntää suoraan ohjausjärjestelmän jatkokehityksessä. Julkista tutkimustietoa aiheesta on kuitenkin niukasti saatavilla, joten lisätarve julkiselle tutkimukselle on olemassa.

Toiminnanohjausjärjestelmän implementointi tilitoimistossa

Tutkimuksen tavoitteena on selvittää toiminnanohjausjärjestelmän (ERP-järjestelmän) implementoinnin onnistumista ja sen taustalla vaikuttavia tekijöitä tilitoimistossa. Tutkimus rakentuu aikaisemman tutkimuksen pohjalta rakennettuun viitekehikkoon, jonka avulla selvitetään ERP-järjestelmien rakenne, implementointiprosessi, imple-mentoinnissa vaikuttavat kriittiset menestystekijät, sekä implementoinnin onnistumisen mittausnäkökulmat. Aikaisemmassa tutkimuksessa on varsin vähän tutkittu palveluyritysten ERP-järjestelmiä ja niiden implementointia. Sen perusteella pystyttiin kuitenkin selvittämään tyypilliset eroavaisuudet palvelu- ja tuotantoyrityksen järjestelmäratkaisujen vä-lillä ja case -osuuden tulokset olivat yhtenäiset aikaisemman tutkimuksen kanssa. Tutkimuksen perusteella pystyttiin toteamaan, että case -yrityksen ERP-järjestelmän implementointi onnistui hyvin, vaikka sen aikana esiintyi myös ongelmia. Onnistumisen ja epäonnistumisen taustalla vaikuttavat syyt saatiin selvitettyä mm. kriittisten menestystekijöiden avulla, jolloin tuloksille saatiin looginen syy-seuraussuhde. Tutkimuksen aineisto kerättiin havainnoimalla implementointiprosessin läpivientiä ja sen avulla saatuja tuloksia selvennettiin tilastollisen analyysin avulla.

Tulospalkkaus käytännössä - ansaittu etu vai toiminnan ohjaaja

Tutkimuksen tarkoituksena oli selvittää tulospalkkiojärjestelmän vaikutuksia käytännössä. Päätutkimusongelmat olivat: toimiiko tulospalkkiojärjestelmä toivotulla tavalla ja jos ei toimi, niin miten sitä tulisi kehittää? Vastausten saamiseksi kerättiin empiiristä aineistoa suomalaisesta hotelli- ja ravintola-alan yrityksestä. Aineisto kerättiin www-kyselynä Internetin kautta. Kyselyssä selvitettiin mielipiteitä myös avoimin kommentein. Teorian mukaan hyvin toimiva tulospalkkiojärjestelmä voi tukea merkittävästi yrityksen strategisten tavoitteiden saavuttamista. Toisaalta huonosti suunniteltu ja strategian kanssa ristiriidassa oleva järjestelmä voi toimia tavoitteiden vastaisesti. Tulospalkkiojärjestelmän rakenne, kehittämistapa, yhteensopivuus strategian kanssa sekä ennen kaikkea työntekijöiden tietämys järjestelmästä vaikuttavat tulospalkkiojärjestelmän merkitykseen työntekijöille. Tulospalkkiojärjestelmä vaikuttaa yksilön toimintaan merkityksensä kautta. Tutkimuksen teoreettisena viitekehyksenä käytettiin TKK:n tulospalkkiojärjestelmän toimivuusmallia. Mallin avulla arvioitiin tulospalkkiojärjestelmän vaikutuksia tavoitteisiin, toimintaan, yhteistyöhän ja ilmapiiriin sekä työasenteisiin. Lisäksi arvioitiin järjestelmän toimivuutta järjestelmän tarkoituksen, rakenteen sekä esimiestyön kannalta. Tutkimustulokset osoittavat arvioidun järjestelmän toimivan pääosin hyvin ja sillä on merkitystä työntekijöille. Järjestelmä tunnetaan hyvin ja sillä on myös rahallista merkitystä. Toteutuneiden tulospalkkioiden määrä ei kuitenkaan näytä olevan riittävän suuri motivoidakseen sellaisenaan. Teorian ja tutkimustulosten perusteella esitettiin ehdotuksia tulospalkkiojärjestelmän kehittämiseksi. Tulospalkkiojärjestelmää tulisi kehittää yksinkertaisemmaksi, jotta sillä olisi enemmän toivottuja vaikutuksia.

Silting in the dense reservoir network of the Pereira de Miranda catchment

This study aims to analyze the impacts of the reservoir network within Pereira de Miranda - CE catchment (also called Pentecoste) over sediment transport and storage capacity of the system. The survey of the "damming" was carried out using satellite images. We identified 502 erosion units, derived from overlaying maps of the Universal Soil Loss Equation parameters, which allowed the estimation of localized erosion in the basin and identification of areas potentially generating sediment. In order to estimate silting in Pentecoste reservoir, different system structure scenarios were considered. An average erosion rate of 59 t ha-1year-1 was estimated. According to the model, the silting of Pentecoste reservoir may vary from 1.1 to 2.6% per decade, depending on the scenario considered. It is also observed that the reservoirs upstream can retain up to 58% of the sediment that would reach the Pentecoste reservoir. Very small reservoirs with a capacity of up to 100,000 m³, although representing only 1.83% of the system water availability, are able to retain almost 8% of total sediment produced.

Adventures of Ludom: a Videogame Geneontology

Within the last few decades, the videogame has become an important media, economic, and cultural phenomenon. Along with the phenomenon’s proliferation the aspects that constitute its identity have become more and more challenging to determine, however. The persistent surfacing of novel ludic forms continues to expand the conceptual range of ‘games’ and ‘videogames,’ which has already lead to anxious generalizations within academic as well as popular discourses. Such generalizations make it increasingly difficult to comprehend how the instances of this phenomenon actually work, which in turn generates pragmatic problems: the lack of an applicable identification of the videogame hinders its study, play, and everyday conceptualization. To counteract these problems this dissertation establishes a geneontological research methodology that enables the identification of the videogame in relation to its cultural surroundings. Videogames are theorized as ‘games,’ ‘puzzles,’ ‘stories,’ and ‘aesthetic artifacts’ (or ‘artworks’), which produces a geneontological sequence of the videogame as a singular species of culture, Artefactum ludus ludus, or ludom for short. According to this sequence, the videogame’s position as a ‘game’ in the historicized evolution of culture is mainly metaphorical, while at the same time its artifactuality, dynamic system structure, time-critical strategic input requirements and aporetically rhematic aesthetics allow it to be discovered as a conceptually stable but empirically transient uniexistential phenomenon that currently thrivesbut may soon die out.