【摘 要】
：
时态逻辑模型检测是自动验证最重要的方法之一。近年来，模型检测技术与人工智能的结合，成为一个研究的热点。具体地，就是扩充或者修改模型检测的时态逻辑，使之能够刻画多agents系
论文部分内容阅读
时态逻辑模型检测是自动验证最重要的方法之一。近年来，模型检测技术与人工智能的结合，成为一个研究的热点。具体地，就是扩充或者修改模型检测的时态逻辑，使之能够刻画多agents系统的特征。交互时态逻辑（Alternating Time Temporal Logic），以下简称为ATL，是其中较为成功的框架。使用ATL，可以刻画多个agents的相互合作，即，agents通过相互合作保证计算系统进入预定的某个（些）状态。然而，agents之间的冲突，是现实计算系统的一个重要特征。文章基于ATL，扩充其为一种表达
其他文献
<正> 激光具有亮度高、方向性强、单色性纯、相干性好等特点,可根据疾病的不同,用聚焦成散焦来治疗各种疾病,尤在皮肤病治疗中广泛应用。我科于1987.2～1988.4月间用Co_2激光扩
开架借阅是现代图书借阅服务体制的发展趋势，但开架借阅有优势也有弊端，广州市番禺东涌中学图书馆在采用开架借阅的几年中采取科学分类排架、代书板制度、制定完整的管理制度及
摘 要】随着教学改革的推进，各种结合现代信息技术的情境创设法涌现而出，内容上是天文地理、政史百科齐上场，轰轰烈烈，蔚为大观，但也因此经常喧宾夺主，少了语文课堂最本真的味道——“语文味”。本文结合本市优质课评比中的王霄怡老师执教的《想北平》一课来探索既不失“语文味”又能加深学生情感体验的情境创设法。 【关键词】情境教学 情境创设法 情感体验 情景创设是指在教学过程中为了达到既定的教学
<正> 内窥镜鼻胆管引流术(Endoscopic nasobiliary drainage,ENBD)是在内镜逆行胆胰管造影术(Endo—scopic Retrograde cholangiopancreatography,ERCP)和内镜乳头括约肌切开
近年来,由于临床大量使用抗菌谱广,价格昂贵的新型抗生素使各种耐药菌株及抗生素的副作用迅速增多,导致对许多感染性疾病治疗上使用药物的困难.而效优价廉的中药注射液不论单
《语文课程标准》明确指出“工具性与人文性的统一，是语文课程的基本特点。”还进一步阐述“培养学生高尚的道德情操和健康的审美情趣，形成正确的价值观和积极的人生态度，是语文教学的重要内容。”那么在语文教学中，如何熏陶感染学生呢？接下来浅谈笔者在教学中的几点做法： 一、情境感染 语文教材中绝大部分是名家的作品，通过学习这些课文，不但能够培养学生的优秀品质，教给他们做人的道理，而且能够陶冶学生美的情操，
【摘 要】区域游戏是幼儿主动、自主的游戏，是避免幼儿园小学化倾向的重要抓手，而区域活动的开展则体现了教师的教学理念和专业水平，教师要创设适宜幼儿活动的区域环境，通过有效的方式指导幼儿进行区域游戏，从而促进幼儿全面健康发展。 【关键词】区域活动 区域活动是为幼儿精心设计的，可以服务于幼儿发展的、作为幼儿活动对象的活动。在幼儿园，通常将教室中的环境划分为不同的区域，并在各个区域中布置多层次的优秀材
运用文献计量学的方法，对《中国图书馆学报》2006年的栽文、作者及引文等方面进行了统计分析．并与图书情报类刊物近年的有关统计数据作对比．从中得出该刊的特点和发展规律．为该刊
现代教育技术使数学知识的发生发展过程与结果的教育得到更好的结合，使数学兴趣、情感与数学的理性思维教育得到有机的融合，为数学课堂教学改革提供了有利的技术保障。本文从四
【摘 要】物理研究性学习是学生在教师指导下，以类似科学研究的方式主动地获取知识、应用知识、解决问题，并在研究过程中通过多种渠道主动地获取知识、应用知识、解决问题的学习活动。 【关键词】研究 探究过程 高中物理贯穿新教材的主线是：情景——探究——应用，其核心为“探究”。学生由接受式学习转变为主动获取学习。 新教材首先要求教师有全新的教学理念。而传统教学模式的大容量、高强度、多反复的课堂教学