Small-state stream ciphers(SSCs),which violate the principle that the state size should exceed the key size by a factor of two,still demonstrate robust security properties while maintaining a lightweight design.These ...Small-state stream ciphers(SSCs),which violate the principle that the state size should exceed the key size by a factor of two,still demonstrate robust security properties while maintaining a lightweight design.These ciphers can be clas-sifed into several constructions and their basic security requirement is to resist generic attacks,ie.,the time-mem-ory-data tradeoff(TMDTO)attack.In this paper,we investigate the security of small-state constructions in the multi-user setting.Based on it,the TMDTO distinguishing attack and the TMDTO key recovery attack are developed for such a setting.It is shown that SSCs which continuously use the key can not resist the TMDTO distinguishing attack.Moreover,SSCs based on the continuous-IV-key-use construction cannot withstand the TMDTO key recovery attack when the key length is shorter than the IV length,no matter whether the keystream length is limited or not.Finally,We apply these two generic attacks to TinyJAMBU and DRACO in the multi-user setting.The TMDTO distinguish-ing attack on TinyJAMBU with a 128-bit key can be mounted with time,memory,and data complexities of 264,248,and 232,respectively.This attack is comparable with a recent work on ToSC 2022,where partial key bits of TinyJAMBU are recovered with more than 250 users(or keys).As DRACO's IV length is smaller than its key length,itis vulnerable to the TMDTO key recovery attack.The resulting attack has a time and memory complexity of both 2112,which means DRACO does not provide 128-bit security in the multi-user setting.展开更多
为分析谐波对电网换相型换流器高压直流输电系统(line commutated converter based high voltage direct current,LCC-HVDC)稳定性的影响,亟需建立一个考虑谐波耦合效应的LCC-HVDC精确模型。基于谐波状态空间(harmonic state space,HSS...为分析谐波对电网换相型换流器高压直流输电系统(line commutated converter based high voltage direct current,LCC-HVDC)稳定性的影响,亟需建立一个考虑谐波耦合效应的LCC-HVDC精确模型。基于谐波状态空间(harmonic state space,HSS)理论,考虑频率耦合效应和控制系统建立了12脉动LCC的阻抗模型,所建交直流谐波阻抗模型能在更宽的频带与扫频结果吻合。最后通过PSCAD电磁暂态仿真结果与HSS阻抗模型计算结果对比,验证了所提出的LCC-HSS阻抗模型的正确性。LCC-HSS阻抗建模方法提高了对LCC换流站进行数学建模的精确性,且可以适应多种模式下LCC换流站阻抗建模,为LCC系统稳定性分析及参数优化提供了较为精确的模型。展开更多
气候变化已经成为小岛屿国家最关切的议题之一,但多数小岛屿国家受限于其发展程度,只能依赖他国援助和支持以应对气候变化产生的影响。近年以来,这种需求正在变得愈发迫切。在2023年11月签订的“澳—图睦邻联盟条约(Australia-Tuvalu Fa...气候变化已经成为小岛屿国家最关切的议题之一,但多数小岛屿国家受限于其发展程度,只能依赖他国援助和支持以应对气候变化产生的影响。近年以来,这种需求正在变得愈发迫切。在2023年11月签订的“澳—图睦邻联盟条约(Australia-Tuvalu Falepili Union Treaty)”(以下简称“澳图条约”)中,图瓦卢以包括允许澳大利亚介入其外交和安全事务在内的高昂代价,换取澳大利亚的气候援助承诺。气候变化对小岛屿国家国际法人格和海洋权利的潜在影响,是理解双方合意缔结该条约真实动因的重要切入点。更为值得关注的是,“澳图条约”反映着部分大国以气候援助为支点,愈发深入地介入小岛屿国家内外事务的实践趋向。倘若类似“气候合作”由个例演变成固定的范式,大国将不断扩张在小岛屿国家的势力范围,其他小岛屿国家也将不得不为自身的生存而寻找大国的庇护,小岛屿国家为对抗大国控制而建立的区域组织也将被瓦解,进而彻底改变目前太平洋地区的地缘政治格局。大国与小岛屿国家应对气候变化的博弈,将对我国与小岛屿国家的深度合作产生潜在影响。有鉴于此,中国应从尊重国家主权和独立自主的基本立场出发,坚决抵制以气候合作为名干涉小岛屿国家内外事务的做法,并积极为小岛屿国家提供针对性的气候变化应对方案,推动前瞻性的“气候外交”布局。展开更多
为增加系统惯性,直流微电网内锂电池控制器常采用虚拟直流发电机(virtual DC generator,VDCG)控制方案,但该方案无法使锂电池荷电状态(state of charge,SOC)自均衡。现有基于VDCG的锂电池SOC均衡方案仅能实现电压等级一致的非等容锂电池...为增加系统惯性,直流微电网内锂电池控制器常采用虚拟直流发电机(virtual DC generator,VDCG)控制方案,但该方案无法使锂电池荷电状态(state of charge,SOC)自均衡。现有基于VDCG的锂电池SOC均衡方案仅能实现电压等级一致的非等容锂电池SOC均衡,而退役锂电池储能系统(retire lithium battery energy storage systems,RLBESS)的容量和电压等级均难以保持一致。针对此问题,提出了一种基于VDCG的适用于不同电压等级及容量的RLBESS组间SOC均衡方案。该方案在传统VDCG的基础上建立U-P_(m)关系式并引入SOC均衡因子,能够根据初始SOC状态自动调节锂电池的功率分配,并保持良好的电压质量。建立了所提方案的小信号模型,分析了关键控制参数对系统稳定性的影响。最后,利用Matlab/Simulink仿真软件对不同工况进行有效性验证。仿真结果表明:所提方案能够在锂电池电压等级不一致工况下实现RLBESS的SOC均衡,具有良好的可扩展性。展开更多
风光水打捆经电网换相换流器高压直流输电(line commutated converter based high voltage direct current,LCC-HVDC)外送系统中,风光水配比不同会影响系统的功率传输能力。文章首先建立风光水打捆直流外送系统的稳态数学模型和状态空...风光水打捆经电网换相换流器高压直流输电(line commutated converter based high voltage direct current,LCC-HVDC)外送系统中,风光水配比不同会影响系统的功率传输能力。文章首先建立风光水打捆直流外送系统的稳态数学模型和状态空间模型,然后提出综合考虑稳态运行约束条件和小信号稳定性约束条件的系统功率传输能力计算方法及流程,掌握不同功率水平下系统稳定运行区域及边界的变化特征,最终得到不同水电出力下的直流外送系统功率传输范围、特定传输功率下所允许的水电出力最小值、风光配比与小信号稳定性的定量关系。通过该方法定量评估风光水配比不同时直流外送系统的功率传输能力,从而优化选取风光水配比。结果表明,水电出力较小时,系统传输功率上限受小信号稳定性制约,下限受电压偏移约束制约;水电出力较大时,系统传输功率上限受LCC-HVDC安全运行约束制约,下限受逆变侧电压偏移、系统潮流约束制约;在功率运行点不变时,风光配比平衡工况系统更加稳定。最后,通过PSCAD/EMTDC下的电磁暂态仿真,验证上述功率传输能力理论计算的正确性。展开更多
目的通过体素水平静息态功能MRI(resting state functional MRI,rs-fMRI)序列探索脑小血管病相关轻度认知障碍(mild cognitive impairment associated with cerebral small vessel disease,CSVD-MCI)患者早期认知障碍的机制,并分析其与...目的通过体素水平静息态功能MRI(resting state functional MRI,rs-fMRI)序列探索脑小血管病相关轻度认知障碍(mild cognitive impairment associated with cerebral small vessel disease,CSVD-MCI)患者早期认知障碍的机制,并分析其与临床神经心理学指标的相关性。材料与方法筛选临床及常规MRI检查符合CSVD-MCI诊断标准的受试者21例,并挑选与其年龄、性别及受教育年限相匹配的健康对照(health control,HC)20例,所有被试都接受rs-fMRI检查,计算全脑度中心度(degree centrality,DC)值,将两组DC值差异显著团块的峰值蒙特利尔神经病学研究所(Montreal Neurological Institute,MNI)坐标作为种子点,与全脑其他体素进行功能连接(functional connection,FC)分析,两组脑功能存在差异脑区的DC及FC值与蒙特利尔认知评估量表(Montreal Cognitive Assessment,MoCA)评分进行相关性分析,并进一步分析CSVD总负荷评分与MoCA评分,以及CSVD总负荷评分与各认知域评分的相关性。结果与HC组相比,CSVD-MCI组左侧内侧额上回/左侧前扣带回、左侧角回/左侧缘上回、右侧内侧额上回/右侧额中回、左侧小脑及右侧小脑DC值减低,左侧前扣带回与左侧颞中下回、双侧楔前叶、双侧中扣带回FC值减低。白质高信号评分、CSVD总负荷评分与MoCA评分呈显著负相关(r_(s)=−0.461,P=0.036;r_(s)=−0.458,P=0.037);CSVD总负荷评分与视空间和执行功能评分呈负相关(r_(s)=−0.473,P=0.030),与其他认知域评分无显著相关性。CSVD-MCI组左侧前扣带回-右侧楔前叶FC值与MoCA评分呈显著正相关(r=0.565,P=0.018)。结论常规MRI可以显示CSVD特征性影像学病灶,rs-fMRI序列可以早期发现DC及FC减低脑区,CSVD评分及DC、FC值与临床神经心理学评分呈明显相关,可作为CSVD-MCI患者的潜在影像学标志物,揭示其认知功能减退的潜在机制。展开更多
基金This work was supported by the National Natural Science Foundation of China[grant number 62022036,62132008,62372213].
文摘Small-state stream ciphers(SSCs),which violate the principle that the state size should exceed the key size by a factor of two,still demonstrate robust security properties while maintaining a lightweight design.These ciphers can be clas-sifed into several constructions and their basic security requirement is to resist generic attacks,ie.,the time-mem-ory-data tradeoff(TMDTO)attack.In this paper,we investigate the security of small-state constructions in the multi-user setting.Based on it,the TMDTO distinguishing attack and the TMDTO key recovery attack are developed for such a setting.It is shown that SSCs which continuously use the key can not resist the TMDTO distinguishing attack.Moreover,SSCs based on the continuous-IV-key-use construction cannot withstand the TMDTO key recovery attack when the key length is shorter than the IV length,no matter whether the keystream length is limited or not.Finally,We apply these two generic attacks to TinyJAMBU and DRACO in the multi-user setting.The TMDTO distinguish-ing attack on TinyJAMBU with a 128-bit key can be mounted with time,memory,and data complexities of 264,248,and 232,respectively.This attack is comparable with a recent work on ToSC 2022,where partial key bits of TinyJAMBU are recovered with more than 250 users(or keys).As DRACO's IV length is smaller than its key length,itis vulnerable to the TMDTO key recovery attack.The resulting attack has a time and memory complexity of both 2112,which means DRACO does not provide 128-bit security in the multi-user setting.
文摘为分析谐波对电网换相型换流器高压直流输电系统(line commutated converter based high voltage direct current,LCC-HVDC)稳定性的影响,亟需建立一个考虑谐波耦合效应的LCC-HVDC精确模型。基于谐波状态空间(harmonic state space,HSS)理论,考虑频率耦合效应和控制系统建立了12脉动LCC的阻抗模型,所建交直流谐波阻抗模型能在更宽的频带与扫频结果吻合。最后通过PSCAD电磁暂态仿真结果与HSS阻抗模型计算结果对比,验证了所提出的LCC-HSS阻抗模型的正确性。LCC-HSS阻抗建模方法提高了对LCC换流站进行数学建模的精确性,且可以适应多种模式下LCC换流站阻抗建模,为LCC系统稳定性分析及参数优化提供了较为精确的模型。
文摘气候变化已经成为小岛屿国家最关切的议题之一,但多数小岛屿国家受限于其发展程度,只能依赖他国援助和支持以应对气候变化产生的影响。近年以来,这种需求正在变得愈发迫切。在2023年11月签订的“澳—图睦邻联盟条约(Australia-Tuvalu Falepili Union Treaty)”(以下简称“澳图条约”)中,图瓦卢以包括允许澳大利亚介入其外交和安全事务在内的高昂代价,换取澳大利亚的气候援助承诺。气候变化对小岛屿国家国际法人格和海洋权利的潜在影响,是理解双方合意缔结该条约真实动因的重要切入点。更为值得关注的是,“澳图条约”反映着部分大国以气候援助为支点,愈发深入地介入小岛屿国家内外事务的实践趋向。倘若类似“气候合作”由个例演变成固定的范式,大国将不断扩张在小岛屿国家的势力范围,其他小岛屿国家也将不得不为自身的生存而寻找大国的庇护,小岛屿国家为对抗大国控制而建立的区域组织也将被瓦解,进而彻底改变目前太平洋地区的地缘政治格局。大国与小岛屿国家应对气候变化的博弈,将对我国与小岛屿国家的深度合作产生潜在影响。有鉴于此,中国应从尊重国家主权和独立自主的基本立场出发,坚决抵制以气候合作为名干涉小岛屿国家内外事务的做法,并积极为小岛屿国家提供针对性的气候变化应对方案,推动前瞻性的“气候外交”布局。
文摘为增加系统惯性,直流微电网内锂电池控制器常采用虚拟直流发电机(virtual DC generator,VDCG)控制方案,但该方案无法使锂电池荷电状态(state of charge,SOC)自均衡。现有基于VDCG的锂电池SOC均衡方案仅能实现电压等级一致的非等容锂电池SOC均衡,而退役锂电池储能系统(retire lithium battery energy storage systems,RLBESS)的容量和电压等级均难以保持一致。针对此问题,提出了一种基于VDCG的适用于不同电压等级及容量的RLBESS组间SOC均衡方案。该方案在传统VDCG的基础上建立U-P_(m)关系式并引入SOC均衡因子,能够根据初始SOC状态自动调节锂电池的功率分配,并保持良好的电压质量。建立了所提方案的小信号模型,分析了关键控制参数对系统稳定性的影响。最后,利用Matlab/Simulink仿真软件对不同工况进行有效性验证。仿真结果表明:所提方案能够在锂电池电压等级不一致工况下实现RLBESS的SOC均衡,具有良好的可扩展性。
文摘风光水打捆经电网换相换流器高压直流输电(line commutated converter based high voltage direct current,LCC-HVDC)外送系统中,风光水配比不同会影响系统的功率传输能力。文章首先建立风光水打捆直流外送系统的稳态数学模型和状态空间模型,然后提出综合考虑稳态运行约束条件和小信号稳定性约束条件的系统功率传输能力计算方法及流程,掌握不同功率水平下系统稳定运行区域及边界的变化特征,最终得到不同水电出力下的直流外送系统功率传输范围、特定传输功率下所允许的水电出力最小值、风光配比与小信号稳定性的定量关系。通过该方法定量评估风光水配比不同时直流外送系统的功率传输能力,从而优化选取风光水配比。结果表明,水电出力较小时,系统传输功率上限受小信号稳定性制约,下限受电压偏移约束制约;水电出力较大时,系统传输功率上限受LCC-HVDC安全运行约束制约,下限受逆变侧电压偏移、系统潮流约束制约;在功率运行点不变时,风光配比平衡工况系统更加稳定。最后,通过PSCAD/EMTDC下的电磁暂态仿真,验证上述功率传输能力理论计算的正确性。