BAMoL Formalização da linguagem e validação sintática de modelos

A BAMoL (Business Application Modeling Language) é uma linguagem de domínio específico utilizada para o desenvolvimento de soluções para a plataforma myMIS, no âmbito dos sistemas de informação para a gestão. Esta linguagem carecia de dois aspetos, nomeadamente a sua formalização e a existência de mecanismos de validação sintática das soluções desenvolvidas. Estes problemas identificados tornam impossível a validação sintática das soluções desenvolvidas utilizando esta linguagem, aumentando assim a probabilidade de existência de erros, podendo fazer com que as mesmas sejam mais ineficientes e podendo até trazer um aumento de custos de manutenção da plataforma. De forma a resolver os problemas enunciados, foi realizada, para o primeiro, uma descrição textual de todos os constituintes da linguagem e criada uma gramática representativa da mesma, em que constam todos os seus elementos e regras. No caso do segundo problema, a sua resolução passou pela criação de uma ferramenta que utiliza a gramática criada e que permite validar sintaticamente e encontrar as falhas das soluções desenvolvidas. Desta forma, passa a ser possível detetar os erros existentes nas soluções, permitindo assim à equipa de desenvolvimento ter maior controlo sobre as mesmas, podendo torná-las mais corretas, na perspetiva das regras da linguagem.

Tradutor da língua gestual portuguesa modelo de tradução bidireccional

O projeto tem como objetivo desenvolver e avaliar um modelo que facilita o acesso para pessoas surdas ou com deficiência auditiva, o acesso ao conteúdo digital - em particular o conteúdo educacional e objetos de aprendizagem – a criação de condições para uma maior inclusão social de surdos e deficientes auditivos. Pretende-se criar um modelo bidirecional, em que permite a pessoas com deficiências auditivas, possam se comunicar com outras pessoas, com a tradução da Língua Gestual Portuguesa (LGP) para a Língua Portuguesa (LP) e que outras pessoas não portadoras de qualquer deficiência auditiva possam por sua vez comunicar com os surdos ou deficientes auditivos através da tradução da LP para a LGP. Há um conjunto de técnicas que poderíamos nos apoiar para desenvolver o modelo e implementar a API de tradução da LGP em LP. Muitos estudos são feitos com base nos modelos escondidos de Markov (HMM) para efetuar o reconhecimento. Recentemente os estudos estão a caminhar para o uso de técnicas como o “Dynamic Time Warping” (DTW), que tem tido mais sucesso do que outras técnicas em termos de performance e de precisão. Neste projeto optamos por desenvolver a API e o Modelo, com base na técnica de aprendizagem Support Vector Machines (SVM) por ser uma técnica simples de implementar e com bons resultados demonstrados em reconhecimento de padrões. Os resultados obtidos utilizando esta técnica de aprendizagem foram bastante ótimos, como iremos descrever no decorrer do capítulo 4, mesmo sabendo que utilizamos dois dispositivos para capturar dados de descrição de cada gesto. Toda esta tese integra-se no âmbito do projeto científico/ investigação a decorrer no grupo de investigação GILT, sob a coordenação da professora Paula Escudeiro e suportado pela Fundação para Ciência e Tecnologia (FCT).

Parameterização e validação do modelo computacional de brechas em barragens de aterro RoDaB

Dissertação para obtenção do Grau de Mestre em Mestrado Integrado em Engenharia Civil – Perfil de Construção

Alteração do paradigma da gestão dos cuidados à pessoa com infecção VIH : um modelo centrado nos cuidados de saúde primários

