简介:技术越来越深刻地影响教学的事实及其存在的问题,迫使我们不能忽视甚至无视技术对教学的无限扩展。嵌入教学的技术可以分为作为教学辅助的技术、作为教学要素的技术和作为教学场域的技术,而与之相对应的教学便可以称之为技术辅助的教学、技术融入的教学和基于技术的教学。当前,我们所要探讨的不是去评定哪一种技术嵌入方式的教学最佳,而是哪一种技术嵌入方式的教学针对什么教学目的可以解决什么问题和取得怎样的效果。教学的技术嵌入是否取得预期的效果,并不在于其嵌入的方式,也不在于技术本身的新旧或先进与否,关键在于是否有正确的教学观念的指导。既然任何技术都潜含着一定的教学风险,也潜含着违背教学伦理道德的某种可能性,这就决定了对教学的技术嵌入进行伦理规约的必要性。
简介:生产者与消费者系统(PCS)是一个经典的进程同步问题,Hocine等学者运用抽象状态机(ASMs)对该问题进行了时序规约。文中主要使用TLA语言对PCS给出了一个时序规约模型,并且利用模型检测工具TLC对PCS进行检测。同时对系统的活性和互斥性也进行了检测,检测结果都满足系统规约。ASMs主要采用转移规则来规约PCS模型,中间的转移过程是无法知道的,TLA能同时规约出PCS的执行过程和系统属性。
简介:摘要列出电力变压器ANSI/IEEE和IEC标准的部分差异,供参考。
简介:近年来,民间法研究成为学界的热点课题,深刻影响着法学理论的建构和司法实践。但也应看到,我国民间法研究主要侧重对传统民间法和少数民族习惯法的考察,忽略了当前乡土社会转型背景下产生的新民间法,在研究视角上也主要以横向的静态考察为主,纵贯式的过程性分析不多见。本研究以村庄共同体解体和农民个体原子化趋势下的黔东南农村山林管护规约为个案,对转型乡土社会新型民间法的产生演变过程、新型民间法与国家制定法之间的冲突及其形成的秩序结果进行剖析,认为在乡土社会转型期间应充分重视民间法的秩序建构功能,遵循民间法的内生路径和变迁规律,建立以国家法为主导和民间法为基础的、协调互补的乡村良性法治秩序。