基于基元关系模型的C++程序静态分析器

分析了面向对象软件测试和度量的特点,结合面向对象程序的性质提出了描述程序基本组成元素之间关系的基元关系模型(ERM),介绍了从基于MFC(Microsoft Foundation Class)的Visual C+ +6.0源程序中构造ERM模型的算法,据此构造了一个基于基元关系模型的VC+ +6.0程序静态分析器.对分析器实现中采取的名称空间符号表、增量式开发和增量式分析等关键技术进行了介绍.实践证明,该分析器可以高效正确地提取出模型中描述的各种关系,有助于面向对象软件测试和度量方面的进一步研究.      

可视化建模语言编辑器的自动生成和配置技术

可视化建模语言是采用图形方式对系统/软件进行描述的语言,可视化建模语言编辑器为其使用提供了工具支持.不同编辑器存在的共性使得可视化语言编辑器自动生成和配置成为可能.基于理论研究和编辑器开发的实践经验,提出了自动生成和配置相结合的可视化建模语言编辑器开发的总体框架以支持编辑器的快速开发,定义了一套支持静态语义的可视化建模语言描述方法RM.RM采用基于规则的形式化描述方法来描述可视化建模语言的语法和编辑器的特性,采用MOF(Meta Object Facility)来描述可视化语言的静态语义.最后,设计实现了可视化建模语言编辑器开发环境Veda,验证了总体框架和描述方法的可行性.      

基于内容的可视化多媒体查询语言的设计

设计了一个基于内容的可视化多媒体查询语言CBVMQL(Content-Based Visual Multimedia Query Language),该语言将语义表达、概念化定义、面向对象的语义表示和图像示例有机地结合起来,不仅提供了一个自然的可视化查询接口,而且也支持通过自动查询生成来精确地操纵信息.同时,它还结合多媒体的内容信息,实现了基于内容的多媒体查询.     

以翻转课堂来推动未来高职课堂教学模式的变革

互联网的迅速发展将推动教育信息化发展,虚拟交互社区、云计算平台建设与大数据分析、移动互联应用等将推动高职教育课堂教学模式的变化。本文引入翻转课堂教学模式概念设计高职教育翻转课堂模式,然后对翻转课堂教学模式的实现条件、基于云空间的线上课程教学体系和基于云空间的实训体系等三个方面进行了详细设计,为高职教育翻转课堂教学模式实施提供了完整思路和策略。     

网络实时录播系统在网络课程库建设中的应用

不改变传统教学方式 ,利用网络实时录播系统可以有效地发挥传统电教设备的作用 ,轻松实现网上直播、实时记录和点播 ,构建网络课程库     

提高HDL综合质量的探讨

提出了EDA工具QuartusⅡ和LeonardoSpeetrum组合方式在Altera公司CPLD器件开发中的应用．解决了目前集成电路设计的复杂和门级电路不易管理的一些问题。同时给出了可编程逻辑器件的开发流程以及在设计思路和语言使用上来简化、优化电路设计以提高HDL综合质量的几点探讨。     

《电子电路实践》课程的教学研究与实践——基于工作过程导向的理论与实践融合互动教、学、做一体化

本文结合《电子电路实践》课程教学实践,通过课程体系的重构,教学场所时间与空间结构的整合、理论与实践的融合互动,对融“教、学、做”一体,以学生为中心,以培养学生的专业能力、方法能力和社会能力为目的的教学模式进行探索性的设计与实施.     

电子技术基础课程研究型教学模式的探索与实践

本文首先阐明对培养学生创新意识培养的认识,然后讲述怎样结合电子技术基础课程的特点建立研究型教学模式,进而介绍丰富的教学实践,以及多层次、系列化和立体化的教材建设,最后说明教学效果。     

电子技术课程教学方法探讨

电子技术基础是一门理论性与实践都比较强的一门课程,探索适时的教学途径是电子技术专业教员必须考虑的问题,本文就电子技术基础课程教学方法进行了探讨。     

基于Modelica的载人航天器环热控系统建模仿真

为了给载人航天器乘员营造一个良好的生活工作环境,需要将众多空气环境参数控制在指标范围内。文章结合载人航天器专业知识,基于Modelica统一建模语言建立了一种载人航天器环热控系统仿真分析模型;利用该模型仿真分析了温湿度控制风机取不同转速时,载人航天器空气环境参数随乘员代谢水平的变化趋势。结果表明:在其他参数不变的情况下,温湿度控制风机转速越大,空气温度越低,相对湿度越高;乘员代谢水平变化对空气环境参数有显著影响,通过调节系统运行参数可将各空气参数有效控制在指标范围内。舱体温度与氧分压、二氧化碳分压、舱体相对湿度有密切关系且相互影响,不可单独分析。