陈建国

作品数：4被引量：12H指数：2
导出分析报告
供职机构：中国计量学院信息工程学院更多>>
发文主题：双语教学车辆调度系统WCF远程对象合作办学更多>>
发文领域：自动化与计算机技术文化科学交通运输工程更多>>
发文期刊：《计算机教育》《工业控制计算机》更多>>
所获基金：浙江省重大科技专项资金新世纪高等教育教学改革工程国家质检总局科技计划项目留学人员科技活动项目择优资助经费更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
信息安全技术课程双语教学的探索与研究被引量：4
《计算机教育》2016年第3期81-84,共4页陈建国 王秀敏 向琳 周杭霞 周永霞 
浙江省人力资源和社会保障厅2010年度留学人员科技活动择优资助项目(浙人社函[2010]423号);教育部来华留学英语授课品牌课程(教外司来[2013]1113号);浙江省2015年度高等教育教学改革项目(jg2015078);中国计量学院2015年度校立教改项目(HEX011)
双语教学是我国高校教学改革的一个热点,以合作办学项目计算机类课程信息安全技术为实例,从教材选用、教学模式、师资培养、互动与交流等方面探讨开展双语教学的有效方法,说明实施效果,指出存在的问题和对双语教学的思考。
关键词：双语教学 信息安全技术 合作办学 人才培养 
UML时间顺序图的自动验证技术
《中国计量学院学报》2010年第2期124-129,共6页陈江 陈建国 陆慧娟 唐文彬 
浙江省科技厅重大科技专项(No.2007C13091)
UML顺序图反映对象之间的消息交互顺序,在系统建模中应用十分广泛.对顺序图进行时间扩展得到UML时间顺序图,使其具备对实时系统建模的能力.在此基础上研究了UML建模工具和模型验证工具UPPAAL的接口信息,将UML时间顺序图模型转化为时间...
关键词：UML时间顺序图 自动验证 系统建模 
UML时间顺序图的实时系统建模及验证被引量：3
《中国计量学院学报》2010年第1期46-51,共6页陈江 陈建国 陆慧娟 王康健 
国家质检总局科技计划项目(No.2009QK026);浙江省科技厅重大科技专项(No.2007C13091)
实时系统中的一点疏漏可能导致灾难性后果,故确保该类系统正确性和可靠性是至关重要的,而建模无疑是一种很好的解决办法.形式化建模方法使用具有严格数学语义对系统进行描述,但是形式化模型不够直观,形式化规格难以理解.扩展UML顺序图...
关键词：统一建模语言 实时系统 建模 形式化验证 
基于WCF框架的分步式车辆调度系统被引量：5
《工业控制计算机》2009年第6期79-80,共2页陈江 陈建国 陈国富 
WCF是微软最新一代的面向服务的技术,它简化了分步式系统的开发。分析了WCF的系统架构和技术要素,并在此基础上进行基于WCF的分布式系统的开发和设计,事实证明运用WCF技术大大简化了分步式系统的开发,并具有较高的通信效率和扩展性。
关键词：WCF 分步式技术 远程对象 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部