GUI Inspection from Source Code Analysis

Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. This paper describes the latest results in the development of our tool to reverse engineer the GUI layer of interactive computing systems. We use static analysis techniques to generate models of the user interface behaviour from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particularly type of model that the tool is able to generate is state machines. The paper shows how graph theory can be useful when applied to these models. A number of metrics and algorithms are used in the analysis of aspects of the user interface's quality. The ultimate goal of the tool is to enable analysis of interactive system through GUIs source code inspection.

GUI Behavior from Source Code Analysis

When developing interactive applications, considering the correctness of graphical user interfaces (GUIs) code is essential. GUIs are critical components of today's software, and contemporary software tools do not provide enough support for ensuring GUIs' code quality. GUIsurfer, a GUI reverse engineering tool, enables evaluation of behavioral properties of user interfaces. It performs static analysis of GUI code, generating state machines that can help in the evaluation of interactive applications. This paper describes the design, software architecture, and the use of GUIsurfer through an example. The tool is easily re-targetable, and support is available to Java/Swing, and WxHaskell. The paper sets the ground for a generalization effort to consider rich internet applications. It explores the GWT web applications' user interface programming toolkit.

Component identification through program slicing

This paper reports on the development of specific slicing techniques for functional programs and their use for the identification of possible coherent components from monolithic code. An associated tool is also introduced. This piece of research is part of a broader project on program understanding and re-engineering of legacy code supported by formal methods

Type checking cryptography implementations

Cryptographic software development is a challenging eld: high performance must be achieved, while ensuring correctness and com- pliance with low-level security policies. CAO is a domain speci c language designed to assist development of cryptographic software. An important feature of this language is the design of a novel type system introducing native types such as prede ned sized vectors, matrices and bit strings, residue classes modulo an integer, nite elds and nite eld extensions, allowing for extensive static validation of source code. We present the formalisation, validation and implementation of this type system

Analysis of computing open source systems

Graphical user interfaces (GUIs) are critical components of today's open source software. Given their increased relevance, the correctness and usability of GUIs are becoming essential. This paper describes the latest results in the development of our tool to reverse engineer the GUI layer of interactive computing open source systems. We use static analysis techniques to generate models of the user interface behavior from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particular type of model that the tool is able to generate is state machines. The paper shows how graph theory can be useful when applied to these models. A number of metrics and algorithms are used in the analysis of aspects of the user interface's quality. The ultimate goal of the tool is to enable analysis of interactive system through GUIs source code inspection.

Wetting response of KrF laser ablated polyimide surfaces

The wettability of polyimide surfaces microstructured using KrF laser radiation at fluences above the material ablation threshold was studied by static contact angle measurements. The laser-treated surfaces present a morphology consisting of conical features whose dimensions and areal density depend on the fluence. The effect of these parameters on the surface apparent contact angle depends on the wetting regime. When wetting occurs in the homogeneous regime, the apparent contact angle of the treated surfaces increases with the radiation fluence because the cone dimensions increase. In contrast, when wetting occurs in the heterogeneous regime, the apparent contact angle increases with the radiation fluence because the average distance between cones increases. The apparent water contact angle of the laser-treated surfaces can reach values as high as 162 degrees, as compared to 75 degrees for virgin polyimide.

Optimal design of piezolaminated structures using B-spline strip finite element models

A package of B-spline finite strip models is developed for the linear analysis of piezolaminated plates and shells. This package is associated to a global optimization technique in order to enhance the performance of these types of structures, subjected to various types of objective functions and/or constraints, with discrete and continuous design variables. The models considered are based on a higher-order displacement field and one can apply them to the static, free vibration and buckling analyses of laminated adaptive structures with arbitrary lay-ups, loading and boundary conditions. Genetic algorithms, with either binary or floating point encoding of design variables, were considered to find optimal locations of piezoelectric actuators as well as to determine the best voltages applied to them in order to obtain a desired structure shape. These models provide an overall economy of computing effort for static and vibration problems.

