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

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

会议报告和发言摘登

赫伯特·赫尔兹教授在报告中阐述了唯物辩证法和自组织理论的关系问题。他认为,自组织理论在承认系统和外部环境的紧密联系和相互作用的前提下,更注意系统内部诸因素的自我组织对发展的意义,外部因素对系统的影响不是机械决定论的,有组织的系统以其特殊方式对外部影响作出反应,基于内部条件改变了外部影响的结果。自组织理论承认偶然性是系统组织结构的构成因素,其中包括可能性在某种条件下的偶然实     

职业院校大学生创新创业对策研究

文章基于CDIO教育模式实践教学中的参与主体这一视角,明确职业院校在创新创业教育中共同参与的政府、企业、高校、社会组织、学生五个主体,提出"协同合作"理念,在此基础上,系统提出职业院校大学生创新创业"五位一体"协同教育对策,以期为职业院校创新创业人才培养发展提供借鉴,有效推进职业院校创新创业教育工作的开展。     

基核与系统自组织

当我们讨论系统自组织的内在机制问题时,必然首先会涉及产生系统自组织的基石——基核。一切自组织系统都是在单个或多个基核的基础上成长、发展起来的,没有基核的形成及其演化,系统的自组织过程就会丧失必要的前提和基础。基核同时也是系统自组织的模板,在基核基础上发展出的自组织系统在演化过程中受到它的巨大影响,它对系统自组织的方式、走向或趋势起着重要的作用。本文是我们关于系统自组织的哲学沉思的系列文章之一,现以纲要的形式提供大家讨论。     

浅谈历史教学中主体分析法的运用

马克思说：历史不过是人的活动。由人就组成了各种各样的历史主体－家庭、阶层、集团、阶级、政党、政府、民族、国家乃至于国际组织。而历史也就因为这些各种各样历史主体的参与变得丰富多彩和纷繁复杂起来。如何让我们的学生透过纷繁复杂的历史现象去分析历史事件的前因后果、去把握背后的本质规律也就成为历史教学的重要课题。由于历史的纷繁复杂性是源于历史主体的多样性，因此对该课题的研究和解决也拟从历史主体的分析入手，为此特提出历史主体分析法这一命题。     

论技术创新与组织创新的自组织

技术创新作为一个系统，经历了一个从无(无序)到有(有序)、再到高级有序的自组织进化的过程。同时，作为技术创新主体的组织也经历了一个从无(无序)到有(有序)、再到高级有序的自组织进化的过程。探讨技术创新与组织创新的自组织及其关系，对于提高技术创新的组织能力具有重要意义。自组织理论所揭示的系统利用自身内部力量产生耗散结构，实现从无序到有序，从低级有序到高级有序的不可逆的演化过程，对分析技术创新活动的自组织有重要启示。     

关于主体、主体结构和主体功能的一些认识

主体性是主体的本质规定性,即主体所具有的特殊本质及其外部表现。因此,要正确理解主体性,首先就要正确把握主体这个范畴。主体,作为与客体相互依存、相互规定的范畴,其内涵是指对象性活动的发动者秘作用者。在哲学史上,从与客体相互依存、相互规定的意义来理解主体是自康德开始的。自康德到黑格尔,所有唯心主义的德国古典哲学大师都把人理解为有理性的理论活动和有道德的实践活动的主体,强调作为主体的人的主体性。但是,由于他们不懂得感性活     

社区社会组织层级与社区环境善治——以潍坊市奎文区金都社区为例

社区社会组织作为社区居民的参与载体、国家-社会沟通的桥梁,是社区治理主体与中坚力量。我国社区治理环境的异质化使得社区社会组织发展呈现多样性、复杂性的趋势,但又内含一种动态的、由低到高的层级发展路径及特征。这一特征体现着社区行为主体互动的动机、参与深度与广度的差异,而不同层级上的社区社会组织参与社区治理的作用机制不同,因此在社区治理的不同维度上发挥着不同的作用。文章以山东省潍坊市金都社区为分析对象,在理论上拓展社区社会组织治理模式的研究视角,以推动社区社会组织发展及社区治理实践。     

后形而上学的思维及其哲学方法论问题

