Impedance analysis is an effective method to analyze the oscillation issue associated with grid-connected photovoltaic systems.However,the existing impedance modeling of a gridconnected photovoltaic inverter usually o...Impedance analysis is an effective method to analyze the oscillation issue associated with grid-connected photovoltaic systems.However,the existing impedance modeling of a gridconnected photovoltaic inverter usually only considers the effect of a single perturbation frequency,ignoring the coupling frequency response between the internal control loops of a grid-connected inverter,which severely affects the accuracy of the stability analysis.Hence,a method of impedance modeling and stability analysis for grid-connected photovoltaic inverters considering cross-coupling frequency is proposed in this paper.First,the generation mechanism of frequency coupling in gridconnected photovoltaic inverters,and the relationship between the coupling frequency and perturbation frequency are analyzed.Secondly,a sequence impedance model of grid-connected photovoltaic systems considering the coupling frequency is established by using the harmonic linearization method.The impact of DC bus voltage control strategy on frequency coupling characteristics of a grid-connected photovoltaic system is evaluated,and the impact of a coupling frequency term on system stability is quantitatively analyzed.Finally,the advantages of the proposed method are verified by several simulations.The results show that the proposed impedance model can accurately predict the potential resonance points of the system,and the coupling frequency characteristics will become much stronger with smaller DC bus capacitance or larger bandwidth of the DC bus controller.展开更多
Cyber physical systems (CPSs) can be found nowadays in various fields of activity. The increased interest for these systems as evidenced by the large number of applications led to complex research regarding the most s...Cyber physical systems (CPSs) can be found nowadays in various fields of activity. The increased interest for these systems as evidenced by the large number of applications led to complex research regarding the most suitable methods for design and development. A promising solution for specification, visualization, and documentation of CPSs uses the Object Management Group (OMG) unified modeling language (UML). UML models allow an intuitive approach for embedded systems design, helping end-users to specify the requirements. However, the UML models are represented in an informal language. Therefore, it is difficult to verify the correctness and completeness of a system design. The object constraint language (OCL) was defined to add constraints to UML, but it is deficient in strict notations of mathematics and logic that permits rigorous analysis and reasoning about the specifications. In this paper, we investigated how CPS applications modeled using UML deployment diagrams could be formally expressed and verified. We used Z language constructs and prototype verification system (PVS) as formal verification tools. Considering some relevant case studies presented in the literature, we investigated the opportunity of using this approach for validation of static properties in CPS UML models.展开更多
文摘Impedance analysis is an effective method to analyze the oscillation issue associated with grid-connected photovoltaic systems.However,the existing impedance modeling of a gridconnected photovoltaic inverter usually only considers the effect of a single perturbation frequency,ignoring the coupling frequency response between the internal control loops of a grid-connected inverter,which severely affects the accuracy of the stability analysis.Hence,a method of impedance modeling and stability analysis for grid-connected photovoltaic inverters considering cross-coupling frequency is proposed in this paper.First,the generation mechanism of frequency coupling in gridconnected photovoltaic inverters,and the relationship between the coupling frequency and perturbation frequency are analyzed.Secondly,a sequence impedance model of grid-connected photovoltaic systems considering the coupling frequency is established by using the harmonic linearization method.The impact of DC bus voltage control strategy on frequency coupling characteristics of a grid-connected photovoltaic system is evaluated,and the impact of a coupling frequency term on system stability is quantitatively analyzed.Finally,the advantages of the proposed method are verified by several simulations.The results show that the proposed impedance model can accurately predict the potential resonance points of the system,and the coupling frequency characteristics will become much stronger with smaller DC bus capacitance or larger bandwidth of the DC bus controller.
基金Project partially supported by the Strategic Grants POSDRU/88/1.5/S/50783 Project (No.50783,2009),POSDRU/107/1.5/S/77265 Project (No.77265,2010),Romaniathe European Social Fund for Investing in People, within the Sectoral Operational Programme Human Resources Development 2007-2013
文摘Cyber physical systems (CPSs) can be found nowadays in various fields of activity. The increased interest for these systems as evidenced by the large number of applications led to complex research regarding the most suitable methods for design and development. A promising solution for specification, visualization, and documentation of CPSs uses the Object Management Group (OMG) unified modeling language (UML). UML models allow an intuitive approach for embedded systems design, helping end-users to specify the requirements. However, the UML models are represented in an informal language. Therefore, it is difficult to verify the correctness and completeness of a system design. The object constraint language (OCL) was defined to add constraints to UML, but it is deficient in strict notations of mathematics and logic that permits rigorous analysis and reasoning about the specifications. In this paper, we investigated how CPS applications modeled using UML deployment diagrams could be formally expressed and verified. We used Z language constructs and prototype verification system (PVS) as formal verification tools. Considering some relevant case studies presented in the literature, we investigated the opportunity of using this approach for validation of static properties in CPS UML models.