教学课程资源库 更多>>

关键词： 条带结构   原型图式   去中心化   自组织   二元辩证   城市设计   库哈斯  

摘要： 城市设计方法论的核心是结构化。中心化主导的他组织结构一直是当代规划设计的主流模式之一,虽极大提升了空间效率和安全性,但也带来了风貌趋同、创新活力不足和一系列社会问题。其根因在于城市自组织机能的丧失。条带是一种能有效激活自组织活动与景观的空间结构。文章在简要回溯条带原型成形源流的基础上,揭示其内在的现代性二元机制及去中心化的结构潜力,并进一步剖析条带不同于常规他组织结构的自组织本质。由此结合北京南中轴的在地实践,将条带图式的结构化原理转化成一种以二元辩证统一律为底层逻辑、他组织与自组织相结合的设计方法论,以期初步探讨当代城市空间生产的理论模型,为城市设计的方法研究拓展新的视角。

关键词： 接传球技术   结构化教学   “学练赛评”一体化  

摘要： 在帮助学生掌握1~2项专项运动技能理念的指导下,本文对社团课软式棒垒球“接传地滚球技术”内容进行梳理,明确整体设计思路,以核心技术为主线设计教学内容,站在课程和学生长远发展的角度进行教学,帮助学生形成技能专长。根据U10年龄段学生认知规律及知识技能的形成规律,结合软垒接传地滚球技术结构特征,将课程内容结构划分为“技术知识和技能学习”“技术组合练习”“技术与战术运用”“情境比赛”“评价与反馈”几个活动教学板块,为进一步落实“学、练、赛、评”一体化教学方式提供教学参考。

关键词： 水电站   国产设备   智能监控系统   龙芯芯片   信号处理器  

摘要： 针对并发用户和命令发送次数增多,控制命令传输速率与完整度较差的问题,设计了基于国产设备的智能监控系统体系结构。使用国产龙芯2H型号芯片,控制水电站设备机组内不同装置,采集其运行状态数据,通过100M光纤以太网和网关,将输电站设备机组运行状态数据传输至操作员工作站和监控终端内;依据操作员工作站和监控终端内的水电站设备监控程序,使用移动时窗划分水电站设备运行数据子时间序列,将其与水电站设备位置数据融合,获得了水电站设备时空联合数据;使用模糊C均值聚类方法,依据历史故障数据,检测异常值,实现水电站设备运行异常监控。实验结果表明:该系统在应用过程中具备较好的稳定性和通信传输能力;其采集的水电站设备运行数据较为准确,可有效监控水电站机组内水闸启闭机异常情况,实际应用效果显著。

关键词： 知识结构化   高中生物学   单元作业   设计策略  

摘要： 以我国乙肝疫苗的研制历程为单元作业的主线,围绕核心概念,提出促进知识结构化的高中生物学单元作业设计策略:坚持育人本位,立足核心素养;厘清知识结构,形成单元作业;挖掘内在联系,聚焦问题解决;采用多样表达,实施综合评价.

关键词： 中学化学   化学变化   结构化教学   大单元教学  

摘要： 结构化是实现知识向素养转化的重要途径。本文以“燃料及其利用”单元教学为例,在大概念统领下,基于对化学变化的结构化理解进行大单元整体教学设计。以燃烧概念为中心进行知识关联的结构化,以大概念提炼为基础强调认识思路的结构化,以核心观念为引领促使教学过程的结构化,从反应现象、条件控制、能量转化、应用价值、合理调控等方面进行结构化教学的研究,为素养导向的大单元整体教学设计提供参考。

关键词： 软件工程   软件开发   运行软件   软件人才培养   实践化教学   人才培养模式   教学方法探索  

摘要： 《软件导刊》特别策划“软件工程实践教学改革及人才培养模式”专题,专题共汇集了9篇文章,探讨软件人才培养面临的新问题,分享软件工程教育教学的新成果。复旦大学沈立炜等撰写《以实践能力为中心的软件工程教学方法探索》探索以实践能力为中心的软件工程教学方法,以交付可运行软件的构造活动为中心开展实践化教学;同时通过一种增量、迭代的过程,在融入软件开发与交付的过程中培养学生的关键能力。

关键词： 统一建模语言   形式化方法   Event-B   抽象转换   模型  

摘要： 在面向对象的软件开发中,UML已经成为事实上的建模标准。然而,UML虽然直观容易理解和应用,却存在着不精确的语义,而且UML是一种半形式化的建模语言,无法进行形式化的验证。Event-B是一种基于大量数学谓词逻辑的形式化方法,虽然精确却难以理解和应用。因此,如何结合UML图和Event-B方法的优点是研究的重点,以往的方法都是基于UML零散图到Event-B的转换,缺乏系统的转换方法。系统性的转换方法可以实现UML中的元素与Event-B中的元素相对应统一。一般的软件系统是中型系统,中型系统采用用例图、类图、状态图和顺序图这四种图就可以很好地表达清楚,有了上述的四种图,软件生命周期的需求获取、分析、设计、详细设计就可以完全表达清楚。文章中分别给出了这四种图到Event-B的转换方法,并将该系统的转换方法应用到对安全性和可靠性要求较高的电梯控制系统中。基于该实例的研究,验证了UML到Event-B系统性转换方法的可行性和有效性。UML到Event-B的系统转换方法不仅有利于UML的精确化和软件从业人员的使用,而且增强了形式化方法的可理解性,有利于形式化方法的推广和应用。

关键词： 博弈语用学   交际互动   语用意义   形式化方法  

摘要： 博弈语用学通过构建数理模型开启语用推理形式化分析,探究听、言者的策略互动过程,给尚处于哲学推论困境中的语用意义研究投来一束亮光。然而,国内对博弈语用学等认知互动视角下语用形式化研究的关注尚不够充分。本文拟从简单刻画博弈语用学问世的历史必然性入手,就其理论依循、研究议题、研究贡献及前景展望等四个话题评述该领域的最新成就。研究发现:博弈语用学正尝试将会话含义、言语行为、话语社会意义等各类语用现象纳入最优决策过程,构建统一的意义分析框架,揭示言语交际行为背后的理性动因。博弈语用学适时精进传统语用学研究,为有效指导言语交际实践提供了新的视角和思考。

关键词： 软件工程   实践教学   低代码开源平台  

摘要： 针对当前软件工程实践教学中出现的问题,提出在经典瀑布式模型实践方案的基础上,结合低代码开发平台和敏捷开发模型设计软件工程实践的教学方案,并通过介绍连续的教学实践过程,证明方案能够对项目小组成员进行更合理的成绩评定,可以有效地提高学生的编程能力,达到更高的教学目标。

关键词： “双减”   作业   一体化设计   “教-学-评一致性”   逆向设计  

摘要： “双减”政策出台后,如何减轻作业负担、提高作业设计质量成为当下中小学教师亟待解决的问题。作业结构化设计要求教师要树立课程视域的作业观,具有“教-学-评一致性”的设计视野,以单元为基本单位,采用“目标-评价-活动”的设计模式进行作业设计。本文以小学语文五(下)第三单元“遨游汉字王国”为例展示如何进行作业的结构化设计,为中小学作业设计提供参考。