集成CCS和B语言的形式化方法

本文尝试集成通信系统演算(CCS)和B语言,以扩展CCS在数据和操作定义方面的能力,以及B方法在描述并发系统方面的能力。集成后的形式化模型BCCS可以描述和分析系统的不同方面(结构、控制、数据和功能)和不同类型的系统(顺序、并发和分布式)。

高校学生管理工作评价平台构建

根据高校学生管理工作的现状,针对性地分析了高校学生管理工作考核的原则和内容,设计并实现了基于B/S结构的学生管理工作考核平台,其中的评价模块采用因子分析法,该平台能够根据考核指标对院系学生管理工作做出较为客观的评价,并能适应考核指标体系的变化,能提高学生管理工作的效率和信息化程度.

引入计算思维的“C程序设计”教学研究与实践

针对高校新生亟需加强计算思维能力培养的状况,分析在“C程序设计”课程中引入计算思维的必要性与可行性,提出在“C程序设计”教学内容及过程中全面引入计算思维思想,改验证性为主的实验教学为分析探究性为主,并对教改学生与传统教学学生的考试成绩进行了分析与比较。

基于SVM-KNN的文本分类算法及其分析

通过实验对SVM、KNN文本分类算法进行了深入探讨。基于KNN和SVM算法,提出了一种SVM-KNN算法。该算法结合KNN和SVM两种分类器,并通过分类预测概率的反馈和修正来提高分类器性能。在CWT100G中文网页分类测试系统中,对SVM-KNN算法的实际效果进行了测试和算法性能验证。

一个集成形式化模型及其操作语义

形式化方法在程序验证、模型检测的研究有着重要作用,集成形式化方法是形式化方法发展的一个方向.BCCS模型是集成B方法和进程代数CCS构建的一个混成模型,模型中给出了一个轻量级的描述语言,但缺少语义的支持.为了保证这个描述语言的完备性和一致性,本文则在传值CCS操作语义的基础上,结合B方法对抽象数据结构的定义、系统的限制以及功能处理,给出了BCCS的操作语义,进一步刻画BCCS模型.

谈中职校的教育信息化建设

目前,大部分中等职业学校特别是中专学校开始建设或已建成校园网,少数学校已接人中国教育和科研网.随着办学投入的加大,以计算机为代表的教学辅助设备大量购入,并开始更新换代.中等职业学校在全球信息化的浪潮中,要生存发展下去,就要实现教育现代化,面向市场培养人才,走一条以现代教育技术振兴中职教育之路.……

职业学校计算机基础教育改革研究

概述了目前职业学校计算机基础教育的现况,从多个角度对目前职业学校计算机基础教育存在的问题进行了分析,并针对这些问题提出了相应的解决方案,对职业学校的计算机基础教育改革的顺利进行具有一定的参考价值。

一种用于特征提取的保局判别分析算法

针对保局投影(LPP)为无监督算法的局限,提出了一种新的监督版的LPP,即保局判别分析(LPDA)算法。LPDA吸收了流形学习算法与最大边界准则(MMC)的共同特点,可以将高维的人脸数据投影到低维子空间,具有能处理新样本与无小样本问题的优点。与现有的多种经典相关方法相比,从Yale,UMIST及MIT 3个人脸数据库的实验结果表明,提出的LPDA算法在降维的同时提取了用于人脸识别的更有效的特征,人脸图像识别性能较好,具有较强的判别分析能力。

基于网络的数字化节目播控系统研究

近年来,随着数字化节目源的不断增多,对原有的节目播出控制系统提出了新的挑战.本文对视频播出控制系统的需求和数字化节目的特点进行了分析,提出了一套基于网络的数字化播出和控制系统的设计方案,在此基础上对各个模块的流程进行了描述,并详细介绍了各个模块的功能,最后提出了模块的实现方案.该系统的实现和运用将会提高公司或企事业单位节目播出的效率,在一定程度上提高数字化节目的播出率.

基于计算思维的中小学信息技术教学探究

在新时代背景下,国人的计算思维能力与发达国家还存在一定差距,对于起步阶段的中小学生计算思维能力的培养尤其重要。中小学信息技术教学承担了培养中小学生计算思维的任务,主要围绕师资以及信息技术课程方面进行了分析,得出了计算思维能力培养的四个问题。基于此,提出了将计算思维整合进教学全部过程的方式、方法,并针对提出的问题,分析了解决的初步策略。以期通过提高中小学生信息技术课程教学效果,尽早普及计算思维,使学生全面发展。