In this study a framework for developing an object-oriented tool –DRONE (areawide Dynamic ROad traffic NoisE simulator) to generate areawide noise contour maps for a road network is demonstrated. This provides faster access to information for abatement of noise policies. The approach for integrating the dynamic output from traffic simulator to noise model, which predicts traffic noise based on ...

The Air Traffic Control (ATC) system suffers from an ever-increasing demand for aircraft, leading to capacity issues. For this reason, airspace is regulated by limiting the entry of aircraft into airspace. Knowledge these regulations before they occur would allow ATC be aware conflicting areas airspace, and manage both its human technological resources lessen effect expected regulations. Theref...

We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hypertext systems. In our presentation, a particular version of the situation calculus (which includes a language for programming complex actions) developed for the modeling of dynamic worlds and for the control of robotic ag...

Mathematical models for the electrical activity in cardiac cells are normally formulated as systems of ordinary differential equations (ODEs). The equations are nonlinear and describe processes occurring on a wide range of time scales. Under normal accuracy requirements, this makes the systems stiff and therefore challenging to solve numerically. As standard implicit solvers are difficult to im...

Water quality management policies on a river basin scale are of special importance in order to prevent and/or reduce environmental pollution caused by human sources. Industrial effluents are a priority issue particularly in Urban Wastewater Systems (UWS) that receive mixed household and industrial wastewaters, apart from rainfall water. In this paper, we present an analysis and implementation o...

Shapiro et al. [2005; 2006], presented a framework for representing goal change in the situation calculus. In that framework, agents adopt a goal when requested to do so (by some agent reqr ), and they remain committed to the goal unless the request is cancelled by reqr . A common assumption in the agent theory literature, e.g., [Cohen and Levesque, 1990; Rao and Georgeff, 1991], is that achiev...

In Urban Mobility Report, delays due to heavy traffic costing Americans $78 billion in the form of 4.2 billion lost hours and 2.9 billion gallons of wasted fuel. In addition, 2/3 of traffic delays are caused not by recurring congestion but by point-based spontaneous congestion due to traffic incidences. STAR-CITY, which integrates (human and machine-based) sensor data using variety of formats, ...

Overlay applications generate huge amounts of traffic in the Internet, which determines a problem for Internet Service Providers, since it results in high charges for inter-domain traffic. Traditional traffic management techniques cannot deal successfully with overlay traffic. An incentive-based approach that employs economic concepts and mechanisms is required in order to deal with the overlay...

The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of the situation calculus, show how knowledge and time have been addressed in this framework, and point to some of the weaknesses of the situation calculus with respect to time. We then present a modal version of the situation calcul...