Controladores linguísticos Fuzzy

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

Assédio moral no trabalho e suas representações na mídia jornalística

OBJETIVO: Analisar os discursos sobre assédio moral veiculados na mídia jornalística impressa. PROCEDIMENTOS METODOLÓGICOS: Estudo documental referente ao assédio moral no trabalho, no qual foram analisadas as matérias jornalísticas veiculadas em três jornais de grande circulação do estado de São Paulo, no período de 1990 a 2008. A partir da metodologia de análise do discurso foram reconhecidas as práticas discursivas que configuram o fenômeno do assédio moral na sociedade atual, as explicações para sua ocorrência e a repercussão para a saúde dos trabalhadores. ANÁLISE DOS RESULTADOS: O surgimento do tema nos veículos de comunicação deu-se por meio da divulgação de livros, de produções acadêmicas e de legislações. Ocorreu em editorias que tratam de assuntos gerais e, posteriormente, migrou para as editorias de emprego e/ou de caráter econômico-financeiro. Os discursos de natureza indenizatória, de precaução empresarial e as estratégias de enfrentamento são amplamente difundidos. A promoção da saúde se esvai pela lógica patrimonial. Há um espaço permissivo nas organizações para prática do assédio moral, potencializando os conflitos para atingir as metas e resultados. Indiferença, constrangimentos, desqualificações e ridicularizações foram comuns nas matérias. CONCLUSÕES: As explicações sobre o assédio tendem a uma interpretação psicológica do fenômeno, acentuando o caráter individualista e minimizando uma abordagem coletiva. Os discursos banalizam o assédio ao criarem caricaturas para os atores envolvidos. O conteúdo psicológico e a estigmatização produzem sentido na sociedade, contribuindo para naturalizar o assédio moral no trabalho e banalizar a violência no trabalho.

Políticas de descentralização da educação no Brasil e em Portugal: avanços e recuos da desconcentração de poderes

Este artigo visa estabelecer paralelos comparativos em torno da descentralização da educação no Brasil e em Portugal, a partir da década de 1990, com base na revisão da literatura pertinente e dos marcos jurídicos que vieram regulá-la, procurando problematizar as relações institucionais e sociopolíticas 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óricosocial, em ambos os casos, dos seus respectivos períodos ditatoriais, agora também sob a modulação de políticas econômicas neoliberalizantes.

Tecnologia, educação e cidadania: (re)pensar projectos educacionais numa abordagem compreensiva da contemporaneidade

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

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.