A rede de Petri consiste numa poderosa ferramenta gráfica e matemática, que tem sido desenvolvida e aprimorada para a modelagem e análise de sistemas de eventos discretos. Uma das suas limitações é a profusão de elementos gráficos para modelos relativamente grandes. Algumas redes de Petri interpretadas consistem em propostas que visam sanar este tipo de problema. Este trabalho tem por objetivo implementar um framework de edição e análise gráfica de redes de Petri, a partir de técnicas de reutilização de código como padrões de projeto. Assim, foi proposto um software aberto que viabiliza o processo de contínuo desenvolvimento, promovendo a inclusão, reutilização e aperfeiçoamento de funcionalidades. Como resultado foi possível incorporar a edição de outros tipos de redes de Petri, principalmente as interpretadas, através da reutilização de funcionalidades matemáticas e de edição gráfica da rede de Petri Lugar/Transição. / The Petri net is a powerfuI graphical and mathematical tool, which has been developed and improved to the modeling and analysis of Discrete Event Systems. One of its limitations is the large profusion of graphic elements in complex models. Some interpreted Petri nets consist in proposals to solve this kind of limitation. This work\'s main goal is to implement a Petri net graphical editor and analyzer framework, using concepts of code reuse and design patterns. In this way, an open-software was proposed, which enables the continuous development process, providing the inclusion, reuse and improvement of functionalities. As a result, it was possible to incorporate the edition of some Petri net extensions, essentially the interpreted, through the reuse of mathematical and graphical edition functionalities of Place/Transition Petri net.

A rede de Petri consiste numa poderosa ferramenta gráfica e matemática, que tem sido desenvolvida e aprimorada para a modelagem e análise de sistemas de eventos discretos. Uma das suas limitações é a profusão de elementos gráficos para modelos relativamente grandes. Algumas redes de Petri interpretadas consistem em propostas que visam sanar este tipo de problema. Este trabalho tem por objetivo implementar um framework de edição e análise gráfica de redes de Petri, a partir de técnicas de reutilização de código como padrões de projeto. Assim, foi proposto um software aberto que viabiliza o processo de contínuo desenvolvimento, promovendo a inclusão, reutilização e aperfeiçoamento de funcionalidades. Como resultado foi possível incorporar a edição de outros tipos de redes de Petri, principalmente as interpretadas, através da reutilização de funcionalidades matemáticas e de edição gráfica da rede de Petri Lugar/Transição. / The Petri net is a powerfuI graphical and mathematical tool, which has been developed and improved to the modeling and analysis of Discrete Event Systems. One of its limitations is the large profusion of graphic elements in complex models. Some interpreted Petri nets consist in proposals to solve this kind of limitation. This work\'s main goal is to implement a Petri net graphical editor and analyzer framework, using concepts of code reuse and design patterns. In this way, an open-software was proposed, which enables the continuous development process, providing the inclusion, reuse and improvement of functionalities. As a result, it was possible to incorporate the edition of some Petri net extensions, essentially the interpreted, through the reuse of mathematical and graphical edition functionalities of Place/Transition Petri net.

The MIT-Scheme program development environment includes a general-purpose text editor, Edwin, that has an extension language, Edwin Scheme. Edwin is very similar to another general-purpose text editor, GNU Emacs, which also has an extension language, Emacs Lisp. The popularity of GNU Emacs has lead to a large library of tools written in Emacs Lisp. The goal of this thesis is to implement a useful subset of Emacs Lisp in Edwin Scheme. This subset was chosen to be sufficient for simple operation of the GNUS news reading program.

The field of Early Childhood Education and Care (ECEC) traditionally encompasses care and education for children aged from birth to eight years. In this study, the focus is specifically on the field that provides services for children in prior to school settings, that being the birth to five sector. This sector is highly feminised and has emerged over the last century from philanthropic roots. Despite considerable work into leadership in other areas, until recent times, attention to aspects of leadership has been limited within the ECEC field and much of the research undertaken has focused heavily on centre-based leadership. This study investigated how personnel, from a range of services, understand and enact leadership. In terms of data analysis it draws heavily on symbolic interactionism as a methodological tool and engages standpoint feminist theory to inform the analytical process. Data were gathered from semi-structured interviews with twenty-six participants who also identified artefacts, which they considered influenced and supported their understandings of leadership. In addition, two focus groups were conducted to explore themes emerging from early analysis of the data. Findings indicate two categories, which emerge as relevant to how leadership is understood and enacted by participants. The first of these is the concept of interpreted professional identity, which reflects participants' interpretations of who they are as early childhood professionals informed by their own views and the views of others. How individuals interpret their sense of self (manifest in their professional identity) is influential in the secondary category, which is interpreted leadership capacity. This category reflects participants' leadership activity or inactivity. The analysis reflects a complex interplay between how participants interpret their professional sense of self (interpreted professional identity) and their capacity and willingness to enact leadership (interpreted leadership capacity). Individuals in the formation of their professional identity interpret factors, both internal to the ECEC field and external (through social expectations). The culture of the ECEC field (internal factors) includes competing elements such as a discourse of niceness juxtaposed against examples of horizontal violence. Factors external to the field suggest there are lingering social associations between heroic male images and leadership, which make women as leaders problematic. Within a highly feminised field such as ECEC, this study brings new perspectives to understandings of leadership and its enactment.

