In this paper , we have established an intimate connection between near-nings and linear automata,and obtain the following results: 1) For a near-ring N there exists a linear GSA S with N ≌ N(S) iff (a) (N, +) is abe...In this paper , we have established an intimate connection between near-nings and linear automata,and obtain the following results: 1) For a near-ring N there exists a linear GSA S with N ≌ N(S) iff (a) (N, +) is abelian, (b) N has an identity 1, (c) There is some d ∈ Nd such that N0 is generated by {1,d};2) Let h: S → S’ be a GSA- epimorphism. Then there exists a near-ring epimorphism from N(S) to N(S’) with h(qn) = h(q)h(n) for all q ∈ Q and n ∈ N(S);3) Let A = (Q,A,B,F,G) be a GA. Then (a) Aa:=(Q(N(A)) =: Qa,A,B,F/Qa × A) is accessible, (b) Q = 0N(A), (c) A/~:= (Q/~,A,B,F~), Q~) with F^([q], a):= [F(q,a)] and G^([q], a):= G(q,a) is reduced, (d) Aa/~ is minimal.展开更多
The paper proposed an approach to study the power system voltage coordinated control using Linear Temporal Logic (LTL). First, the hybrid Automata model for power system voltage control was given, and a hierarchical c...The paper proposed an approach to study the power system voltage coordinated control using Linear Temporal Logic (LTL). First, the hybrid Automata model for power system voltage control was given, and a hierarchical coordinated voltage control framework was described in detail. In the hierarchical control structure, the high layer is the coordinated layer for global voltage control, and the low layer is the power system controlled. Then, the paper introduced the LTL language, its specification formula and basic method for control. In the high layer, global voltage coordinated control specification was defined by LTL specification formula. In order to implement system voltage coordinated control, the LTL specification formula was transformed into hybrid Automata model by the proposed algorithms. The hybrid Automata in high layer could coordinate the different distributed voltage controller, and have constituted a closed loop global voltage control system satisfied the LTL specification formula. Finally, a simple example of power system voltage control include the OLTC controller, the switched capacitor controller and the under-voltage shedding load controller was given for simulating analysis and verification by the proposed approach for power system coordinated voltage control. The results of simulation showed that the proposed method in the paper is feasible.展开更多
文摘In this paper , we have established an intimate connection between near-nings and linear automata,and obtain the following results: 1) For a near-ring N there exists a linear GSA S with N ≌ N(S) iff (a) (N, +) is abelian, (b) N has an identity 1, (c) There is some d ∈ Nd such that N0 is generated by {1,d};2) Let h: S → S’ be a GSA- epimorphism. Then there exists a near-ring epimorphism from N(S) to N(S’) with h(qn) = h(q)h(n) for all q ∈ Q and n ∈ N(S);3) Let A = (Q,A,B,F,G) be a GA. Then (a) Aa:=(Q(N(A)) =: Qa,A,B,F/Qa × A) is accessible, (b) Q = 0N(A), (c) A/~:= (Q/~,A,B,F~), Q~) with F^([q], a):= [F(q,a)] and G^([q], a):= G(q,a) is reduced, (d) Aa/~ is minimal.
文摘The paper proposed an approach to study the power system voltage coordinated control using Linear Temporal Logic (LTL). First, the hybrid Automata model for power system voltage control was given, and a hierarchical coordinated voltage control framework was described in detail. In the hierarchical control structure, the high layer is the coordinated layer for global voltage control, and the low layer is the power system controlled. Then, the paper introduced the LTL language, its specification formula and basic method for control. In the high layer, global voltage coordinated control specification was defined by LTL specification formula. In order to implement system voltage coordinated control, the LTL specification formula was transformed into hybrid Automata model by the proposed algorithms. The hybrid Automata in high layer could coordinate the different distributed voltage controller, and have constituted a closed loop global voltage control system satisfied the LTL specification formula. Finally, a simple example of power system voltage control include the OLTC controller, the switched capacitor controller and the under-voltage shedding load controller was given for simulating analysis and verification by the proposed approach for power system coordinated voltage control. The results of simulation showed that the proposed method in the paper is feasible.
