SHACC: a functional prototyper for a component calculus

Over the last decade component-based software development arose as a promising paradigm to deal with the ever increasing complexity in software design, evolution and reuse. SHACC is a prototyping tool for component-based systems in which components are modelled coinductively as generalized Mealy machines. The prototype is built as a HASKELL library endowed with a graphical user interface developed in Swing

Data mining framework for fatty liver disease classification in ultrasound: a hybrid feature extraction paradigm

PURPOSE: Fatty liver disease (FLD) is an increasing prevalent disease that can be reversed if detected early. Ultrasound is the safest and ubiquitous method for identifying FLD. Since expert sonographers are required to accurately interpret the liver ultrasound images, lack of the same will result in interobserver variability. For more objective interpretation, high accuracy, and quick second opinions, computer aided diagnostic (CAD) techniques may be exploited. The purpose of this work is to develop one such CAD technique for accurate classification of normal livers and abnormal livers affected by FLD. METHODS: In this paper, the authors present a CAD technique (called Symtosis) that uses a novel combination of significant features based on the texture, wavelet transform, and higher order spectra of the liver ultrasound images in various supervised learning-based classifiers in order to determine parameters that classify normal and FLD-affected abnormal livers. RESULTS: On evaluating the proposed technique on a database of 58 abnormal and 42 normal liver ultrasound images, the authors were able to achieve a high classification accuracy of 93.3% using the decision tree classifier. CONCLUSIONS: This high accuracy added to the completely automated classification procedure makes the authors' proposed technique highly suitable for clinical deployment and usage.

Plataforma de gest��o de incidentes

Mestrado em Engenharia Electrot��cnica e de Computadores. ��rea de Especializa����o de Telecomunica����es.

Projecto suspens��o formula student

Trabalho Final de Mestrado para obten����o do grau de Mestre em Engenharia Mec��nica

Projecto de execu����o de um viaduto ferrovi��rio em bet��o armado e pr��-esfor��ado

Trabalho de Projecto para obten����o do grau de Mestre em Engenharia Civil na ��rea de Especializa����o de Estruturas

Optimiza����o energ��tica de um sistema de climatiza����o industrial

O desenvolvimento deste trabalho teve como objectivo a optimiza����o de um sistema de climatiza����o industrial, constitu��do por quatro centrais de climatiza����o adiab��ticas, que apresentam limita����es de capacidade de arrefecimento, controlo e efici��ncia. Inicialmente foi necess��ria a pesquisa bibliogr��fica e recolha de informa����o relativa �� ind��stria t��xtil e ao processo de arrefecimento evaporativo. Numa fase posterior foram recolhidos e analisados os diversos dados essenciais �� compreens��o do bin��mio edif��cio/sistema de climatiza����o, para a obten����o de poss��veis hip��teses de optimiza����o. Da fase de recolha de informa����es e dados, destaca-se, tamb��m, a realiza����o de an��lises �� qualidade do ar interior (QAI). As optimiza����es seleccionadas como pass��veis de implementa����o, foram estudadas e analisadas com o aux��lio do software de simula����o energ��tica din��mica DesignBuilder e os resultados obtidos foram devidamente trabalhados e ajustados de modo a permitir uma assimila����o amig��vel e de f��cil interpreta����o das suas vantagens e desvantagens, tendo ainda sido objecto de estudo de viabilidade econ��mica. A optimiza����o proposta reflecte uma melhoria substancial das condi����es interiores ao n��vel da temperatura e humidade relativa, resultando, ainda assim, numa redu����o de consumos energ��ticos na ordem dos 23 % (490.337 kWh), isto ��, uma poupan��a anual de 42.169 ��� aos custos de explora����o e com um per��odo de retorno de 1 ano e 11 meses.

Working in IT projects ��� Options and Limits of Work Design

Flexible forms of work like project work are gaining importance in industry and services. Looking at the research on project work, the vast majority of present literature is on project management, but increasingly, problems concerning the quality of work and the efficiency of project teams become visible. The question now is how project work can be structured in order to simultaneously provide efficient and flexible work and healthy working conditions ensuring the development of human resources for a long time. Selected results of publicly funded research into project work will be presented based on case studies in 7 software development /IT consulting project teams (N=34). A set of different methods was applied: interviews with management/project managers, group interviews on work constraints, a monthly diary about well-being and critical incidences in the course of the project, and a final evaluation questionnaire on project outcomes focusing on economic and health aspects. Findings reveal that different types of projects exist with varying degree of team members��� autonomy and influence on work structuring. An effect of self-regulation on mental strain could not be found. The results emphasize, that contradicting requirements and insufficient organizational resources with respect to the work requirements lead to an increased work intensity or work obstruction. These contradicting requirements are identified as main drivers for generating stress. Finally, employees with high values on stress for more than 2 months have significantly higher exhaustion rates than those with only one month peaks. Structuring project work and taking into account the dynamics of project work, there is a need for an active role of the project team in contract negotiation or the detailed definition of work ��� this is not only a question of individual autonomy but of negotiation the range of option for work structuring. Therefore, along with the sequential definition of the (software) product, the working conditions need to be re-defined.

