Quantified real constraint solving using modal intervals with applications to control

Les restriccions reals quantificades (QRC) formen un formalisme matemàtic utilitzat per modelar un gran nombre de problemes físics dins els quals intervenen sistemes d'equacions no-lineals sobre variables reals, algunes de les quals podent ésser quantificades. Els QRCs apareixen en nombrosos contextos, com l'Enginyeria de Control o la Biologia. La resolució de QRCs és un domini de recerca molt actiu dins el qual es proposen dos enfocaments diferents: l'eliminació simbòlica de quantificadors i els mètodes aproximatius. Tot i això, la resolució de problemes de grans dimensions i del cas general, resten encara problemes oberts. Aquesta tesi proposa una nova metodologia aproximativa basada en l'Anàlisi Intervalar Modal, una teoria matemàtica que permet resoldre problemes en els quals intervenen quantificadors lògics sobre variables reals. Finalment, dues aplicacions a l'Enginyeria de Control són presentades. La primera fa referència al problema de detecció de fallades i la segona consisteix en un controlador per a un vaixell a vela.

Les fondements de la loi et comment elle se construit chez l’individu

RESUMÉ: Le Droit, en tant que système de constructions institutionnelles de l'humanité, est une échelle symbolique indispensable dans la construction de la subjectivité, puisqu'elle sauvegarde les interdictions fondamentales relatives à l'inceste et aux crimes d'homicide, de parricide, de matricide et d'infanticide, lesquelles constituent des limites nécessaires au langage en tant que phénomène psychosomatique humain. Le système du Droit a la fonction de médiation dans l'économie psychique de la Référence symbolique et fonctionne comme un Tiers dans la logique triadique du langage puisque, en établissant des catégories de filiation et des niveaux de hiérarchie dans la séquence des générations, il rehausse l'importance de la généalogie patriarcale dans l'espèce parlante. Le Droit «institue la vie en instituant la subjectivité» dans l'art de l'interprétation des interdits construits dans les sociétés. C'est le représentant logique transcendantal divin, paternel ou étatique qui soutient chez le sujet l'acceptation de l'interdiction œdipienne et de ses nuances, engendrant alors sa «capacité de jugement singulier». ABSTRACT: The Law, as a system of institutional constructions for mankind, is an essential symbolic scale for the construction of subjectivity, since it saves fundamental injunctions about incest, and crimes like homicide, parricide, matricide and infanticide, all of them constituting the necessary boundaries to language as a human psychosomatic phenomenon. The Law system as the function of mediation for the symbolic Reference in the psyche economy and works as a Third party on the triadic logic of language, because as it establishes affiliation categories and hierarchic levels in the sequence of the generations, it highlights the importance of the patriarchal genealogy in the «speaker species». The Law «institutes life instituting subjectivity» in the art of injunctions interpretation built in societies. It’s the logical transcendental divine representative, fatherly or status apparatus that sustains for the subject the oedipal acceptance and its nuances, creating then its «singular judgment capacity».

Dinâmicas do espaço: um contributo para a reflexão

No presente trabalho propôs-se a elaboração de um estudo teórico-prático tendo como intuito principal o questionamento acerca de um conjunto de pressupostos que levam o indivíduo a interpretar e a utilizar o espaço. Isto é, compreender a sua função. Partindo de uma hipótese teórica que coloca em causa tal compreensão como uma condição associada à experiência espacial – perceção e interação – vivida no quotidiano de cada indivíduo, pretendeu-se materializar a seguinte conjetura utilizando como suporte explicativo a conceção de um projeto concetual.

O portefólio como instrumento de reflexão na disciplina de desenho A do Ensino Secundário

A temática apresentada é resultante da prática de ensino supervisionada no Ensino Secundário em Artes Visuais e tem como finalidade aprofundar questões que envolvem a autorregulação das aprendizagens para o desenvolvimento do pensamento reflexivo dos alunos. A importância do paradigma reflexivo está cada vez mais presente nas práticas educativas dos nossos tempos, remetendo para um novo conceito de ensino e de avaliação no processo de ensino-aprendizagem, de acordo com um ensino cada vez mais centrado no aluno. Seguindo a intemporalidade do pensamento freireano são desenvolvidas práticas de avaliação tendo por base a integração do portefólio como instrumento de aprendizagem progressiva para a prática reflexiva dos alunos na disciplina de Desenho A. Este projeto de investigação participativa pretende analisar informações qualitativas e quantitativas de forma a reconhecer o contributo e o benefício da dimensão reflexiva ao longo do processo de ensino-aprendizagem no desenvolvimento pessoal e cognitivo do aluno.