Comporta de vigas: dimensionamento e análise estrutural

As comportas de vigas de fundo, objecto de estudo no presente trabalho, são essenciais devido à sua capacidade de controlo do fluxo de água em casos de emergência. Assim este trabalho visou o dimensionamento e análise estrutural de uma comporta dessa natureza. Para o seu dimensionamento foi essencial a norma DIN19704-1:1998, que define todos os padrões que devem ser levados em conta numa construção hidráulica em aço. Deste modo, após uma breve descrição do enquadramento e do estado da arte relativamente a este assunto, foram apresentados ao longo do trabalho, os cálculos dos principais componentes mecânicos que fazem parte dum projecto de uma comporta de vigas. Para comprovar a validade do dimensionamento da comporta realizado através da norma, recorreu-se a um software de análise e simulação por elementos finitos, COSMOSWorks, no sentido de assim prever o comportamento mecânico em análise estática linear, que as solicitações mecânicas em presença têm sobre a comporta. Os resultados da comparação entre o dimensionamento teórico e a análise de tensões através do COSMOSWorks nos elementos mais críticos da estrutura, permitem concluir globalmente que a comporta está bem dimensionada tendo em conta os esforços que tem de suportar.

Utilização dos eurocódigos na construção metálica

Os Eurocódigos estruturais são um conjunto de normas técnicas que têm como objectivo abranger o projecto e verificação de qualquer tipo de construção para os países membros da União Europeia. O objectivo deste trabalho é sistematizar todos os procedimentos que estão presentes nos Eurocódigos e que são aplicáveis, de uma forma geral, à construção metálica. Foi feito o desenvolvimento de uma solução estrutural para o caso concreto de uma estrutura metálica de uma ponte rolante com o objectivo de se fazer o levantamento dos normativos estabelecidos para o projecto de estruturas metálicas. Este trabalho foi desenvolvido considerando fundamentalmente três Eurocódigos. O Eurocódigo 0 que estabelece o princípio e bases para o projecto de estruturas, o Eurocódigo 1 que define as acções em estruturas e o Eurocódigo 3 que estabelece as regras gerais, de verificação ao fogo, de projecto de ligações e de verificação à fadiga. O trabalho desenvolvido consistiu em projectar a estrutura metálica da ponte rolante considerada e para tal foram feitos os seguintes passos. - Determinação das acções na estrutura e das situações de projecto; - Projecto da estrutura considerando a verificação de cedência ou deformação excessiva dos seus elementos; - Projecto da estrutura considerando a perda de equilíbrio estático da estrutura; - Projecto da estrutura considerando a verificação da sua resistência ao fogo; - Projecto das ligações aparafusadas; - Verificação da resistência à fadiga.

Caracterização mecânica de misturas betuminosas a aplicar em infra-estruturas de transportes

