重点： VC Formal数据通路验证应用基于形式化方法学，在C/C++算法和RTL设计实现之间的一致性检查方面比传统技术提高了100多倍。 采用芯片业界公认的的HECTOR先进技术，并且集成了以Ve...

如果说过去的数据中心和园区的更新发展主要遵循摩尔定律的话，那么在如今5G、物联网、大数据、人工智能等新ICT技术喷薄而发的时代中，数据已经成为数字化世界中的生产资料，其重要性与日俱增。因此，数据中心和...

如今，减少人工智能的宣传和炒作已成为IT领导者的主要工作。提供有关人工智能在何处以及如何将其添加到IT基础设施的深入指南将会提供帮助。 很多技术提供商正在投入巨资，将人工智能技术应用到他们的产品和服务...

导读 谭建荣：机械工程专家、中国工程院院士、国家973项目首席科学家；浙江大学“求是学者”特聘教授、博士生导师，设计工程及自动化研究所所长；主要从事机械设计及理论、计算机辅助设计与图形学、数字化设计与...

2019年7月5日，由中国高科技行业门户OFweek维科网、高科会主办，OFweek人工智能网承办的“OFweek 2019‘维科杯’（第四届）中国人工智能行业年度评选”正式拉开序幕，投票时间将截至2...

由中国高科技行业门户OFweek维科网、高科会主办，OFweek人工智能网、OFweek机器人网承办的“OFweek 2019中国AI＋机器人高峰论坛”将于2019年8月9日在上海新国际博览中心隆重举...

近年来，工业4．0 和《中国制造2025》等概念持续深化，研发技术不断突破，推动了我国工业自动化、人工智能等行业的进步，同时，我国2019年《政府工作报告》指出，要打造工业互联网平台，拓展“智能...

2019年8月9日，由中国高科技行业门户OFweek维科网主办、高科会协办，OFweek人工智能网承办的“WAIE 2019第四届上海国际人工智能展览会暨人工智能产业大会”在上海新国际博览中心成功举办...

实体经济和虚拟经济是人类两大经济形态。而实体经济离不开“物”的存储和流转。在所有实体企业中，生产制造型企业和商品流通型企业是最常见的两类。 商品流通型企业以“流通”为主，所以仓储物流的信息化、自动化发...

仓储物流作业，从人工到自动化，一切应该变得更加准确高效、省心省力……管理员只需要每天早上打开电闸开关，泡杯茶，一切就自动运行起来了…… 可惜，这不是现实…… 几年前，跟一个老板朋友聊天，他的工厂深受人...