The merging process in an Automated Highway System (AHS) is divided into a speed adjustment stage and a lane merging stage. Three important parameters, namely, acceptability, availability and pursuability, are analyzed to characterize the AHS lane gap features for the ideal, smooth and safe merging of the ramp vehicles. Three control guidance laws, namely, linear, optimal and parabolic speed pr...

Several ITS-based countermeasures are currently being deployed in workzones to enhance both the safety and the mobility of drivers. One of the functions of interest deals with lane management identified in previous studies as dynamic lane merging. The dynamic lane merging, can take two forms; dynamic early merge and dynamic late merge. Previously suggested dynamic lane merging techniques may be...

Intelligent agents are often faced with the problem of trying to merge possibly conflicting pieces of information obtained from different sources into a consistent view of the world. We propose a framework for the modelling of such merging operations with roots in the work of Spohn (Spohn 1988; Spohn 1991). Unlike most approaches we focus on the merging of epistemic states, not knowledge bases....

Tone merging and tonal confusion have been an interesting issue for a long time. This paper tries to investigate whether there is the phenomenon of merging tone in Hailu Hakka production. We focus on sandhi related tone pairs and level tone pairs. The results show that tone 24 and tone 33 is undergoing a sound change of merging in the younger speakers. It is proposed that both allophonic rules ...

This paper deals with the approximate merging problem of multiple adjacent Bézier curves with different degrees by a single Bézier curve, which is a frequently seen problem in modeling. The unified matrix representation for precise merging is presented and the approximate merging curve is further derived based on matrix operation. Continuity at the endpoints of curves is also discussed in the m...

Data merging is an essential part of ETL (Extract-Transform-Load) processes to build a data warehouse system. To avoid rewheeling merging techniques, we propose a Data Merging Meta-model (DMM) and its transformation into executable program codes in the manner of model driven engineering. DMM allows defining relationships of different model entities and their merging types in conceptual level. O...

Existing belief merging operators take advantage of all the models from the bases, including those contradicting the integrity constraints. In this paper, we show that this is not suited to every merging scenario. We study the case when the bases are ”rationalized” with respect to the integrity constraints during the merging process. We define in formal terms several independence conditions for...

Traffic conflicts between merging and through vehicles are typical phenomena near freeway on-ramp sections, yet few microscopic models describing the interaction of these vehicles in the merging process have been proposed. In this paper, vehicle interactions during merging process are modeled under an enhanced game-theoretic framework. Freeway on-coming through vehicle and on-ramp merging vehic...

Scenario languages define typical executions of systems. They are used to represent output traces, but also to capture requirements of distributed systems. Even if several dialects exist, all scenario languages are based on a similar idea: they depict systems runs as compositions of partially ordered sets of events. A drawback of scenarios is that the number of participants in a given interacti...

Industry acceptance of formal methods for software speciication could be improved by the availability of tools for direct derivation of prototype implementations from the speciication. We propose such a scenario, based on executable algebraic speciications and eecient implementation of functional languages. Our approach facilitates the incremental replacement of executable speciications by prod...