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.

Modelo de iluminação global por radiação (radiosidade)

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, para a obtenção Engenharia Informática

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).

Águas pluviais em meio urbano contribuição de Lisboa para o seu uso sustentável

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Sanitária

Modelação numérica de ensaios de macacos planos de grande área (LFJ) para determinação da deformabilidade de maciços rochosos

Dissertação elaborada no Laboratório Nacional de Engenharia Civil para obtenção do grau de Mestre em Engenharia Civil de Geotecnia pela Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa no âmbito do convénio de cooperação entre a UNL e o LNEC

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.

Novas soluções com TIC: boas práticas no 1º Ciclo do Ensino Básico

Vários estudos se têm realizado com a finalidade perceber a integração das TIC em contextos educativos e as respostas dos professores às novas tecnologias. Todavia, actualmente começa a haver necessidade de repensar as práticas pedagógicas que geram processos metodológicos de mudança ou se persistem práticas pedagógicas tradicionais e, ainda, quem as realiza, em que contextos e que preocupações têm estes professores. Este texto tem como propósito apresentar concepções dos professores sobre o que é uma boa prática e referir algumas experiências realizadas pelos professores em sala de aula.

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

Modelação e reforço de vigas de betão armado com laminados de fibra de carbono

Com o atual estado da construção em Portugal, a reabilitação urbana é uma realidade. Com muitos dos edifícios a necessitarem de reforço, procurou-se abordar o comportamento real das estruturas, indo além da típica análise linear elástica. Desta forma, pretendeu-se aumentar o conhecimento acerca da modelação numérica não-linear de estruturas de betão armado, expondo modelos de cálculo relativamente simples e de fácil compreensão, com o objetivo de servir de base a uma avaliação da capacidade de carga de um elemento estrutural. O modelo de cálculo foi validado com recurso ao trabalho experimental de Bresler e Scordelis (1963). Analisou-se o comportamento até à rotura de três vigas ensaiadas à flexão. Posteriormente, foi realizado um estudo paramétrico de algumas propriedades do betão com vista à discussão do melhor de ajuste. Em seguida, já no campo do reforço estrutural, simulou-se numericamente vigas reforçadas com CFRP, com recurso à técnica EBR e NSM. Comparam-se os resultados numéricos com os ensaios experimentais de Cruz et al. (2011a). Avaliou-se ainda o desempenho de soluções alternativas com variações na área e comprimento dos laminados. Para finalizar, foi desenvolvida uma campanha experimental com diferentes áreas de reforço. Conceberam-se e executaram-se três vigas de betão armado sobre as quais se instalaram laminados de CFRP. Os resultados experimentais são apresentados e discutidos à luz dos resultados do respetivo modelo numérico. No cômputo geral, o presente trabalho permitiu aferir a validade de modelos não-lineares na previsão do comportamento efetivo das estruturas até à rotura. Assinala-se a concordância em vários resultados experimentais analisados. Ficaram também patentes os principais fenómenos ligados ao reforço de vigas com CFRP, focados nos respetivos modelos de cálculo e nos resultados experimentais apresentados.

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.

MixCloud middleware para replicação e integração de repositórios chave/valor

Dissertação para obtenção do Grau de Mestre em Engenharia Informática