蜕变测试和断言检查的比较与实验研究

在软件测试中,测试预言是一种用于检查程序在测试中是否正常运行的机制.然而在某些实际情况下,还无法制定测试预言或者难以有效地应用测试预言.针对此类测试预言问题,蜕变测试于近年应运而生,但蜕变测试的效率问题还没有被充分地加以研究.作者用控制实验的方法研究了使用蜕变测试的成本及效率,进而将蜕变测试和常用的断言检查两种方法的错误检测率和时间成本进行了比较和分析.实验结果表明,相比于断言检查方法,蜕变测试具有检测到更多错误的潜力.通过分析蜕变测试的效率和性能,与断言测试相比,蜕变测试的错误检测率更高效而效率有待提高,可适用于较为粗粒度的测试需求.     

谈晶体的双折射现象

０引言对晶体的双折射现象以及晶体的各向异性,多数同学感到难以理解．大学物理教课书中对此的解释不够清楚．然而晶体材料在高新技术中的作用是非常重要的,很多高科技都离不开它,如激光、信息、光电子等领域,为了使同学们更好地学习这部分内容,本文从各向异性,麦克...     

借鉴德国课程教学模式,提升学生专业能力——以单片机原理及应用课程为例

通过借鉴德国应用科学大学的课程教学模式,探讨如何切实有效地提升学生的专业能力,以达到＂卓越工程师教育培养计划＂的人才培养目标。结合＂卓越工程师教育培养计划＂,在单片机原理及应用课程教学中,调整课程教学内容和安排,改革课程教学方法和形式,丰富课程考核办法。小范围内的实践获得了良好的效果,为探索如何更好地结合国外课程理念,提升学生专业能力,提供了一定的参考价值。     

基于物联网技术的设备温湿度远程监测系统研究

针对目前大部分工厂的生产设备缺乏有效的计算机监测系统这一现状,研究了一种基于物联网技术的远程监测系统。它以ARM处理器为核心,以无线射频数据传输为手段,应用计算机管理软件和网络技术,将整个系统构成一个物联网,实现了对设备的全自动化温湿度远程监测。同时介绍了该系统的基本工作原理,描述了系统的整体硬件构成,分析了模块化软件设计要点,归纳了该系统的特点。该系统是物联网技术在工业上的一个典型应用案例,可在相关行业中推广应用。     

单片机与电子技术课程实践教学模式探索

在单片机与电子技术类课程的学习中,学生必须通过大量的实践,才能真正地掌握这些课程内容。为了探索更有效的实践教学模式,改革了教学方法,调整了教学内容,应用了更为科学的综合考核办法。同时,结合卓越工程师计划,设置了灵活的实验项目,采用多样化的教学形式,并注重学生的反馈。在高年级学生小范围内开展试点,在教学效果上获得了良好的评价,表明该实践教学模式的研究工作值得进一步深入下去。     

基于NB-IoT的车辆远程监测系统的设计

针对当前车辆监测设备存在操作烦琐、价格昂贵和功能单一等问题,设计了一个基于NB-IoT的车辆远程监测系统,该系统由监测终端、云服务器、上位机监测软件等组成.OBD监测终端电路主要包括电源模块、OBD协议转换模块、NB-IoT模块、GPS定位模块等,采用TCP/IP通信方式将数据上传至云服务器,进行存储,最后在上位机软件...     

海上风电大直径单桩基础海缆引入施工技术

以江苏某海上风电工程单桩基础引入海缆施工为对象,基于目前国内外常用的桩身外侧设置电缆管引入和桩身开孔引入两种海缆进风机塔筒内部的技术利弊对比分析,对大直径单桩基础引入海缆施工工艺及关键技术进行了研究;并结合本工程海洋环境、地质条件,推荐采用桩身开孔引入海缆的布置方式,对于深水的机位其优点大于缺点。     

水环境敏感区域污水资源化利用策略研究——以宿迁市中心城市西南片区为例

宿迁市是南水北调节点城市,中心城市西南片区排水直接进入沿线调蓄水库洪泽湖,是水环境敏感区域。本文分析当前推进污水处理厂资源化利用所面临的主要困难和问题,根据西南片区的工企业类型、地域情况等特征研究,按照按需定供、按用定质、按质管控的供需模式,科学制定污水资源化利用规模、标准等方案,并提出相关推进建议,为实现区域自然社会良性水循环,推动片区的高质量发展、可持续发展做出贡献。     

基于面向对象技术的软件开发系统

论述了面向对象技术在软件开发方面的特点，介绍了面向对象技术的各种基本概念。以“江阴电视台播出设备信息管理系统”为例，描述了面向对象技术在软件开发中的具体应用。     

试论广播和新媒体的发展

21世纪,传统的广播的地位在新媒体的发展下受到了巨大的冲击力,并且暴露出了许多弊端。广播如何才能克服其劣势和不足并在新媒体的冲击下蓬勃发展是亟待解决的问题。