俄、韩签署协议就太空探索展开合作

俄罗斯与韩国于前些时候签署了一项双边协议，批准在韩国建造一个航天中心，并训练一名在国际空间站上执行任务的韩国宇航员。     

俄欧签署航天合作协议

俄欧航天部门前些日在莫斯科签署了有关开发、制造并应用运载火箭的长期合作协议。俄联邦航天署署长佩尔米诺夫与欧洲航天局局长多尔丹在协议上签字。     

欧洲将与俄罗斯联手航天探索

欧洲航天局与俄罗斯政府前些日在巴黎签署了一项旨在加强航天领域合作的协议。根据这项协议 ,双方将共同进行长期太空探索计划 ,并联合发射“联盟”号火箭。协议是由欧洲航天局局长安东尼奥·罗多塔和俄罗斯外长伊戈尔·伊万诺夫共同签署的。欧洲航天局表示 ,这一协议的签署是去年 10月开始着手研究的“曙光”计划的一个具体体现。“曙光”计划为期 3 0年 ,第一步是向火星发射机器人自动探索器 ,随后将考虑进行载人发射 ,大约在 2 0 2 0年至2 0 2 5年间向月球发射载人飞船 ,在 2 0 2 5年至 2 0 3 0年间向火星发射载人飞船。至于“联盟”号火…     

法俄合作研究新一代航天器

法国国家航天中心以及俄罗斯航天局负责人前些日在巴黎签署协议，决定合作研究新一代航天器，并从2020年开始，使其逐步取代目前欧洲最先进的阿丽亚娜5型火箭。法国国家航天中心宣布，该中心将在2005年到2010年间投资2亿欧元用于此项研究，这一阶段主要研究关键技术。而在从2010年到2020年的第二阶段，法国与俄罗斯的合作主要体现在以下5个方面：     

公平交换签名方案

本文提出一类新的公平交换签名方案(fair exchange signature scheme,FESS),该方案可以使参与双方以一种公平的方式交换数字签名.因为FESS所给出的是一种构造公平交换签名方案基本模型,所以它可以基于大多数现在已有的签名方案来实现,本文以Schnorr签名为基础给出了FESS的一种实现方案.可以把FESS看作是EUROCRYPT2004上发表的同时生效签名(concurrent signature)的一种有趣的扩展变形.同时生效签名只是基于环签名来构造的,而FESS能够基于大部分普通数字签名来实现.在FESS中,参与双方分别签署两个能够被对方验证但是却未被激活的数字签名,直到承诺信息—keystone被公开以后,双方的数字签名才能够被激活,并且同时生效.一旦keystone被公开以后,任何人都可以验证两个签名的合法性.FESS的一个显著特点是两个参与者能够通过一个安全承诺—keystone来同时交换各自的数字签名,而不涉及任何可信第三方(TTP),而且该方案的执行效率要高于同时生效签名.FESS的提出为构造公平电子支付协议以及公平电子合同签署协议提供了非常有效的密码工具.     

欧盟与摩洛哥双方签署伽利略计划合作协定

经过近7个月的协商谈判，欧盟委员会在欧盟总部所在地布鲁塞尔与摩洛哥签署了双方在开发伽利略计划方面的合作协定。这是欧盟首次与一个非洲国家签署共同开发这一民用卫星导航系统计划的合作协定，从而也使欧盟在这一计划中的合作伙伴增加到5个。     

多国科学家呼吁开放网络科学资源

来自德国、法国、意大利等国的多个科研机构前些时候在柏林联合签署一份《柏林宣言》,呼吁向所有网络使用者免费开放更多的科学资源,以推动更好地利用互联网进行科学交流与出版。 宣言发起者德国马克斯·普朗克学会发表新闻公报说,     

一种非阻塞消息全序化协议

消息全序化协议是主动复制技术中维护容错组成员状态一致性的关键技术之一．文中提出异步分布环境下的一种非阻塞消息全序化协议NBTOP．非阻塞表现为当主动复制容错组发生演进时,容错组中的成员无需等待进入相同组视图后再继续计算,甚至当决定消息发生冲突时,容错组成员仍能继续各自的计算．NBTOP协议采用令牌环的逻辑控制结构,成员利用再请求机制获得丢失的决定消息内容,通过后继确认机制解决决定消息冲突问题．进一步证明协议NBTOP满足全序性、一致性和终止性．对NBTOP协议进行了测试,与Totem协议做了性能比较,结果表明NBTOP协议具有较好的延迟性能,成员的非阻塞行为有利于提高协议的执行效率．     