Nowadays, most computer systems are equipped with powerful parallel devices such as Graphics Processing Units (GPUs). They are present in almost every computer system including mobile devices, tablets, desktop computers and servers. These parallel systems have unlocked the possibility for many scientists and companies to process significant amounts of data in shorter time. But the usage of these parallel systems is very challenging due to their programming complexity. The most common programming languages for GPUs, such as OpenCL and CUDA, are created for expert programmers, where developers are required to know hardware details to use GPUs. However, many users of heterogeneous and parallel hardware, such as economists, biologists, physicists or psychologists, are not necessarily expert GPU programmers. They have the need to speed up their applications, which are often written in high-level and dynamic programming languages, such as Java, R or Python. Little work has been done to generate GPU code automatically from these high-level interpreted and dynamic programming languages. This thesis presents a combination of a programming interface and a set of compiler techniques which enable an automatic translation of a subset of Java and R programs into OpenCL to execute on a GPU. The goal is to reduce the programmability and usability gaps between interpreted programming languages and GPUs. The first contribution is an Application Programming Interface (API) for programming heterogeneous and multi-core systems. This API combines ideas from functional programming and algorithmic skeletons to compose and reuse parallel operations. The second contribution is a new OpenCL Just-In-Time (JIT) compiler that automatically translates a subset of the Java bytecode to GPU code. This is combined with a new runtime system that optimises the data management and avoids data transformations between Java and OpenCL. This OpenCL framework and the runtime system achieve speedups of up to 645x compared to Java within 23% slowdown compared to the handwritten native OpenCL code. The third contribution is a new OpenCL JIT compiler for dynamic and interpreted programming languages. While the R language is used in this thesis, the developed techniques are generic for dynamic languages. This JIT compiler uniquely combines a set of existing compiler techniques, such as specialisation and partial evaluation, for OpenCL compilation together with an optimising runtime that compile and execute R code on GPUs. This JIT compiler for the R language achieves speedups of up to 1300x compared to GNU-R and 1.8x slowdown compared to native OpenCL.

[pt] A evolução do campo de programação tradicionalmente troca desempenho por abstrações mais poderosas capazes de simplificar o trabalho do programador. É possível observar os efeitos dessa evolução na área de programação paralela. Tipicamente, a programação paralela se concentra em alto desempenho baseado no paradigma procedural para atingir o mais alto rendimento possível, porém determinar o ponto em que deve-se trocar desempenho por abstrações mais poderosas continua um problema em aberto. Com o advento de novas ferramentas e bibliotecas de sistema que fornecem melhor desempenho sem a intervenção do programador, a crença de que o programador da aplicação deve otimizar o código de comunicação começa a ser questionada. De acordo com a crescente demanda por soluções paralelas de larga escala tornando-se evidentes, problemas como complexidade de código, poder de modelagem e projeto, manutenibilidade, desenvolvimento rápido, maior segurança e reuso, deverão ser considerados quando for necessário decidir que abordagem usar. Nesse trabalho, investigamos o custo do uso de camadas de abstração de mais alto-nível e que podem prover muitos benefícios para desenvolvedores de aplicações paralelas. Além disso argumentamos que o uso de linguagens interpretadas pode ajudar na abstração da arquitetura de processador surgindo a oportunidade para otimizar as máquinas virtuais sem que isso afete o código da aplicação do usuário. / [en] The evolution of the field of programming traditionally trades performance for more powerful abstractions that are able to simplify the programmer’s work. It is possible to observe the effects of this evolution on the parallel programming area. Typically parallel programming focuses on high performance based on the procedural paradigm to achieve the highest possible throughput, but determining the point in which one should trade performance for more powerful abstractions remains an open problem. With the advent of new system level tools and libraries that deliver greater performance without programmer’s intervention, the belief that the application programmer should optimize communication code starts to be challenged. As the growing demand for large scale parallel solutions becomes noticeable, problems like code complexity, design and modeling power, maintainability, faster development, greater reliability and reuse, are expected to take part on the decision of which approach to use. In the present work, we investigate the use of higher-level abstraction layers that could provide many benefits for the parallel application developer. We argue that the use of interpreted languages may aid the abstraction of the processor architecture providing an opportunity to optimize the virtual machines without affecting the user’s application code.

