Scalable Intelligence for Scheduling Systems

A personalização é um aspeto chave de uma interação homem-computador efetiva. Numa era em que existe uma abundância de informação e tantas pessoas a interagir com ela, de muitas maneiras, a capacidade de se ajustar aos seus utilizadores é crucial para qualquer sistema moderno. A criação de sistemas adaptáveis é um domínio bastante complexo que necessita de métodos muito específicos para ter sucesso. No entanto, nos dias de hoje ainda não existe um modelo ou arquitetura padrão para usar nos sistemas adaptativos modernos. A principal motivação desta tese é a proposta de uma arquitetura para modelação do utilizador que seja capaz de incorporar diferentes módulos necessários para criar um sistema com inteligência escalável com técnicas de modelação. Os módulos cooperam de forma a analisar os utilizadores e caracterizar o seu comportamento, usando essa informação para fornecer uma experiência de sistema customizada que irá aumentar não só a usabilidade do sistema mas também a produtividade e conhecimento do utilizador. A arquitetura proposta é constituída por três componentes: uma unidade de informação do utilizador, uma estrutura matemática capaz de classificar os utilizadores e a técnica a usar quando se adapta o conteúdo. A unidade de informação do utilizador é responsável por conhecer os vários tipos de indivíduos que podem usar o sistema, por capturar cada detalhe de interações relevantes entre si e os seus utilizadores e também contém a base de dados que guarda essa informação. A estrutura matemática é o classificador de utilizadores, e tem como tarefa a sua análise e classificação num de três perfis: iniciado, intermédio ou avançado. Tanto as redes de Bayes como as neuronais são utilizadas, e uma explicação de como as preparar e treinar para lidar com a informação do utilizador é apresentada. Com o perfil do utilizador definido torna-se necessária uma técnica para adaptar o conteúdo do sistema. Nesta proposta, uma abordagem de iniciativa mista é apresentada tendo como base a liberdade de tanto o utilizador como o sistema controlarem a comunicação entre si. A arquitetura proposta foi desenvolvida como parte integrante do projeto ADSyS - um sistema de escalonamento dinâmico - utilizado para resolver problemas de escalonamento sujeitos a eventos dinâmicos. Possui uma complexidade elevada mesmo para utilizadores frequentes, daí a necessidade de adaptar o seu conteúdo de forma a aumentar a sua usabilidade. Com o objetivo de avaliar as contribuições deste trabalho, um estudo computacional acerca do reconhecimento dos utilizadores foi desenvolvido, tendo por base duas sessões de avaliação de usabilidade com grupos de utilizadores distintos. Foi possível concluir acerca dos benefícios na utilização de técnicas de modelação do utilizador com a arquitetura proposta.

Middleware for Large-scale Distributed Systems

Nos últimos anos o aumento exponencial da utilização de dispositivos móveis e serviços disponibilizados na “Cloud” levou a que a forma como os sistemas são desenhados e implementados mudasse, numa perspectiva de tentar alcançar requisitos que até então não eram essenciais. Analisando esta evolução, com o enorme aumento dos dispositivos móveis, como os “smartphones” e “tablets” fez com que o desenho e implementação de sistemas distribuidos fossem ainda mais importantes nesta área, na tentativa de promover sistemas e aplicações que fossem mais flexíveis, robutos, escaláveis e acima de tudo interoperáveis. A menor capacidade de processamento ou armazenamento destes dispositivos tornou essencial o aparecimento e crescimento de tecnologias que prometem solucionar muitos dos problemas identificados. O aparecimento do conceito de Middleware visa solucionar estas lacunas nos sistemas distribuidos mais evoluídos, promovendo uma solução a nível de organização e desenho da arquitetura dos sistemas, ao memo tempo que fornece comunicações extremamente rápidas, seguras e de confiança. Uma arquitetura baseada em Middleware visa dotar os sistemas de um canal de comunicação que fornece uma forte interoperabilidade, escalabilidade, e segurança na troca de mensagens, entre outras vantagens. Nesta tese vários tipos e exemplos de sistemas distribuídos e são descritos e analisados, assim como uma descrição em detalhe de três protocolos (XMPP, AMQP e DDS) de comunicação, sendo dois deles (XMPP e AMQP) utilzados em projecto reais que serão descritos ao longo desta tese. O principal objetivo da escrita desta tese é demonstrar o estudo e o levantamento do estado da arte relativamente ao conceito de Middleware aplicado a sistemas distribuídos de larga escala, provando que a utilização de um Middleware pode facilitar e agilizar o desenho e desenvolvimento de um sistema distribuído e traz enormes vantagens num futuro próximo.

