scholarly journals Formal Modeling of Responsive Traffic Signaling System Using Graph Theory and VDM-SL

2021 ◽  
Vol 13 (21) ◽  
pp. 11772
Author(s):  
Afifa Nawaz ◽  
Nazir Ahmad Zafar ◽  
Eman H. Alkhammash
Keyword(s):  
Graph Theory ◽  
Urban Areas ◽  
Formal Method ◽  
Formal Model ◽  
Smart Cities ◽  
Unified Modeling Language ◽  
Traffic Monitoring ◽  
Signaling System ◽  
Signaling Systems ◽  
Emergency Vehicles

Internet of things (IoT) is playing a major role in smart cities to make a digital environment. Traffic congestion is a serious road issue because of an increasing number of vehicles in urban areas. Some crucial traffic problems include accidents and traffic jams that cause waste of fuel, health diseases, and a waste of time. Present traffic signaling systems are not efficient in resolving congestion problems because of the lack of traffic signals. Nowadays, traffic signaling systems are modeled with fixed time intervals in which no proper mechanism for emergency vehicles is available. Such traffic mechanisms failed to deal with traffic problems effectively. The major objective is to establish a robust traffic monitoring and signaling system that improves signal efficiency by providing a responsive scheme; appropriate routes; a mechanism for emergency vehicles and pedestrians in real-time using Vienna Development Method Specification Language (VDM-SL) formal method and graph theory. A formal model is constructed by considering objects, such as wireless sensors and cameras that are used for collecting information. Graph theory is used to represent the network and find appropriate routes. Unified Modeling Language is used to design the system requirements. The graph-based framework is converted into a formal model by using VDM-SL. The model has been validated and analyzed using many facilities available in the VDM-SL toolbox.

scholarly journals A cloud-based cognitive computing solution with interoperable applications to counteract illegal dumping in smart cities

2021 ◽  
Author(s):  
Mauro Coccoli ◽  
Vincenzo De Francesco ◽  
Antonio Fusco ◽  
Paolo Maresca
Keyword(s):  
Urban Areas ◽  
Visual Recognition ◽  
Smart Cities ◽  
Traffic Monitoring ◽  
Cognitive Computing ◽  
Development Environment ◽  
Illegal Dumping ◽  
Alerting System ◽  
Environment Control ◽  
Control And Management

AbstractThe study presented in this paper is the outcome of the activity carried on within the program “Party Cloud Challenge per Genova”, promoted by IBM in collaboration with the city municipality of Genoa, Italy. This challenge aimed to show how using cognitive computing solutions in an integrated cloud-based development environment enables the rapid deployment of advanced services with interoperable applications. Specifically, we investigated a solution to cope with the problem of illegal dumping prevention in a smart city. In this respect, we will describe the study of the prototype of an automated visual recognition and alerting system. The presented solution relies on the use of cognitive computing technologies to analyze videos provided by cameras installed in urban areas, to identify trash, especially bulky waste, where it should not be, and trigger an alarm to the municipality. In particular, we want to take advantage of the pictures, frames and videos continuously recorded by cameras installed for traffic monitoring, for surveillance, etc. in smart cities where the waste management system is supposed to be integrated with other municipality services for environment control and management. Besides, an organization plan is also proposed for intelligent waste collection as well as some organizational ideas for scalability.

scholarly journals TIME-RELATED QUALITY DIMENSIONS OF URBAN REMOTELY SENSED BIG DATA

2018 ◽  
Vol XLII-4 ◽  
pp. 315-320 ◽  
Author(s):  
Z. Kugler ◽  
G. Szabó ◽  
H. M. Abdulmuttalib ◽  
C. Batini ◽  
H. Shen ◽  
...  
Keyword(s):  
Big Data ◽  
Data Quality ◽  
Spatial Data ◽  
Urban Areas ◽  
Smart Cities ◽  
Remotely Sensed ◽  
Traffic Monitoring ◽  
Remotely Sensed Data ◽  
Related Quality ◽  
Quality Dimensions

