期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
一种可快速验证的可聚合BLS签名方案
1
作者 潘天雨 赵运磊 《密码学报(中英文)》 CSCD 北大核心 2024年第4期799-806,共8页
BLS签名是一种双线性映射友好椭圆曲线上的数字签名方案,它具有签名大小短、在聚合签名场景中验证高效、支持同态性与非交互聚合等优点.但由于需要进行双线性映射操作,单个BLS签名的验证算法相对较慢,这阻碍了其在区块链系统中进一步的... BLS签名是一种双线性映射友好椭圆曲线上的数字签名方案,它具有签名大小短、在聚合签名场景中验证高效、支持同态性与非交互聚合等优点.但由于需要进行双线性映射操作,单个BLS签名的验证算法相对较慢,这阻碍了其在区块链系统中进一步的应用.本文提出了一种BLS签名方案的变体—CPABLS,其主要优点如下:第一,将Chaum-Pedersen离散对数相等性证明纳入签名中,使得签名验证算法不再需要双线性映射操作,从而提升了验证速度;第二,在公钥聚合时只需对各个签名者的公钥简单求和,而无需进行大量的标量乘法操作;第三,相比于群G2,签名验证算法可在群G1中更快地进行哈希到曲线和聚合公钥检验操作.给出了该方案在聚合签名安全模型中的安全证明及原型实现,并进行了性能测试与效率评估. 展开更多
关键词 BLS聚合签名 Chaum-Pedersen证明 高效验证
下载PDF
基于抗辐照xxMHz芯片仿真验证技术研究
2
作者 何彩霞 夏开华 +2 位作者 王巍 韩学涛 梁富 《数字技术与应用》 2018年第2期101-103,共3页
本文设计了基于抗辐照xxMHz芯片全套仿真验证流程,包括FPGA代码验证、芯片板级验证和抗辐照试验验证。首先重点介绍了FPGA代码验证,从验证在现代IC流程中的重要地位开始,到验证的基本方法,仿真验证平台的搭建,FPGA后端验证,提炼了高效... 本文设计了基于抗辐照xxMHz芯片全套仿真验证流程,包括FPGA代码验证、芯片板级验证和抗辐照试验验证。首先重点介绍了FPGA代码验证,从验证在现代IC流程中的重要地位开始,到验证的基本方法,仿真验证平台的搭建,FPGA后端验证,提炼了高效通用的仿真验证平台的搭建。其次简单介绍了芯片板级验证。最后简单介绍了抗辐照试验验证。 展开更多
关键词 抗辐照芯片 FPGA代码验证 芯片板级验证 抗辐照试验验证 高效通用的仿真验证平台
下载PDF
Terrain-Aided Navigation Considering Map Error
3
作者 Sung-Hoon Mok Hyochoong Bang 《Journal of Mechanics Engineering and Automation》 2013年第2期87-92,共6页
Terrain referenced navigation estimates an aircraft navigation status by utilizing a radar altimeter measuring a distance between the aircraft and terrain elevation. Accurate digital elevation map is essential to esti... Terrain referenced navigation estimates an aircraft navigation status by utilizing a radar altimeter measuring a distance between the aircraft and terrain elevation. Accurate digital elevation map is essential to estimate the aircraft states correctly. However, the elevation map cannot represent the real terrain perfectly and there exists map error between the estimated and the true maps. In this paper, an influence of the map error on measurement equation is analyzed and a technique to incorporate the error in the filter is proposed. The map error is divided into two sources, accuracy error and resolution error. The effectiveness of the suggested technique is verified by simulation results. The method modifies a sensor noise covariance only so there is no additional computational burden from the conventional filter. 展开更多
关键词 Terrain referenced navigation extended Kalman filter digital elevation map map error sensor covariance matrix.
下载PDF
Validation of Analytical Method of Irbesartan Plasma in Vitro by High Performance Liquid Chromatography-Fluorescence
4
作者 Harmita Yahdiana Harahap I. Kadek Arya M. 《Journal of Life Sciences》 2012年第7期726-731,共6页
Irbesartan is an antihypertensive drug whose concentration in blood is very small so it requires a sensitive method of analysis, selective and valid for analysis. In this study, it is carried out optimization of analy... Irbesartan is an antihypertensive drug whose concentration in blood is very small so it requires a sensitive method of analysis, selective and valid for analysis. In this study, it is carried out optimization of analytical conditions and validation for the analysis of irbesartan in plasma. Chromatography was performed on a C 18 column (250 × 4.6 mm, 5 μm) under isocratic elution with acetonitrile-0.1% formic acid (46:54 v/v), pH 3.75. Detection was made at excitation 250 nm and emission 370 nm and analyses were run at a flow-rate of 1.0 mL/min at a temperature of 40 ℃. Losartan potassium was used as internal standard. Plasma extraction was done by deproteination with acetonitrile, mixed with vortex for 30 seconds, then centrifuged it at 10,000 rpm for 10 rain. In plasma validation, the recovery was 96.22%, and the lower limit of quantification (LLOQ) in plasma was 2 ng/mL. The method also fulfill the criteria for accuracy and precision intra and inter day by normal values (%Diff) not exceed ± 15%. On the stability study, irbesartan in plasma temperature -20 ℃has been stable for 28 days. 展开更多
关键词 HPLC FLUORESCENCE IRBESARTAN VALIDATION human plasma.
下载PDF
数学课堂,让“表达”演绎精彩
5
作者 唐小颖 《内蒙古教育(D)》 2016年第1期40-40,共1页
实现学生思维能力的提升,拥有思维体操的美妙体验,教师就必须引领学生主动参与思维的表达,让学生在倾吐表达与成果分享的过程中,促进思维品质的形成。
关键词 锁定方向 厘清关系 深化思路 高效验证
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部