Ocupação da orla costeira, sua morfologia e riscos inerentes. Caso de Estudo Caminha-Espinho

Neste relatório é descrito o estágio curricular efetuado na Agência Portuguesa do Ambiente – Administração da Região Hidrográfica do Norte, na Divisão de Recursos Hídricos do Litoral no âmbito da unidade curricular de Dissertação/Projeto/Estágio do Mestrado em Engenharia Civil – ramo de Infraestruturas do Instituto Superior de Engenharia do Porto. Durante o estágio pretendeu-se estudar a ocupação e ordenamento da orla costeira Caminha-Espinho, estudar fenómenos de erosão/acreção de sedimentos, bem como analisar riscos a ela inerentes. Foram desenvolvidos três trabalhos distintos. No primeiro, identificaram-se e caracterizaram-se as ocupações em Domínio Público Marítimo. De seguida, pretendeu-se quantificar balanços sedimentares desta orla, utilizando como referência dados dos anos 2001 e 2011. Por fim, abordaram-se os riscos associados à orla costeira, soluções implementadas e intervenções efetuadas pela APA sobre algumas zonas de risco. Cada trabalho levou à produção de um anexo respetivo que apresenta com maior detalhe os resultados obtidos.

Gestão de solventes nas atividades de revestimento e formulação de tintas

O presente trabalho teve como objetivo a realização de um plano de gestão de solventes e sua análise para propor melhorias no cumprimento dos valores legalmente impostos. Foram realizados dois planos distintos, um referente à indústria de revestimento e outro à indústria de formulação de tintas. As abordagens na realização e análise de resolução de problemas são distintas, uma vez que os limites legais são diferentes em ambos os casos. Os componentes que apresentam uma maior expressão face ao plano de gestão de solventes são os compostos orgânicos voláteis (COVs), e é a partir destes componentes que se efetuou toda a análise. Inicialmente foi necessário conhecer todo o funcionamento de cada empresa, os procedimentos adotados, a utilização dos produtos e as técnicas operacionais. Determinaram-se os pontos críticos na avaliação dos problemas que se verificaram nos planos de gestão de solventes e analisaram-se as possibilidades técnicas e tecnológicas passiveis de utilização para a resolução ou minimização desses problemas principalmente na empresa A que excede o limite legalmente imposto. As possibilidades centram-se a nível tecnológico de equipamentos e em produtos utilizados em ambos os casos.

Desenho e desenvolvimento de um Sistema de Informação em Oracle ADF

