简介:在这篇文章里,我们用双线性对构造了一种无证书的环签名方案.并证明它是无条件匿名的,且在随机预言模型中.计算性Diffie-Hellman问题是难解的,我们方案在适应性选择消息攻击下是存在性不可伪造的,它的安全性比在基于身份的公钥密码体制下高.本文首次用多线性形式构造了一个基于身份的广播多重签名方案,它的安全性是基于计算性Diffie-Hellman困难问题.
简介:设N是Banach空间X上的套,AlgN是相应的套代数。本文证明了,若套N中存在一个非平凡元在X中可补,那么AlgN上的每个可加Jordan高阶导子和每个可加三重Jordan高阶导子都是高阶导子。
简介:格蕴涵代数中的滤子是格值逻辑推理中的一类重要代数结构.本文给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数中所有滤子的方法.并举例说明该方法的有效性、可行性.
简介:基于矩阵谱问题构造了一种实用的方法来对一类实轴上的可积方程的Riemann-Hilbert问题进行建模。当跳跃矩阵是单位矩阵时,孤立子解通过特殊约化的Riemann-Hilbert问题显性表示。作为一个范例,对于具有任意阶矩阵谱问题的多分量非线性薛定谔方程,给出了该方法的具体应用。
简介:通过拟Abelian范畴的局部类构造出函子范畴的局部类,进一步研究函子范畴的局部化范畴与局部化范畴的函子范畴之间的关系.
简介:首先研究了分、混流排水方式对污水处理系统与海绵城市的影响,并在小区域内将泊松盘采样的雨水口连成管网,用树型动态规划给出小区域管网在经济上的最优解,根据用地类型与管网现状进行管网改造的经济概算。以设定重现期下不发生明显的截留式溢流为强约束条件,对所有小区域进行0-1规划,得到一组解集,并取规划解集中的每一个解,计算征地谈判时间、由错接造成的污水排放流量等指标。在此基础上,以深圳市茅洲河光明片区为例,通过收集DEM数据、用地类型降雨量、地理环境与人文环境等资料,计算光明新区的街区雨量、街区污水量、街区施工建设费用,使用判定模型得到光明新区的排水方案图,并生成选择方案的各项指标以供参考。