Rust语言框架

本系统为了解决车主为停车流程繁琐问题，提升停车场车辆进出效率等。以STM32F103单片机为核心控制器，结合其他模块，采用Rust编程语言，构建了一个基于单片机的智能停车场系统。 主要包含如下技术： （1）中控使用STM32F103单片机，负责处理输入数据并控制输出。 （2）输入部分包括IC卡和RFID识别、DS3231时钟模块。 （3）IC卡和RFID用于识别车辆，DS3231时钟模块检测时间并记录车辆进入停车场的时间。 （4）输出部分包括SG90舵机，用于模拟抬杆和降杆操作；OLED显示屏，用于显示时间、车牌号、费用、停车位和停车时间；

本系统为了解决车主为停车流程繁琐问题，提升停车场车辆进出效率等。以STM32F103单片机为核心控制器，结合其他模块，采用Rust编程语言，构建了一个基于单片机的智能停车场系统。 主要包含如下技术： （1）中控使用STM32F103单片机，负责处理输入数据并控制输出。 （2）输入部分包括IC卡和RFID识别、DS3231时钟模块。 （3）IC卡和RFID用于识别车辆，DS3231时钟模块检测时间并记录车辆进入停车场的时间。 （4）输出部分包括SG90舵机，用于模拟抬杆和降杆操作；OLED显示屏，用于显示时间、车牌号、费用、停车位和停车时间；

大部分定理证明系统都依赖于对形式化语言的解析，生成抽象语法树（Abstract Syntax Tree，AST）并进行类型检查。通常，符号绑定在作用域内进行，每个作用域都是通过解析特定编程语言编写的程序而得到的。 然而，为了实现一个命令式且不依赖特定语言的证明系统，我们需要以某种方式存储“作用域”的信息。通过语言解析获得的作用域类似于依赖类型论的范畴语义中的上下文范畴的对象，即上下文。本文通过类比上下文范畴的定义设计了上下文结构，并用该结构存储某个上下文中已经构造出来的项。 系统的主要功能通过操作上下文结构来实现。这极大地提高了构造证明的灵活性，但同时也增加了书写的复杂性

这是一个网页版的文件管理器，提供文件的检索、下载、上传等功能。后端使用 Rust + Tokio + Axum 开发，前端使用 Vue3 + Element Plus 开发。 当部署在服务器或客户机里后，管理者可以很方便的使用网页客户端来管理服务器里的文件。

1.使用C语言编写 Linux 下用户态多线程软件，编写板卡 OTN 业务模型框图以及软件文档 2. 通过I2C配置光模块参数，读取光模块信息,光模块性能等 3. 编写 pm5990 驱动,实现客户侧端口（10GE）OTU、ETH、SDH 等类型业务的配置 4. 实现20个客户侧端口+2个波分测端口各种类型告警信息检测以及上报，性能数据检测及上报 5. 实现了板卡全部功能需求,提前一个月完成项目交付,产品销往新加坡等国家,客户反馈较好