Title Type automated deduction cade 22 22nd international conference on automated deduction montreal canada PDF automated deduction cade 21 21st international conference on automated deduction bremen germany PDF logic programming and automated reasoning 6th international conference lpar99 tbilisi georgia s PDF automated technology for verification and analysis second international conference at...

This annotated bibliography summarizes studies of the rural economic development implications of highway investment. Primary emphasis is on research dealing with rural areas, but some urban studies are also cited. Topics covered include the aggregate economic effects of highway investment, the effects of highway investment on business location decisions and employment expansion, the effects of ...

Purpose: Development of new technology for automated solution railway design tasks in informational-digital environment. Methods: Structural system analysis methodology, theory, the principle decomposition are applied. Results: Based on results structure and functional possibilities widely used modern systems highway design, procedures sequence existing was defined. Functional model environment...

The ability to capture actual road conditions in an automated and cost-effective manner has increasedsignificantly with advances in sensor technologies, computer storage and data processing capabilities, andanalysis techniques. Likewise, the ability to utilize this information in a simulated road environment to (1)conduct research with human subjects regarding actual and propose...

Today’s, a common problem in cities is increasing delay and reducing the speed of traffic. On the other wise increasing costs of acquisition in urban area are not allow new routes and highways. Also construction of new highway or street such as Imam Ali highway and Sadr highway in Tehran lead to develop new applications (such as BRT lane ,…) And become quickly saturate and less eff...

Recent research in automated highway systems has ranged from low-level vision-based controllers to high-level route-guidance software. However, there is currently no system for tactical-level reasoning. Such a system should address tasks such as passing cars, making exits on time, and merging into a traac stream. Many previous approaches have attempted to hand construct large rule-based systems...

This paper studies a problem of controlling trajectories of a platoon of vehicles on a highway section with advanced connected and automated vehicle technologies. This problem is very complex because each vehicle trajectory is essentially an infinite-dimensional object and neighboring trajectories have complex interactions (e.g., car-following behavior). A parsimonious shooting heuristic algori...

Connected and automated vehicles (CAVs) are a very promising alternative for reducing fuel consumption improving traffic efficiency when merge at on-ramps. In this study, we propose graph-based method to coordinate CAVs the highway ramp. First, optimized were divided into groups pass merging point. Then built directed graph model each group of vehicles, where path corresponds one all possible s...