Simulation of urban non-motorized traffic: A agent-based modeling approach based on big data of bike sharing and social force model · Study