密码协议的代数模型及其安全性

引入了一个新的代数系统——称为密码协议代数(cryptographic protocol algebra, CPA), 刻画具有多种密码运算的消息代数性质, 并基于CPA提出了一个新的密码协议代数模型. 模型中, 用子代数、自由生成元和多项式代数等概念刻画主体的知识扩张过程, 并用类似于代数中的正合序列概念描述了密码协议的攻击过程, 从而为密码协议的安全性分析建立了一种数学方法. 基于这个模型, 利用代数的技巧证明了对于具有一定对称性的协议, 任意多主体参与运行的协议安全性分析可归结为几个主体与攻击者参与的协议安全性分析. 研究了密码协议安全的一致性问题, 给出了两个协议合成保持安全性的一个充分条件, 并提供两个安全的密码协议的合成安全的例子, 推广了相关工作.     

基于随机时间自动机和统计模型检验技术的无线传感网络协议建模与分析

近年来,传感器技术得到了长足而有效的提升,无线传感网络（WSN）以其开放、动态的特征获得了极大的关注,并成为了互联网计算的一个重要组成．WSN系统行为复杂,经常面临信息丢失、节点动态变化等不确定因素,且网络中的节点一旦部署将很难更改、维护．因此,为了保证相关应用的正常工作,在系统设计阶段对WSN中的底层协议进行质量保障就成为了一项非常重要的研究问题．系统设计人员不仅需要保证协议功能上的正确性,还应该评估协议在目标工作环境下的性能,以保证其可以胜任相应的工作需求．针对以上问题,本文提出了一种基于随机时间自动机和统计模型检验技术的WSN协议建模、分析和评估途径．在建模阶段,首先将采用时间自动机对协议在理想环境下的基本业务流程进行建模．考虑到WSN系统实际工作中会遇到的各种不确定性因素,将用带权分枝来对模型进行扩展,生成协议的随机时间自动机．在验证阶段,首先采用经典模型检验技术,在理想时间自动机上检验相关功能性质,保证协议工作逻辑的正确性．为评估协议在不同条件下的具体性能,则在随机时间自动机上用统计模型检验技术对其进行数值分析,以进行参数配置、性能预测、协议比较等工作．为展示该途径的可用性及其技术细节,本文对两种著名的WSN时间同步协议,TPSN和FTSP分别进行了完整的建模与评估．     

俄研究帕金森氏症有新发现

俄罗斯莫斯科医学科学院专家最近发现,帕金森氏症患者除左脑受到损伤外,右脑也会有损伤,而且男性和女性的帕金森氏症发病原因与症状各不相同。帕金森氏症是一种非遗传性神经系统疾病,由大脑丧失了一种可产生控制身体运动的化学物质的脑细胞而引起,患者会出现四肢颤动、肌肉僵硬、难以控制身体平衡而容易跌倒等症状。此外,患者还会出现身体疼痛、抑郁、皮肤敏感度降低等与神经系统受损有关的症状。世界上6 0岁以下的人中此症发病率为1% ,而6 0岁以上的人中发病率为5 %。据俄最新一期《科学信息》杂志报道,此前研究认为,帕金森氏症患者更多地…     

国际核聚变反应堆决定在法国建造

法国和日本一直都在争取兴建耗资120亿美元的国际热核聚变实验反应堆项目（International Thermonuclear Experimental Reactor，简称ITER，拉丁文“道路”的意思）。这个历经4年纷扰终于在6月28日结束，参与实验项目的6方在莫斯科签订协议，决定在法国建造这种全新形态的反应堆。     

基于约束构造算法的密码协议安全性分析

基于形式化方法开发自动分析工具是密码协议安全性分析的一种有效的方法，然而，由于密码协议参与主体的任意性、消息运算复杂性和运行的并发性，密码协议的安全性分析是高度计算复杂性的难题。基于最近提出的密码协议代数（CPA）模型，采用代数方法描述密码协议活动，精简密码协议描述，提出一个高效的密码协议安全性自动分析算法。该算法通过泛多项式方程求解技术，减少密码协议安全性分析过程中产生的冗余状态数量，并可提供在无限状态空间运行的协议安全性分析。根据该算法，实现了一个密码协议自动分析系统ACT-SPA，应用该系统分析了二十多个密码协议，结果显示系统显著提高了运行效率，并发现了新的密码协议攻击。     