Developing an application for several platforms can be time consuming because each platform has its own operating system and different developing language. Cross-platform development makes it possible to develop an ap-plication that will work on several platforms. This report will evaluate this kind of development by doing a case study for the company CGI. The case study will evaluate which cross-platform methodology is the preferred choice for this specific vacation booking application I developed for CGI. The different methodologies I studied were web, hybrid, interpreted and cross-compiled. The preferred methodology for this vacation booking application I developed was in this case the hybrid alternative. When selecting this methodology I also chose two different tools and those two were Icenium and jQuery Mobile. The purpose of this report was to find out if cross-platform development can be a substitute to native programming and by evaluating and developing cross-platform I found out that it can be a substitute if the application is not to complex. In this specific case I also believe that hybrid development is a good substitute to native development for this kind of applications.

Pour l'évaluation du risque inondation, l’emploi de modèles numériques 2D d’hydraulique à surface libre reposant sur la résolution des équations de Saint-Venant est courant. Ces modèles nécessitent entre autre la description de la topographie de la zone d’étude. Sur des secteurs urbains denses ou des sites industriels, cette topographie complexe peut être appréhendée de plus en plus finement via des technologies dédiées telles que le LiDAR et la photogrammétrie. Les Modèles Numériques d'Elévation Haute Résolution (HR MNE) générés à partir de ces technologies, deviennent employés dans les études d’évaluation du risque inondation. Cette thèse étudie les possibilités, les avantages et les limites, liées à l'intégration des données topographiques HR en modélisation 2D du risque inondation en milieux urbains et industriels. Des modélisations HR de scénarios d'inondation d'origines pluviale ou fluviale sont testés en utilisant des HR MNE crées à partir de données LiDAR et photo-interprétées. Des codes de calculs (Mike 21, Mike 21 FM, TELEMAC-2D, FullSWOF_2D) offrant des moyens différent d'intégration de la donnée HR et basés sur des méthodes numériques variées sont utilisés. La valeur ajoutée de l'intégration des éléments fins du sur-sol impactant les écoulements est démontrée. Des outils pour appréhender les incertitudes liées à l'emploi de ces données HR sont développés et une analyse globale de sensibilité est effectuée. Les cartes d'indices de sensibilité (Sobol) produites soulignent et quantifient l'importance des choix du modélisateur dans la variance des résultats des modèles d'inondation HR ainsi que la variabilité spatiale de l'impact des paramètres incertains testés. / High Resolution (infra-metric) topographic data, including LiDAR photo-interpreted datasets, are becoming commonly available at large range of spatial extent, such as municipality or industrial site scale. These datasets are promising for High-Resolution (HR) Digital Elevation Model (DEM) generation, allowing inclusion of fine aboveground structures that influence overland flow hydrodynamic in urban environment. DEMs are one key input data in Hydroinformatics to perform free surface hydraulic modelling using standard 2D Shallow Water Equations (SWEs) based numerical codes. Nonetheless, several categories of technical and numerical challenges arise from this type of data use with standard 2D SWEs numerical codes. Objective of this thesis is to tackle possibilities, advantages and limits of High-Resolution (HR) topographic data use within standard categories of 2D hydraulic numerical modelling tools for flood hazard assessment purpose. Concepts of HR topographic data and 2D SWE based numerical modelling are recalled. HR modelling is performed for : (i) intense runoff and (ii) river flood event using LiDAR and photo-interpreted datasets. Tests to encompass HR surface elevation data in standard modelling tools ranges from industrial site scale to a megacity district scale (Nice, France). Several standard 2D SWEs based codes are tested (Mike 21, Mike 21 FM, TELEMAC-2D, FullSWOF_2D). Tools and methods for assessing uncertainties aspects with 2D SWE based models are developed to perform a spatial Global Sensitivity Analysis related to HR topographic data use. Results show the importance of modeller choices regarding ways to integrate the HR topographic information in models.

