O uso de ferramentas computacionais para avaliação postural tem sido de grande valia na detecção das alterações posturais, porém a utilização destes programas exige estruturas de hardware complexas e implica em custos elevados para pesquisadores da fisioterapia, educação física e da comunidade científica. No ano 2005 foi criado o Software de Avaliação Postural (SAPO) que é uma opção gratuita para os mesmos fins, amplamente utilizada pela comunidade científica e profissional com ótimos resultados documentados. Apesar do sucesso do SAPO na comunidade científica este programa possui limitações. Neste âmbito a proposta do presente trabalho é desenvolver um software denominado ApLoB (Avaliação Postural do Laboratório de Biofísica) para avaliação postural, tendo como parâmetro de desenvolvimento o SAPO, mas tentando colaborar em relação à superação de suas limitações. Para isso, seu desenvolvimento é baseado nas estruturas e metodologias estabelecidas pela engenharia de software que permitam a continuidade do trabalho e melhorias de suas funcionalidades. O software foi desenvolvido utilizando a linguagem de programação Python, suas extensões científicas como NumPy, a biblioteca de processamento de imagem (PIL), a aplicação para interfaces gráficas (PyQt), além da biblioteca de plotagem de dados em 2D e desenvolvimento de aplicações de processamento de sinais (Guiqwt), dentre outros. O protótipo obtido foi testado e comparado em relação às suas funcionalidades com o software SAPO e foram considerados aceitáveis / The use of computational tools for postural evaluation has been very valuable in the detection of postural changes, however the use of these programs requires complex hardware structures and involves high costs for researchers in physiotherapy, physical education and the scientific community. In 2005, the Postural Assessment Software (SAPO) became to be a free option for the same purpose, widely used by the scientific community and professional with excellent documented results. Despite the success of SAPO in the scientific community, this software has limitations. So, the purpose of this study is to develop a software called ApLoB (Postural Assessment Laboratory of Biophysics) for postural assessment, having as parameter the development SAPO, but trying to collaborate on the overcome of its limitations. For this reason, its development is based on the structures and methods established by the software engineering that allow continuity of work and improved functionality. The software was developed using the Python programming language, scientific and NumPy extensions, the library of image processing (PIL), the application for graphical interfaces (PyQt), as well as data plotting library of 2D and application development signal processing (Guiqwt), among others. The prototype obtained was tested and its functionality was found to be acceptable, compared to SAPO

Empresas vêm realizando reavaliações de seus negócios para se tornarem mais produtivas e efetivas perante seus concorrentes. Assim, a automação de processo de negócios vem ganhando importância dentro de organizações, pois pode ser vista como uma tecnologia de componentes que substitui ou suplementa processos manuais, buscando eliminar intervenções humanas que não adicionem valor ao processo. Por isso, o gerenciamento Worklflow vem sendo cada vez mais explorado nos negócios numa grande variedade de empresas. A Internet tornou-se uma plataforma comum global na qual organizações disponibilizam seus recursos de negócio como serviços, o que faz da tecnologia Web Services um componente-chave para tais organizações. A composição de Web Services através de linguagens para modelagem Workflow é considerada um paradigma emergente que possibilita a integração tanto de aplicações internas, como de aplicações que transpõem as fronteiras organizacionais. Grande parte das linguagens para esse tipo de composição, apesar de possuírem uma boa documentação, mostrando como representar suas estruturas, não tratam de como interpretar tal representação e invocar os Web Services necessários na ordem definida no Workflow. Esta pesquisa apresenta um estudo sobre Workflow e Web Services com o intuito de definir uma linguagem de Workflow que utilize Web Services como componentes. Foi desenvolvida uma arquitetura para um ambiente de execução para tal linguagem, de maneira a avaliar o estudo realizado, mostrando as vantagens da utililização desse tipo de tecnologia, como por exemplo, flexibilidade e reutilização.

Os processos de desenvolvimento de software, de uma forma geral, não apresentam detalhes das atividades e dos procedimentos relacionados à verificação da qualidade de código. Baseado em pesquisas relacionadas à verificação da qualidade de código, métricas e medidas de software foi elaborado e avaliado um procedimento para verificação da qualidade de código-fonte de uma linguagem orientada a objeto. Através do procedimento desenvolvido, é possível identificar se o código-fonte possui as características de qualidade adequadas a um projeto de desenvolvimento de software. As métricas de codificação são identificadas a partir da definição das características de qualidade apropriadas ao projeto. O procedimento proposto foi utilizado em um ambiente de desenvolvimento real, o que possibilitou a avaliação de sua utilização e permitiu a verificação de suas vantagens e benefícios. Possíveis melhorias, bem como algumas limitações do procedimento também foram verificadas.

