ban 数理逻辑证明及其限度可以证明bilinear pair的证明吗

Abstract A Verified Secret Share(VSS) scheme based on bilinear pair was proposed, and a IND?CCA2 proof to this scheme was given.
提出了一种基于双线性配对的可验证秘密分享(VSS)方案,并证明该方案是IND-CCA2安全的。
To point to coupling disturbance made by the dual-axis tilt, it makes a study of compensation methods based on bilinear interpolation of query table and multi-sensor fusion.
针对双轴倾角传感器测量角度时引起的耦合干扰,采用了通过查询表的双线性插值和多传感器融合相结合的补偿方法。
By digital simulation and detection of gearbox fault signal the detection effect of the novel bilinear time-frequency transform is validated for the transient components in complex signal.
通过数字模拟实验与齿轮箱故障信号检测,验证了新的双线性时间-频率分布对复杂信号中瞬时分量的探测效果。
The incidence of infectious diseases are bilinear incidence and standard incidence in these models.
疾病的发生率分别是标准发生率和双线性发生率。
In this paper, the necessity of rectification of digital aerial image is expounded. The bilinear interpolation is used in the rectification programming.
阐述了航摄数码图像纠正的必要性,并采用双线性内插法编制了航摄数码图像的纠正程序。
The problem of designing an observer for bilinear multivariable systems in the presence of unknown disturbances is considered.
本文讨论了存在未知扰动情况下如何设计双线性多变量系统的观测器问题。
A bilinear cohesive zone model was introduced to analyze the initiation and propagation of the low temperature crack of asphalt pavement.
为了深入分析沥青路面低温收缩裂缝的形成和扩展问题,引入了双线性内聚力模型。
Simulations to the bilinear system show that the method for idenfication has high precision and reliability.
应用该算法对双线性系统进行仿真表明,该方法辨识精度高,稳定性好。
The results show that the reduced bilinear model developed can approximate the reactor dynamics more accurately than the linear one over a much wider range around the operating state.
结果表明,这样产生的双线性模型能此线性近似模型在较宽的工作范围内精确地近似反应器的动态特性。
The nonlinear system as linear system in form is composed of multiplicative control and additive control items in bilinear system using coordinate transformations.
使用坐标变换,将双线性系统中的倍增控制项和叠加控制项重新组合成与线性系统有相同形式的非线性系统。
The paper based on genetic algorithms proposes a method for identification of bilinear discrete dynamic model parameters.
本文以遗传算法为基础,提出了一种辨识双线性离散动态系统模型参数的方法。
The dynamical model is obtained by orthogonal collocation technique and bilinear approximations, starting from a nonlinear distributed model.
模型的建立是通过原始非线性分布参数模型的正交配置和双线性近似。
This paper introduces a bilinear step response model based on the basic dynamics of an actuator.
根据作动器的动力特性,提出液压伺服作动器阶跃响应的双线性简化模型。
Compared with nearest and bilinear interpolations , cubic spline interpolation with optimal parameter can restore the detail of the image better, and decrease the computational cost.
此处理结果同最近邻域和双线性插值结果进行比较,较好地恢复了图像细节,同时参数的优化减小图像复原的计算量。
Bilinear saddle point programming and multi-objective saddle point programming are brought forward.
提出了双线性鞍点规划和多目标鞍点规划。
This thesis discusses the optimal control problem of general bilinear discrete and continuous systems.
本文系统研究了一般形式的双线性连续系统和离散系统的最优控制问题。
For IIR, after researching Pulse Response Method, Step Response Method, Bilinear Transform Method, Direct Design Method, it is found that IIR is unsatisfactory.
对IIR的脉冲响应不变法、阶跃响应不变法、双线性变换法和直接设计法进行研究,得出IIR难以满足要求的结论。
They are the generalization of the computation formula of nonlinear transfer function for SISO bilinear system.
它是SISO双线性系统非线性传递函数计算公式的推广。
The auto correlation coefficients figure is suggested to ascertain auto regressive items of bilinear time series model ( BM ). A scheme based on genetic algorithms is adopted to deduce the BM .
文章提出了实用自相关系数图确定双线性模型的自回归项,应用了基于遗传算法的一套建模方法。
An iterative algorithm for solving non- homogenous bilinear-quadratic problem is also given, and the convergence of the algorithm is proved.
提出了求解非齐次双线性二次型问题的迭代算法,分析了该算法的收敛性。
In this paper, a finite-order ARCH-type bilinear model is presented. The strict stationarity and ergodicity of this model are discussed.
给出了一个ARCH型有限阶双线性模型,讨论了这一模型的严平稳性及遍历性。
Futhermore, proposed an adaptive motion vector refinement scheme to improve PSNR greater, it is better than conventional FDVS, bilinear interpolation method and forward vector method.
仿真结果表示,在前向向量法基础上仿真动态跳帧和运动矢量的修正比FDVS、双线性内插法和前向向量法能够提高图像的信噪比。
This scheme verify signature from bilinear pairing on supersingular elliptic curves or hyperelliptic curves, improve the efficiency of verification signature.
在验证签名中采用超奇异椭圆曲线上的双线性对,同时验证系统主密钥和用户秘密信息,减少了算法计算量。
A new threshold proxy signature scheme with known signers based on bilinear pairings theory is proposed using the technique of verifiable secret sharing.
利用双线性对理论和可验证的秘密分享技术,提出了一种新的具有已知签名者的门限代理签名方案。
A new and practical electronic voting scheme is proposed by using threshold partially blind signature scheme from bilinear pairing and bit commitment technology.
给出了一个新的实用的电子投票协议,主要采用了基于双线性对的门限部分盲签名方案和比特承诺技术。
In this paper, we discuss the stationarity and invertibility of a bilinear model.
本文主要讨论双线性时间序列模型的平稳性与可逆性。
By Some treatment, the plane problem about an interface crack between two bilinear hardening materials is simplified to the quasi-elastic one in the paper.
本文通过一定的处理方法,将双线性硬化材料的平面界面裂纹问题简化成一个拟线弹性问题。
This paper describes a method of maximum likelihood estimation for a class of bilinear systems under small samples.
针对一类双线性系统模型,提出了小样本条件下的极大似然参数估计法。
The problem of robust stabilization of a class of nonlinear systems is induced into a problem of bilinear matrix inequality(BMI), and then transferred it to an LMI problem by adding constraint.
把这类非线性系统的鲁棒综合问题归纳成一个双线性矩阵不等式(BMI)问题,然后通过增加约束将BMI问题转化为线性矩阵不等式(LMI)问题。
The accuracy of hardware correction is decided by the accuracy of software correction. The hardware bilinear interpolation has good accuracy and can correct general images.
硬件的校正精度取决于软件的校正精度,双线性内插法具有良好的精度、完全满足一般图像灰度校正的要求。
双线性插值
双线性变换
$firstVoiceSent
- 来自原声例句
请问您想要如何调整此模块?
感谢您的反馈,我们会尽快进行适当修改!
请问您想要如何调整此模块?
感谢您的反馈,我们会尽快进行适当修改!可验证的秘密分享
Verifiable Secret Sharing
...方之公平交換協定的實作理論39
4.4.1 ElGamal 公開金鑰密碼系統39
4.4.2『可驗證的秘密分享』(Verifiable Secret Sharing)394.4.3『可公開驗證的秘密分享』(Publicly Verifiable Secret Sharing)40
4.4.4 VEM 的描述414.4.4.1有效率之使用多重離線TT...
基于2个网页-
Publicly Verifiable Secret Sharing
该文对向量空间接入结构上的可验证秘密分享进行了研究。
In this paper, the problem of verifiable secret sharing on vector space access structures is studied.
提出了一种基于双线性配对的可验证秘密分享(VSS) 方案,并证明该方案是IND-CCA2安全的。
Abstract A Verified Secret Share(VSS) scheme based on bilinear pair was proposed, and a IND?CCA2 proof to this scheme was given.
利用双线性对理论和可验证的秘密分享技术,提出了一种新的具有已知签名者的门限代理签名方案。
A new threshold proxy signature scheme with known signers based on bilinear pairings theory is proposed using the technique of verifiable secret sharing.
$firstVoiceSent
- 来自原声例句
请问您想要如何调整此模块?
感谢您的反馈,我们会尽快进行适当修改!
请问您想要如何调整此模块?
感谢您的反馈,我们会尽快进行适当修改!In this paper we propose a new proxy signature scheme from bilinear pairing.
利用椭圆曲线上的双线性映射设计了一种新的代理签名体制。
The paper studies character of transform in vector space with the aid of bilinear function.
本文借助双线性函数来研究向量空间的变换具有线性性。
Arming at a concrete bilinear model, under the condition of immaturity prior knowledge, a method based on the genetic algorithm design and the dynamic optimized fuzzy controller was studied.
针对一个具体双线性模型,在先验知识不完备的情况下,采用分步优化法研究了基于遗传算法设计和动态优化模糊控制器的方法。
The simulation results show that: for a class of MIMO uncertain bilinear system with unmodeled dynamics, it can not obtain satisfactory control results only by using adaptive decoupling control law.
本文通过仿真实验表明,对于一类含有未建模动态的多输入多输出不确定双线性系统,单纯地利用自适应解耦控制策略并不能取得满意的控制效果。
This paper addresses global asymptotic stabilization of a class of discrete-time bilinear descriptor systems.
文章讨论了一类双线性离散广义系统的全局渐近镇定性。
The paper studies the quadratic optimal control problem of discrete time delay bilinear systems.
研究具有二次型性能指标的离散时滞双线性系统最优控制问题。
To overcome the defects of the traditional methods for bilinear data reconciliation, a new method was proposed.
今针对双线性数据协调传统方法的不足,给出了一种新的方法。
Due to the various applications of the bilinear pairings in cryptography, there have been many pairing-based signature schemes.
由于双线性配对函数表现出的良好密码学特性,目前已经引起了众多关注。
The bilinear interpolation algorithm is used to correct the distorted QR code and then repair the image with morphology.
然后通过双线性插值算法对发生倾斜的QR码进行纠正,并对结果修补。
This method is suited to bilinear data.
它适用于双线性的数据。
Through the cryptanalysis of a new threshold proxy signature scheme based on bilinear pairings, it is found that the scheme cant resist forgery attack and public-key substitute attack.
对一种基于双线性对的新型门限代理签名方案进行了密码分析,发现该门限代理签名方案不能抵抗伪造攻击和公钥替换攻击。
An authenticated encryption scheme based on self certified of public key from bilinear pairings is proposed.
提出了一种基于双线性对和公钥自证明的认证加密方案。
By using the approach, the original optimal control problem of bilinear systems with disturbances is transformed into a sequence of nonhomogeneous linear two-point boundary value (TPBV) problems.
利用该算法可将在扰动作用下双线性系统的最优控制问题转化为求解一组线性非齐次两点边值序列问题。
The results show that the maximum of the exchange bias field departs from easy axis with increasing the biquadratic-coupling field or bilinear field.
结果表明:随着双线性耦合场或双二次耦合场的增加,交换偏置场的最大值位置向易轴靠近。
This thesis discusses the optimal control problem of a class of bilinear systems with the worst disturbance rejection.
本文研究了一类具有最坏扰动抑制的双线性系统的最优控制问题。
A new efficient traitor tracing scheme using bilinear mapping is presented in order to solve the user-key leaking problem in digital right management.
为了解决数字版权保护中的用户密钥泄漏问题,提出了一种基于双线性映射的叛逆者追踪方案。
In this paper, an efficient self-certified public key signature scheme was proposed by using bilinear pairings.
为此使用双线性对,构造了一种高效的自认证公钥签名方案。
Combining multi-proxy signature with blind signature, a multi-proxy blind signature scheme from bilinear pairings is proposed, which is secure and efficient.
结合多代理签名和盲签名,基于双线性配对首先设计了一个安全有效的多代理盲签名方案。
Based on the bilinear pairing, using two different blind factors in an ID-based signature and making the signer's submission blind, a new ID-based blind signature scheme is proposed.
利用双线性对,在基于身份的签名方案中使用两个不同的盲化因子对签名者的提交进行盲化,给出一个新的基于身份的盲签名方案。
A simple and practical scheme is presented for developing a bilinear time series model (BM).
提出了建立双线性模型(BM)的一套简便实用的方案。
In this paper, a class of more generalized bilinear distributed delay systems with Markovian jumping parameters and uncertainties are discussed.
本文讨论了更为广泛的具有分布型时滞,双线性马尔可夫过程跳变参数的不确定性系统。
Based on the physical principles and the bilinear fit functions of the enthalpy and density of superheated steam, a lumped parameter model of a section of super-heater was developed.
基于过热蒸汽比焓和密度的双线性拟合函数,用机理分析法建立了一段过热器集总参数的压力和温度的动态模型。
Certificate managing is always the bottleneck of PKI, which is the main way to resolve information security problem, but ID-based crypto system constructed by bilinear pairing can solve well.
证书管理是目前信息安全问题解决方案中应用比较广泛的PKI的瓶颈,而利用双线性配对构造的基于身份密码体制则能很好地解决这一问题。
According to the MOV reduction theory, the identity-based encryption scheme which is based on the bilinear map will lose the high efficiency of elliptic curve.
根据MOV归约理论,采用双线性映射构造的基于身份加密方案使得该方案不具有椭圆曲线高效的优点。
The optimal solution of real control can be obtained by means of iteratively solving the op timiz ation problem based on bilinear model and parameter estimation problem.
在模型与实际存在差异的情况下,通过求解修正的基于双线性模型的优化问题和参数估计问题,给出了实际问题的最优解。
Verified Secret Share(VSS) scheme based on bilinear pair was proposed, and a IND-CCA2 proof to this scheme was given.
提出了一种基于双线性配对的可验证秘密分享(VSS)方案,并证明该方案是IND-CCA2安全的。
The statistical fractal features of the original coarse terrain data set were determined through linear regression, based on which a denser terrain can be derived by means of bilinear interpolation.
首先通过线性回归得到原始稀疏三维地表数据的分形统计特性,再以此特性为基础采用双线性插值的思想来构造更为稠密的自然地貌。
Based on the energy design measures for base-isolation structure, the formula applicable to the optimal yield level of the bilinear isolator is derived.
基于基础隔震结构的能量设计方法,推导出适用于双线性隔震器最佳屈服平台的应用公式。
An efficient digital signature scheme provably secure in the standard model from bilinear maps was proposed.
利用双线性映射技术设计了一个有效的在标准模型下可证安全的数字签名方案。
An efficient digital signature scheme provably secure in the standard model from bilinear maps was proposed.
利用双线性映射技术设计了一个有效的在标准模型下可证安全的数字签名方案。
双线性插值
双线性变换
$firstVoiceSent
- 来自原声例句
请问您想要如何调整此模块?
感谢您的反馈,我们会尽快进行适当修改!
请问您想要如何调整此模块?
感谢您的反馈,我们会尽快进行适当修改!双线性群对,bilinear group pair,音标,读音,翻译,英文例句,英语词典
说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置: ->
-> 双线性群对
1)&&bilinear group pair
双线性群对
2)&&bilinear group
3)&&bilinear pairing
Identity-based undeniable signatures from bilinear pairings;
使用双线性对构造基于身份的不可否认签名(英文)
Non-interactive ID-based Universal Designated-Verifier Signature Proof from bilinear pairings;
在双线性对下基于身份的非交互通用指定验证者签名证明(英文)
Secret redistribution scheme based on bilinear pairing;
基于双线性对的秘密重分配方案
4)&&bilinear pairings
Threshold proxy blind multi-signature scheme based on bilinear pairings;
基于双线性对的门限代理盲多重签名方案
A New Blind Signature Scheme Based on Bilinear P
一个基于双线性对的新盲签名方案
An E-Cash Scheme based on Bilinear Pairings and Partially Blind S
一个利用双线性对和部分盲签名的电子现金支付方案
5)&&bilinear paring
Proxy signature based on bilinear paring;
基于双线性对的代理签名的研究与应用
The thread followed in this paper is to discuss the bilinear paring on the elliptic curve and it usages for the study on distributed cryptosystem and its related problems systematically.
本文主要以椭圆曲线上的双线性对技术为基本贯穿线索,对分布式密码系统及相关问题做了系统研究,重点探讨几类分布式密码系统的关键技术和协议。
6)&&bilinear parings
In this paper,the thought of distributed secret sharing and bilinear parings are adopted,and an efficient ID-based threshold ring signature scheme without a trusted party is proposed.
该文利用分布式秘密共享思想和双线性对,提出一个有效的基于身份的无可信中心门限环签名方案。
As present many digital signature schemes have the following disadvantages: low efficience and security, this paper brings forward eleven more efficienct and secure digital signature schemes based on ECC and bilinear parings.
在本文中,我们针对现有的某些数字签名方案存在实现效率低、安全性不高的因素,讨论并提出了多种基于椭圆曲线和双线性对的更为高效安全数字签名方案,并给出了相应的正确性证明、安全性分析和优势所在。
This paper analyzes the security of the LHL scheme and adopts the bilinear parings to propose an ID-based signcryption scheme.
分析LHL方案的安全性,利用双线性对提出一个基于身份的签密方案,该方案能保证签密具有公开验证性、不可伪造性、健壮性、不可否认性和前向安全性,它只需要4个对运算,其效率高于其他基于身份的签密方案。
补充资料:非线性算子半群
非线性算子半群
semi-group of non-linear operators
非线性算子半群【脚顽一,.平of咖~h粉盯卿rat份s;no,y印yll皿a He”HHe盆“以0“epaTopool定义并作用在B以朋ch空间(Banach sPace)X的闭子集C上的单参数算子族S(t),O落t0;
2)S(O)x二x,x‘C;
3)对任何x〔C,函数S(:)x(在X中取值)在【0,的)上是t的连续函数
半群S(t)是。型的,若
}Js(t)x一s(t)夕l}(e“‘}}x一夕}l,x,y‘e,t>0.
0型的半群称为压缩半群(conti公ction senu-grouP).
和线性算子半群(见算子半群(s。旧l一grouPofoperators”的情形一样,可引进半群S(t)的生成算子(罗nem山堪opemtor)(或无穷小生成元(i汕拍te-Sim司罗nerator))A。的概念:
A。x二Um“、‘’产犷丹
一。一档乞人仅对那些使极限存在的元素义‘C来定义.若S(0是压缩半群,A。就是耗散算子.可以想到,Ba几Icll空间X中的算子A是耗散的(dissiPative),若对x,厂刀了牙),又>0,有}}x一y一又(Ax一Ay)“)“x一y}}.耗散算子可以是多值的,这时定义中的A义代表它在x处的任何值.一个耗散算子称为m耗散的(。一diSSIPative),若Ra刊犷(I一又A)二X,对几>0.若S(t)是口型的,则A一田I是耗散的.
半群生成的基本定理(几仄城浏犯因伪eon级n onthe罗nerationof~一groups):设A一田了是耗散算子,且对充分小的又>0,Ra翔多(I一又A)包含D(A),则存在石了又下上。型半群S,(0,使得
“·‘!,一厄「了一、小,这里x‘万石刃,,且在任何有限t区间上一致收敛.(若用较弱的条件
忽“一’‘(Ra刊罗(I一“A),二)二。(其中d是集合间的距离)来代替Ran罗(I一几A),S,(t)的存在性也能被证明).
对任何算子A,存在相应的Cauchy问题(Cauc场problon)
会(:)。,u(声),:>o,u(o)一x.(·)若问题(*)有强解(s加飞50】丽on),即有在10,的)上连续,在(0,田)的任何紧子集上绝对连续,对几乎所有t>O取值于D(A)且有强导数的函数。(t),它满足关系(*),则u(t)=S,(t)x.任何函数S,(t)x是问题(*)的唯一的积分解(integlal solu-tion)
在基本定理的假设下,若X是自反空间(代批xi灾sPac。),A是闭算子(ck粥ed operator),则函数u(t)=S,(t)x,对于x‘D(A),产生Cauchy问题(*)的强解,且几乎处处有(d“/dt)(£)C通““(r),其中A”z是A:中有极小范数的元素的集合.这时半群S,(‘)的生成算子A。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。

我要回帖

更多关于 逻辑代数吸收律证明 的文章

 

随机推荐