Search results for: knowledge city and smart city

Authors: Prodipta Bhowmik, Poulami Saha, Preety Mehra, Yogesh Soni, Triloki Nath Jha

Abstract:

In India, the smart city concept is growing day by day. So, for smart city development, a better traffic management and monitoring system is a very important requirement. Nowadays, road accidents increase due to more vehicles on the road. Reckless driving is mainly responsible for a huge number of accidents. So, an efficient traffic management system is required for all kinds of roads to control the traffic speed. The speed limit varies from road to road basis. Previously, there was a radar system but due to high cost and less precision, the radar system is unable to become favorable in a traffic management system. Traffic management system faces different types of problems every day and it has become a researchable topic on how to solve this problem. This paper proposed a computer vision and machine learning-based automated system for multiple vehicle detection, tracking, and speed estimation of vehicles using image processing. Detection of vehicles and estimating their speed from a real-time video is tough work to do. The objective of this paper is to detect vehicles and estimate their speed as accurately as possible. So for this, a real-time video is first captured, then the frames are extracted from that video, then from that frames, the vehicles are detected, and thereafter, the tracking of vehicles starts, and finally, the speed of the moving vehicles is estimated. The goal of this method is to develop a cost-friendly system that can able to detect multiple types of vehicles at the same time.

Keywords: OpenCV, Haar Cascade classifier, DLIB, YOLOV3, centroid tracker, vehicle detection, vehicle tracking, vehicle speed estimation, computer vision

Procedia PDF Downloads 84

Authors: Fazli Rahim Shinwari, Ulrich Dittmer

Abstract:

Like many megacities around the world, Kabul is facing severe problems due to the rising frequency of urban flooding. Since 2001, Kabul is experiencing rapid population growth because of the repatriation of refugees and internal migration. Due to unplanned development, green areas inside city and hilly areas within and around the city are converted into new housing towns that had increased runoff. Trenches along the roadside comprise the unplanned drainage network of the city that drains the combined sewer flow. In rainy season overflow occurs, and after streets become dry, the dust particles contaminate the air which is a major cause of air pollution in Kabul city. In this study, a stormwater management model is introduced as a basis for a systematic approach to urban drainage planning in Kabul. For this purpose, Kabul city is delineated into 8 watersheds with the help of one-meter resolution LIDAR DEM. Storm, water management model, is developed for Wazirabad catchment by using available data and literature values. Due to lack of long term metrological data, the model is only run for hourly rainfall data of a rain event that occurred in April 2016. The rain event from 1st to 3rd April with maximum intensity of 3mm/hr caused huge flooding in Wazirabad Catchment of Kabul City. Model-estimated flooding at some points of the catchment as an actual measurement of flooding was not possible; results were compared with information obtained from local people, Kabul Municipality and Capital Region Independent Development Authority. The model helped to identify areas where flooding occurred because of less capacity of drainage system and areas where the main reason for flooding is due to blockage in the drainage canals. The model was used for further analysis to find a sustainable solution to the problem. The option to construct new canals was analyzed, and two new canals were proposed that will reduce the flooding frequency in Wazirabad catchment of Kabul city. By developing the methodology to develop a stormwater management model from digital data and information, the study had fulfilled the primary objective, and similar methodology can be used for other catchments of Kabul city to prepare an emergency and long-term plan for drainage system of Kabul city.

Keywords: urban hydrology, storm water management, modeling, SWMM, GEO-SWMM, GIS, identification of flood vulnerable areas, urban flooding analysis, sustainable urban drainage

Procedia PDF Downloads 153

Authors: Hilda Fitria Lubis, Erna Sulistyawati

Abstract:

Objective: The study aims to compare Leeway space averages between Moyers and Tanaka-Johnston's analysis of elementary school students from the Batak tribe in Medan City. Material and Methods: The study involved 106 students from the Batak tribe elementary school in Medan, comprising 53 male and 53 female students. The samples obtained were then printed on both jaws to obtain a working model, and the mesiodistal width of the four permanent biting teeth of the lower jaw and the amount of space available on the canine-premolar region, as well as the predicted mesiodistal number of the canine-premolar on the Moyers probability table with a 75% degree of confidence and the Tanaka-Johnston formula. Results: Using Moyers analysis, students at Batak Elementary School in Medan City have an average Leeway space value of 2 mm on the upper jaw and 2.78 mm on the lower jaw. The average Leeway spatial value using Tanaka-Johnston analysis in the Batak tribe in elementary school in Medan City is 1.33 mm on the top jaw and 2.39 mm on the bottom jaw. Conclusion: According to Moyers and Tanaka-Johnsnton's analysis of both the upper and lower jaws in elementary school students of the Batak tribe in Medan City, there is a significant difference between Leeway's average space.

Keywords: leeways space, batak tribe, genders, diagnosis

Procedia PDF Downloads 31

Authors: Grzegorz Baranski, Piotr Kacejko, Konrad Pietrykowski, Mariusz Duk

Abstract:

This paper discusses a model of a bus-driving scheme. Rapid changes in speed result in a constantly changing kinetic energy accumulated in a bus mass and an increased fuel consumption due to hardly recuperated kinetic energy. The model is based on the results achieved from chassis dynamometer, airport and city street researches. The verified model was applied to simulate the mechanical energy recuperation during the Japanese JE05 Emission Test Cycle. The simulations were performed for several values of vehicle mass. The research results show that fuel economy is impacted by kinetic energy recuperation.

Keywords: heavy duty vehicle, city bus, Japanese JE05 test cycle, kinetic energy, simulations

Procedia PDF Downloads 214

Authors: Sabeeh Lafta Farhan, Ihsan Abbass Jasim, Sohaib Kareem Al-Mamoori

Abstract:

This study addresses the subject of transformation of urban structures and how does this transformation affect the character of traditional cities, which represents the research issue. Hence, the research has aimed at studying and learning about the urban structure characteristics and morphological transformation features in the traditional cities centers, and to look for means and methods to preserve the character of those cities. Cities are not merely locations inhabited by a large number of people, they are political and legal entities, in addition to economic activities that distinguish these cities, thus, they are a complex set of institutions, and the transformation in urban environment cannot be recognized without understanding these relationships. The research presumes an existing impact of urbanization on the properties of traditional structure of the Holy City of Najaf. The research has defined urbanization as restructuring and re-planning of urban areas that have lost their functions and bringing them into social and cultural life in the city, to be able to serve economy in order to better respond to the needs of users. Sacred Cities provide the organic connection between acts of worship and dealings and reveal the mechanisms and reasons behind the regulatory nature of the sacred shrine and their role in achieving organizational assimilation of urban morphology. The research has reached a theoretical framework of the particulars of urbanization. This framework has been applied to the historic center of the old city of Najaf, where the most important findings of the research were that the visual and structural dominant presence of holy shrine of Imam Ali (peace be upon him) remains to emphasize the visual particularity, and the main role of the city, which hosts one of the most important Muslim shrines in the world, in addition to the visible golden dome rising above the skyline, and the Imam Ali Mosque the hub and the center for religious activities. Thus, in view of being a place of main importance and a symbol of religious and Islamic culture, it is very important to have the shrine of Imam Ali (AS) prevailing on all zones of re-development in the old city. Consequently, the research underlined that the distinctive and unique character of the city of Najaf did not proceed from nothing, but was achieved through the unrivaled characteristics and features possessed by the city of Najaf alone, which allowed it and enabled it to occupy this status among the Arab and Muslim cities. That is why the activities arising from the development have to enhance the historical role of the city in order to have this development as clear support, strength and further addition to the city assets and its cultural heritage, and not seeing the developmental activities crushing the city urban traditional fabric, cultural heritage and its historical specificity.

Keywords: Iraq, the city of Najaf, heritage, traditional cities, morphological transformation

Procedia PDF Downloads 314

Authors: Chen Wang, Qiuxiao Chen

Abstract:

With the advent of the information age and the era of big data, urban planning research is no longer satisfied with the analysis and application of traditional data. Because of the limitations of traditional urban commercial center system research, big data provides new opportunities for urban research. Therefore, based on the quantitative evaluation method of big data, the commercial center system of the main city of Hangzhou is analyzed and evaluated, and the scale and hierarchical structure characteristics of the urban commercial center system are studied. In order to make up for the shortcomings of the existing POI extraction method, it proposes a POI extraction method based on adaptive adjustment of search window, which can accurately and efficiently extract the POI data of commercial business in the main city of Hangzhou. Through the visualization and nuclear density analysis of the extracted Point of Interest (POI) data, the current situation of the commercial center system in the main city of Hangzhou is evaluated. Then it compares with the commercial center system structure of 'Hangzhou City Master Plan (2001-2020)', analyzes the problems existing in the planned urban commercial center system, and provides corresponding suggestions and optimization strategy for the optimization of the planning of Hangzhou commercial center system. Then get the following conclusions: The status quo of the commercial center system in the main city of Hangzhou presents a first-level main center, a two-level main center, three third-level sub-centers, and multiple community-level business centers. Generally speaking, the construction of the main center in the commercial center system is basically up to standard, and there is still a big gap in the construction of the sub-center and the regional-level commercial center, further construction is needed. Therefore, it proposes an optimized hierarchical functional system, organizes commercial centers in an orderly manner; strengthens the central radiation to drive surrounding areas; implements the construction guidance of the center, effectively promotes the development of group formation and further improves the commercial center system structure of the main city of Hangzhou.

Keywords: business center system, business format, main city of Hangzhou, POI extraction method

Procedia PDF Downloads 140

Authors: S. Mohammad Reza Khatibi

Abstract:

Statistics on urbanization in Iran and around the world show that urbanization rate and urban population had had an increasing growth and, during five decades, this trend shows the fact that growth will still continue for a long time. Therefore, instead of an irregular horizontal city development and growth, a sustainable development is achievable by filling the existing city fabric, organizing the density and changing the use of incompatible old or urban buildings. One approach is the infill development. Infill development is the development of vacant land or wasteland abandoned within built areas or where there already exist facilities and equipment. Simply put, infill development is the use of empty spaces or those lacking intra-city use for city development. Additionally, fulfillment of social justice and creating a safe, secure and desirable atmosphere for citizens to live and stay active along with acquiring equal life opportunities, are among the goals of vision plan of Iran in conflict with which, certain environments have been created by city neighborhoods having physical, social, economic, etc. problems. Accordingly, in order to meet the extensive need of many cities for openness to growing population, this paper aims to investigate the relationship between infill development indicators and life quality in urban neighborhoods, using descriptive-analytical research method. Findings show that infill development indicators in three physical, social and economic categories can be adapted with quality components of urban environments, especially urban neighborhoods, and related guidelines can be offered.

Keywords: infill development, life quality, urban neighborhoods, indicator

Procedia PDF Downloads 359

Authors: Yun Zhang, Zhu Wang

Abstract:

Renewing ancient residential areas is an integral part of the sustainable development of modern cities. Compared with a metropolis, the old areas of small and medium-sized cities is more complicated to update, as the spatial form is more fragmented. In this context, the author takes as the research object, the ancient town of Changshu City, which is a small city representative in China with a history of more than 1,200 years. Through the analysis of urban research and update projects, the spatial evolution characteristics and renewal strategies of small ancient urban settlements are studied. On this basis, it is proposed to protect the residential area from the perspective of integrity and sustainability, strengthen the core public part, control the district building, and reshape the important interface. Renewing small and medium-sized urban areas should respect the rhythm of their own urban development and gradually complete the update, not blindly copying the experience of large cities.

Keywords: ancient residential area, Changshu, city renewal strategy, small and medium-sized cities

Procedia PDF Downloads 117

Authors: Alae El Fahsi

Abstract:

This study explores the ‘Tajawob’ app's role in urban development, demonstrating how mobile applications can empower citizens and facilitate urban planning. Tajawob serves as a digital platform for community feedback, engagement, and participatory governance, addressing urban challenges through innovative tech solutions. This research synthesizes data from a variety of sources, including user feedback, engagement metrics, and interviews with city officials, to assess the app’s impact on citizen participation in urban development in Morocco. By integrating advanced data analytics and user experience design, Tajawob has bridged the communication gap between citizens and government officials, fostering a more collaborative and transparent urban planning process. The findings reveal a significant increase in civic engagement, with users actively contributing to urban management decisions, thereby enhancing the responsiveness and inclusivity of urban governance. Challenges such as digital literacy, infrastructure limitations, and privacy concerns are also discussed, providing a comprehensive overview of the obstacles and opportunities presented by mobile app-based citizen engagement platforms. The study concludes with strategic recommendations for scaling the Tajawob model to other contexts, emphasizing the importance of adaptive technology solutions in meeting the evolving needs of urban populations. This research contributes to the burgeoning field of smart city innovations, offering key insights into the role of digital tools in facilitating more democratic and participatory urban environments.

Keywords: smart cities, digital governance, urban planning, strategic design

Procedia PDF Downloads 58

Authors: Malaw Ndiaye, Karim Konate

Abstract:

Smart contracts are computer protocols that facilitate, verify, and execute the negotiation or execution of a contract, or that render a contractual term unnecessary. Blockchain and smart contracts can be used to facilitate almost any financial transaction. Thanks to these smart contracts, the settlement of dividends and coupons could be automated. Smart contracts have become lucrative and profitable targets for attackers because they can hold a great amount of money. Smart contracts, although widely used in blockchain technology, are far from perfect due to security concerns. Since there are recent studies on smart contract security, none of them systematically study the strengths and weaknesses of smart contract security. Some have focused on an analysis of program-related vulnerabilities by providing a taxonomy of vulnerabilities. Other studies are responsible for listing the series of attacks linked to smart contracts. Although a series of attacks are listed, there is a lack of discussions and proposals on improving security. This survey takes stock of smart contract security from a more comprehensive perspective by correlating the level of vulnerability and systematic review of security levels in smart contracts.

Keywords: blockchain, Bitcoin, smart contract, criminal smart contract, security

Procedia PDF Downloads 168

Authors: Jotham Mazhura

Abstract:

Floriculture production is an ideal project for sustainable horticultural production in Masvingo city.Gender links in collaboration with the embasy of Sweedenare supporting the floriculture project with the aim of improving residents livelihoods in the city.World trade in floriculture such as cut flowers,live ornamental plants and foliage continue to increase and there are recognised markets opportunities across the globe.Some specific opportunitiesin an interview discussion by the consultant appointed by gender links and embasy of Sweeden highlightedsome constraints and opportunities in the project of floriculture in Masvingo city.Based on the outcome of the scoping studies this research project developed and evaluated strategies for enhancing floriculture production in Masvingo city. A survey was therefore carried out by the researcher among the existing florists farmers in the city to determine strategies to be employed to improve floriculture production.The survey was conducted to twenty florists in the city.The sample was taken by using purposive sampling which is a sampling technique based on the certain considerations, hence there were some basic creteria in selecting samples. A questionnaire in this aspect was administered to the 20 florists to determine the essential strategies to be employed to enhance floriculture production.Each respondent was given data for the business strategies and asked to rank those strategies from the most to the least important.From the research findings the following were revealed out by the respondents that is capturing marketshare,establishment of of ownership of the project,the project manager to be innovative,the business should gain competitive strategic through generic strategies market development strategy and product development strategy. Based on the observation and structured interview with respondents the average of floriculture owners had similar strategies implemented on their business.The research proved that floriculture farmers use various strategies to keep their businesses running and succeding in achieving set goals.Therefore the ressearche who happens to be the project focal person became certain that it is edeal to emply a variety of of strategies to improve floriculture oproduction

