可证明安全的基于位置的Prover-to-Prover密钥交换协议

本文针对两个证明者之间可证明安全的基于位置密钥交换协议展开研究.首次将基于位置密钥交换分为P2V(Prover-to-Verifier)模式和P2P(Prover-to-Prover)模式,并给出P2P模式下基于位置密钥交换的安全定义.随后,在1维空间下设计了可证明安全的基于位置P2P密钥交换协议P2PKE¹,并以此为基础构造了d(1≤d≤3)维空间下基于位置P2P密钥交换协议P2PKE^d.同时,分别提出了具有密钥确认性质的基于位置P2P密钥交换协议P2PKE^d-c和无密钥托管的基于位置P2P密钥交换协议P2PKE^d-e.最后,从安全性和效率两方面对所设计的协议进行了讨论.     

溶聚丁苯胶SSBR2564S在半钢子午线轮胎胎侧胶中的应用研究

试验研究溶聚丁苯胶SSBR2564S在半钢子午线轮胎胎侧胶中的应用。结果表明：在半钢子午线轮胎胎侧胶中使用SSBR2564S代替天然胶,试验胶料300%定伸应力和回弹性增大,扯断伸长率、撕裂强度下降,其他性能基本一致。抗硫化返原性和抗老化性能明显提高。混炼胶门尼粘度略有下降,应用工艺性能提高。用试验胶料制作成品轮胎均通过高速、耐久试验。     

基于支路振荡法E类逆变器软开关实现研究

E类逆变器作为一种高频逆变电路,具有拓扑结构简单,逆变效率高等优点。但是由于其对负载敏感,易因负载变化而工作于硬开关状态,造成系统效率下降。针对这一特点,提出一种带并联振荡支路的改进型E类逆变器。在负载阻值小于额定值导致开关管硬开通时,通过并联反向导通的振荡支路对电容电流进行引流并发生振荡,从而实现在非最优负载条件下的零电压开通及零电压导数开通。最后在理论的基础上进行实验仿真,搭建了一台开关频率为50 kHz的实验样机,在非最优负载条件下逆变效率为97.39%。结果验证了改进型E类逆变器理论的正确性。     

航空物探测量成果信息数据库的综合利用

核工业航空物探测量成果信息数据库是以MicrosoftWindows为平台,以VisualC 6.0和MapGIS为技术手段开发而成的,是一套较为成熟的航空物探测量成果信息管理系统。系统具有完善的图形显示、图形裁剪输出、成果资料查询、文档报表打印、数据维护等功能。该数据库包含1972￣2003年核工业航空物探测量成果信息,以地质图和中新生代盆地图为底图,结合地质或盆地内容,能够直观地反映出每一片航测区、每一个航空放射性异常、高场点的详细统计信息。     

小山口水电站泄洪系统联合消能工的消能率问题探究

小山口水电站采用表孔和底孔联合泄流的泄洪方式。中小流量时,以底孔和机组泄流为主;大流量时,则以表孔、底孔和机组联合泄流。实践证明,"表孔宽尾墩+底孔+挖深式消力池"的联合消能设施是一种高效的联合消能工程,消能效果良好。     

四象限运行开关磁阻电机在矸石山提升机中的应用

以平煤集团二矿矸石山提升机系统改造为背景,对开关磁阻电机(SRM)在矸石山提升机系统中的应用进行了研究。分析了SRM的四象限运行驱动控制方法,设计了基于TMS320F2812为控制核心的全数字100 kW三相12/8极结构开关磁阻电机驱动(SRD)系统。现场实际运行结果表明,系统获得很好的四象限运行控制效果。     

一种新的云存储数据容错存储方式检验方法

云存储中,防止数据丢失的关键是实现文件容错。然而,云存储服务商可能没有提供承诺的容错水平,导致用户蒙受数据丢失和经济损失的双重风险。现有云存储数据容错存储方式检验方法存在服务器预读取欺骗攻击,并且效率低、实用性差,不能达到在一定概率范围内,快速、轻量级地检测出犯规的服务器行为的要求。针对上述问题,该文利用磁盘顺序存取和随机存取的差异性设计了一种远程数据容错存储方式检验方法 随机与顺序访问时间差异化(DRST)方法,其原理是文件块被分散地放在不同磁盘上,读取一个磁盘上顺序存储的文件块比随机读取不同磁盘上的文件块所需的响应时间短。最后,对所提方法进行了严格的理论证明和深入的性能分析,结果表明,所提方法能够快速检验出服务器是否为用户提供了其承诺的容错水平,并且比现有方案更安全,更高效。     

225/50ZRF17 98W自体支撑型缺气保用轮胎的设计

介绍225/50ZRF17 98W自体支撑型缺气保用轮胎的设计。结构设计:在同规格普通轮胎轮廓和花纹结构设计成熟方案基础上,设计增加胎侧支撑胶;加宽带束层、冠带层和胎圈趾口宽度。施工设计:使用缺气保用轮胎专用成型鼓;胎体帘布采用双层反包结构;采用二次法成型,胎侧支撑胶铺贴于内衬层上;硫化采用液压硫化机,硫化时间在普通轮胎基础上延长5～8 min。成品性能测试结果表明,成品轮胎外观无缺陷,缺气状态下在80 km·h-1的速度下的行驶时间为97 min,达到国家标准要求。     

分布式交直流混联系统及自适应动态下垂技术研究

分布式交直流混联系统采用配电多区柔性组网技术及消纳提升策略,为分布式新能并网接入与潮流优化调度提供了高效可行手段。针对源荷功率消纳需求,首先提出分布式交直流系统架构及其能量管控运行模式,然后通过分析分布式交直流系统的等效数学模型及工频与高频环流的产生机理,提出考虑功率均衡控制和高频环流抑制的自适应动态下垂控制技术。最后,在PSCAD/EMTDC中搭建了分布式交直流系统的仿真模型并进行算例验证,仿真结果表明所提技术可在保持系统稳定性基础上实现源荷消纳提升和潮流优化调控。     

混合式电热互补供暖系统建模与仿真分析研究

建立了热力站处配置电供暖设备的新型混合式电热互补供暖系统,并对系统进行建模仿真和性能分析。研究表明,相比于集中式电热互补供暖系统,采用配置热泵和蓄热装置的混合式电热互补供暖系统的环境、经济和节能效益指标优化比分别为1.91%、2.41%、2.90%。随着电替代供暖负荷比例的增加,混合式电热互补供暖系统的各个性能评价指标优化比逐渐提高。通过电供暖增加了供热系统的可再生能源消纳,并有效降低了热网损耗,系统性能得到较大提升。