منابع مشابه
Proving Safety of Traffic Manoeuvres on Country Roads
We adapt the Multi-lane Spatial Logic MLSL, introduced in [1] for proving the safety (collision freedom) of traffic manoeuvres on multi-lane motorways, where all cars drive in one direction, to the setting of country roads with two-way traffic. To this end, we need suitably refined sensor functions and length measurement in MLSL. Our main contribution is to show that also here we can separate t...
متن کاملRoad Safety Council of Western Australia c/- Office of Road Safety Main Roads Western Australia
متن کامل
O1: Roads Safety and Neurotrauma
Road traffic accidents account for approximately 3000 deaths on a daily basis, and 50 million injuries and 1.2 million deaths each year. In low-income and middle income countries, road traffic accidents account for 85% of deaths and 90% of annual disability. Casualties of this magnitude are a serious problem throughout the world and create a significant impact on society. In addition, neurologi...
متن کاملO3: Roads Safety in Developing Countries
The investigation showed that the increasing number of deaths and fatalities resulting from driving accidents is mostly related to developing countries especially with intermediate and low social classes which it is resulting from industrialization of the mentioned societies without considering necessary infra structures such as health, safety and environment (HSE). Increasing number of cars, u...
متن کاملO8: Actual Situation of Child Safety in the Iran Roads
It’s obvious that road safety is causing large problems and costs in Iran with an enormous impact on the well-being of people, economy and productivity. The yearly number of fatalities and injuries is still unchanged. Motor vehicle injuries lead the list of injury deaths at the all ages during childhood and adolescence, even in children under 1 yrs of age. Understanding the actual of chil...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: New Trends in Production Engineering
سال: 2018
ISSN: 2545-2843
DOI: 10.2478/ntpe-2018-0008