Automação industrial. Uma perspetiva de terreno!

De que é que falamos quando nos referimos a AUTOMAÇÃO? - Estamos no âmbito da engenharia eletrotécnica, da mecânica, da eletrónica, da programação, das comunicações, da instrumentação, da pneumática, ….? Na realidade referimo-nos a um pouco disto tudo - a automação será possivelmente a área de engenharia mais pluridisciplinar e integradora de tecnologia. Quererá isto dizer que se trata de uma atividade de Engenharia complexa e densa? - Sim e não! - Vejamos; é vasta e densa porque o seu exercício obriga ao conhecimento de um alargado e diversificado leque de tecnologias mas, a sua base teórica, ou se quisermos os seus “algoritmos”, são bastante simples; baseiam-se em lógica e em sequências temporais. Que competências serão então necessárias para se exercer Automação? - Um conhecimento transversal de engenharia, com particular foco na Engenharia Eletrotécnica e uma boa experiência de terreno. Partindo desta constatação este artigo tem a intenção de abordar a automação de um ponto de vista eminentemente prático e aplicado.

Dos percursos de autoformação aos processos de transformação: uma produção singular de sucesso educativo em meio rural

Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento

Construção de um centro de recursos educativos num estabelecimento de ensino: estudo de um caso de formação acção

Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento

Internet na educação: contributo para a construção de redes educativas com suporte computacional

Tese de doutoramento em Ciências da Educação

Sucesso profissional, formação formal e experiencial: estudo de factores-chave no itinerário de um agricultor

Dissertação de mestrado em Ciências da Educação, na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa e do Diplôme d' Université François Rabelais de Tours

Controlo e optimização de sistemas AVAC recorrendo a técnicas de inteligência artificial

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

Semantics of logic programs with explicit negation

After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing problems of the classical approaches to autoepistemic and default logics, and clarify the meaning of explicit negation in logic programs. ² A framework for defining a spectrum of semantics of extended logic programs based on the abduction of negative hypotheses. This framework allows for the characterization of different levels of scepticism/credulity, consensuality, and argumentation. One of the semantics of abduction coincides with WFSX. ² O–semantics, a semantics that uniquely adds more CWA hypotheses to WFSX. The techniques used for doing so are applicable as well to the well–founded semantics of normal logic programs. ² By introducing explicit negation into logic programs contradiction may appear. I present two approaches for dealing with contradiction, and show their equivalence. One of the approaches consists in avoiding contradiction, and is based on restrictions in the adoption of abductive hypotheses. The other approach consists in removing contradiction, and is based in a transformation of contradictory programs into noncontradictory ones, guided by the reasons for contradiction.

Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.

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.

Extinção das tarifas reguladas no sector eléctrico

O sector eléctrico foi, historicamente, um sector de monopólio natural, controlado por uma única entidade a qual assegurava as diversas actividades relacionadas com o fornecimento da energia eléctrica, desde a sua produção, transporte e distribuição até ao abastecimento ao consumidor final. Esta é uma realidade que tem vindo a ser radicalmente alterada nas últimas décadas. Após longos anos de actuação em regime de monopólio (público, privado ou misto) verticalmente integrado, verificaram-se em diversos países, em diferentes latitudes, várias experiências que resultaram em processos de desverticalização do sector com separação das suas actividades. O primeiro destes exemplos ocorreu no Chile no final da década de 70 do século XX, tendo as alterações consistido, basicamente, no fim dos monopólios da energia eléctrica e na introdução duma lógica de concorrência no mercado da electricidade. Esta passou a verificar-se na produção e na comercialização, mantendo-se como monopólios as actividades ligadas a infra-estruturas de rede como são o transporte e a distribuição.

Comunicação ambiental a níveis estratégicos de decisão

O objectivo central desta dissertação é desenvolver uma abordagem de comunicação entre a prática de Avaliação Ambiental Estratégica (AAE) e a tomada de decisão (política), que actue ao nível dos diferentes valores. A presente dissertação salienta a relevância da comunicação enquanto factor crítico de influência ao nível estratégico de decisão, explorando a capacidade do discurso dos técnicos (de avaliação) afectar significativamente as escolhas (políticas) da sociedade em matéria ambiental. Esta relevância comunicacional confere um novo sentido ao papel social dos técnicos de avaliação (ambiental), atribuindo-lhes uma responsabilidade comunicativa orientada para facilitar a tomada de decisão estratégica. Esta dissertação identifica ainda a natureza intrinsecamente subjectiva das tomadas de decisão, reforçando a urgência em adaptar as metodologias de AAE ao contexto decisional particular em que se inserem. O desenvolvimento da abordagem de comunicação recorre ao princípio da intersubjectividade, isto é, ao estabelecimento de um quadro de interacção entre técnicos de avaliação (ambiental) e decisores (políticos), de modo a que os valores em jogo exerçam uma influência recíproca - estimulando a convergência das diferentes percepções do problema -, e assim contribuir para a aceitação mútua dos resultados das avaliações (ambientais) técnicas. A implementação emergente da AAE no quadro legal nacional – subsequente à transposição da Directiva 2001/42/CE – vem criar uma oportunidade para o desenvolvimento de formas diferentes de avaliação de impactes, mais ajustadas (e influentes) a níveis estratégicos de decisão. É face a este contexto que se propõe uma abordagem de comunicação adaptada à lógica da AAE, instrumento com o potencial para elevar o diálogo entre técnicos de avaliação (ambiental) e decisores (políticos) a níveis mais aproximados de entendimento comum. A metodologia usada nesta dissertação, apoiou-se em três vertentes principais: a revisão conceptual, o recurso a entrevistas, e o desenvolvimento de um caso de estudo. O conjunto de entrevistas realizadas (a técnicos de avaliação, académicos, jornalistas e decisores políticos) serviu fundamentalmente para reforçar a caracterização da tomada de decisão estratégica, particularmente a associada à realidade política portuguesa. O caso de estudo, de natureza descritiva, refere-se ao caso da co-incineração em Portugal - uma situação potencial de implementação da abordagem de comunicação desenvolvida -, revelando, em exemplos concretos, as questões conceptuais que a presente dissertação aborda.