A maioria das infra-estruturas de transportes, nomeadamente os pavimentos rodoviários e aeroportuários, são constituídas por misturas betuminosas, o que permite um bom desempenho e uma adequada durabilidade, nas condições usuais de serviço. As misturas betuminosas são ainda amplamente utilizadas na construção de zonas de estacionamento de veículos, tendo-se verificado recentemente a sua aplicação também em infra-estruturas ferroviárias. Face à necessidade de melhorar o desempenho das vias-férreas, permitindo uma concepção mais durável de linhas de alta velocidade e uma redução dos custos da sua manutenção, tem-se vindo a desenvolver diversos estudos para promover a utilização de novos materiais, principalmente através da incorporação de misturas betuminosas. O presente trabalho tem como objectivo a caracterização do comportamento mecânico de misturas betuminosas a aplicar em infra-estruturas de transportes. Como metodologia para o estudo do comportamento mecânico das misturas betuminosas foram realizados em laboratório ensaios de cargas repetidas, nomeadamente, ensaios de flexão em quatro pontos para determinação da rigidez e da resistência à fadiga e ensaios de compressão triaxiais cíclicos para avaliação do comportamento à deformação permanente. A resistência à fadiga das misturas betuminosas em estudo foi avaliada através do ensaio de flexão em quatro pontos, com extensão controlada, e aplicação de um carregamento sinusoidal com diferentes frequências, de acordo com o procedimento de ensaio da norma europeia EN 12697-24 (2004 + A1: 2007). A resistência à deformação permanente das misturas betuminosas foi analisada através de ensaios de compressão triaxiais cíclicos, submetendo-as a uma tensão de confinamento estática pela aplicação parcial de vácuo e a uma pressão axial cíclica sob a forma rectangular, de acordo com a norma europeia EN 12697-25 (2004). O conhecimento destas propriedades mecânicas assume particular importância ao nível da formulação das misturas betuminosas, do dimensionamento de uma estrutura ou do estabelecimento de uma adequada solução para uma obra de reabilitação duma infra-estrutura de transportes. Para este estudo foi utilizado um modelo físico construído numa fossa no LNEC, com o propósito de serem testadas três substruturas ferroviárias não convencionais, utilizando sub-balastro betuminoso. A selecção das substruturas foi efectuada após uma análise de várias secções de estruturas já testadas e aplicadas noutros países, de forma a proporcionar comparações fiáveis entre elas. Os resultados obtidos mostraram que a mistura betuminosa AC20 base 50/70 (MB) aplicada na camada de sub-balastro é adequada para ser aplicada nas infra-estruturas de transportes pois apresenta um bom desempenho à fadiga e à deformação permanente. Através dos ensaios efectuados foi ainda possível entender a importante influência das características volumétricas, principalmente da porosidade para o bom comportamento da mistura betuminosa.

Power Electronics Didactic Modules for Direct Current Machine Control

Several didactic modules for an electric machinery laboratory are presented. The modules are dedicated for DC machinery control and get their characteristic curves. The didactic modules have a front panel with power and signal connectors and can be configurable for any DC motor type. The three-phase bridge inverter proposed is one of the most popular topologies and is commercially available in power package modules. The control techniques and power drives were designed to satisfy static and dynamic performance of DC machines. Each power section is internally self-protected against misconnections and short-circuits. Isolated output signals of current and voltage measurements are also provided, adding versatility for use either in didactic or research applications. The implementation of such modules allowed experimental confirmation of the expected performance.

Culturas, políticas e novas identidades: uma leitura europeia sobre questões de género na Ásia

Este ensaio discute algumas leituras críticas de textos teóricos da área das ciências sociais e humanas sobre o estatuto de género em países asiáticos, tentando estabelecer quais as suas principais problemáticas e metodologias. Presta especial atenção à questão das vozes femininas silenciadas e das práticas ignoradas do quotidiano das mulheres, problematizando o que sucede – ou pode suceder – quando às mulheres é permitido não só possuir um espaço social próprio (“a room of their own”, para citar Virginia Woolf), mas também uma voz própria. Para Edward Said o conceito ocidental de orientalismo implicava uma concepção masculina particular do mundo, mais evidente em romances e diários de viagem, onde as mulheres eram geralmente criaturas da fantasia masculina de poder. Esta concepção masculina do mundo oriental tende a ser estática, construindo-se assim o estereótipo do “eterno oriental”. As mulheres, tal como o “oriental”, nunca falam de si mesmos, das suas verdadeiras emoções, desejos e histórias: têm de ser representados, alguém tem de falar por si. No âmbito deste estudo, analisam-se alguns processos ideológicos e retóricos através dos quais a identidade das mulheres é construída e representada, tanto pelas próprias mulheres, como por vozes substitutas. A etnografia, a antropologia, a historiografia, a ficção, a cultura popular, os media e todos os tipos de fontes textuais e visuais desempenham um papel de relevo na invenção e na reinvenção de antigas e de novas identidades femininas, e na circulação destas no tempo e no espaço.

