Constraint reasoning for differential models

The basic motivation of this work was the integration of biophysical models within the interval constraints framework for decision support. Comparing the major features of biophysical models with the expressive power of the existing interval constraints framework, it was clear that the most important inadequacy was related with the representation of differential equations. System dynamics is often modelled through differential equations but there was no way of expressing a differential equation as a constraint and integrate it within the constraints framework. Consequently, the goal of this work is focussed on the integration of ordinary differential equations within the interval constraints framework, which for this purpose is extended with the new formalism of Constraint Satisfaction Differential Problems. Such framework allows the specification of ordinary differential equations, together with related information, by means of constraints, and provides efficient propagation techniques for pruning the domains of their variables. This enabled the integration of all such information in a single constraint whose variables may subsequently be used in other constraints of the model. The specific method used for pruning its variable domains can then be combined with the pruning methods associated with the other constraints in an overall propagation algorithm for reducing the bounds of all model variables. The application of the constraint propagation algorithm for pruning the variable domains, that is, the enforcement of local-consistency, turned out to be insufficient to support decision in practical problems that include differential equations. The domain pruning achieved is not, in general, sufficient to allow safe decisions and the main reason derives from the non-linearity of the differential equations. Consequently, a complementary goal of this work proposes a new strong consistency criterion, Global Hull-consistency, particularly suited to decision support with differential models, by presenting an adequate trade-of between domain pruning and computational effort. Several alternative algorithms are proposed for enforcing Global Hull-consistency and, due to their complexity, an effort was made to provide implementations able to supply any-time pruning results. Since the consistency criterion is dependent on the existence of canonical solutions, it is proposed a local search approach that can be integrated with constraint propagation in continuous domains and, in particular, with the enforcing algorithms for anticipating the finding of canonical solutions. The last goal of this work is the validation of the approach as an important contribution for the integration of biophysical models within decision support. Consequently, a prototype application that integrated all the proposed extensions to the interval constraints framework is developed and used for solving problems in different biophysical domains.

Ascensores. Optimização energética

Segundo um estudo recente da União Europeia , o sector dos edifícios será responsável por cerca de 40% do consumo total de energia neste espaço geográfico. Cerca de 70% do consumo de energia deste sector verificarse‐ á nos edifícios residenciais. Em Portugal, mais de 28% da energia final e 60% da energia eléctrica é consumida em edifícios. Por forma a dar cumprimento ao Protocolo de Kyoto, no qual se definiu uma drástica redução da emissão de CO2, a Comunidade Europeia emanou várias directivas que se relacionam directa ou indirectamente com a temática da utilização de energia. As mais importantes são entre outras, a Directiva 2002/91/CE de 16 de Dezembro de 2002 ‐ “EPB ‐ Energy Performance of Buildings” (Desempenho Energético de Edifícios) , transposta parcialmente para o direito nacional pelo Decreto‐Lei nº 78/2006 de 04 de Abril, e a Directiva 2005/32/CE de 06 de Julho de 2005 – “EuP – Energy Using Products” (Requisitos de concepção ecológica dos produtos que consomem energia). Os ascensores não são referidos explicitamente nestas duas directivas, quando se aborda a temática do aumento da eficiência energética. Na Directiva EPB são referidos essencialmente equipamentos técnicos dos edifícios como sistemas de aquecimento, climatização e iluminação, bem como sistemas de isolamento térmico dos edifícios. Na EuP, por sua vez, também não se indicam especificamente os ascensores, embora sejam referidos por exemplo motores eléctricos, que farão parte integrante de um ascensor. De acordo com um estudo da S.A.F.E – “Agência Suiça para a Utilização Eficiente da Energia”, realizado em 2005, os ascensores podem representar uma parte significativa do consumo de energia num edifício (o consumo energético de um ascensor poder representar em média 5% do consumo total de energia de um edifício de escritórios). Na Suiça estima‐se que o somatório do consumo de energia dos cerca de 150.000 ascensores instalados represente cerca de 0,5% do total de 280 GWh de consumo energético do país. A redução do consumo de energia nos edifícios poderá ser obtida através da melhoria das características construtivas, reduzindo dessa forma as necessidades energéticas, através de medidas de gestão da procura, no sentido de reduzir os consumos na utilização e através do recurso a equipamentos energeticamente mais eficientes. No preâmbulo da Directiva EuP refere‐se que “a melhoria da eficiência energética – de que uma das opções disponíveis consiste na utilização final mais eficiente da electricidade – é considerada um contributo importante para a realização dos objectivos de redução das emissões de gases com efeito de estufa na Comunidade.” Daí que seja importante estudar também a optimização energética de ascensores. No presente artigo será apresentado um resumo do estudo sobre o consumo energético realizado a uma amostra composta por 20 ascensores eléctricos instalados pela Schmitt‐Elevadores, Lda. em Portugal. Para a determinação do consumo anual de energia a partir dos dados obtidos, foi utilizado um modelo, desenvolvido com base na norma alemã VDI 4707:2009. Com base nos dados obtidos foram então identificadas diversas hipóteses de optimização, que poderão e deverão ser implementadas.

