基于区块链的可验证外包解密属性基加密方案

在物联网和云计算场景中,属性基加密是实现细粒度及多级安全访问的关键技术。但是现有的属性基加密方案存在解密成本高、访问策略表达效率低以及数据安全性差等缺陷。基于此,文章提出了一种基于区块链的可验证外包解密的属性基加密方案。采用合数阶双线性群实现了策略隐藏,不仅将区块链作为可信的数据库保存用户参数,而且通过智能合约自动运算外包验证算法,在实现策略隐藏的同时降低了数据使用者的本地运算量,提高了计算效率。     

俄罗斯“光子”科学卫埋解密

“光子”M4卫星是俄罗斯最新研制的科学卫星，于莫斯科时间2014年7月18日从拜科努尔航天发射场升空，星上载有壁虎、果蝇、蘑菇、植物以及多种微生物，还有22套科学仪器。目的是在微重力条件下获得失重的新知识、探究半导体材料生产工艺、改进生物医学药物性能以及开展生物和生物技术科学研究。     

俄罗斯“光子”科学卫星解密

<正>"光子"M4卫星是俄罗斯最新研制的科学卫星,于莫斯科时间2014年7月18日从拜科努尔航天发射场升空,星上载有壁虎、果蝇、蘑菇、植物以及多种微生物,还有22套科学仪器。目的是在微重力条件下获得失重的新知识、探究半导体材料生产工艺、改进生物医学药物性能以及开展生物和生物技术科学研究。2014年9月1日,"光子"M4卫星在运行42天后在俄罗斯奥伦堡成功着陆。本文对该卫星的任务及相关情况进行综合介绍。     

一种基于COTS的SAR分布式目标模拟方法

针对目前合成孔径雷达(SAR)目标模拟器通常只能模拟点目标，且通用化程度和实时性较低的问题，提出了一种基于商用现成品或技术(COTS)的SAR分布式目标模拟方法。利用NI PXI平台构建了一个基于电磁仿真的SAR分布式目标模拟器，由电磁仿真软件模拟获取目标散射特性，并通过高速网口输入硬件设备进行采样及卷积操作得到仿真SAR回波数字信号，经数模转换模块完成对SAR数字信号的调制并输出模拟回波，可以直接用于SAR系统的数据验证。模拟器采用数字式一体化硬件设备，由NI PXIe-5646R和PXIe-5840进行信号的接收和发送，PXIe-7902作为系统核心进行高速实时数据运算。系统以现场可编程门阵列(FPGA)为核心，通过LabVIEW RT (Real Time)和FPGA模块直接进行访问，能实时、高速地采集和处理数据。经过测试，该目标模拟器可以生成分布式目标的射频回波信号，环路验证结果证明了本文提出方法的有效性。另外，本文提出的方法适用于多种雷达信号的模拟，通过设置不同的信号体制或接收外部信号输入，可以实现灵活的SAR目标模拟。     

我国航天国际标准实现零的突破

据新华网2009年5月6日报道，中国科学技术大学潘建伟研究小组在实用化量子通信方面取得了重大进展，在合肥建成世界上首个光量子电话网，这标志着绝对安全的量子通信由实验室走进了日常生活。据介绍，由中国科大潘建伟、陈增兵、彭承志等人组成的团队针对量子通信实用化展开了攻关研究，研制成功量子电话样机，并在商业光纤网络的基础上，组建了可自由扩充的光量子电话网，节点间距达到20km，实现了“一次一密”加密方式的实时网络通话和3方对讲机功能，真正实现了“电话一拨即通、语音实时加密、安全牢不可破”的量子保密电话。据悉，光量子电话网的建成，是中国科学家继自由空间量子纠缠分发、绝对安全距离大于100km的量子保密通信之后，在实用化量子通信领域取得的又一国际领先的研究成果。     

一种特殊的软件加密方法

如何利用硬盘的序列号对软件进行加密 ?有一种特殊的方法可以保证一台计算机只有一个密钥 ,该密钥作为程序运行的临时密钥。当临时密钥过期之后 ,可以使用软件提供商提供的软件狗来保证用户程序长期正常地运行。两种方法结合起来可以有效地维护软件提供商的利益。还介绍了软件狗的使用情况并提供了加密方法的程序源代码。     

壁面函数在激波诱导分离流动中的应用

以数值模拟激波-附面层干扰引起的流动分离问题为研究背景,发展了基于有限体积方法的雷诺平均Navier—Stokes（RANS）方程的流场数值模拟方法。利用壁面函数模型得到壁面剪切应力,通过修正壁面粘性通量,构造了一种新的湍流边界处理方法,并将其耦合到RANS方程和SSTk-ω湍流模型的数值求解中;同时,针对激波诱导引起的附面层流动分离问题,提出一种附面层网格加密技术,能够自适应加密分离区内附面层网格,使得在流动分离区域也能够使用壁面函数模型。数值算例表明,壁面函数模型能够降低数值模拟结果对网格的依赖性;同时也验证了壁面函数耦合附面层网格自适应方法,在处理激波诱导引起的附面层流动分离问题时的有效性和准确性。     

基于层次分析法和与／或树的远程诊断专家系统实现研究

通过分析web环境下远程诊断专家系统对知识库及推理机实现的特殊要求,采用层次分析法构建复杂设备的专家系统知识库。同时,研究规则类知识在知识库中的因果迭代表示方法以及基于与/或树的推理机搜索机制,并利用JSP技术实现与知识库相对分离的推理机,建立了某型直升机的远程诊断专家系统。     

非结构网格多区域动态加密及分布式并行计算

针对分布式并行系统,提出一种二维非结构网格多区域动态并行策略,可在计算过程中对各计算区域的网格进行局部自适应网格加密,可在不过多消耗计算机资源的情况下,快速,有效地实现多台同构计算机上的计算网格的动态负载平衡.并针对二维Euler方程,利用已有的高精度MmB有限体积格式,应用提出的并行计算策略,进行了多个数值试验,得到令人满意的效果.