scholarly journals Urban Bike Lane Planning with Bike Trajectories: Models, Algorithms, and a Real-World Case Study

2021 ◽  
Author(s):  
Sheng Liu ◽  
Zuo-Jun Max Shen ◽  
Xiang Ji
Keyword(s):  
Real World ◽  
Smart City ◽  
Utility Functions ◽  
Mixed Integer ◽  
Planning Problem ◽  
Planning Model ◽  
Trajectory Data ◽  
Bike Sharing ◽  
Route Choices

Problem definition: We study an urban bike lane planning problem based on the fine-grained bike trajectory data, which are made available by smart city infrastructure, such as bike-sharing systems. The key decision is where to build bike lanes in the existing road network. Academic/practical relevance: As bike-sharing systems become widespread in the metropolitan areas over the world, bike lanes are being planned and constructed by many municipal governments to promote cycling and protect cyclists. Traditional bike lane planning approaches often rely on surveys and heuristics. We develop a general and novel optimization framework to guide the bike lane planning from bike trajectories. Methodology: We formalize the bike lane planning problem in view of the cyclists’ utility functions and derive an integer optimization model to maximize the utility. To capture cyclists’ route choices, we develop a bilevel program based on the Multinomial Logit model. Results: We derive structural properties about the base model and prove that the Lagrangian dual of the bike lane planning model is polynomial-time solvable. Furthermore, we reformulate the route-choice-based planning model as a mixed-integer linear program using a linear approximation scheme. We develop tractable formulations and efficient algorithms to solve the large-scale optimization problem. Managerial implications: Via a real-world case study with a city government, we demonstrate the efficiency of the proposed algorithms and quantify the trade-off between the coverage of bike trips and continuity of bike lanes. We show how the network topology evolves according to the utility functions and highlight the importance of understanding cyclists’ route choices. The proposed framework drives the data-driven urban-planning scheme in smart city operations management.

scholarly journals A new mathematical model for determining optimal workforce planning of pilots in an airline company

2021 ◽  
Author(s):  
İbrahim Zeki Akyurt ◽  
Yusuf Kuvvetli ◽  
Muhammet Deveci ◽  
Harish Garg ◽  
Mert Yuzsever
Keyword(s):  
Mathematical Model ◽  
Workforce Planning ◽  
Resource Planning ◽  
Planning Horizon ◽  
Mixed Integer ◽  
Planning Problem ◽  
Real World Data ◽  
Planning Decision ◽  
Airline Company

AbstractThis study aims to model a workforce-planning problem of pilot roles which include captain and first officer in an airline company and to make an efficient plan having maximal utilization of minimum workforce requirements. To tackle this problem, a mixed integer programming based a new mathematical model is proposed. The model considers different conditions such as employing pilots with different skill types, resignations, retirements, holidays of pilots, transitions between different skills regarding needs of the demands during the planning horizon. The application of the proposed approach is investigated using a case study with real-world data from an airline company in Turkey. The results show that a company can use transitions instead of new employment and this is a more suitable medium-term production and human resource planning decision.

scholarly journals Impact Evaluation of Bike-Sharing on Bicycling Accessibility

2020 ◽  
Vol 12 (15) ◽  
pp. 6124 ◽  
Author(s):  
Mingzhu Song ◽  
Kaiping Wang ◽  
Yi Zhang ◽  
Meng Li ◽  
He Qi ◽  
...  
Keyword(s):  
Significant Influence ◽  
Real World ◽  
Transportation Planning ◽  
Impact Evaluation ◽  
Critical Aspect ◽  
Location Data ◽  
Bike Sharing ◽  
The Impact ◽  
Better Than

The presence of bike-sharing has a significant influence on the ease of trips by bike, which is one critical aspect of bicycling accessibility (BAcc). The existing measurements of BAcc rarely consider the factor of ownership of bikes, which means that no distinction is made between private-bikes and shared bikes. To measure BAcc more fully, this paper proposes a method to evaluate the influences of bike-sharing on BAcc and to perform the method on a real-world case study in Beijing. It is found that bike-sharing has a boosting effect on BAcc, and the increased rate of BAcc is significantly affected by bicycling frequency and shared-bike availability. A case study in Beijing utilizing geo-location data collected from two major bike-sharing companies (OFO and Mo-bike) illustrates the significance of the impact of bike-sharing on BAcc and the necessity to include bike-sharing in the measurement of BAcc. Besides, the case study shows BAcc around the transit station is better than that over the whole area. Given that bicycling feeds transit, this research lays the foundation for analyzing the combination of bike-sharing and transit from the perspective of accessibility and can further support transportation planning.

scholarly journals Single Real Goal, Magnitude-Based Deceptive Path-Planning

