公共基础教学部
 学部首页  学部概况  新闻公告  师资队伍  教学科研  党群建设  创新创业  工会工作  校园风采 
师资队伍
 博士教授 
 副教授 
 教学团队 
 科研团队 
副教授
您的位置: 学部首页>师资队伍>副教授>正文
陈振庆副教授
2020-06-19 10:37  

陈振庆,男,本科学历,硕士学位,副教授,1996年7月参加工作,长期从事计算教育与研究工作,主持并完成地厅级以上项目3项,参编教材2部,公开发表学术论文10多篇。

科研项目

1广西自治区教育厅科研项目,基于描述逻辑的UML类图形式化方法及推理研究,2009,主持.

2.广西高等学校优秀人才资助计划项目基于动态描述逻辑的UML状态图形式化方法,2010,主持. 

3.新世纪广西高等教育教学改革工程项目,地方高校计算机专业人才培养模式创新研究,2011,主持. 

学术论文

1基于Delphi/ASPB/S系统设计,广西梧州师专学报,2006.6,独著.

2基于Delphi/AccessC/S系统设计,广西右江民族师专学报2006.6独著.

3基于Delphi的动态演示文稿创作方法研究,湘南学院学报,2006.10独著.

4基于XMIUML模型向OWL本体转换方案,广西贺州学院学报,2009.9独著.

5.基于描述逻辑的UML类图一致性检测,计算机工程与设计,2009.9,独著.

6.UML状态图的逻辑语义及自动推理,贺州学院学报,2010,第一作者.

7.基于动态描述逻辑的UML状态图形式化方法,计算机工程2011,独著.

8.基于OWL本体的UML类图推理,计算机应用与软件,2011,第一作者.

9.基于时态描述逻辑的UML活动图形式化规约,中南林业科技大学学报,2011独著.

10.基于描述逻辑的带依赖属性UML类图,计算机工程,3715),49-512011,独著.

11基于时序描述逻辑的UML状态图形式化验证,制造业自动化,2012独著.

12.地方高校计算机专业人才培养模式现状分析及对策,计算机教育,2012第一作者.

13.基于时序描述逻辑的UML顺序图形式化方法,计算机工程,2013,独著.

14.地方高校计算机专业转型发展创新思路,软件,2015.5,第一作者.

15.地方高校计算机专业人才培养模式改革与实践,计算机教育,2015.8,第一作者.

16.基于OWL DL的本体推理机设计与实现,云南民族大学学报,2016.3,第一作者.

17.基于描述逻辑的EER模型检测,计算机应用与软件,2016,8,独著.

18.UML用例图的形式化及其推理,贺州学院学报,2017.6,,独著.

参编教材

1.《大学计算机基础》教材(参编),电子工业出版社,2008.6.

2.《大学计算机基础上机实验指导与习题》(参编)电子工业出版社,2008.8.

 

 

关闭窗口
 
访问量人数:

广西贺州学院公共基础教学部 地址:广西贺州市西环路18号
邮编:542899       联系邮箱:hzxyjcb2020@126.com   Copyright 2020, 版权所有 http://jd.hzu.gx.cn/.