Fases de realização e tipos de projectos de instalações eléctricas

A realização do projecto eléctrico de uma instalação requer, além do domínio técnico dos assuntos particulares que a esta digam respeito, sistematização na sua abordagem e programação, necessária tanto no faseamento da sua concepção como na elaboração processual dos seus documentos. Neste sentido a publicação da portaria nº 701‐H/2008, de 29 de Julho, através do seu anexo I ‐ Instruções para a Elaboração de Projectos de Obras ‐ representa um salto qualitativo significativo no processo de realização do projecto, visando uma concepção de mais elevada qualidade do mesmo, ao definir a metodologia a seguir na sua elaboração, com discriminação das suas fases, seus conteúdos e objectivos. Embora a portaria se destine expressamente a projectos de obras públicas e uma vez que a caracterização das obras particulares se rege, de um modo geral, pelas regras das obras públicas, a transposição dos seus princípios para aquele tipo de obras representa uma mais‐valia significativa para o projectista e para a consequente melhoria do projecto electrotécnico. Este artigo faz uma ligeira incursão nos aspectos das Instruções para a Elaboração e revêem‐se alguns princípios formais da estruturação do projecto de licenciamento.

Sistemas automáticos de detecção de incêndio – projecto e execução

Durante milhares de anos o fogo foi considerado um fenómeno da natureza, sendo olhado como um mistério, provocando medo, superstição e adoração. O domínio do fogo por parte do homem permitiu a utilização do mesmo para aquecimento, cozinhar e mesmo para sua protecção. Contudo, o fogo, grande elemento de evolução do homem, é também, em potencial, um dos seus maiores inimigos. Muitos são os fogos florestais e urbanos, que ocorrem diariamente, provocando mortes e avultados prejuízos materiais. As causas principais dos incêndios são a deficiência nas canalizações eléctricas, a má utilização de equipamentos eléctricos, nomeadamente ferros, fogões, fornos e aquecedores eléctricos, bem como a negligência na utilização do fogo. Os Sistemas Automáticos de Detecção de Incêndio (SADI) são hoje encarados como fazendo (quase) obrigatoriamente parte dos sistemas aplicados no sector da habitação, serviços, comércio e indústria.

Dimensionamento de centrais fotovoltaicas para a microprodução

