「智东西」周报第22期
2019.5.11

#人工智能#

1、微软亚研院提出通用预训练模型MASS

5月10日消息,微软亚洲研究院的研究员在ICML 2019上提出了一个全新的通用预训练方法MASS(Masked Sequence to Sequence Pre-training),在序列到序列的自然语言生成任务中全面超越BERT和GPT。在微软参加的WMT19机器翻译比赛中,MASS帮助中-英、英-立陶宛两个语言对取得了第一名的成绩。MASS对句子随机屏蔽一个长度为k的连续片段,然后通过编码器-注意力-解码器模型预测生成该片段。MASS有一个重要的超参数k(屏蔽的连续片段长度),通过调整k的大小,MASS能包含BERT中的屏蔽语言模型训练方法以及GPT中标准的语言模型预训练方法,使MASS成为一个通用的预训练框架。微软研究院表示,将在不久之后开放源代码。

2、全球十大模拟IC设计供应商去年销售361亿美元

5月10日消息,IC Insights日前发布报告称,2018年,全球十大模拟IC设计供应商去年销售361亿美元,同比增长9.4%。这10家厂商2018年的销售额占全球模拟IC销售额的60%,较2017年下降一个百分点
其中,德州仪器(TI)继续坐稳全球第一的位置,2018年销售额为108.01亿元,同比增长9%,市场份额达18%;亚德诺半导体(ADI)排在第二,2018年的销售额为55.05亿美元,同比增长7%,市场份额为9%;英飞凌(Infineon)以38.10亿美元的销售额排名第三,同比增长14%,市场份额为6%。

智东西周报:苹果WWDC2019多项更新曝光 甲骨文中国首批裁员500人 刘强东最新投票权曝光

3、美国思科公司宣布开源MindMeld平台

5月10日消息,据外媒报道,美国思科公司今日开源MindMeld平台,帮助数据科学家为企业客户构建完整的端到端会话AI助手,机器人以及应用程序。 MindMeld已与星巴克及优衣库等品牌签订合作,协助品牌制作会话代理商以及CIA的风险投资部门InQTel。据了解,该平台于2016年11月首次亮相,几个月后,MindMeld被思科以1.25亿美元收购。

4、英特尔:2020推10nm处理器Tiger Lake

5月9日消息,日前,英特尔CEO鲍勃·斯旺(Bob Swan)宣布英特尔将于2020年推出第一款分立式10nm GPU,同时推出了首个冰湖架构框图,其新的10nm Tiger Lake处理器将在2020年上市,随后在2021年推出7nm工艺。

Ice Lake处理器采用10nm工艺,使用了全新的架构和Gen11核显,它还集成了WiFi 6和雷电3。相比上一代产品图形性能和视频转码速度提高两倍,无线速度也提高了3倍。之后,英特尔将推出新的10nm Tiger Lake处理器,其将采用全新的内核架构、更新的与英特尔Xe独显架构相同的GPU以及I/O技术。

5、依图科技推云端DL推理定制化SoC芯片

5月9日消息,依图科技发布一款云端深度学习推理定制化SoC芯片——依图芯片questcore,中文名“求索”。这款芯片从设计到制造实现全面国产化,拥有自主知识产权的ManyCore架构,基于领域专用架构(Domain Specific Architecture,DSA)理念,适用于人脸识别、车辆检测、视频结构化分析、行人再识别等多种视觉推理任务。

目前questcore芯片会用在依图的云端和边缘服务器上,与依图的智能视觉分析软件结合,作为软硬件一体化的解决方案对外销售。从即日起正式商用,另外依图还展示了基于该芯片构建的软硬件一体化系列产品和行业解决方案。

智东西周报:苹果WWDC2019多项更新曝光 甲骨文中国首批裁员500人 刘强东最新投票权曝光

6、谷歌公布大型图像数据集Image V5

5月9日消息,谷歌在其AI博客公布大型图像数据集Image V5并宣布将于ICCV 2019开展开放图像挑战赛。据了解,Image V5建立在谷歌2016年推出的涵盖9百万张标注图片的图像数据集Open Image基础之上,新数据集涵盖了350个类别中280万个对象实例的分段掩码。与仅识别对象所在区域的边界框不同,分割掩模不仅标记对象的轮廓,还将其空间范围表征为更高级别的细节。在宣布该数据集的同时,谷歌也宣布将在ICCV 2019开展第二届开放图片挑战赛,此挑战将基于上述数据来创建新的实例分段轨道,与上一届挑战赛相同,本届挑战赛也将具有大型物体检测轨道以及用于检测特定关系中的物体对的视觉关系检测轨迹。