Keywords: florist, floriculture, strategy, livelihoods

Procedia PDF Downloads 86

Authors: Saber Fatourechian

Abstract:

People within modern cities have faced macro urban values spreads rapidly through current style of living. Unexpected phenomena without any specific features of micro scale, humanity and urban social/cultural patterns. The gap between micro and macro scale is unidentified and people could not recognize where they are especially in the interaction between life and city. Urban life details were verified. Micro architecture is a pattern in which human activity derives from human needs in an unconscious position. Sustainable attitude via micro architecture causes flexibility in decision making through micro urbanism essentially impacts macro scale. In this paper the definition of micro architecture and its relation with city and human activity are argued, there after the interaction between micro and macro scale is presented as an effective way for urban sustainable development.

Keywords: micro architecture, sustainability, human activity, city

Procedia PDF Downloads 504

Authors: Seyyed Hossein Alavi, Soudabe Mehri Talarposhti

Abstract:

Passages urban landscape is made up of various components that the component parts of the whole and vice versa has relationships. In today’s cities, we have not seen a dual relationship and only one side of the equation which is the relationships of the component parts are considered. However, the effect of the component to whole is stronger and also longer. This means that every time the outer shell of the building was constructed instant impact on the viewers while it takes a long time to understand the impact of the building in its environment and basically, it seems city portrait has the sensory and untouchable effect on observer. Today, building facades are designated individually and in isolation from the context. Designers are familiar with the details of the facade, but they are not informed with the science of combination and its impact on portrait. The importance of city and also more important than that, the city portrait haven’t confirmed for those involved in the building and authorities and the construction been changed to a market for more glaring taste of designers and attracting more business and the city and its landscape has been forgotten. This essay is an attempt to collect a part of the principles and definitions needed on perspective issues and portrait, and it is hoped that it will open arena for more research and studies in this field and other related fields.

Keywords: facade, urban housing, urban design, sustainable architecture

Procedia PDF Downloads 485

Authors: Qikai Guan

Abstract:

With the deepening of China's urbanization process, the development of urban industry has entered a new period, due to the gradual compounding and diversification of urban industrial functions, urban planning has shifted from the previous single industrial space arrangement and functional design to focusing on the upgrading of the urban structure, and on the diversified needs of people. As an important part of urban activity space, ‘slow moving space’ is of great significance in alleviating urban traffic congestion, optimizing residents' travel experience and improving urban ecological space. Therefore, this paper takes the slow-moving transportation system under the perspective of industry-city integration as the starting point, through sorting out the development needs of the city in the process of industry-city integration, analyzing the characteristics of the site base, sorting out a series of compatibility between the layout of the new industrial zone and the urban slow-moving system, and integrating the design concepts. At the same time, through the analysis and summarization of domestic and international experience, the construction ideas are proposed. Finally, the following aspects of planning strategy optimization are proposed: industrial layout, urban vitality, ecological pattern, regional characteristics and landscape image. In terms of specific design, on the one hand, it builds a regional slow-moving network, puts forward a diversified design strategy for the industry-oriented and multi-functional composite central area, realizes the coexistence of pedestrian-oriented and multiple transportation modes, basically covers the public facilities, and enhances the vitality of the city. On the other hand, it improves the landscape ecosystem, creates a healthy, diversified and livable superline landscape system, helps the construction of the ‘green core’ of the central city, and improves the travel experience of the residents.

Keywords: industry-city integration, slow-moving system, public space, functional integration

Procedia PDF Downloads 8

Authors: Abdulfatah Al-Jaradi, Marzoq Ali Odhah, Abdulnasser A. Haza’a

Abstract:

Background: Antenatal care can be defined as the care provided by skilled healthcare professionals to pregnant women and adolescent girls to ensure the best health conditions for both mother and baby during pregnancy. The components of ANC include risk identification; prevention and management of pregnancy-related or concurrent diseases; and health education and health promotion. The aim of this study: to assess the knowledge, attitude, and practice of pregnant women regarding antenatal care. Methodology: A descriptive KAP study was conducting in public hospitals in Sana'a City-Yemen. The study population was included all pregnant women that intended to the prenatal department and clinical outpatient department, the final sample size was 371 pregnant women, a self-administered questionnaire was used to collect the data, statistical package for social sciences SPSS was used to data analysis. The results: Most (79%) of pregnant women were had correct answers in total knowledge regarding antenatal care, and about two-thirds (67%) of pregnant women were had performance practice regarding antenatal care and two-third (68%) of pregnant women were had a positive attitude. Conclusions & Recommendations: We concluded that a significant association between overall knowledge and practice level toward antenatal care and demographic characteristics of pregnant women, women (residence place, level of education, did your husband support you in attending antenatal care and place of delivery of the last baby), at (P-value ≤ 0.05). We recommended more education and training courses, lecturers and education sessions in clinical facilitators focused ANC, which relies on evidence-based interventions provided to women during pregnancy by skilled healthcare providers such as midwives, doctors, and nurses.

Keywords: antenatal care, knowledge, practice, attitude, pregnant women

Procedia PDF Downloads 189

Authors: Samira Eskandari

Abstract:

The image of Tehran has been impacted in recent years due to poor urban management and fragmented governance. There is no cohesive urban beautification framework in Tehran to enforce builders take aesthetic factors seriously when design and construct new buildings. The existing guidelines merely provide people with recommendations, not regulations. Obviously, Tehran needs a more comprehensive and strict urban beautification framework to restore its image. The damaged image has impacted the city’s social, economic and environmental growth. This research aims to find and examine a solution by which the employment of urban beautification regulation would be guaranteed, and city image would be organized. The methodology is based on a qualitative approach associated with analytical methods, in-depth surveys and interviews with Tehran citizens, authorities and experts, and use of academic resources as well as simulation. As a result, one practical solution is to incorporate aesthetic guidelines into a survival-related framework like a seismic guideline. Tehran is a seismic site, and all the buildings in Tehran have to be retrofitted against earthquake during construction. Hence, by integrating seismic regulations and aesthetic disciplines, urban beautification will be somehow guaranteed. Besides, the seismic image can turn into Tehran’s brand and enhances city identity. This research is trying to increase the social, environmental, and economic interconnectedness between urban planning and seismic planning by the usage of landscape architecture methods. As a case study, the potential outcomes are simulated in Tajrish, a suburb located in the north of Tehran. The result is that, by the redefinition of the morphology of seismic retrofitting systems, used in the significant city image elements, and re-function them in accordance with the Iranian culture and traditions, the city image would become more harmonized and legible.

Keywords: earthquake, retrofitting systems, Tehran image, urban beautification

Procedia PDF Downloads 133

Authors: Mohammad Saber Eslamlou

Abstract:

Morphology of Islamic cities has been extensively studied by researchers of Islamic cities and different theories could be found about it. In this regard, there exist much difference in method of analysis, classification, recognition, confrontation and comparative method of urban morphology. The present paper aims to examine the previous methods, approaches and insights and that how Dr. Giulia Annalinda Neglia dealt with the analysis of morphology of Islamic cities. Neglia is assistant professor in University of Bari, Italy (UNIBA) who has published numerous papers and books on Islamic cities. I introduce her works in the field of morphology of Islamic cities. And then, her thoughts, insights and research methodologies are presented and analyzed in critical perspective. This is a qualitative research on her written works, which have been classified in three major categories. The first category consists mainly of her works on morphology and physical shape of Islamic cities. The results of her works’ review suggest that she has used Moratoria typology in investigating morphology of Islamic cities. Moreover, overall structure of the cities under investigation is often described linear; however, she’s against to define a single framework for the recognition of morphology in Islamic cities. She states that ‘to understand the physical complexity and irregularities in Islamic cities, it is necessary to study the urban fabric by typology method, focusing on transformation processes of the buildings’ form and their surrounding open spaces’ and she believes that fabric of each region in the city follows from the principles of an specific period or urban pattern, in particular, Hellenistic and Roman structures. Furthermore, she believes that it is impossible to understand the morphology of a city without taking into account the obvious and hidden developments associated with it, because form of building and their surrounding open spaces are written history of the city.

Keywords: city, Islamic city, Giulia Annalinda Neglia, morphology

Procedia PDF Downloads 97

Authors: Shenko Chura Aredo

Abstract:

Food security and urban development are closely linked, especially in cities experiencing rapid urbanization. This paper explores the impact of food security on urban development in Adama City, Ethiopia, a fast-growing urban center that faces significant challenges related to population growth, land use changes, and food supply. By examining food systems, urban agriculture, market access, and social safety nets, the study aims to understand how food security influences urban development outcomes and vice versa. The paper concludes with policy recommendations for integrating food security into urban planning to promote sustainable urbanization and improve the resilience of food systems in Adama City.

Keywords: urbanization, food security, sustainable development, urban agriculture, Ethiopia

Procedia PDF Downloads 6

Authors: Xia Yang, Zheng Yang, Haiyong Sun, Yan Fang, Jingyu Liu, Jia Song

Abstract:

The smart contract in Ethereum is a unique program deployed on the Ethereum Virtual Machine (EVM) to help manage cryptocurrency. The security of this smart contract is critical to Ethereum’s operation and highly sensitive. In this paper, we present a formal model for smart contract, using the separated term-obligation (STO) strategy to formalize and verify the smart contract. We use the IBM smart sponsor contract (SSC) as an example to elaborate the detail of the formalizing process. We also propose a formal smart sponsor contract model (FSSCM) and verify SSC’s security properties with an interactive theorem prover Coq. We found the 'Unchecked-Send' vulnerability in the SSC, using our formal model and verification method. Finally, we demonstrate how we can formalize and verify other smart contracts with this approach, and our work indicates that this formal verification can effectively verify the correctness and security of smart contracts.

Keywords: smart contract, formal verification, Ethereum, Coq

Procedia PDF Downloads 691

Authors: Saúl Rivero, Estefanya Marín, Katherine Bolaño, Elena Urán, Juan Yepes, Andrés Cossio

Abstract:

Medellín is the Colombian city with the best public transport systems in the country, which is made up of two metro lines, five metrocables, two BRT-type bus lines, and a tram. But despite the above, the Aburrá Valley, the area in which the city is located, has about 3000 km of roads, which for the existing population of 3.2 million inhabitants, gives an indicator of 900 meters of road per 1000 inhabitants, which is lower than the country's average, which is approximately 3900 meters. In addition, given that in Medellín, there is approximately one vehicle for every three inhabitants, the problems of congestion and environmental pollution have worsened over the years. In this sense, due to the limitations of physical space, the low public investment in road infrastructure, it is necessary to opt for mobility alternatives according to the above. Among the options for the city, there is what is known as micromobility. Micromobility is understood to be those small and light means of transport that are used for short distances, that use electrical energy, such as skateboards and bicycles. Taking into account the above, in this work, the current state and future of micromobility in the city of Medellín were analyzed, carrying out a prospective analysis, supported by a PEST analysis, but also of the crossed impact matrices; of influence and dependence; and the technique of the actor's game. The analysis was carried out for two future scenarios: one normal and one optimistic. Result of the analysis, it was determined that micromobility as an alternative social practice to mobility in the city of Medellín has favorable conditions since the local government has adopted strategies such as the Metropolitan Bicycle Master Plan of Valle de Aburrá and the plan " Bicycle paths in the city: more public spaces for life,” where a projection of 400 kilometers of bicycle paths was estimated by the year 2030, as for that same year it is expected that 10% of all trips in the region will be in bike mode. The total trip indicator is an achievable goal, while that of the number of kilometers of bike paths would be close to being met.

Keywords: electric vehicles, micromobilty, public transport, sustainable transport

Procedia PDF Downloads 201

Authors: Issam A. Al-Khatib

Abstract:

In order to achieve a significant reduction of waste amount flowing into landfills, it is important to first understand the composition of the solid municipal waste generated. Hence a detailed analysis of municipal solid waste composition has been conducted in Nablus city. The aim is to provide data on the potential recyclable fractions in the actual waste stream, with a focus on the plastic fraction. Hence, waste-sorting campaigns were conducted on mixed waste containers from five districts in Nablus city. The districts vary in terms of infrastructure and average income. The target is to obtain representative data about the potential quantity and quality of household plastic waste. The study has measured the composition of municipal solid waste collected/ transported by Nablus municipality. The analysis was done by categorizing the samples into eight primary fractions (organic and food waste, paper and cardboard, glass, metals, textiles, plastic, a fine fraction (<10 mm), and others). The study results reveal that the MSW stream in Nablus city has a significant bio- and organic waste fraction (about 68% of the total MSW). The second largest fraction is paper and cardboard (13.6%), followed by plastics (10.1%), textiles (3.2%), glass (1.9%), metals (1.8%), a fine fraction (0.5%), and other waste (0.3%). After this complete and detailed characterization of MSW collected in Nablus and taking into account the content of biodegradable organic matter, the composting could be a solution for the city of Nablus where the surrounding areas of Nablus city have agricultural activities and could be a natural outlet to the compost product. Different waste management options could be practiced in the future in addition to composting, such as energy recovery and recycling, which result in a greater possibility of reducing substantial amounts that are disposed of at landfills.

Keywords: developing countries, composition, management, recyclable, waste.

Procedia PDF Downloads 90

Authors: P. S. Thein, S. Pramumijoyo, K. S. Brotopuspito, J. Kiyono, W. Wilopo, A. Furukawa, A. Setianto

Abstract:

In this study, we estimated the seismic ground motion parameters based on microtremor measurements at Palu City. Several earthquakes have struck along the Palu-Koro Fault during recent years. The USGS epicenter, magnitude Mw 6.3 event that occurred on January 23, 2005 caused several casualties. We conducted a microtremor survey to estimate the strong ground motion distribution during the earthquake. From this survey we produced a map of the peak ground acceleration, velocity, seismic vulnerability index and ground shear strain maps in Palu City. We performed single observations of microtremor at 151 sites in Palu City. We also conducted 8-site microtremors array investigation to gain a representative determination of the soil condition of subsurface structures in Palu City. From the array observations, Palu City corresponds to relatively soil condition with Vs ≤ 300 m/s, the predominant periods due to horizontal vertical ratios (HVSRs) are in the range of 0.4 to 1.8 s and the frequency are in the range of 0.7 to 3.3 Hz. Strong ground motions of the Palu area were predicted based on the empirical stochastic green’s function method. Peak ground acceleration and velocity becomes more than 400 gal and 30 kine in some areas, which causes severe damage for buildings in high probability. Microtremor survey results showed that in hilly areas had low seismic vulnerability index and ground shear strain, whereas in coastal alluvium was composed of material having a high seismic vulnerability and ground shear strain indication.

