江南

作品数：24被引量：98H指数：6
导出分析报告
供职机构：湖北工业大学计算机学院更多>>
发文主题：定理证明寄存器课程课程体系非易失性存储器更多>>
发文领域：自动化与计算机技术文化科学更多>>
发文期刊：《计算机教育》《计算机与数字工程》《计算机与现代化》《软件导刊》更多>>
所获基金：国家自然科学基金国家教育部博士点基金安徽省自然科学基金江西省教育厅科学技术研究项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于改进Faster R-CNN算法的扣件缺陷检测被引量：1
《软件导刊》2023年第5期190-197,共8页黄午祥 江南 
快速、高效检测高速铁路扣件缺失与缺陷情况,对保障铁路轨道线路维护和运营安全意义重大。采用目标检测技术提出一种基于改进Faster R-CNN的高速铁路扣件缺陷检测与提取算法,相较于人工巡检与静态检测能显著提升检测速度和精度。首先,使...
关键词：目标检测 Faster R-CNN 扣件缺陷 ResNet-101 ROI Align Soft-NMS 
机械化验证一个高效的迭代数据流求解算法被引量：1
《软件学报》2022年第6期2115-2126,共12页江南 汪吕蒙 张晓瞳 何炎祥 
国家自然科学基金(61972293);国家留学基金委地方合作项目(201808420414)。
迭代计算数据流等式的解,是数据流分析的常用方法.计算支配节点,从而识别自然循环,是许多现代编译器优化分析的重要组成部分.机械化验证高效的求解支配节点的算法通常是获得一个实际的“验证编译器”不可或缺的一部分.为了形式化证明一...
关键词：机械化验证 高效迭代算法 支配节点 
关于计算机专业开设逻辑与验证类课程教学的思考被引量：2
《计算机教育》2021年第1期111-115,共5页江南 何炎祥 
2018国家留学基金委地方合作项目“慕尼黑工业大学访问研究”(201808420414);高等学校计算机教育2019年度课题“新工科编程语言类课程体系建设:解决复杂工程问题能力和计算思维的培养”(CERACU2019R04);校教研项目“Java程序设计改革与实践”(2017015)。
首先介绍计算机科学中的逻辑与验证技术,接着概述国内大学哲学、数学和计算机专业开设相关课程的现状,然后分析慕尼黑工业大学计算机学院在逻辑与验证领域的研究,结合证明助手的开发和使用所设置的专业课程,并将其与国内大学计算机专业...
关键词：逻辑 验证 证明助手 函数式编程 
机械化定理证明研究综述被引量：13
《软件学报》2020年第1期82-112,共31页江南 李清安 汪吕蒙 张晓瞳 何炎祥 
国家自然科学基金(90818018,91018009,61170022,91118003,61373039);华为技术有限公司合作项目(YB2015090035);湖北工业大学校博士科研启动基金(BSQD2017043)。
随着现代社会计算机化程度的提高,与计算机相关的各种系统故障足以造成巨大的经济损失.机械化定理证明能够建立更为严格的正确性,从而奠定系统的高可信性.针对机械化定理证明的逻辑基础和关键技术,详细剖析了一阶逻辑和基于消解的证明...
关键词：定理证明 证明助手 消解 自然演绎 类型化的λ演算 编程逻辑 求精 
基于工程教育专业认证的面向对象程序设计课程改革被引量：12
《计算机教育》2019年第7期15-18,共4页林姗 江南 刘伟 
分析计算机科学与技术专业本科面向对象程序设计(C++)课程的教学实际,基于'以学生为中心,以产出为导向'的教育理念,结合工程教育专业认证的培养目标和毕业要求,介绍课程教学改革过程,从重构课程体系、优化课程教学内容、改进课堂教学方...
关键词：毕业要求 复杂工程问题 课程体系 实践环节 
虚拟企业环境下软件工程专业人才培养模式的研究
《教育教学论坛》2018年第45期195-196,共2页康瑞华 江南 
校教研项目(校2012014)
针对我校软件工程专业的培养计划与课程设置情况以及本专业的自身发展与行业对人才需求和定位,提出并实现一套为学生提供理论知识积累,实践能力加强的机制。通过对本专业所开设的课程研究,结合学生的兴趣和软件企业开发模式,努力使学生...
关键词：团队合作 虚拟企业 人才培养 
编程语言类课程双语教学的探索与实践
《计算机教育》2017年第6期143-146,共4页江南 王春枝 何炎祥 
教育部高教司产学合作协同育人项目"亚马逊AWS基于AWS云计算的程序设计类课程体系建设与实践"(201601018007);教育部高教司产学合作协同育人项目"达内-Java程序设计"(201601023002);湖北省教育厅项目"程序设计能力培养体系建设与实践"(2015294);全国高等学校计算机教育研究会项目"程序设计能力培养课程体系建设与实践"(MXF2016-2-5;ER2016004)
分析编程语言类课程双语教学的现状,根据编程语言类课程的特点,从教材选择、教学手段、授课语言等方面,探讨双语教学的模式,以Java程序设计为例,说明实践过程,总结问题并给出相应建议。
关键词：编程语言 双语教学 JAVA程序设计 
计算机专业程序设计语言类课程教学改革的思考被引量：9
《计算机教育》2017年第5期42-44,共3页江南 王春枝 康瑞华 
教育部高教司产学合作协同育人项目"亚马逊AWS基于AWS云计算的程序设计类课程体系建设与实践"(201601018007);教育部高教司产学合作协同育人项目"达内-Java程序设计"(201601023002);湖北省教育厅项目"程序设计能力培养体系建设与实践"(2015294);全国高等学校计算机教育研究会项目"程序设计能力培养课程体系建设与实践"(MXF2016-2-5;ER2016004)
针对计算机专业程序设计语言类课程体系设置单一、教学过程较为僵化、重技能而轻计算思维等问题,提出增加函数式编程语言课程、适当调整课程内容的讲授次序、积极引导学生深入理解程序设计语言等措施。
关键词：程序设计语言 课程体系 教学过程 计算思维 
一种SRAM辅助新型非易失性缓存的磨损均衡方法被引量：3
《计算机学报》2017年第3期743-756,共14页沈凡凡 何炎祥 张军 江南 李清安 李建华 
国家自然科学基金(91118003;61170022;61373039;61402145;61502346;61640220;61662002);湖北省自然科学青年基金(2015CFB338);安徽省自然科学青年基金(1508085QF138);江西省教育厅科技项目(GJJ150605)资助
随着半导体工艺的发展,处理器集成的片上缓存越来越大,传统存储器面临着存储密度低和漏电功耗高等问题日益严峻.近年来,新型非易失性存储技术展现出漏电功耗低、存储密度高和可扩展性强等优点,是最有潜力构建大容量缓存的新技术.然而,...
关键词：非易失性存储器 缓存 磨损均衡 耐久性 写波动 
Java安全性机制的形式分析与证明被引量：1
《计算机科学与探索》2016年第11期1501-1511,共11页江南 何炎祥 张晓瞳 刘瑞 沈云飞 
国家自然科学基金No.61373039~~
Java访问控制一方面提供了语言级的安全性机制,这种机制针对程序中所声明的实体,通过不同的访问修饰符,向其使用者屏蔽实体的实现细节;另一方面,它也导致了该语言规范的复杂性和实现的不一致性。分析了Java访问控制机制,包括类型、成员...
关键词：Java访问控制 动态绑定 形式分析 定理证明 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部