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

微信关注我们

原文链接: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

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

腾讯云软件源

腾讯云软件源

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

Spring

Spring

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

Rocky Linux

Rocky Linux

Rocky Linux(中文名:洛基)是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版,作为CentOS稳定版停止维护后与RHEL(Red Hat Enterprise Linux)完全兼容的开源替代方案,由社区拥有并管理,支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性,采用模块化包装和SELinux安全架构,默认包含GNOME桌面环境及XFS文件系统,支持十年生命周期更新。

用户登录
用户注册