Aspect-oriented domain analysis

Disserta����o de Mestrado em Engenharia Inform��tica

Integrating the theme approach with aspectual scenarios

Disserta����o de Mestrado em Engenharia Inform��tica

A engenharia de requisitos como processo inovador nas organiza����es

Trabalho realizado sob orienta����o do Prof. Ant��nio Brand��o Moniz para a disciplina ���Factores Sociais da Inova����o��� do Mestrado Engenharia Inform��tica realizado na Faculdade de Ci��ncias e Tecnologia da Universidade Nova de Lisboa

A debugging engine for parallel and distributed programs

Disserta����o apresentada para a obten����o do Grau de Doutor em Inform��tica pela Universidade Nova de Lisboa, Faculdade de Ci��ncias e Tecnologia.

Testing native speakers of German and Portuguese on the understanding of topological operators-line-region relations in gvSIG

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies

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.

Estruturas de Suporte de Terras Executadas Com Pneus. Estudo Param��trico e Conce����o de Prot��tipo

No presente trabalho descreve-se o estudo realizado no Instituto Superior de Engenharia do Porto (ISEP) com o objetivo de comprovar a viabilidade da utiliza����o de pneus em fim de vida em estruturas de solo refor��ado. As estruturas de suporte de terras materializadas com pneus preenchidos com solo s��o usadas em alguns pa��ses, sobretudo em estruturas do tipo gravidade. Investiga-se neste trabalho o seu desempenho em estruturas de solo refor��ado. Com a finalidade de prever o comportamento da constru����o, foi utilizado um software desenvolvido pela empresa Canadiana Rocscience, denominado Phase2. Com este software foi poss��vel fazer uma an��lise param��trica da sec����o transversal do modelo, avaliando os esfor��os e os deslocamentos que se desenvolvem no interior da estrutura, atrav��s da utiliza����o do M��todo dos Elementos Finitos. Foi efetuada uma campanha de ensaios laboratoriais, realizados com amostras de solo retiradas do local de constru����o do prot��tipo, com o intuito de caracterizar os par��metros do solo A defini����o destes par��metros tem como objetivo tornar a simula����o o mais fidedigna poss��vel. Estruturas de Suporte de Terras Executadas Com Pneus. Estudo Param��trico e Conce����o de Prot��tipo Como valida����o da modela����o realizada no programa Phase2, o prot��tipo ser�� devidamente instrumentado com equipamentos de monitoriza����o; a informa����o recolhida receber�� um tratamento posterior e permitir�� a calibra����o do modelo num��rico. No presente trabalho define-se o plano de monitoriza����o a instalar no prot��tipo.

Automatiza����o de sistemas de inspe����o COGNEX

Com um mercado autom��vel cada vez mais competitivo e com os construtores autom��veis �� procura de atingir os zero defeitos nos seus produtos, a Bosch Car Multim��dia Portugal S.A, fabricante de sistemas multim��dia para o mercado autom��vel, tem como objetivo a qualidade perfeita dos seus produtos. Tal perfei����o exige processos de fabrico cada vez mais evolu��dos e com melhores sistemas de aux��lio �� montagem. Nesse sentido, a incorpora����o de sistemas de vis��o artificial para verifica����o da montagem correta dos componentes em sistemas multim��dia tem vindo a crescer largamente. Os sistemas de inspe����o visual da Cognex tornaram-se o standard da Bosch para a verifi-ca����o da montagem de componentes por serem sistemas bastante completos, f��ceis de con-figurar e com um suporte t��cnico bastante completo. Estes sistemas t��m vindo a ser inte-grados em diversas m��quinas (postos) de montagem e nunca foi desenvolvida uma ferra-menta normalizada para integra����o destes sistemas com as m��quinas. A ideia principal deste projeto passou por desenvolver um sistema (uma aplica����o inform��-tica) que permita controlar os indicadores de qualidade destes sistemas de vis��o, garantir o seguimento dos produtos montados e, ao mesmo tempo, efetuar c��pias de seguran��a de todo o sistema para utiliza����o em caso de avaria ou de troca de equipamento. Tal sistema foi desenvolvido recorrendo �� programa����o de uma Dynamic Link Library (DLL), atrav��s da linguagem VisualBasic.NET, que permite ��s aplica����es dos equipamen-tos (m��quinas) da Bosch Car Multim��dia comunicarem de uma forma universal e transpa-rente com os sistemas de inspe����o visual da marca Cognex. Os objetivos a que o autor se prop��s no desenvolvimento deste sistema foram na sua maioria alcan��ados e o projeto encontra-se atualmente implementado e em execu����o nas linhas de produ����o da Bosch Car Multim��dia.