对颌骨骨折坚固内固定术患者心身感受的质性研究

了解颌骨骨折坚固内固定术患者不同阶段的心理和躯体感受,以便为其提供人性化的人文护理服务,使患者满意,使优质护理服务得到落实。采用立意取样法选取研究对象,对选取的31例颌骨骨折坚固内固定术患者采用质性研究中的现象学方法进行深度访谈,并对资料进行整理和分析。结果发现患者在三个阶段中的护理问题如下：（1）手术前;自我形象紊乱、功能障碍和焦虑。（2）手术后：舒适受到影响和愧疚感等。（3）出院时：渴求信息。本研究能规范颌骨骨折坚固内固定术患者人文护理的具体内容,改善其护理问题。     

Bicartesian Coherence

Coherence is demonstrated for categories with binary products and sums, but without the terminal and the initial object, and without distribution. This coherence amounts to the existence of a faithful functor from a free category with binary products and sums to the category of relations on finite ordinals. This result is obtained with the help of proof-theoretic normalizing techniques. When the terminal object is present, coherence may still be proved if of binary sums we keep just their bifunctorial properties. It is found that with the simplest understanding of coherence this is the best one can hope for in bicartesian categories. The coherence for categories with binary products and sums provides an easy decision procedure for equality of arrows. It is also used to demonstrate that the categories in question are maximal, in the sense that in any such category that is not a preorder all the equations between arrows involving only binary products and sums are the same. This shows that the usual notion of equivalence of proofs in nondistributive conjunctive-disjunctive logic is optimally defined: further assumptions would make this notion collapse into triviality.     

情境模型中的时间表征研究

阅读理解中情境模型的建构是当今阅读研究的热点 ,自Zwaan等人提出事件标记模型理论以来 ,很多研究者对影响情境模型建构的空间维度进行了深入的研究 ,尽管对情境模型中时间维度的研究相对缺乏 ,但仍得出了一些有价值的研究成果。本文对情境模型中时间表征的理论假设、实验研究、技术手段及主要研究结论作了介绍和评析 ,并对未来的研究方向进行了展望。     

Normal Modal Substructural Logics with Strong Negation

We introduce modal propositional substructural logics with strong negation, and prove the completeness theorems (with respect to Kripke models) for these logics.     

Computing with Cylindric Modal Logics and Arrow Logics,Lower Bounds

The complexity of the satisfiability problems of various arrow logics and cylindric modal logics is determined. As is well known, relativising these logics makes them decidable. There are several parameters that can be set in such a relativisation. We focus on the following three: the number of variables involved, the similarity type and the kind of relativised models considered. The complexity analysis shows the importance and relevance of these parameters.     

An Elementary Construction for a Non-elementary Procedure

We consider the problem of the product finite model property for binary products of modal logics. First we give a new proof for the product finite model property of the logic of products of Kripke frames, a result due to Shehtman. Then we modify the proof to obtain the same result for logics of products of Kripke frames satisfying any combination of seriality, reflexivity and symmetry. We do not consider the transitivity condition in isolation because it leads to infinity axioms when taking products.     

A Predicate Logical Extension of a Subintuitionistic Propositional Logic

We develop a predicate logical extension of a subintuitionistic propositional logic. Therefore a Hilbert type calculus and a Kripke type model are given. The propositional logic is formulated to axiomatize the idea of strategic weakening of Kripke's semantic for intuitionistic logic: dropping the semantical condition of heredity or persistence leads to a nonmonotonic model. On the syntactic side this leads to a certain restriction imposed on the deduction theorem. By means of a Henkin argument strong completeness is proved making use of predicate logical principles, which are only classically acceptable.     

Self-supporting personality and psychological symptoms: The mediating effects of stress and social support

This study examined relations among self-supporting personality, stress, social support, and psychological symptoms in a sample of 782 Chinese undergraduate students using the Self-Supporting Personality Scale for Adolescent Students (SSPS-AS), Adolescent Self-Rating Life Event Checklist (ASLEC), Multidimensional Scale of Perceived Social Support (MPSSS), and Symptoms Check List 90 (SCL-90). As predicted, results from cross-sectional structural equation analyses suggested that stress and social support mediate the relationship between four self-supporting personality traits and psychological symptoms; an alternative stress-moderation model was not supported.     

The fifth field of Ervin Laszlo

Increasingly gaining the attention of evolution theorists and other scientists is the new quantum‐vacuum‐interactive, or QVI‐field theory of Ervin Laszlo. Among other prospective advancements, this theory would add a fifth primary field to the four already identified by physics to account for the existence of the universe and our lives within it. As the physics and other matters involved make this new theory difficult for those other than physicists to understand, this account is written to provide a guide for the generalist and lay person.