有效开展Java程序设计线上教学方法探索

2020年初,为应对疫情并保证教学进度,各校纷纷开展线上教学以满足学生在家学习的需求.文章通过分析Java程序设计课程线上教学的特点及困难,借助"雨课堂"和传智播客教辅平台,在授课形式和考核指标等方面进行调整和探究.教学实践表明,调整后的教学模式能有效地保证各环节的教学效果,提高了师生互动性.该模式可为其他课程的在线教学提供参考.     

金属镍诱导p型多晶硅薄膜的光电性能研究

利用电子束蒸镀方法及重掺杂p型硅为蒸发源在K8玻璃衬底上沉积非晶硅薄膜,采用镍诱导晶化法在氮气氛围下进行退火处理制备出p型多晶硅薄膜.研究了不同温度热处理条件对p型多晶硅薄膜的光电性能的影响,通过霍尔测量、拉曼光谱、原子力显微镜、紫外-可见光吸收光谱等测试手段对薄膜进行分析.结果表明,随着晶化温度的提高晶化程度先增强后...     

热交链NPD二聚体空穴注入层对PLED性能的改善

基于在PEDOT层上旋涂可热交链的NPD二聚体（VB-NPD）做空穴注入层实现高效率的聚合物发光二极管（PLED）,采用的器件结构为ITO／PEDOT（40nm）／VB-NPD／PFBT5（40nm）／TPBI（20nm）／CsF（1nm）／Al（i00rim）。通过调节VB-NPD层的厚度发现,当VB-NPD层的厚为...     

基于正则式的维普网全自动包装器的实现

当数据源的查询和访问受到限制时,网页包装器的设计与实现有一些新的特点。分析了维普网页的结构,描述了网页元素的标记与内容特征,给出了一组匹配维普网页内容的正则式,并用VisualC#实现了一个包装器,同时指出了实现技术中的要点与难点。实际应用表明,该文实现的全自动包装器可以精确抽取维普网页的全部检索内容。     

基于活动网络图的工作流过程定义工具的研究

该文基于工作流管理联盟(WFMC)制定的工作流过程定义元数据模型,提出了一个独立通用的基于活动网络图的工作流过程定义工具,它遵从WFMC制定的XPDL规范,可以输出一个标准通用的过程定义并能被不同的工作流运行系统解释执行,从而实现完全的过程定义的分离存储。     

工作流开发平台框架的研究与开发

文章提出了一个跨平台、支持各种操作系统、提供模型验证的独特工作流开发平台框架.通过平台建模工具搭建流程定义,依托引擎实现流程流转,采用基于Web的缺省客户端和管理监控工具完成对流程的调整、监控与审计,提供建模时期模型验证功能,提高了平台运行的可靠性.     

双循环互促的计算机专业课程在线教学与评估研究

分析在线教学的优缺点,针对计算机专业课程的特点,指出在线教学在方法和评估两个关键环节的问题,最后提出相应改进措施.     

基于CCS的软件规范描述及实例研究

软件规范描述方法主要是软件工程化的UML方法与形式化方法二类方法。论文主要给出了基于CCS的软件规范描述,首先根据系统需求画出进程派生树和迁移图,再根据操作语义和系统约束条件得到进程表达式,并用Java语言实现了系统原型代码。笔者的工作证明了CCS具有细节化地描述系统内部状态,便于系统软件实现的能力;在手工转换进程迁移图到进程表达式的基础上,提出了自动转换的进一步研究思路。