Keywords: Palu-Koro fault, microtremor, peak ground acceleration, peak ground velocity, seismic vulnerability index

Procedia PDF Downloads 405

Authors: Jayaprakash Kar, Daniyal M. Alghazzawi

Abstract:

The article proposes a novel construction of signcryption scheme with provable security which is most suited to implement on smart card. It is secure in random oracle model and the security relies on Decisional Bilinear Diffie-Hellmann Problem. The proposed scheme is secure against adaptive chosen ciphertext attack (indistiguishbility) and adaptive chosen message attack (unforgebility). Also, it is inspired by zero-knowledge proof. The two most important security goals for smart card are Confidentiality and authenticity. These functions are performed in one logical step in low computational cost.

Keywords: random oracle, provable security, unforgebility, smart card

Procedia PDF Downloads 593

Authors: Tallal Abdel Karim Bouzir, Nourdinne Zemmouri, Djihed Berkouk

Abstract:

In this research, a quantitative assessment of the urban sound environment of the city of Biskra, Algeria, was conducted. To determine the quality of the soundscape based on in-situ measurement, using a Landtek SL5868P sound level meter in 47 points, which have been identified to represent the whole city. The result shows that the urban noise level varies from 55.3 dB to 75.8 dB during the weekdays and from 51.7 dB to 74.3 dB during the weekend. On the other hand, we can also note that 70.20% of the results of the weekday measurements and 55.30% of the results of the weekend measurements have levels of sound intensity that exceed the levels allowed by Algerian law and the recommendations of the World Health Organization. These very high urban noise levels affect the quality of life, the acoustic comfort and may even pose multiple risks to people's health.

Keywords: road traffic, noise pollution, sound intensity, public health

Procedia PDF Downloads 267

Authors: Xu Tao, Yilun Xu, Dingwei Xiang, Yaofei Sun

Abstract:

Urban community is constitute the entire city and its management ‘cell’, let ‘cells’ with growth and self-regeneration capacity and persistence, to allow the city with infinite vigor and vitality of the source; with toughness community mankind's adaptation to the basic unit of social risk, toughness of the city from the community to create a point of building is urban toughness of top-down construction mode of supplement, is of positive significance on the toughness of the urban construction. Based on the basic concept of resilience, this paper reviews the research on the four main areas of the study of urban resilience (i.e., the engineering toughness, ecological resilience, economic resilience, and social resilience, etc.). Studies and comments and summarizes the basic characteristic and main content of the four kind of toughness. Based on, from the city - community level and community level for building community resilience, including the level of urban community and create a Unicom, inclusiveness and openness of the community; community-level lifted from the four angles of the engineering community toughness, ecological toughness, resilience, social resilience, mainly including enhanced the toughness of the infrastructure, green infrastructure of toughness, resilience, social network and social relations, building with a sense of belonging, inclusive, multicultural community. Finally, summarize and prospect the resilience of the community.

Keywords: resilience, community resilience, urban resilience, construction strategies

Procedia PDF Downloads 250

Authors: Van Son Huynh, Thanh Huan Nguyen, Tat Thien Do, Thi Mai Thu Nguyen, Thien Vu Giang

Abstract:

Given the necessity for substantial and all-encompassing educational reform, particularly in elementary Education, it is imperative to prioritize learner-centered instruction at the elementary level. This study focuses on the difficulties encountered in overseeing learner-centered instructional activities for elementary school children in Ho Chi Minh City (HCMC), the largest city in Vietnam in terms of population. Although learner-centered solutions have been implemented, there are still certain weaknesses, including an emphasis on content and worries about lax monitoring. The purpose of this study, named "Management of Learner-Centered Teaching Activities for Primary School Students in HCMC," is to enhance and advance theories related to the management of learner-centered teaching activities. The study evaluates the present condition of learner-centered teaching activities and management practices in HCMC, aiming to suggest solutions for improving the efficiency of managing such activities in primary schools.

Keywords: primary school, school children in Ho Chi Minh City, learner-centered instructional activities, learner-centered teaching activities and management.

Procedia PDF Downloads 74

Authors: Humphrey Atwijukiire, Gladys Nakidde, Anne Tweheyo Otwine, Jane Kabami

Abstract:

