陈振庆

作品数：29被引量：58H指数：5
导出分析报告
供职机构：贺州学院教育技术中心更多>>
发文主题：描述逻辑知识库DELPHIUML类图计算机专业更多>>
发文领域：自动化与计算机技术文化科学电子电信更多>>
发文期刊：《计算机工程与设计》《计算机教育》《网络安全技术与应用》《计算机应用与软件》更多>>
所获基金：广西高校优秀人才计划项目新世纪广东省高等教育教学改革工程项目广西壮族自治区自然科学基金广西青年科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
UML用例图的形式化及其推理被引量：1
《贺州学院学报》2017年第2期144-148,共5页陈振庆 
广西自然科学基金项目(2014GXNSFBA118278)
UML不是一种完全形式化的面向对象建模语言,不便于进行形式化分析和验证。文章首先提出了基于描述逻辑的UML用例图形式化方法,介绍了描述逻辑SHOIN(D)扩展部分的语法和语义,以及UML用例图各模型元素的SHOIN(D)描述形式。然后把UML用例...
关键词：描述逻辑 UML用例图 形式化方法 知识库 
基于描述逻辑的EER模型检测
《计算机应用与软件》2016年第8期39-42,共4页陈振庆 
广西自然科学基金项目(2014GXNSFBA118278)
首先分析基于描述逻辑的ER模型的研究现状,提出基于描述逻辑SHOIN(D)的EER模型,给出描述逻辑SHOIN(D)的语法和语义。然后研究EER模型的SHOIN(D)描述形式,以及如何将EER模型向SHOIN(D)知识库转化。最后给出EER模型可满足性、冗余性判定定...
关键词：描述逻辑SHOIN(D) 知识库 ER模型 EER模型 
基于OWL DL的本体推理机设计与实现被引量：1
《云南民族大学学报（自然科学版）》2016年第2期163-168,共6页陈振庆 
广西自然科学基金(2014GXNSFBA118278)
语义Web中描述逻辑和本体论日益受到关注,成为学术界的一个研究热点.首先给出了与OWL DL等价的描述逻辑SHOIN(D)的语法和语义,以及OWL DL本体知识库各模型元素的描述形式.然后介绍了OWL-API、Pellet-API、Jena-API推理机的工作原理和推...
关键词：描述逻辑 推理机 知识库 本体 
地方高校计算机专业人才培养模式改革与实践
《计算机时代》2015年第8期68-70,共3页陈振庆 罗兰花 谭晓东 
新世纪广西高等教育教学改革工程项目(2011JGA123)
地方高校向应用技术型大学转型势在必行,其中人才培养模式改革是关键。贺州学院计算机科学与信息工程学院在转型过程中,确立了适应社会需要的"嵌入式"计算机专业人才培养目标和课程设置原则,提出"嵌入式"人才培养模式,并付诸实践,为学...
关键词：地方高校 计算机专业 嵌入式 人才培养模式 
地方高校计算机专业转型发展创新思路——以贺州学院为例被引量：8
《软件》2015年第5期11-15,共5页陈振庆 罗兰花 
新世纪广西高等教育教学改革工程项目(2011JGA123)
文章分析了贺州学院计算机专业转型发展过程中面临的挑战,从职业生涯规划、课程体系、"双师型"师资队伍和校企合作四个方面与国外应用技术大学进行了对比研究,提出了以校企合作为基础,校企双方功能需求和资源相互嵌入的"嵌入式"创新思路...
关键词：计算机专业 嵌入式 人才培养模式 转型发展 
基于WebQuest的教学模式在操作系统教学中的改进与实践被引量：2
《科教文汇》2015年第6期83-84,共2页罗兰花 陈振庆 张波 
新世界广西高等教育教学改革工程项目;项目编号:2011JGA123
本文针对操作系统概念多、理论性强和应用性实验开展困难等特点,结合操作系统教学过程中存在的问题,提出了将Web Quest教学模式应用于操作系统教学并进行适应探索和实践,实践证明,该教学模式在实际教学中获得了很好的效果。
关键词：操作系统 WEBQUEST教学模式 教学方法 
无线传感器网络安全策略分析与设计被引量：2
《网络安全技术与应用》2014年第5期71-72,共2页罗兰花 陈振庆 
项目类型:校级科研项目;基金编号:2010ZRKY12
无线传感器网络面临安全性差的问题,本文详细分析了无线传感器网络的安全需求及约束,并对现有安全技术进行分析与比较,有针对性地选择并设计了一套有效的安全策略,从而解决无线传感器网络安全问题。
关键词：无线传感器网络 安全技术 数据加密 防御攻击 
基于时序描述逻辑的UML顺序图形式化方法被引量：5
《计算机工程》2013年第3期36-40,共5页陈振庆 
广西壮族自治区教育厅基金资助项目(200911LX444);2010年度广西高等学校优秀人才资助计划基金资助项目
根据统一建模语言(UML)顺序图的时序特征,提出一种基于时序描述逻辑ALCQIUS的UML顺序图形式化方法。研究ALCQIUS时序扩展部分的语法和语义、ALCQIUS断言公式集一致性定理,给出ALCQIUS断言公式集一致性推理算法,并证明该推理算法的可判...
关键词：时序描述逻辑 统一建模语言顺序图 静态语义 动态语义 形式化规约 形式化验证 
地方高校计算机专业人才培养模式现状分析及对策被引量：3
《计算机教育》2012年第22期5-8,共4页陈振庆 谭晓东 罗兰花 刘长青 
新世纪广西高等教育教学改革工程项目(2011JGA122)
分析地方高校计算机专业人才培养模式的现状,针对地方高校师资力量薄弱、就业指导滞后、课程设置与教育部直属院校大同小异和教学模式落后等问题,结合教高[2011]6号文件精神,提出以就业为导向的"1+2+1"人才培养模式,以贺州学院为个案,...
关键词：地方高校 计算机专业 人才培养模式 教学模式 
基于时序描述逻辑的UML状态图形式化验证
《制造业自动化》2012年第2期77-79,84,共4页陈振庆 
2010年度广西高等学校优秀人才资助计划项目:基于动态描述逻辑的UML状态图形式化方法
本文针对UML状态图具有动态行为和时序特征的特点,提出了一种新的描述逻辑,即时序描述逻辑TDDL(SHOIN(D))。首先给出了TDDL(SHOIN(D))的语法和语义,研究了TDDL(SHOIN(D))的断言公式集一致性推理和动作推理问题,给出了TDDL(SHOIN(D))的...
关键词：时序描述逻辑 UML状态图 形式化规约 形式化验证 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部