Focused interviews with air traffic controllers and traffic management unit personnel, as well as analysis of traffic flow patterns based on Enhanced Traffic Management System (ETMS) data, suggest that controllers rely on underlying airspace structure to reduce the cognitive complexity of managing an air traffic control situation. To understand how structural elements reduce cognitive complexit...

With the rapid development of computer technique in the past decades, the emergence of P2P techniqueprompts the network computing model evolving from centralized network to distributed network. Although P2P technique has brought tremendous changes to the network technique, P2P technique also exposes a lot of problems during its implementation. If we can manage the P2P network traffic effectivel...

We are developing a novel framework, PRIDE (PRediction In Dynamic Environments), to perform moving object prediction for unmanned ground vehicles. The underlying concept is based upon a multi-resolutional, hierarchical approach that incorporates multiple prediction algorithms into a single, unifying framework. The lower levels of the framework utilize estimation-theoretic short-term predictions...

Wireless networks are currently experiencing more overload situations than their wireline counterparts because of explosive mobile traffic growth, unpredictable traffic behavior, service differentiated traffic shedding, etc. Even though extensive research work on network overload control in general is going on, the economic aspect of the overload problem has received very little attention. Mana...

Future air traffic systems aim at increasing both the capacity and safety of the system, necessitating the development of new metrics and advisory tools for controllers’ workload in real-time. Psychophysiological data such as Electroencephalography (EEG) are used to contrast and validate subjective assessments and workload indices. EEG used within augmented cognition systems form situation awar...

With the frequent occurrence of major emergencies, emergency management gets high attention from all around the world. This paper investigates the comprehensive optimization of major emergency evacuation route and departure time, in which case the evacuation propagation mechanism is considered under traffic control. Given the practical assumptions, we first establish a comprehensive optimizatio...

Adaptive Cruise Control (ACC) is assumed to have a potential to improve quality-of-service and safety and to reduce the environmental impact of the road traffic system. This paper use vehicle trajectories from traffic simulation to study impacts of ACC on vehicle acceleration and deceleration rates. The analysis is based on traffic simulations with car-following models including ACC functionali...

I present a language for specifying planning problems in which there are external events, that is, events beyond the direct control of the planner which may happen while a plan is being executed. The language is based on Miller and Shanahan’s representation of narratives in the situation calculus. I describe an implemented planner that produces correct plans for this language, and discuss how s...

Projection in the situation calculus refers to answering queries about the future evolutions of the modeled domain, while progression refers to updating the logical representation of the initial state so that it reflects the changes due to an executed action. In the general case projection is not decidable and progression may require second-order logic. In this paper we focus on a recent result...

exhaust emissions contribute greatly to air pollution, the social cost of which may occur as danger to human health, attracting huge medical expenses, causing absenteeism and hence loss of productivity. these are incentives to reduce exhaust emissions to the barest minimum. two major cities in ghana, accra and kumasi, are struck by vehicular traffic jams especially during rush-hours and are gra...