On the use of headline indices to link environmental quality and income at the level of the nation state

This paper deconstructs the relationship between the Environmental Sustainability Index (ESI) and national income. The ESI attempts to provide a single figure which encapsulates environmental sustainability' for each country included in the analysis, and this allied with a 'league table' format so as to name and shame bad performers, has resulted in widespread reporting within the popular presses of a number of countries. In essence, the higher the value of the ESI then the more 'environmentally sustainable' a country is deemed to be. A logical progression beyond the use of the ESI to publicise environmental sustainability is its use within a more analytical context. Thus an index designed to simplify in order to have an impact on policy is used to try and understand causes of good and bad performance in environmental sustainability. For example the creators of the ESI claim that ESI is related to GDP/capita (adjusted for Purchasing Power Parity) such that the ESI increases linearly with wealth. While this may in a sense be a comforting picture, do the variables within the ESI allow for alternatives to the story, and if they do then what are the repercussions for those producing such indices for broad consumption amongst the policy makers, mangers, the press, etc.? The latter point is especially important given the appetite for such indices amongst non-specialists, and for all their weaknesses the ESI and other such aggregated indices will not go away. (C) 2007 Elsevier Ltd. All rights reserved.

Cross-modal preference acquisition: evaluative conditioning of pictures by affective olfactory and auditory cues

In this research, a cross-model paradigm was chosen to test the hypothesis that affective olfactory and auditory cues paired with neutral visual stimuli bearing no resemblance or logical connection to the affective cues can evoke preference shifts in those stimuli. Neutral visual stimuli of abstract paintings were presented simultaneously with liked and disliked odours and sounds, with neutral-neutral pairings serving as controls. The results confirm previous findings that the affective evaluation of previously neutral visual stimuli shifts in the direction of contingently presented affective auditory stimuli. In addition, this research shows the presence of conditioning with affective odours having no logical connection with the pictures.

Participation of future pharmacists in a professional development certificate scheme; the paradox of personal identity

The white paper ‘Pharmacy in England’ advocates establishing a new pharmacy regulator, building leadership and integrating undergraduate education.[1] Students must morph into competent pharmacists with the skills, expertise and confidence to lead the profession to 2020 and beyond.[2] One way individuals are encouraged to ‘professionalise’ is through participation in personal/professional development schemes. The British Pharmaceutical Students’ Association (BPSA) and the College of Pharmacy Practice have operated a professional development certificate (PDC) scheme since 2001. The scheme rewards students with a joint certificate for evidence of participation in five accredited activities in one academic year. Although the scheme is relevant to development of students, less than 2% of BPSA members take part annually. We wanted to understand the reasons for the low uptake. Our primary objectives were to examine the portrayal of the scheme and to investigate what it signifies to individuals. We describe our attempts to apply social marketing techniques[3] to the PDC, and we use ‘logical levels of change’[4] to highlight a paradox with personal identity.

Bottlenecks in name resolution of migrating processes

Three naming strategies are discussed that allow the processes of a distributed application to continue being addressed by their original logical name, along all the migrations they may be forced to undertake because of performance-improvement goals. A simple centralised solution is firstly discussed which showed a software bottleneck with the increase of the number of processes; other two solutions are considered that entail different communication schemes and different communication overheads for the naming protocol. All these strategies are based on the facility that each process is allowed to survive after migration, even in its original site, only to provide a forwarding service to those communications that used its obsolete address.

Distributed intelligent management of active networks

This paper focuses on improving computer network management by the adoption of artificial intelligence techniques. A logical inference system has being devised to enable automated isolation, diagnosis, and even repair of network problems, thus enhancing the reliability, performance, and security of networks. We propose a distributed multi-agent architecture for network management, where a logical reasoner acts as an external managing entity capable of directing, coordinating, and stimulating actions in an active management architecture. The active networks technology represents the lower level layer which makes possible the deployment of code which implement teleo-reactive agents, distributed across the whole network. We adopt the Situation Calculus to define a network model and the Reactive Golog language to implement the logical reasoner. An active network management architecture is used by the reasoner to inject and execute operational tasks in the network. The integrated system collects the advantages coming from logical reasoning and network programmability, and provides a powerful system capable of performing high-level management tasks in order to deal with network fault.

Definitions of the units radian, neper, bel and decibel

