-
题名集成CCS和B语言的形式化方法
被引量:2
- 1
-
-
作者
匡春临
潘孝铭
蒋胜利
-
机构
华侨大学信息学院
洛阳师范学院计算机系
-
出处
《计算机工程与科学》
CSCD
2007年第11期102-104,共3页
-
基金
华侨大学高层次人才科研启动基金资助项目
-
文摘
本文尝试集成通信系统演算(CCS)和B语言,以扩展CCS在数据和操作定义方面的能力,以及B方法在描述并发系统方面的能力。集成后的形式化模型BCCS可以描述和分析系统的不同方面(结构、控制、数据和功能)和不同类型的系统(顺序、并发和分布式)。
-
关键词
形式化方法
CCS
集成
-
Keywords
formalized method
CCS
B
integration
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名高校学生管理工作评价平台构建
被引量:2
- 2
-
-
作者
匡春临
赵素萍
牛惠芳
-
机构
洛阳师范学院信息技术学院
-
出处
《洛阳师范学院学报》
2014年第5期113-115,共3页
-
基金
河南省科技攻关研究计划(自然科学基金)资助项目(082102210091)
-
文摘
根据高校学生管理工作的现状,针对性地分析了高校学生管理工作考核的原则和内容,设计并实现了基于B/S结构的学生管理工作考核平台,其中的评价模块采用因子分析法,该平台能够根据考核指标对院系学生管理工作做出较为客观的评价,并能适应考核指标体系的变化,能提高学生管理工作的效率和信息化程度.
-
关键词
学生工作
考核原则
考核内容
考核平台
-
Keywords
student management
the principle of evaluation
the content of evaluation
evaluation platform
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
-
题名引入计算思维的“C程序设计”教学研究与实践
被引量:3
- 3
-
-
作者
匡春临
蒋胜利
-
机构
洛阳师范学院信息技术学院
-
出处
《教育教学论坛》
2020年第24期363-364,共2页
-
基金
洛阳师范学院教育科学基金“大学生计算思维能力培养研究”(2016-JYJJ-005)。
-
文摘
针对高校新生亟需加强计算思维能力培养的状况,分析在“C程序设计”课程中引入计算思维的必要性与可行性,提出在“C程序设计”教学内容及过程中全面引入计算思维思想,改验证性为主的实验教学为分析探究性为主,并对教改学生与传统教学学生的考试成绩进行了分析与比较。
-
关键词
计算思维
C程序设计
教学内容
-
Keywords
computational thinking
C Programming
teaching content
-
分类号
G642.0
[文化科学—高等教育学]
-
-
题名基于SVM-KNN的文本分类算法及其分析
被引量:3
- 4
-
-
作者
匡春临
夏清强
-
机构
洛阳师范学院
洛阳市教育局
-
出处
《计算机时代》
2010年第8期29-31,34,共4页
-
文摘
通过实验对SVM、KNN文本分类算法进行了深入探讨。基于KNN和SVM算法,提出了一种SVM-KNN算法。该算法结合KNN和SVM两种分类器,并通过分类预测概率的反馈和修正来提高分类器性能。在CWT100G中文网页分类测试系统中,对SVM-KNN算法的实际效果进行了测试和算法性能验证。
-
关键词
文本分类
SVM
KNN
SVM—KNN
算法比较
-
Keywords
text classification
SVM
KNN
SVM-KNN
algorithm comparison
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
-
题名一个集成形式化模型及其操作语义
- 5
-
-
作者
匡春临
匡国防
-
机构
洛阳师范学院信息技术学院
-
出处
《洛阳师范学院学报》
2011年第2期72-75,共4页
-
文摘
形式化方法在程序验证、模型检测的研究有着重要作用,集成形式化方法是形式化方法发展的一个方向.BCCS模型是集成B方法和进程代数CCS构建的一个混成模型,模型中给出了一个轻量级的描述语言,但缺少语义的支持.为了保证这个描述语言的完备性和一致性,本文则在传值CCS操作语义的基础上,结合B方法对抽象数据结构的定义、系统的限制以及功能处理,给出了BCCS的操作语义,进一步刻画BCCS模型.
-
关键词
形式化方法
BCCS模型
操作语义
-
Keywords
formal method
BCCS
operational semantics
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
-
-
题名谈中职校的教育信息化建设
被引量:5
- 6
-
-
作者
蒋胜利
匡春临
-
机构
陕西师范大学
河南科技大学
-
出处
《职教论坛》
2004年第11期56-,共1页
-
文摘
目前,大部分中等职业学校特别是中专学校开始建设或已建成校园网,少数学校已接人中国教育和科研网.随着办学投入的加大,以计算机为代表的教学辅助设备大量购入,并开始更新换代.中等职业学校在全球信息化的浪潮中,要生存发展下去,就要实现教育现代化,面向市场培养人才,走一条以现代教育技术振兴中职教育之路.……
-
关键词
中职学校
教育信息化
现代教育技术
中等职业学校
教学媒体
计算机房
电教设备
-
分类号
G71
[文化科学—职业技术教育学]
-
-
题名职业学校计算机基础教育改革研究
被引量:1
- 7
-
-
作者
匡国防
匡春临
-
机构
洛阳师范学院信息技术学院
-
出处
《黑龙江科技信息》
2009年第31期216-216,共1页
-
基金
2009年度洛阳市社会科学规划项目
项目编号:2009D174
项目名称:职业学校计算机基础教育改革研究
-
文摘
概述了目前职业学校计算机基础教育的现况,从多个角度对目前职业学校计算机基础教育存在的问题进行了分析,并针对这些问题提出了相应的解决方案,对职业学校的计算机基础教育改革的顺利进行具有一定的参考价值。
-
关键词
职业教育
计算机基础教育
教学改革
-
分类号
TP3-4
[自动化与计算机技术—计算机科学与技术]
G712
[文化科学—职业技术教育学]
-
-
题名一种用于特征提取的保局判别分析算法
- 8
-
-
作者
蒋胜利
匡春临
张军英
-
机构
西安电子科技大学计算机学院
洛阳师范学院信息技术学院
-
出处
《计算机科学》
CSCD
北大核心
2011年第4期272-274,285,共4页
-
基金
国家自然科学基金重点项目(60933009)
陕西省科技攻关项目(2009K01-56)资助
-
文摘
针对保局投影(LPP)为无监督算法的局限,提出了一种新的监督版的LPP,即保局判别分析(LPDA)算法。LPDA吸收了流形学习算法与最大边界准则(MMC)的共同特点,可以将高维的人脸数据投影到低维子空间,具有能处理新样本与无小样本问题的优点。与现有的多种经典相关方法相比,从Yale,UMIST及MIT 3个人脸数据库的实验结果表明,提出的LPDA算法在降维的同时提取了用于人脸识别的更有效的特征,人脸图像识别性能较好,具有较强的判别分析能力。
-
关键词
保局投影
最大边界准则
特征提取
人脸识别
流形学习
-
Keywords
Locality preserving projection
Maximum margin criterion
Feature extraction
Face recognition
Manifold learning
-
分类号
TP391.4
[自动化与计算机技术—计算机应用技术]
-
-
题名基于网络的数字化节目播控系统研究
- 9
-
-
作者
匡国防
匡春临
-
机构
洛阳师范学院信息技术学院
-
出处
《洛阳师范学院学报》
2010年第2期70-72,共3页
-
基金
河南省高等学校青年骨干教师资助计划项目基金(2006104)
-
文摘
近年来,随着数字化节目源的不断增多,对原有的节目播出控制系统提出了新的挑战.本文对视频播出控制系统的需求和数字化节目的特点进行了分析,提出了一套基于网络的数字化播出和控制系统的设计方案,在此基础上对各个模块的流程进行了描述,并详细介绍了各个模块的功能,最后提出了模块的实现方案.该系统的实现和运用将会提高公司或企事业单位节目播出的效率,在一定程度上提高数字化节目的播出率.
-
关键词
数字化节目
网络
播出和控制
录制控制
-
Keywords
digital program
network
broadcast and control
record control
-
分类号
P393.09
[天文地球—地球物理学]
-
-
题名基于计算思维的中小学信息技术教学探究
被引量:4
- 10
-
-
作者
蒋姝婷
蒋胜利
匡春临
-
机构
洛阳师范学院信息技术学院
洛阳师范学院电子商务学院
-
出处
《教育教学论坛》
2022年第31期153-156,共4页
-
基金
2020年度洛阳师范学院教师教育课程改革项目“基于计算思维的中小学信息技术教学模式探究”([2020]JJ008)
2021年度洛阳师范学院高等教育教学改革与实践项目“基于互联网的C语言程序设计课程的翻转课堂模式研究”(2021xjg025)。
-
文摘
在新时代背景下,国人的计算思维能力与发达国家还存在一定差距,对于起步阶段的中小学生计算思维能力的培养尤其重要。中小学信息技术教学承担了培养中小学生计算思维的任务,主要围绕师资以及信息技术课程方面进行了分析,得出了计算思维能力培养的四个问题。基于此,提出了将计算思维整合进教学全部过程的方式、方法,并针对提出的问题,分析了解决的初步策略。以期通过提高中小学生信息技术课程教学效果,尽早普及计算思维,使学生全面发展。
-
关键词
计算思维
中小学
信息技术
教学模式
-
Keywords
computational thinking
primary and secondary schools
information technology
teaching mode
-
分类号
G642.0
[文化科学—高等教育学]
TP393.0-4
[自动化与计算机技术—计算机应用技术]
-