3551大赛数字经济产业赛道决出4张晋级门票,多个项目“揭榜”,“AI动漫创作平台”一票晋级(2)

2022-10-15 来源:旧番剧
“进入后摩尔定律时代, 在芯片设计的容错率降至冰点,必须要追求极致的高效和安全;同时,我们也亟待开发自主可控的形式化验证。在未来的5到6年,我国形式化验证的市场容量会增加5倍左右,具备广阔的市场前景和较大的发展潜力。”德国特里尔大学硕士郭锐团队带来的“系统安全形式化验证”项目,能提供形式化验证项目总体方案设计、国内外安全认证标准、操作系统标准咨询与服务、形式化代码审计服务、形式化验证的咨询与培训。
该项目团队现已为谷歌、高通在内的国际龙头企业提供系统形式化认证,并与瑞士电工协会SEA、美国美国电子测试实验室ETL等达成战略合作,2020年实现销售3000多万,预计2021年实现销售超过一个亿。
海归博士潘亦鹏团队带来的“空潜一体无人航行器研究与产业化”项目,聚焦跨介质无人航行器设计研究及产业化。潘亦鹏介绍,应用自主开发的跨介质短距离起降理论技术技术后,他的团队开发出能在空中、水面、水下任意切换航行状态的三栖航行器,能广泛用于气象监测、水质监测、海上中继制导、水下探测海图绘制、科学研究、人道救援、引导指示等领域。
计算机硕士任飞翔带来的“智能制造及万物互联SaaS AI平台”项目,提供智能零售解决方案,帮助商家把复杂的商品运营流程转变为简单的数据管理系统,最多应用场景是无人便利店、无人超市,无人收银设备、手持盘货设备等,都能为商户提高运营效率,降低运营成本,减少人力成本。
猜你喜欢
动漫推荐
免责声明:动漫番剧数据来源网络!本站不收费,无vip,请勿上当!

www.jiufanju.com-旧番剧