从全球创新指数(GII)报告看中国创新崛起态势

以《全球创新指数报告(GII)》为数据基础,在介绍最新GII指数的基础上,分析2017年度全球创新和区域创新集群排名;基于10年GII数据,重点关注我国跻身创新型国家行列的历程;并对比中国与美国、英国、德国、法国、日本、韩国六大科技强国,以及俄罗斯和印度、巴西三大金砖国家的排名变化趋势。最后,针对制约我国创新能力提升的关键因素,提出我国建设创新型国家与科技强国的建议。     

试验证明干细胞心脏修复疗法可能有利有弊

韩国科学家公布的一项最新研究表明,患者自身的干细胞能够修复心脏病发作造成的心肌损伤,但同时也可能带来无法预料的副作用。该结果再一次引起了人们对干细胞心脏修复疗法利与弊的关注。韩国汉城国立大学的研究人员在近日出版的最新一期《柳叶刀》杂志上报告说,他们向2 0名曾经出现过心肌梗塞的患者体内注射了一种名为粒系集落刺激因子(G -CSF)的化合物,它能够刺激患者骨髓产生血液干细胞。试验中,研究人员将其中10名患者血液中的干细胞分离出来,并将其直接导入患者心脏。6周后,导入干细胞的心脏病患者心肌机能有所增强,能够在跑步机上运…     

半监督增量式SVM在故障诊断中的应用研究

基于半监督学习能够有效降低人工标注成本,以及增量学习可以加快训练速度,避免数据量大时训练时间过长等特性,本文提出了一种半监督增量式SVM算法.在算法中,首先对已标记样本进行训练得到初始分类器,然后利用此分类器对新增样本进行标记,最后结合KKT条件选择合适的样本对分类器进行更新.每当有新样本加入便执行以上过程,以保证分类器得到及时更新.将该算法运用于6135D型柴油机的故障诊断中,并与传统SVM算法和增量式SVM算法进行了对比,证实了本文所提算法的可行性与有效性.     

多方公平交换协议的形式化分析和设计

通过分析协议中消息项的起源和交易方之间的信道组成、事件及事件间的各种关系, 提出了一个简洁、紧凑、精确的一般公平交换协议层次化模型, 规范了能够更严格地反映公平交换协议内在要求的多种安全需求, 并对它们进行了细粒度的分解. 基于这一工作, 可高效细致地对多方公平交换协议进行分析、检测和设计.     

智能合约平台安全风险分析及应对研究

智能合约是一种能够以信息化方式传播、验证及执行的计算机协议,可以在没有可信第三方的情况下执行,在诸多领域得到了广泛关注和应用。但因其本身存在着许多安全漏洞,且已经造成了巨大的经济损失,使得其安全性方面的研究也成为了热点。本文首先对智能合约的通用架构和运行机制进行了介绍;其次从编程语言、执行环境两个维度,分析了主流智能合约平台存在的固有安全风险;进而从隐私泄露、合约本身漏洞以及恶意合约三个层面分析了智能合约存在的安全风险以及应对技术的研究现状,其中针对合约漏洞部分,对字节码分析、源代码分析、基于机器学习分析以及动态分析等四种应对方法进行归纳,并介绍了每种方法的代表性研究技术;最后展望智能合约的未来研究方向。     

WMN路由协议的改进与应用研究

提出了一种适用于无线Mesh网络的AODV协议的改进方案,即在相对静止的节点内构造一个基于DSDV路由的驱动表。NS-2仿真表明,改进后的AODV—D协议更适应于拓扑变化快的环境。在复杂度没有明显增加的前提下,AODV—D协议降低了平均端到端时延和丢包率,大大提高了网络性能。     

韩国科学技术预测调查及其对我国的启示

科学技术预测是一个国家决策的基础与前提,是制定科技发展规划的背景材料,也是提高科学技术管理水平的重要手段。韩国科学技术预测起步较晚,却取得了较好的进展。在1994—2016年间,韩国共完成了5次科学技术预测调查,在工作流程、方法和推进体系上都有了长足进步,呈现注重科学技术预测调查推进体系的完整性、注重研究成果的应用、注重发挥领域专家与年轻人的作用等特点。本文在总结上述内容的基础上,提出对我国开展科学技术预测活动的启示。