This paper addresses the verification of strong currentstate opacity with respect to real-time observations generated from a discrete-event system that is modeled with time labeled Petri nets. The standard current-sta...This paper addresses the verification of strong currentstate opacity with respect to real-time observations generated from a discrete-event system that is modeled with time labeled Petri nets. The standard current-state opacity cannot completely characterize higher-level security. To ensure the higher-level security requirements of a time-dependent system, we propose a strong version of opacity known as strong current-state opacity. For any path(state-event sequence with time information)π derived from a real-time observation that ends at a secret state, the strong current-state opacity of the real-time observation signifies that there is a non-secret path with the same real-time observation as π. We propose general and non-secret state class graphs, which characterize the general and non-secret states of time-dependent systems, respectively. To capture the observable behavior of non-secret states, a non-secret observer is proposed.Finally, we develop a structure called a real-time concurrent verifier to verify the strong current-state opacity of time labeled Petri nets. This approach is efficient since the real-time concurrent verifier can be constructed by solving a certain number of linear programming problems.展开更多
The proposed DAC consists of a unit current-cell matrix for 8MSBs and a binary-weighted array for 4LSBs,trading-off between the precision,speed,and size of the chip.In order to ensure the linearity of the DAC,a double...The proposed DAC consists of a unit current-cell matrix for 8MSBs and a binary-weighted array for 4LSBs,trading-off between the precision,speed,and size of the chip.In order to ensure the linearity of the DAC,a double Centro symmetric current matrix is designed by the Q2 random walk strategy.To achieve better dynamic performance,a latch is added in front of the current switch to change the input signal,such as its optimal cross-point and voltage level.For a 12bit resolution,the converter reaches an update rate of 300MHz.展开更多
用于中高压直流电网互联和隔离的模块化多电平直流变压器(modular multilevel DC transformer,MMDCT)在传输功率变化的过程中会出现电流欠阻尼振荡的问题,从而降低了装置的稳定性,因此文中对振荡抑制展开了研究。首先,通过差模和共模电...用于中高压直流电网互联和隔离的模块化多电平直流变压器(modular multilevel DC transformer,MMDCT)在传输功率变化的过程中会出现电流欠阻尼振荡的问题,从而降低了装置的稳定性,因此文中对振荡抑制展开了研究。首先,通过差模和共模电路中的振荡现象分析,并基于状态空间平均法建立数学模型,从而揭示了MMDCT中的电流振荡机理;进一步提出了一种基于共模和差模分离的电流振荡抑制方法,利用变副边交流侧电压占空比的方式实现漏感电流振荡的抑制,同时采用变桥臂电压占空比的方式进行环流电流振荡的抑制,并给出了相应控制器参数设计依据。最后,通过仿真和实验验证了所提控制方法的有效性,结果表明在基于共模和差模分离的振荡抑制方法下,MMDCT可以在功率变化过程中快速实现电流稳定,有利于提升装置稳定性。展开更多
在孤岛直流微电网系统中,线路阻抗不匹配会影响各线路的电流分配精度和荷电状态(state of charge,SOC)均衡效果。同时,由于采用下垂控制,虚拟阻抗的存在也会导致直流母线电压下降。针对以上问题,提出了一种基于自适应虚拟阻抗的SOC均衡...在孤岛直流微电网系统中,线路阻抗不匹配会影响各线路的电流分配精度和荷电状态(state of charge,SOC)均衡效果。同时,由于采用下垂控制,虚拟阻抗的存在也会导致直流母线电压下降。针对以上问题,提出了一种基于自适应虚拟阻抗的SOC均衡控制策略。该策略考虑了不同容量的分布式储能单元(distributed energy storage units,DESUs),并设计了交互DESUs邻居单元SOC均衡差异信息的收敛因子,以加快SOC均衡速度。利用结合多种系统状态信息的状态因子,通过单补偿环节即可实现输出电流的精准分配以及母线电压的恢复。使用改进后的动态平均一致性算法获取系统全局平均状态信息估计值。最后,在Matlab/Simulink仿真软件中搭建了4种工况模型,验证了所提控制策略的有效性和可靠性。展开更多
基金supported by the Special Fund for Scientific and Technological Innovation Strategy of Guangdong Province(2022A0505030025)the Science and Technology Fund,FDCT,Macao SAR(0064/2021/A2)
文摘This paper addresses the verification of strong currentstate opacity with respect to real-time observations generated from a discrete-event system that is modeled with time labeled Petri nets. The standard current-state opacity cannot completely characterize higher-level security. To ensure the higher-level security requirements of a time-dependent system, we propose a strong version of opacity known as strong current-state opacity. For any path(state-event sequence with time information)π derived from a real-time observation that ends at a secret state, the strong current-state opacity of the real-time observation signifies that there is a non-secret path with the same real-time observation as π. We propose general and non-secret state class graphs, which characterize the general and non-secret states of time-dependent systems, respectively. To capture the observable behavior of non-secret states, a non-secret observer is proposed.Finally, we develop a structure called a real-time concurrent verifier to verify the strong current-state opacity of time labeled Petri nets. This approach is efficient since the real-time concurrent verifier can be constructed by solving a certain number of linear programming problems.
文摘The proposed DAC consists of a unit current-cell matrix for 8MSBs and a binary-weighted array for 4LSBs,trading-off between the precision,speed,and size of the chip.In order to ensure the linearity of the DAC,a double Centro symmetric current matrix is designed by the Q2 random walk strategy.To achieve better dynamic performance,a latch is added in front of the current switch to change the input signal,such as its optimal cross-point and voltage level.For a 12bit resolution,the converter reaches an update rate of 300MHz.
文摘用于中高压直流电网互联和隔离的模块化多电平直流变压器(modular multilevel DC transformer,MMDCT)在传输功率变化的过程中会出现电流欠阻尼振荡的问题,从而降低了装置的稳定性,因此文中对振荡抑制展开了研究。首先,通过差模和共模电路中的振荡现象分析,并基于状态空间平均法建立数学模型,从而揭示了MMDCT中的电流振荡机理;进一步提出了一种基于共模和差模分离的电流振荡抑制方法,利用变副边交流侧电压占空比的方式实现漏感电流振荡的抑制,同时采用变桥臂电压占空比的方式进行环流电流振荡的抑制,并给出了相应控制器参数设计依据。最后,通过仿真和实验验证了所提控制方法的有效性,结果表明在基于共模和差模分离的振荡抑制方法下,MMDCT可以在功率变化过程中快速实现电流稳定,有利于提升装置稳定性。
文摘在孤岛直流微电网系统中,线路阻抗不匹配会影响各线路的电流分配精度和荷电状态(state of charge,SOC)均衡效果。同时,由于采用下垂控制,虚拟阻抗的存在也会导致直流母线电压下降。针对以上问题,提出了一种基于自适应虚拟阻抗的SOC均衡控制策略。该策略考虑了不同容量的分布式储能单元(distributed energy storage units,DESUs),并设计了交互DESUs邻居单元SOC均衡差异信息的收敛因子,以加快SOC均衡速度。利用结合多种系统状态信息的状态因子,通过单补偿环节即可实现输出电流的精准分配以及母线电压的恢复。使用改进后的动态平均一致性算法获取系统全局平均状态信息估计值。最后,在Matlab/Simulink仿真软件中搭建了4种工况模型,验证了所提控制策略的有效性和可靠性。
