第５期 ２０Ｉ５年９月 华东师范大学学报（自然科学版） Ｊｏｕｒｎａｌ ｏｆ Ｅａｓｔ Ｃｈｉｎａ Ｎｏｒｍａｌ Ｕｎｉｖｅｒｓｉｔｙ（Ｎａｔｕｒａｌ Ｓｃｉｅｎｃｅ） Ｎｏ．５ Ｓｅｐ．２０１５ 文章编号：１０００－５６４１（２０１５）０５—０１６２—１０ 基于手机大数据的城市人口流动分析系统 包 婷， 章志冈０， 金澈清 （华东师范大学数据科学与工程研究院上海市高可信计算重点实验室，上海２０００６２） 摘要：分析城市人口流动行为有助于合理分配社会资源，有效应对交通压力、维护社会公共治 安等．传统的人工分析方法，如问卷调查、座谈访问等，成本高昂且低效率．智能手机的不断发展 与普及在为人们日常生活带来极大便利的同时，所产生的用户移动轨迹数据为有效分析城市人 口流动行为提供了可能．然而，海量、低质的轨迹数据给查询分析工作带来了诸多挑战．文中提 出了一个分布式人口流动分析框架，采用多节点处理任务，从而提升了算法的执行能力和可扩 展性．利用手机运营商提供的手机轨迹数据，分析城市人口流动情况，建立了多个模型，包括进 出城市的人口流动行为分析模型、市内各区县间的人口流动行为分析模型、居民工作地／居住地 人口分析模型．与传统方法相比，本方案的成本更低，效率更高，覆盖人群更广． 关键词：人口流动；轨迹数据；分布式框架 中图分类号：ＴＰ３０９ 文献标识码：Ａ ＤＯＩ：１０．３９６９／ｊ．ｉｓｓｎ．１０００—５６４１．２０１５．０５．０１４ Ａｎ ｕｒｂａｎ ｐｏｐｕｌａｔｉｏｎ ｆｌｏｗ ａｎａｌｙｓｉｓ ｓｙｓｔｅｍ ｂａｓｅｄ ｏｎ ｍｏｂｉｌｅ ｂｉｇ ｄａｔａ ＢＡＯ Ｔｉｎｇ， ＺＨＡＮＧ Ｚｈｉ—ｇａｎｇ， ＪＩＮ Ｃｈｅ—ｑｉｎｇ （Ｓｈａｎｇｈａｉ Ｋｅｙ Ｌａｂｏｒａｔｏｒｙ ｏｆ Ｔｒｕｓｔｗｏｒｔｈｙ Ｃｏｍｐｕｔｉｎｇ，Ｉｎｓｔｉｔｕｔｅ ｆｏｒ Ｄａｔａ Ｓｃｉｅｎｃｅ ａｎｄ Ｅｎｇｉｎｅｅｒｉｎｇ， Ｅａｓｔ Ｃｈｉｎａ Ｎａｒｍａｌ Ｕｎｉｖｅｒｓｉｔｙ，Ｓｈａｎｇｈａｉ ２０００６２，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ： Ａｎａｌｙｓｉｓ ｏｎ ｕｒｂａｎ ｐｏｐｕｌａｔｉｏｎ ｆｌｏｗ ｃａｎ ｈｅｌｐ ｔｏ ｍａｋｅ ｒａｔｉｏｎａｌ ｄｉｓｔｒｉｂｕｔｉｏｎ ｏｆ ｓｏｃｉａｌ ｒｅ— ｓｏｕｒｃｅｓ，ｃｏｐｅ ｗｉｔｈ ｔｒａｆｆｉｃ ｐｒｅｓｓｕｒｅ ａｎｄ ｍａｉｎｔａｉｎ ｐｕｂｌｉｃ ｏｒｄｅｒ，ｅｔｃ．Ｔｈｅ ｔｒａｄｉｔｉｏｎａｌ ｍａｎｕａｌ ａｎａｌｙ— ｓｉｓ ｍｅｔｈｏｄｓ，ｓｕｃｈ ａｓ ｑｕｅｓｔｉｏｎｎａｉｒｅ ａｎｄ ｉｎｔｅｒｖｉｅｗ，ｃａｎ ｎｏｔ ｄｅａｌ ｗｉｔｈ ｔｈｉｓ ｔａｓｋ ｅｆｆｉｃｉｅｎｔｌｙ．Ｔｈｅ ｃｏｎｔｉｎｕｏｕｓ ｄｅｖｅｌｏｐｍｅｎｔ ａｎｄ ｐｒｅｖａｌｅｎｃｅ ｏｆ ｓｍａｒｔ ｐｈｏｎｅｓ ｂｒｉｎｇ ｇｒｅａｔ ｃｏｎｖｅｎｉｅｎｃｅ ｔｏ ｐｅｏｐｌｅ ｓ ｄａｉｌｙ ｌｉｆｅ ａｎｄ ｕｓｅｒｓ ｔｒａｊｅｃｔｏｒｙ ｄａｔａ ｇｅｎｅｒａｔｅｄ ｂｙ ｔｈｅ ｃｏｎｎｅｃｔｉｏｎ ｂｅｔｗｅｅｎ ｓｍａｒｔ ｐｈｏｎｅｓ ａｎｄ ｂａｓｅ ｓｔａ— ｔｉｏｎｓ，ｗｈｉｃｈ ｍａｋｅｓ ｉｔ ｐｏｓｓｉｂｌｅ ｔｏ ｉｍｐｌｅｍｅｎｔ ｔｈｉｓ ｔａｓｋ．Ｈｏｗｅｖｅｒ，ｔｒａｊｅｃｔｏｒｙ ｄａｔａ ｉｓ ｍａｓｓｉｖｅ ａｎｄ ｈａｓ ｌｏｗ ｑｕａｌｉｔｙ，ｗｈｉｃｈ ｂｒｉｎｇｓ ｇｒｅａｔ ｃｈａｌｌｅｎｇｅ ｔｏ ｒｅｌａｔｅｄ ｗｏｒｋ．Ｗｅ ｐｒｏｐｏｓｅ ａ ｄｉｓｔｒｉｂｕｔｅｄ ｆｒａｍｅ— ｗｏｒｋ ｆｏｒ ｐｏｐｕｌａｔｉｏｎ ｆｌｏｗ ａｎａｌｙｓｉｓ ｂｙ ｕｓｉｎｇ ｍｕｌｔｉｐｌｅ ｃｏｍｐｕｔｉｎｇ ｎｏｄｅｓ，ｔｈｕｓ ｇｒｅａｔｌｙ ｅｎｈａｎｃｉｎｇ ｅｆ— ｆｉｃｉｅｎｃｙ ａｎｄ ｓｃａｌａｂｉｌｉｔｙ．Ｉｎ ｔｈｉｓ ｐａｐｅｒ，ｗｅ ｕｓｅ ｔｈｅ ｍａｓｓｉｖｅ ｔｒａｊｅｃｔｏｒｙ ｄａｔａ ｔｏ ａｎａｌｙｚｅ ｔｈｅ ｂｅｈａｖｉｏｒ ｏｆ ｕｒｂａｎ ｐｏｐｕｌａｔｉｏｎ ｆｌｏｗ．Ｗｅ ｍｏｄｅｌ ｆｌｏｗｉｎｇ ｂｅｈａｖｉｏｒ ａｍｏｎｇ ｃｉｔｉｅｓ ａｎｄ ａｍｏｎｇ ｉｎｎｅｒ—ｃｉｔｙ ｄｉｓ— ｔｒｉｃｔｓ，ａｎｄ ｄｅｃｉｄｅ ｔｈｅ ｗｏｒｋ ｐｌａｃｅ ａｎｄ ｌｉｖｉｎｇ ｐｌａｃｅ ｏｆ ｅａｃｈ ｐｅｒｓｏｎ．Ｃｏｍｐａｒｅｄ ｗｉｔｈ ｔｈｅ ｔｒａｄｉｔｉｏｎａｌ ｍｅｔｈｏｄｓ，ｏｕｒ ｍｅｔｈｏｄ ｉｓ ｃｈｅａｐｅｒ ａｎｄ ｍｏｒｅ ｅｆｆｉｃｉｅｎｔ． Ｋｅｙ ｗｏｒｄｓ：ｐｏｐｕｌａｔｉｏｎ ｆｌｏｗ；ｔｒａｊ ｅｃｔｏｒｙ ｄａｔａ；ｄｉｓｔｒｉｂｕｔｅｄ ｆｒａｍｅｗｏｒｋ 收稿日期：２０１５－０６ 基金项目：国家重点基础研究发展计划（９７３）（２０１２ＣＢ３１６２０３）；国家自然科学基金（６１３７０１０１）；上海市教 委科研创新重点项目（１４ＺＺ０４５） 第一作者：包婷，女，硕士研究生，研究方向为ＬＢＳ和大数据处理技术． 通信作者：金澈清，男，博士生导师，研究方向为ＬＢＳ和大数据处理技术．Ｅ－ｍａｉｌ：ｃｑｉｉｎ＠ｓｅｉ．ｅｃｎｕ．ｅｄｕ．ｃｎ． 第５期 包婷，等：基于手机大数据的城市人Ｅｌ流动分析系统 １６３ ０ 引 言 信息技术的高速发展加速了城市化进程．在此过程中，城市人口的剧增也加大了城市管 理难度，例如交通压力、就业压力等．由于地区间经济发展不均衡，城市内部各区域的功能分 工各有不同，导致城市内部人口会大量流动．受限于地理和社交等因素，人们的行为往往呈 现出规律性 ，就是人们在工作地和居住地的周期性位置变迁ｌ４］．通过分析人口流动行为 以及居民工作地和居住地等信息，有助于优化社会资源分配，应对交通压力、维护社会公共 治安． 长期以来，人口流动行为研究往往采用如现场观察调查、问卷调查、座谈访谈等人工手 段，成本高昂且效率不高．随着智能手机的不断发展与普及，海量的手机轨迹数据为研究城 市人口流动行为提供了一种新方法．在各大城市中，各个移动通讯运营商均布置了多个基 站．当用户接听／拨打电话、收发短信或者使用数据通讯服务时，就会生成基站连接记录，产 生海量的手机数据．手机轨迹数据不仅数量庞大，而且质量低下．基站类型多样，包括微站、 宏站、直放站和射频拉远站，覆盖范围从几百米到几千米不等．而定位精度很大程度上依赖 于基站的分布密度及其覆盖范围的大小，在不同区域，基站的分布密度差异显著．例如市中 心区域的基站密度远高于郊区的基站密度．此外，基站跳变也会极大地影响手机轨迹数据的 质量；换言之，如果用户所处位置恰巧处于多个基站的服务范围之内，当用户稍微移动位置 甚至固定在某个地方时，手机也会在多个基站间切换连接，而我们使用手机与基站连接日志 记录来判定用户的移动轨迹，这就导致难以真正判定用户的真实位置． 尽管手机定位数据是离散和稀疏的，但利用手机数据仍然可以对人们的行为进行高精 度的预测 引．该结论为利用手机数据研究城市人口流动提供了理论前提．现有工作大都是针 对集中式环境，无法直接应用于海量数据环境．为此，本文提出了一种基于Ｍａｐ／Ｒｅｄｕｃｅ的 分布式框架来对城市人口流动行为进行研究分析，具有较好的执行效率和可扩展性．本文利 用运营商提供的海量手机轨迹数据，对手机用户在城市的流动行为进行分析和挖掘，同时对 数据进行了模糊化处理以满足用户的隐私保护需求，并建立了多个模型，包括进出城市的人 口流动行为分析模型、市内各区县间的人口流动行为分析模型，特别地，对区县间流动行为 建立了居民工作地居住地流动行为分析模型．这些模型为更好地了解用户特征，分析城市人 口流动提供了可能． １ 相关工作 近年来，已有不少工作针对手机轨迹数据研究用户的行为模式．文献［７］将ＯＤ（Ｏｒｉｇｉｎ— Ｄｅｓｔｉｎａｔｉｏｎ，起止）矩阵作为输入，从手机轨迹数据中提取用户起止点信息．文献［８］将移动 手机流量关联到交通流量，设计ＧＳＭ（Ｇｌｏｂａｌ Ｓｙｓｔｅｍ ｆｏｒ Ｍｏｂｉｌｅ Ｃｏｍｍｕｎｉｃａｔｉｏｎ）网络模拟 器来模拟从电话网络中提取出的网络数据，将数据处理后转化成ＯＤ矩阵，从而判定出移动 行为的起始地点．文献［９］将基站的连接记录与交通流量相结合，建立ＯＤ矩阵，从而进一步 分析用户轨迹．文献［１Ｏ３从手机数据中提取用户每天位置轨迹并转化为活动序列，将序列进 行分类得到用户活动的转移模式．文献［１１］利用近百万条手机数据提取用户行为模式并分 析不同用户工作地间的相关性．文献［１２］利用聚类、回归的方法分析匿名化的手机数据，根 据用户稀疏的位置信息发现有意义的重要位置如工作地、居住地．海量的手机数据为分析人 １６４ 华东师范大学学报（自然科学版） 们行为提供了可能，文献［１３］，ｉＪ用手机轨迹数据挖掘用户异常聚集活动，如异常的社会活动 的发现．文献［１４］将手机数据与推荐系统相结合，挖掘用户行为模式并向用户推荐感兴趣的 社会活动． 文献［１５］利用实时采集的移动手机数据分析城市交通状况、预测行人活动序列．社会经 济水平可以反映出人们住房、教育、健康以及其他基础服务情况，文献［１６］利用手机数据聚 类分析后的信息来确定社会经济水平，并利用ＳＶＭ和随机森林模型来预测社会经济水平． 有很多研究利用手机数据对交通流量进行评估，但这些研究往往忽视了每辆车可能有多个 手机的情况，文献［１７］利用聚类的方法判定同一辆车中是否有多台手机，从而利用手机数据 确定车速、车辆密度等，并对高速公路交通流量作出更精确评估． 由于手机轨迹数据数量庞大且质量低下，同时为了不泄露用户隐私，移动运营商往往会 将用户手机轨迹数据进行模糊处理，这些给相关研究带来了很大的挑战．本文针对城市人口 流人流出行为展开研究，利用手机轨迹数据发现用户行为模式，并挖掘用户工作地、居住地 信息，为今后的研究提供了一种新思路． ２‘系统框架结构 本节介绍系统的框架结构，如图１所示． 界面展示层 城市间人口流动 ＩＫｇＮＸｎ＇￣ＪＩ Ｉ工铬 地Ｉ ｕ 应用支撑层 ｌ ｓｔｒｕｃｔｓ、Ｍ ｓｑｌ、Ｊａｖａ／ｐｙｔｈ。ｎ Ｉ 自动更新模块 Ｉ ｌｌ 业务逻辑层 居住地分析模型 工作地分析模型 城市间人口 ｌ城市人流量特征Ｉ ｌ…ｌ区县人流量特祉Ｉ 。 『流动模型 区县间人口 ｌ工作地特征Ｉ ｌ屉件恤特 Ｉ Ｉ… …一 ｌ流动模型 Ｉｌ 大数据管理层 ｌ ａｓｅ、胁ｅ、Ｐｉｇ、ｚ。。 ｅ ｌ ＭａｐＲｅｄｕｃｅ ｌ 图１系统框架结构 Ｆｉｇ．１ Ｓｙｓｔｅｍ ａｒｃｈｉｔｅｃｔｕｒｅ 构建人口流动分析平台需要使用以下数据：基站连接日志数据、基站信息数据、用户注 册信息．基站连接日志数据描述了用户每一次手机连接基站的情况，包括：手机设备号、连接 起始时间、连接基站号、连接扇区号、手机开关机状态、加载时间等字段．基站数据描述了基 第５期 包婷，等：基于手机大数据的城市人Ｅｌ流动分析系统 １６５ 站的基础信息，包括：基站ＩＤ、地理位置、ＧＰＳ坐标、所在行政区等．用户注册信息包括：用户 身份证号码、姓名、手机号、性别、出生年月等． 为了保护用户隐私和移动运营商的隐私，在发布使用数据时，本文对这两部分数据进行 了隐私保护．对于用户注册信息，隐匿了身份证号码和姓名，且对其手机号和基站连接日志 中的手机号使用了一致的加密手段．为了保护移动运营商的基站信息，对基站位置在不影响 功能分析的基础上做了位置修正． 系统架构在设计上采用分布式、分层结构，包括大数据管理层、业务逻辑层、应用支撑 层、界面展示层４层结构． 大数据管理层使用ＨＢａｓｅ、Ｈｉｖｅ、Ｐｉｇ、ＺｏｏＫｅｅｐｅｒ来管理基站连接日志．Ｈａｄｏｏｐ集群上 使用ＭａｐＲｅｄｕｃｅ框架来执行任务，数据库使用ＨＢａｓｅ，数据仓库使用Ｈｉｖｅ，并使用Ｐｉｇ语 言来简化Ｈａｄｏｏｐ工作任务，使用Ｚｏｏｋｅｅｐｅｒ进行集群内的协作服务． 业务逻辑层利用数据管理层对手机数据分析处理后输出的数据，建立分析模型，包括城 市间人口流动模型、区县间人口流动模型、居住地分析模型、工作地分析模型．针对这四个模 型，对数据进行分析处理，训练出相应的特征，这些特征可用来表示城市人口在城市间、各区 县间、居住地／工作地这三个层次的流动情况． 后台开发框架使用集成的Ｓｔｒｕｃｔｓ．Ｓｔｒｕｔｓ采用Ｊａｖａ Ｓｅｒｖｌｅｔ／ＪＳＰ技术，开发Ｗｅｂ应用 程序的开放源码的框架．数据库主要用来存储后台分析好的结果，本项目采用ＭｙＳＱＬ数据 库，ＭｙＳＱＬ是开源数据库且体积小、速度快、适用于快速部署．后台处理程序使用Ｊａｖａ／Ｐｙ— ｔｈｏｎ语言编写，负责处理前端发过来的请求，并从大数据平台获取分析结果，存放到数据库 中．系统通过创建脚本文件并将文件加入到任务计划中，实现周期性更新数据． 界面展示层用来与用户进行交互，并展示系统分析结果．网页效果设计采用的主要是 Ｆｌａｓｈ技术，使用Ｆｌａｓｈ技术可以创作出可改变尺寸的导航界面以及其他奇特的效果．本项 目采用Ｆｌａｓｈ技术的主要原因是可以自定义开发，开发周期短，图形和动画效果丰富，并且 Ｆｌａｓｈ使用向量运算的方式，产生出来的文件占用存储空间较小．系统使用ＪＳＯＮ＋ＸＭＬ技 术来获取数据库中的数据． ３ 大数据管理 大数据管理使用Ｈａｄｏｏｐ这一开源平台来实现．如图２１］胡所示，该平台集成了ＨＢａｓｅ、 Ｈｉｖｅ、Ｐｉｇ、Ｚｏｏｋｅｅｐｅｒ等实用工具，方便了用户对数据的管理和操作．ＨＢａｓｅ是Ｈａｄｏｏｐ的数 据库，能够对大数据提供随机、实时的读写访问功能，是一个高可靠、高性能、面向列、可伸缩 的分布式存储系统．ＨＢａｓｅ存储的数据从逻辑上来看就像一张很大的表，并且它的数据列 可以根据需要动态地增加．Ｈｉｖｅ是一个基于Ｈａｄｏｏｐ文件系统之上的数据仓库架构．它为 数据仓库的管理提供了许多功能：数据ＥＴＬ（抽取、转换和加载）工具、数据存储管理和大型 数据集的查询和分析能力．同时，Ｈｉｖｅ定义了类ＳＱＬ的语言——Ｈｉｖｅ ＱＩ ．Ｈｉｖｅ ＱＬ允许 用户进行和ＳＱＬ相似的操作，还允许开发人员方便地使用ｍａｐ和ｒｅｄｕｃｅ操作，这对Ｍａｐ／ Ｒｅｄｕｃｅ框架是一个强有力的支持．Ｈｉｖｅ本身建立在Ｈａｄｏｏｐ的体系架构上，可将外部命令 解析成一个Ｍａｐ／Ｒｅｄｕｃｅ可执行计划．Ｐｉｇ为大型数据集的处理提供了更高层次的抽象，它 提供了一套强大的数据变换操作，这些操作整体上描述了一组数据流到另一组数据流的转 换，而这些转换操作被转换成一系列的Ｍａｐ／Ｒｅｄｕｃｅ作业，这样一来使得程序员仅仅需要编 １６６ 华东师范大学学报（自然科学版） 写简单的脚本代码，就能轻松处理ＴＢ级的数据集 博 ．此外，Ｐｉｇ和Ｈｉｖｅ还为ＨＢａｓｅ提供了 高层语言支持，使得在ＨＢａｓｅ上进行数据统计处理变得非常简单． 田回口 图２大数据管理的技术框架 Ｆｉｇ．２ Ｔｅｃｈｎｉｃａｌ ａｒｃｈｉｔｅｃｔｕｒｅ ｏｆ ｄａｔａ ｍａｎａｇｅｍｅｎｔ 为方便各种分析任务对用户信息和基站信息的实时查询，本系统将用户的注册信息和 和基站的信息存放在ＨＢａｓｅ中．同时，将用户连接基站数据存放在ＨＤＦＳ上，并导人到 Ｈｉｖｅ所构建的数据仓库中进行管理．为了满足各种任务分析需求，本系统提供了３种数据 操作方式：首先，对于简单的数据查询使用Ｈｉｖｅ ＱＬ命令来进行操作．比如查询指定用户某 天连接过哪些基站，使用Ｈｉｖｅ ＱＬ编写一句查询语句就能完成任务；其次，对于批处理任 务，本系统通过Ｐｉｇ脚本程序实现．比如，由于用户连接基站数据每天会批量更新，如果想知 道用户每天都出现在哪些区县．在实现该任务时涉及到两个数据的连接操作，这时使用Ｐｉｇ 脚本程序能够方便的完成上述分析任务；最后，对于复杂分析任务，通过编写Ｍａｐ／Ｒｅｄｕｃｅ 程序对存放在ＨＤＦＳ的数据进行操作，比如需要从用户连接基站历史记录中分析出用户的 居住地时，Ｈｉｖｅ ＱＬ和Ｐｉｇ程序无法满足需求，这时就需要用户自己编写Ｍａｐ／Ｒｅｄｕｃｅ程序 完成分析． ４ 模型分析 本节介绍本系统所涉及到的各个分析模型．人口流动的分析涉及范围很广，包括城市的 流人流出分析、城市内部各区县间人口流动分析和用户居住地／工作地分析．系统分别建立 了三个相应的数据分析模型． ４．１ 城市流人流出模型分析 本文提出了一种利用手机轨迹数据监测人口流动的方法，处理框架如图３所示．首先对 基站连接数据进行预处理，以降低手机基站数据低质问题的影响，然后分析进出城市的行为 模式，利用分析分类模型判定用户轨迹是否进出城市． （１）数据预处理 该过程是为了减小基站定位不准以及信号跳变造成的影响，本系统分析手机基站数据 特点，挖掘出用户的重要停留区域，由此降低用户在该区域范围内的信号定位不准以及信号 频繁跳变问题的影响．将这些停留区域按时序串联以构成用户的活动轨迹．数据预处理部分 包括三步：①去除异常点与建立移动轨迹；②挖掘用户活动轨迹；③建立枢纽区域租边境 区域． 第５期 包婷，等：基于手机大数据的城市人口流动分析系统 １６７ ｒ一一 ｉ一一 ：ｌ 匡ｌ兰兰竺呈 ｌ 匹ｌ 查Ｉ —————————进出——城市——流——动分——析 ——— 区 ］［＝晒 ～一 图３进出城市人ＶＩ流动处理框架 Ｆｉｇ．３ Ｐｒｏｃｅｓｓｉｎｇ ｆｒａｍｅｗｏｒｋ ｏｆ ｐｏｐｕｌａｔｉｏｎ ｆｌｏｗ ａｍｏｎｇ ｃｉｔｉｅｓ （２）进出城市流动分析 用户行为轨迹复杂，本文通过分析用户进出城市的轨迹行为特点，与非进入非离开城市 行为进行对照，挖掘轨迹特征．具体特征如下： １）信号消失时长出现的可能性． ３）枢纽区域停留指数用户在某枢纽区的停留程度． 相邻两停留点之间的时间间隔． 用户进入或离开城市时，在某交通枢纽处（如火车站、机场等） ２）枢纽区域出现概率４）是否在边境区域出现行连接交互． 用户的手机信号消失或出现时，是否与城市边境处的基站进 ５）与居住地和工作地的平均距离 手机信号消失或出现时，用户与其居住地和工作地 之间的平均距离． 用户进出城市的行为必定发生在某一信号消失时段的前后，因此本文针对信号消失时 段的前后，分别得到用户的离开行为特征向量和进入行为特征向量，然后利用标注数据训练 分类模型（如决策树、逻辑回归等），之后运用分类模型的训练结果进行轨迹行为判定，最终 判定用户在某时刻是否进入或离开了城市 ． ４．２城市各区县间人口流动模型分析 区县间人口分析框架如图４所示．首先同样需要进行数据预处理，处理方法与城市间人 口流动数据预处理方式一致，然后通过分析各区县间人口流动判定用户在区县间流动情况． 针对某一用户的行为轨迹，数据预处理阶段可得到该用户的多个重要停留区，用户在这 些区域中有较大的可能性进行活动，停留的时间较长．本文将这些重要的停留区域用圆表 示，这些圆的圆心所在的区县即为用户的停留区县，将处于同一区县并且时间上相隔小于一 定阈值的停留区域进行状态合并，即可得到该用户的区县停留状态，该状态信息中包括区县 ＩＤ和停留的起止时间． 由于用户去往目的区县的过程中可能会经过某些“经过区”，例如某用户从普陀出发，去 往闵行上班，途中经过长宁区和徐汇区，这两个区即为“经过区”．在分析用户在区县间流人 流出行为时，需过滤“经过区”，以挖掘用户行走路线的真正意图．上述过程所得的停留区县 即为用户真正的活动区县，“经过区”不构成停留区县状态，因此时间上相邻的两个停留区县 间的状态转移伴随着用户的一次离开区县和进入另一区县的行为．最后通过汇总全体数据 １６８ 华东师范大学学报（自然科学版） 集中用户所有停留区县间的状态转移情况，即可得到在各个时间段内的不同区县间的人口 流动情况 ． Ｉ一一一一一一一一一ｌ ｌ一一一一一～一一一Ｉ 区县间人口流动分析 叵 图４区县间人口流动处理框架 Ｆｉｇ．４ Ｐｒｏｃｅｓｓｉｎｇ ｆｒａｍｅｗｏｒｋ ｏｆ ｐｏｐｕｌａｔｉｏｎ ｆｌｏｗ ａｍｏｎｇ ｄｉｓｔｒｉｃｔｓ ４．３居民工作地、居住地模型分析 为了发现用户工作地居住地信息，本文提出了一个基于Ｍａｐ／Ｒｅｄｕｃｅ的框架，该处理框 架主要包含４个步骤：①过滤各个用户的轨迹记录；②找出包含工作地、居住地的候选区域； ③调用传统聚类算法对候选区域进行聚类操作；④从聚类结果中发现工作地、居住地信息． 同时，本文在该框架中分别嵌入了两种不同的发现策略，即：ＧＰＭＡ和ＳＰＭＡ．这个分布式 挖掘框架主要思路是：首先，通过Ｍａｐ／Ｒｅｄｕｃｅ编程模型将同一个用户在总时间内的连接记 录，合并到同一个计算节点．然后，选择合适的位置范围化方法，针对用户原始连接基站的记 录使用状态生成算法生成状态序列．接着，根据停留时间和停留次数，删除那些不满足给定 阈值的状态，从剩下的状态所对应的区域中找出那些可能包含工作地、居住地位置的候选区 域．最后，对找出的候选区域继续聚类，从聚类结构中分析出用户的工作地、居住地信息． 针对基于网格范围和基于基站覆盖范围的两种区域范围化方法，利用提出的分布式挖 掘框架，设计了两种并行挖掘算法：ＧＰＭＡ算法和ＳＰＭＡ算法．ＧＰＭＡ算法首先将整个区 域进行栅格化，然后将用户连接基站的情况映射为在各个网格内的停留状态，停留状态包含 停留的网格号、起始停留时间、结束停留时间．由于精度和基站跳变的原因，则认为该用户停 留在某网格中时，实际所处位置也有可能是该网格的邻居网格．ＳＰＭＡ算法利用基站覆盖 范围来表示用户所在区域范围，它将用户连接基站的情况转换为连接各个基站的序列．ＧＰ— ＭＡ算法思想的想法比较简单直观，但该方法将同一网格中的基站等同看待，这会加大所得 工作地、居住地位置的偏差．而ＳＰＭＡ算法克服了这一问题，它将每一个基站单独看待，每 一个基站可以有不同的覆盖范围．当用户连接到某基站时，则用户可以确定用户在该基站的 覆盖范围内，同时由于基站切换原因，用户也可能在该基站邻居的覆盖范围内＿２‘ ． ５ 界面展示 图５是城市各区县间人口流动展示界面．为了提高用户与系统的交互性，用户可直接点 击地图上的相应区县直接选择，查看其它各区县流人到该区县或者该区县流出到其他区县 １ ７（） 华东师范大学学报（自然科学版） ２０１５往 ６ 总 结 本文利用大数据平台分析用户的手机轨迹数据，挖掘用户的行为模式，设计了基于传统 数据仓库、Ｈａｄｏｏｐ集群和ＭｙＳＱＬ数据库的上海市人口流动分析平台，包括三个分析模块， 分别是城市间人口流动分析模块、区县问人口流动分析模块、工作地／居住地流动分析模块． 在分析城市间人口流动时，提出了在分布式框架下的基于轨迹行为特征的判定算法；在分析 区县间人口流动时，对用户在区县间流动行为加以分析；对工作地、居住地进行分析时，介绍 了两种挖掘重要位置信息的算法：ＧＰＭＡ和ＳＰＭＡ．本文为有效、准确分析城市人口行为提 供了有力支持． ［参 考 文 献］ ［１］ Ｇ０ＮＺＡＩ ＥＺ Ｍ Ｃ，ＨＩＤＡＩ Ｇ０ Ｃ Ａ． ＢＡＲＡＢＡＳＩ Ａ Ｉ ．Ｕｎｄｅｒｓｔａｎｄｉｎｇ ｉｎｄｉｖｉｄｕａｌ ｈｕｍａｎ ｍｏｂｉｌｉｔｙ ｐａｔｔｅｒｎｓ［Ｊ］．Ｎａ ｔｕｒｅ，２００８，４５３（７１９６）：７７９—７８２． ［２］ ＳＯＮＧ Ｃ，ＱＵ Ｚ，ＢＩ ＵＭＭ Ｎ，ｅｔ ａ１ Ｌｉｍｉｔｓ ｏｆ ｐｒｅｄｉｃｔａｂｉｌｉｔｙ ｉｎ ｈｕｍａｎ ｍｏｂｉｌｉｔｙ［Ｊ］．Ｓｃｉｅｎｃｅ，２０１０，３２７（５９６８） １（）１８ １（）２１． ［３］ ＳＯＮＧ Ｃ，ＫＯＲＥＮ Ｔ，ＷＡＮＧ Ｐ，ｅｔ ａ１．Ｍｏｄｅｌｌｉｎｇ ｔｈｅ ｓｃａｌｉｎｇ ｐｒｏｐｅｒｔｉｅｓ ｏｆ ｈｕｍａｎ ｍｏｂｉｌｉｔｙ［Ｊ］．Ｎａｔｕｒｅ Ｐｈｙｓｉｃｓ。 ２０１（Ｊ，６（１（））：８１ ８－８２３． ［４］ Ｉ Ｉ ｚ，ＤＩＮＧ Ｂ，ＨＡＮ Ｊ，ｅｔ ａ１．Ｍｉｎｉｎｇ ｐｅｒｉｏｄｉｃ ｂｅｈａｖｉｏｒｓ ｆｏｒ ｍｏｖｉｎｇ ｏｂｊｅｃｔｓ［Ｃ］／／Ｐｒｏｃｅｅｄｉｎｇｓ ｏｆ ｔｈｅ １６ｔｈ ＡＣＭ ＳＩＧＫＤＤ Ｉｎｔｅｒｎａｔｉｏｎａｌ Ｃｏｎｆｅｒｅｎｃｅ ｏｎ Ｋｎｏｗｌｅｄｇｅ Ｄｉｓｃｏｖｅｒｙ ａｎｄ Ｄａｔａ Ｍｉｎｉｎｇ．ＡＣＭ，２０１（）：１０９９—１ １（）８． ［５］ 陈佳，胡波，左小清，等．利用手机定位数据的用户特征挖掘ｒＪ］．武汉大学学报：信息科学版，２０１４，３９（６）：７３４ ７３８． ［６］ ＡＳＨＢＲＯＯＫ Ｄ，ＳＴＡＲＮＥＲ Ｔ．Ｕｓｉｎｇ ＧＰＳ ｔｏ ｌｅａｒｎ ｓｉｇｎｉｆｉｃａｎｔ ｌｏｃａｔｉｏｎｓ ａｎｄ ｐｒｅｄｉｃｔ ｍｏｖｅｍｅｎｔ ａｃｒｏｓｓ ｍｕｌｔｉｐｌｅ ｕｓ— ｅｒｓ［Ｊ］．Ｐｅｒｓｏｎａｌ ａｎｄ Ｕｂｉｑｕｉｔｏｕｓ Ｃｏｍｐｕｔｉｎｇ，２（）（）３，７（５）：２７５—２８６． ［７］ ＷＨＩＴＥ Ｊ，ＷＥＩ Ｉ Ｓ Ｉ．Ｅｘｔｒａｃｔｉｎｇ ｏｒｉｇｉｎ ｄｅｓｔｉｎａｔｉｏｎ ｉｎｆｏｒｍａｔｉｏｎ ｆｒｏｍ ｍｏｂｉｌｅ ｐｈｏｎｅ ｄａｔａ［Ｃ］／／１ １ｔｈ Ｉｎｔｅｒｎａｔｉｏｎａｌ Ｃｏｎｆｅｒｅｎｃｅ ｏｎ Ｒｏａｄ Ｔｒａｎｓｐｏｒｔ Ｉｎｆｏｒｍａｔｉｏｎ ａｎｄ Ｃｏｎｔｒｏｌ，２００２：３０—３４． ［８］ ＣＡＣＥＲＥＳ Ｎ，ＷＩＤＥＢＥＲＧ Ｊ Ｐ，ＢＥＮＩＴＥＺ Ｆ Ｇ．Ｄｅｒｉｖｉｎｇ ｏｒｉｇｉｎ ｄｅｓｔｉｎａｔｉｏｎ ｄａｔａ ｆｒｏｍ ａ ｍｏｂｉｌｅ ｐｈｏｎｅ ｎｅｔｗｏｒｋ［Ｊ］． Ｉｎｔｅｌｌｉｇｅｎｔ Ｔｒａｎｓｐｏｒｔ Ｓｙｓｔｅｍｓ，ＩＥＴ，２（）０７，１（１）：１５ ２６． ＱＢＡＩ Ｍ Ｓ，ＣＨＯＵＤＨＵＲＹ Ｃ Ｆ，ＷＡＮＧ Ｐ，ｅｔ ａ１．Ｄｅｖｅｌｏｐｍｅｎｔ ｏｆ ｏｒｉｇｉｎ ｄｅｓｔｉｎａｔｉｏｎ ｍａｔｒｉｃｅｓ ｕｓｉｎｇ ｍｏｂｉｌｅ ［９］ Ｉｐｈｏｎｅ ｃａｌｌ ｄａｔａ［Ｊ］．Ｔｒａｎｓｐｏｒｔａｔｉｏｎ Ｒｅｓｅａｒｃｈ Ｐａｒｔ Ｃ Ｅｍｅｒｇｉｎｇ Ｔｅｃｈｎｏｌｏｇｉｅｓ，２０１４，４０（１）：６３—７４． ［１（）］ Ｉ ＩＵ Ｆ，ＪＡＮＳＳＥＮＳ Ｄ，ＣＵＩ Ｊ Ｘ，ｅｔ ａ１．Ｂｕｉｌｄｉｎｇ ａ ｖａｌｉｄａｔｉｏｎ ｍｅａｓｕｒｅ ｆｏｒ ａｃｔｉｖｉｔｙ—ｂａｓｅｄ ｔｒａｎｓｐｏｒｔａｔｉｏｎ ｍｏｄｅｌｓ ｂａｓｅｄ ｏｎ ｍｏｂｉｌｅ ｐｈｏｎｅ ｄａｔａ［Ｊ］．Ｅｘｐｅｒｔ Ｓｙｓｔｅｍｓ ｗｉｔｈ Ａｐｐｌｉｃａｔｉｏｎｓ，２０１４，４１（１４）：６１７４—６１８９． ０ＲＥＮＺ０ Ｇ Ｄ，ｅｔ ａ１．Ａｃｔｉｖｉｔｙ—ａｗａｒｅ ｍａｐ：ｉｄｅｎｔｉｆｙｉｎｇ ｈｕｍａｎ ［１１］ ＰＨＩＴＨＡＫＫＩＴＮＵＫＯＯＮ Ｓ，Ｈ０ＲＡＮＯＮＴ Ｔ，Ｉｄａｉｌｙ ａｃｔｉｖｉｔｙ ｐａｔｔｅｒｎ ｕｓｉｎｇ ｍｏｂｉｌｅ ｐｈｏｎｅ ｄａｔａ［Ｃ］／／Ｐｒｏｃｅｅｄｉｎｇｓ ｏｆ ｔｈｅ Ｆｉｒｓｔ ｉｎｔｅｒｎａｔｉｏｎａｌ ｃｏｎｆｅｒｅｎｃｅ ｏｎ Ｈｕｍａｎ ｂｅ ｈａｖｉｏｒ ｕｎｄｅｒｓｔａｎｄｉｎｇ．Ｓｐｒｉｎｇｅｒ—Ｖｅｒｌａｇ，２０１０：１４—２５． ａ１．Ｉｄｅｎｔｉｆｙｉｎｇ Ｉｍｐｏｒｔａｎｔ Ｐｌａｃｅｓ ｉｎ Ｐｅｏｐｌｅ ｓ ｌａｖｅｓ ｆｒｏｍ Ｃｅｌｌｕｌａｒ ［１ ２］ ＩＳＡＡＣＭＡＮ Ｓ，ＢＥＣＫＥＲ Ｒ，ＣＡＣＥＲＥＳ Ｒ，ｅｔＮｅｔｗｏｒｋ Ｄａｔａ［Ｊ］．Ｌｅｃｔｕｒｅ Ｎｏｔｅｓ ｉｎ Ｃｏｍｐｕｔｅｒ Ｓｃｉｅｎｃｅ，２０１１，６６９６：１３３—１５１． ＡＢＲＥＳＥ Ｆ，ｅｔ ａ１．Ｓｏｃｉａｌ Ｅｖｅｎｔ Ｄｅｔｅｃｔｉｏｎ ｉｎ Ｍａｓｓｉｖｅ Ｍｏｂｉｌｅ Ｐｈｏｎｅ Ｄａｔａ Ｕｓｉｎｇ ［１３］ ＴＲＡＡＧ Ｖ Ａ，ＢＲＯＷＥＴ Ａ，ＣＡＩＰｒｏｂａｂｉｌｉｓｔｉｃ Ｌｏｃａｔｉｏｎ Ｉｎｆｅｒｅｎｃｅ［ｃ３／／Ｐｒｏｃｅｅｄｉｎｇｓ ｏｆ ｔｈｅ Ｔｈｉｒｄ ＩＥＥＥ Ｉｎｔｅｒｎａｔｉｏｎａｌ Ｃｏｎｆｅｒｅｎｃｅ ｏｎ Ｓｏｃｉａｌ Ｃｏｍｐｕ ｉｎｇ，２０１１：９—１１．ｒ ＡＢＲＥＳＥ Ｆ，ｅｔ ａ１．Ｒｅｃｏｍｍｅｎｄｉｎｇ ｓｏｃｉａｌ ｅｖｅｎｔｓ ｆｒｏｍ ｍｏｂｉｌｅ ｐｈｏｎｅ ｌｏｃａｔｉｏｎ ｄａｔａ ［１４］ ＱＵＥＲＣＩＡ Ｄ，ＬＡＴＨＩＡ Ｎ，ＣＡＩ［Ｃ］／／Ｐｒｏｃｅｅｄｉｎｇｓ ｏｆ ｔｈｅ １ｏｔｈ Ｉｎｔｅｒｎａｔｉｏｎａｌ Ｃｏｎｆｅｒｅｎｃｅ ｏｎ Ｄａｔａ Ｍｉｎｉｎｇ（ＩＣＤＭ），２０１０：９７１—９７６． ［１ ５］ ＣＡＩ ＡＢＲＥＳＥ Ｆ，ＣＯ１ ＯＮＮＡ Ｍ，Ｉ ＯＶＩＳＯＬＯ Ｐ，ｅｔ ａ１．Ｒｅａｌ Ｔｉｍｅ Ｕｒｂａｎ Ｍｏｎｉｔｏｒｉｎｇ Ｕｓｉｎｇ Ｃｅｌｌ Ｐｈｏｎｅｓ：Ａ Ｃａｓｅ 第５期 包婷，等：基于手机大数据的城市人口流动分析系统 １ ７１ Ｓｔｕｄｙ Ｉｎ Ｒｏｍｅ［Ｊ］．ＩＥＥＥ Ｔｒａｎｓａｃｔｉｏｎｓ ｏｎ Ｉｎｔｅｌｌｉｇｅｎｔ Ｔｒａｎｓｐ０ｒｔａｔｌＯｎ Ｓｙｓｔｅｍｓ，２０１１，１ ２（１）：１ ４１ １５１． ｒ １ ６］ Ｓ（）ＴＯ Ｖ，ＦＲＩＡＳ－ＭＡＲＴＩＮＥＺ Ｖ，ＶＩＲＳＥＤＡ Ｊ，ｅｔ ａ１．Ｐｒｅｄｉｃｔｉｏｎ ｏｆ Ｓｏｃｉｏｅｃｏｎｏｍｉｃ Ｌｅｖｅｌｓ Ｕｓｉｎｇ Ｃｅｌｌ Ｐｈｏｎｅ Ｒｅ— ｃｏｒｄｓ￣Ｊ］．Ｌｅｃｔｕｒｅ Ｎｏｔｅｓ ｉｎ Ｃｏｍｐｕｔｅｒ Ｓｃｉｅｎｃｅ，２０１ １，６７８７：３７７—３８８． ［１ ７］ＨＯＮＧＹＡＮ Ｇ，ＦＡＳＨＥＮＧ Ｉ ．Ｅｓｔｉｍａｔｉｎｇ ｆｒｅｅｗａｙ ｔｒａｆｆｉｃ ｍｅａｓｕｒｅｓ ｆｒｏｍ ｍｏｂｉｌｅ ｐｈｏｎｅ ｌｏｃａｔｉｏｎ ｄａｔａ［Ｊ￣．Ｅｕｒｏｐｅａｎ Ｊｏｕｒｎａｌ ｏｆ Ｏｐｅｒａｔｉｏｎａｌ Ｒｅｓｅａｒｃｈ，２０１３，２２９（Ｉ）：２５２—２６０． ［１８］陆嘉恒．Ｈａｄｏｏｐ实战［Ｍ］．第２版．北京：机械工业出版社，２０１２：ｇ５—３２９． ［１ ９］孔扬鑫．手机轨迹数据的人口流动分析［Ｒ］．上海：华东师范大学软件工程学院，２０１ ５． ［１ ８］ 章志刚．面向海量手机轨迹数据的重要位置发现［Ｒ］．上海：华东师范大学软件工程学院，２０１５． （责任编辑李万会） （上接第１ ６１页） ［１ ２］ＰＡＩｌ Ｉ ＩＥＲ Ｐ．ＰＵＢＩ ＩＣ—ｋｅｙ ｃｒｙｐｔｏｓｙｓｔｅｍｓ ｂａｓｅｄ ｏｎ ｃｏｍｐｏｓｉｔｅ ｄｅｇｒｅｅ ｒｅｓｉｄｕｏｓｉｔｙ ｃｌａｓｓｅｓ［ｃ］／／Ａｄｖａｎｃｅｓ ｉｎ ｃｒｙｐ— ｔｏｌｏｇｙ ＥＵＲ（）ＣＲＹＰＴ＜）９．Ｂｅｒｌｉｎ Ｈｅｉｄｅｌｂｅｒｇ：Ｓｐｒｉｎｇｅｒ，１ ９９９：２２３—２３８． ［１３］ ＺＨＵ Ｈ，ＭＥＮＧ Ｘ，ＫＯＩ Ｉ ｌＯＳ Ｇ．Ｐｒｉｖａｃｙ Ｐｒｅｓｅｒｖｉｎｇ Ｓｉｍｉｌａｒｉｔｙ Ｅｖａｌｕａｔｉｏｎ ｏｆ Ｔｉｍｅ Ｓｅｒｉｅｓ Ｄａｔａ［ｃ］／／ＥＤＢＴ， ２（）１４：４９９—５１（）． ［１ ４］ＩＮＡＮ Ａ，ＫＡＮＴＡＲＣＩＯＧＩ Ｕ Ｍ，ＢＥＲＴＩＮＯ Ｅ，ｅｔ ａ１．Ａ ｈｙｂｒｉｄ ａｐｐｒｏａｃｈ ｔｏ ｐｒｉｖａｔｅ ｒｅｃｏｒｄ ｌｉｎｋａｇｅ［ ／／Ｄａｔａ Ｅｎ— ｇｉｎｅｅｒｉｎｇ，２００８．ＩＣＤＥ ２｛｝０８．ＩＥＥＥ ２４ｔｈ Ｉｎｔｅｒｎａｔｉｏｎａｌ Ｃｏｎｆｅｒｅｎｃｅ ｏｎ．ＩＥＥＥ，２０｛）８：４９６—５０５． ［１ ５］ＨＵ Ｈ，ＸＵ Ｊ，ＲＥＮ Ｃ，ｅｔ ａ１．Ｐｒｏｃｅｓｓｉｎｇ ｐｒｉｖａｔｅ ｑｕｅｒｉｅｓ ｏｖｅｒ ｕｎｔｒｕｓｔｅｄ ｄａｔａ ｃｌｏｕｄ ｔｈｒｏｕｇｈ ｐｒｉｖａｃｙ ｈｏｍｏｍｏｒｐｈｉｓｍ ［Ｃ］／／Ｄａｔａ Ｅｎｇｉｎｅｅｒｉｎｇ（ＩＣＤＥ），２（）１ １ ＩＥＥＥ ２７ｔｈ Ｉｎｔｅｒｎａｔｉｏｎａｌ Ｃｏｎｆｅｒｅｎｃｅ ｏｎ．ＩＥＥＥ，２０１１：６０１—６１２． ［１６］ＹＡＯ Ａ Ｃ Ｃ．Ｈｏｗ ｔｏ ｇｅｎｅｒａｔｅ ａｎｄ ｅｘｃｈａｎｇｅ ｓｅｃｒｅｔｓ［Ｃ￣／／Ｆｏｕｎｄａｔｉｏｎｓ ｏｆ Ｃｏｍｐｕｔｅｒ Ｓｃｉｅｎｃｅ，１９８６．２７ｔｈ Ａｎｎｕｍ Ｓｙｍｐｏｓｉｕｍ ｏｎ．ＩＥＥＥ．１ ９８６：１６２—１６７． ［１ ７］ＩＡＮＤＥ１ Ｉ Ｙ，ＰＩＮＫＡＳ Ｂ．Ａ ｐｒｏｏｆ ｏｆ ｓｅｃｕｒｉｔｙ ｏｆ Ｙａｏ＇ｓ ｐｒｏｔｏｃｏｌ ｆｏｒ ｔｗｏ ｐａｒｔｙ ｃｏｍｐｕｔａｔｉｏｎ［Ｊ］．Ｊｏｕｒｎａｌ ｏｆ Ｃｒｙｐｔｏｌ— ｏｇｙ，２｛｝０９，２２（２）：１６１—１ ８８． ［１ ８］ＫＯＩ ＥＳＮＩＫＯＶ Ｖ，ＳＡＤＥＧＨＩ Ａ Ｒ，ＳＣＨＮＥＩＤＥＲ Ｔ．Ｉｍｐｒｏｖｅｄ ｇａｒｂｌｅｄ ｃｉｒｃｕｉｔ ｂｕｉｌｄｉｎｇ ｂｌｏｃｋｓ ａｎｄ ａｐｐｌｉｃａｔｉｏｎｓ ｔＯ ａｕｃｔｉｏｎｓ ａｎｄ ｃｏｍｐｕｔｉｎｇ ｍｉｎｉｍａ［Ｍ］／／Ｃｒｙｐｔｏｌｏｇｙ ａｎｄ Ｎｅｔｗｏｒｋ Ｓｅｃｕｒｉｔｙ．Ｓｐｒｉｎｇｅｒ Ｂｅｒｌｉｎ Ｈｅｉｄｅｌｂｅｒｇ，２００９：１ ２０． ［１９］ＫＯＩ ＥＳＮＩＫ（）Ｖ Ｖ，ＳＣＨＮＥＩＤＥＲ Ｔ．Ｉｍｐｒｏｖｅｄ ｇａｒｂｌｅｄ ｃｉｒｃｕｉｔ：Ｆｒｅｅ ＸＯＲ ｇａｔｅｓ ａｎｄ ａｐｐｌｉｃａｔｉｏｎｓ［Ｍ］／／Ａｕｔｏｍａｔａ， Ｌａｎｇｕａｇｅｓ ａｎｄ Ｐｒｏｇｒａｍｍｉｎｇ．Ｂｅｒｌｉｎ Ｈｅｉｄｅｌｂｅｒｇ：Ｓｐｒｉｎｇｅｒ，２０｛｝８：４８６ ４９８． （责任编辑李万会）