Um Sistema de Informação consiste num sistema capaz de armazenar, organizar e estruturar dados para ajudar a responder às necessidades das empresas, passando também pela capacidade de resposta às questões diárias das empresas. Assim, um Sistema de Informação pode ser definido como o software que ajuda a organizar e analisar dados, tendo como objetivo fornecer informação útil na altura certa para que possa ser utilizada para a tomada de decisões ou para uma gestão mais eficiente dos diversos fluxos que uma empresa pode conter. Neste sentido, o projeto apresentado centra-se no desenho e construção de um Sistema de Informação capaz de gerir o negócio de uma empresa do setor alimentar, mais propriamente do setor da transformação de carnes. Foi desenvolvido em Oracle ADF, de forma a aproveitar as vantagens inerentes à tecnologia e ao desenvolvimento web. Sendo uma tecnologia relativamente nova no mercado e dominada por poucos, a sua utilização neste momento pode tornar-se uma grande vantagem. Para o desenvolvimento da aplicação foi realizado o levantamento e análise de requisitos, foi criada a base de dados capaz de suportar o funcionamento do software e desenvolvido um sistema de login, capaz de gerir as sessões de cada utilizador. Foi implementado um processo de introdução e edição de informação, nomeadamente o registo de entradas, transformações e saídas. Contemplou-se também uma secção com dados mestre da empresa com a possibilidade de inserção, atualização e/ou remoção. Além disso, foram incorporadas validações em todos os processos que são usados pelos utilizadores, de modo a evitar a existência de dados incoerentes ou duplicados. Relativamente à lógica de negócio, foi embutida na aplicação de forma a permitir consultar a informação de forma clara, rápida e em diversos lugares, reduzindo tempo e tarefas ao colaborador/utilizador, visto que os processos foram automatizados. Com a implementação deste Sistema de Informação, a empresa pode usufruir de um sistema integrado capaz de gerir e controlar todo o seu processo produtivo, reduzindo custos e desperdícios, aumentando a produtividade e eficiência.

Esclonamento de máquinas de cogeração utilzando programação inteira mista

As centrais termoelétricas convencionais convertem apenas parte do combustível consumido na produção de energia elétrica, sendo que outra parte resulta em perdas sob a forma de calor. Neste sentido, surgiram as unidades de cogeração, ou Combined Heat and Power (CHP), que permitem reaproveitar a energia dissipada sob a forma de energia térmica e disponibilizá-la, em conjunto com a energia elétrica gerada, para consumo doméstico ou industrial, tornando-as mais eficientes que as unidades convencionais Os custos de produção de energia elétrica e de calor das unidades CHP são representados por uma função não-linear e apresentam uma região de operação admissível que pode ser convexa ou não-convexa, dependendo das caraterísticas de cada unidade. Por estas razões, a modelação de unidades CHP no âmbito do escalonamento de geradores elétricos (na literatura inglesa Unit Commitment Problem (UCP)) tem especial relevância para as empresas que possuem, também, este tipo de unidades. Estas empresas têm como objetivo definir, entre as unidades CHP e as unidades que apenas geram energia elétrica ou calor, quais devem ser ligadas e os respetivos níveis de produção para satisfazer a procura de energia elétrica e de calor a um custo mínimo. Neste documento são propostos dois modelos de programação inteira mista para o UCP com inclusão de unidades de cogeração: um modelo não-linear que inclui a função real de custo de produção das unidades CHP e um modelo que propõe uma linearização da referida função baseada na combinação convexa de um número pré-definido de pontos extremos. Em ambos os modelos a região de operação admissível não-convexa é modelada através da divisão desta àrea em duas àreas convexas distintas. Testes computacionais efetuados com ambos os modelos para várias instâncias permitiram verificar a eficiência do modelo linear proposto. Este modelo permitiu obter as soluções ótimas do modelo não-linear com tempos computationais significativamente menores. Para além disso, ambos os modelos foram testados com e sem a inclusão de restrições de tomada e deslastre de carga, permitindo concluir que este tipo de restrições aumenta a complexidade do problema sendo que o tempo computacional exigido para a resolução do mesmo cresce significativamente.

Heurísticas de pesquisa local para problemas de máquina única

