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

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