关于线上教学的调查研究——以某高校师生为例的双向调查

本文通过将在线教学平台划分为课前、课中、课后对某高校师生进行双向调查研究,获知师生对线上教学的态度并探究原因。结果表明,平台针对性不足、在线教学培训缺乏实践、反馈对象单一、缺乏实时交互与课后反思是造成师生态度未至满意的重要原因。作者在此基础上建议各院校有针对性地为各科教师设定平台推荐表,制订“培训—实践—培训”的循环成长体系,在平台应用大数据技术进行教学热点与学生需求追踪并注重实时交互与学生端的数据反馈,增设教学重难点回顾,加快在线教学评价机制建立来引领课后反思,从而推动教学平台与在线教学发展。     

线上线下混合式计算机综合实践类"金课"建设

为了建设线上线下混合式计算机综合实践类"金课",分析计算机综合实践类课程的特点和现状,探讨线上线下综合实践类"金课"的架构和教学组织方式,以案例形式介绍东南大学计算机学院"计算机系统综合课程设计"课进行线上线下混合教学的方法.     

超星泛雅平台与雨课堂相结合的混合式教学模式实践

为了提高计算机网络技术课程的教学质量,解决传统面对面课堂教学和在线教学存在的问题和不足,提出一种基于超星泛雅平台与雨课堂相结合的混合式教学模式.信息技术教育手段覆盖课前、课中和课后三个阶段,课前和课后使用泛雅平台,课中使用雨课堂,教学过程全程数字化记录.教师通过对教学大数据的分析,实现教学从"经验驱动"向"数据驱动"的转变,能够精准掌握学生的学习过程情况和知识点的掌握情况,从而有针对性地开展教学.教学实践表明,该混合式教学模式符合信息化时代的教学要求,教学效果良好.     

线上辩论式教学法+课程思政的教学模式研究

挖掘辩论式教学法的天然思政育人功能,提出线上辩论式教学+课程思政的教学模式,以微课设计与实践课程为例,基于在线论坛,从辩题设计、辩论筹备、辩论实施方面介绍线上辩论式教学模式构建,然后通过3个育人机制(辩题设计、辩论过程和辩论评价)的思政建设,阐述如何将专业知识传授和思政育人有机结合,最后提出教学反思.     

数据驱动下的精准线上教学实践

为了响应教育部"停课不停教,停课不停学"的号召,提出了一种数据驱动下的精准线上教学方案.充分运用优质教学资源与互联网开放平台,构建以数据为中心的线上教学环境.将学情分析的结果用于指导课前、课中、课后教学环节设计,采集并分析教学中产生的相关数据,及时诊断线上教学中存在的问题,做到查漏补缺、精准施策,实现线上教学与线下教学...     

基于慕课的混合式教学实践与思考

阐述混合式教学中"课堂→慕课→课堂"的教学实践过程,介绍慕课视频、课件、习题等线上资源和课堂教学、辅导、作业等线下教学手段,通过数据统计分析方法揭示学生的学习行为与学习成绩之间的关系,比较混合式教学与传统教学方法的教学效果,指出混合式教学在工科专业课程教学中的可行性和有效性。     

"在线平台+项目驱动"模式下的软件编程实践类课程教学设计与实践

分析高职院校软件编程实践类课程项目驱动线上教学存在的问题,根据软件工程开发模型的典型流程和在线教学的特点,提出"在线平台+项目驱动"模式下的线上教学设计方案,并介绍了教学设计方案在.NET程序设计课程中的应用,最后说明实践效果.     

电工电子技术基础课程的混合式“金课”教学模式构建与实践

"互联网+"信息技术的快速发展为线上线下混合式"金课"教学模式的探索提供了全新的技术手段。利用现有的中国大学MOOC、雨课堂等平台,尝试线下教学与在线教学平台的融合。以郑州航院非电专业电工电子技术基础课程为例,对课前自学、线上线下混合教学、线下讨论、综合实训、创新大赛和兴趣小组电子协会六联驱动模式下的交叉融合教学方法进行验证。根据线上平台数据以及问卷调查情况,逐级提升混合式教学模式,跨界培养复杂专业学生的创新思维和能力,有效提高学生学习的主动性,为构建高校非电专业电工电子技术基础课程的线上线下融合教学模式提供新的思路。     

知"线上学"之效,行"线上教"之道

在"互联网+教育"的时代大背景下,在线教育的教育环境与组织方式不断发生着变化,因而教师要不断改进课堂的呈现方式和教学组织模式,进而实现"有效学"的目标.本文提出了利用"线上学"的有效实践来促进"线上教"的新策略,以期能够为广大教师实施在线教学提供一些新思路.     

疫情期间在线教学模式研究与探索 ——以移动互联网应用与开发课程在线教学为例