RESUMO - A infecção por VIH é reconhecida mundialmente como um problema de saúde pública, apesar de todos os esforços e recursos despendidos e dos avanços científicos conseguidos nos últimos anos. Portugal, apesar do registo da diminuição de novos casos de infecção VIH, encontra-se no 4.º lugar (dos países da União Europeia) em termos de incidência de infecção por VIH (dados de 2008). Esta situação, juntamente com a crescente constatação dos custos elevados para o tratamento desta infecção, da variabilidade de práticas e a fragmentação dos cuidados, motivou a reflexão sobre modelos alternativos de organização de cuidados, inspirados em modelos de gestão da doença e idealmente centrados nos cuidados de saúde primários. O presente trabalho teve como objectivos analisar os modelos de organização de cuidados prestados à pessoa com VIH, nos países desenvolvidos, a nível dos cuidados de saúde primários e compreender o nível de adequação dos resultados encontrados, para a realidade portuguesa. Para os alcançar foi realizada uma revisão da literatura e a realização de entrevistas a profissionais de saúde. Nos artigos analisados na revisão da literatura, verificou-se consenso em torno de um modelo baseado em cuidados partilhados, entre os prestadores primários e os diferenciados. Foram ainda referenciados múltiplos factores e condições que terão de ser assegurados para uma possível implementação do modelo. Quanto aos entrevistados verificou-se uma opinião favorável em relação ao modelo de cuidados partilhados, mostrando-se expectantes e despertos para a necessidade de mudança, perspectivando uma maior integração do actual estado de organização dos cuidados para a pessoa com VIH. Estes indícios reflectem a relevância de maior investigação sobre o modelo de cuidados partilhados.

Proposta para um modelo de gestão de resíduos urbanos volumosos (monstros)

Dissertação para obtenção do Grau de Mestre em Engenharia do Ambiente, perfil Engenharia Sanitária

Modelo de seleção de fornecedores baseado em dados reais – desenvolvimento de ferramentas para os métodos de seleção

A seleção de fornecedores é considerada atualmente estratégica para as empresas que estão inseridas em ambientes cada vez mais dinâmicos e exigentes. Nesta dissertação são determinados os critérios e métodos mais usados no problema de seleção de fornecedores. Para estes serem alcançados, analisaram-se artigos da área e de ilustres autores para assim se perceber quais os critérios das áreas mais influentes, na hora de tomada de decisão sobre os melhores fornecedores para as empresas. A partir deste estudo foi construído um inquérito de resposta curta, enviado a empresas a laborar em Portugal, para se obter as importâncias dadas aos critérios por parte das empresas. Com estas respostas conclui-se que critérios relacionados com a qualidade e o custo são os mais relevantes. Relativamente aos métodos, foram estudados teórica e praticamente, o AHP e o SMART. O primeiro por ser o mais referenciado nos artigos estudados e o segundo por ser o mais simples de implementar e usar. No SMART foram criadas as funções valor para regerem o funcionamento do método. Estas funções foram desenvolvidas de raiz, com base num estudo bibliográfico prévio para cada um dos subcritérios, para se entender qual o melhor tipo de função a aplicar definindo matematicamente melhor o comportamento de cada um deles. A tomada de decisão é bastante importante nas organizações, pois pode conduzir ao sucesso ou insucesso. Assim é explicado a envolvente da tomada de decisão, o problema da seleção dos fornecedores, como se desenvolve o processo de seleção e quais são os métodos existentes para auxiliar a escolha dos mesmos. Por fim é apresentado o modelo proposto baseado nos resultados obtidos através do inquérito, e a aplicação dos dois métodos (AHP e SMART) para um melhor entendimento dos mesmos.

A lean construction e a sustentabilidade – paradigmas complementares implementação de um modelo de optimização

Dissertação para obtenção do Grau de Mestre em Engenharia Civil – Perfil Construção

O modelo de polícia dos postos da guarda

V Curso de estudos avançados em Direito e Segurança 2008/2010

Projecto de implementação do modelo SIG na Administração Municipal de Matala.

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica.

Desenvolvimento de um modelo para a gestão de stocks no grupo Nors