O escalonamento é uma das decisões mais importantes no funcionamento de uma linha de produção. No âmbito desta dissertação foi realizada uma descrição do problema do escalonamento, identificando alguns métodos para a optimização dos problemas de escalonamento. Foi realizado um estudo ao caso do problema de máquina única através do teste de várias instâncias com o objectivo de minimizar o atraso pesado, aplicando uma Meta-Heurística baseada na Pesquisa Local e dois algoritmos baseados no SB. Os resultados obtidos reflectem que os algoritmos baseados no SB apresentaram resultados mais próximos do óptimo, em relação ao algoritmo baseado na PL. Os resultados obtidos permitem sustentar a hipótese de não existirem algoritmos específicos para os problemas de escalonamento. A melhor forma de encontrar uma solução de boa qualidade em tempo útil é experimentar diferentes algoritmos e comparar o desempenho das soluções obtidas.

Hypermedia-based Web Services as System Integrators

As we move more closely to the practical concept of the Internet of Things and, our reliance on public and private APIs increases, web services and their related topics have become utterly crucial to the informatics community. However, the question about which style of web services would best solve a particular problem, can raise signi cant and multifarious debates. There can be found two implementation styles that highlight themselves: the RPC-oriented style represented by the SOAP protocol’s implementations and the hypermedia style, which is represented by the REST architectural style’s implementations. As we search examples of already established web services, we can nd a handful of robust and reliable public and private SOAP APIs, nevertheless, it seems that RESTful services are gaining popularity in the enterprise community. For the current generation of developers that work on informatics solutions, REST seems to represent a fundamental and straightforward alternative and even, a more deep-rooted approach than SOAP. But are they comparable? Do both approaches have each speci c best suitable scenarios? Such study is brie y carried out in the present document’s chapters, starting with the respective background study, following an analysis of the hypermedia approach and an instantiation of its architecture, in a particular case study applied in a BPM context.

Optical clearing mechanisms characterization in muscle

Optical immersion clearing is a technique that has been widely studied for more than two decades and that is used to originate a temporary transparency effect in biological tissues. If applied in cooperation with clinical methods it provides optimization of diagnosis and treatment procedures. This technique turns biological tissues more transparent through two main mechanisms — tissue dehydration and refractive index (RI) matching between tissue components. Such matching is obtained by partial replacement of interstitial water by a biocompatible agent that presents higher RI and it can be completely reversible by natural rehydration in vivo or by assisted rehydration in ex vivo tissues. Experimental data to characterize and discriminate between the two mechanisms and to find new ones are necessary. Using a simple method, based on collimated transmittance and thickness measurements made from muscle samples under treatment, we have estimated the diffusion properties of glucose, ethylene glycol (EG) and water that were used to perform such characterization and discrimination. Comparing these properties with data from literature that characterize their diffusion in water we have observed that muscle cell membrane permeability limits agent and water diffusion in the muscle. The same experimental data has allowed to calculate the optical clearing (OC) efficiency and make an interpretation of the internal changes that occurred in muscle during the treatments. The same methodology can now be used to perform similar studies with other agents and in other tissues in order to solve engineering problems at design of inexpensive and robust technologies for a considerable improvement of optical tomographic techniques with better contrast and in-depth imaging.

Exoneração do Passivo Restante

A atual crise económica determinou um aumento significativo de casos de insolvência de pessoas singulares, uma vez que as famílias, para verem satisfeitas as suas necessidades, recorrem, por vezes em demasia, a instituições de crédito, o que leva ao seu sobreendividamento. Deste modo, o processo de insolvência pode ser o último recurso para as pessoas singulares resolverem a sua situação de incumprimento. Entre as medidas aplicáveis às pessoas singulares destaca-se a exoneração do passivo restante, prevista nos artigos 235.º a 248.º do CIRE. Esta solução dá aos devedores a possibilidade de se libertarem de algumas das suas dívidas com vista à sua reabilitação económica. É nisto que se traduz o princípio do fresh start. Este trabalho tem por objeto a insolvência de pessoas singulares, em especial a exoneração do passivo restante e o fundamento de indeferimento liminar do pedido de exoneração baseado na culpa do devedor na criação ou agravamento da sua situação de insolvência, constante do artigo 238º nº 1 al. e) do CIRE.