大规模多状态计算系统的容错性能分析

针对异构计算节点组成的大规模多状态计算系统的容错性能分析问题，提出了一种计算系统容错性能的评估方法。该方法采用自定义的两级容错性能形式化描述框架进行系统描述，通过构造多值决策图（Multi-value Decision Diagram，MDD）模型对系统进行容错性能建模，并基于构造的模型高效地计算出部件故障的条件下计算系统在特定性能水平上运行的概率，减少了计算的冗余性。实验结果表明，该方法在模型的大小和构建时间上均优于传统方法。该方法的提出将对系统操作员或程序设计者具有重要意义，使其确保系统适合预期应用。     

高技术服务业知识库建设标准研究

本文介绍高技术服务业知识库建设过程中各子库应遵循的基本指标,分析了标准规范库、数据模型库、业务模型库、业务资源库、业务构件库、技术方案库、应用案例库的必备配置,并说明了数据库接口的基本要求。     

全球化视阈下的旅游公示语翻译优化途径探索

随着全球化进程的加快,中国已成为世界主要的入境旅游接待国之一。旅游公示语翻译质量的好坏直接影响到外国游客的旅游质量乃至一个国家的形象,而目前我国旅游公示语翻译中存在着许多不规范的现象,如何优化旅游公示语的翻译成为了一个亟待解决的问题。本文将分析我国当前旅游公示语英译的现状,探索旅游公示语翻译中存在的主要问题及产生的根源,并在图里翻译规范理论的基础上,提出从行业规范、操作规范和审核规范三个方面对旅游公示语的翻译进行优化,以期引起旅游业相关部门的注意及与译界同行探讨,并为提高适应全球化语境的汉英旅游翻译质量提供依据。     

共享交通的时空轨迹检索与群体发现

为解决共享交通下的共乘用户群体发现效率低、准确率不高问题，依据R-树原理建立GeoOD-Tree索引，并在此基础上提出以最大化共乘率为目标的群体发现策略。首先，对原始时空轨迹数据进行特征提取与标定处理，挖掘有效出行起讫点（OD）轨迹；其次，针对用户起讫点轨迹的特征，建立GeoOD-Tree索引进行有效的存储管理；最后，给出以最大化共乘行程为目标的群体发现模型，并运用K最近邻（KNN）查询对搜索空间剪枝压缩，提高群体发现效率。采用西安市近12000辆出租车营运轨迹数据，选取动态时间规整（DTW）等典型算法与所提算法在查询效率与准确率上进行性能对比分析。与DTW算法相比，所提算法的准确率提高了10.12%，查询效率提高了约15倍。实验结果表明提出的群体发现策略能有效提高共乘用户群体发现的准确率和效率，可有效提升共乘出行方式的出行率。     

广西壮族自治区食品药品监督管理局《广西壮族自治区保健食品生产企业质量受权人管理办法(试行)》

第一条:根据《中华人民共和国食品安全法》及其实施条例等法律法规的规定,为贯彻国家食品药品监督管理总局《关于开展保健食品化妆品生产企业质量受权人试点工作的通知》(食药监办保化[2011]134号)和《广西壮族自治区保健食品生产企业质量受权人试点工作方案》(桂食药监保化[2012]50号)精神,进一步完善我区保健食品生产企业质量管理体系,明确保健食品     

频谱分析仪校准规范的解读

频谱分析仪校准规范（以下简称规范）于2013年8月发布并实施。相对于频谱分析仪检定规程（以下简称规程），内容有较大的变化。校准规范很好地解决了检定规程里的不合理或不正确的地方。为了更好的理解、应用规范，本文作者对规范与规程中不同之处给出解释。     

基于云端的查询优化设计

云计算在大数据处理、资源共享方面的优势使得越来越多的行业使用云计算技术。云计算中的数据存储和检索方式与传统的数据库系统不同,且传统数据库的数据查询方式无法直接迁移到云平台中。文章利用后缀树建立云存储的算法,并讨论了基于后缀树云查询模型,且该查询模型可以嵌入到现有的数据查询系统中,实现传统查询平台向云平台的迁移。     

国家海洋计量站

一、基本情况1.组织形式国家海洋计量站是国家计量行政主管部门授权的国家法定计量检定机构,依托国家海洋标准计量中心建立和运行,隶属于自然资源部,业务上接受国家市场监督管理总局指导。2.职责国家海洋计量站的主要任务为:负责研究、建立、保存和维护海洋学特殊量值的计量基准、标准;研制和保存海洋标准物质;开展海洋计量技术研究,制定海洋专用计量器具计量检定规程和校准规范;实施量值传递与溯源,承担海洋仪器设备的计量检定、校准和检测;负责海洋计量技术培训、技术咨询等服务工作。