7、腾讯AI诊断帕金森病在英国临床试验

5月8日消息,腾讯利用人工智能为帕金森病患者诊断的项目开始在伦敦进行临床试验,合作商为总部位于伦敦的Medopad公司。该项目不仅针对帕金森病诊断,而且还将针对多发性硬化症和牛皮癣。据Medopad公司介绍,帕金森病诊断的临床试验将在伦敦的一家私人精神健康诊所Dementech Neurosciences进行,大约40名患者参与试验,将在未来几个月完成。

8、旷视科技完成约7.5亿美元D轮融资

5月8日消息,国内人工智能公司旷视科技已完成约7.5亿美元D轮融资,投资方包括中银集团投资有限公司 (BOCGI)、阿布扎比投资局 (ADIA) 旗下全资子公司、麦格理集团以及工银资管(全球)有限公司。本轮融资将主要用于进一步加强深度学习技术,并加速人工智能解决方案的商业化落地,资金还将用于招聘顶AI人才,推动公司国际化运作。据悉,本轮融资也成为旷视历史上单笔金额最高的一轮融资。

9、台积电5nm芯片试产 预计明年Q2量产

5月8日消息,据报道,目前,台积电针对5nm打造的Fab 18第一期已完成装置并顺利试产,预期明年第二季拉高产能并进入量产。与7纳米制程相较,5nm芯片密度增加80%,在同一运算效能下可降低15%功耗,在同一功耗下可提升30%运算效能。在5nm量产一年后,台积电将继续推出5nm+,与5nm制程相较在同一功耗下可再提升7%运算效能,或在同一运算效能下可再降低15%功耗。5nm+将在2020年第一季开始试产,2021年进入量产。

10、MIT深度学习模型可提前5年预测乳腺癌

5月8日消息,MIT计算机科学与人工智能实验室(CSAIL)和马萨诸塞州总医院(MGH)的一个研究小组创建了一个新的深度学习模型,该模型可以通过乳房x光片预测一个病人在未来五年内有无可能患上乳腺癌。 通过对60,000多名MGH患者进行乳房x光检查和已知结果的训练,该模型可识别到乳腺组织中的细微模式,这些模式是恶性肿瘤的前兆。据介绍,该模型在预测风险方面明显优于现有的方法: 它准确地将31%的癌症患者归入最高风险类别,而传统模型只有18% 。

11、谷歌I/O大会昨夜召开 抛出8大AI更新

5月8日报道,今日凌晨(美国时间5月7日上午),第11届Google I/O 2019开发者大会如期而至。在本届大会,谷歌的两大硬件阵容Pixel、Nest组团更新,另外,谷歌带来了最新的安卓系统Android Q,AI更是本次大会上当之无愧的主角 。

其推出了新一代Google Assistant,将其语音识别模式从数百GB减少到半千兆字节,使其小到足以适合手机;推出Live Caption功能,为手机上的音频或视频实时自动生成字幕,还可以实时转录电话;公布Euphonia项目,研究如何改进其AI语音算法,帮助有语言障碍的患者进行高效沟通等。

12、DeepMind提出超越GNN的图匹配网络

5月7日消息,据报道,DeepMind和谷歌的一项新研究聚焦检索和匹配图结构对象。首先,研究者展示了如何训练图神经网络(GNN)使之生成可在向量空间中执行高效相似性推理的图嵌入。其次,研究者提出了新型图匹配网络模型(GMN),该模型以一对图作为输入,通过基于跨图注意力的新型匹配机制进行联合推理,从而计算它们之间的相似性分数。

研究者证明GMN模型在不同领域中的有效性,包括基于控制流图的函数相似性搜索问题。GMN模型不止能在相似性学习的环境下利用结构,还能超越针对这些问题手动精心设计的特定领域基线系统。

13、甲骨文中国研发中心首批裁员500人

