Automatização de testes à framework myMIS

Atualmente, verifica-se um aumento na necessidade de software feito à medida do cliente, que se consiga adaptar de forma rápida as constantes mudanças da sua área de negócio. Cada cliente tem os seus problemas concretos que precisa de resolver, não lhe sendo muitas vezes possível dispensar uma elevada quantidade de recursos para atingir os fins pretendidos. De forma a dar resposta a estes problemas surgiram várias arquiteturas e metodologias de desenvolvimento de software, que permitem o desenvolvimento ágil de aplicações altamente configuráveis, que podem ser personalizadas por qualquer utilizador das mesmas. Este dinamismo, trazido para as aplicações sobre a forma de modelos que são personalizados pelos utilizadores e interpretados por uma plataforma genérica, cria maiores desafios no momento de realizar testes, visto existir um número de variáveis consideravelmente maior que numa aplicação com uma arquitetura tradicional. É necessário, em todos os momentos, garantir a integridade de todos os modelos, bem como da plataforma responsável pela sua interpretação, sem ser necessário o desenvolvimento constante de aplicações para suportar os testes sobre os diferentes modelos. Esta tese debruça-se sobre uma aplicação, a plataforma myMIS, que permite a interpretação de modelos orientados à gestão, escritos numa linguagem específica de domínio, sendo realizada a avaliação do estado atual e definida uma proposta de práticas de testes a aplicar no desenvolvimento da mesma. A proposta resultante desta tese permitiu verificar que, apesar das dificuldades inerentes à arquitetura da aplicação, o desenvolvimento de testes de uma forma genérica é possível, podendo as mesmas lógicas ser utilizadas para o teste de diversos modelos distintos.

Criação de uma Framework Modular Vocacionada para o Desenvolvimento de Videojogos

Os videojogos são cada vez mais uma das maiores áreas da indústria de entretenimento, tendo esta vindo a expandir-se de ano para ano. Para além disso, os videojogos estão cada vez mais presentes no nosso dia-adia, quer através dos dispositivos móveis ou das novas consolas. Com base nesta premissa, é seguro de afirmar que o investimento neste campo trará mais ganhos do que perdas. Esta Dissertação tem como objetivo o estudo do estado da indústria dos videojogos, tendo como principal foco a conceção de um videojogo, a partir duma Framework Modular, desenvolvida também no âmbito desta Dissertação. Para isso, é feito um estudo sobre o estado da arte tecnológico, onde várias ferramentas de criação de videojogos foram estudadas e analisadas, de forma a perceber as forças e fraquezas de cada uma, e um estudo sobre a arte do negócio, ficando assim com uma ideia mais concreta dos vários pontos necessários para a criação de um videojogo. De seguida são discutidos os diferentes géneros de videojogos existentes e é conceptualizado um pequeno videojogo, tendo ainda em conta os diferentes tipos de interfaces que são mais utilizados na indústria dos videojogos, de forma a entender qual será a forma mais viável, conforme o género, e as diferentes mecânicas presentes no videojogo a criar. A Framework Modular é desenvolvida tendo em conta toda a análise previamente realizada, e o videojogo conceptualizado. Esta tem como grande objetivo uma elevada personalização e manutenibilidade, sendo que todos os módulos implementados podem ser substituídos por outros sem criar conflitos entre si. Finalmente, de forma a unir todos os temas analisados ao longo desta Dissertação, é ainda desenvolvido um Protótipo de forma a comprovar o bom funcionamento da Framework, aplicando todas as decisões previamente feitas.

An integer programming framework for sequencing cutting patterns based on interval graph completion

We derived a framework in integer programming, based on the properties of a linear ordering of the vertices in interval graphs, that acts as an edge completion model for obtaining interval graphs. This model can be applied to problems of sequencing cutting patterns, namely the minimization of open stacks problem (MOSP). By making small modifications in the objective function and using only some of the inequalities, the MOSP model is applied to another pattern sequencing problem that aims to minimize, not only the number of stacks, but also the order spread (the minimization of the stack occupation problem), and the model is tested.

