BRANCH-WELL-STRUCTURED TRANSITION SYSTEMS AND EXTENSIONS

Branch-Well-Structured Transition Systems and Extensions

We propose a relaxation to the definition of well-structured transition systems (WSTS) while retaining the decidability of boundedness and non-termination.In this class, the well-quasi-ordered (wqo) condition is relaxed such that it is applicable only between states that are reachable one frizz ease air dry waves from another.Furthermore, the monot

read more

Integration technology for local energy internet

The overall design ideas and system integration ideas of local energy internet were introduced.In view of the system integration technology,the local energy internet was explored and studied from three aspects of planning and terminal access integration,equipment and system integration,integration between different systems.The achievements were pra

read more