世纪之交，探讨中国哲学的发展，就必须承认当代哲学自语言学转向后所形成的后形而上学的思维背景，（ｃｏｎｔｅｘｔ），并在这样一个背景条件下，参与国际性的哲学对话。主体哲学在改革开放后的中国的兴起，对于当代中国哲学的发展及其思想解放起了极大的作用。在一定的意义上，主体哲学所肩负起的社会历史任务还没有完结，因此，也许提出传统意义的主体哲学在中国的终结还为时过早。但我们必须看到，由于社会发展背景所形成的这个哲学思维上的时间差，已经在一定的程度上制约着当代中国哲学的思维。中国的哲学家们只有自觉地突破它自身的…     

中华宗教文化交流协会理事会在京召开

正本刊讯2月19日,中华宗教文化交流协会在北京召开理事会议,海内外100多位代表齐聚一堂。该协会提出,鼓励、支持宗教界参与国际性宗教组织重要活动,进一步加大协会在国际多边宗教组织与活动中的主动权、话语权。中华宗教文化交流协会是两岸及港澳、华人华侨中有志于宗教文化交流事业的各界人士自     

患者参与患者安全的国内外研究分析

患者是患者安全的主体和核心,保证患者安全,不仅是医护人员和医疗机构的责任,同时需要患者的参与。自1999年美国医学研究院发表了《孰能无错,构建更为安全的卫生保健体系》报告后,患者安全首次成为学术组织、公众媒体关注的焦点,其相关研究如雨后春笋般涌现,包括患者参与患者安全的研究。     

患者参与患者安全的国内外研究分析

患者是患者安全的主体和核心,保证患者安全,不仅是医护人员和医疗机构的责任,同时需要患者的参与.自1999年美国医学研究院发表了《孰能无错,构建更为安全的卫生保健体系》报告后,患者安全首次成为学术组织、公众媒体关注的焦点,其相关研究如雨后春笋般涌现,包括患者参与患者安全的研究.     

关于几个学术问题的探讨——记全国党校第七届哲学年会

会议于1989年11月在湖北十堰市召开,与会140余人。会议讨论了党校在干部哲学教育中的作用,强调要分清哲学理论是非,坚持反对资产阶级自由化。会议还对几个学术问题进行了热烈讨论。现将其中有关主体学说的两个问题综述如下。一、对毛泽东哲学思想主体学说的探讨有的论者认为,以毛泽东为代表的中国共产党的领导人,把马克思主义哲学主体理论与中国实际结合,深入研究了中国革命和建设的主体问题,形成了关于主体结构、主体特性、主体价值、主体改造等有特色的主体学说。第一,从主体结构方面讲,它把主体看作是一个由个体、团体、政党、阶级、人民群众组成的辩证有序的系列结构,既强调个体主体的作用,也强调群体主体的作用,而且将这两者辩证关系的理论运用于党的政治生活和领导工作实践,形成了“群众——领导——群众”的工作方法和领导方法。第二,从主体特性方面讲,它把“自觉能动性”作为主体的根本特性,而主体活动的目的性、预见性、计划性、主动性、灵活性、创造性看作是主体“自觉能动性”的系统展开。因此,可以把毛泽东哲学思想主体特性理论的内容概括为“一个根本特性,六个具体特性”     

"大力支持,积极参与":组织内部集体抗争中的高风险人群

组织内部的集体抗争及其参与兴趣是以往社会运动研究很少涉及的领域.那么,一个组织内部如果发生集体抗争,哪些人最有可能参与?本文把那些有意参与的人称为"风险人群",将其中态度最为坚定的那一部分称为"高风险人群".本文利用2003年中国综合社会调查(CGSS)数据,从入职渠道、组织内部控制、组织内部交往、在组织内的社会经济地位、工作满意度等角度研究了"高风险人群"的特征,以及他们参与集体抗争的兴趣与上述组织过程和特征之间的关系.结果发现,入职渠道的市场性和组织的国家属性越强、个人年收入水平和工作满意度越低、与下级同事的交往越多,参与集体抗争的意愿越强.     

窑街有个穆斯林文化交流中心