5月7日消息,多位甲骨文中国员工向记者确认,甲骨文今日上午召开全员大会,敲定了中国研发中心裁员调整一事。大会结束后,甲骨文中国立即开始对所涉员工进行一对一面谈。一名员工透露,按照其所在组别的裁员比例而言,本次首批裁员人数大约为500人左右,最终的补偿方案是N+6。同时,甲骨文方面宣布,除了将提供补偿方案之外,还将提供职业规划服务。

14、微软宣布开源其量子计算开发工具

5月7日消息,据外媒报道,微软宣布开源用于编写量子代码的编程语言q# ,用于该语言的编译器以及量子模拟器。微软称,此举旨在使量子计算以及算法开发变得更加简易透明,帮助学术机构更容易地使用这些工具,开发人员能够贡献他们的代码与想法。据猜测,这些代码将存储在微软的GitHub页面上。 此前,该团队已经开源了一些工具和示例,以及一个量子化学样本库,但这是该团队首次开源平台的核心部分。

15、微软公布新平台架构 Azure多项更新

智东西5月7日消息,微软Build开发者大会今日在美国西雅图拉开帷幕。微软现任CEO萨蒂亚·纳德拉介绍了微软的全新平台架构:以云服务Azure为基础,支撑起 Microsoft 365、Microsoft Dynamics 365 & Power Platform 和 Microsoft Gaming三大平台。微软还在Azure和Windows中提供了不少新的开源技术和开发工具,包括:

1、Azure IoT Edge整合谷歌的开源容器编排框架Kubernetes;

2、推出了基于Azure的新服务——认知语音服务;

3、推出新命令行工具Windows Terminal和WSL2;

4、智能助理Cortana转型,从命令转向对话模式;

5、Edge浏览器兼容IE,可直接通过新标签打开;

6、推出基于网页的新型协作平台Fluid Framework;

7、基于Spatial和HoloLens 2推出混合现实多人协作玩法;

8、宣布游戏开发也是微软的重心,并推出的Xboxlive和Azure Play fab两个游戏开发平台。

16、阿里开源首个移动AI项目 每两月更新

5月6日消息,阿里巴巴宣布开源自家轻量级的深度神经网络推理引擎MNN(Mobile Neural Network),用于在智能手机、IoT设备等端侧加载深度神经网络模型,进行推理预测。淘宝端智能无线技术专家离青说,MNN开源之后,每隔两个月都会进行一次更新,发布经过淘宝应用验证的版本。

据悉,这是阿里开源的首个移动AI项目,已经用于阿里手机淘宝、手机天猫、优酷等20多个应用之中。覆盖直播、短视频、搜索推荐、商品图像搜索、互动营销、权益发放、安全风控等场景。在IoT等移动设备场景下,也有若干应用。

17、清华AI研究院基础理论研究中心成立

5月6日,清华大学成立了人工智能研究院基础理论研究中心,朱军教授担任基础研究中心的主任。张钹院士、中国科学院院士郝跃与卡内基梅隆大学计算机学院教授、摩根大通人工智能总负责人、人工智能专家Manuela Veloso教授担任学术顾问。新的机构将充分落实清华大学人工智能研究院的战略,旨在探索发展鲁棒、可解释的第三代人工智能基础理论和方法;研制第三代人工智能编程框架及基础算法库;打造开放的、国际化的学术交流与合作平台。

18、ICLR2019最佳论文出炉 微软MIT等获奖

5月6日消息,深度学习顶会ICLR 2019的两篇最佳论文现已放出,来自蒙特利尔大学、微软研究院和MIT CSAIL的研究者获得了最佳论文奖。其中一篇最佳论文探讨自然语言处理问题,提出利用神经元排序将对自然语言层级结构的考虑纳入网络。另一篇最佳论文探讨了模型压缩问题,提出了一个新的概念:彩票假设。ICLR将于当地时间5月6日-9日在新奥尔良举行。据统计,ICLR 2019共收到1591篇论文投稿,其中oral论文24篇,poster论文476篇。

19、寒武纪新一代云端AI芯片MLU270曝光

5月6日消息,据知乎网友爆料,寒武纪的新一代云端AI芯片MLU270已于今年年初研制成功,该芯片基于台积电16nm工艺打造;架构代号从上一代的MLUv01升级到了MLUv02;内建视频解码单元(似乎是专门为视频处理市场配置);但按照寒武纪一直把MLU系列芯片定位为通用智能芯片来看,MLU270应该能够继续支持语音和自然语言处理等重要AI任务。峰值方面,这颗芯片提供int4 256Tops, int8 128Tops的惊人性能,功耗为75w,与NVIDIA的最新一代Tesla T4基本持平。