Abstract. The aim of this study is to examine the role of the interpreter and see how the interpreter thinks of his or her role in interpreted meetings. What kind of difficulties and opportunities does interpreters experience in their professional role and what can they describe as factors to a successful interpreted meeting. Above that we were interested in what kind of support if any, interpreters get from their employers or outsourcers when they are a part of an interpreted meeting where difficult and psychological hard matters is interpreted. The method chosen to examine and answer those questions are a qualitative method with semi structured interviews. Our interview persons were six interpreters with various work experience and degree of education. The theories chosen for this study have been parts of symbolic interactionism, sociocultural theory and communication theories in form of the barrier-model and filter-noise model. The results show us that our informants meets all kinds of difficulties on a day to day basis, however was this something that our informants expected and said to be a part of their job-description. We found in our previous research that some interpreters said that it can be a difficult matter to talk in a first-person way when the interpreted person disguise tough situations such as sexual abuse ore murders for example. This could both verifies and problematize by our informants. Most of them said that they were met with respect from other professions, but one voice distinguished from the others and talked in terms that the interpreter was seen as an idiot and definitely not was respected. One thing that they all could agree about was the lack of information they got to prepare themselves prior to the interpreted meeting, if this was a problem were however not a common thought.

A importância da geração de energia elétrica hidráulica, dentro dos requisitos de qualidade e fornecimento com índices de confiabilidade cada vez mais exigentes, tem se tornada acentuada, principalmente em atendimento às necessidades de consumo em todas as áreas de atividades produtivas. Têm-se notado que as tecnologias desenvolvidas aliadas às mudanças socioeconômicas trouxeram uma evolução e reestruturação, tanto no setor industrial produtivo como no setor elétrico (concessionárias de energia elétrica e fornecedores de sistemas e equipamentos para usinas hidrelétricas e subestações), com aumento significativo da especialização e da complexidade da automação dos processos envolvidos, onde falhas são consideradas inaceitáveis. Em consequência, têm-se exigido soluções técnicas eficazes e com investimentos reduzidos. Desta forma, a Automação Elétrica, que faz parte dos sistemas de Comando, Controle, Comunicação e Informação altamente integrados (C3I), têm demonstrado uma participação fundamental no atual cenário deste segmento. Então, de maneira a tratar adequadamente esta complexidade, tornar as soluções técnicas cada vez mais seguras e facilitar o estudo e projeto de novos sistemas de controle nesta área, este trabalho apresenta uma metodologia para modelagem e análise de Sistemas de Controle envolvidos na geração hidráulica de energia elétrica. Este trabalho tem como principais desenvolvimentos: uma metodologia que envolve a teoria de controle de SDED juntamente com conceitos e pesquisas na área de Engenharia de Software e um formalismo em Rede de Petri Interpretada por Sinais (RPIS) em conjunto com o paradigma de Orientação a Objetos (OO), representado pela proposta de uma nova RP, a RPIS_OO (Rede de Petri Interpretada por Sinais Orientada a Objetos). Destarte, espera-se que a metodologia e a nova RP propostas nesta tese contribuam na especificação e construção dos algoritmos de controle dos sistemas que participam na automação da geração de energia elétrica hidráulica, como também, no aprimoramento de novas abordagens para o desenvolvimento de sistemas de automação elétrica, representando atualmente o estado da arte nesta área. / The importance of hydroelectric power generation, considering the increasingly demanding supply and quality requirements, has become more pronounced especially seeing the great consumption needs on all productive areas. It\'s noticeable that technology developed with socioeconomic changes have brought evolution and a restructuring both in the industrial and electrical sector (electric companies and power plant equipment manufacturers), with a notable increase in specialization and complexity of the automation of these activities, where faults are considered unacceptable. A demand for more efficient technical solutions and reduced investments has therefore increased greatly. Electrical automation technology as part of highly integrated command, control, communication and information (C3I) systems has demonstrated a crucial involvement in the context of this segment. In order to handle this evolving complexity, creating more secure technical solutions and further research and development of new control systems for this sector, this work introduces a new methodology for modeling and analysis of power plant control systems. A methodology involving the theory of Discrete Event Dynamic Systems (DEDS) and concepts of Software Engineering is presented, as well as a new formalism based on Signal Interpreted Petri Nets (SIPN) together with Object-Oriented Paradigm (OOP) named Object-Oriented Signal Interpreted Petri Nets (OOSIPN). The intention is that methodology proposed in this thesis contributes to the correct specification and construction of control algorithms for power plant control systems, as well as the state of the art in this research area in the form of a new approach to development of such automation systems.