Desde que foi publicado o Decreto‐Lei nº 363/2007 de 2 de Novembro, que tem por objecto estabelecer o regime jurídico aplicável à produção de electricidade por intermédio de unidades de microprodução, este tipo de instalações de pequena potência tem aumentado muito em Portugal. Dos diversos tipos de energia renovável previstos no referido Decreto‐Lei, tem sido a energia solar a que mais tem motivado os utilizadores a instalarem centrais de microprodução. A este facto não é com certeza alheia a tarifa aplicável à energia produzida através desta fonte de energia, à qual é aplicável 100% da tarifa de referência. A tabela 1 apresenta as instalações e as diversas potências de centrais de microprodução com origem em fontes renováveis registadas e instaladas desde a saída do Decreto‐ Lei. Dos valores apresentados na tabela anterior, mais de 90% são referentes a centrais fotovoltaicas, por esse motivo o elevado número de instalações justifica a importância do correcto dimensionamento das mesmas. No número anterior da revista Neutro à Terra foi feita uma abordagem aos equipamentos que se devem usar no dimensionamento de uma central fotovoltaica, neste artigo será feito um exemplo prático de aplicação da metodologia de dimensionamento.

Optimização energética em novos ascensores

De acordo com um estudo da S.A.F.E – “Agência Suíça para a Utilização Eficiente da Energia”, realizado em 2005, os ascensores podem representar uma parte significativa do consumo de energia num edifício (o consumo energético de um ascensor poder representar em média 5% do consumo total de energia de um edifício de escritórios). Na Suíça estima‐se que o somatório do consumo de energia dos cerca de 150.000 ascensores instalados represente cerca de 0,5% do total de 280 GWh de consumo energético do país. A redução do consumo de energia nos edifícios poderá ser obtida através da melhoria das características construtivas, reduzindo dessa forma as necessidades energéticas, através de medidas de gestão da procura, no sentido de reduzir os consumos na utilização e através do recurso a equipamentos energeticamente mais eficientes. No preâmbulo da Directiva 2005/32/CE de 06 de Julho de 2005 – “EuP – Energy Using Products” (Requisitos de concepção ecológica dos produtos que consomem energia)1 refere‐se que “a melhoria da eficiência energética – de que uma das opções disponíveis consiste na utilização final mais eficiente da electricidade – é considerada um contributo importante para a realização dos objectivos de redução das emissões de gases com efeito de estufa na Comunidade.” Daí que seja importante estudar também a optimização energética em novos ascensores.

Concurrent tabling

In the past few years Tabling has emerged as a powerful logic programming model. The integration of concurrent features into the implementation of Tabling systems is demanded by need to use recently developed tabling applications within distributed systems, where a process has to respond concurrently to several requests. The support for sharing of tables among the concurrent threads of a Tabling process is a desirable feature, to allow one of Tabling’s virtues, the re-use of computations by other threads and to allow efficient usage of available memory. However, the incremental completion of tables which are evaluated concurrently is not a trivial problem. In this dissertation we describe the integration of concurrency mechanisms, by the way of multi-threading, in a state of the art Tabling and Prolog system, XSB. We begin by reviewing the main concepts for a formal description of tabled computations, called SLG resolution and for the implementation of Tabling under the SLG-WAM, the abstract machine supported by XSB. We describe the different scheduling strategies provided by XSB and introduce some new properties of local scheduling, a scheduling strategy for SLG resolution. We proceed to describe our implementation work by describing the process of integrating multi-threading in a Prolog system supporting Tabling, without addressing the problem of shared tables. We describe the trade-offs and implementation decisions involved. We then describe an optimistic algorithm for the concurrent sharing of completed tables, Shared Completed Tables, which allows the sharing of tables without incurring in deadlocks, under local scheduling. This method relies on the execution properties of local scheduling and includes full support for negation. We provide a theoretical framework and discuss the implementation’s correctness and complexity. After that, we describe amethod for the sharing of tables among threads that allows parallelism in the computation of inter-dependent subgoals, which we name Concurrent Completion. We informally argue for the correctness of Concurrent Completion. We give detailed performance measurements of the multi-threaded XSB systems over a variety of machines and operating systems, for both the Shared Completed Tables and the Concurrent Completion implementations. We focus our measurements inthe overhead over the sequential engine and the scalability of the system. We finish with a comparison of XSB with other multi-threaded Prolog systems and we compare our approach to concurrent tabling with parallel and distributed methods for the evaluation of tabling. Finally, we identify future research directions.

