950 resultados para Symbolic Execution
Resumo:
In this paper we present ezGo, an electric powered wheelchair with a speech based interface and biosignal monitoring instrumentation. The user can use the voice, a natural communication method, for controlling the chair movement and obtain information about his health. Additionally a set of semi-autonomous modes with macro recording enable the execution of navigation tasks with little effort and improved precision. The main purpose of the system is to provide severely disabled persons with an assistive device that can improve their confidence and daily independence. The obtained results on usability tests showed that users consider ezGo a valuable help on their daily tasks and a very desirable addition to standard wheelchairs.
Resumo:
Dissertação para obtenção do Grau de Mestre em Lógica Computacional
Resumo:
Pequenas empresas reconhecem a necessidade de sistematizar os seus procedimentos, por forma, a alcançarem sucesso nas suas propostas de negócio. Esta padronização pressupõe uma avaliação do enquadramento social e de mercado existente e dos valores, missão e objetivos das próprias empresas. As constantes inovações na área tecnológica e as mudanças sociais, refletem-se no desenvolvimento e estratégia a seguir pelas organizações, que se desdobram num ambiente muito competitivo e dinâmico, o que lhes exige uma atenção constante e ponderada. Ao analisarmos uma micro empresa portuguesa, que desenvolve a sua atividade na área da gestão e promoção de imóveis para arrendamento de curta duração, verificamos a existência de lacunas ao nível do seu modelo de gestão operacional. A escassez de meios financeiros e humanos, e o fraco conhecimento das práticas de gestão organizacional e estratégica, são fatores limitadores para o bom desempenho da empresa, podendo colocar em causa a sua viabilidade a curto prazo. Esta constatação foi o ponto de partida para a realização deste projeto que, após as diversas leituras efetuadas, o levantamento dos processos existentes, a análise e ponderação das diversas soluções possíveis a aplicar, terminou na proposta de um Sistema de Informação - opção que nos pareceu ser a mais adequada. Esta proposta foi aprovada pela gestão da empresa e o Sistema de Informação irá ser implementado. O presente trabalho teve como objetivo ajudar esta organização a melhorar o seu desempenho. Para atingir estes objetivos foi necessário elencar os pontos fortes e fracos desta empresa, de forma a ser possível agregar num documento, as necessidades que a mesma demonstrava, para colmatar as falhas existentes e que poderiam ser, num futuro próximo, motivo de desagregação da mesma. A metodologia adotada seguiu uma estratégia de investigação descritiva, utilizando o método de investigação-ação. A recolha de dados baseou-se em entrevistas à equipa de gestão e colaboradores da empresa, em documentação levantada na mesma relativa aos processos de gestão e informação institucional, cujos conteúdos foram analisados numa perspetiva qualitativa.
Resumo:
Dissertação para obtenção do Grau de Mestre em Engenharia Informática
Resumo:
Dissertação de Mestrado apresentado ao Instituto Superior de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Auditoria, sob orientação de Doutora Alcina de Sena Portugal Dias Esta versão contém as críticas e sugestões de elementos do júri
Resumo:
Esta dissertação tem como principal objetivo a criação de uma interface humana, baseada na eletromiografia dos músculos orbicular do olho e frontalis. O algoritmo de programação do microcontrolador ATmega2560 deteta o piscar de olhos voluntário, conta o número de vezes que este acontece e verifica se preenche os requisitos necessários à execução de um comando. Para este efeito foram utilizados elétrodos para a captação do sinal eletromiográfico. O sinal analógico é condicionado pela Shield ECG/EMG da Olimex sendo enviado para o arduíno ATmega2560. Este microcontrolador administra todos os atuadores, dos quais o mais importante é um painel de comandos (quatro comandos diferentes), no qual existe um ponteiro motorizado que indica qual a ação a realizar. O código de execução é extremamente simples: se o utilizador piscar os olhos três vezes, o ponteiro movimenta-se para a secção do painel imediatamente à direita; e se o utilizador piscar os olhos quatro vezes, o ponteiro movimenta-se para a secção do painel imediatamente à esquerda. Os testes realizados com este dispositivo indicam que os utilizadores demoram menos de 10 minutos a aprender a utilizar e executar todos os comandos do painel. Apenas num dos testes realizados o dispositivo não funcionou. Dos utilizadores que realizaram o teste: vários usam óculos; um idoso com graves problemas auditivos, cegueira parcial e dificuldades locomotoras; nenhum foi incapaz de piscar, pelo menos, um dos olhos voluntariamente; e a maioria referiu que, com alguma concentração e principalmente se ouvirem o bip sonoro, a aprendizagem de utilização torna-se muito fácil. Apesar dos limites impostos à concretização de um projeto deste tipo (dos quais se evidenciam as dificuldades em conseguir voluntários com paralisia medular, bem como os limites orçamentais), pode-se afirmar que este dispositivo é eficaz e seria uma mais valia quando implementado num cenário de paralisia medular (total ou parcial). A melhoria de qualidade de vida de um utilizador com estes problemas físicos, ou outros que lhe comprometam a locomoção é garantida. O cenário em que vivem é tremendamente limitado sendo urgente criar soluções para tornar estas vidas mais cómodas. Com os devidos aplicativos, o utilizador poderia abrir portas ou janelas, acender ou apagar luzes, pedir ajuda, ajustar a posição da cama, controlar cadeiras de rodas, entre outros. É neste sentido que surge a minha motivação de criar algo que ajude estas pessoas.
Resumo:
O ensaio de dureza, e mais concretamente o ensaio de micro dureza Vickers, é no universo dos ensaios mecânicos um dos mais utilizados quer seja na indústria, no ensino ou na investigação e desenvolvimento de produto no âmbito das ciências dos materiais. Na grande maioria dos casos, a utilização deste ensaio tem como principal aplicação a caracterização ou controlo da qualidade de fabrico de materiais metálicos. Sendo um ensaio de relativa simplicidade de execução, rapidez e com resultados comparáveis e relacionáveis a outras grandezas físicas das propriedades dos materiais. Contudo, e tratando-se de um método de ensaio cuja intervenção humana é importante, na medição da indentação gerada por penetração mecânica através de um sistema ótico, não deixa de exibir algumas debilidades que daí advêm, como sendo o treino dos técnicos e respetivas acuidades visuais, fenómenos de fadiga visual que afetam os resultados ao longo de um turno de trabalho; ora estes fenómenos afetam a repetibilidade e reprodutibilidade dos resultados obtidos no ensaio. O CINFU possui um micro durómetro Vickers, cuja realização dos ensaios depende de um técnico treinado para a execução do mesmo, apresentando todas as debilidades já mencionadas e que o tornou elegível para o estudo e aplicação de uma solução alternativa. Assim, esta dissertação apresenta o desenvolvimento de uma solução alternativa ao método ótico convencional na medição de micro dureza Vickers. Utilizando programação em LabVIEW da National Instruments, juntamente com as ferramentas de visão computacional (NI Vision), o programa começa por solicitar ao técnico a seleção da câmara para aquisição da imagem digital acoplada ao micro durómetro, seleção do método de ensaio (Força de ensaio); posteriormente o programa efetua o tratamento da imagem (aplicação de filtros para eliminação do ruído de fundo da imagem original), segue-se, por indicação do operador, a zona de interesse (ROI) e por sua vez são identificadas automaticamente os vértices da calote e respetivas distâncias das diagonais geradas concluindo, após aceitação das mesmas, com o respetivo cálculo de micro dureza resultante. Para validação dos resultados foram utilizados blocos-padrão de dureza certificada (CRM), cujos resultados foram satisfatórios, tendo-se obtido um elevado nível de exatidão nas medições efetuadas. Por fim, desenvolveu-se uma folha de cálculo em Excel com a determinação da incerteza associada às medições de micro dureza Vickers. Foram então comparados os resultados nas duas metodologias possíveis, pelo método ótico convencional e pela utilização das ferramentas de visão computacional, tendo-se obtido bons resultados com a solução proposta.
Resumo:
A evolução tecnológica tem sido de tal ordem que a realidade virtual deixou de ser um mero conceito que apenas é possível de implementar recorrendo a máquinas com um poder de processamento muito elevado. Tendo em conta o potencial da realidade virtual e a não existência de boas práticas na criação da interface de um sistema que use este conceito, pretende-se, nesta dissertação, fazer um estudo sobre como pode ser analisada e estruturada a componente de interação através da estratificação de níveis de interação para as diferentes operações do sistema pretendido. Por forma a ser possível, posteriormente, comparar cada um dos sistemas relativamente à interação, foram estipulados um conjunto de ações/operações que teriam de ser passíveis de executar em cada um, bem como, um tema base, uma aplicação de realidade virtual de simulação de espaço aplicada ao sector mobiliário. Depois de implementados os sistemas, estes foram apresentados a um conjunto de pessoas que foram inquiridas sobre os mesmos, por forma a avaliar a interação com cada um. Através dos resultados obtidos da avaliação dos inquéritos entregues, foi possível concluir que, para uma grande parte das operações implementadas, existe uma preferência para que a realização da operação seja o mais similar à sua execução num contexto real.
Resumo:
Este trabalho pretende estabelecer uma relação entre o Work Index e algumas propriedades das rochas. Através da pesquisa bibliográfica foram identificadas varias propriedades com possível influência no valor do Work Index, das quais foram seleccionadas a massa volúmica aparente, a resistência à carga pontual, a composição química, a composição mineralógica e a abrasividade. Adicionalmente a porosidade aberta e resistência à compressão também foram analisadas. Assim foram analisadas 10 amostras de rocha, quatro de granitos, uma de quartzodiorito, uma de ardósia, uma de serpentinito, uma de calcário, uma de mármore e uma de sienito nefelínico, sobre as quais já eram conhecidos os valores de cinco das propriedades referidas previamente, tendo sido determinados os valores das ainda desconhecidas, resistência à carga pontual e a abrasividade que está representada através do resultado do ensaio capon. Devido à dificuldade de execução do ensaio de determinação do Work Index de Bond foram recolhidos dados bibliográficos de valores do Work Index para as amostras de rocha seleccionadas e adoptado o valor médio para cada uma. Os dados obtidos foram tratados estatisticamente através do método de análise de componentes principais assim como através de regressões lineares simples e múltiplas. A análise de componentes principais permitiu identificar várias propriedades da rocha com possível influência sobre o Work Index de entre as analisadas. Foi possível estabelecer uma relação entre o Work Index e quatro das propriedades seleccionadas, designadamente a porosidade aberta, a resistência à compressão, a resistência à carga pontual e a abrasividade.
Resumo:
Este relatório diz respeito ao trabalho desenvolvido em ambiente de estágio curricular na construção de um empreendimento comercial na zona de Oeiras, compreendendo a construção de um edifício, infra-estruturas enterradas e arranjos exteriores. O estágio foi realizado na Volare – Gestão de Projectos, S.A., empresa dedicada à execução de obras de construção civil destinadas ao grupo Ibersol. Embora todas as áreas de gestão abordadas no estudo sejam de extrema importância, as áreas de gestão do custo, gestão das compras e gestão do tempo revelam-se ainda extremamente valorizadas pelas empresas de construção – o que faz com continuem a existir derrapagens orçamentais e incumprimento de prazos. Só uma gestão rigorosa, eficiente e capaz de abraçar todas as áreas de conhecimentos abordadas, tornará possível alcançar os patamares de satisfação das empresas e dos clientes. O presente relatório mostra que o gestor de obras deve possuir grande capacidade de liderança, de comunicação e negociação O objectivo deste relatório, para além da descrição de todos os trabalhos práticos de execução da obra, é de transcrever os conhecimentos aplicados ao longo do estágio, nomeadamente no que concerne aos dos processos de ‘Gestão, Coordenação e Planeamento’, directamente ligados as funções da ‘Direcção Técnica de Obra’ durante toda a fase de execução da empreitada, estando o principal foco na descrição das actividades referentes ao controlo da obra.
Resumo:
Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.
Resumo:
O estágio foi um complemento da formação académica, disponibilizado pelo Instituto Superior de Engenharia do Porto, permitindo o contacto e a inserção do estagiário no mercado de trabalho. Este relatório retrata o percurso realizado durante o estágio, e representa o culminar do Curso de Mestrado em Engenharia civil no Ramo de Gestão de Obras. O estágio, com duração de 6 meses, realizou-se na empresa Cogedir – Gestão de Projetos S.A. sediada em Vila Nova de Gaia. A integração na empresa permitiu adquirir e desenvolver competências que habilitaram o estagiário a prestar funções de direção e fiscalização de obras, pois durante o período de estágio foram atribuídas diversas funções do ramo de gestão, como a coordenação e gestão de obras, resposta a concursos públicos e privados, orçamentação, entre outras, sendo que o estágio se focalizou sobretudo na coordenação e gestão da execução de um empreendimento destinado a um Hotel e Spa na região de Águeda. Este relatório tenta demonstrar que os conhecimentos obtidos ao longo do curso foram devidamente interiorizados e aplicados em ambiente empresarial e para isso serão abordadas as principais funções, responsabilidades e atividades desempenhadas ao longo da execução do empreendimento em foco tentando dar exemplos de cada atividade. Para além disso haverá lugar a um capítulo inteiramente dedicado à gestão do planeamento a nível de prazos e custos de uma das fases de execução do empreendimento. Essa gestão será realizada com recurso à ferramenta de gestão designada por Método EVM, incorporada no programa Microsoft Project 2013. Este método oferece a possibilidade de cálculo de vários indicadores de um projeto e será explicado de forma intuitiva, simples e completa, possibilitando a sua fácil consulta ao longo da vida profissional.
Resumo:
O presente relatório retrata o estágio curricular desenvolvido no segundo ano do Mestrado em Engenharia Civil - Ramo de Construções do Instituto Superior de Engenharia do Porto. O relatório fará primeiramente uma abordagem às principais tarefas desempenhadas durante o estágio bem como uma abordagem à empresa adjudicatária da obra em análise. Seguidamente apresenta-se a obra em que se desenvolveu o estágio, “Requalificação e Reabilitação de Vila D’ Este Fase II”, onde será feita uma descrição do estado em que se encontravam os edifícios antes de serem intervencionados, bem como das intervenções efetuadas. Na sequência da apresentação da obra, será feita uma abordagem ao tema de estudo deste relatório, o Sistema ETICS. Este sistema com crescente procura no mercado, tem muitos parâmetros aos quais deve obedecer, pelo que neste relatório serão apresentados todos os aspetos considerados relevantes à sua correta execução. Para terminar serão verificadas as melhorias impostas por este Sistema. Inicialmente com uma abordagem em termos energéticos e depois uma abordagem ao controlo da humidade e prevenção das condensações.
Resumo:
Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.
Resumo:
Actualmente e cada vez mais, são concebidos e utilizados programas de cálculo automático de Engenharia na realização de projectos de edifícios, que proporcionam aos engenheiros uma possibilidade avançada e rápida de execução, simulação e análise de edifícios para estruturas complexas e de elevada dimensão. Contudo, será necessário que os resultados deverão ser fiáveis de modo a não existirem consequências no comportamento real da estrutura a longo prazo. O presente relatório de estágio, refere-se à verificação aos estados limites de utilização (tensões, fendilhação e deformação) segundo o Eurocódigo 2, de uma estrutura porticada em betão armado, nomeadamente de um pórtico central pertencente a essa mesma estrutura recorrendo ao programa de cálculo automático da Autodesk o Robot Structural Analysis Professional 2014. O objectivo principal do presente trabalho consiste na comparação de resultados referente aos estados limites últimos e de utilização, pelos diferentes módulos de dimensionamento Required e Provided Reinforcement presentes no programa Robot. É destacado no final do relatório, considerando uma disposição de armadura optada analiticamente para o pórtico, uma análise comparativa de resultados referente aos estados limites de utilização entre o comando Typical Reinforcement do módulo Provided Reinforcement e por expressões analíticas. Refere-se contudo que, o procedimento do método analítico teve como base de cálculo uma aplicação desenvolvida para a verificação de elementos de betão armado aos estados limites de utilização segundo o Eurocódigo 2, com o nome de XD-Conserv tendo sido também comparado os resultados finais do mesmo.