针对程序设计课程考核办法的现状,分析现存课程考核办法使课程教学过程偏离课程的培养目标,提出以技能为导向的全新课程考核体系。该体系通过3个循序渐进的考核指标:开发环境的使用、TLOC(Total Line of Coding,编程累计行数)以及SLOC(S...针对程序设计课程考核办法的现状,分析现存课程考核办法使课程教学过程偏离课程的培养目标,提出以技能为导向的全新课程考核体系。该体系通过3个循序渐进的考核指标:开发环境的使用、TLOC(Total Line of Coding,编程累计行数)以及SLOC(Source Line of Coding,单个程序行数)来引导教与学,使学生具备较强的编程技能、计算思维和创新思维能力。展开更多
针对嵌入式系统体系结构分析设计语言(architecture analysis and design language,AADL)分级调度模型的分析问题,提出了基于模型检验的可调度性分析和验证方法.基于时间自动机理论,将AADL分级调度模型转换为时间自动机网络,将待验证性...针对嵌入式系统体系结构分析设计语言(architecture analysis and design language,AADL)分级调度模型的分析问题,提出了基于模型检验的可调度性分析和验证方法.基于时间自动机理论,将AADL分级调度模型转换为时间自动机网络,将待验证性质描述为时序逻辑公式,通过模型检验工具对可调度性进行分析和验证.研究结果表明,使用模型检验方法来分析AADL分级调度模型的可调度性是可行的.相对其他方法而言,该方法利用了形式化方法的穷举性来分析系统的性质,分析结果更加精确.展开更多
分析了现代军工领域虚拟试验的特性和需求,提出了现代军工领域虚拟试验支撑环境急需解决的问题和研究内容;高级体系结构(High Level Architecture,HLA)、试验与训练使能体系结构(The Test and Training Enabling Architecture,TENA)、...分析了现代军工领域虚拟试验的特性和需求,提出了现代军工领域虚拟试验支撑环境急需解决的问题和研究内容;高级体系结构(High Level Architecture,HLA)、试验与训练使能体系结构(The Test and Training Enabling Architecture,TENA)、虚拟试验床(Virtual Test Bed,VTB)等技术是国外仿真和试验领域比较成熟的研究成果,对我国军工领域虚拟试验支撑环境的研究具有很大的借鉴意义,文中从分布虚拟试验系统的开发、模型集成、系统运行及资源管理等角度分析了HLA、TENA、VTB等的相关技术和研究现状,对我国研究分布虚拟试验的理论和关键技术具有一定的参考价值。展开更多
文摘针对程序设计课程考核办法的现状,分析现存课程考核办法使课程教学过程偏离课程的培养目标,提出以技能为导向的全新课程考核体系。该体系通过3个循序渐进的考核指标:开发环境的使用、TLOC(Total Line of Coding,编程累计行数)以及SLOC(Source Line of Coding,单个程序行数)来引导教与学,使学生具备较强的编程技能、计算思维和创新思维能力。
文摘针对嵌入式系统体系结构分析设计语言(architecture analysis and design language,AADL)分级调度模型的分析问题,提出了基于模型检验的可调度性分析和验证方法.基于时间自动机理论,将AADL分级调度模型转换为时间自动机网络,将待验证性质描述为时序逻辑公式,通过模型检验工具对可调度性进行分析和验证.研究结果表明,使用模型检验方法来分析AADL分级调度模型的可调度性是可行的.相对其他方法而言,该方法利用了形式化方法的穷举性来分析系统的性质,分析结果更加精确.
文摘分析了现代军工领域虚拟试验的特性和需求,提出了现代军工领域虚拟试验支撑环境急需解决的问题和研究内容;高级体系结构(High Level Architecture,HLA)、试验与训练使能体系结构(The Test and Training Enabling Architecture,TENA)、虚拟试验床(Virtual Test Bed,VTB)等技术是国外仿真和试验领域比较成熟的研究成果,对我国军工领域虚拟试验支撑环境的研究具有很大的借鉴意义,文中从分布虚拟试验系统的开发、模型集成、系统运行及资源管理等角度分析了HLA、TENA、VTB等的相关技术和研究现状,对我国研究分布虚拟试验的理论和关键技术具有一定的参考价值。