CCS (Communicating and Concurrent Systems) is the process algebra to specify and verify concurrent and communicating systems. This work proposes a transformation guide of the CCS equations into to the UML-RT (Unified Modeling Language for Real-Time) model and a transformation guide of the UML-RT model into a set of CCS equations. The UML-RT model is a software design language, which supports code generation and the construction of executable systems. The UML-RT is an UML extension, and it does not have a formal semantics; therefore it is not possible to verify UMLRT models. The transformation guide of UML-RT models into CCS equations allows verifying the models. We argue that the transformation of CCS models into UML-RT models allows an alternative way of correctly building systems. This work details the transformation guides from CCS equations to UML-RT models and from UML-RT models to CSS equations and it discusses the limitations and benefits.

Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2011

Dissertação apresentada para obtenção do grau de Doutor em Informática (Área de Conhecimento de Engenharia de Computadores), no Departamento de Informática da Escola de Engenharia da Universidade do Minho, sob a orientação dos Profs. Doutores Alberto José Gonçalves de Carvalho Proença e Henrique Manuel Dinis dos Santos

O planejamento de curto prazo em minas a céu aberto exige a definição de poligonais, que representam os sucessivos avanços de lavra. As poligonais, tradicionalmente, são desenhadas em um processo laborioso na tentativa de delinear como minério em qualidade e quantidade de acordo com os limites determinados. O minério delimitado deve apresentar a menor variabilidade em qualidade possível, com o objetivo de maximizar a recuperação na usina de processamento. Essa dissertação visa desenvolver um fluxo do trabalho para definir poligonais de curto prazo de forma automática, além disso, sequenciar todos os blocos de minério de cada polígono de modo a definir uma sequência interconectada lavrável de poligonais. O fluxo do trabalho foi aplicada à incerteza de teores, obtida através de simulações estocásticas. Algoritmos genéticos foram desenvolvidos em linguagem de programação Python e implementados na forma de plug-in no software geoestatístico Ar2GeMS. Múltiplas iterações são criadas para cada avanço individual, gerando regiões (ou poligonais). Então, a região que apresenta menor variabilidade de teores é selecionada. A distribuição de probabilidade dos teores dos blocos em cada avanço é comparada com a distribuição global de teores, calculada a partir de todos os blocos do corpo de minério. Os resultados mostraram que os teores dos blocos abrangidos pelas poligonais criadas dessa forma apresentam teores similares à distribuição de referência, permitindo o sequenciamento de lavra com distribuição de teores mais próximo possível da distribuição global. Modelos equiprováveis permitem avaliar a incerteza associada à solução proposta. / Open-pit short-term planning requieres the definition of polygons identifying the successive mining advances. These polygons are drawn in a labour intensive task attempting to delineate ore with the quantity and quality within established ranges. The ore delineated by the polygons should have the least possible quality variability among them, helping in maximizing ore recovery at the processing plant. This thesis aims at developíng a workflow for drawing short-term polygons automatically, sequencing all ore blocks within each polygon and leading to a mineable and connected sequence of polygons. This workflow is also tested under grade uncertainty obtained through multiple syochastic simulated models. For this, genetics algorithms were developed in Python programming language and pluged in Ar2GeMS geostatistical software. Multiple iterations were generated for each of the individual advances, generating regions or polygons, and selecting the regions of lower grade variability. The blocks probability distribution within each advance were compared to the global distribution, including all blocks within the ore body. Results show that the polygons generated are comprised by block grades similar to the ones from the reference distribution, leading to mining sequence as close as possible to the global maintaining a quasi-satationarity. Equally probable models provide the means to access the uncertainy in the solution provided.

