摘要：在研究关于 CSP并发指称语义的不同研究方法的基础之上 ,利用广义状态的概念和完备距离空间作为指称的方法 ,讨论了 OCCAM的一个子集 OCCAM/ TOY的并发语义。针对目前交叠并发语义研究方法的问题和不足 ,首先在 OCCAM/ TOY的语法中引入了一类具体的原子语句 ,并从语义上考虑了原子语句的语义对整个程序语义的影响 ;其次 ,对于通常语义方法中合并处理的一对通信原语的一次通信分开处理 ,描述了单个通信步骤的语义及其对程序的影响。在构造语义域时 ,利用完备距离空间作为指称 ,讨论了在距离空间范畴中语义域议程的解的存在性 ;并且在定义语义函数时 ,保证了递归定义的语义函数的存在性。给出了 OCCAM/ TOY的完全意义上的并发指称语义 ,既体现了由于并发而导致的执行过程的不确定性 。

摘要：珍藏2000多瓶美酒,被上海大世界基尼斯称为"中国藏酒最多的围屋",设立艺术家创作基地,成立妇女学校……这就是被称为"客家酒堡"的龙南县渔仔潭围。

摘要：本文认为中职计算机专业英语教学需要树立新理念,实施新的教学模式,注重培养学生学习兴趣,适当突出专业英语的应用,注重从方法入手,培养学生自主学习能力,注重系统设计,重点培养学生用语言做事的能力。

摘要：“坚定历史自信 增强历史主动——第七届历史教育学术研讨会”专题学术论坛第二论坛——历史教学实践之“素养落地”,由昆明市第一中学西山学校马千里老师和成都市教育科学研究院赖蓉辉老师召集、主持,深圳市教育科学研究院光明分院陈箐、陕西省紫阳中学龙廷忠、四川省邻水中学骆孝元、深圳盐田区外国语学校董辉、郑州龙门实验学校邱朴智、青岛艺术学校陈亚冰、安徽省芜湖市第七中学王川芳、江苏省如皋中学刘国良、深圳市新安中学(集团)高中部陈育、江苏省泰州市史海燕名师工作室端龙云等十位老师进行了重点发言,现场参加论坛的其他老师也进行了互动发言。

摘要：有计划、有目标的教研活动的开展,是推动区域内学科教学研究和教师专业成长的有效途径。在刚刚过去的2018年,成都市中学历史学科系列教研活动圆满地画上了句号。一年以来,我市历史学科从教学一线的实际需求出发,“研培一体”,开展了丰富多彩的教研活动,不仅引领着学科教育教学改革的方向,也为中青年教师的专业成长搭建了平台,得到了老师的普遍认可和好评。为了吸引更多的历史教师积极参与教研活动,笔者在设计年度教研活动之前,先在我市历史教师中进行了网络问卷调查,根据老师的需求,精心设计和安排教研活动,尽可能地让教研活动的开展有实效、接地气。纵观我市2018年开展的教研活动,主要是以主题教研的形式实施,大致可以分为以下几种类型。

摘要：成都市中学历史学科“蜀郡杯”赛课活动的开展,促使青年历史教师转变教学观念,从广泛深入的历史阅读中获取教学设计的灵感,运用全新的教学理念研究和打造有魅力的历史课堂。这次赛课活动促使更多历史教育工作者认真思考“新时代究竟什么样的历史教育”“什么样的历史课才是好(更好、最好)的历史课”。至少“有知识厚度、有思想深度、有趣味浓度、有人情温度”的历史课,一定能够让学生深切感受到历史学科教学的魅力、促使师生实现共同成长,这一点在某种程度上说,已成为一种共识。

摘要：一、基于＂史料＂能力考查的创新近年来,新的课程资源观对高考命题产生了重大的影响。高考历史试题的命制以丰富多彩、形式新颖的材料（包括历史图片、文物、地图、民歌、漫画、广告、表格、数据统计图、新闻稿、学者观点、舆论看法、社会生活场景等）创设试题情境,提出新问题,形式灵动活泼。试题考查的形式以主干知识或社会热点为背景与依托,在此基础上运用新材料,设置新情境,基于新视角,提出新问题,给人以耳目一新之感。

摘要：课程结构的改革是这次普通高中课程改革的重点和难点,而课程结构的最大变化是模块的设置。模块的设置,对普通高中课程改革的基本理念、课程设计、课程内容、课程管理和课程评价等都带来了新的变化和挑战,如何把握模块的性质、特点和设置模块的意义,如何按照模块的要求实施新课程、推进学科教学,是普通高中课程改革实践中需要高度关注并切实加以解决的一个重要问题。

摘要：2018年金秋十月,在成都市“蜀都杯”高中历史优质课展评活动中,来自成都七中嘉祥外国语学校的雷志伟老师执教的“辛亥革命——低烈度、大业绩”一课,以独特的视角释义革命“低烈度”,追问革命“大业绩”,兼具“学术性”与“思辨性”,其融会贯通的设计理念,活泼热烈的课堂气氛,师生教学相长的愉悦,获得与会师生及评委的高度评价,最终夺得本次大赛特等奖第一名。下面就此课的教学设计、课堂呈现方式和核心素养的落实等几个方面,分享笔者的体会和感悟。

摘要：《普通高中历史课程标准(2017年版)》将于2018年秋季开始实施,其中的新理念、新观点、新提法、新架构、新内容和新建议等亮点值得研究:引入"核心素养"理念,确定核心素养目标;凸显正确历史观,让唯物史观更充分地发挥指导作用;构建通史与专题史相结合的课程内容体系;专家"下海",设计并展现高质量的教学案例和评价案例;提出新的历史教学评价方案,以评促教、促学。新课标实施的意义在于:标志高中历史教育进入一个新的发展阶段,为学生成长和教师专业发展搭建了具有学科特点的平台,倒逼义务教育阶段历史课程进行改革,拓宽了历史教学交流的通道。