Hoje em dia, um dos grandes objetivos das empresas é conseguirem uma gestão eficiente. Em particular, empresas que lidam com grandes volumes de stocks têm a necessidade de otimizar as quantidades dos seus produtos armazenados, com o objetivo, de entre outros, reduzir os seus custos associados. O trabalho documentado descreve um novo modelo, desenvolvido para a gestão de encomendas de uma empresa líder em soluções de transporte. A eficiência do modelo foi alcançada com a utilização de vários métodos matemáticos de previsão. Salientam-se os métodos de Croston, Teunter e de Syntetos e Boylan adequados para artigos com procuras intermitentes e a utilização de métodos mais tradicionais, tais como médias móveis ou alisamento exponencial. Os conceitos de lead time, stock de segurança, ponto de encomenda e quantidade económica a encomendar foram explorados e serviram de suporte ao modelo desenvolvido. O stock de segurança recebeu especial atenção. Foi estabelecida uma nova fórmula de cálculo em conformidade com as necessidades reais da empresa. A eficiência do modelo foi testada com o acompanhamento da evolução do stock real. Para além de uma redução significativa do valor dos stocks armazenados, a viabilidade do modelo é reflectida pelo nível de serviço alcançado.

Caminho-de-Ferro e população na Cova da Beira (1878-1930): um modelo de acessibilidade.

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica.

O ensino de cuidados continuados: proposta de modelo multimédia sobre o tema

As alterações demográficas verificadas nos últimos anos, com um peso cada vez maior da população idosa, a par da alteração do tecido social provocada pela ausência do domicílio da mulher, cuidadora tradicional, levaram à necessidade de encontrar respostas para apoio de pessoas em situação de dependência. Reabilitar e reinserir, a par de políticas de envelhecimento ativo, são alguns dos desafios no momento, a nível global. A Rede Nacional de Cuidados Continuados Integrados (RNCCI), criada pelo Decreto-Lei n.º 101/2006, de 6 de junho, tem por missão prestar os cuidados adequados, de saúde e apoio social, a todas as pessoas que, independentemente da idade, se encontrem em situação de dependência. A Prestação de Cuidados na RNCCI significa fornecer os melhores cuidados possíveis disponíveis a um indivíduo e ou família/cuidador com uma necessidade, num contexto específico. O âmbito de intervenção na RNCCI fundamenta-se no princípio dos 3 R’s – Reabilitação, Readaptação e Reinserção. Tradicionalmente, verifica-se uma boa preparação dos profissionais de saúde que acompanham o paciente mas tem-se verificado que estes cuidados se devem prolongar para além dos apenas prestados em ambiente hospitalar e/ou familiar. De facto, constata-se a necessidade de este tipo de cuidados ser mais abrangente, podendo vir a envolver outras pessoas (familiares, amigos, ou outros cuidadores), verificando-se, porém, que na maioria dos casos não dispõem de conhecimentos ou técnicas necessárias para o acompanhamento dos mesmos pelo facto de não terem uma formação efetiva relacionada com este problema. Neste sentido, e com o auxílio das tecnologias de informação emergentes e cada vez mais poderosas é atualmente possível desenvolver soluções de apoio aos cuidadores deste tipo de cuidados. Pretendemos com o presente estudo investigar essa possibilidade, contribuindo para soluções capazes de proporcionar de forma simples e intuitiva um conhecimento adicional em prol de um apoio mais eficaz nestas situações. Para o efeito, foi desenvolvido um protótipo com essa finalidade que foi posto em prática e para o qual se apresentam os resultados obtidos.

Análise da eficácia da aplicação da Metodologia FMEA do Processo: Caso de estudo numa empresa certificada

