国家自然科学基金(11071070) 作品数:16 被引量:8 H指数:1 相关作者: 王天泽 李伟平 王天芹 刘华珂 赵峰 更多>> 相关机构: 华北水利水电学院 河南财经政法大学 华北水利水电大学 更多>> 发文基金: 国家自然科学基金 河南省教育厅自然科学基金 河南省创新型科技人才队伍建设工程项目 更多>> 相关领域: 理学 自动化与计算机技术 更多>>
3个素数平方和的非线性型的整数部分 被引量:1 2011年 假设λ,μ,υ是不全为负的非零实数,λ是无理数,k是正整数,则存在无穷多素数p_1,p_2,p_,p,3使得[λp_1~2+μp_2~2+υp_3~2]=kp.特别地,[λp_1~2+μp_2~2+υp_3~2]表示无穷多素数. 李伟平 王天泽关键词:素数 混合幂次为2和3的整数变量非线性型的整数部分 被引量:1 2012年 证明了:假设λ1,…,λ6是正实数,λ1/λ2是无理数,Dirichlet L函数满足黎曼猜想,X1…X6是正整数,那么,λ1X1/2+λ2X2/2+λ3X3/3+λ4X3/4+λ5X3/5+λ6X3/6的整数部分可表示无穷多素数. 李伟平 赵峰 王天泽关键词:丢番图逼近 光滑Weyl和的分数幂均值的数值上界 被引量:1 2014年 通过讨论光滑Weyl和的任意幂次均值的数值上界之间的关系,本文给出了幂次为区间[4,5]中的值时相应均值的数值上界的一些新结果. 王天芹 刘华珂关键词:均值 Diophantine Approximation with Two Primes and One Square of Prime 被引量:2 2012年 We show that if λ1 , λ2 , λ3 are non-zero real numbers, not all of the same sign, η is real and λ1 /λ2 is irrational, then there are infinitely many ordered triples of primes (p1 , p2 , p3 ) for which |λ1 p1 + λ2 p2 + λ3 p2 3 + η| < (max pj )- 1/40 (log max pj ) 4 . LI Wei-ping WANG Tian-ze关键词:PRIME 标准模型下安全的基于身份的可验证加密签名 被引量:1 2011年 可验证加密签名是保证通过开放的Internet进行安全电子商务活动的有效方法之一。基于Waters数字签名方案,提出一个基于身份的可验证加密签名方案。方案具有可验证性和可恢复性,这是区别于普通签名方案的主要特性。关于方案的安全性,首先给出确切的安全模型,然后在标准模型下证明了方案的安全性可以归约为双线性群中CDH问题的难解性。从而证明方案是安全有效的。 王天芹 苏莉文关键词:可验证加密签名 计算DIFFIE-HELLMAN问题 双线性映射 标准模型下安全的基于身份的加密方案 2012年 首先提出一个有效的多级基于身份的加密方案。在此基础上,结合强一次签名方案,构造一个具有较强安全性的基于身份的加密方案,并在标准模型下证明了方案的安全性可归约为双线性群中标准困难问题的难解性。该方案在自适应选择密文攻击下具有语义安全性,这是目前关于基于身份的加密方案最强的安全模型。 王天芹关键词:基于身份加密 双线性映射 素数的一次与k次方非线性型的整数部分 2013年 利用Davenport-Heilbronn方法证明了|λ1p1+λ2p2+λ3pk3+η|<ε在给定条件下有无穷多素数解p1,p2,p3.进而得到在一定条件下,存在无穷多素数p,p1,p2,使得[λp1+μpk2]=mp.特别地,[λp1+μpk2]可表示无穷多素数. 李伟平 邓未冰关键词:素变数 丢番图逼近 特殊集上素变数方程的解 2014年 令n=e0+e12+…+ek2k,其中ej=0,1(j=0,…,k)表示自然数n的二进制展开式,N0表示二进制展开式中项数为偶数的自然数的集合.分别给出了这个特殊集上素变数方程p1+p2+pk3=N和P1+p22+p23+p24=N解的个数的渐近公式. 李伟平 王天泽关键词:素数 光滑Weyl和的分数幂均值的数值上界(Ⅱ) 2014年 通过讨论光滑Weyl和的任意幂次均值的数值上界之间的关系,给出了幂次为区间[6,7]中的值时相应均值的数值上界的一些新结果. 刘华珂 王天芹关键词:均值 幂次为2,3和4的整变量非线性型的整数部分 2014年 假设λ1,λ2,λ3,λ4是正实数,λi│λj(1≤i<j≤4)至少有一个是无理数.那么,对于正整数X1,X2,X3,X4,λ1x^21+λ2x^32+λ3x^43+λ4x^44的整数部分可表示无穷多素数.这个证明极大改进了以前的结果. 李伟平 苏白云 王天泽关键词:丢番图逼近