您的位置: 专家智库 > >

陈振庆

作品数:29 被引量:63H指数:6
供职机构:贺州学院教育技术中心更多>>
发文基金:广西高校优秀人才计划项目新世纪广东省高等教育教学改革工程项目广西壮族自治区自然科学基金更多>>
相关领域:自动化与计算机技术文化科学电子电信更多>>

文献类型

  • 29篇中文期刊文章

领域

  • 24篇自动化与计算...
  • 7篇文化科学
  • 1篇电子电信

主题

  • 9篇描述逻辑
  • 6篇形式化
  • 5篇知识库
  • 5篇DELPHI
  • 4篇类图
  • 4篇计算机
  • 4篇计算机专业
  • 4篇本体
  • 4篇UML类图
  • 3篇地方高校
  • 3篇形式化方法
  • 3篇形式化规约
  • 3篇状态图
  • 3篇网络
  • 3篇规约
  • 3篇高校
  • 3篇UML状态图
  • 2篇动态语义
  • 2篇形式化验证
  • 2篇应用程序

机构

  • 24篇贺州学院
  • 4篇梧州师范高等...
  • 1篇广西师范大学
  • 1篇渝州科技职业...

作者

  • 29篇陈振庆
  • 8篇罗兰花
  • 3篇谭晓东
  • 2篇覃德泽
  • 2篇刘长青
  • 1篇王华
  • 1篇覃朝武
  • 1篇孔凡壬
  • 1篇张波
  • 1篇甘敬周
  • 1篇韦勇

传媒

  • 4篇计算机工程
  • 4篇贺州学院学报
  • 2篇计算机应用与...
  • 2篇广西梧州师范...
  • 2篇广西右江民族...
  • 2篇科教文汇
  • 1篇制造业自动化
  • 1篇计算机时代
  • 1篇计算机工程与...
  • 1篇软件
  • 1篇网络安全技术...
  • 1篇中国西部科技
  • 1篇广西师范学院...
  • 1篇云南民族大学...
  • 1篇计算机教育
  • 1篇湘南学院学报
  • 1篇电脑知识与技...
  • 1篇百色学院学报
  • 1篇中南林业科技...

年份

  • 1篇2017
  • 2篇2016
  • 3篇2015
  • 1篇2014
  • 1篇2013
  • 2篇2012
  • 4篇2011
  • 2篇2010
  • 6篇2009
  • 1篇2008
  • 3篇2006
  • 2篇2005
  • 1篇2004
29 条 记 录,以下是 1-10
排序方式:
地方高校计算机专业转型发展创新思路——以贺州学院为例被引量:8
2015年
文章分析了贺州学院计算机专业转型发展过程中面临的挑战,从职业生涯规划、课程体系、"双师型"师资队伍和校企合作四个方面与国外应用技术大学进行了对比研究,提出了以校企合作为基础,校企双方功能需求和资源相互嵌入的"嵌入式"创新思路,并对"嵌入式"人才培养模式进行了理论研究,为全面向应用技术大学转型奠定了良好基础。
陈振庆罗兰花
关键词:计算机专业嵌入式
地方高校计算机专业人才培养模式现状分析及对策被引量:3
2012年
分析地方高校计算机专业人才培养模式的现状,针对地方高校师资力量薄弱、就业指导滞后、课程设置与教育部直属院校大同小异和教学模式落后等问题,结合教高[2011]6号文件精神,提出以就业为导向的"1+2+1"人才培养模式,以贺州学院为个案,从加强师资队伍建设、加强就业指导、优化课程体系、创新教学模式和强化实践教学环节五个方面介绍创新改革的过程。
陈振庆谭晓东罗兰花刘长青
关键词:地方高校计算机专业教学模式
基于WebQuest的教学模式在操作系统教学中的改进与实践被引量:2
2015年
本文针对操作系统概念多、理论性强和应用性实验开展困难等特点,结合操作系统教学过程中存在的问题,提出了将Web Quest教学模式应用于操作系统教学并进行适应探索和实践,实践证明,该教学模式在实际教学中获得了很好的效果。
罗兰花陈振庆张波
关键词:操作系统WEBQUEST教学模式教学方法
UML状态图的逻辑语义及自动推理
2010年
针对UML缺乏精确语义的不足,利用一阶谓词逻辑研究了UML状态图的逻辑语义,以及基于OWL本体的UML状态图自动推理问题,分析了基于一阶谓词逻辑的UML状态图的静态语义和动态语义。对UML状态图自动推理问题和UML状态图向OWL本体转换的映射方法,给出了UML状态可达性、可终止性判断方法及其推理规则,并利用Jena推理机实现了UML状态图可达性、可终止性推理。
陈振庆刘长青
关键词:UML状态图逻辑语义一阶谓词逻辑
基于描述逻辑的带依赖属性UML类图
2011年
分析基于描述逻辑的统一建模语言(UML)类图形式化方法的研究现状和存在的问题,提出一种基于描述逻辑的带依赖属性UML类图的形式化方法。研究带依赖属性UML类图的数据属性依赖、行为属性依赖和全局属性依赖的描述逻辑形式化问题。给出带依赖属性UML类图向描述逻辑知识库转化的方法,以及带依赖属性UML类图知识库可满足性定理及其正确性证明。
陈振庆
关键词:描述逻辑知识库
基于XMI的UML模型向OWL本体转换方案被引量:1
2009年
OWL是W3C提出的语义网本体语言,作为语义网中信息共享和交换的基础,具备强大的知识表示和推理功能。文章对UML和OWL进行了分析比较,给出了UML类图相应的XML Schema和OWL本体表示形式,提出了一种UML模型向OWL本体转换方案,通过XMI交换标准将UML模型转换为OWL本体。
陈振庆
关键词:UML模型OWL本体
基于描述逻辑的EER模型检测
2016年
首先分析基于描述逻辑的ER模型的研究现状,提出基于描述逻辑SHOIN(D)的EER模型,给出描述逻辑SHOIN(D)的语法和语义。然后研究EER模型的SHOIN(D)描述形式,以及如何将EER模型向SHOIN(D)知识库转化。最后给出EER模型可满足性、冗余性判定定理,证明了这些推理问题的正确性,并利用pellet推理机实现了EER模型可满足性和冗余性推理。
陈振庆
关键词:知识库ER模型EER模型
对地方本科院校的网络人才培养问题辨析与初探
2010年
本文旨在研究地方本科院校网络应用人才的培养模式。首先对地方本科院校网络专业教学现状进行了分析,提出了其存在的关键问题,然后就需要改进的方面进行了详细的探讨并提出了具体做法,通过积极实践和探索,已取得一些经验和成效。
罗兰花陈振庆王华
关键词:地方本科院校网络人才课程设置
贺州市县(区)、乡(镇)、村三级科技服务网构建的研究
2009年
文章首先综述了本科研小组一年多来对贺州市县(区)、乡(镇)、村三级科技服务网构建的实地调查情况,对该服务网的现状进行较深入的分析,并进行了网络规划及前景展望。
覃德泽甘敬周陈振庆韦勇
关键词:网络规划
基于Delphi/Access的C/S系统设计被引量:3
2006年
C/S系统采用Access作后台数据库,具有性能稳定、数据交换迅速、数据安全、维护方便等特点,可视化编程语言Delphi具有丰富的编程环境、友好的界面、高速的编译器、强大的数据库开发功能,文章介绍了基于Delphi/Access的C/S系统软、硬件设计方法和技术。
陈振庆
关键词:DELPHIC/S系统应用程序服务器客户程序
共3页<123>
聚类工具0