In network-connected UAV(NCUAV) communication systems, user authentication is replaced by platform identity authentication and integrity check because many NC-UAVs are operated without human intervention. Direct anony...In network-connected UAV(NCUAV) communication systems, user authentication is replaced by platform identity authentication and integrity check because many NC-UAVs are operated without human intervention. Direct anonymous attestation(DAA) is an attractive cryptographic scheme that provides an elegant balance between platform authentication and anonymity. However, because of the low-level computing capability and limited transmission bandwidth in UAV, the existing DAA schemes are not suitable for NC-UAV communication systems. In this paper, we propose an enhanced DAA scheme with mutual authentication(MA-DAA scheme), which meets the security requirements of NC-UAV communication systems. The proposed MA-DAA scheme, which is based on asymmetric pairings, bundles the identities of trusted platform module(TPM) and Host to solve the malicious module changing attacks. Credential randomization, batch proof and verification, and mutual authentication are realized in the MA-DAA scheme. The computational workload in TPM and Host is reduced in order to meet the low computation and resource requirements in TPM and Host.The entire scheme and protocols are presented,and the security and efficiency of the proposed MA-DAA scheme are proved and analyzed.Our experiment results also confirm the high efficiency of the proposed scheme.展开更多
Analysis and design techniques for cooperative flocking of nonholonomic multi-robot systems with connectivity maintenance on directed graphs are presented. First, a set of bounded and smoothly distributed control prot...Analysis and design techniques for cooperative flocking of nonholonomic multi-robot systems with connectivity maintenance on directed graphs are presented. First, a set of bounded and smoothly distributed control protocols are devised via carefully designing a class of bounded artificial potential fields (APF) which could guarantee the connectivity maintenance, col ision avoidance and distance stabilization simultaneously during the system evolution. The connectivity of the underlying network can be preserved, and the desired stable flocking behavior can be achieved provided that the initial communication topology is strongly connected rather than undirected or balanced, which relaxes the constraints for group topology and extends the previous work to more generalized directed graphs. Furthermore, the proposed control algorithm is extended to solve the flocking problem with a virtual leader. In this case, it is shown that al robots can asymptotically move with the desired velocity and orientation even if there is only one informed robot in the team. Finally, nontrivial simulations and experiments are conducted to verify the effectiveness of the proposed algorithm.展开更多
目的:研究双侧经颅直流电刺激(dual-hemispheric transcranial direct current stimulation,Dual-tDCS)对慢性期脑卒中患者上肢运动功能的影响,为治疗慢性期脑卒中上肢功能障碍提供基于神经机制的理论依据。方法:选取某院24例慢性期脑...目的:研究双侧经颅直流电刺激(dual-hemispheric transcranial direct current stimulation,Dual-tDCS)对慢性期脑卒中患者上肢运动功能的影响,为治疗慢性期脑卒中上肢功能障碍提供基于神经机制的理论依据。方法:选取某院24例慢性期脑卒中上肢运动功能障碍患者,按照随机数字表法将其分为研究组(n=13)和对照组(n=11)。对照组采用tDCS伪刺激联合常规康复治疗,研究组采用Dual-tDCS联合常规康复治疗。治疗前后,采用Fugl-Meyer运动功能评定量表上肢部分(Fugl-Meyer assessment upper limb scale,FMA-UL)及日常生活活动能力(activities of daily living,ADL)测评量表对患者活动能力进行评估。对比治疗前后初级运动皮层(M1区)与全脑功能连接(functional connectivity,FC)的变化。使用SPSS 24.0统计学软件进行数据分析。结果:治疗后,2组患者的FMA-UL、ADL评分比治疗前均显著提高,且研究组评分明显高于对照组,差异有统计学意义(P<0.05)。M1区与全脑FC分析显示,治疗后对照组健侧M1区到患侧枕中回、健侧舌回、健侧角回FC降低(P<0.01);患侧M1区未见FC变化脑区。治疗后研究组健侧M1区到健侧小脑、健侧小脑蚓部FC降低,到患侧中央前回FC增加(P<0.01);患侧M1区到患侧小脑、患侧颞中回FC增加,到健侧中央前回FC降低(P<0.01)。结论:Dual-tDCS对大脑的神经调控作用可改善慢性期卒中患者运动和非运动相关脑区的FC,可能是慢性期脑卒中上肢运动功能障碍的康复机制。展开更多
随着海上风电、光伏等新能源的大规模建设,产生了直流输电、交直流互联和储能的应用需求。目前储能技术的研究和应用主要集中于交流储能领域。模块化多电平电池储能系统(modular multilevel converter based battery energy storage sys...随着海上风电、光伏等新能源的大规模建设,产生了直流输电、交直流互联和储能的应用需求。目前储能技术的研究和应用主要集中于交流储能领域。模块化多电平电池储能系统(modular multilevel converter based battery energy storage system,MMC-BESS)虽然在交直流互联的同时,实现了储能的功能,但电池中流过的工频、二倍频等脉动电流成分对电池寿命有潜在影响,且传统的模块化多电平(modular multilevel converter,MMC)换流站的改造成本高。本工作提出的直流直挂储能装置将换流和储能分离,电池电流仅为直流和高频脉动成分,工况对电池友好,且直流直挂储能系统需要电池单体数量仅为MMC-BESS的1/6,成本低。对直流直挂储能装置的拓扑结构及工作原理进行分析;对级联子模块的数量和参数进行设计;基于载波移相调制,推导直流纹波电流,进而对并网电感参数进行设计;建立直流直挂储能装置的数学模型,推导控制模型,根据控制框图进行功率控制。最后,通过仿真和样机实验,验证该半桥拓扑级联型直流直挂储能装置设计的可行性及正确性。实验证明,该设计和控制方法效果良好,对高压大容量直流直挂储能装置的设计有一定参考价值。展开更多
为研究分网接入方式下电网换相换流器高压直流输电(line commutated converter based high voltage direct current,LCC-HVDC)系统的交互振荡模式及阻尼特征,基于系统的状态空间模型及系列文章(一)建立的运动方程模型,提取了表征逆变侧...为研究分网接入方式下电网换相换流器高压直流输电(line commutated converter based high voltage direct current,LCC-HVDC)系统的交互振荡模式及阻尼特征,基于系统的状态空间模型及系列文章(一)建立的运动方程模型,提取了表征逆变侧电气与控制环节强耦合特性的多个弱阻尼交互振荡模式,研究了不同短路比工况下交互振荡模式的变化特征。在此基础上,通过复转矩系数法量化评估了整流侧/逆变侧内部自稳性路径及双极交互作用致稳性路径对主导交互振荡模式阻尼特性的贡献度。结果表明:1)不同短路比工况下交互振荡模式的阻尼比会进行重新分配;2)当逆变侧正负极短路比相差较大时,双极交互作用较弱,正负极系统的稳定性由2个交互振荡模式各自主导,且稳定性特征有所差异;3)当逆变侧正负极短路比相近时,双极间动态交互加强,交互振荡模式会同时主导参与系统两极的稳定性,正负极稳定性特征相似。展开更多
与常规直流相比,永富直流逆变站存在功率全送和功率分送运行方式,而其处于分网接入方式时电网换相换流器高压直流输电(line commutated converter based high voltage directcurrent,LCC-HVDC)系统的交互振荡模式及特征尚不明确。针对...与常规直流相比,永富直流逆变站存在功率全送和功率分送运行方式,而其处于分网接入方式时电网换相换流器高压直流输电(line commutated converter based high voltage directcurrent,LCC-HVDC)系统的交互振荡模式及特征尚不明确。针对这一特殊运行方式,采用模块化建模的思路建立可以反映系统电气/控制回路间交互耦合路径的运动方程模型。在此基础上,依据系统整流侧-逆变侧、正极-负极间的交互耦合路径分解得到影响系统主导模式稳定性的3条扰动传递路径,即整流侧内部自稳性路径、逆变侧内部自稳性路径、双极交互作用致稳性路径。最后,设置不同工况下的案例,量化评估不同作用路径提供的阻尼大小,并通过仿真验证运动方程模型及扰动传递路径分析结果的正确性,为后续研究分网接入方式下LCC-HVDC系统交互振荡模式的阻尼特征提供模型基础。展开更多
基金supported in part by the European Commission Marie Curie IRSES project "AdvIOT"the National Natural Science Foundation of China (NSFC) under grant No.61372103
文摘In network-connected UAV(NCUAV) communication systems, user authentication is replaced by platform identity authentication and integrity check because many NC-UAVs are operated without human intervention. Direct anonymous attestation(DAA) is an attractive cryptographic scheme that provides an elegant balance between platform authentication and anonymity. However, because of the low-level computing capability and limited transmission bandwidth in UAV, the existing DAA schemes are not suitable for NC-UAV communication systems. In this paper, we propose an enhanced DAA scheme with mutual authentication(MA-DAA scheme), which meets the security requirements of NC-UAV communication systems. The proposed MA-DAA scheme, which is based on asymmetric pairings, bundles the identities of trusted platform module(TPM) and Host to solve the malicious module changing attacks. Credential randomization, batch proof and verification, and mutual authentication are realized in the MA-DAA scheme. The computational workload in TPM and Host is reduced in order to meet the low computation and resource requirements in TPM and Host.The entire scheme and protocols are presented,and the security and efficiency of the proposed MA-DAA scheme are proved and analyzed.Our experiment results also confirm the high efficiency of the proposed scheme.
基金supported by the National Natural Science Foundation of China(61175112)the Foundation for Innovative Research Groups of the National Natural Science Foundation of China(G61321002)+3 种基金the Projects of Major International(Regional)Joint Research Program(61120106010)the Beijing Education Committee Cooperation Building Foundationthe Program for Changjiang Scholars and Innovative Research Team in University(IRT1208)the ChangJiang Scholars Program and the Beijing Outstanding Ph.D.Program Mentor Grant(20131000704)
文摘Analysis and design techniques for cooperative flocking of nonholonomic multi-robot systems with connectivity maintenance on directed graphs are presented. First, a set of bounded and smoothly distributed control protocols are devised via carefully designing a class of bounded artificial potential fields (APF) which could guarantee the connectivity maintenance, col ision avoidance and distance stabilization simultaneously during the system evolution. The connectivity of the underlying network can be preserved, and the desired stable flocking behavior can be achieved provided that the initial communication topology is strongly connected rather than undirected or balanced, which relaxes the constraints for group topology and extends the previous work to more generalized directed graphs. Furthermore, the proposed control algorithm is extended to solve the flocking problem with a virtual leader. In this case, it is shown that al robots can asymptotically move with the desired velocity and orientation even if there is only one informed robot in the team. Finally, nontrivial simulations and experiments are conducted to verify the effectiveness of the proposed algorithm.
文摘目的:研究双侧经颅直流电刺激(dual-hemispheric transcranial direct current stimulation,Dual-tDCS)对慢性期脑卒中患者上肢运动功能的影响,为治疗慢性期脑卒中上肢功能障碍提供基于神经机制的理论依据。方法:选取某院24例慢性期脑卒中上肢运动功能障碍患者,按照随机数字表法将其分为研究组(n=13)和对照组(n=11)。对照组采用tDCS伪刺激联合常规康复治疗,研究组采用Dual-tDCS联合常规康复治疗。治疗前后,采用Fugl-Meyer运动功能评定量表上肢部分(Fugl-Meyer assessment upper limb scale,FMA-UL)及日常生活活动能力(activities of daily living,ADL)测评量表对患者活动能力进行评估。对比治疗前后初级运动皮层(M1区)与全脑功能连接(functional connectivity,FC)的变化。使用SPSS 24.0统计学软件进行数据分析。结果:治疗后,2组患者的FMA-UL、ADL评分比治疗前均显著提高,且研究组评分明显高于对照组,差异有统计学意义(P<0.05)。M1区与全脑FC分析显示,治疗后对照组健侧M1区到患侧枕中回、健侧舌回、健侧角回FC降低(P<0.01);患侧M1区未见FC变化脑区。治疗后研究组健侧M1区到健侧小脑、健侧小脑蚓部FC降低,到患侧中央前回FC增加(P<0.01);患侧M1区到患侧小脑、患侧颞中回FC增加,到健侧中央前回FC降低(P<0.01)。结论:Dual-tDCS对大脑的神经调控作用可改善慢性期卒中患者运动和非运动相关脑区的FC,可能是慢性期脑卒中上肢运动功能障碍的康复机制。
文摘随着海上风电、光伏等新能源的大规模建设,产生了直流输电、交直流互联和储能的应用需求。目前储能技术的研究和应用主要集中于交流储能领域。模块化多电平电池储能系统(modular multilevel converter based battery energy storage system,MMC-BESS)虽然在交直流互联的同时,实现了储能的功能,但电池中流过的工频、二倍频等脉动电流成分对电池寿命有潜在影响,且传统的模块化多电平(modular multilevel converter,MMC)换流站的改造成本高。本工作提出的直流直挂储能装置将换流和储能分离,电池电流仅为直流和高频脉动成分,工况对电池友好,且直流直挂储能系统需要电池单体数量仅为MMC-BESS的1/6,成本低。对直流直挂储能装置的拓扑结构及工作原理进行分析;对级联子模块的数量和参数进行设计;基于载波移相调制,推导直流纹波电流,进而对并网电感参数进行设计;建立直流直挂储能装置的数学模型,推导控制模型,根据控制框图进行功率控制。最后,通过仿真和样机实验,验证该半桥拓扑级联型直流直挂储能装置设计的可行性及正确性。实验证明,该设计和控制方法效果良好,对高压大容量直流直挂储能装置的设计有一定参考价值。
文摘为研究分网接入方式下电网换相换流器高压直流输电(line commutated converter based high voltage direct current,LCC-HVDC)系统的交互振荡模式及阻尼特征,基于系统的状态空间模型及系列文章(一)建立的运动方程模型,提取了表征逆变侧电气与控制环节强耦合特性的多个弱阻尼交互振荡模式,研究了不同短路比工况下交互振荡模式的变化特征。在此基础上,通过复转矩系数法量化评估了整流侧/逆变侧内部自稳性路径及双极交互作用致稳性路径对主导交互振荡模式阻尼特性的贡献度。结果表明:1)不同短路比工况下交互振荡模式的阻尼比会进行重新分配;2)当逆变侧正负极短路比相差较大时,双极交互作用较弱,正负极系统的稳定性由2个交互振荡模式各自主导,且稳定性特征有所差异;3)当逆变侧正负极短路比相近时,双极间动态交互加强,交互振荡模式会同时主导参与系统两极的稳定性,正负极稳定性特征相似。
文摘与常规直流相比,永富直流逆变站存在功率全送和功率分送运行方式,而其处于分网接入方式时电网换相换流器高压直流输电(line commutated converter based high voltage directcurrent,LCC-HVDC)系统的交互振荡模式及特征尚不明确。针对这一特殊运行方式,采用模块化建模的思路建立可以反映系统电气/控制回路间交互耦合路径的运动方程模型。在此基础上,依据系统整流侧-逆变侧、正极-负极间的交互耦合路径分解得到影响系统主导模式稳定性的3条扰动传递路径,即整流侧内部自稳性路径、逆变侧内部自稳性路径、双极交互作用致稳性路径。最后,设置不同工况下的案例,量化评估不同作用路径提供的阻尼大小,并通过仿真验证运动方程模型及扰动传递路径分析结果的正确性,为后续研究分网接入方式下LCC-HVDC系统交互振荡模式的阻尼特征提供模型基础。