摘要：重载列车进港安全监测是我国港口信息化建设中的重点和难点问题。实现列车运行过程追踪自动化对于保证安全高效完成列车进港监测具有十分重要的作用。在速度触发的条件下,设计了能够实时感知人员攀车行为的低功耗信息物理系统,并基于时间自动机理论给出了该系统的实时行为模型。应用UppAal工具仿真了系统的运行轨迹,并验证了系统可达性、安全性、活性和实时性等系统关键性质。实验结果表明,系统不仅在逻辑上满足正确性,而且在任何系统状态上都不会对时间约束发生偏移性错误。

摘要：简要介绍了BOPPPS模型和对分课堂,结合“C语言程序设计”课程特点,研究了基于移动学习的BOPPPS对分课堂教学设计模型,并以数组为例展示该模型在课堂教学中的设计与实践。教学实验结果显示,通过该模型的创建和实施,不仅规范了课堂教学流程,提高了教学互动性,而且启发了学生的创新性思维,调动了学生的能动性,全面提升了课程教学效果。

摘要：基于以学生为中心、以产出为导向的OBE理念,结合“C语言程序设计”课程的教学特点和传统教学模式中存在的问题,设计了基于OBE理念的“C语言程序设计”课程翻转课堂教学模式和评价体系,为其他课程进行教学改革提供了参考。

摘要：在做好"课程思政"建设的宏观背景下,如何在Access数据库这门体现工科"硬"技术课程中,融入政治责任感、历史使命感思想,以新时代中国特色社会主义思想铸魂驱动科技的发展,真正做到使课堂"活"起来,是当前建设"课程思政"的迫切问题。从课程的授课目的出发,结合课程特性,在各章节上挖掘其"思政"元素,并建立多角度的授课形式,充分体现"课程思政"的学科特色建设。

摘要：将研究成果转化为综合实验开发,探索智能分布式车间调度问题的求解方法。通过翻转课堂教学模式开展实验,建立智能分布式车间调度问题的数学模型,利用最大和算法对智能分布式车间调度问题实例进行分析,并编程实现。实验结果表明,最大和算法迭代较少次数后目标值趋于稳定。通过实验锻炼了学生模型构建、分布式求解算法和实验分析的综合能力,有助于学生了解科研的过程,培养学生的科研素质和创新能力。

摘要：随着网络技术地飞速发展,高校学生对于应用软件的掌握至关重要,对于进入高校学习的新生,计算机基础知识的掌握是其以后对于计算机高级技术学习的基础。而新的教育时代,高校教师要做到培养适合新时代的合格人才,在引领学生学习科学技术的同时,切实把思想政治工作贯穿教育教学全过程,形成"三全育人"格局。由此,需要展开"课程思政"在《大学计算机基础》的实践探索,以全新的教育方式进行教学引导。

摘要：针对双容系统这一典型的非线性、多变量、时变的控制对象,为了提高系统跟踪性能,首先利用非线性微分几何理论中的输入-输出反馈线性化方法,即选择合适的系统输出,并对各分量连续求导直至其表达式中出现控制输入变量,当满足一定条件后通过一定的控制输入变量替换就可将系统全局线性化,进而可以利用成熟线性控制理论对得到的线性化子系统进行控制,从而实现闭环系统的指数稳定.仿真研究表明,所提方法是有效的,且设计的闭环系统具有良好的静、动态性能。

摘要：通过建立基于RFID(射频识别技术)和二维码技术的新疆哈密瓜溯源系统,使新疆哈密瓜等特色农产品的质量得到保障,并提升其品牌价值。以新疆哈密瓜为例,将数据库技术、.NET技术和ASP等技术相结合,设计了基于RFID和二维码技术的新疆特色农产品溯源系统。该系统详细记录了新疆哈密瓜在种植、采购、包装、流通和销售各个环节的信息数据,实现了溯源。该系统的建立有助于加强政府部门对农产品质量安全的监管,使消费者了解农产品的生产和运输等信息,宣传和提升了新疆哈密瓜的品牌价值,为新疆其他特色农产品的溯源系统建立提供了成功范例。

摘要：本文以某小区换热站系统为例,设计了一个基于PLC和上位机之间进行通讯连接的控制系统,利用组态软件KingSCADA搭建上位机监控界面,该控制系统实现了两级实时监控和报警功能,提高了换热站系统的自动化程度和可靠性。该系统可以节省人力的同时实时采集、调节现场的运行参数,并且通过程序对换热站系统远程监控。由于集中供热系统存在耦合性、非线性、滞后性等控制难点,而且国家大力提倡节能环保理念,由此换热站设计了基于PLC和KingSCADA的换热站远程监控系统。

摘要：针对风火打捆系统的暂态稳定性,研究了双馈风力发电机(以下简称双馈风机)的基本原理,分析了双馈风机的暂态特性、功率控制方式以及故障穿越过程中风机的故障行为,给出了双馈风机的等效外特性。基于等面积法则详细推导并分析了风火打捆系统的暂态稳定性。为了验证理论分析的正确性,在Matlab/Simulink当中构建风火打捆仿真系统。仿真结果表明,风火打捆后的同步机组的暂态稳定性较纯火电机组有所下降。