A multiple-valued logic approach to the design and verification of hardware circuits

We present a novel approach, which is based on multiple-valued logic (MVL), to the verification and analysis of digital hardware designs, which extends the common ternary or quaternary approaches for simulations. The simulations which are performed in the more informative MVL setting reveal details which are either invisible or harder to detect through binary or ternary simulations. In equivalence verification, detecting different behavior under MVL simulations may lead to the discovery of a genuine binary non-equivalence or to a qualitative gap between two designs. The value of a variable in a simulation may hold information about its degree of truth and its “place of birth” and “date of birth”. Applications include equivalence verification, initialization, assertions generation and verification, partial control on the flow of data by prioritizing and block-oriented simulations. Much of the paper is devoted to theoretical aspects behind the MVL approach, including the reason for choosing a specific algebra for computations and the introduction of the notions of De Morgan Canonical Form and of verification complexity of Boolean expressions. Two basic simulation-based algorithms are presented, one for satisfying and verifying combinational designs and the other for equivalence verification of sequential designs.     

Eliade on diplomatic service in London

It was in England that Mircea Eliade started writing the volume which would be published nearly a decade later as Traité d'histoire des religions (Patterns in Comparative Religion), as attested by the book's Avant-propos de l'auteur, dated ‘Oxford 1940/Paris 1948.’ Eliade also states in his autobiography (1988, p. 84) that ‘I read, took notes, and elaborated a plan of a vast synthesis of the morphology and history of religions, a synthesis I had glimpsed instantaneously in an air raid shelter during an alarm.’ In order to recreate the historical and political environment in which Eliade conceived and began to write his fundamental theoretical book, I have sketched the history of Great Britain's early involvement in World War II, the dramatic political events in Romania during Eliade's diplomatic service in London, and the British government's intrigues that held him a virtual ‘captive’ from September 1940 to February 19411     

急性心肌梗死发病年轻化的因果分析

越来越多的中青年人因急性心肌梗死住院甚至猝死,其发病具有原因和结果的必然联系。过劳、不良生活习惯、吸烟、大量饮酒等原因都会使冠状动脉内斑块形成或冠状动脉痉挛而诱发急性心肌梗死。患者及医务工作者都应针对病因及发病机制积极治疗并有效预防,从而提高全民的心血管健康水平。     

Logics with the Qualitative Probability Operator

The paper presents several strongly complete axiomatizationsof qualitative probability within the framework of probabilisticlogic. We show that in the proposed semantics qualitative probabilitiesare characterized by probability functions, so they also arecomparative probabilities.     

Existential fulfillment and burnout among principals and teachers

The aim of the current study was to determine the prevalence of burnout in primary education teachers and primary school principals and to explore the relationship of existential fulfillment to self‐reported burnout scores. Random samples of 215 teachers and 514 principals participated in a cross‐sectional study using an anonymous, mailed survey. Two questionnaires were used in both studies. The Dutch version of the Maslach Burnout Inventory for teachers was used to assess the teachers’ and principals’ burnout level. Second, existential fulfillment was measured by the Längle, Orgler and Kundi Existence Scale. The results of the present study indicated that teachers’ and principals’ existential fulfillment is related to their burnout level. Lack of existential fulfillment was an important burnout determinant. Unfortunately, this concept has been neglected to date. Existential fulfillment may be a significant and usable point of departure for devising psychological interventions aimed at teachers and principals.     

Dynamiques représentationnelles et identitaires au cours de la socialisation professionnelle de jeunes recrues LGBT

This article examines the ways in which representational and identity transformations work during the socialization in the workplace of young LGBT hires, linked to discrimination perceived in their workplace environment as well as their impact on professional goals. Working within the theoretical framework of active socialization, the study is based on the IMIS method and proposes a detailed analysis of two cases recently entering the transportation workplace. The results show that, depending on how severe the perceived discrimination is in the workplace, previous experiences of homophobia encountered in other environments and already built self-image are reactivated in different ways, leading to a more or less important reconstruction of professional and identity representations, as well as the future goals of the individual. These elements are discussed from the point of view of interactions between environments and possible interventions by valuing diversity and accompanying the integration of young hires into organizations.     

A colorful walk, but is it on the mental number line? Reply to Cohen Kadosh, Tzelgov, and Henik

Cohen Kadosh, Tzelgov, and Henik [Cohen Kadosh, R., Tzelgov, J., and Henik, A. (2008). A synesthetic walk on the number line: The size effect. Cognition, 106, 548-557] present a new paradigm to probe properties of the mental number line. They describe two experiments which they argue to be inconsistent with the exact small number model proposed by Verguts, Fias, and Stevens [Verguts, T., Fias, W., Stevens, M. (2005). A model of exact small-number representation. Psychonomic Bulletin and Review, 12, 66-80]. We discuss the data, assumptions, and conclusions of Cohen Kadosh et al.'s paper in relation to existing models of numerical cognition.     

大学生对网瘾和作弊的责任推断与应对策略

运用情景模拟和角色扮演的方法,研究大学生对网瘾和作弊的责任归因结构及其应对策略。对416名被试的研究结果显示：（1）责任归因的心理结构是一个“责任推断→责任情感→责任行为”的一元结构模式。（2）我国大学生的责任推断过程与维纳的经典理论基本一致,但在行为应对策略上存在一定的文化差异。（3）大学生对网瘾和作弊的责任推断倾向明显并与情感体验基本保持一致,但与行为应对策略存在一定的冲突。（4）大学生在网瘾和作弊的责任推断、情感体验以及应对策略上存在一定差异。     

浅谈医学科研思维的逻辑性

医学科研思维过程中最重要的就是医学假说的提出、验证,推理和遵守逻辑思维的过程。它以抽象的概念、判断、推理为思维形式,通过分析、综合、比较、分类等多种逻辑思维方法进行操作,以达到它的最终目的。逻辑思维能力对于医学科研工作者是至关重要的,医学科研工作者应该不断加强逻辑修养,不断提升科研思维水准。     

Don’t Ever Do That! Long-term Duties in <Emphasis Type="Italic">PD</Emphasis><Subscript><Emphasis Type="Italic">e</Emphasis></Subscript><Emphasis Type="Italic">L</Emphasis>

This paper studies long-term norms concerning actions. In Meyer’s Propositional Deontic Logic (PD _e L), only immediate duties can be expressed, however, often one has duties of longer durations such as: “Never do that”, or “Do this someday”. In this paper, we will investigate how to amend PD _e L so that such long-term duties can be expressed. This leads to the interesting and suprising consequence that the long-term prohibition and obligation are not interdefinable in our semantics, while there is a duality between these two notions. As a consequence, we have provided a new analysis of the long-term obligation by introducing a new atomic proposition I (indebtedness) to represent the condition that an agent has some unfulfilled obligation. Presented by Jacek Malinowski