Evaluación del programa brasileno de biodiésel como fuente de desarrollo rural sostenible para la región semiárida del Nordeste de Brasil

Debido a preocupaciones ambientales y de abastecimiento de energía, se buscan alternativas renovables al petróleo. En 2004, fue lanzado, en Brasil, el Programa Nacional de Producción y Uso de Biodiésel con el objetivo de sustituir el diesel y fomentar la inclusión social de los agricultores familiares, especialmente de las regiones más pobres. El biodiésel representaría así una nueva fuente de renta y de desarrollo sostenible para las zonas productoras de oleaginosas. A partir del estudio realizado en la región Semiárida del Estado de Ceará, se observó que la baja remuneración de la producción agrícola y el reducido número de empleos generados hacen del mercado del biodiésel un suplemento de la renta familiar. Ambientalmente, la durabilidad se ve comprometida por el problema endémico de la sequía – agravado por el cambio climático – y las prácticas agrícolas tradicionales. Parece igualmente necesario fomentar los cultivos cuya producción, tradición cultural y uso potencial sean compatibles con la lógica de la agricultura familiar. En definitiva, el programa, a través del Sello Combustible Social, representaría un componente de una matriz de políticas para el desarrollo rural sostenible de la agricultura familiar, entre las cuales estarían la adaptación del sistema productivo y de apoyo y acceso a la tierra.

Educação e Relações Interinstitucionais no Brasil e em Portugal

Este artigo visa discutir, sob enfoque comparativo, a descentralização da educação no Brasil e em Portugal a partir da década de 1990, isto com base na revisão da literatura pertinente e dos marcos jurídicos que vieram regulá-la, procurando problematizar as relações interinstitucionais que medeiam este processo, no Brasil, sob a ótica do regime de colaboração e, em Portugal, segundo as relações estabelecidas entre os poderes central e local. Como conclusão mais geral, constata que, apesar de o poder central vir difundindo o discurso da descentralização nestes países, já há algum tempo, tudo leva a crer que o plano da retórica não logrou ser efetivamente superado, pois entre avanços e recuos deste processo as tentativas vêm se constituindo em movimentos de alguma desconcentração de poderes, ainda marcados pela mesma lógica centralizadora, herança histórico-social, em ambos os casos, dos seus respectivos períodos ditatoriais, agora também sob a modulação de políticas econômicas neoliberalizantes.

Liderança transformacional/transacional: que impacto no cinismo organizacional?

Dissertação apresentada à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Gestão Estratégica das Relações Públicas.

A construção do estado liberal. Elite política e burocracia na "Regeneração" (1851-1890)

Quem governa ? Qual a configuração e dinâmica da burocracia ? Sinteticamente, estas duas questões enunciam os objectivos principais da presente investigação sobre o sistema politico administrativo no Portugal oitocentista. No essencial, o âmbito cronológico do nosso estudo coincide com os limites temporais da "Regeneração ", no sentido lato do termo, isto e, com o novo ciclo liberal que tem como acto fundador o pronunciamento militar üsaldanhista" de finais de Abril de 1851 e se prolonga até à crise de 1890. comummente identificada pela historiografia portuguesa como um momento crucial de viragem. Este período de cerca de quarenta anos singulariza- se pela combinação de três aspectos fundamentais. Por um lado, tratou-se de uma época de relativa acalmia politica e social - apenas seriamente ameaçada na conjuntura critica de 1868 a 1871 -, durante a qual as manifestações de conflito violento, que tinham marcado a fase inicial do liberalismo, cederam o lugar às formas de conflito regulado. Esta alteração do tipo dominante de conflito, associada à institucionalização dos mecanismos e processos do sistema de "governo representativo", resultou da afirmação de uma lógica de compromisso (a "politica dos acordos") entre as várias parcialidades ou coligações rivais da elite, que implicava a subordinação da luta politica às regras da competição pacifica e a garantia de expectativas credíveis de alternância no poder. Em larga medida, essa transformação não teria sido possível sem uma ampla renovação do pessoal politico dirigente. Por outro lado, correspondeu a uma etapa decisiva na consolidação do aparelho burocrático do Estado liberal, que se traduziu numa dinâmica de expansão e modernização das estruturas e meios de administração. Finalmente, foi um ciclo marcado por importantes "melhoramentos materiais· e um razoável crescimento económico. embora à custa de um elevado endividamento público. Ocupando as principais posições de comando na hierarquia formal de poder e. como tal, intervindo activamente na construção das instituições e regulam o curso da vida colectiva, na elaboração das normas que as elites politicas são um dos actores centrais em todos os processos de mudança social, independentemente da avaliação positiva ou negativa do seu protagonismo histórico . Por essa razão. o estudo da sua formação e composição ou da sua acção transformadora constituem importantes eixos temáticos da investigação em sociologia politica.