来信

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

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

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

CN-环

研究CN-环的一些性质,主要证明了如下结果:①设R为CN-环和左SF-环,则R为强正则环;②R为约化环当且仅当R是左NPP环和CN-环;③CN-环的次直积也是CN-环;④设R为CN-环,则R为弱reversible环,反之未必;⑤设R为CN-环,每个单奇异左R-模Wnil-内射,则R为约化环;⑥设R为CN-环,每个单奇异左R-模YJ-内射,则R为约化的弱正则环.     

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

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

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

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

庇护和收获效应对一类食饵-捕食模型的稳定性影响

研究了一类含庇护和收获效应的食饵-捕食模型.应用Hurwize判据、Dulac判据分析了系统平衡点局部稳定性、全局稳定性,并利用Pioncare-Bendixson环域定理得到了极限环唯一存在的充分条件.最终发现庇护和收获效应对此系统具有稳定化作用,调控庇护比例和收获强度可以将系统的正平衡点的由不稳定变成全局渐近稳定,从而实现食饵种群和捕食者种群的持久共存,为维持良好的生态平衡提供了一定理论依据.     

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

双接收者加密(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假设),对此方案的安全性进行了证明.最后,将此加密方案扩展成一个非交互式公开可认证的双接收者加密方案,该方案是目前已知的第一个非交互式公开可认证的基于身份的双接收者加密方案.     

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

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

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

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

关于型矩阵的特征值和特征向量的一个说明

讨论和型矩阵的特征值和特征向量问题。指出和两个矩阵的非零特征值是相同的,且所对应的特征空间的维数也是相同的,并给出特征向量的表达式,最后给出一个数值例子。这些结论的指出丰富了对型矩阵的认识。