O planejamento de curto prazo em minas a céu aberto exige a definição de poligonais, que representam os sucessivos avanços de lavra. As poligonais, tradicionalmente, são desenhadas em um processo laborioso na tentativa de delinear como minério em qualidade e quantidade de acordo com os limites determinados. O minério delimitado deve apresentar a menor variabilidade em qualidade possível, com o objetivo de maximizar a recuperação na usina de processamento. Essa dissertação visa desenvolver um fluxo do trabalho para definir poligonais de curto prazo de forma automática, além disso, sequenciar todos os blocos de minério de cada polígono de modo a definir uma sequência interconectada lavrável de poligonais. O fluxo do trabalho foi aplicada à incerteza de teores, obtida através de simulações estocásticas. Algoritmos genéticos foram desenvolvidos em linguagem de programação Python e implementados na forma de plug-in no software geoestatístico Ar2GeMS. Múltiplas iterações são criadas para cada avanço individual, gerando regiões (ou poligonais). Então, a região que apresenta menor variabilidade de teores é selecionada. A distribuição de probabilidade dos teores dos blocos em cada avanço é comparada com a distribuição global de teores, calculada a partir de todos os blocos do corpo de minério. Os resultados mostraram que os teores dos blocos abrangidos pelas poligonais criadas dessa forma apresentam teores similares à distribuição de referência, permitindo o sequenciamento de lavra com distribuição de teores mais próximo possível da distribuição global. Modelos equiprováveis permitem avaliar a incerteza associada à solução proposta. / Open-pit short-term planning requieres the definition of polygons identifying the successive mining advances. These polygons are drawn in a labour intensive task attempting to delineate ore with the quantity and quality within established ranges. The ore delineated by the polygons should have the least possible quality variability among them, helping in maximizing ore recovery at the processing plant. This thesis aims at developíng a workflow for drawing short-term polygons automatically, sequencing all ore blocks within each polygon and leading to a mineable and connected sequence of polygons. This workflow is also tested under grade uncertainty obtained through multiple syochastic simulated models. For this, genetics algorithms were developed in Python programming language and pluged in Ar2GeMS geostatistical software. Multiple iterations were generated for each of the individual advances, generating regions or polygons, and selecting the regions of lower grade variability. The blocks probability distribution within each advance were compared to the global distribution, including all blocks within the ore body. Results show that the polygons generated are comprised by block grades similar to the ones from the reference distribution, leading to mining sequence as close as possible to the global maintaining a quasi-satationarity. Equally probable models provide the means to access the uncertainy in the solution provided.

O planejamento de curto prazo em minas a céu aberto exige a definição de poligonais, que representam os sucessivos avanços de lavra. As poligonais, tradicionalmente, são desenhadas em um processo laborioso na tentativa de delinear como minério em qualidade e quantidade de acordo com os limites determinados. O minério delimitado deve apresentar a menor variabilidade em qualidade possível, com o objetivo de maximizar a recuperação na usina de processamento. Essa dissertação visa desenvolver um fluxo do trabalho para definir poligonais de curto prazo de forma automática, além disso, sequenciar todos os blocos de minério de cada polígono de modo a definir uma sequência interconectada lavrável de poligonais. O fluxo do trabalho foi aplicada à incerteza de teores, obtida através de simulações estocásticas. Algoritmos genéticos foram desenvolvidos em linguagem de programação Python e implementados na forma de plug-in no software geoestatístico Ar2GeMS. Múltiplas iterações são criadas para cada avanço individual, gerando regiões (ou poligonais). Então, a região que apresenta menor variabilidade de teores é selecionada. A distribuição de probabilidade dos teores dos blocos em cada avanço é comparada com a distribuição global de teores, calculada a partir de todos os blocos do corpo de minério. Os resultados mostraram que os teores dos blocos abrangidos pelas poligonais criadas dessa forma apresentam teores similares à distribuição de referência, permitindo o sequenciamento de lavra com distribuição de teores mais próximo possível da distribuição global. Modelos equiprováveis permitem avaliar a incerteza associada à solução proposta. / Open-pit short-term planning requieres the definition of polygons identifying the successive mining advances. These polygons are drawn in a labour intensive task attempting to delineate ore with the quantity and quality within established ranges. The ore delineated by the polygons should have the least possible quality variability among them, helping in maximizing ore recovery at the processing plant. This thesis aims at developíng a workflow for drawing short-term polygons automatically, sequencing all ore blocks within each polygon and leading to a mineable and connected sequence of polygons. This workflow is also tested under grade uncertainty obtained through multiple syochastic simulated models. For this, genetics algorithms were developed in Python programming language and pluged in Ar2GeMS geostatistical software. Multiple iterations were generated for each of the individual advances, generating regions or polygons, and selecting the regions of lower grade variability. The blocks probability distribution within each advance were compared to the global distribution, including all blocks within the ore body. Results show that the polygons generated are comprised by block grades similar to the ones from the reference distribution, leading to mining sequence as close as possible to the global maintaining a quasi-satationarity. Equally probable models provide the means to access the uncertainy in the solution provided.

Neste trabalho, o estudo do controle de um manipulador robótico é abordado do ponto de vista da simulação computacional e da implementação prática do sistema de controle do robô, ora em contrução na Divisão de Engenharia Mecânica e Aeronáutica do ITA do ponto de vista da simulação, obtivemos o modelo dinâmico do manipulador robótico de seu sistema de acionamento. Diversas estratégias de controle foram consideradas, em particular estratégias adaptativas do tipo LPAC (Linear Perturbed Adaptive Control) e Torque Computado. A implementação do sistema de controle envolveu p desenvolvimento de software em tempo real na linguagem de programação "C", utilizando o hardware composto de microcomputador IBM-PC compatível e placas de aquisição AD/DA. É implementado em controlador PID adaptativo do tipo MRAC (Model Reference Adaptive Control). O Software desenvolvido pode ser utilizado no controle do robô completo com 3 graus de liberdade, assim que estiver completa a montagem mecânica do manipulador.