Quedas de tensão em instalações eléctricas de baixa tensão

Numa instalação eléctrica, por motivos técnicos e funcionais, a tensão aplicada aos terminais das cargas, isto é, dos equipamentos de utilização, deve manter-se dentro de determinados limites. Cada equipamento possui uma tensão estipulada, fixada pela norma respectiva. A aplicação de tensões abaixo dos limites definidos, pode prejudicar o desempenho desses equipamentos, podendo reduzir a sua vida útil ou mesmo impedir o seu funcionamento. As quedas de tensão nas instalações devem ser calculadas durante a fase de projecto, devendo ser cumpridos os limites máximos fixados pelos respectivos regulamentos aplicáveis.

Aplicação de redes neuronais artificiais à deteção e isolamento de falhas em processos industriais

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica

Um pássaro na mão, ou a importância de ser relevante

Conferência Políticas Culturais para o Desenvolvimento, organizada no dia 12 de Fevereiro de 2015 pela Artemrede no Teatro Joaquim Benite, em Almada

Técnicas para recuperação de resíduos depositados em antigas lixeiras

As lixeiras são locais onde foram depositados resíduos durante vários anos, de forma descontrolada e sem qualquer controlo ambiental. Como os solos não eram impermeabilizados e o biogás se libertava para a atmosfera, estes locais causavam enormes impactes ambientais. Assim, houve necessidade de se encerrar as lixeiras e substitui-las por aterros sanitários. Em 2002, as 341 lixeiras espalhadas por todo o país encontravam-se encerradas. No entanto, o facto de não ter sido efectuado uma reabilitação ambiental destes espaços, algumas lixeiras continuam a causar impactes ambientais negativos, ao nível da poluição dos lençóis freáticos e da atmosfera. Para além disto, com o desenvolvimento do país, cada vez mais se produzem resíduos, e assim os espaços destinados para a deposição de tais resíduos começam a tornar-se reduzidos. Assim é necessário encontrar uma solução para este problema. Existe uma técnica que já é utilizada noutros países, que consiste na escavação de lixeiras ou aterros que já se encontram inactivos. Esta técnica, denominada mineração de aterro, envolve a escavação e recuperação dos resíduos aterrados, conseguindo assim, não só mitigar o impacte ambiental que uma lixeira causa, como disponibilizar espaço para deposição de mais resíduos. Para estudar esta técnica e a sua viabilidade efectuaram-se estudos na lixeira da Moita. Foi necessário caracterizar a área onde a lixeira se encontra inserida, assim como os resíduos depositados na mesma. Para tal, realizou-se uma campanha de caracterização de resíduos recolhidos e contabilizou-se a quantidade de cada componente encontrado. Esta caracterização e as informações obtidas através da revisão bibliográfica, possibilitou a definição de cenários para destino final dos resíduos escavados. Assim, foram tidos em conta três cenários diferentes e foram estudadas as respectivas viabilidades económicas recorrendo a um modelo que permite verificar a rentabilidade de recuperação de resíduos, que cada um dos equipamentos consegue processar. Por último, e face aos resultados obtidos, comparou-se a eficiência e os custos necessários à concretização de cada cenário, podendo-se, de certo modo, avaliar a viabilidade económica da técnica de mineração.

A contabilidade de gestão e a data envelopment analysis : análise de desempenho organizacional

Mestrado em Contabilidade e Gestão das Instituições Financeiras

Metodologia DEA e optimização multiobjectivo

Mestrado em Contabilidade e Gestão das Instituições Financeiras

Sistemas de arrefecimento de instalações frigoríficas utilizando três agentes frigoríficos

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica

Estudo da compactabilidade em laboratório de misturas betuminosas com resíduos plásticos

Dissertação para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização em Vias de Comunicação e Transportes