-
题名面向验证的软件可信证据与可信评估
被引量:23
- 1
-
-
作者
丁学雷
王怀民
王元元
卢刚
-
机构
国防科学技术大学计算机学院
解放军理工大学指挥自动化学院
-
出处
《计算机科学与探索》
CSCD
2010年第1期46-53,共8页
-
基金
国家高技术研究发展计划(863)No.2007AA010301~~
-
文摘
随着软件可信性问题的凸显,近年来人们开始从不同的角度、不同的出发点研究与软件可信有关的问题。从认识和理解软件的角度,基于对软件的思考以及认识越深入软件越可信这样一个观点,在对传统的软件可信证据收集与分类方法进行分析的基础上,提出了基于验证的可信证据模型。该证据模型的提出在一定程度上弥补了传统的可信证据收集与分类方法的不足,便于多维性评估,有利于可信演化,符合人的认识习惯。最后,基于该可信证据模型,为探索解决可信评估问题提出了一种可行的方法。
-
关键词
软件可信性
可信证据
可信度
可信评估
-
Keywords
software trustworthiness
trustworthiness evidence
trustworthiness level
trustworthiness evaluation
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名编译原理课程考法改革探讨
被引量:2
- 2
-
-
作者
丁学雷
吴春寒
贺汛
-
机构
解放军理工大学指挥信息系统学院
-
出处
《计算机工程与科学》
CSCD
北大核心
2014年第A02期169-173,共5页
-
文摘
针对"编译原理"课程内容复杂、理论性强、抽象度高,同时学生学习负担重、学习效果差的教学实际,在分析本课程现有教学内容与教学方法、实验内容与实验方法的利弊的基础上,着重探讨了课程在考法上以考促学的改革措施:依据课程内容重心调整实施分段考核,为学员减负,突出能力考核;合理安排实践,采用实验报告+答辩的方式组织实验考核,突出讨论交流,提高考核的真实度。经教学实践,改革后教学效果明显提升。
-
关键词
编译原理
考法改革
教学方法
教学改革
-
Keywords
compiling principle
reform of examination method
teaching method
reform of teaching
-
分类号
G642.0
[文化科学—高等教育学]
-
-
题名基于混合模式的程序设计基础课程改革与实践
被引量:1
- 3
-
-
作者
雷小宇
胡斌
曾喜良
丁学雷
-
机构
解放军理工大学指挥信息系统学院
湖南涉外经济学院信息科学与工程学院
-
出处
《中国信息技术教育》
2017年第17期85-88,共4页
-
基金
湖南省普通高等学校教学改革研究项目“基于PBL_CDIO创新教育模式的数据库技术课程教学改革研究与实践”(NO.湘教通[2016]400-835)
解放军理工大学教育教学研究课题“‘三位一体’的程序设计俱乐部常态化运行机制研究”(GJ1503021)
“基于程序设计俱乐部的创新人才培养机制研究与实践”(GJ130301)
-
文摘
程序设计能力是计算机科学及相关专业学生的核心能力。当前该专业的学生程序设计能力的培养存在一些问题,如重理论、轻实践,而且理论教学与实践教学脱节,传统的教学模式忽视学生对在线资源和在线教学方式的需求等。因此,本文提出,应充分利用在线学习平台和资源,探索基于线上线下相结合的程序设计能力培养模式,通过重组教学内容、改革教学组织方式、搭建在线实践平台及完善考核方案等一系列改革与实践,开拓学生视野,培育程序设计氛围,提高学生程序设计能力。
-
关键词
程序设计能力
在线学习
培养模式
-
分类号
G642
[文化科学—高等教育学]
TP311.1-4
[自动化与计算机技术—计算机软件与理论]
-
-
题名建筑外墙外保温方法
被引量:2
- 4
-
-
作者
丁学雷
张强
-
机构
常州华毅房地产开发有限公司
-
出处
《山西建筑》
2010年第27期229-233,共5页
-
文摘
分析了外墙外保温技术的特点,介绍了外墙外保温技术在工程中的实际应用,并详细阐述了工程材料、施工工艺、质量验收等具体内容,旨在促进人们对这项节能新技术的了解,以期加快新技术的推广应用。
-
关键词
建筑节能技术
外墙外保温方法
施工工艺
-
Keywords
building energy conservation technology
exterior insulation methods
construction technology
-
分类号
TU111.41
[建筑科学—建筑理论]
-
-
题名混凝土结构耐久性影响因素
被引量:1
- 5
-
-
作者
丁学雷
-
机构
江苏南通第三建筑工程有限公司
-
出处
《山西建筑》
2010年第15期53-54,共2页
-
文摘
阐述了混凝土耐久性的概念,结合实践经验,从混凝土的抗渗性、抗冻性和抗腐蚀性三方面探讨了影响混凝土耐久性的因素,旨在合理设计和精心施工的前提下确保混凝土结构耐久性。
-
关键词
混凝土
耐久性
影响因素
抗渗性
-
Keywords
concrete
durability
influential factor
impermeability
-
分类号
TU375
[建筑科学—结构工程]
-