基于ADDIE方法的文献检索课微信小程序教学模式构建

微信小程序的出现,为教育教学改革提供了新的方法和途径.结合发展教学方法的ADDIE方法,对小程序教学的优势进行了分析,设计出了小程序教学模块,并对小程序进行了开发、实施和评价,系统化构建了文献检索课微信小程序教学模式.     

基于ADDIE方法的文献检索课微信小程序教学模式构建

微信小程序的出现,为教育教学改革提供了新的方法和途径.结合发展教学方法的ADDIE方法,对小程序教学的优势进行了分析,设计出了小程序教学模块,并对小程序进行了开发、实施和评价,系统化构建了文献检索课微信小程序教学模式.     

一个面向Visual Basic界面设计的自动阅卷系统

本文针对VB编写的程序设计的自动阅卷,提出了静态判断、动态判断相结合的阅卷方法 .静态判断是在程序运行前通过对源程序的分析对程序的某些特性进行初步认定;动态判断则是在程序运行时进行黑盒法测试,以达到验证程序功能的目的 文中论证了对VB程序进行功能判定的可行性,对VB程序本身的程序结构进行了深入的分析,详细描述了阅卷过程和技术实现的要点,并对VB件的低层控制机制进行了有益的探索,最后给出了一个应用实例.     

RESRAD-BIOTA程序的改进及其应用研究

目前,电离辐射对生物产生的影响开始受到越来越多的关注,对生物辐射效应进行评价首先要估算生物所受到的辐射剂量率.RESRAD-BIOTA程序基于美国能源部(USDOE)技术标准DOE-STD-1153-2002中的分级(graded)方法,可以计算环境中生物受到的辐射剂量率.针对该程序的不足之处对其进行了改进,将改进后的程序用于中国某滨海核电厂厂址附近水生生物辐射剂量率的评估中,并对程序的应用进行了初步研究,最后讨论了程序应用中需要注意的问题.     

试论邮电业务分营中的审计

论述了在邮电业务分营过程中审计的作用和目标,并结合邮电业务分营的具体情况,设定了相应的审计程序,即了解程序、分析评价程序、实证程序.并对这3类程序的使用进行了具体分析.     

程序算法实验考核系统的设计与实现

提出程序算法实验考核的设计方案,实现了对算法程序进行自动评价的功能。系统采用多线程技术、计算机管道技术实现对程序的自动编译、运行,并根据测试用例判断程序的正确情况。文章就系统的设计和实现进行了较为详尽的分析和阐述。     

让学生真正成为教学的主体——化学程序启发教学模式探析

对化学程序启发教学模式进行了3方面的透视,即化学程序启发教学的活动要素和程序、化学程序启发教材的特征性、化学程序启发教学模式的心理学基础,并以化学程序启发教学为实例,探讨了化学程序启发教学模式是如何让学生真正成为教学的主体.     

串行程序的并行划分算法研究

给出了一个将串行程序进行并行划分的算法,并对算法的有效性进行了理论分析和实验验证,结果表明,该算法能有效地并行划分串行程序,提高串行程序的执行效率.     

论死刑复核程序的性质定位及诉讼化改造

我国将死刑核准权收归了最高人民法院,并颁布了相关司法解释对死刑复核程序的运行进行规范但是,现行的死刑复核程序在性质上还具有浓厚的行政审批色彩,是一种诉讼程序与行政审批程序相结合的综合体。根据正当法律程序,我国应对控、辩、审三方主体在诉讼中的地位和作用进行合理调整,把死刑复核程序改造成为诉讼化程序。     

体育专业田径技术教学课中基本部分的常规教学程序改革初探

本文对田径技术教学课中“基本部分”的教学程序进行了探讨,提出了新的教学程序.教学实验证明,新的教学程序对加快田径技术动作的形成具有明显的效果.     

试析儿童电视节目的内容构架

儿童电视节目是一类特殊的社会教育性节目,它与新闻、综艺类等节目不同,它在节目内容的设置和诉求载体的选择方面比较注重突出教化性和人文关怀。从业者为了使节目得到儿童的欢迎和认可,必须从“儿童本位”理念出发,合理地对节目内容进行构架,使儿童既能享受丰富多彩的节目,又能使他们在看节目中受到教益。     

带有指针的嵌套式语言全程数据流分析及程序分片系统

以PASCAL语言为模型,设计并实现了一个针对带有指针的嵌套式语言的全程数据流分析及程序分片系统,能够有效地处理程序中的指针,在程序测试、程序理解、程序调试、程序分片等领域都将有广泛的应用.     

用代号源程序固化BASIC程序

本文提出了一种利用代号源程序固化BASIC 用户程序的方法。根据BASIC程序运行原理,从RAM中调出代号源程序,对应EPROM所占空间,修改每一语句中指向下一语句行的指针,将修改指针后的代号源程序写入EPROM,再把EPROM 的首址装入微机通讯区中存储用户程序首址的单元中,实现了在EPROM中直接解释和执行BASIC程序。该方法具有固化方便、占用存储单元少等特点。     

浅谈俱乐部健康体育计划的种类与形态

本文从理论上阐述了俱乐部常用的健康体育练习计划、学习计划、小组计划、测验计划、休闲体育计划、个人（顾问）指导计划、活动（比赛）计划等计划的种类以及包括的主要内容,地一步探讨了单一型计划和综合型计划、短期计划和长期计划、特定对象计划和不特定对象计划等计划的形态。     

离子透镜程序及其应用

离子透镜程序 ( IL P)用来模拟平面对称或轴对称的静电场作用下的电场分布以及离子在电场中的运动轨迹。作者所开发的 ILP,其电场分布计算采用有限差分法。IL P面向实际应用 ,适合于不同电极尺寸、不同初始条件下的静电场分布计算和离子轨迹模拟 ,给出系统终点时的束流半径、散角、能量等参数。ILP可用于离子源、电子枪等装置的引出加速系统设计及参数验证。ILP被应用于两个不同系统的静电场计算 ,其结果与实际情况符合     

基于构件的外部程序管理器的设计与实现

EPM(External Program Manager)通过封装复杂的程序逻辑，实现了一个界面简洁的构件化系统，它可以方便地集成到应用程序中，从而简化了应用程序调用其它程序的复杂性．文章主要介绍EPM的系统结构与实现方法．     

用C语言编写屏幕保护程序

图形程序是计算机程序中很重要的内容,我们可以利用C语言中的图形函数编写出风格迥异的屏保程序。本文通过具体程序,介绍了用C语言编写屏幕保护程序的基本思路和方法。     

一种新型带式输送机结构方案设计

设计程序的传送带的黑箱方法,建立了结合计划模型与方法,功能分解的构建方案的评价模型进行优化,并用动态规划的方法确定最佳组合的结构,解决了设计方案由于缺乏信息,难以量化和评估的。结果证明该方法确定最佳的程序集的正确和符合实际。     

复变量Spence函数的数值计算

介绍了一个可计算复变量Srence 函数的Fortran 程序.该程序克服了西欧核子中心(CERN)程序库中相应程序只能计算实变量情形且仅给出其函数值实部的缺点.结果表明这个程序比CERN 库中的程序有很大改进.     

基于多核系统的隐马尔可夫模型并行算法研究

介绍了一种基于Open MP的多核并行程序设计方法,并使用此方法实现了对基于隐马尔可夫模型的Web文本挖掘程序的并行化改造.实验证明重新设计的多核并行程序相比于原有串行程序在多核微机系统上的运行时间大大减少、程序整体性能得到明显提升.