ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse

Grammar logics were introduced by Fariñas del Cerro and Penttonen in 1988 and have been widely studied. In this paper we consider regular grammar logics with converse (REG ^c logics) and present sound and complete tableau calculi for the general satisfiability problem of REG ^c logics and the problem of checking consistency of an ABox w.r.t. a TBox in a REG ^c logic. Using our calculi we develop ExpTime (optimal) tableau decision procedures for the mentioned problems, to which various optimization techniques can be applied. We also prove a new result that the data complexity of the instance checking problem in REG ^c logics is coNP-complete.     

一例一般心理问题的咨询案例分析报告

本文详细介绍了一例因为英语四级考试没有通过引发的一般心理问题的咨询过程。来访者韩某,女,20岁,是一名大二学生,因为英语四级考试没有通过而出现了睡眠质量差,学习效率下降,情绪低落等症状,来访者主动求助于校心理健康中心,迫切希望改变现状,能够正常的学习生活。咨询师在和来访者商议后根据其个性特征和问题的特点采用了合理情绪疗法对其进行干预,帮助她改变了其非理性的信念,经过咨询,来访者情绪好转,可以正确看待困难,取得了比较好的咨询效果。     

中学教师社会化过程:交互作用视角

本研究以345名教师为研究对象,基于交互作用视角建立框架模型,研究教师社会化前因变量、社会化近端结果和终极结果之间的关系,以揭示教师社会化过程。结果表明:①教师社会化近端结果在组织策略和社会化终极结果之间起部分中介作用,在教师主动策略和社会化终极结果之间起完全中介作用;②同事帮带仅通过促进教师对学校的了解促进教师社会化终极结果;③家长配合一方面直接促进教师工作绩效,另一方面通过角色清晰对社会化终极结果产生积极影响。     

The Eating Attitudes Test-26 Revisited using Exploratory Structural Equation Modeling

Most previous studies have failed to replicate the original factor structure of the 26-item version of the Eating Attitudes Test (EAT-26) among community samples of adolescents. The main objective of the present series of four studies (n?=?2178) was to revisit the factor structure of this instrument among mixed gender community samples of adolescents using both exploratory structural equation modeling (ESEM) and confirmatory factor analysis (CFA). First, results from the ESEM analyses provided satisfactory goodness-of-fit statistics and reliability coefficients for a six-factor model of the EAT with 18 items (EAT-18) closely corresponding to the original seven-factor structure proposed for the 40-item version of the EAT. Second, these analyses were satisfactorily replicated among a new sample of community adolescents using CFA. The results confirmed the factor loading and intercept invariance of this model across gender and age groups (i.e., early and late adolescence), as well as the complete invariance of the EAT-18 measurement model between ethnicities (i.e., European versus African origins) and across weight categories (i.e., underweight, normal weight and overweight). Finally, the last study provided support for convergent validity of the EAT-18 with the Eating Disorder Inventory and with instruments measuring global self-esteem, physical appearance, social physique anxiety and fear of negative appearance evaluation.     

对感觉记忆在相同范畴视觉搜索中作用的研究

该文以三种字母卡片为刺激物,通过两种靶字母搜索实验,探讨了感觉记忆在相同范畴视觉搜索中的作用。实验结果显示,感觉记忆和短时记忆信息都可能利用时的搜索成绩,明显高于限用短时记忆信息时的搜索成绩。这表明,感觉记忆信息可以直接用于相同范畴的视觉搜索。     

Would You Be Happier If You Looked Better? A Focusing Illusion

Some people might believe that individuals who are more satisfied with their body are also happier. However, people tend to overrate the influence of some factors (e.g. money or health) on their happiness; a phenomenon termed the focusing illusion. Our aim was to examine the focusing illusion in relation to body satisfaction. We experimentally manipulated body satisfaction and life satisfaction focus by varying the order of relevant measurement scales. Volunteers (N = 97) completed two questionnaires placed in separate envelopes to control the order of scales administration. Participants either completed the Body Satisfaction Scale followed by the Satisfaction with Life Scale or vice versa. In line with the focusing illusion the association between body satisfaction and life satisfaction was significantly stronger when participants were asked about their body satisfaction first. Body satisfaction as a focusing illusion may need to be considered by scientist as well as lay people who try to look better and be happier.     

Deciphering Heidegger's Connection with the Daodejing

This paper carries out an intensive study of Heidegger's famous reflection on the word dao and of his citations from the Daodejing, with the purpose of elucidating his complex relation with Daoist thinking. First I examine whether dao could be said to be a guideword for Heidegger's path of thinking. Then I discuss Heidegger's citations, in six places of his writings, from five chapters of the Daodejing, by situating them in the immediate textual context as well as against the broad background of the fundamental presuppositions and orientations of Heidegger and Laozi's thinking. My examination of Heidegger's citations from the Daodejing has for the first time gathered together all the relevant materials discovered so far.     

On a problem of P(α, δ, π) concerning generalized Alexandroff s cube

Universality of generalized Alexandroff's cube plays essential role in theory of absolute retracts for the category of , -closure spaces. Alexandroff's cube. is an , -closure space generated by the family of all complete filters. in a lattice of all subsets of a set of power .Condition P(, , ) says that is a closure space of all , -filters in the lattice ( ), .Assuming that P (, , ) holds, in the paper [2], there are given sufficient conditions saying when an , -closure space is an absolute retract for the category of , -closure spaces (see Theorems 2.1 and 3.4 in [2]).It seems that, under assumption that P (, , ) holds, it will be possible to givean uniform characterization of absolute retracts for the category of , -closure-spaces.Except Lemma 3.1 from [1], there is no information when the condition P (, , ) holds or when it does not hold.The main result of this paper says, that there are examples of cardinal numbers, , , such that P (, , ) is not satisfied.Namely it is proved, using elementary properties of Lebesgue measure on the real line, that the condition P (, ₁, 2 ) is not satisfied.Moreover it is shown that fulfillment of the condition is essential assumption in, Theorems 2.1 and 3.4 from [1] i.e. it cannot be eliminated.     

Behavior of visual evoked potentials (pattern reversal VECP) in smokers

Twenty six clinically healthy smokers were studied with transient pattern visual-evoked potentials. In comparison with a sample of "normal" subjects we found a difference of some parameters (P less than 0.05): the P2-latency and the interocular difference of latency on average were 6-7 ms respectively 2 ms larger. Thirteen subjects have had a prolonged P2-latency (P less than 0.05) and/or a difference in interocular latencies larger than 5 ms. These findings may suggest on subclinical disturbances of visual system and indicators of an special sensitivity of that person. The findings are possibly related to tobacco-alcohol amblyopia.     

On decidable consequence operators

The main theorem says that a consequence operator is an effective part of the consequence operator for the classical prepositional calculus iff it is a consequence operator for a logic satisfying the compactness theorem, and in which every finitely axiomatizable theory is decidable.