智东西周报:苹果WWDC2019多项更新曝光 甲骨文中国首批裁员500人 刘强东最新投票权曝光

#新出行#

1、戴森电动车6月开始测试 计划2021上市

5月10日消息,据Engadget消息,戴森的第一辆电动汽车草图近日流出,但是相关细节尚不清楚。戴森创始人詹姆斯·戴森爵士在一份备忘录中提到,它很可能是一辆普通大小的车,但不会遵循其他品牌的小型电动汽车设计,并将采用铝制车身。电动车的前轮和后轮可能会很大,以适应不同的地形。同时,戴森爵士还提到,电动车的测试将在6月进行,并于2021年正式上市。

2、Uber拟每股45美元上市 估值824亿美元

5月10日消息,Uber将以每股45美元的价格首次公开发行1.8亿股股票,融资81亿美元,发行价接近其预期区间的低端。 以每股45美元的这一IPO价格计算,Uber的估值在完全稀释的基础上约为824亿美元,这使得其成为有史以来规模最大的IPO之一,也是自阿里巴巴2014年创下250亿美元全球纪录以来美国交易所规模最大的IPO。

3、特斯拉完成27亿美元债务和股权融资

5月8日消息,据国外媒体报道,特斯拉公司周三表示,该公司完成了27亿美元的股票和可转换债券发行工作,并获得了投资人超额认购,此次新一轮融资交易为其提高产量提供了急需的现金。外媒称,在承销商行使购入15%股份的选择权后,特斯拉出售了约8.6亿美元的股票和18.4亿美元的债务,融资金额为27亿美元。该公司股价在周三美国股市开盘前下跌0.8%,至245.20美元。

4、丰田将向北汽集团提供燃料电池技术

5月8日消息,据日本时报报道,丰田将向北汽集团提供燃料电池汽车技术。北汽集团的商用车部门计划采用丰田的燃料电池系统来建造公交车,服务于2022年在中国举办的冬季奥运会。

5、4月动力电池装机量5.4GWh 同比增46%

5月8日消息,中国化学与物理电源行业协会动力电池应用分会研究部统计数据显示,2019年4月,中国新能源汽车动力电池装机量约5.41GWh,同比增长45.83%,环比增长6.28%。从各动力车型来看,纯电动汽车配套的动力电池装机量约5.11GWh,同比增长47.73%,环比增长5.94%,市场占有率高达94.39%。

6、北汽新能源1-4月产3430辆 同比降90%

5月8日消息,北汽蓝谷披露子公司北京新能源汽车4月份产销快报,2019年4月,该公司4月产量合计为578辆,本年累计产量为3430辆,同比下降90%;4月销量5009辆,本年累计销量为30078辆,同比下降2.5%。

7、理想ONE系列规划发布 将于四季度交付

5月8日消息,日前,理想公布了接下来的体验店规划、试驾、预订及交付有关的时间规划,从公布的消息来看,预计理想ONE将在2019年8月份开始正式排产,正式交付时间预计在2019年四季度。具体来看,5 月底,成都、苏州以及武汉三地的零售中心将正式开业;6月2日,所有预订车主可在理想App上查看预估的交付时间;7月份,杭州、郑州、西安、南京、重庆以及上海第2店的理想零售中心将陆续开业;第4季度,13个首发城市的交付中心与维修中心开业。

8、日产4月销量12.16万辆 同比下滑2.9%

5月8日消息,据最新统计数据显示,4月份,日产在华共计销售新车121,554辆,相较于2018年同期的125,219辆,同比下滑2.9%。今年1-4月,日产在华累计销量达465,302辆,同比微增0.9%。其中,东风日产前4个月新车总销量为339,030辆,同比增长1.4%;东风启辰今年的累计销量为42,086辆,同比下滑18.9%。

9、玛莎拉蒂将电动化 但不会放弃内燃机

5月8日消息,据外媒报道,玛莎拉蒂北美区域负责人加德纳(Al Gardner)表示,玛莎拉蒂将在2022年之前对旗下车型进行全面更新,推出一系列电动、混动以及插电式混动车。但玛莎拉蒂不会全面电动化,将继续保留内燃机。明年日内瓦车展上亮相的跑车将是玛莎拉蒂首款电动车型, 还将推出一款定位在Levante之下的中型跨界车。

