Systematic vs. Non-Systematic Search for 3D Aircraft Conflict Resolution

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Systematic vs. Local Search for SAT

Due to its prominence in artificial intelligence and theoretical computer science, the propositional satisfiability problem (SAT) has received considerable attention in the past. Traditionally, this problem was attacked with systematic search algorithms, but more recently, local search methods were shown to be very effective for solving large and hard SAT instances. Especially in the light of r...

متن کامل

Local Search and Backtracking vs Non-Systematic Backtracking

This paper addresses the following question: what is the essential difference between stochastic local search (LS) and systematic backtracking (BT) that gives LS superior scalability? One possibility is LS’s lack of firm commitment to any variable assignment. Three BT algorithms are modified to have this feature by introducing randomness into the choice of backtracking variable: a forward check...

متن کامل

Systematic vs. Non-systematic Algorithms for Solving the MPE Task

The paper explores the power of two system­ atic Branch and Bound search algorithms that exploit partition-based heuristics, BBBT (a new algorithm for which the heuristic information is constructed during search and allows dy­ namic variable/value ordering) and its predeces­ sor BBMB (for which the heuristic information is pre-compiled) and compares them against a number of popular local search...

متن کامل

A Variable Neighborhood Search approach for the aircraft conflict resolution problem

A metaheuristic approach based on Variable Neighborhood Search to tackle the enroute aircraft conflict resolution problem is presented. The three maneuvers (velocity, heading angle and altitude level variations) are allowed to be performed. Based on geometric rules, we can determine if a conflict situation occurs between each pair of aircraft under consideration. As three different maneuvers co...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Intelligent Learning Systems and Applications

سال: 2012

ISSN: 2150-8402,2150-8410

DOI: 10.4236/jilsa.2012.43023