<p><strong>Abstract.</strong> Our rapidly changing world requires new sources of image based information. The quickly changing urban areas, the maintenance and management of smart cities cannot only rely on traditional techniques based on remotely sensed data, but also new and progressive techniques must be involved. Among these technologies the volunteer based solutions are getting higher importance, like crowd-sourced image evaluations, mapping by satellite based positioning techniques or even observations done by unskilled people. Location based intelligence has become an everyday practice of our life. It is quite enough to mention the weather forecast and traffic monitoring applications, where everybody can act as an observer and acquired data – despite their heterogeneity in quality – provide great value. Such value intuitively increases when data are of better quality. In the age of visualization, real-time imaging, big data and crowd-sourced spatial data have revolutionary transformed our general applications. Most important factors of location based decisions are the time-related quality parameters of the used data. In this paper several time-related data quality dimensions and terms are defined. The paper analyses the time sensitive data characteristics of image-based crowd-sourced big data, presents quality challenges and perspectives of the users. The data quality analyses focus not only on the dimensions, but are also extended to quality related elements, metrics. The paper discusses the connection of data acquisition and processing techniques, considering even the big data aspects. The paper contains not only theoretical sections, strong practice-oriented examples on detecting quality problems are also covered. Some illustrative examples are the OpenStreetMap (OSM), where the development of urbanization and the increasing process of involving volunteers can be studied. This framework is continuing the previous activities of the Remote Sensing Data Quality Working Group (ICWGIII/IVb) of the ISPRS in the topic focusing on the temporal variety of our urban environment.</p>

Spatial Autocorrelation in the Study of Neighbourhoods towards Smart Cities: Empirical Evidence from Kerman, Iran

2012 ◽  
Vol 9 (2) ◽  
pp. 1
Author(s):  
Asra Hosseini
Keyword(s):  
Spatial Autocorrelation ◽  
Urban Areas ◽  
Smart Cities ◽  
Moran’S I ◽  
Moran's I ◽  
Urban Planner ◽  
Universal Feature ◽  
Autocorrelation Method ◽  
Selection Of

From earliest cities to the present, spatial division into residential zones and neighbourhoods is the universal feature of urban areas. This study explored issue of measuring neighbourhoods through spatial autocorrelation method based on Moran's I index in respect of achieving to best neighbourhoods' model for forming cities smarter. The research carried out by selection of 35 neighbourhoods only within central part of traditional city of Kerman in Iran. The results illustrate, 75% of neighbourhoods' area in the inner city of Kerman had clustered pattern, and it shows reduction in Moran's index is associated with disproportional distribution of density and increasing in Moran's I and Z-score have monotonic relation with more dense areas and clustered pattern. It may be more efficient for urban planner to focus on spatial autocorrelation to foster neighbourhood cohesion rather than emphasis on suburban area. It is recommended characteristics of historic neighbourhoods can be successfully linked to redevelopment plans toward making city smarter, and also people's quality of life can be related to the way that neighbourhoods' patterns are defined. 

Smart Cities and Smart Regulation

2018 ◽  
Author(s):  
Anita Rønne
Keyword(s):  
Climate Change ◽  
Urban Areas ◽  
Fossil Fuels ◽  
System Analysis ◽  
New Technologies ◽  
Smart Cities ◽  
Renewable Energy Sources ◽  
Energy System ◽  
Political Agenda ◽  
Smart Regulation

Increasing focus on sustainable societies and ‘smart cities’ due to emphasis on mitigation of climate change is simultaneous with ‘smart regulation’ reaching the forefront of the political agenda. Consequently, the energy sector and its regulation are undergoing significant innovation and change. Energy innovations include transition from fossil fuels to more renewable energy sources and application of new computer technology, interactively matching production with consumer demand. Smart cities are growing and projects are being initiated for development of urban areas and energy systems. Analysis from ‘Smart Cities Accelerator’, developed under the EU Interreg funding programme that includes Climate-KIC,——provides background for the focus on a smart energy system. Analysis ensures the energy supply systems support the integration of renewables with the need for new technologies and investments. ‘Smart’ is trendy, but when becoming ‘smart’ leads to motivation that is an important step towards mitigating climate change.

scholarly journals Smart Cities in Turkey: Approaches, Advances and Applications with Greater Consideration for Future Urban Transport Development

Energies ◽  
2019 ◽  
Vol 12 (12) ◽  
pp. 2308 ◽  
Author(s):  
Can Bıyık
Keyword(s):  
Urban Areas ◽  
Planning Process ◽  
Smart Cities ◽  
Radical Change ◽  
Urban Transport ◽  
Transport Systems ◽  
Structured Interviews ◽  
Policy Makers ◽  
Comprehensive Survey ◽  
Future Vision

The smart city transport concept is viewed as a future vision aiming to undertake investigations on the urban planning process and to construct policy-pathways for achieving future targets. Therefore, this paper sets out three visions for the year 2035 which bring about a radical change in the level of green transport systems (often called walking, cycling, and public transport) in Turkish urban areas. A participatory visioning technique was structured according to a three-stage technique: (i) Extensive online comprehensive survey, in which potential transport measures were researched for their relevance in promoting smart transport systems in future Turkish urban areas; (ii) semi-structured interviews, where transport strategy suggestions were developed in the context of the possible imaginary urban areas and their associated contextual description of the imaginary urban areas for each vision; (iii) participatory workshops, where an innovative method was developed to explore various creative future choices and alternatives. Overall, this paper indicates that the content of the future smart transport visions was reasonable, but such visions need a considerable degree of consensus and radical approaches for tackling them. The findings offer invaluable insights to researchers inquiring about the smart transport field, and policy-makers considering applying those into practice in their local urban areas.

