近日，阿里云和北京大学合作的论文《Automated Verification of an In-Production DNS Authoritative Engine》（DNS 产品级解析服务的自动化验证）被国际计算机系统顶级会议SOSP 2023主会收录

您的设计师专属“机器人”已上线，助力建筑设计行业实现项目智能化管理

如今，轨道交通的数字化、智能化转型日渐成为众多城市竞相推进的建设方向，基于此，英特尔联合华铭、锐宝智联和育脉共同打造融合掌静脉特征识别技术的智能城市轨道交通自动售检票系统（Automatic Fare Collection System，AFC）方案。

如今，轨道交通的数字化、智能化转型日渐成为众多城市竞相推进的建设方向

面向关键核心应用，浪潮K1 Power充分释放国产高端服务器的高价值计算力，具有高可靠性、高性能、高安全和数据强一致性的“三高一强”特性，为企业数字化转型夯实关键计算底座，助力企业核心应用跃迁。

今年的“双十一”购物节已然鸣金收官，而“双十二”大促也即将启幕。从数字信任和信息安全的角度，我们不妨先来讨论一下数字证书是什么，和我们的买买买又有什么关系呢？这里只能用一个词来形容，那就是息息相关。

古有郦食其曰：民人以食为天。今天我们就来聊一聊“食”与华为云的完美结合。

不管你是否承认，生活本来就是一半现实，一半梦想。

近日，中国科协召开 2022 “科创中国”年度会议。“科创中国”联合体理事长、中国工程院原院长、中国工程院院士周济在会议上发布了 2021 “科创中国”开源创新榜单。

华为做出了自己的管理系统MetaERP软件。

在IM与音视频技术领域深耕多年的“大厂”网易云信的技术团队看来，实时音视频将在此轮世界杯的媒体大战中显示出日渐成熟的姿态，发挥定海神针的作用。

作为一个已经存在多年的PaaS平台，Cloud Foundry已经被大量客户验证是一个稳定、安全、可靠的PaaS平台。

近日，中科可控在昆山举办发布会，发布了Suma“天阔”系列终端，包括旗舰级工作站、轻量级工作站、云终端、桌面一体机等产品形态。

这种基于氮化镓的新型存储器件能够在300摄氏度条件下保持运行。

日前，浪潮商用机器有限公司宣布，经过几十项针对计算、网络、存储等功能模块的严谨缜密的专业兼容性测试，旗下K1 Power、OpenPOWER服务器与腾讯云TStack平台的兼容适配性能优异，腾讯云TStack基础云平台可完美兼容及管理Power架构并提供多种云服务。

华为云GaussDB数据库全面升级，升级后的GaussDB数据库以融合统一的架构支持关系型与非关系型数据的管理，能为客户提供更为高效稳定的使用体验。

10月27日，曙光数创于青岛举办“深蓝计划”新品发布会暨曙光数创(青岛)产业创新基地启动仪式。会上曙光数创发布新一代一体化风液混冷先进数据中心，并宣布全国规模最大的液冷数据中心全链条产业创新基地正式启动。

日前，中国信息通信研究院在2021大数据产业峰会成果发布会上，公布了第十二批“大数据产品能力评测”正式结果。

微软宣布结束噪声量子机器时代，专注构建容错量子计算机与AI和高性能计算集成。公司推出Majorana 1芯片，采用分割电子形成天然抗噪声的量子比特技术。微软将量子处理器视为经典计算的加速器，通过AI简化量子编程，让用户用自然语言设计量子电路。Azure Quantum平台支持多种量子技术，应用涵盖化学、制药、金融等领域，并推进后量子密码学保护数据安全。

近日，华为云在香港提供昇腾AI云服务，这是继贵安、芜湖、乌兰察布之后，昇腾AI云服务的又一重要节点。