千盛科技，这次自动驾驶黑客松的发起者，他们的一个副总丁洋在负责看比赛简报。

千盛科技创造了一个虚拟的环境，可以让虚拟出的汽车在里面跑，这是跟谷歌学习。他们向参赛者了一些接口，让他们在48小时之内开发出自动驾驶的汽车，看哪个团队能在各种路况中获得最佳的表现。

路况分为7个部分高速公路、城市公路、上下班高峰城市公路、山路、狭窄公路、赛道、越野。

丁洋看第一名的成绩，在所有7个项目中有6个项目获得了冠军，开发者居然还是一个人的团队，还以为自己看错了，特意发消息给主办活动的小姐姐问个清楚，确实，那天是有一个团队一个人，还被迫跟人拼桌呢。

丁洋是公司的cto，喜欢看代码，打开第一名的代码一看，先看注释，差点惊掉下巴“啊形式化开发有没有搞错”

形式化开发是在稳定性要求极高的硬件、航天等领域的一种基于数学的特种技术，丁洋给公司开发的平台都没有用形式化开发，只是有形式化验证，因为开发阶段就用数学规划好，实在太耗时间了，丁洋绝对想不到一个人团队能在短短48小时之内用形式化开发的方式来编程，这简直是不是天才，必有蹊跷。

丁洋毫不犹豫地约了常一笑来谈一谈。

常一笑开着他的五菱宏光来赴约，在地下停车场被保安难为了好一阵才找到停车位，他毫不介怀，带着优雅的稳健的步伐从负一层来到千盛公司的那一层。

Loading...

未加载完，尝试【刷新网页】or【关闭小说模式】or【关闭广告屏蔽】。

使用【Firefox浏览器】or【Chrome谷歌浏览器】打开并收藏！

移动流量偶尔打不开，可以切换电信、联通网络。

收藏网址：www.ifeiyanqing.com

(＞人＜；)