A Data Mining Framework for Electric Load Profiling

This paper consists in the characterization of medium voltage (MV) electric power consumers based on a data clustering approach. It is intended to identify typical load profiles by selecting the best partition of a power consumption database among a pool of data partitions produced by several clustering algorithms. The best partition is selected using several cluster validity indices. These methods are intended to be used in a smart grid environment to extract useful knowledge about customers’ behavior. The data-mining-based methodology presented throughout the paper consists in several steps, namely the pre-processing data phase, clustering algorithms application and the evaluation of the quality of the partitions. To validate our approach, a case study with a real database of 1.022 MV consumers was used.

Stochastic Framework for Strategic Decision-making of Load-serving Entities for Day-ahead Market

The deregulation of electricity markets has diversified the range of financial transaction modes between independent system operator (ISO), generation companies (GENCO) and load-serving entities (LSE) as the main interacting players of a day-ahead market (DAM). LSEs sell electricity to end-users and retail customers. The LSE that owns distributed generation (DG) or energy storage units can supply part of its serving loads when the nodal price of electricity rises. This opportunity stimulates them to have storage or generation facilities at the buses with higher locational marginal prices (LMP). The short-term advantage of this model is reducing the risk of financial losses for LSEs in DAMs and its long-term benefit for the LSEs and the whole system is market power mitigation by virtually increasing the price elasticity of demand. This model also enables the LSEs to manage the financial risks with a stochastic programming framework.

A framework to operate transformations between distinct models differing in modelling concepts

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Sustentabilidade e bem-estar humano : duas faces da mesma moeda? : estudo exploratório do bem estar subjectivo em comunidades intencionais que vivem segundo princípios de sustentabilidade

RESUMO - Nos últimos vinte anos tem-se assistido a uma crescente consciencialização de que os nossos estilos de vida são insustentáveis aos níveis económico, social e ambiental, o que tem repercussões na nossa saúde e bem-estar. Do crescimento populacional à pobreza e inequidade geradas pelo modelo de “crescimento económico” actual, à perda de biodiversidade e disrupção dos ecossistemas naturais, ao desmesurado crescimento urbano, à poluição e acumulação de desperdícios, às alterações climáticas, ao isolamento individual e à diminuição do capital social na sociedade do consumo: a necessidade de desenvolvimento sustentável e gerador de bem-estar nunca foi tão grande e evidente. Ao longo dos últimos anos têm surgido comunidades intencionais que se organizam segundo princípios de sustentabilidade, como um fenómeno de contra-cultura – as Ecoaldeias (Ecovillages). No entanto, os benefícios para a saúde e bem-estar deste tipo de comunidades não são ainda claros, sendo a experiência de investigação nesta área escassa. O estudo aqui proposto visa conhecer, a título exploratório, os níveis de bem-estar subjectivo em comunidades intencionais que vivem segundo princípios de sustentabilidade em Portugal, se estes níveis são melhores que na população em geral, e quais os factores percebidos que o influenciam. Para tal, terá componentes quantitativas e qualitativas e irá basear-se num questionário auto-administrado aos residentes das Ecoaldeias portuguesas, que inclui o Índice de Bem-estar Pessoal - uma escala de medição do Bem-estar subjectivo validada para a população portuguesa. As suas conclusões poderão contribuir para o desenvolvimento de abordagens mais elaboradas, capazes de edificar uma infra-estrutura teórica para o sistema de conceitos em foco, tão necessária quer a investigações com maior potencial explicativo, quer a decisões com melhor fundamento. ------------ ABSTRACT - Over the past twenty years there has been a growing awareness that the way we live is unsustainable at the economic, social and environmental level, which has impact in our health and wellbeing. From the population growth to poverty and inequity generated by the current model of economic growth, to biodiversity loss and disruption of natural ecosystems, to disproportionate urban growth, to pollution and waste accumulation, to climate change and the individual isolation social loss capital in the consumption society: the need for a development that is sustainable and generates wellbeing has never been greater and more evident. Over the last years intentional communities who live according to principles of sustainability have emerged, has a phenomenon of counter-culture - the ecovillages. The health and wellbeing benefits of this type of communities are not clear, as the investigation in this area is little. The aim of this exploratory study is to know the levels of subjective wellbeing of such communities, in Portugal, if these levels are different from the general population and what are the main perceived contributing factors. This study will have a qualitative and quantitative component and will be based in the application of a self-administered questionnaire that includes the Subjective Wellbeing Index, a measurement scale of subjective wellbeing, validated for the Portuguese population. Its findings may contribute to the development of more elaborate approaches that allow to build a theoretical framework for the system of concepts focused, needed both for further investigations with more explanatory potential, as for more grounded decision-making, to tackle the challenges of sustainable development.