针对疫情期间开展在线教学活动的需要,以保证学生在教学过程中的学习投入为切入点,介绍从在线教学设计中的课程资源整合、教学数据收集与分析对教学效果的影响等角度开展的研究,并以移动互联网应用与开发课程的在线教学为例,从设计小组分层教学、"一课程多平台"网上虚拟教学课堂、"不同教学场景对接不同教学工具"的混合式在线教学设计方法几方面,提出以"一中心三阶段"为核心的新型在线教学模式并介绍具体实践,最后总结疫情期间在线教学实践的启示.     

Semantics and verification of monitors and systems of monitors and processes

In this paper we present a sound and complete semantics for the monitor concept of C.A.R. Hoare. First a method for specification of monitors, introduced by O.-J. Dahl, is reviewed. This method is based on the relation between the historic sequence of monitor procedure calls and the historic sequence of monitor procedure exits. Based on such specifications and our new monitor semantics we present a method by which it is possible to prove that a concrete monitor is an implementation of an abstract one. In the last part of the paper an axiomatic semantics for systems of concurrent processes and monitors is introduced. The method supports verification by separation of concerns: Properties of the communication to and from each process are proven in isolation by a usual Hoare style axiomatic semantics, while abstract monitors are also specified in isolation by the method reviewed in the first part of the paper. These properties of the components of the system are then used in a new proof rule to conclude properties of the complete system. Stein Gjessing received a Ph.D. (actually a Dr. philos.) from the University of Oslo (Norway) in 1985. Presently he is an Associate Professor at the Institute of informatics, University of Oslo, Norway. Dr. Gjessings research interests are in the area of concurrent and distributed programming, operating systems, formal specification and verification and programming languages.     

Models and Complexity of Problems of Design and Reconstruction of Telecommunication and Transport Systems

This article considers network synthesis problems arising in the design and exploitation of telecommunication and transportation systems. A formalization of network synthesis problems on graphs is proposed in which constraints on cut capacities are given and possibilities of failing some network components are taken into account. Approaches to the solution and analysis of the complexity of the considered problems are described.     

Teamcenter与NX集成客户化定制技术研究与实现

PDM产品实施过程中一项重要工作是系统集成与客户化定制。对Teamcenter Engineering(简称Teamcenter)与NX系统集成客户化定制中业务建模、属性映射等相关技术进行了研究,提出了Teamcenter与NX集成客户化定制的技术思路,并以客户化定制NX工程图纸标题栏为例,介绍了Teamcenter与NX集成定制实现的关键步骤及方法。     

椭圆拉伸变形长短轴的计算及应用

在CAD应用软件程序编制中,椭圆的长短轴是很重要的参数。应用相关数学知识推导出6个计算公式,可利用这些公式确定椭圆沿坐标轴拉伸变形后的长短轴大小与位置并在CAD软件中实现与之相关的功能。     

Binary perfect and extended perfect codes of lengths 15 and 16 and of ranks 13 and 14

Inaccuracies in computations in the paper of the authors on classification of perfect binary codes of lengths 15 and 16 and of rank 13 are fixed. An explicit construction of all extended perfect codes of length 16 and rank 13 with a given kernel size is presented. Perfect binary codes of length 15 and rank 14 obtained by the general doubling construction are classified.     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通。文中首先介绍了互通的种类和方案，并重点讲述了智能网和软交换互通过程中模型的重要部分——软交换侧的SSP。在此基础上，提出了智能网和软交换互通的实现方案，并且以智能用的典型业务FPH为例简明分析了方案，对利用业务服务器实现软交换中的智能业务进行了插述和分析。     

IPSEC与防火墙协同工作设计与实现

IPSEC提供网络层的安全服务，通过对IP报文的加密和验证，保证数据在传输过程中的安全．由于IPSEC封装了报文中一些重要信息，使得IPSEC与防火墙不能同时有效地工作．本文提出一种分层IPSEC(Layered IP Security，L_IPSEC)思想，即将协议头和数据部分分别进行安全处理．并将这种分层思想与分布式处理技术结合，设计与实现一种IPSEC与防火墙协同工作方案．     

Kohonen与Madaline用于解析重叠光谱测定钨和钼

首先应用Kohonen网络对钨、钼的混合吸收光谱进行波长选择，在全光谱中优选最能代表光谱特征的波长，被选波长处吸光度作为Madaline网络的输入，设定输出目标函数为G（λ）＝∑Aiexp[-4(ln20）(λ-t）^2/2]，进行解析重叠光谱，同时测定了钨和钼，该法利用特征光谱代表全谱进行光谱解析，减少了解析光谱中大量的数据。     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通.文中首先介绍了互通的种类和方案,并重点讲述了智能网和软交换互通过程中模型的重要部分--软交换侧的SSP.在此基础上,提出了智能网和软交换互通的实现方案,并且以智能网的典型业务FPH为例简明分析了方案,对利用业务服务器实现软交换中的智能业务进行了描述和分析.