一款表达式解析器在电力统计系统中的应用

设计了一款表达式解析器，并将其应用到电力统计系统的开发中。在统计指标以记录方式存放时，用户可定义并存储指标间的计算关系，通过解析器能得到正确的计算指标值，提高了统计系统的灵活性。     

GIS专业数据结构综合性实验选题的设计

目前GIS专业数据结构实验教学内容基本照搬计算机专业实习教材,不能体现本专业特有的“空间思维”特色。提出在数据结构综合性实验环节中引入GIS专业问题的实验选题设计策略;介绍了GIS专业综合性实验选题设计的基本思路,并以“河网干流提取”问题为例,从实验选题描述、实验条件和要求、实验提示三个方面演示了一个面向GIS专业问题实验选题的设计过程,为同类选题的设计提供参考。通过这一策略以期实现数据结构实践课程与GIS专业学科问题的深度融合,增强GIS专业课程的系统性,促进学生学科概念和专业思想的形成。     

基于TinyOS的三轴加速度传感器驱动组件的设计

无线传感器网络节点数据采集决定于节点上的传感器模块.三轴向加速度传感器MMA7260性能优越,适合作为传感器模块来感知节点的运动情况.在分析了嵌入式操作系统TinyOS的硬件抽象体系结构及其对传感器驱动提出的设计原则的基础上,使用NesC语言实现了基于micaZ平台的MMA7260驱动程序.驱动程序的接口简单,使用方便,并满足传感嚣节点低功耗的要求.     

抽象数据类型概念的教学探索

本文针对"数据结构"课程中抽象数据类型概念这一教学难点,分析抽象数据类型与具体数据类型的区别及联系,主要结合抽象数据类型概念的面向对象特性,详细讲述在实际授课过程中如何引导学生去理解这一概念。     

新时代背景下数据结构教学改革

数据结构课程在计算机及相关专业具有重要的核心地位,但是由于手机控现象、90后特点、信息爆炸等新时代特点使数据结构的课堂效率并不理想.针对这些新时代特点,提出提升课堂魅力、夯实前导课程、客户体验管理、渗透不确定理论、树立正确挫折观、利用网络平台六个对策.通过这六个对策,大大提高了学生的学习积极性,从而提高了教学质量.     

军队院校数据结构课程思政教学案例

针对当前军队院校中计算机类课程的思政建设较为薄弱的教学实际,在分析军校计算机类课程思政要点的基础上,以数据结构课程为例,对相关知识点进行分析和提炼,从辨证思维方法、做人做事道理和军校日常制度3个方面介绍具体的思政案例,为军队院校开展计算机类课程思政提供借鉴。     

基于单片机的智能恒温器设计

为适应不同对象的控制要求,文章设计了一种基于单片机的智能温控器。以STM32F103为核心构建了多路通用输入输出通道的硬件系统,并使用触摸屏作为组态和运行的人机界面。智能型温度控制器是利用传感器、控制芯片、应用程序和执行机构等来进行工作的。系统根据程序的要求对温度进行设定、采集、显示,自动按照程序预设定的要求发出相应的指令来控制温度的高低。最后经过测试,该智能恒温器实现了预计的所有功能。     

基于TTCN-3的SIP协议软件测试方法研究

为了更加高效地测试基于SIP(session initiation protocol,会话初始协议)的应用软件,提出了一种通过执行TTCN-3抽象测试套来验证SIP应用程序正确性的新方法.简单介绍了SIP协议和TTCN-3,给出了基于TTCN-3的SIP协议软件测试的设计与实现方法,结合一个具体应用实例详细验证了该方法的可行性.该方法具有可重用、操作简单、执行快捷等特点.     

信管专业中“C语言”与“数据结构”课程的整合研究

本文通过分析信管专业学生在学习＂C语言＂与＂数据结构＂过程中存在的问题,提出了将两门课程进行整合的教学模式。     

反例引导的模型检验工具的设计

针对模型组合中常见的"状态空间爆炸"问题,分析了抽象和组合两种方法各自的优缺点,采用"反例引导的抽象精化"框架和模型检验思想,将抽象和组合结合起来,为模型组合的检验提出了一种新的方法.设计了模型的抽象、组合、检验和精化算法,开发了一款基于反例引导的、图形化的模型检验工具,使用Kripke结构建立模型,用LTL描述性质,从而表明了反例引导的模型检验方法的过程.