Desenvolvimento de uma framework para a criação de videojogos

Os videojogos são cada vez mais parte integrante da sociedade, sendo que a massificação dos vários dispositivos que se encontram atualmente veio ajudar os videojogos a estarem mais presentes no dia-a-dia das pessoas. Mas a criação de jogos só é possível através de ferramentas bem específicas, as frameworks ou motores de videojogos. Com estas é possível criar os mais diferentes géneros de videojogos para os mais diferentes dispositivos. Contudo, nem todas essas ferramentas são gratuitas, e as que são encontram-se pouco documentadas ou limitadas em determinadas funcionalidades, o que poderá levar mais tempo no desenvolvimento de um videojogo. O trabalho desenvolvido nesta dissertação visa a criação de uma framework capaz de suportar diferentes géneros de videojogos, mas também que facilmente possibilite a alteração ou substituição de diferentes partes internas da framework sem que esta deixe de funcionar. Para isso, foi realizada uma análise ao estado atual do mercado dos videojogos, bem como das ferramentas que possibilitam a criação dos mesmos, passando também pelas interfaces gráficas existentes nos videojogos. Como forma de demonstrar as funcionalidades implementadas na framework, foi desenvolvido um protótipo de um videojogo de luta, tirando-se, assim, partido de algumas das características dessa ferramenta.

Framework-specific DSL para sensoriamento participado

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

Reflections on the legal framework for relations between cooperatives and subsidiaries.

In the light of Portuguese legal system, cooperative enterprises may include an enterprise carried out by a subsidiary, provided they conform to certain requirements. The aim of this paper is to reflect on the issue of the legal framework of the relationship between the cooperative and the subsidiary. There are several problems to be addressed in this paper: (i) How to qualify such a relationship since corresponding to mere investments made by the cooperative? Should it be classified as non-member cooperative transactions or as extraordinary activities? (ii) How to qualify such a relationship when related to the development of preparatory or complementary activities for the economic activity developed between the cooperative and its members? May we speak, in this situation, of a concept of “indirect mutuality”, as provided in other legal systems? (iii) How should we classify and what is the regime of the economic results from the activity developed by the subsidiary? We will conclude, advocating: (i) That the cooperative enterprise may include an enterprise carried out by a subsidiary if this is deemed necessary to satisfy the interests of the members; (ii) The inadmissibility of the concept of “indirect mutuality”; (iii) The inadequacy of qualifying the legal relationship between the cooperative partner (iv) The application, to the economic results coming from the activity developed by the subsidiary, of the regime provided for in the Portuguese Cooperative Code to the results from non-member cooperative transactions; (v) The economic results coming from the activity developed by the subsidiary cannot be appropriated by individual co-operators members, and so should be allocated to indivisible reserves.

A framework for memory contention analysis in multi-core platforms

