搜索筛选:
搜索耗时2.2595秒,为你在为你在102,285,761篇论文里面共找到 11 篇相符的论文内容
发布年度:
[学位论文] 作者:匡春临,
来源:华侨大学 年份:2008
随着计算机技术在尖端领域的应用,为了提高系统的安全性与可靠性,形式化方法得到长足的发展,也出现了许多优秀的形式化工具,例如,B、VDM、Z语言,还有诸如Petri网、CSP、CCS、...
[期刊论文] 作者:匡春临,蒋胜利,
来源:教育教学论坛 年份:2020
针对高校新生亟需加强计算思维能力培养的状况,分析在“C程序设计”课程中引入计算思维的必要性与可行性,提出在“C程序设计”教学内容及过程中全面引入计算思维思想,改验证...
[期刊论文] 作者:蒋胜利,匡春临,
来源:职教论坛 年份:2004
目前,大部分中等职业学校特别是中专学校开始建设或已建成校园网,少数学校已接人中国教育和科研网.随着办学投入的加大,以计算机为代表的教学辅助设备大量购入,并开始更新换...
[期刊论文] 作者:匡春临,匡国防,
来源:洛阳师范学院学报 年份:2011
形式化方法在程序验证、模型检测的研究有着重要作用,集成形式化方法是形式化方法发展的一个方向.BCCS模型是集成B方法和进程代数CCS构建的一个混成模型,模型中给出了一个轻量级......
[期刊论文] 作者:匡国防,匡春临,,
来源:洛阳师范学院学报 年份:2010
近年来,随着数字化节目源的不断增多,对原有的节目播出控制系统提出了新的挑战.本文对视频播出控制系统的需求和数字化节目的特点进行了分析,提出了一套基于网络的数字化播出...
[期刊论文] 作者:匡国防,匡春临,
来源:黑龙江科技信息 年份:2009
概述了目前职业学校计算机基础教育的现况,从多个角度对目前职业学校计算机基础教育存在的问题进行了分析。并针对这些问题提出了相应的解决方案,对职业学校的计算机基础教育改......
[期刊论文] 作者:匡春临, 夏清强,,
来源:计算机时代 年份:2010
通过实验对SVM、KNN文本分类算法进行了深入探讨。基于KNN和SVM算法,提出了一种SVM-KNN算法。该算法结合KNN和SVM两种分类器,并通过分类预测概率的反馈和修正来提高分类器性...
[期刊论文] 作者:匡春临,潘孝铭,蒋胜利,
来源:计算机工程与科学 年份:2007
本文尝试集成通信系统演算(CCS)和B语言,以扩展CCS在数据和操作定义方面的能力,以及B方法在描述并发系统方面的能力。集成后的形式化模型BCCS可以描述和分析系统的不同方面(结构、......
[期刊论文] 作者:蒋胜利,匡春临,张军英,,
来源:计算机科学 年份:2011
针对保局投影(LPP)为无监督算法的局限,提出了一种新的监督版的LPP,即保局判别分析(LPDA)算法。LPDA吸收了流形学习算法与最大边界准则(MMC)的共同特点,可以将高维的人脸数据投影到低维子空间,具有能处理新样本与无小样本问题的优点。与现有的多种经典相关方法......
[期刊论文] 作者:蒋姝婷, 蒋胜利, 匡春临,
来源:教育教学论坛 年份:2022
在新时代背景下,国人的计算思维能力与发达国家还存在一定差距,对于起步阶段的中小学生计算思维能力的培养尤其重要。中小学信息技术教学承担了培养中小学生计算思维的任务,主要围绕师资以及信息技术课程方面进行了分析,得出了计算思维能力培养的四个问题。基于此,提......
[期刊论文] 作者:匡春临,赵素萍,牛惠芳,
来源:洛阳师范学院学报 年份:2014
根据高校学生管理工作的现状,针对性地分析了高校学生管理工作考核的原则和内容,设计并实现了基于B/S结构的学生管理工作考核平台,其中的评价模块采用因子分析法,该平台能够根据考......
相关搜索: