Fig 4 - uploaded by Kai Shi
Content may be subject to copyright.
Download
View publication
Airport diagram (BOS) [2]  

Airport diagram (BOS) [2]  

Source publication
Fig. 3: Almost collision on the runway at BOS (ASDE-X display) [17]
Fig. 4: Airport diagram (BOS) [2]  
Fig. 5: Scenario 1
Fig. 6: Scenario 2
World Model, Predictive Model, and Behavioral Model of an Anticipatory Reasoning-Reacting System for Runway Incursion Prevention
Article
Full-text available
  • Nov 2014
An anticipatory reasoning-reacting system anticipates based on anticipatory reasoning, which can draw new, previously unknown and/or unrecognized conclusions about some future event or events whose occurrence and truth are uncertain at the point of time when the reasoning is being performed. To perform anticipatory reasoning, we need to express the...
Cite
Download full-text

Contexts in source publication

Context 1
... one airport, all regions compose a two-dimensional map which can be expressed as an airport diagram. Figure 4 shows the airport diagram of Boston Logan International Airport. Because the ramps, terminals and hangars have no relationship with runway incursion, we take for granted that the airport is only constructed by two kind of regions, one is the runway, another is the taxiway. ...
Context 2
... unique name expresses as a formula construct by one predicate and one constant sym- bol. For example, Taxiway(N) stands for the taxiway N in Figure 4. Almost every runway and taxiway has a name like Figure 4. ...
Context 3
... unique name expresses as a formula construct by one predicate and one constant sym- bol. For example, Taxiway(N) stands for the taxiway N in Figure 4. Almost every runway and taxiway has a name like Figure 4. Because every runway have two name, e.g., in Figure 4 runway 15R and 33L is the same runway, we use the smaller string (by ascii order) 15R to stand for 33L. ...
Context 4
... example, Taxiway(N) stands for the taxiway N in Figure 4. Almost every runway and taxiway has a name like Figure 4. Because every runway have two name, e.g., in Figure 4 runway 15R and 33L is the same runway, we use the smaller string (by ascii order) 15R to stand for 33L. Thus, Runway(15R) stands for runway 15R or 33L. ...
Context 5
... we need name every way and intersection using a unique constant symbol. For example, in Figure 4, the first intersection from north to south of 15R can be express as Intersection(15R L). Then the second intersection is Intersection(15R X). ...

Similar publications

FIGURE 1. Epistemic uncertainty effect on the distribution of the...
Fig. 2. Influence of m d on R B 
Fig. 3. Variation of R B with σm 
FIGURE 3. Variation of R B with σ m .
+6 Fig. 4. Variation of R B with σe 
A Model-Based Reliability Metric Considering Aleatory and Epistemic Uncertainty
Article
Full-text available
  • Jul 2017
Model-based reliability analysis and assessment methods rely on models, which are assumed to be precise, to predict reliability. In practice, however, the precision of the model cannot be guaranteed due to the presence of epistemic uncertainty. In this paper, a new reliability metric, called belief reliability, is defined to explicitly account for...
View