This paper addresses a challenging global problem, insufficient accessible urban public green space, based on building typology. Offering sufficient spaces and maintaining the equalities of citizens’ accessibility in high-intensity cities has been increasingly challenging. Thus, providing adequate by 2030 is sub-goal SDGs No. 11. Solving this problem commonly considered responsibility planning;...

With the advancement of Internet Things (IoT) and communication platform, large-scale sensor deployment can be easily implemented in an urban city to collect various information. To date, there are only a handful research studies about understanding usage public spaces. Leveraging IoT, sensors have been deployed residential area monitor study space utilization patterns. In this article, we prop...

2 Validity Preserving Operations 5 2.1 Disjoint Unions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.2 Generated Subset Spaces . . . . . . . . . . . . . . . . . . . . . . . 7 2.3 Bounded Morphism . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.4 Bisimulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.5 Topologic Games . . . . . . . . . . . . . . . . . ...