科学研究

1.多个实验数据关联查询2.实验数据统计3.更新加载数据

系统含17个Lean4模块、506个定义/定理、零sorry（证明无空洞）。模块覆盖：测度论基础设施（Hausdorff维数、可测结构与谱分解）、有理数精确算术验证（分数权重用最小公分母精确表示，消除浮点近似）、数论显式公式与弱收敛框架、多轮审计迭代记录（v3-v9修改日志完整保留）。工程侧：lak

项目包含七大核心功能模块：①**一体化启动器**：双击exe自动检查数据库、按需采集、启动Web服务并打开浏览器，零配置使用；②**数据采集模块**：双模式爬虫——主模式调用新发地JSONAPI高效采集，备用模式用Selenium无头浏览器+BeautifulSoup解析HTML表格兜底，自动发现全

1.多知识库管理2.批量PDF摄取与任务跟踪3.基于内容的PDF去重4.生物医学实体与关系抽取5.跨文献实体归一化6.跨文献关系聚合与可追溯证据7.增量知识图谱8.可视化与筛选

IoT数据采集 通过TCP协议对接上位机系统，实时采集300+传感器的振动、位移、加速度等监测数据消息中间件服务 基于ActiveMQArtemis实现MQTT消息代理，支持多协议（AMQP/MQTT/STOMP）数据分发时序数据存储 TDengine时序数据库存储高频采集数据（200Hz采样率），

GenieShield是一个医学影像DICOM/图片匿名化（脱敏）平台，提供从数据导入、自动脱敏、机构映射处理、人工质检、抽检复核、归档到推送的完整质量管控闭环。系统支持DICOM标签级脱敏（13种脱敏动作）和像素级PHI检测与擦除，符合HIPAASafeHarbor、DICOMPS3.15Anne

主要可协助：论文算法或数学模型的FPGA实现可行性评估Matlab、Python、C/C++算法的定点化与RTL架构设计高速ADC、CMOSSensor及多通道数据采集DDR3/DDR4缓存、高速数据汇聚与网络传输TCP/UDP/IP、Ethernet、PCIe、Aurora、RapidIO等接口图

1.私有文献库：本地PDF批量上传、持久化存储、分类管理，数据全部落在本地`data/`。2.结构化抽取：基于LangGraph多阶段流水线抽取论文关键信息，反幻觉约束（只取原文明确信息，未提及即标「未提及」），支持逐字段手动修改。3.多篇对比：RAG检索原文片段，自动生成对比表格与深度分析报告，每

BJDS是一套自主开发的电力系统实时与非实时仿真软件套件。系统提供图形化Draft建模，可完成元件放置、参数配置、一次二次系统连接、子系统管理、模型检查及RTfx模型保存；内置编译器可将当前模型编译为DTP2、JTP、JNF、INF2等运行产物，并输出可定位到元件UUID、编号和坐标的结构化诊断。R

全维度个人数字孪生系统：本项目构建了一个涵盖”人、事、物、身”四大维度的全生命周期个人数据库，核心功能矩阵如下：•人脉与组织资源管理（CRM）：支持个人人脉、企业组织、网站资源的结构化录入与关联。内置多维标签体系，支持复杂条件组合检索与关系图谱分析。•数字足迹与内容消费管理：◦ 阅读/影音记录：全量

1、本项目主要包含模型轻量化部署、实时视频流检测、图像目标识别、设备适配运行、检测结果可视化五大核心功能模块。2、项目基于安卓平台开发小程序，完成YOLOv5s八十类通用目标检测模型的移动端适配与移植优化，适配华为手机设备运行环境。支持手机摄像头实时画面采集，可对生活、交通、安防等八十类常见目标进行

1.功能模块：论文搜索模块：定时从arXiv上抓取领域感兴趣的最新文章，领域可自行设置去重模块：用json记录已推送论文，避免重复推送精选模块：按是否顶会、是否JCRQ1期刊关键词打分，默认每天精选1篇精读模块：下载PDF，用pdfplumber提取全文，调用API生成结构化中文笔记，笔记格式可通过

1.功能模块：文献多源搜索、主题分类价值排序、PDF下载、参考文献分析、LLM深度解读、统计可视化与报告生成等2.该项目面向科研人员，实现简单的文献调研自动化。流程为先从多个学术数据源检索发现候选论文，自动丰富元数据并按主题分类、评估研究价值，优先下载高价值论文PDF；随后调用大模型Agent对论文

一款面向开发者与运维的现代终端工具，覆盖SSH、FTP、本地终端三大核心场景支持拖拽式上传文件/文件夹、支持在线编辑文本文件、递归下载文件夹、快速删除集成AI问答能力，命令行问题、系统排错、脚本生成等可即时获得建议集成AI直接操作命令行能力，AI直接帮你操作终端，发送指令支持MCP（ModelCon

本项目是一个面向大规模区块链交易网络的智能分析与风险识别框架，旨在利用图神经网络技术挖掘比特币交易网络中的复杂关联关系，实现交易实体分类与高风险节点识别。项目支持超大规模交易图数据处理、图结构建模、节点分类、风险排序及模型评估等核心功能。基于PyTorch与PyTorchGeometric构建图机器

拓扑设计管理：可视化设计网络拓扑，支持复杂网络场景构建镜像管理：统一管理网络设备镜像，支持大文件高效传输网络隔离：每个拓扑独立运行在隔离的局域网环境，互不干扰基础底座：为上层教学、实训、科研应用提供标准化接口

本系统主打高并发、高可用、易运维、可定制化，集成完整的爬虫全流程能力，从任务调度、数据采集、风控规避到数据输出、异常监控全覆盖，适配商用接单落地标准，核心功能实用性、稳定性拉满。1、分布式集群调度功能：支持多节点协同并发抓取，自主分配抓取任务，避免单机性能瓶颈，可根据数据量级灵活扩容，大幅提升大规模

平台支持复杂文档解析、语义切片、元数据管理、知识质检、智能体模板、来源引用和专业资料检索；通过GIS接口与算法服务接入图层、遥感和业务数据，并提供权限管理、安全审计、问题反馈及版本治理，形成可检索、可追溯、可持续扩展的专业知识平台。

本项目构建了一套自动化的数据处理与统计分析报告生成系统，主要功能模块如下：1.数据清洗与描述性统计：批量提取清洗不同城市及客户类型的消费订单数据，计算客单价与总价分布。2.多维统计差异检验：运用假设检验分析不同城市（如芝加哥、洛杉矶、纽约）及客户类型（会员与普通顾客）之间的消费能力显著性差异。3.数

1、核心压标专区：ruby测试；diamond测试；Sm:SrB4O7测试2、实验准备与耗材：GasketSizing;PTMTable;金刚石/压机选型指南；气体装载计算3、晶体与光谱数据：EoSCalculator;晶格参数与XRD计算；X-rayTrans.;PeakDictionary;4、