Лінійні ігрові задачі керування рухомими об’єктами
Дослідження важливих класів задач теорії конфліктно-керованих процесів. Аналіз методу пропорційної навігації для задачі зближення за участю двох гравців. Вивчення його зв’язку з методом розв’язуючих функцій і правилом екстремального прицілювання.
| Рубрика | Программирование, компьютеры и кибернетика |
| Вид | автореферат |
| Язык | украинский |
| Дата добавления | 26.08.2014 |
| Размер файла | 62,4 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Ключові слова: АСУ, діалог, предметна область, представлення знань, природна мова, алгебра алгоритмів, трансформаційний синтез, граматика, комп'ютерні системи.
аннотация
процес конфліктний керований задача
Хохлов В.А. Инструментарий проектирования компьютерных систем на основе диалоговых алгебро-грамматических моделей представления знаний.- Рукопись.
Диссертация на соискание ученой степени кандидата технических наук по специальности 05.13.06 - автоматизированные системы управления и прогрессивные информационные технологии. Херсонский национальный технический университет, Херсон, 2005.
Диссертационное исследование посвящено проблематике разработки инструментальных средств построения компьютерных систем на основе диалоговых алгебро-грамматических моделей представления знаний.
Рассмотрены проблемы, возникающие в процессе проектирования компьютерных систем, в частности компонент автоматизированных систем управления. Выполнен обзор существующих методов синтеза компьютерных систем, прежде всего трансформационных, рассмотрены их достоинства и недостатки. Рассмотрены современные модели жизненного цикла КС и обосновано применение спиральной модели.
Рассмотрена абстрактно-автоматная модель кибернетической системы, а также аппарат систем алгоритмических алгебр и их модификаций, который используется для формализации процессов, протекающих в данной модели. Обосновано применение диалоговых алгебро-грамматических моделей представления знаний при проектировании компонент АСУ. Рассмотрена алгебра диалоговых алгоритмов, которую получают путем расширения аппарата алгоритмических алгебр средствами диалоговых вычислений, алгебра диалоговых гиперсхем, диалоговые грамматики структурного проектирования, которые можно рассматривать в качестве математических моделей для различных предметных областей. С учетом рассмотренных понятий дается формулировка понятия трансформационного сведения.
На основе названных моделей разработан инструментарий проектирования компьютерных систем - диалоговая трансформационная машина.
Выполнено расширение входного языка диалоговой трансформационной машины САА/Д, который приближен к естественному и является “открытым снизу”, средствами диалогового взаимодействия пользователя и разрабатываемой компьютерной системы. Использование подобного языка, позволяет привлечь к процессу проектирования непосредственно заказчиков проектируемой компьютерной системы, что обеспечивает получение системы необходимого качества.
Разработана архитектура диалоговой трансформационной машины, в частности, база знаний и компонента машины вывода - интеллектуальный редактор, реализующий символьный вывод САА/Д-схем. Предложены механизмы наполнения базы знаний информацией о предметных областях, для которых выполняется разработка компьютерных систем. Разработана технология диалогового формирования синтаксически правильных текстов САА/Д-схем, в частности, смысловых идентификаторов операторов и условий. Также предложен базирующийся на аппарате параметрических шаблонов механизм трансляции САА/Д-схемы в текст программы на целевом языке программирования в процессе редактирования схемы. Предложенные технологии позволили упростить и ускорить процесс проектирования и исключить появление синтаксических ошибок в тексте схемы и программы.
Разработаны механизмы ведения истории формирования САА/Д-схем, что обеспечивает поддержку спиральной модели жизненного цикла компьютерных систем и оперативную корректировку разрабатываемых систем в случае изменения требований заказчика, позволяя использовать диалоговую трансформационную машину как средство прототипирования компьютерных систем.
Предложена технология для получения по САА/Д-схеме работы устройства соответствующей спецификации, в частности булевых функций возбуждения и выходов автоматов, а также схемы электрической принципиальной и эскиза печатной платы. Для отладки и анализа полученных в процессе проектирования схем операционных устройств используется cистема схемотехнического моделирования Electronics Workbench, а для получения схемы электрической принципиальной и эскиза печатной платы - система проектирования схем радиоэлектронной аппаратуры PCAD. Также разработаны механизмы получения по одной и той же САА/Д-схеме работы устройства программы, моделирующей проектируемое устройство, и непосредственно спецификации. Предложенные механизмы позволяют выполнять моделирование устройства на его программной модели, что существенно сокращает материальные и временные затраты при разработке аппаратного обеспечение компьютерных систем.
Разработан программный комплекс, реализующий предложенные методы проектирования компьютерных систем. Комплекс состоит из двух приложений Windows - диалоговой трансформационной машины и системного редактора, применяемого для редактирования базы знаний, а также нескольких вспомогательных утилит. Разработанное программное обеспечение имеет широкие функциональные возможности, простой и доступный пользователю, не имеющего специального компьютерного образования, интерфейс, позволяющий заказчику наряду с профессиональным программистом принимать участие в процессе разработки компьютерных систем. Предложенный программный комплекс отвечает современным требованиям к программным продуктам.
Возможности разработанного инструментария иллюстрируются примерами синтеза программного и аппаратного обеспечения компьютеров. Теоретические результаты проверены и подтверждены практическим применением разработанного программного комплекса на предприятиях, выполняющих разработку программного обеспечения компьютеров, и в учебном процессе в Херсонском национальном техническом университете.
Ключевые слова: диалог, предметная область, представление знаний, естественный язык, алгебра, система алгебр, модель, автомат, алгоритм, грамматика, инструментальные средства, компьютерные системы.
SUMMARY
Khohlov V.A. Instrument of designing of computer systems based on interactive algebra-grammatic models representation of knowledge. - Manuscript.
Thesis for the candidate's degree (Engineering) in the major 05.13.06 - automated control systems and progressive information technologies. - Kherson national technical university, Kherson, 2006.
The thesis is devoted to the problem of designing instruments for developing universal and specialized automated computer's systems based on algebra-grammatic models representation of knowledge.
The peculiarities of developing of computer systems as well as automated control systems are considered and the usage of interactive algebra-grammatic models representation of knowledge for its synthesis is substantiated. On the basis of the described models the instrument of designing computer systems is developed which is called the interactive transformation machine. The components of architecture of the interactive transformation machine are developed which include the knowledge base and a component of deduction's machine - the intellectual editor which realize symbolic deduction of SAA/D-schemas with correct syntax. The input language of the interactive transformation machine, which resemble a natural language is expanded by means of the user's interactive facilities and computer systems. The SAA/D language allows to engage the customers to developing process on early stages and thus assist to get components of automated control systems with necessary quality. The algorithms are developed which connect any procedural program language to SAA/D. The method of getting the device's specifications from SAA/D-schema is proposed. The methods of support of spiraled life cycle of computer systems are developed.
Keywords: automated control system, dialog, subject area, representation of knowledge, natural language, algebra of algorithms, transformation synthesis, grammar, computer systems.
Размещено на Allbest.ru
...Подобные документы
Відомості з теорії графів, методи отримання точних розв'язків задачі їх розфарбування. Алгоритм розфарбування графу методом неявного перебору. Комп'ютерна реалізація розв’язку задачі розфарбування графів. Типові задачі та існуючі програмні продукти.
курсовая работа [335,6 K], добавлен 15.06.2015Дискретизація задачі із закріпленим лівим і вільним правим кінцем. Необхідні умови оптимальності. Ітераційний метод розв’язання дискретної задачі оптимального керування з двійним перерахуванням. Оптимальне стохастичне керування. Мінімаксне керування.
контрольная работа [221,8 K], добавлен 19.12.2010Використання мови програмуванння Java при виконанні "задачі лінійного програмування": її лексична структура і типи даних. Методи розв’язання задачі. Особливості логічної структури програми, побудова її зручного інтерфейсу за допомогою симплекс методу.
курсовая работа [437,9 K], добавлен 24.01.2011Дослідження методу сплайнів для вирішення задачі інтерполяції. Вибір методів технічних та інструментальних засобів вирішення задачі, їх алгоритми. Розробка логічної частини програми, результати обчислень. Розв’язання задачі в пакетах прикладних програм.
курсовая работа [278,5 K], добавлен 03.12.2009Системи автоматичного керування. Описання методу стикування розв'язків на основі теореми по n-інтервалів. Застосування методу динамічного програмування (рівняння Р. Белмана). Моделювання задачі синтезу та аналізу на електронній обчислювальній машині.
контрольная работа [632,5 K], добавлен 31.03.2014Постановка та описання алгоритму розв’язання задачі про оптимальне призначення, формулювання вимог. Обґрунтування вибору засобів програмування. Розробка структури програми та системи її візуалізації, тестування та верифікація, оцінка ефективності.
курсовая работа [1,1 M], добавлен 12.05.2013Дослідження застосування різницевого методу для розв’язання крайової задачі. Дослідження проводиться на прикладі заданого диференційного рівняння. Дається опис методу та задачі в цілому. Застосування при обчисленні формули Чебишева і формули Гаусса.
курсовая работа [157,2 K], добавлен 03.12.2009Метод розв’язків рівнянь більш високих порядків. Вибір методу розв'язання задачі Коші. Методи розв'язання крайових задач розглядаються на прикладі звичайного диференціального рівняння другого порядку. Вибір методу інструментальних засобів вирішення задач.
курсовая работа [132,0 K], добавлен 03.12.2009Початковий опорний план, перехід від одного до іншого. Оптимальний розв’язок, його головні критерії. Знаходження опорного плану задачі, складання симплексної таблиці. Приклад оформлення першої та другої таблиці для розв’язку задач лінійного програмування.
лекция [479,7 K], добавлен 10.10.2013Характеристика середовища програмування Microsoft Visual C++ та бібліотеки класів MFC. Знаходження коефіцієнтів при невідомих за допомогою методу найменших квадратів. Створення програми для вирішення задачі обраним методом, її алгоритм та інтерфейс.
курсовая работа [434,8 K], добавлен 20.01.2014Задача лінійного програмування. Розв’язання задачі геометричним методом. Приведення системи рівнянь до канонічного вигляду. Розв’язання симплекс-методом. Розв’язок двоїстої задачі. Задача цілочислового програмування і дробово-лінійного програм.
контрольная работа [385,2 K], добавлен 04.06.2009Поняття та функції операційної системи. Види операційних систем та їх характеристика. Напрямки розвитку операційних систем. Розробка алгоритму розв’язку економічної задачі розподілу продукції пекарні та реалізація його за допомогою Microsoft Excel.
курсовая работа [1,2 M], добавлен 15.06.2016Застосування симплекс-методу для розв’язання оптимізаційних задач лінійного програмування, що містять три змінні. Функції ітераційної обчислювальної процедури, що виконують приведення до зручного для розв’язання оптимального вигляду ЗЛП за кілька кроків.
курсовая работа [359,5 K], добавлен 18.09.2013Розв’язання нелінійних алгебраїчних рівнянь методом дихотомії. Вирішення задачі знаходження коренів рівняння. Розробка алгоритму розв’язання задачі і тестового прикладу. Блок-схеми алгоритмів основних функцій. Інструкція користувача програмою мовою С++.
курсовая работа [2,0 M], добавлен 24.09.2010Класифікація економіко-математичних моделей. Математична модель оптимізаційної задачі. Локальний критерій оптимальності. Поняття теорії ігор. Матричні ігри двох осіб. Гра зі змішаними стратегіями. Зведення матричної гри до задачі лінійного програмування.
дипломная работа [2,9 M], добавлен 22.10.2012Основні визначення дослідження операцій. Модель "затрати-випуск" В.В. Леонтьєва. Загальний вигляд задачі лінійного програмування. Розв'язання за допомогою симплекс-методу. Економічна інтерпретація основної та спряженої задач. Поліпшення плану перевезень.
учебное пособие [1,1 M], добавлен 27.12.2010Аналіз предметної галузі задачі моделювання пострілу балісти через стіну по мішені. Структури даних та діаграми класів для розв'язання задачі. Схеми взаємодії об’єктів та алгоритми виконання їх методів. Опис розробленої програми, інструкція користувача.
курсовая работа [1,0 M], добавлен 18.05.2014Постановка задачі багатокритеріальної оптимізації та її та математична модель. Проблеми і класифікація методів вирішення таких задач, способи їх зведення до однокритеріальних. Метод послідовних поступок. Приклад розв'язування багатокритеріальної задачі.
курсовая работа [207,3 K], добавлен 22.12.2013Види рівнянь та методи їх розв’язань. Чисельні методи уточнення коренів, постановка задачі. Рішення нелінійного рівняння методом простих та дотичних ітерацій. Використання програмних засобів. Алгоритми розв’язку задач. Програми мовою С++, їх тестування.
курсовая работа [232,2 K], добавлен 12.02.2013Визначення і розв’язання задачі Коші для звичайних диференціальних рівнянь першого порядку методом Ейлера, алгоритм розв’язання, похибка при вирішенні. Складання блок-схеми. Реалізація алгоритму у середовищі Borland Pascal. Результат роботи програми.
курсовая работа [264,0 K], добавлен 20.08.2010