The definition of coherent derived units in the International System of Units (SI) is reviewed, and the important role of the equations defining physical quantities is emphasized in obtaining coherent derived units. In the case of the dimensionless quantity plane angle, the choice between alternative definitions is considered, leading to a corresponding choice between alternative definitions of the coherent derived unit - the radian, degree or revolution. In this case the General Conference on Weights and Measures (CGPM) has chosen to adopt the definition that leads to the radian as the coherent derived unit in the SI. In the case of the quantity logarithmic decay (or gain), also sometimes called decrement, and sometimes called level, a similar choice of defining equation exists, leading to a corresponding choice for the coherent derived unit - the neper or the bel. In this case the CGPM has not yet made a choice. We argue that for the quantity logarithmic decay the most logical choice of defining equation is linked to that of the radian, and is that which leads to the neper as the corresponding coherent derived unit. This should not prevent us from using the bel and decibel as units of logarithmic decay. However, it is an important part of the SI to establish in a formal sense the equations defining physical quantities, and the corresponding coherent derived units.

Modelling heterotachy in phylogenetic inference by reversible-jump Markov chain Monte Carlo

The rate at which a given site in a gene sequence alignment evolves over time may vary. This phenomenon-known as heterotachy-can bias or distort phylogenetic trees inferred from models of sequence evolution that assume rates of evolution are constant. Here, we describe a phylogenetic mixture model designed to accommodate heterotachy. The method sums the likelihood of the data at each site over more than one set of branch lengths on the same tree topology. A branch-length set that is best for one site may differ from the branch-length set that is best for some other site, thereby allowing different sites to have different rates of change throughout the tree. Because rate variation may not be present in all branches, we use a reversible-jump Markov chain Monte Carlo algorithm to identify those branches in which reliable amounts of heterotachy occur. We implement the method in combination with our 'pattern-heterogeneity' mixture model, applying it to simulated data and five published datasets. We find that complex evolutionary signals of heterotachy are routinely present over and above variation in the rate or pattern of evolution across sites, that the reversible-jump method requires far fewer parameters than conventional mixture models to describe it, and serves to identify the regions of the tree in which heterotachy is most pronounced. The reversible-jump procedure also removes the need for a posteriori tests of 'significance' such as the Akaike or Bayesian information criterion tests, or Bayes factors. Heterotachy has important consequences for the correct reconstruction of phylogenies as well as for tests of hypotheses that rely on accurate branch-length information. These include molecular clocks, analyses of tempo and mode of evolution, comparative studies and ancestral state reconstruction. The model is available from the authors' website, and can be used for the analysis of both nucleotide and morphological data.

Truth in complex adaptive systems models should be based on truth by constructive verification

It is argued that the truth status of emergent properties of complex adaptive systems models should be based on an epistemology of proof by constructive verification and therefore on the ontological axioms of a non-realist logical system such as constructivism or intuitionism. ‘Emergent’ properties of complex adaptive systems (CAS) models create particular epistemological and ontological challenges. These challenges bear directly on current debates in the philosophy of mathematics and in theoretical computer science. CAS research, with its emphasis on computer simulation, is heavily reliant on models which explore the entailments of Formal Axiomatic Systems (FAS). The incompleteness results of Gödel, the incomputability results of Turing, and the Algorithmic Information Theory results of Chaitin, undermine a realist (platonic) truth model of emergent properties. These same findings support the hegemony of epistemology over ontology and point to alternative truth models such as intuitionism, constructivism and quasi-empiricism.

Comprehension of wh-questions and declarative sentences in agrammatic aphasia: the set partition hypothesis

Problematic trace-antecedent relations between deep and surface structure have been a dominant theme in sentence comprehension in agrammatism. We challenge this view and propose that the comprehension in agrammatism in declarative sentences and wh-questions stems from impaired processing in logical form. We present new data from wh-questions and declarative sentences and advance a new hypothesis which we call the set partition hypothesis. We argue that elements that signal set partition operations influence sentence comprehension while trace-antecedent relations remain intact. (C) 2007 Elsevier Ltd. All rights reserved.

Visualizing a logic of dependability arguments

This paper offers general guidelines for the development of effective visual languages. That is, languages for constructing diagrams that can be easily and readily interpreted and manipulated by the human reader. We use these guidelines first to examine classical AND/OR trees as a representation of logical proofs, and second to design and evaluate a visual language for representing proofs in LofA: a Logic of Dependability Arguments, for which we provide a brief motivation and overview.