简介:在这篇文章里,我们用双线性对构造了一种无证书的环签名方案.并证明它是无条件匿名的,且在随机预言模型中.计算性Diffie-Hellman问题是难解的,我们方案在适应性选择消息攻击下是存在性不可伪造的,它的安全性比在基于身份的公钥密码体制下高.本文首次用多线性形式构造了一个基于身份的广播多重签名方案,它的安全性是基于计算性Diffie-Hellman困难问题.
简介:本文提出了求解非线性方程组的一种非精确Broyden方法.该方法是文献[8]中精确Broyden方法的推广.在适当的条件下,我们证明了非精确Broyden方法具有全局收敛性和超线性收敛性.数值实验表明,该方法效果较好.
简介:基于Chen-Harker-Kanzow-Smale光滑函数,对单调非线性互补问题NCP(f)给出了一种不可行非内点连续算法,该算法在每次迭代时只需求解一个线性等式系统,执行一次线搜索;算法在NCP(f)的解处不需要严格互补的条件下,具有全局线性收敛性和局部二次收敛性.
简介:定义在C^n中具有逐块光滑边界的有界域上光滑函数的一种积分表示,这种积分表示的特点是积分式中含有局部的全纯核,且含有可供任意选择的实参数p,2≤p<+∝,利用这个公式,我们可获得有界域上-↑a-方程的局部解和证明在含参数局部意义下存在一致估计。
简介:在求解常系数线性微分方程组时,关键是基解矩阵的计算.给出了利用哈密顿一凯莱定理计算基解矩阵的一种方法,并通过实例说明了这种方法的特点和在简化计算方面的有效性.