Num mercado globalizado, a procura contínua de vantagens competitivas é um fator crucial para o sucesso das organizações. A melhoria contínua dos processos é uma abordagem usual, uma vez que os resultados destas melhorias vão se traduzir diretamente na qualidade dos produtos. Neste contexto, a metodologia Failure Mode Effect Analysis (FMEA) é muito utilizada, especialmente pelas suas características proactivas, que permitem a identificação e a prevenção de erros do processo. Assim, quanto mais eficaz for a aplicação desta ferramenta, mais benefícios terá a organização. Assim, quando é utilizado com eficácia, o FMEA de Processo, além de ser um método poderoso na análise do processo, permite a melhoria contínua e a redução dos custos [1] . Este trabalho de dissertação teve como objetivo avaliar a eficácia da utilização da ferramenta do FMEA de processo numa organização certificada segundo a norma ISO/TS16949. A metodologia proposta passa pela análise de dados reais, ou seja, comparar as falhas verificadas no mercado com as falhas que tinham sido identificadas no FMEA. Assim, ao analisar o nível de falhas identificadas e não identificadas durante o FMEA e a projeção dessas falhas no mercado, consegue-se determinar se o FMEA foi mais ou menos eficaz, e ainda, identificar fatores que condicionam a melhor utilização da mesma. Este estudo, está organizado em três fases, a primeira apresenta a metodologia proposta , com a definição de um fluxograma do processo de avaliação e as métricas usadas, a segunda fase a aplicação do modelo proposto a dois casos de estudo, e uma última fase, que consiste na análise comparativa, individual e global, que visa, além de comparar esultados, identificar pontos fracos durante a execução do FMEA. Os resultados do caso de estudo indicam que a ferramenta do FMEA tem sido usada com eficácia, pois consegue-se identificar uma quantidade significativa de falhas potenciais e evitá-las. No entanto, existem ainda falhas que não foram identificadas no FMEA e que apareceram no cliente, e ainda, algumas falhas que foram identificadas e apareceram no cliente. As falhas traduzem-se em má qualidade e custos para o negócio, pelo que são propostas ações de melhoria. Pode-se concluir que uma boa utilização do FMEA pode ser um fator importante para a qualidade do serviço ao cliente, e ainda, com impacto dos custos.

Desenvolvimento de um procedimento de Numerical Site Calibration para um Parque Eólico usando Dinâmica de Fluidos Computacional

Esta dissertação descreve o desenvolvimento e avaliação de um procedimento de \Numerical Site Calibration" (NSC) para um Parque Eólico, situado a sul de Portugal, usando Dinâmica de Fluídos Computacional (CFD). O NSC encontra-se baseado no \Site Calibration" (SC), sendo este um método de medição padronizado pela Comissão Electrónica Internacional através da norma IEC 61400. Este método tem a finalidade de quantificar e reduzir os efeitos provocados pelo terreno e por possíveis obstáculos, na medição do desempenho energético das turbinas eólicas. Assim, no SC são realizadas medições em dois pontos, no mastro referência e no local da turbina (mastro temporário). No entanto, em Parques Eólicos já construídos, este método não é aplicável visto ser necessária a instalação de um mastro de medição no local da turbina e, por conseguinte, o procedimento adequado para estas circunstâncias é o NSC. O desenvolvimento deste método é feito por um código CFD, desenvolvido por uma equipa de investigação do Instituto Superior de Engenharia do Porto, designado de WINDIETM, usado extensivamente pela empresa Megajoule Inovação, Lda em aplicações de energia eólica em todo mundo. Este código é uma ferramenta para simulação de escoamentos tridimensionais em terrenos complexos. As simulações do escoamento são realizadas no regime transiente utilizando as equações de Navier-Stokes médias de Reynolds com aproximação de Bussinesq e o modelo de turbulência TKE 1.5. As condições fronteira são provenientes dos resultados de uma simulação realizada com Weather Research and Forecasting, WRF. Estas simulações dividem-se em dois grupos, um dos conjuntos de simulações utiliza o esquema convectivo Upwind e o outro utiliza o esquema convectivo de 4aordem. A análise deste método é realizada a partir da comparação dos dados obtidos nas simulações realizadas no código WINDIETM e a coleta de dados medidos durante o processo SC. Em suma, conclui-se que o WINDIETM e as suas configurações reproduzem bons resultados de calibração, ja que produzem erros globais na ordem de dois pontos percentuais em relação ao SC realizado para o mesmo local em estudo.