Avaliação da qualidade química e microbiológica de tintas didácticas do ensino pré-escolar

As tintas utilizadas nas actividades didácticas possuem na sua composição ingredientes que dada a sua natureza, modo de fabrico e de utilização, podem representar um risco para a saúde das crianças. Neste âmbito, procurou-se com este estudo avaliar a qualidade química e microbiológica das tintas utilizadas pelas crianças no ensino pré-escolar. Vinte e nove amostras de tintas, incluindo guaches, tintas de águas, digitintas e tintas para pinturas faciais foram recolhidas em oito estabelecimentos de ensino, nomeadamente, Jardins de Infância, do conselho de Vila Nova de Gaia. A avaliação microbiológica envolveu não só a determinação da concentração microbiana presente nas amostras, como também, a avaliação da estabilidade microbiana nas tintas das espécies S.aureus e E.coli. Na avaliação química procedeu-se à determinação da concentração dos metais chumbo (Pb), cádmio (Cd), crómio (Cr), cobalto (Co), níquel (Nq), manganês (Mn), cobre (Cu) e zinco (Zn) quer em algumas das amostras recolhidas nos estabelecimentos de ensino, quer em tintas adquiridas em três estabelecimentos comerciais. Os resultados obtidos da avaliação microbiológica revelam uma contaminação estática na generalidade das tintas. Três amostras de tintas apresentaram ainda elevada contaminação por fungos, nomeadamente Aspergillus spp. e Trichophyton spp. Da avaliação da estabilidade microbiana das espécies S.aureus e E.coli observou-se uma sensibilidade das mesmas às tintas, sendo evidenciado, em alguns casos, um decrescimento da concentração ao longo do tempo de exposição, e noutros, uma sensibilidade imediata. A espécie S.aureus revelou, contudo, maior capacidade de resistência que a E.coli. Os resultados obtidos da avaliação química revelaram a presença de Cr em todas as amostras, registando as tintas adquiridas em estabelecimentos comerciais concentrações mais elevadas para este metal. Os metais Cu e Zn foram detectados, em algumas amostras de tintas artísticas, em concentrações acima dos valores limites. Nas tintas para a cara foram encontrados os metais Pb, Cd, Cr e Nq, cuja utilização é interdita nestes produtos. O conhecimento das características químicas e microbiológicas das tintas utilizadas por crianças do ensino pré-escolar revelou-se de grande importância, nomeadamente, para a determinação dos riscos a que este grupo de indivíduos pode estar exposto no seu dia-a-dia quando utilizam estes produtos.

Relatório de estágio. Terapia manual ortopédica

Uma das patologias mais frequentes em traumatologia é a instabilidade do complexo articular do ombro. Essa instabilidade é explicada pela função integral anormal dos estabilizadores estáticos e dinâmicos. Por isso, num primeiro momento, o objectivo deste estudo de caso consiste na realização de uma breve revisão actualizada desta temática, visando a sua avaliação e reabilitação, enquanto num segundo momento trata de um caso concreto, à luz destes conceitos.

A new control strategy with saturation effect compensation for an autonomous induction generator drivenby wide speed range turbines

This paper presents a variable speed autonomous squirrel cage generator excited by a current-controlled voltage source inverter to be used in stand-alone micro-hydro power plants. The paper proposes a system control strategy aiming to properly excite the machine as well as to achieve the load voltage control. A feed-forward control sets the appropriate generator flux by taking into account the actual speed and the desired load voltage. A load voltage control loop is used to adjust the generated active power in order to sustain the load voltage at a reference value. The control system is based on a rotor flux oriented vector control technique which takes into account the machine saturation effect. The proposed control strategy and the adopted system models were validated both by numerical simulation and by experimental results obtained from a laboratory prototype. Results covering the prototype start-up, as well as its steady-state and dynamical behavior are presented. (C) 2011 Elsevier Ltd. All rights reserved.