Зміст
23 відносини: Satisfiability Modulo Theories, STRIPS, Комбінаторна оптимізація, Програмування в обмеженнях, Планувальник операційної системи, Автономний робот, Навчання з підкріпленням, Стратегія, Система керування, Список перспективних технологій, Теорія рішень, Штучний інтелект, Марковський процес вирішування, Метод проб і помилок, Задача виконання обмежень, Задача здійсненності бульових формул, Задача класифікації, Зворотний вивід, Безпілотний літальний апарат, Габбл (телескоп), Динамічне програмування, Інтелектуальний агент, Евристичний алгоритм.
Satisfiability Modulo Theories
У програмуванні, Satisfiability Modulo Theories (SMT) — це задача розв'язності для логічних формул з урахуванням теорій, які лежать в їх основі.
Переглянути Автоматизоване планування та диспетчеризація і Satisfiability Modulo Theories
STRIPS
STRIPS (Stanford Research Institute Problem Solver) — це автоматичний планувальник, розроблений Річардом Файксом і Нільсом Нілсоном у 1971 році.
Переглянути Автоматизоване планування та диспетчеризація і STRIPS
Комбінаторна оптимізація
Комбінаторна оптимізація (Combinatorial optimization) — розділ теорії оптимізації.
Переглянути Автоматизоване планування та диспетчеризація і Комбінаторна оптимізація
Програмування в обмеженнях
Програмування в обмеженнях (або програмування обмеженнями) — парадигма програмування, у якій відношення між змінними зазначені у формі обмежень.
Переглянути Автоматизоване планування та диспетчеризація і Програмування в обмеженнях
Планувальник операційної системи
Планува́ння викона́ння завда́нь (Scheduling) є однією з ключових концепцій в багатозадачності і багатопроцесорних систем, як в операційних системах загального призначення, так і в операційних системах реального часу.
Переглянути Автоматизоване планування та диспетчеризація і Планувальник операційної системи
Автономний робот
Марсоход ''«ESA Seeker»'' під час випробувань в горах Паранал. Автономні роботи — це роботи, які здатні виконувати бажані завдання без постійного людського нагляду.
Переглянути Автоматизоване планування та диспетчеризація і Автономний робот
Навчання з підкріпленням
Навчання з підкріпленням (reinforcement learning) — це галузь машинного навчання, натхнена біхевіористською психологією, що займається питанням про те, які (actions) повинні виконувати програмні агенти в певному середовищі (environment) задля максимізації деякого уявлення про сукупну винагороду (reward).
Переглянути Автоматизоване планування та диспетчеризація і Навчання з підкріпленням
Стратегія
Страте́гія — (στρατηγία, страта тегів - ранг вищого керівника військовими підрозділами які мають марку, тег, прапор, знак та пов'язується з талантом управління стратега полководця вищої страти) — мистецтво керівництва суспільною боротьбою, загальний для очільника і деталізований в процесі управління план певної діяльності з ведення цієї боротьби, який є незмінним в своїй основі охоплює тривалий період, та направлений на досягнення головної, складної цілі.
Переглянути Автоматизоване планування та диспетчеризація і Стратегія
Система керування
Пульт системи керування приводом компресора. Система керування, також Система управління (control system) — систематизований набір засобів впливу на підконтрольний об'єкт для досягнення цим об'єктом певної мети.
Переглянути Автоматизоване планування та диспетчеризація і Система керування
Список перспективних технологій
У список нових перспективних технологій включені ті технології, характер яких в наш час визначений як «передовий» і вважаються можливими для реалізації, відповідно до публікації в журналі Popular Science.
Переглянути Автоматизоване планування та диспетчеризація і Список перспективних технологій
Теорія рішень
Віктор Васнецов''. ''Витязь на роздоріжжі''. 1882 Тео́рія рі́шень — царина досліджень, яка математичними методами досліджує закономірності вибору людьми найвигідніших із можливих альтернатив і має застосування в економіці, менеджменті, когнітивній психології, інформатиці та обчислювальній техніці.
Переглянути Автоматизоване планування та диспетчеризація і Теорія рішень
Штучний інтелект
Шту́чний інтеле́кт (Artificial intelligence, AI) — розділ комп'ютерної лінгвістики та інформатики, що опікується формалізацією проблем та завдань, які нагадують справи, виконувані людиною.
Переглянути Автоматизоване планування та диспетчеризація і Штучний інтелект
Марковський процес вирішування
Ма́рковські проце́си вирі́шування (МПВ, Markov decision process, MDP) забезпечують математичну систему для моделювання ухвалення рішень у ситуаціях, в яких наслідки є частково випадковими, а частково контрольованими ухвалювачем рішення.
Переглянути Автоматизоване планування та диспетчеризація і Марковський процес вирішування
Метод проб і помилок
Метод проб і помилок (у просторіччі також: метод (наукового) тику) — є вродженим методом мислення людини.
Переглянути Автоматизоване планування та диспетчеризація і Метод проб і помилок
Задача виконання обмежень
Зада́ча викона́ння обме́жень (Constraint satisfaction problem) (ЗВО) — це математичні проблеми, визначені як сукупність об'єктів, стан яких має задовільняти ряду обмежень.
Переглянути Автоматизоване планування та диспетчеризація і Задача виконання обмежень
Задача здійсненності бульових формул
Зада́ча здійсни́мості бу́льових фо́рмул (SAT) — важлива для теорії обчислювальної складності алгоритмічна задача.
Переглянути Автоматизоване планування та диспетчеризація і Задача здійсненності бульових формул
Задача класифікації
Задача класифіка́ції — формалізована задача, яка містить множину об'єктів (ситуацій), поділених певним чином на класи.
Переглянути Автоматизоване планування та диспетчеризація і Задача класифікації
Зворотний вивід
Зворотний вивід (або зворотне міркування) є метод отримання висновку, який працює в зворотному напрямку від мети.
Переглянути Автоматизоване планування та диспетчеризація і Зворотний вивід
Безпілотний літальний апарат
240px RQ-2 Pioneer тактичний розвідувальний БПЛА американо-ізраїльскої розробки (2005) Бойовий БПЛА MQ-9 Reaper «мисливець-вбивця» в Афганістані, 2008 рік. Розмах крил 20 метрів, максимальна злітна маса 4760 кг, вартість за одиницю 16.9 млн дол.
Переглянути Автоматизоване планування та диспетчеризація і Безпілотний літальний апарат
Габбл (телескоп)
Космічний телескоп «Габбл» (Hubble Space Telescope, HST) — американський оптичний телескоп, розташований на навколоземній орбіті 1990 року.
Переглянути Автоматизоване планування та диспетчеризація і Габбл (телескоп)
Динамічне програмування
Динамічне програмування — розділ математики, який присвячено теорії і методам розв'язання багатокрокових задач оптимального управління.
Переглянути Автоматизоване планування та диспетчеризація і Динамічне програмування
Інтелектуальний агент
Звичайний агент Агент, що навчається Терміни «агент» і «інтелектуальний агент» (ІА) мають два значення, і через це іноді виникає плутанина.
Переглянути Автоматизоване планування та диспетчеризація і Інтелектуальний агент
Евристичний алгоритм
В інформатиці евристичний алгоритм, або просто евристика — це алгоритм, спроможний видати прийнятне рішення проблеми серед багатьох рішень, але неспроможний гарантувати, що це рішення буде найкращим.
Переглянути Автоматизоване планування та диспетчеризація і Евристичний алгоритм
Також відомий як Автоматизована система планування і складання розкладів.