With the challenges brought by the expansion of network scale,as well as the diversity of the equipments and the complexity of network protocols,many self-configurable systems have been proposed combining formal speci...With the challenges brought by the expansion of network scale,as well as the diversity of the equipments and the complexity of network protocols,many self-configurable systems have been proposed combining formal specification and model finding techniques.In this paper,we pay more attention to formal specifications of network information,i.e.,exploring principles and algorithm to map network information(topology,devices and status,etc.) to Alloy specifications.We first model network information in relational form,which is easy to realize because of the structured feature of network information in nature.Then we map the relational data to Alloy specifications according to our novel data mapping principles and algorithm.Based on the transition of relational data,it is possible to automatically map network information to Alloy specifications.We evaluate our data mapping principles and algorithm by applying them to a practical application scenario.The results illustrate that we can find a model for the task within a tolerant time interval,which implies that our novel approach can convert relational data to Alloy specifications correctly and efficiently.展开更多
In distribution systems,network reconfiguration and capacitor placement are commonly used to diminish power losses and keep voltage profiles within acceptable limits.Moreover,the problem of DG allocation and sizing is...In distribution systems,network reconfiguration and capacitor placement are commonly used to diminish power losses and keep voltage profiles within acceptable limits.Moreover,the problem of DG allocation and sizing is great important.In this work,a combination of a fuzzy multi-objective approach and bacterial foraging optimization(BFO) as a meta-heuristic algorithm is used to solve the simultaneous reconfiguration and optimal sizing of DGs and shunt capacitors in a distribution system.Each objective is transferred into fuzzy domain using its membership function.Then,the overall fuzzy satisfaction function is formed and considered a fitness function inasmuch as the value of this function has to be maximized to gain the optimal solution.The numerical results show that the presented algorithm improves the performance much more than other meta-heuristic algorithms.Simulation results found that simultaneous reconfiguration with DG and shunt capacitors allocation(case 5) has 77.41%,42.15%,and 56.14%improvements in power loss reduction,load balancing,and voltage profile indices,respectively in 33-bus test system.This result found 87.27%,35.82%,and 54.34%improvements of mentioned indices respectively for 69-bus system.展开更多
基金supported by the National Science Foundation for Distinguished Young Scholars of China under Grant No.61225012 and No.71325002the Specialized Research Fund of the Doctoral Program of Higher Education for the Priority Development Areas under Grant No.20120042130003the Liaoning BaiQianWan Talents Program under Grant No.2013921068
文摘With the challenges brought by the expansion of network scale,as well as the diversity of the equipments and the complexity of network protocols,many self-configurable systems have been proposed combining formal specification and model finding techniques.In this paper,we pay more attention to formal specifications of network information,i.e.,exploring principles and algorithm to map network information(topology,devices and status,etc.) to Alloy specifications.We first model network information in relational form,which is easy to realize because of the structured feature of network information in nature.Then we map the relational data to Alloy specifications according to our novel data mapping principles and algorithm.Based on the transition of relational data,it is possible to automatically map network information to Alloy specifications.We evaluate our data mapping principles and algorithm by applying them to a practical application scenario.The results illustrate that we can find a model for the task within a tolerant time interval,which implies that our novel approach can convert relational data to Alloy specifications correctly and efficiently.
文摘In distribution systems,network reconfiguration and capacitor placement are commonly used to diminish power losses and keep voltage profiles within acceptable limits.Moreover,the problem of DG allocation and sizing is great important.In this work,a combination of a fuzzy multi-objective approach and bacterial foraging optimization(BFO) as a meta-heuristic algorithm is used to solve the simultaneous reconfiguration and optimal sizing of DGs and shunt capacitors in a distribution system.Each objective is transferred into fuzzy domain using its membership function.Then,the overall fuzzy satisfaction function is formed and considered a fitness function inasmuch as the value of this function has to be maximized to gain the optimal solution.The numerical results show that the presented algorithm improves the performance much more than other meta-heuristic algorithms.Simulation results found that simultaneous reconfiguration with DG and shunt capacitors allocation(case 5) has 77.41%,42.15%,and 56.14%improvements in power loss reduction,load balancing,and voltage profile indices,respectively in 33-bus test system.This result found 87.27%,35.82%,and 54.34%improvements of mentioned indices respectively for 69-bus system.