江苏龙网

  1. 首页 > 资讯 > 科技 > >

Array|“疫后”生活新秩序：AIoT先驱者们的思考与觉醒 | CCF-GAIR 2020( 四 )


文章图片

文章图片

任奎教授在论坛上分享了浙大网安团队在智能物联网系统安全方面的研究成果 ， 主要包括两个方面：一是全生命周期保护；二是全技术站保护 。
针对全生命周期保护包括 ， 任奎教授进一步解释称：
全生命周期保护包括三方面：运行前验证、运行时保护、运行后分析 。
运行前验证是事后应用形式化方法的验证工具 ， 我们都知道形式化方法的安全性很高 ， 但一直不够实用 ， 因为它非常繁重 。我觉得现在形式化方法和工具已经到了需要推一下广泛落地应用的时候了 。
我们团队在过去几年里有很多这方面的探索 ， 我们从理论研究和技术难点突破一直做到工具研制 。
研发形式化验证工具 ， 支持需求、设计、代码的形式化验证 ， 符合CC认证 ， DO178安全认证结果 ， 我们实际上已经参与了10余个国产和国外OS验证工作 ， 取得了很好的结果 ， 下一步的重点是开展国产操作的形式化认证与验证 ， 我们其实已经发现和验证了不少关键问题 。
美团夏华夏：未来空地协同一体化无人配送网络
疫情期间 ， 关于美团外卖和外卖小哥的故事有很多 ， 其实外卖只是我们这代人体验到的高效的本地生活服务之一 。
“美团外卖是我们很重要的服务 ， 但它只是美团两百多个服务中的一个 ， 美团业务跨度很广 ， 我们做本地生活服务 ， 希望给用户提供更好的体验 ， 给本地生活的很多商家提供更高的效率 ， 这其中 ， 我们就用了很多AI能力 。”美团首席科学家、AI平台总经理夏华夏在「AIoT专场」论坛上解释称 。
Array|“疫后”生活新秩序：AIoT先驱者们的思考与觉醒 | CCF-GAIR 2020
文章图片

文章图片

美团如何应用AI？夏华夏解释称：
美团本质上是做本地生活服务的一家企业 ， 我们希望可以极大程度把本地生活服务数字化 ， 然后用熟悉的互联网技术去提高效率 。
美团有4.5亿的用户 ， 还有600多万的商户 ， 用人工智能技术既帮助这4亿多用户得到很好的体验 ， 还要帮助600多万商家得到很高效的经营管理提升 ， 所以就做了很多在人工智能方面的内容 。
底层的基础还是刚刚提到的大量用户、商户和骑手所产生的大量真实的数据 ， 比如说光用户评论数据77亿 ， 图片的数据是100亿 ， 基于这些大量的数据 ， 就可以做很多的人工智能技术 ， 包括图像、视觉、语音、智能交互、运动规划、智能调度等等 ， 做了这些技术可以比较好的解决在各种不同场景中的需求 ， 这是美团做人工智能整体框架 。
而谈到运用人工智能做本地生活服务的未来规划 ， 夏华夏也分享了美团的战略和计划：
我们判断未来更好地提升各个行业的经营效率和服务效率 ， 很多地方就要推动自动化和无人化 ， 现在在尝试建设无人的仓库 ， 很多超市就是无人仓 ， 收到外卖订单后 ， 可以自动完成餐饮的打包、分捡 ， 我们也在尝试无人车和无人机 。
我们希望未来能够打造一个空中、地面的立体三维配送网络 ， 与现有的外卖小哥相结合 ， 形成高效的人机协同配送网络 ， 这样未来能支撑外卖的规模是现在的数倍 。
外卖市场哪怕只看国内市场 ， 未来5年也会翻好几倍 ， 但是外卖小哥已经很多了 。现在每天在路上配送的小哥将近80万人左右 ， 未来再翻几倍的话 ， 小哥就比较难以承载那么多的订单 ， 所以 ， 我们需要打造空地协同一体化的无人配送的及时配送网络 。
绿城陈霄：未来社区的“三方自治”
美团用AI搭建高效本地生活服务 ， 这样的生活服务我们在“疫后”生活中将会有更切肤体验 。而在年初疫情中 ， 智慧社区成为大家热议的另一个话题 ， 在此之前 ， 其实智慧社区已经在全国多地试点落地 ， 现在的AIoT技术和产品能带来怎样的智慧社区？


推荐阅读


上一篇：Array|特斯拉暗示将与SpaceX更多合作 将来也会设计太空船？

下一篇：|高解析 开口脆 飞傲FH3圈铁耳机998元