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

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

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

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

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

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

跨孔地震波CT层析成像技术在海域岩溶勘察中的应用

岩溶隧道勘察难度大,施工风险极高,能否准确地探测岩溶的分布特征直接关系到施工的成败。地震波跨孔CT操作简便、分辨率高、准确性好,但在海域还没有工程先例。以大连某海域岩溶勘察为例,介绍了地震波跨孔CT层析成像的原理、工作方法及应用效果,结果表明跨孔地震波CT层析成像技术在海域岩溶勘察中具有较高的精度和可信度。     

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

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

有色冶炼“圈儿里人”的“蒋大师”——蒋继穆回顾中国恩菲氧气底吹技术发展历程

<正>蒋继穆,1939年生,教授级高工,全国工程勘察设计大师,享受国务院特殊津贴,曾任中国有色工程设计研究总院副院长兼总工程师、技术委员会主任、中国有色金属学会常务理事、中国硫酸协会副理事长、中国钨业协会理事等职务,现任中国恩菲工程技术有限公司高级顾问专家。     

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

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

几种岩土工程地基处理技术管窥

该文主要介绍了岩土工程地基处理技术的相关内容,阐述了几种不同地基加固处理技术的应用策略,以期提高岩土工程地基处理的效果及经济。在岩土工程中合理有效地选择和应用地基处理技术,可以带来良好的社会效益和经济效益。