一个用于表达因果关系的ATL的扩展

CTL模型检测技术已被广泛应用于形式验证领域。交互时态逻辑（ATL）是对CTL的一个扩展,用于表达多主体博弈结构上的性质。ATL使用合作算子来表达多个主体能够通过合作保证系统的设计目标。在实际应用中,我们需要知道主体的行动与系统的输出状态之间具有因果关系。在本文中,我们通过引入新的模态算子扩展ATL,使得这种因果关系得到表达。我们使用两种方式的扩展。其中之一是从主体的能力出发,直观上,如果一些主体可以通过合作的行动来保证系统进入某个状态,同时,这些主体也可以通过合作的行动保证系统不进入这个状态,则这些主体的行动与该系统状态间具有更强的因果关系。我们使用的另一种方式是从系统状态出发。我们考虑要想使系统进入某状态,哪些主体的行动的必不可少的,哪些主体的行动是充分的但非必要的条件。在本文中,我们扩展后的逻辑CATL和SATL表达力强于ATL,但计算复杂性与ATL相同。     

组织文化、组织文化吻合度与员工的组织公民行为

以中国普通员工为被试,考察了组织文化、组织文化吻合度与员工组织公民行为(OCB)之间的关系.结果发现: (1)不同年龄、不同类型企业员工的OCB存在显著差异,但在性别、教育水平方面没有差异; (2)不同取向的组织文化对员工不同层面的OCB具有不同的预测作用.具体而言.组织文化对社会层面OCB的预测作用较强;就单一取向的组织文化来看,人本与创新取向的组织文化对OCB的预测作用最强; (3)在组织文化影响员工组织公民行为时,组织文化吻合度具有一定的调节作用,这种调节作用在人本与创新取向以及规范与安定取向的组织文化影响OCB时表现更加明显.     

广州监狱警察士气状况

目的：为解广州市监狱警察工作士气状况对心理健康状况提供建议。方法：采用监狱警察工作问卷对广州137名狱警进行问卷调查。结果表明：在工作投入、团队精神、需求满足,职业兴趣四个维度上高于中等强度水平在专业精神,组织认同两个维度上处于中等水平。结论：广州市监狱警察总体士气在中等偏上水平。     

语符“能”，“所”关系中的认识论意韵——索绪尔语言哲学解读

索绪尔的语言学对语符现象以能指与所指关系的分析为基础,展示了蕴含其中的语言的一系列两面性,从认识论的视域解读其学理精要,有助于我们清醒理解当下喧嚣的媒介文化,掌握其思想逻辑.     

学科规训视野中近代中国心理学学科的发展——以中央大学心理学系为例

学科规训制度是一种知识生产与专门人才培养同步进行的整合性制度,在某一知识门类学科化发展进程中起到至关重要的作用。民国时期,我国诸多大学纷纷成立心理学系,并开始着手建设中国自己的心理学,在这方面,中央大学心理学系成为了当时学科建设的桥头堡,它们的探索与实践在一定程度上与现代学科规训制度存在某种契合。     

Johnson—Laird的“心理模型”理论述评

该文对Johnson—Laird的心理模型理论从心理模型的含义、表述该理论的一组原理、推理过程、该模型对推理结果的预测等方面作了综合评述,并对该理论在不同推理形式的心理模型描述方面作了解析。在充分肯定该模型对推理心理学的发展所作出的重要贡献的同时,也指出了这一模型在理论表述中所存在的主要问题。     

基层党政领导干部对创造力人才特点的隐认知

该研究对48名基层领导干部的访谈和631名基层领导干部的问卷调查,通过访谈初步研究了基层领导干部的隐创造力概念,并在访谈基础上,通过因素分析等方法,编制了中国基层党政领导干部创造力人才特点量表。研究发现,中国基层领导干部对于创造力的理解更侧重于解决实际问题而非“无中生有”。在他们看来,创造力就是如何将现有的资源加以整合利用,在既定条件的约束下,用独特的方法来解决公共服务过程中面临的各种新老问题,并取得成效。中国基层领导干部的创造力人才特点包含工作灵活、激励带动：掌握新技术、敢于突破、善于学习5个维度,各维度之间有一定相关。     

《管子》荣辱观的基本内涵和体系特征

《管子》社会伦理道德思想中蕴含有以"四维"为核心的丰富的荣辱思想,其基本内涵包括热爱祖国、爱民护民、重诚尚信、团结同德、节俭去奢、遵纪守法等方面。《法禁》篇也对《管子》荣辱观基本内涵有所折射。《管子》荣辱观带有鲜明的齐文化"经世致用"的理论色彩。     

《管子》"时"观初探

"时"观念是理解中国古代思想的重要线索。在一定层面上讲,"时"观念的延展及其实践承载着传统农业社会的绵延。"时"在《管子》中是一个基础性的核心概念,贯通全文,它传承"时"的原发观念和本质特性,融入气、阴阳、五行思想,与道、德、法相通融,"时"作为论理基准,在"治国安邦"、"经世致用"中具有统领性意义。