Screw dislocation in functionally graded magnetoelectroelastic solids

A screw dislocation in a functionally graded magnetoelectroelastic material is investigated. The material properties exponentially changing along both x and y directions are considered and the mechanical–electric–magnetic coupling is discussed. Closed-form expressions for the mechanical, electric and magnetic components are derived using the general stress function method. The solutions can be applied as a fundamental result and reduced into the classic and piezoelectric cases. The study puts forth a direct way for screw dislocation analysis in inhomogeneous structures with multifield coupling.     

手术治疗Duane眼球后退综合征的临床分析

探讨Duane眼球后退综合征（DRS）的临床特征,鉴别诊断以及手术治疗的方法和效果。对自2003年~2010年16例因DRS行手术治疗的患者资料进行回顾性总结和分析,观察项目包括患者的性别和年龄、DRS类型和临床表现、手术治疗方式和效果。16例患者中,男7例,女9例。左眼受累11例,右眼受累5例,左眼易患病。I型10例...     

刺激模拟量的空间表征:面积和亮度的类SNARC效应

在数字比较任务中的SNARC效应表明心理数字线具有空间上从左到右的方向性。本研究在两个实验中分别用面积和亮度作为比较刺激来探讨SNARC效应是否存在于面积比较任务和亮度比较任务中。实验结果显示,面积比较和亮度比较任务中存在类SNARC效应。     

非注意状态下拓扑性质优先加工的电生理学证据

采用ERP技术并运用跨通路延迟反应范式来探讨拓扑性质知觉理论在非注意状态下是否成立,发现存在视觉MMN且视觉系统在非注意状态下对拓扑性质的加工比颜色加工更早,表明与局部属性(颜色)相比,拓扑性质在无意识中优先得到加工,拓扑性质知觉理论在非注意状态下是成立的。     

Rule Separation and Embedding Theorems for Logics Without Weakening

A full separation theorem for the derivable rules of intuitionistic linear logic without bounds, 0 and exponentials is proved. Several structural consequences of this theorem for subreducts of (commutative) residuated lattices are obtained. The theorem is then extended to the logic LR ⁺ and its proof is extended to obtain the finite embeddability property for the class of square increasing residuated lattices.     

The Pursuit of Epistemic Good

Pace Zagzebski, there is no route from the value of knowledge to a non–reliabilist virtue–theoretic epistemology. Her discussion of the value problem is marred by an uncritical and confused employment of the notion of a "state" of knowledge, an uncritical acceptance of a "knowledge–belief" identity thesis, and an incoherent presumption that the widely held thought that knowledge is more valuable than true belief amounts to the view that knowledge is a state of true belief having an intrinsic property which a state of 'mere" true belief lacks. Her arguments against a "machine–product" conception of knowledge are undermined by these flaws, while the alternative "agent–act" model she recommends is unattractive, at odds with the knowledge–belief identity thesis she favours, and no solution to the problem of the value of knowledge she poses. I end with the observation that her version of virtue–theoretic epistemology points in the direction of cognitive decision–theoretic norms, and I briefly discuss the bearing of this fact upon her viewpoint.     

Mathematical modal logic: A view of its evolution

This is a survey of the origins of mathematical interpretations of modal logics, and their development over the last century or so. It focuses on the interconnections between algebraic semantics using Boolean algebras with operators and relational semantics using structures often called Kripke models. It reviews the ideas of a number of people who independently contributed to the emergence of relational semantics, and compares them with the work of Kripke. It concludes with an account of several applications of modal model theory to mathematics and theoretical computer science.     

休谟的经济正义思想

休谟从分析人类获取生活资料的方式入手,认为正义是一种社会契约,是尊重个人财产权的人为美德;他提出了正义的三大法则,即财产稳定地占有的法则,根据同意转移所有物的法则,履行许诺的法则,并强调政府在落实经济正义三大法则过程中的作用。休谟的经济正义思想反映了市场经济的某些一般特征,对于今天我们研究中国社会的经济正义问题仍有不可替代的借鉴价值。     

Projective Beth Property in Extensions of Grzegorczyk Logic

All extensions of the modal Grzegorczyk logic Grz possessing projective Beth's property PB2 are described. It is proved that there are exactly 13 logics over Grz with PB2. All of them are finitely axiomatizable and have the finite model property. It is shown that PB2 is strongly decidable over Grz, i.e. there is an algorithm which, for any finite system Rul of additional axiom schemes and rules of inference, decides if the calculus Grz+Rul has the projective Beth property. Dedicated to the memory of Willem Johannes Blok     

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.