摘要：排课问题是典型的组合优化和NP完全问题。一个好的排课系统既需要能高效地求解排课问题,也需要能提供灵活的定义各种用户约束的方式,但现有的排课系统通常不能同时兼顾这两点。通过实现一个基于回答集程序的排课系统,较好地解决了这一问题。系统的前端接受用户的各种约束条件,并将其转换为回答集程序,后端调用回答集求解器实现排课问题的求解。实验表明,这种实现方式能适应排课条件的变化,具有灵活和可扩展的特点,并在可接受的时间内能排出教师满意度较高的课表。

摘要：为实现水下无人平台实时探测目标,设计实现了一种应用于水下无人平台上的单矢量水听器信号采集与处理系统,采用FPGA+DSP处理器架构对采集数据并行运算处理,利用合理的帧格式协议进行存储数据,保证了系统信号处理的时效性和数据存储的可靠性。系统综合应用FPGA控制技术、DSP逻辑控制与实时处理技术,搭载单矢量水听器使水下无人平台具备目标探测能力,并开展了系统性能测试和南海某海域目标探测性能试验。试验结果表明,系统采集的水声信号谱级正常,经数据处理和计算分析目标探测性能良好。

摘要：为实现Artix‑7系列采集平台存储速率的实时切换,提出了一种具有独立配置接口的eMMC阵列控制器。用户利用配置接口不仅可以提高存储控制逻辑的设计效率,还可以实现基于多种工作频率和阵列操控方式的备用方案,相比于其他同类控制器,集成可靠性更高,应用灵活性更强。首先介绍了eMMC 5.1协议中开放终点多块写、预设块数多块读以及数据擦除的操作原理和技术关键点,然后介绍了总体设计和主要模块的控制流程,最后利用自主设计的测试模块在硬件平台上完成速率切换功能测试和读写速率性能测试。测试结果表明,在200 MHz工作频率下控制器可长时间稳定工作,实现了200 MB/s与800 MB/s之间的速率切换,每片eMMC的最高读写速率可达到200 MB/s。

摘要：分析了水下滑翔机欠驱动特点,建立了水下滑翔机完整六自由度模型,给出了三维路径跟踪误差方程。利用三维空间的视线导航方法,设计了非线性自适应控制策略,给出了水下滑翔机横滚角控制律、俯仰角度控制律和深度控制律。理论研究和仿真实验表明,在不同海流大小和航向夹角情况下,提出的控制器在一定条件下能够克服常值海流干扰的影响,具有较好的鲁棒性和很好的跟踪效果。

摘要：为了实现小型水下工作平台对水声换能器长时间采集存储,设计了一种以STM32H743系列为核心控制器的小型化、低功耗、大容量采集存储系统。程序设计主要采用STM32CubeMX完成整体框架搭建和外设控制器配置,并在HAL库基础上完成应用控制逻辑设计。特别在存储类型外设控制上添加了必要的异常处理和信息反馈,不仅提高系统可靠性,还为应用平台提供了多种应急处理方案。经测试,系统工作性能稳定,整体功耗可控制在1.5 W以内。经数据上传和分析,以太网上传速度可达到3 MB/s,上传功能稳定,数据存储正常。目前该系统已小批量生产,并应用于小型水下工作平台。