scholarly journals iBikeSafe: A Multi-Parameter System for Monitoring, Evaluation and Visualization of Cycling Paths in Smart Cities Targeted at Cycling Adverse Conditions

Smart Cities ◽  
2021 ◽  
Vol 4 (3) ◽  
pp. 1058-1086
Author(s):  
Franklin Oliveira ◽  
Daniel G. Costa ◽  
Luciana Lima ◽  
Ivanovitch Silva
Keyword(s):  
Urban Areas ◽  
Smart Cities ◽  
Large City ◽  
Health And Safety ◽  
Parameter System ◽  
Urban Centers ◽  
Adverse Conditions ◽  
Last Mile ◽  
Real Scenario

The fast transformation of the urban centers, pushed by the impacts of climatic changes and the dramatic events of the COVID-19 Pandemic, will profoundly influence our daily mobility. This resulted scenario is expected to favor adopting cleaner and flexible modal solutions centered on bicycles and scooters, especially as last-mile options. However, as the use of bicycles has rapidly increased, cyclists have been subject to adverse conditions that may affect their health and safety when cycling in urban areas. Therefore, whereas cities should implement mechanisms to monitor and evaluate adverse conditions in cycling paths, cyclists should have some effective mechanism to visualize the indirect quality of cycling paths, eventually supporting choosing more appropriate routes. Therefore, this article proposes a comprehensive multi-parameter system based on multiple independent subsystems, covering all phases of data collecting, formatting, transmission, and processing related to the monitoring, evaluating, and visualizing the quality of cycling paths in the perspective of adverse conditions that affect cyclist. The formal interactions of all modules are carefully described, as well as implementation and deployment details. Additionally, a case study is considered for a large city in Brazil, demonstrating how the proposed system can be adopted in a real scenario.

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.

The importance of public support in the implementation of green transportation in smart cities using smart vehicle bicycle communication transport

2020 ◽  
Vol 38 (5/6) ◽  
pp. 997-1011
Author(s):  
Ning Li ◽  
Parthasarathy R. ◽  
Harshila H. Padwal
Keyword(s):  
Smart Cities ◽  
Optimization Technique ◽  
Public Support ◽  
Weather Conditions ◽  
Transport Systems ◽  
Content Type ◽  
Signaling Systems ◽  
Traffic Conditions ◽  
Green Transportation ◽  
Smart Vehicle

Purpose Smart mobility is a major guideline in the development of Smart Cities’ transport systems and management. The issue of transition into green, secure and sustainable transport modes, such as using bicycles, should be implemented in this case, along with the subjectivism of management. Design/methodology/approach The proposed technology reflects the Smart Bicycle vehicle model, which tracks cyclists and weather conditions and turns to electric motors in critical circumstances. Findings This reduces the physical load and battery consumption of cyclists which affects the Smart Cities’ ecology positively. Originality/value In Smart Vehicle Bicycle Communication Transport, the vehicle movement optimization technique is used for traffic scenarios to analyze traffic signaling systems that give better results in variable and dense traffic conditions.

FPGA and ASIC implementation of the algorithm for traffic monitoring in urban areas

2011 ◽  
Vol 59 (2) ◽  
pp. 137-140 ◽  
Author(s):  
S. Szczepański ◽  
M. Wöjcikowski ◽  
B. Pankiewicz ◽  
M. KŁosowski ◽  
R. Żaglewski
Keyword(s):  
Urban Areas ◽  
Traffic Monitoring ◽  
Detection Algorithm ◽  
Frame Rate ◽  
Integrated Sensor ◽  
The Road ◽  
Moving Vehicles ◽  
Direction Of Movement ◽  
Account Due ◽  
Selection Of

FPGA and ASIC implementation of the algorithm for traffic monitoring in urban areas This paper describes the idea and the implementation of the image detection algorithm, that can be used in integrated sensor networks for environment and traffic monitoring in urban areas. The algorithm is dedicated to the extraction of moving vehicles from real-time camera images for the evaluation of traffic parameters, such as the number of vehicles, their direction of movement and their approximate speed. The authors, apart from the careful selection of particular steps of the algorithm towards hardware implementation, also proposed novel improvements, resulting in increasing the robustness and the efficiency. A single, stationary, monochrome camera is used, simple shadow and highlight elimination is performed. The occlusions are not taken into account, due to placing the camera at a location high above the road. The algorithm is designed and implemented in pipelined hardware, therefore high frame-rate efficiency has been achieved. The algorithm has been implemented and tested in FPGA and ASIC.

Sign in / Sign up

Export Citation Format

Share Document