来信

《世界博览》杂志近日在国家奥林匹克广场举办了名为《流动的世界——纪录中国与世界的融合》的主题展览     

建筑节能的现状及如何发展建筑节能

建筑业飞速发展的今天,为开创资源节约型、环境友好型社会,建筑节能已成为国家重大的战略问题。在此地分析了我国建筑能耗和建筑节能的现状,这些将对我国在建筑行业进一步完善建筑节能具有重要的参考价值。     

均匀化退火和锻造对双相耐磨钢强韧性的影响

研究了一种低合金双相耐磨钢经均匀化退火和锻造处理后的微观组织和强韧性能.结果表明:经980℃均匀化退火4,8 h和1 150℃锻造处理后,实验钢显微组织主要为板条状马氏体、针状贝氏体及少量残余奥氏体,锻造处理后的晶粒度最小为7.0~7.5级,均匀化退火处理后的晶粒度最大为6.5~7.0级.均匀化退火的保温时间是影响双相耐磨钢力学性能的主要因素,实验钢保温4 h时的冲击韧性和延伸率值高于保温8 h的值.锻造比均匀化退火更适宜于提高低合金双相耐磨钢的强韧性,优化工艺为始锻温度1 150℃、终锻温度800℃、锻造比2.     

基于曲波变换的视网膜血管图像增强算法

视网膜血管图像存在像素对比度低等特点,干扰正常的视网膜图像分割.针对视网膜血管的图像特性,提出了一种改进的基于曲波变换的视网膜血管图像增强算法.首先选取视网膜图像的绿色通道分量进行预处理,然后通过对变换系数的自适应增强完成图像的增强处理,并结合改进的形态学变换,实现图像细节的增强和背景噪声的抑制,使得图像对比度得到增强,细节信息更加明显.通过与其他增强算法的比较表明,该算法在增强对比度、降低噪声干扰等方面优于其他算法.     

[Cl-M-PH_3]_2(M=Cu,Ag,Au)复合物亲金属效应的理论计算

依照高级电子相关校正理论CCSD(T)/aug-cc-p VTZ的水平,对[Cl-M-PH3]2(M=Cu,Ag,Au)复合物的亲金属相互作用进行了研究,发现相互作用能整体差别不大,亲银作用较强,亲金次之,亲铜较弱。用对称性匹配微扰理论(SAPT)对这些复合物的结合能进行能量分解分析,结果表明由Cu到Au,静电能、诱导能和色散能逐渐增大,诱导占主要吸引作用的58%以上,起主导作用,静电和色散能相差不大,其中[Cl-Ag-PH3]2的诱导能比[Cl-Au-PH3]2大。     

(n~2,(n+1)~2)中至少有一个素数的证明

证明(n~2,(n+1)~2)中至少有一个素数,是一个众所周知的数论难题(华罗庚1979,(美)阿尔伯特·H·贝勒1998)。本文用筛法先证明一个叫做筛不完原理的定理,使用筛不完原理证明了(n~2,(n+1)~2)中至少有一个素数。还给出素数在自然数中的概率为0的一个新的证法。     

面向高通量事务处理的事务编译技术

针对内存数据库中CPU利用率不高的问题,目前的研究工作集中在利用事务编译技术提升事务的执行效率和改进事务的并发控制以提升数据库的性能.本文主要从以下几个方面对内存数据库的事务编译技术进行了综述.第一,介绍了事务处理的一般流程,分析限制系统性能的因素.第二,分析了当前使用的事务编译技术,包括即时编译技术、操作依赖分析技术和事务切片技术.第三,结合实例分析事务编译是如何提升数据库性能的,介绍典型的内存数据库在事务编译方面的研究工作,如Hekaton、VoltDB等.最后给出了研究展望.     

更高效的选择密文安全基于身份的双接收者加密方案

双接收者加密(Dual Receiver Encryption,DRE)是一种特殊的公钥加密(Public Key Encryption,PKE)体制,它允许两个独立的接收者分别解密同一密文得到相应的正确明文信息.双接收者加密非常适用于敏感信息需要被监督方或者第三方解密的应用场景.基于传统公钥加密方案构造的双接收者加密方案需要额外的开销来进行公钥证书的发放和管理;而基于身份的双接收者加密(Identity-Based Dual Receiver Encryption,ID-DRE)可以避免公钥证书的问题.第一个基于身份的双接收者加密方案是通过一个高效的基于身份的加密方案(Identity-Based Encryption,IBE)构造而得.本文首先利用从IBE构造可抵抗选择密文攻击(Chosen-Ciphertext Attack,CCA)的PKE的通用技术对上述方案进行扩展,得到了不可区分选择身份和选择密文攻击安全(Indistinguishability Against Adaptively Chosen Identity and Chosen-Ciphertext Attack,IND-ID-CCA)的加密方案.并通过基于双线性判定Diffie-Hellman(Bilinear Decision Diffie-Hellman,BDDH)假设(BDDH假设),对此方案的安全性进行了证明.最后,将此加密方案扩展成一个非交互式公开可认证的双接收者加密方案,该方案是目前已知的第一个非交互式公开可认证的基于身份的双接收者加密方案.     

改进粒子群算法的自动阻抗匹配技术

由于无线电能传输距离的改变或谐振线圈之间发生偏移、负载改变等多方面的影响使系统的输入阻抗发生变化,导致输入阻抗与射频源内阻不匹配,使传输效率大幅下降。在射频源和发射线圈之间加入阻抗匹配网络可以提高无线电能的传输效率。为了提高阻抗匹配的精度和速度,提出了一种改进的粒子群算法。重点将改进算法和传统算法进行仿真实验比较,证明了改进算法在匹配精度和速度方面的优越性。最后将该算法嵌入到自动阻抗匹配系统中,提高了无线电能的传输效率,同时证明了所提算法的有效性。     

向量函数隐函数定理之新证明

隐函数定理是大学数学分析课程的一个重要定理,该定理在现代数学的许多分支都有重要应用.应用在大学常微分方程课程里学过的有关微分方程解的存在唯一性和解对初值与参数的连续性等定理给出隐函数定理的一个新证明.