10、英国地形测量局携Mobileye测绘地图

5月8日消息,据外媒报道,英国国家测绘局(national mapping agency)将为英国道路绘制详细地图,其中将包括灯柱、检修孔、交通灯和其他物体的信息,旨在创建首套全国道路基础设施数据集,而此类地图最终可能被自动驾驶汽车使用。英国地形测量局(Ordnance Survey)将与英特尔旗下计算机视觉公司Mobileye合作,编制此类地图。

11、博格华纳与罗密欧动力成立合资公司

5月8日消息,据外媒报道,博格华纳宣布与罗密欧动力(汽车电池制造商)成立合资公司,分别占股60%和20%。由此,博格华纳扩充电池产品线,罗密欧打通与电动车企间的联系。罗密欧动力是加州电池组件和电池组的供应商,由前SpaceX、特斯拉和三星的工程师于2015年创立。去年9月,博格华纳宣布将向三家中国汽车制造商提供电动和混合动力系统,其中包括长城和其电动汽车品牌欧拉。

12、Lyft宣布乘客可打到Waymo自动驾驶汽车

5月8日消息,LyftWaymo周二表示,菲尼克斯地区的Lyft用户将很快能够利用手机软件打到Waymo的自动驾驶小型面包车。在菲尼克斯附近的少数几个城镇中,暂时将只有10辆Waymo自动驾驶车可供使用。Lyft乘客可通过软件选择Waymo自动驾驶汽车,车辆内会有安全驾驶员,与此前使用Alphabet的商业乘车服务Waymo One一样。

13、Cruise获11.5亿美元投资估值190亿刀

据外媒报道,通用汽车旗下的自动驾驶汽车部门Cruise Automation周二宣布,它已获得了11.5亿美元的投资,从而使其估值达到了190亿美元。

Cruise在一份声明中说,这些资金是从一个“由机构投资者组成的财团筹集的,其中包括普信集团提供咨询的基金以及现有的合作伙伴如通用汽车、软银的愿景基金和本田等”。

14、百度新增多项自动驾驶技术专利

5月7日消息,工商数据显示,北京百度网讯科技有限公司新增多条专利信息,其中有多条涉及无人驾驶技术的专利发明,包括自动驾驶车辆周围行人疏散方法、装置及存储介质,能够疏散车辆周围围观人群,确保自动驾驶车辆的正常行驶;自动驾驶功能授权方法、装置、系统及存储介质,能启动自动驾驶功能。这两项专利的申请时间分别是2018年12月10日和12月12日。

15、传亚马逊正洽购自动驾驶公司图森未来

5月7日消息,据钛媒体报道,接近亚马逊高层的知情人士透露,这家电商巨头正在与中国自动驾驶货运公司图森未来洽谈收购事宜。今年2月,图森未来已经宣布成功完成9500万美元的D轮融资,由新浪资本领投,估值超过10亿美元。图森未来CEO陈默向钛媒体回应称,公司确实在北美开启了一轮融资,正在与多家战略投资者接触,但都比较初步。陈默表示,不会接受被收购的命运。

16、奔驰将开始生产EQ家族首款纯电车型EQC

5月7日消息,据外媒报道,梅赛德斯奔驰周一宣布EQ纯电动车家族的首款车型EQC紧凑型跨界车将开始生产。相关研究机构透露,EQC预计将于明年第一季度开始在美国出售,而中国地区,今年开始在北京奔驰汽车合资工厂开始生产。EQC在德国的售价为79,786美元,这款车型是奔驰计划在2025年前推出的10款纯电动车型当中的第一款。

17、彭博称一汽或将对拜腾投资1亿美元

5月7日消息,据彭博社报道,知情人士称,拜腾寻求融资约5亿美元,一汽集团接近达成协议,对拜腾投资1亿美元。

18、广汽丰田新能源产能扩建项目将投113亿

5月6日消息,广州汽车集团发布公告称,广汽丰田汽车有限公司有关新能源车产能扩建项目一期、二期投资于近日经双方股东批准,项目总投资113.3亿元。另外,广汽丰田发动机有限公司有关TNGA系列发动机建设项目于近日经双方股东批准,项目总投资37.3亿元。

