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

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

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

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

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

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

2014消费电子行业大事件回顾 看媒体人怎么说

<正>2014年已经正式离我们而去,在这一年里,消费电子行业可以说是风起云涌,从年初到年末,基本上每隔一段时间就会出现让我们惊喜或者是惊吓的事件,并不停地以各种姿态吸引着我们的眼球。在2015年的第一期刊物,《消费电子》将和大家一起来回顾一下2014消费电子行业的十大事件,并让各位资深媒体人作出有趣的点评,希望与大家愉快地开启崭新的一年。1苹果iP hone6发布!"弯折门"话题诞生北京时间2014年9月10日凌晨1点,苹果公司在加州库比蒂诺德安萨学院的弗林特艺术中心正式发布其新一代产品iP hone     

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

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

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

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

食品安全的“循环”逻辑

<正>2015年"3·15"期间,媒体曝光呷哺呷哺、小肥羊等知名餐饮企业的鸭血检出了猪源性成分;6月1日,中国海关总署查获42万吨"僵尸肉",有的已生产三、四十年;8月4日,国家食药监总局网站上公布了42批次不合格婴幼儿配方乳粉;10月26日,世界卫生组织下属的国际癌症研究机构(IARC)将香肠、火腿、培根等加工肉制品列为致癌物,世卫组织于29日发表声明澄清该报告只是建议人们少吃加工肉而非不吃。     

国家海洋计量站

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