【摘 要】
：
自组织作为一种自发解决困难问题的内部控制过程已被应用在多主体系统中。当这类系统部署在开放环境中,参与主体的改变有可能导致系统走向不理想的状态。因此,知道改变参与主体后系统哪些特性保持不变哪些特性发生变化相当重要。由于验证自组织多主体系统的计算复杂度很高,因此需要思考如何正确使用原系统的验证信息以提高验证新系统的效率。本文提出一个理论框架,用于推理自组织多主体系统由于改变参与主体而带来的动态性。
【机 构】
：
DepartmentofPhilosophy,DepartmentofInformationandComputingSciences
【基金项目】
：
We thank all the reviewers for their valuable comments and the financial support from the China Postdoctoral Science Fund(General Program)(505000-X92001),the Major Program of National Social Science F
论文部分内容阅读
自组织作为一种自发解决困难问题的内部控制过程已被应用在多主体系统中。当这类系统部署在开放环境中,参与主体的改变有可能导致系统走向不理想的状态。因此,知道改变参与主体后系统哪些特性保持不变哪些特性发生变化相当重要。由于验证自组织多主体系统的计算复杂度很高,因此需要思考如何正确使用原系统的验证信息以提高验证新系统的效率。本文提出一个理论框架,用于推理自组织多主体系统由于改变参与主体而带来的动态性。
其他文献
A New Theory of the Historical Development of Logic in the Pre-Qin Era by Zeng Zhaoshi曾昭式, Institute of Logic and Cognition, Sun Yat-sen University, is an ex
小英是一名小学五年级女生,父母很早便已离婚,她的监护权归爸爸.爸爸在小英两岁时将她交由朋友(养母)抚养,养母家经济条件良好,小英就读于当地贵族学校,母女感情深厚.爸爸入
摘要：积极心理学强调用开放和宽容的态度看待每一个人，并认为每个人本身就具有内在的积极力量，任何人都可以充分认识自己的优势与不足，最大限度地挖掘自身的优势，培养积极的心理品质，激发自身的积极力量，克服成长过程中的挫折和困难，从而获得更加幸福和有意义的人生。心理韧性是个体在面对内外压力时，能够合理对内外资源进行整合，以更好地克服困难、适应环境过程中表现出的一种心理潜能。本研究从积极心理学的视角出发，从
我国建筑行业在未来的发展过程中,越来越注重绿色化建设的理念,因为随着时代的发展,绿色化施工理念逐渐在建筑行业建设中扎根,并且国内对绿色施工理念的重视程度也在不断地提
羊小反刍兽疫是养羊过程中常见的一种疾病,且具有很高的发病率,引发的主要原因为病毒,发病后会出现腹泻、发热以及口炎等症状.发病后,如果没有及时地控制住,会很快感染整个羊
摘要：基于初中生的心理特点，结合学校心理健康教育工作的实际情况，根据“绘画疗法”的理论和特点，构建和实施了“绘画心理”校本课程。该课程采用“四步六环”的模式，以“问—想—做—评”四大步骤为基础，六个环节紧紧相扣，逐层递进，实效明显。实践表明，“绘画心理”课程为初中心理健康教育课堂教学提供了有益的尝试，也多有借鉴意义。 关键词：绘画心理;心理健康教育;校本课程;初中 中图分类号：G44 文献标
摘要：为探究生物课堂中生涯规划教育渗透的现状和可行途径，以贵州省六盘水市第一中学师生为研究对象，采用问卷调查的方法，调查了学校生物教学中生涯规划教育渗透的现状。调查结果表明，学校生物教师很少在生物教学中渗透生涯规划知识。为此，基于问卷调查结果，对高中生物教学中生涯规划教育渗透的教学模式进行探索，旨在帮助学生做好生涯规划设计，激发学生对生物的学习兴趣，利于学生对相关专业和高校进行选择。 关键词：高
随着经济的发展和社会的进步,我国的建筑行业发展迅速.人们对居住房屋质量的要求越来越高,一些常见的房屋建筑工程质量问题使得居住者备受困扰,影响了人们的正常工作和生活.
本文给出含例邻域逻辑的萨奎斯特对应理论。这种逻辑可以讨论一个可能世界的邻域的存在性信息,是关系语义和邻域语义的一种混合。增加的表达力和描述邻域函数的关系特征使我们可以在框架层面讨论这种语言可以定义什么性质,是否可以超越邻域语义的KW片段。我们给出对应定理的两个证明。第一个证明直接使用标准翻译和极小赋值的技术,第二个证明通过双模态翻译将含例邻域逻辑的对应问题转化为经典克里普克语义的双模态逻辑。
随着我国社会经济的快速发展,人们的生活水平也呈现出不断上升的趋势,同时对绿色建筑的要求也逐渐提升,但由于建筑领域发展规模的扩展,大量资源被大量消耗,这样不仅对全球气