首页 文章 精选 留言 我的
优秀的个人博客,低调大师

微信关注我们

原文链接:https://www.oschina.net/news/384212

转载内容版权归作者及来源网站所有!

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

Qt 推出自动化工具强化 CUDA 编码安全规范

Qt近日发布Axivion 7.11工具集,新增自动检测功能,可验证采用英伟达加速计算的程序是否符合CUDA编码安全规则。 Axivion是一套用于执行C/C++静态代码分析与架构验证的工具集,其7.10版已支持CUDA环境,而最新的7.11版本进一步实现了对英伟达CUDA C++编码指南的自动化强制执行。 Axivion for CUDA现在支持以下功能: 自动检查CUDA代码是否符合行业标准的安全指南(例如MISRA、CERT、英伟达的 CUDA C++编码指南)以及企业自定义指南。 提供完整可追溯、基于证据的审计轨迹,及早发现标准C++与CUDA源代码中的死代码、代码重复、不安全依赖关系及免于干扰(FFI)等问题,确保符合ISO 26262、IEC 62304与IEC 61508等严格的安全标准。 确保软件架构在受监管环境中持续保持一致性与安全性。 此项原生支持将使企业能够在安全认证项目中依据行业标准快速验证代码。从长远来看,这将有助于早期发现缺陷、最小化技术债务,并缩小GPU加速代码的合规差距。

昆仑万维发布 Skywork R1V4-Lite

昆仑万维正式发布 Skywork R1V4-Lite,一款集成视觉操作、推理与规划的轻量级多模态智能体。不仅能进行深度推理,还在同一模型中统一了主动图像操作、外部工具调用、多模态深度研究三大能力。 与传统只能“看图回答”的模型不同,Skywork R1V4-Lite能够在真实场景中随手拍照即可完成复杂任务:自动旋转图像判断空间位置、多次放大读取模糊文字、绘制辅助线验证几何关系、跨模态搜索定位真实地点等等。这意味着用户不需要设计提示词,不需要提供额外信息,只需拍一张图,Skywork R1V4-Lite就能自己观察、操作、推理并给出答案。 基准测试结果表明,Skywork R1V4-Lite 在8个多模态理解基准评测上整体领先Gemini 2.5 Flash,其中5个任务上超过Gemini 2.5 Pro的水平。 Skywork R1V4-Lite 也支持接入联网搜索功能,在联网搜索下会自动触发深度研究能力。从结果上看,R1V4-Lite在多模态DeepResearch类任务中展现出了领先趋势:在mm-search上以66分超过Gemini 2.5 Flash的64.9分,在FVQA上以...

相关文章

发表评论

资源下载

更多资源
Mario

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长,特征是大鼻子、头戴帽子、身穿背带裤,还留着胡子。与他的双胞胎兄弟路易基一起,长年担任任天堂的招牌角色。

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部分的功能。

用户登录
用户注册