#智能家居#

1、机构:今年智能音箱全球销量或1.35亿

5月9日消息,Strategy Analytics的最新预测指出,亚马逊Alexa在2018年的市场份额为37.7%,但在2019年将下降至31.7%,而谷歌助手的份额将从30.3%上升至31.4%。预计今年智能音箱的全球销量将达到1.35亿台,增长率为57%。其余的份额将由十几个其它语音OS平台共享,包括苹果阿里巴巴、百度和小米。

智东西周报:苹果WWDC2019多项更新曝光 甲骨文中国首批裁员500人 刘强东最新投票权曝光

#机器人/无人机#

1、优必选筹备A股IPO 已接受中金上市辅导

5月6日消息,据报道,优必选目前正筹备A股上市,已在2019年4月22日在深圳证监局进行了辅导备案,并接受了中金的上市辅导。2018年5月,优必选曾宣布完成8.2亿美元的C轮融资,估值50亿美元。

优必选CEO周剑当时表示,2019年实现服务机器人Home AI 技术应用落地;2020年,推出机器人云服务平台及新一代的低成本的大型仿人服务机器人;2021年推出核心硬件舵机+操作系统ROSA+云服务平台的服务机器人行业整体解决方案。

#通信圈#

1、2019年4月国内智能手机出货3479万部

5月9日消息,中国信通院发布消息中国信通院发布的《2019年4月国内手机市场运行分析报告》显示,2019年4月,国内智能手机出货量3479.1万部,同比增长6.5%,其中Android手机在智能手机中占比92.7%。报告指出,2019年1-4月,国内智能手机出货量1.08亿部,同比下降5.8%,其中Android手机在智能手机中占比92.5%。2019年4月,国内手机市场总体出货量3653.0万部,同比增长6.7%,其中4G手机3484.8万部,同比增长6.6%,在同期手机出货量中占比95.4%。

#苹果派#

1、彭博:苹果WWDC将发布系列新应用功能

5月7日消息,据彭博社报道,苹果公司计划在下个月的全球开发者大会(WWDC)上发布一系列新的应用、功能和开发工具。苹果将推出iPhone、iPad、Mac、Apple Watch和Apple TV的操作系统更新,iPhone自带的地图(Maps)、提醒功能(Reminders)和短信(Messages)等核心App程序将升级。苹果计划将App Store直接添加到Watch操作系统中,以方便用户不使用iPhone手机即可下载App,并将推出自己的Watch新应用程序,包括新的健康应用程序、计算器以及可以从Watch里听有声书籍的应用程序。此外,苹果公司将宣布第一批可以在iMac上使用的iPad应用程序。

#新进展#

1、京东最新股权曝光 刘强东有79%投票权

5月9日消息,京东集团日前向美国SEC递交2018年年报,年报显示,截至2019年2月28日,京东集团CEO刘强东持有京东集团15.4%股权,为第二大股东,刘强东拥有79%的投票权。截至2019年2月28日,腾讯持股为17.8%,为第一大股东,拥有4.5%的投票权;沃尔玛持股为9.9%,为第三大股东,拥有2.5%的投票权。Fortune Rising Holdings Limited持股为1.2%,拥有6.1%的投票权,刘强东所持有的79%的投票权中包含了这6.1%的投票权。

2、IBM宣布推出全新量子云服务测试版

5月9日消息,IBM在博客上宣布推出一系列全新IBM Q Experience量子云服务及其软件平台的增强功能。该公共测试版将允许用户在线制作电路以及用于应用程序构建的工具,将有助于开发人员社区充分地利用IBM Q系统。据了解,自2016年5月4日IBM Q Experience问世以来,用户已经在该平台上进行了超过1000万次量子实验。

3、AMD将携Cray建立Frontier超级计算机

5月8日消息,AMD宣布将与Cray合作建立Frontier超级计算机,据称,该超算每秒至少能完成1000亿次浮点运算。两家公司预计,到2021年它将成为世界上运算速度最快的超级计算机,其理论运算速度每秒将超过1.5亿次浮点运算,约为当今顶级超级计算机运算速度的50倍,超过160强计算机运算速度的总和。 Frontier将在田纳西州橡树岭的橡树岭国家实验室建造。