Entropy ◽  
2020 ◽  
Vol 22 (1) ◽  
pp. 88 ◽  
Author(s):  
Kai Xu ◽  
Yunxiu Zeng ◽  
Long Qin ◽  
Quanjun Yin
Keyword(s):  
Integer Programming ◽  
Path Planning ◽  
Real World ◽  
Mixed Integer ◽  
Public Security ◽  
Planning Problem ◽  
Recent Developments ◽  
Goal Recognition ◽  
Path Planning Problem ◽  
Real Goal

Deceptive path-planning is the task of finding a path so as to minimize the probability of an observer (or a defender) identifying the observed agent’s final goal before the goal has been reached. It is one of the important approaches to solving real-world challenges, such as public security, strategic transportation, and logistics. Existing methods either cannot make full use of the entire environments’ information, or lack enough flexibility for balancing the path’s deceptivity and available moving resource. In this work, building on recent developments in probabilistic goal recognition, we formalized a single real goal magnitude-based deceptive path-planning problem followed by a mixed-integer programming based deceptive path maximization and generation method. The model helps to establish a computable foundation for any further imposition of different deception concepts or strategies, and broadens its applicability in many scenarios. Experimental results showed the effectiveness of our methods in deceptive path-planning compared to the existing one.

scholarly journals Outpatient Appointment Optimization: A Case Study of a Chemotherapy Service

2022 ◽  
Vol 12 (2) ◽  
pp. 659
Author(s):  
Quoc Nhat Han Tran ◽  
Nhan Quy Nguyen  ◽  
Hicham Chehade ◽  
Lionel Amodeo ◽  
Farouk Yalaoui
Keyword(s):  
Historical Data ◽  
Flow Shop ◽  
Mixed Integer ◽  
Hybrid Flow Shop ◽  
Planning Problem ◽  
Multiple Time ◽  
Time Lags ◽  
Outpatient Appointment ◽  
Flow Shop Problem

In this paper, we study a complex outpatient planning problem in the chemotherapy department. The planning concerns sequences of patients’ treatment sessions subject to exact in-between resting periods (i.e., exact time-lags). The planning is constrained by the hospital infrastructure and the availability of medical staff (i.e., multiple time-varying resources’ availability). In order to maximize the patients’ service quality, the objective of the function considered is to minimize the total wait times, which is equivalent to the criteria for minimizing the total completion time. Our main contribution is a thorough analysis of this problem, using the Hybrid Flow Shop problem as a theoretical framework to study the problem. A novel Mixed Integer Linear Programming (MILP) is introduced. Concerning the resolution methods, priority-based heuristics and an adapted genetic algorithm (GA) are presented. Numerical experiments are conducted on historical data to compare the performances of the approximate resolution methods against the MILP solved by CPLEX. Numerical results confirm the performances of the proposed methods.

scholarly journals Modeling Lean and Agile Approaches: A Western Canadian Forest Company Case Study

Forests ◽  
2018 ◽  
Vol 9 (9) ◽  
pp. 529
Author(s):  
Francisco Vergara ◽  
Cristian Palma ◽  
John Nelson
Keyword(s):  
Supply Chain ◽  
Production Capacity ◽  
Mixed Integer ◽  
Forest Industry ◽  
Planning Problem ◽  
Demand Fulfillment ◽  
For Profit ◽  
Forest Supply Chain ◽  
Manufacturing Environments

In the forest supply chain of the coast of British Columbia, the material flows are directed toward the push production of commodity products. This industry has not adopted lean and agile principles due to unclear economic impacts on the supply chain in changing market conditions. We tested the ability of lean and agile principles to improve performance in the coastal integrated forest industry. Mixed integer programming formulations were subject to over–under production capacity, and over–under demand fulfillment penalties to emulate agile, lean, and hybrid manufacturing environments, when solving the planning problem. Assuming that the coastal integrated forest industry performs as a hybrid environment, the profit results of each manufacturing environment were judged. The results show that, opportunities for profit improvement were 11% for adopting an agile environment when demand was stable with low variation and large batches of production. However, profit improvement was non-existent when the same demand attributes apply but with high variation. The opportunities for profit improvement were 12% when an agile environment or lean environment was adopted when demand was stable with low variation and small batches of production. However, opportunities for profit improvements of 15% existed for adopting an agile environment when demand was unstable with high variation and small batches of production.

Qualitative Case Study Research Design

2015 ◽  
Vol 25 (1) ◽  
pp. 39-45 ◽  
Author(s):  
Jennifer Tetnowski
Keyword(s):  
Research Design ◽  
Real World ◽  
Qualitative Case Study ◽  
Case Study Research ◽  
Study Research

Qualitative case study research can be a valuable tool for answering complex, real-world questions. This method is often misunderstood or neglected due to a lack of understanding by researchers and reviewers. This tutorial defines the characteristics of qualitative case study research and its application to a broader understanding of stuttering that cannot be defined through other methodologies. This article will describe ways that data can be collected and analyzed.

SenCity – Evaluating Users’ Experiences of Intelligent Lighting for Well-Being in Smart Cities

