AlphaZ is an open source tool-set for program analysis, transformation and parallelization in the Polyhedral Equational Model. It is being developed by the Mélange group (See schedule) at CSU, and uses an equational language called Alpha/Alphabets....

法国Inria AlphaZ，

人工智能-其他张亮聪

法国Inria Alpha，Coq工具

人工智能-其他张亮聪

Coq主要是用来辅助对程序定理进行证明的非常强大的工具，Alpha语言以及AlphaZ工具主要是一款函数式编程语言，用于自动生成硬件语言VHDL程序，以及帮助程序能够更好的并行执行，提高程序的执行效率。我负责其中的一小部分的开发和维护等研究工作。...

建筑工地砖块异常检测，3D位姿估计

人工智能-机器人吉尔伯特陈

工地检测砖块位置异常。相机扫描彩色图片和深度图片，程序返回砖块的平移和旋转矩阵，反馈出砖块偏移程度。...

FPC缺陷检测项目

人工智能-机器人吉尔伯特陈

为半导体制造商客户开发基于CV检测和分类的AI模型的缺陷检测算法训练异常检测的深度学习分类模型，调整训练算法，对数据选择、数据增强方式、参数调优、模型剪枝进行消融实验组织FPC（电路软板）缺陷检测项目，与客户和上下游同事协调沟通，持续对接、细化、具像化具体需求，设计项目方案，评估技术路线的收益和风险已完成FPC缺陷检测项目v1版本验收，金面可感缺陷缺陷检出率96%以上...

汽车厂电检和ECU刷写程序

人工智能-智能硬件码到功成

将汽车厂家提供的各种不同格式的数据包文件（S19、hex、fp、cbf或者是从MES获取的XML文件等），利用汽车can通讯协议或者k线通讯协议，刷写到车辆ECU里面,通过使用多线程技术，实现一台设备可以满足同时四个ECU同时刷写...

苏州市相城区一网通办

人工智能-其他袁大姐

这是一个微信嵌入h5的小程序，主要是服务于广大人民各事项办件，缴费，查询个人社保，公积金，学区查询，银行站点查询，等等服务，...

千灯环卫管理系统

人工智能-其他袁大姐

这是个关于垃圾投放站点，中转站监控，环卫车监控跟踪的系统。帮助环卫工作人员更好的管理，并观测报警问题...

智能管控平台

人工智能-智能硬件倔强嘴角微微上扬

基于 WPF/WinForm/CEF/Vue/Mqtt/SqlLite 等技术，通过对百度 AI 人脸识别，海康威视摄像头，虹软人工智能识别， IC/RFID 读写器，低压电磁继电器，高精度称重模块，气体传感器等硬件设备的 SDK 以及通讯协议进行硬件设备的控制。摄像头采集到的人脸特征存入 SqlLite 数据库，使用活体检测，人脸检测识别，IC 刷卡来控制门禁锁通过取放物品的 RFID 电子标签和高精度称重模块进行物品的定位，取放操作的记录以及传感器污染物浓度检测预警以及通风系统的处理，自主研发的智能危化品管控平台，对危化品进行透明化管控。通过与后台接口的交互以...

LLM-Online-Assistant

人工智能-其他 yeahhe

网页爬取工具作品介绍作品概述这是一个基于 Python PyQt5 开发的图形界面网页爬取工具。它能够从指定的搜索引擎（例如 Google、Bing、百度、搜狗、DuckDuckGo 等）抓取指定关键词的搜索结果，并提取网页中的文字内容、链接和按钮信息。工具支持多线程并发爬取，并提供友好的用户界面进行交互操作。主要功能关键词搜索: 用户可以输入关键词，并选择搜索引擎进行搜索。多页爬取: 支持设置爬取页数，并进行多线程并发爬取。信息提取: 提取网页中的文字内容、链接和按钮信息。结果导出: 将爬取到的信息导出到文本文件中，并自动复制到剪贴板。文件管理: ...