案例介绍
Coq主要是用来辅助对程序定理进行证明的非常强大的工具，Alpha语言以及AlphaZ工具主要是一款函数式编程语言，用于自动生成硬件语言VHDL程序，以及帮助程序能够更好的并行执行，提高程序的执行效率。我负责其中的一小部分的开发和维护等研究工作。
案例图片
相似案例推荐
其他人才的相似案例推荐
-
苏州市相城区一网通办
这是一个微信嵌入h5的小程序，主要是服务于广大人民各事项办件
-
千灯环卫管理系统
这是个关于垃圾投放站点，中转站监控，环卫车监控跟踪的系统。帮
-
LLM-Online-Assistant
网页爬取工具作品介绍 作品概述 这是一个基于 Pyt
-
RMBG便携式自动抠图模型
超准抠图：RMBG通过其精细的分割技术，能够精确移除背景，即
-
佐糖
项目角色：前端工程师 主要功能： 1.在线抠图，通过人工
-
基于FPGA开发的压电台控制程序
### 1. 硬件设计 - **压电台**: 选择适合的压
-
鑫达实业信息化办公系统
嘉定鑫达小程序 项目介绍： 该项目主要对接PC管理系统,
-
工控项目工作台
负责工控项目工作台的设计与开发，编写项目的技术方案、开发计划
-
高海拔野外站信息化系统
西藏羊八井高海拔电气安全与电磁环境国家野外科学观测研究站正式
-
时间序列分析
设计一种纯卷积神经网络的框架实现长时间序列的预测，相比于现有
-
时间序列预测
设计一个多元时间序列预测的框架，不仅建模了多元时间序列不同变
-
宠物识别
宠物预测模型 独立完成 内容: 1. 使用 Keras
微信接收人才推送
关注猿急送微信平台，接收实时人才推送
接收人才推送
联系聘用方端客服