多格式文档上传：PDF/DOCX/TXT/Markdown/CSV/JSON/日志任意语言提问，回答流式输出（打字机效果）回答附带来源引用：每条结论可点击查看原始文档段落，可验证、可追溯混合检索：词法打分+可选向量嵌入，无Key也能获得良好检索效果多LLM供应商：OpenAI/DeepSeek/An

1.利用gis组织地球物理数据，如测井，地震，岩芯数据2.利用occ实现对这些地学元素进行建模，允许cad命令建模3.利用vtk对上述地学对象进行可视化，这里主要是qt+vtk来显示可视化

1.实现跨平台IDE这里参考vscode和visualstudio编译器，支持c++,cuda,fortran,python和c#.采用cmakelist组织编译2.实现利用计算着色器实现科学计算。3.将dx,vulkan这些3d能力抽取出来实现一个类似于ue5的3d建模工具；4.自己实现xaml+

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等接口图