首页 文章 精选 留言 我的

精选列表

搜索[数仓建模],共10000篇文章
优秀的个人博客,低调大师

面向服务体系架构的业务规划和建模方法系列之二--基础概念辨析

现将这些比较有价值的资料分享出来,希望给搞SOA的同行一个系统的参考。PDF格式,可在文后点击“附件下载”阅读全文。 本篇内容简介及部分截图: ◇服务 ◇体系结构 ◇治理 ◇生命周期 ◇业务 ◇业务流程 ◇RUP及软件开发流程和方法 ◇模型、UML、资产与模式 附件:http://down.51cto.com/data/2352581 本文转自肖勇51CTO博客,原文链接http://blog.51cto.com/xiaoyong/156265:,如需转载请自行联系原作者

优秀的个人博客,低调大师

DeepSeekMath-V2 开源发布,世界首个奥数金牌 AI

据 Hugging Face 页面显示,深度求索 DeepSeek 团队发布了大语言模型 DeepSeekMath-V2,聚焦可自验证的数学定理证明能力,实现可自验证的数学推理突破。 该模型通过训练一个高精度、高保真的验证器,并以其作为奖励信号引导证明生成器自我修正,形成“生成—验证—优化”闭环。为应对生成与验证能力同步提升的挑战,团队提出扩展验证计算资源以自动标注难验证样本,持续优化验证器性能。 竞赛表现: IMO 2025:解决5题(83.3%准确率),达金牌水平; CMO 2024:获73.8%分数,达中国奥赛金牌线; Putnam 2024:118/120分,超越人类最高分(90分)。 在 IMO 2025、CMO 2024 和 Putnam 2024 等权威赛事中,DeepSeekMath-V2 表现卓越,分别取得金牌水平及118/120的近满分成绩。团队表示,该成果验证了自验证推理路径的可行性,为构建可靠数学智能系统提供新方向。模型基于 DeepSeek-V3.2-Exp-Base 构建,已按 Apache 2.0 协议开源。 论文标题:DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning 模型地址:https://huggingface.co/deepseek-ai/DeepSeek-Math-V2 论文地址:https://github.com/deepseek-ai/DeepSeek-Math-V2/blob/main/DeepSeekMath_V2.pdf

资源下载

更多资源
腾讯云软件源

腾讯云软件源

为解决软件依赖安装时官方源访问速度慢的问题,腾讯云为一些软件搭建了缓存服务。您可以通过使用腾讯云软件源站来提升依赖包的安装速度。为了方便用户自由搭建服务架构,目前腾讯云软件源站支持公网访问和内网访问。

Nacos

Nacos

Nacos /nɑ:kəʊs/ 是 Dynamic Naming and Configuration Service 的首字母简称,一个易于构建 AI Agent 应用的动态服务发现、配置管理和AI智能体管理平台。Nacos 致力于帮助您发现、配置和管理微服务及AI智能体应用。Nacos 提供了一组简单易用的特性集,帮助您快速实现动态服务发现、服务配置、服务元数据、流量管理。Nacos 帮助您更敏捷和容易地构建、交付和管理微服务平台。

Spring

Spring

Spring框架(Spring Framework)是由Rod Johnson于2002年提出的开源Java企业级应用框架,旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念,提供核心容器、应用上下文、数据访问集成等模块,支持整合Hibernate、Struts等第三方框架,其适用范围不仅限于服务器端开发,绝大多数Java应用均可从中受益。

WebStorm

WebStorm

WebStorm 是jetbrains公司旗下一款JavaScript 开发工具。目前已经被广大中国JS开发者誉为“Web前端开发神器”、“最强大的HTML5编辑器”、“最智能的JavaScript IDE”等。与IntelliJ IDEA同源,继承了IntelliJ IDEA强大的JS部分的功能。

用户登录
用户注册