同时,提出一种自动生成循环摘要的方法,可以为操作常用数据结构的循环自动生成循环摘要,包含嵌套循环.此外,基于循环摘要,可以自动生成循环语句的规约,包括循环不变式、循环
近年来,随着移动智能设备的普及,移动社交网络方兴未艾,用户习惯和朋友分享自己的精彩经历,因此产生了大规模具有时空属性的用户轨迹数据.从狭义的角度来看,轨迹数据是指连续采样的GPS数据.从广义的角度来看,在时空域存在连续性的序列,都可以称作轨迹.例如:在社交网络上的用户签到序列就可以认为是粗粒度的轨迹数据.广义轨迹数据具有时空异构性、连续与离散并存、时空项目的层次性不明显和分类不明确等特点,但是相比
互联网、社交、购物、金融等各类应用直接面临海量用户的高并发访问,传统的单点数据库逐渐成为这些应用系统的瓶颈,而众多互联网应用能够良好运行的主要原因是使用了基于集群
外训是部（分）队离开营区，以机动为主要形式进行战术、技术、战斗勤务等内容的综合训练，是一种在和平时期最大限度地创造近似实战条件而实施的诸兵种协同训练，是技术、战术综合训练
如今，在网络世界，甚至在现实生活中，总有人唱衰中国的社会发展和国民素质，或者为了批判而批判，或者故意发表贬低中国的论调。有人将这一现象称为：习惯性批判。 习惯性批判有时是缺乏理性思考、人云亦云地传播，有时是社会情绪的发泄。但是，习惯性批评、习惯性质疑、习惯性反对，在网上越来越多，使得政府在说服民众接受或认同自己的政策时，变得举步维艰。 这些质疑、批评、反对乃至批判，有的时候确实切中时弊，直指要
k近邻(k-nearest neighbor,简称kNN)分类器在生物信息学、股票预测、网页分类以及鸢尾花分类预测等方面都有着广泛的应用.随着用户隐私保护意识的日益提高,kNN分类器也需要对
从今年秋季起，陕西省宁陕县所有学龄前儿童都可以免费上幼儿园。这意味着，在继实现12年免费教育之后，该县再次率先在全国贫困地区实现了从学前到高中的15年免费教育。
虽然离开西藏已经六、七年了，但那戴在头顶的晴空、披在肩上的云彩、缀在胸膛的海子，还有那些朴实的人们，一直令何建军难以忘怀。“这就是留在我身上抹不去的西藏烙印吧。”何建军说道。 10年前，何建军离开陕西前往西藏，成为陕西第三批援藏干部中的一员。 “雪山使人冷静，草原让人开怀，风沙教人刚毅。援藏3年，受益终生。”回首援藏经历，何建军这样总結说。 时值西藏和平解放60周年，本刊记者参与西藏阿里
慢性萎缩性胃炎是由于胃腺体数量减少,引起胃酸和胃蛋白酶的分泌不足所造成的.胃酸分泌不足会降低人体对食物中叶酸的吸收率.叶酸是一种维生素类物质,人体在生成红、白细胞的