红古区窑街镇位于兰州西郊 ,距市区约１２０公里。是以回族为主体的穆斯林相对集中地区 ,全镇聚居着８０００多各族穆斯林 ,约占总人口的十分之一。这里还建有规模不同的五座清真寺。自十一届三中全会以来 ,这一地区被国家划定为黄河上游民族经济开发区连海经济小区 ,因此 ,又获得“冶金谷”的美称 ,按照国家要求标准 ,已正式批准为小康镇 ,但是由于历史原因 ,穆斯林的整体文化素质普遍较低 ,伴随着商品大潮的猛烈冲击 ,难免会使思想意识、道德水准受到侵蚀 ,为了改变这一现状 ,振兴穆斯林文化事业 ,１９９４年初 ,当地穆斯林发起成立了第一…     

多主体认知系统中的互知推理

在多主体认知系统中 ,每个主体都是一个推理者。多主体之间互知推理的复杂性在于 ,这种推理的对象中 ,不仅包括对象世界的知识 ,而且包含系统中其他的同样正在进行推理的主体 ;推理者对其他主体的思考及其结果进行推理 ,这些主体同样对推理者的思考及其结果进行推理。这使得推理的素材是弹性的 ,动态的 ,随着推理的过程不断变化的。这种推理 ,是对人的日常思维能力的挑战 ,也是对逻辑学的挑战。本文通过构造关于知道的模型 ,用逻辑语义学的方法 ,来刻划多主体之间的互知。形式语言Ｋ在形式语言Ｋ中 :1 ,2 ,… ,ｎ分别表示系统中ｎ个不同的主…     

癌症生存者“中国化”管理模式刍议

笔者结合几十年临床探索,提出癌症生存者管理的中国化/本土化问题:形式上倾向于以紧密团体为主,广泛吸纳社会参与大协作;强调要做好顶层设计,加强协同;及时且全程介入治疗性教育;并认为在中国,中医药学及康复医学是癌症生存者管理的主要力量。由于癌症是多因素所诱发,其之生存与康复受制诸多,因此亟需系统思维,不能就事论事。而且强调先从改变认知切入,并令当事人需遵循"知行合一",注重生活优化细节,持之以恒。此外,这是项涉及广泛的社会系统工程,需善于发动及借助社会力量,组成同盟军,共襄盛举。     

协同学和系统方法

近年来,一种称作协同学的跨学科研究新方向正引起学者们的注意。协同学这个词是从古希腊语中借用来的,它标志开放系统中大量亚系统之间相互作用的整体的、集体的或合作的效应。很久以来人们就知道许多这类协同效应,例如在物理学中。此外还发现,这些效应产生新的稳定结构和自组织。自组织过程在控制论和系统技术范围内得到了广泛研究,但是它们所分析的只是由人为了一定目的而专门构造的自组织技术系统,以及部分的生物系统。协同学与此不同,它提出了更广泛的任务。它力图阐明在具体性质极不相同的系统中产生新结构和自组织的某些共同规律。同时它力图揭示合作效应得以产生的特殊机制,这种合     

主体性概念试析

一、主体性概念的丰富蕴含 我们认为,把主体性说成“实际上就是主观性”是不妥的。我们也不同意把主体性简单地归结为“就是实践的特性”。主体概念具有更多的规定性,蕴含十分丰富。 主体性就是主体在主客体关系中使自己处于主体地位,发挥主体作用,从而区别于客体的那种本质特性。所谓主体地位,就是对象性活动的承担者、发动者的地位,所谓主体作用,就是把对象性活动施加于客体,使客体按照主体的需要和目的发生改变的主导作用。可以给主体性概念作一简要定义:主体性是主体凭借和发挥其本质力量,通过对象性活动,按照为我目的,为我倾向去把握客体这样一种特性。     

体感游戏促进儿童的执行功能：运动强度和认知参与的作用

为了考察体感游戏促进儿童执行功能的作用机制, 采用2(运动强度：高/低) × 2(认知参与：高/低) × 3(测量时间：前测、一次性训练后测、长期训练后测)的三因素混合实验设计, 对122名4~6岁儿童进行6周(每周3次)的体感游戏训练。结果发现：在一次性训练中, 体感游戏中的运动强度而不是认知参与显著促进儿童执行功能, 尤其是工作记忆; 在长期干预中, 体感游戏中的运动强度和认知参与都显著促进儿童执行功能, 且认知参与的作用大于运动强度。这一结果不但验证了体感游戏对儿童执行功能的益处, 并且阐明了体感游戏中的哪些特征能对儿童执行功能具有短期的和长期的效果。