Experiences of HIV Positive Serostatus Disclosure to Sexual Partner Among Individuals in Discordant Couples in Mbarara City, Southwestern Uganda Introduction: Disclosure of HIV status is key in HIV management. Despite many studies on serostatus disclosure, there is a gap in experiences regarding HIV status disclosure among discordant couples. This study explored the lived experiences of serostatus disclosure among discordant couples in Mbarara City, South Western Uganda. Methods: We conducted 12 in-depth interviews using translated interview guide, and audio recorders. Participants were purposively enrolled in the study. The study was conducted at three public health facilities in Mbarara City. Data was analyzed using thematic content analysis. Approval for this research was obtained from Mbarara University Research Ethics Committee and administrative clearance from city clerk of Mbarara City. Results: The mean age of participants was 38 years. An equal number of males (six) and females participated. Most of them had at least secondary level education, only three had primary education. Experienced benefits of HIV serostatus disclosure included: social support and care; decisions regarding health, fertility, and child bearing; sharing information on HIV prevention and protection; positive living; and, ease of HIV disclosure. The challenges included: misunderstandings in the families. Conclusion: Socially, psychologically and financially PLWHIV have benefited from their negative partners. Health wise, they have been supported, and cared for, but some have faced challenges, such as family misunderstandings. Couple HIV counseling and testing by a trained health worker is beneficial in HIV care and could mitigate the challenges related HIV serostatus disclosure.

Keywords: discordant couples, disclosure, experiences, HIV

Procedia PDF Downloads 130

Authors: Barry Aifesehi Aiworo, Henry Oriakhi

Abstract:

This paper, examines the analysis of access pattern to school and travel risks among school children in Benin City, Edo State, Nigeria. The risk includes accident, molestation (sexually) and kidnapping. The objective of this paper are to examine the various means (modes) of transport to school; determine the type and incidences of risk experienced by school children in the study area; examine the risk incidences and ages of school children in the study area. Hypothesis which states that the types of risks encountered by school children are independent of means of transport was tested using the chi-square test (X2). A sampling ratio of twelve percent (12%) was taken from 396 schools in Benin City. By implication, 49 schools were randomly selected in Benin City for this research. A total of 42,053 students in the 49 schools constitute the sample frame for the research. Two percent (2%), 841 students were taken as the sample size. The use of stratified sampling method was applied by stratifying the study area (Benin City) into local governments- Egor, Ikpoba-Okha and Oredo. Thereafter, the lists of schools in the various local governments were obtained from the Ministry of Education before the schools for research were randomly chosen from each local government area. The analysis revealed that 6.7% of the total students interviewed have been involved in road accidents. 1.04% of the total respondents said at one time or the other that they have been kidnapped. Finally, the research found that travel is comparatively safe and believes this may be partly attributable to safer route to schools and school children being more familiar with the school journey. The research indicates that children aged between eleven and fifteen are most at risk of hit or knocked down on Benin City’s roads. These findings may help in planning and targeting road safety initiative (education, campaigns) in Benin City.

Keywords: accident, molestation (sexually), kidnapping, pedophile, pedestrian

Procedia PDF Downloads 211

Authors: Pukhtoon Yar

Abstract:

Peshawar City is experiencing a rapid spatial urban growth primarily as a result of high rate of urbanization along with economic development. This paper was designed to understand the impacts of urbanization on agriculture land use change by particularly focusing on land use change trajectories from the past (1991-2014). We used Landsat imageries (30 meters) for1991along with Spot images (2.5 meters) for year 2014. . The ground truthing of the satellite data was performed by collecting information from Peshawar Development Authority, revenue department, real estate agents and interviews with the officials of city administration. The temporal satellite images were processed by applying supervised maximum likelihood classification technique in ArcGIS 9.3. The procedure resulted into five main classes of land use i.e. built-up area, farmland, barren land, cultivable-wasteland and water bodies. The analysis revealed that, in Peshawar City the built-up environment has been doubled from 8.1 percent in 1991 to over 18.2 percent in 2014 by predominantly encroaching land producing food. Furthermore, the CA-Markov Model predicted that the area under impervious surfaces would continue to flourish during the next three decades. This rapid increase in built-up area is accredited to the lack of proper land use planning and management, which has caused chaotic urban sprawl with detrimental social and environmental consequences.

Keywords: Urban Expansion, Land use, GIS, Remote Sensing, Markov Model, Peshawar City

Procedia PDF Downloads 186

Authors: Chouabbia Khedidja, Lazri Youcef, Mouhoubi Nedjima

Abstract:

In optics and in ambition to break into the ranks of international metropolis cities, Constantine, a regional metropolis of eastern Algeria, is facing multiple challenges shared between the response to the urban crisis plaguing the city and the creation of territorial attractiveness in the metropolisation process. This ambition cannot be achieve in conditions of poor governance and lack of cooperation especially between the actors involved in major development projects, these last qualified by change and hope carriers to make the city more attractive and pleasant. Thus, governance or good governance has become not only a necessity but also a challenge for the city of Constantine. Through this example of Constantine. We will analyze the challenges facing a metropolis amongst other urban governance and the constraints that affect the smooth running of major development projects when governance is missing or inoperative.

Keywords: urban governance, metropolis, big development project, actors, constantine

Procedia PDF Downloads 457