The last decade has witnessed a major shift towards the deployment of embedded applications on multi-core platforms. However, real-time applications have not been able to fully benefit from this transition, as the computational gains offered by multi-cores are often offset by performance degradation due to shared resources, such as main memory. To efficiently use multi-core platforms for real-time systems, it is hence essential to tightly bound the interference when accessing shared resources. Although there has been much recent work in this area, a remaining key problem is to address the diversity of memory arbiters in the analysis to make it applicable to a wide range of systems. This work handles diverse arbiters by proposing a general framework to compute the maximum interference caused by the shared memory bus and its impact on the execution time of the tasks running on the cores, considering different bus arbiters. Our novel approach clearly demarcates the arbiter-dependent and independent stages in the analysis of these upper bounds. The arbiter-dependent phase takes the arbiter and the task memory-traffic pattern as inputs and produces a model of the availability of the bus to a given task. Then, based on the availability of the bus, the arbiter-independent phase determines the worst-case request-release scenario that maximizes the interference experienced by the tasks due to the contention for the bus. We show that the framework addresses the diversity problem by applying it to a memory bus shared by a fixed-priority arbiter, a time-division multiplexing (TDM) arbiter, and an unspecified work-conserving arbiter using applications from the MediaBench test suite. We also experimentally evaluate the quality of the analysis by comparison with a state-of-the-art TDM analysis approach and consistently showing a considerable reduction in maximum interference.

A framework for robustness assessment in the context of corroded RC structures

Structural robustness is an emergent concept related to the structural response to damage. At the present time, robustness is not well defined and much controversy still remains around this subject. Even if robustness has seen growing interest as a consequence of catastrophic consequences due to extreme events, the fact is that the concept can also be very useful when considered on more probable exposure scenarios such as deterioration, among others. This paper intends to be a contribution to the definition of structural robustness, especially in the analysis of reinforced concrete structures subjected to corrosion. To achieve this, first of all, several proposed robustness definitions and indicators and misunderstood concepts will be analyzed and compared. From this point and regarding a concept that could be applied to most type of structures and dam-age scenarios, a robustness definition is proposed. To illustrate the proposed concept, an example of corroded reinforced concrete structures will be analyzed using nonlinear analysis numerical methods based on a contin-uum strong discontinuities approach and isotropic damage models for concrete. Finally the robustness of the presented example will be assessed.

A Visual Programming Framework for Wireless Sensor Networks in Smart Home Applications

International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP 2015). 7 to 9, Apr, 2015. Singapure, Singapore.

A framework for using real data with distributed low cost sensors

Currently, due to the widespread use of computers and the internet, students are trading libraries for the World Wide Web and laboratories with simulation programs. In most courses, simulators are made available to students and can be used to proof theoretical results or to test a developing hardware/product. Although this is an interesting solution: low cost, easy and fast way to perform some courses work, it has indeed major disadvantages. As everything is currently being done with/in a computer, the students are loosing the “feel” of the real values of the magnitudes. For instance in engineering studies, and mainly in the first years, students need to learn electronics, algorithmic, mathematics and physics. All of these areas can use numerical analysis software, simulation software or spreadsheets and in the majority of the cases data used is either simulated or random numbers, but real data could be used instead. For example, if a course uses numerical analysis software and needs a dataset, the students can learn to manipulate arrays. Also, when using the spreadsheets to build graphics, instead of using a random table, students could use a real dataset based, for instance, in the room temperature and its variation across the day. In this work we present a framework which uses a simple interface allowing it to be used by different courses where the computers are the teaching/learning process in order to give a more realistic feeling to students by using real data. A framework is proposed based on a set of low cost sensors for different physical magnitudes, e.g. temperature, light, wind speed, which are connected to a central server, that the students have access with an Ethernet protocol or are connected directly to the student computer/laptop. These sensors use the communication ports available such as: serial ports, parallel ports, Ethernet or Universal Serial Bus (USB). Since a central server is used, the students are encouraged to use sensor values results in their different courses and consequently in different types of software such as: numerical analysis tools, spreadsheets or simply inside any programming language when a dataset is needed. In order to do this, small pieces of hardware were developed containing at least one sensor using different types of computer communication. As long as the sensors are attached in a server connected to the internet, these tools can also be shared between different schools. This allows sensors that aren't available in a determined school to be used by getting the values from other places that are sharing them. Another remark is that students in the more advanced years and (theoretically) more know how, can use the courses that have some affinities with electronic development to build new sensor pieces and expand the framework further. The final solution provided is very interesting, low cost, simple to develop, allowing flexibility of resources by using the same materials in several courses bringing real world data into the students computer works.

Supporting NAT traversal and secure communications in a protocol implementation framework

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores