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

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

含有多重临界指数和Hardy项的双调和非线性方程组解的存在性

研究了含有多重临界指数和Hardy项的双调和非线性方程组.运用变分方法和分析技巧,证明了方程组解的存在性.     

瑶医药是“减”的医药

回顾了瑶医药的历史渊源,介绍了瑶医药的基本理论及其对中医药的减化,讨论了瑶医药一维的理论架构,阐述了瑶医药"减法"的特色,并以癌症为例彰显出瑶医药在应对当代健康问题上的优势地位,凸显了瑶医药"减"的医药定位.     

回归模型的相关性检验

基于经验似然的方法构造了检验统计量,对非参数回归模型中的误差进行了相关性假设检验,获得了零假设下检验统计量的渐近分布为χ2分布.模拟计算表明相关性假设检验的经验似然方法具有较好的功效.     

非接触电能传输系统拾取机构方向性分析

在分析了现有非接触电能传输系统中发射端与拾取端之间位置关系问题的基础上,提出了一种可以任意转动的非接触电能传输拾取机构,对比研究了2种正交绕制的三线圈连接模式.通过分析及数学推导,得到了在三维空间中改变拾取线圈的转动角度时,瞬时感应电势计算关系以及输出电压系数的分布区间及均匀性,并通过实验验证了计算结果.     

注射螺杆流道熔体非等温流场的数值研究

使用CFD软件Polyflow,数值模拟了注塑机塑化和注射过程中两种止逆螺杆流道内聚丙烯熔体的三维非等温流场,讨论了流道内熔体的温度场、剪切速率场、黏度场和黏性热场.研究结果表明,塑化时,35°锥角比60°锥角螺杆流道内的熔体在螺杆头区域的温度高;注射时,35°锥角较60°锥角螺杆流道内熔体在出口处的温度和黏度都均匀.表明35°锥角螺杆与机筒配合得较好,更利于注塑成型.数值计算对比了60°锥角螺杆流道内熔体的非等温和等温流场,在螺杆头某一截面上非等温时熔体的平均黏度值比等温时的减少24%.温度影响熔体流场中各物理量的变化.非等温流场更能反映实际情况.     

基于遗传算法多目标非重叠路径诱导算法

依据遗传算法基本原理,提出一种多目标路径诱导算法. 染色体编码采用可变长度节点序列方法表示,以减少染色体编码长度. 设计了相应的多目标适应度函数. 该算法在给定多个目标约束条件下,能够解出多个近优路径. 实验结果证明,该算法能有效解决多目标非重叠路径选择问题,和目前已有其它方法相比,路径相似度更小.     

一个新的四阶迭代法和一族新的三阶迭代法

目的研究解非线性方程组中的算法问题,得到更高收敛阶的迭代法。方法采用离散C-方法,用数值例子与其他方法进行比较。结果得到一族三阶迭代法且参数取特定值时得到解非线性方程组的一个四阶迭代法。结论此迭代法对解非线性方程组有极其重要的意义。     

过渡区提取方法综述

图像分割是图像理论发展的瓶颈, 过渡区是指图像中介于目标和背景之间的 特殊区域,借助于过渡区的确定进行图像 分割。主要介绍了过渡区提取的两大类方法 ：基于梯度的方法和基于非梯度的方法, 并对提取效果以及存在的问题做了简要分析。     

伪Newton-B族算法对一般目标函数的收敛性

针对无约束优化问题,将Goldstein非精确线搜索技术引入伪Newton-B族算法.在假设目标函数f(x)二阶连续可微有下界,水平集L={x|f(x)≤f(x(1))}有界的条件下,证明该算法对一般目标函数的全局收敛性,得到一个条件更弱的结论.