面向异步网络的安全分布式随机数通用构造

随机数在密码学和区块链领域扮演着极其重要的角色，如密码学中的安全参数生成、共识机制中的委员会重配置以及电子投票的智能合约应用等.近年来针对不依赖可信第三方的分布式随机数生成技术的研究受到了越来越多的关注，其中基于秘密共享的方案数量最多，但普遍通信复杂度较高，而通信复杂度较低的一些方案通常牺牲了随机数的抗偏置性和不可预测性.另外，现有大多数方案基于同步网络模型，网络假设较强，与现实网络环境不符.本文主要研究基于秘密共享的分布式随机数生成技术，抽象出不同方案的共性并兼容特殊性，以及弱化网络假设和优化通信开销.具体贡献如下：(1)提出了交互的分布式随机数生成通用构造.满足伪随机性、唯一性和鲁棒性安全目标，并使用该通用构造对一个分布式随机数生成方案进行了分析，从而更加证明其通用性；(2)设计了面向异步网络的安全分布式随机数生成方案.将现有方案O(n³)和O(f²n²)的通信复杂度降为O(fn²)，将O(fn²)计算复杂度降为O(n²);(3)实现了分布式随机数仿真...     

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

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

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

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

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

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

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

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

大型环氧乙烷反应器获得国家科技进步一等奖

<正>中国石化参与研制的我国首台大直径超厚锻件管板环氧乙烷反应器,是我国百万吨乙烯最后一台国产化关键静设备。该反应器实现国产化,结束了我国大乙烯高端静设备长期依赖进口的历史,并在1月9日召开的国家科学技术奖励大会上荣获国家科技进步一等奖。据悉,大型环氧乙烷反应器是"极端条件下重要压力容器的设计、制造与维护"项目中的重要组成部分,由合肥通用机械研究院、南京化学工业公司、中石化洛阳工程公司、中国石化工程建设公司等单位共同完成。该项目取得四个方面的创新成果,特别是实现6     

全国冷冻空调设备标准化技术委员会(SAC/TC238)2014年度工作概要

<正>1标准发布工作2014年,全国冷冻空调设备标准化技术委员会(以下简称"冷标委")归口制定及修订的两项国标、8项行标(表1)已获批准发布。2标准报批工作冷标委于2013年三届四次会议审查通过了1项国标、10项行标,共计11项标准,目前已全部完成报批工作,待国标委、工信部批准发布(表2)。3标准立项工作冷标委的立项始终依据3方面原则:首先要符合国家政策和指导思想,具体体现为国家标准     

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

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