2018 ◽  
pp. 60-67
Author(s):  
Henrika Pihlajaniemi ◽  
Anna Luusua ◽  
Eveliina Juntunen
Keyword(s):  
Case Studies ◽  
Smart City ◽  
Smart Cities ◽  
Well Being ◽  
Evaluation Methods ◽  
Data Analyses ◽  
Sense Of Security ◽  
System Data

This paper presents the evaluation of usersХ experiences in three intelligent lighting pilots in Finland. Two of the case studies are related to the use of intelligent lighting in different kinds of traffic areas, having emphasis on aspects of visibility, traffic and movement safety, and sense of security. The last case study presents a more complex view to the experience of intelligent lighting in smart city contexts. The evaluation methods, tailored to each pilot context, include questionnaires, an urban dashboard, in-situ interviews and observations, evaluation probes, and system data analyses. The applicability of the selected and tested methods is discussed reflecting the process and achieved results.

scholarly journals Analysis of the System of Controlling Paid Parking Zones

2021 ◽  
Vol 13 (8) ◽  
pp. 4211
Author(s):  
Maciej Kozłowski ◽  
Andrzej Czerepicki ◽  
Piotr Jaskowski ◽  
Kamil Aniszewski
Keyword(s):  
Control System ◽  
Smart City ◽  
Measurement Errors ◽  
Fundamental Problem ◽  
Urban Traffic ◽  
Statistical Dependence ◽  
Actual State ◽  
Event Time ◽  
Operational Data

Urban traffic can be curbed in various ways, for instance, by introducing paid unguarded parking zones (PUPZ). The operational functionality of this system depends on whether or not the various system features used to document parking cases function properly, including those which enable positioning of vehicles parked in the PUPZ, recognition of plate numbers, event time recording, and the correct anonymisation of persons and other vehicles. The most fundamental problem of this system is its reliability, understood as the conformity of control results with the actual state of matters. This characteristic can be studied empirically, and this article addresses the methodology proposed for such an examination, discussed against a case study. The authors have analysed the statistical dependence of the e-control system’s measurement errors based on operational data. The results of this analysis confirm the rationale behind the deployment of the e-control system under the implementation of the smart city concept in Warsaw.

scholarly journals Normal form approach in the motion planning of space robots: a case study

2021 ◽  
Author(s):  
Krzysztof Tchoń ◽  
Katarzyna Zadarnowska
Keyword(s):  
Normal Form ◽  
Motion Planning ◽  
Normal Forms ◽  
Inverse Dynamics ◽  
Planning Problem ◽  
Inverse Dynamics Problem ◽  
Velocity Level ◽  
Form Approach ◽  
Space Approach

AbstractWe examine applicability of normal forms of non-holonomic robotic systems to the problem of motion planning. A case study is analyzed of a planar, free-floating space robot consisting of a mobile base equipped with an on-board manipulator. It is assumed that during the robot’s motion its conserved angular momentum is zero. The motion planning problem is first solved at velocity level, and then torques at the joints are found as a solution of an inverse dynamics problem. A novelty of this paper lies in using the chained normal form of the robot’s dynamics and corresponding feedback transformations for motion planning at the velocity level. Two basic cases are studied, depending on the position of mounting point of the on-board manipulator. Comprehensive computational results are presented, and compared with the results provided by the Endogenous Configuration Space Approach. Advantages and limitations of applying normal forms for robot motion planning are discussed.

scholarly journals Challenges and Barriers for Net‐Zero/Positive Energy Buildings and Districts—Empirical Evidence from the Smart City Project SPARCS

Buildings ◽  
2021 ◽  
Vol 11 (2) ◽  
pp. 78
Author(s):  
Daria Uspenskaia ◽  
Karl Specht ◽  
Hendrik Kondziella ◽  
Thomas Bruckner
Keyword(s):  
Smart City ◽  
Urban Areas ◽  
Smart Cities ◽  
Scale Up ◽  
Practical Experience ◽  
Positive Energy ◽  
Low Carbon ◽  
Net Zero ◽  
Multidimensional Representation

Without decarbonizing cities energy and climate objectives cannot be achieved as cities account for approximately two thirds of energy consumption and emissions. This goal of decarbonizing cities has to be facilitated by promoting net-zero/positive energy buildings and districts and replicating them, driving cities towards sustainability goals. Many projects in smart cities demonstrate novel and groundbreaking low-carbon solutions in demonstration and lighthouse projects. However, as the historical, geographic, political, social and economic context of urban areas vary greatly, it is not always easy to repeat the solution in another city or even district. It is therefore important to look for the opportunities to scale up or repeat successful pilots. The purpose of this paper is to explore common trends in technologies and replication strategies for positive energy buildings or districts in smart city projects, based on the practical experience from a case study in Leipzig—one of the lighthouse cities in the project SPARCS. One of the key findings the paper has proven is the necessity of a profound replication modelling to deepen the understanding of upscaling processes. Three models analyzed in this article are able to provide a multidimensional representation of the solution to be replicated.

Sign in / Sign up

Export Citation Format

Share Document