Аксіоматичні моделі і методи проектування лінгвістичних трансляторів
Розробка аксіоматичного підходу до проектування лінгвістичних трансляторів в системах логічного програмування, що базується на традиційних логічних численнях, реалізації фаз синтаксичного аналізу і перекладу мов проектування за допомогою методу резолюцій.
Подобные документы
Стратегія автоматизації предметної області, яка має відношення до проходження практики студентами у ВНЗ. Інформаційне забезпечення. Засоби концептуального моделювання за допомогою мови ER. Принципи логічного та фізичного проектування бази даних.
курсовая работа, добавлен 13.01.2017Загальний аналіз предметної області. Вибір мови програмування. Аналіз середовища розробки програми "Snake". Проектування гри "Snake" за допомогю мови програмування Lazarus. Програмна структура гри. Характеристика комп’ютерної реалізації проекту.
курсовая работа, добавлен 09.02.2020Сучасні технології проведення інформаційного аналізу. Особливості моделювання динамічних систем і процесів за допомогою інтерпретації мереж Петрі. Доцільність використання ієрархічного підходу до проектування шляхів ліквідації надзвичайних ситуацій.
статья, добавлен 25.10.2016Відомості про структуру транслятора. Схема роботи транслятора, опис вхідної мови. Формальне визначення мов програмування. Використання інформаційних технологій у навчальному процесі вищого закладу освіти. Електронний підручник "Системне програмування".
дипломная работа, добавлен 09.04.2014Програмні засоби для автоматизації теплового проектування мікроелектронних пристроїв. Вирішення актуальних задач проектування, завдяки впровадженню мережевої системи МЕП, сучасним комп'ютерним технологіям, багатокористувацькому доступові до ресурсів.
автореферат, добавлен 24.06.2014Побудова методів пошуку виведення в класичній логіці першого порядку. Дослідження систем логічного програмування на коректність і повноту. Модуляційні розширення числення літеральний дерев. Модифікація резолюційних стратегій і методу елімінації моделей.
автореферат, добавлен 29.07.2015Розробка нових методів організаційної та інформаційної підтримки процесів проектування техніки як теоретико-прикладного базису створення системи підтримки прийняття рішень інтегрованої АСУ проектною організацією, орієнтованої на підвищення ефективності.
автореферат, добавлен 29.01.2016Аналіз існуючого рівня автоматизації. Вимоги до апаратної складової системи. Визначення методів структурного системного та об'єктно-орієнтованого аналізу та проектування. Діаграми бізнес-варіантів використання. Інтерфейси введення та виведення даних.
курсовая работа, добавлен 08.12.2016Рішення задачі лінійного програмування за допомогою двоїстого симплекс–методу. Поняття двоїстості в лінійному програмуванні. Аналіз першої та другої теореми подвійності. Сутність двоїстого симплекс метод та його алгоритм. Схема алгоритму подвійних задач.
курсовая работа, добавлен 20.12.2008Сутність концепції автоматизованого проектування ІАСУ. Складність задачі опрацювання раціональних рішень при створенні ІАСУ. Адаптивна технологія проектування певного об’єкта управління в умовах ІАСУ та методологічні проблеми в системному проектуванні.
контрольная работа, добавлен 30.11.2011Аналіз сучасних методів проектування алгоритмів для забезпечення можливості автоматизованого перетворення та створення паралельних версій алгоритмів. Розробка методу автоматизованого виконання програм і вибору найкращого алгоритму за заданими критеріями.
автореферат, добавлен 11.08.2015Розробка специфікації вимог до кожного з двох користувачів, у тому числі: визначення вимог до даних; розробка вимог до транзакцій. Концептуальне проектування бази даних. Атрибути, які належать сутностям. Етапи та особливості проектування бази даних.
курсовая работа, добавлен 20.02.2010Суть набору програмних засобів для проектування спільних підприємств, який містить набір для проектування одного виробництва і для визначення правил взаємодії кількох підприємств. Вирішення задач проектування матричним методом динамічного програмування.
статья, добавлен 12.08.2022Сутність проектування та основні вимоги до мережі. Характеристика і головні можливості трирівневої моделі. Технологія центрального рівня. Поняття магістральних та резервних каналів, їх функції. Топологія рівня розподілу. Фізичні фактори рівня доступу.
дипломная работа, добавлен 25.10.2013Проектування бази даних (БД) служби таксі: її концептуальне моделювання, обґрунтування вибору системи управління БД. Особливості логічного проектування БД. Розробка додатку: створення таблиць, схеми БД, форм та звітів, створення кнопкової форми.
курсовая работа, добавлен 16.12.2015Дослідження інформаційних технологій, призначених для керування залізничною автоматизацією. Оцінка недоліків при реалізації логічних функцій. Рекомендації, щодо концепції вдосконаленої мови програмування керування та трансляції програм контролера.
автореферат, добавлен 29.10.2013Практичне застосування методів концептуального проектування реляційних баз даних. Побудова концептуальної моделі "сутність-зв'язок". Побудова даталогічної моделі та нормалізація бази даних. Реалізація даталогічної моделі бази даних засобами SQL.
курсовая работа, добавлен 29.10.2020Принципи проектування програмних систем. Побудова математичної моделі макроскопічного рівня будови систем обробки даних та дослідження її властивостей. Застосування сформованого підходу до представлення проектів на прикладі навчальних середовищ.
автореферат, добавлен 11.08.2015Об’єктно-орієнтований аналіз і процес робочого проектування. Структура даних за стосунку та розробка класів. Тестування працездатності системи класів та процес обґрунтування вибору алгоритмів. Розробка програми у вигляді гри для розважальних цілей.
контрольная работа, добавлен 08.11.2012- 45. Методи та засоби експертної системи вибору раціональних проектних рішень просторових конструкцій
Дослідження і розробка основних компонентів експертних систем – користувальницького інтерфейсу, інформаційно-логічної моделі об'єкта, бази знань, що відповідають вимогам сучасних комп'ютерних технологій проектування. Аналіз просторових конструкцій.
автореферат, добавлен 28.06.2014 Розглядається система автоматизованого проектування SolidWorks. Описується її додаток Simulation, призначений для розв'язування задач механіки деформованого твердого тіла за допомогою методу скінченних елементів для міцнісного розрахунку гвинта.
статья, добавлен 06.07.2022Загальна характеристика СКБД Paradox. Проектування та налагодження бази даних за допомогою Microsoft Access. Сутність OLE-об'єктів, графіків та кростаблиць. Порядок здійснення селекції записів та блокування. Процес використання таблиці-довідника.
курсовая работа, добавлен 05.01.2014Впровадження нових інформаційних технологій, що забезпечують реалізацію стратегій розвитку та сучасні тенденції інформатизації, інтелектуалізації, інтеграції і індивідуалізації навчання. Методи системного проектування на базі моделювання і оптимізації.
автореферат, добавлен 13.07.2014Характеристика діагностичної моделі пристрою перетворення сигналів (ППС), яка враховує час, умови експлуатації та похибки вимірювальних приладів. Структурні елементи математичної системи безвідмовності ППС для проектування з урахуванням діагностованості.
автореферат, добавлен 22.06.2014Визначення необхідної інформації для розробки бази даних для перукарні. Побудова інфологічної моделі із застосуванням графічних засобів. Розробка концептуальної моделі "Сутність-зв'язок". Проектування даталогічної моделі бази даних для перукарні.
контрольная работа, добавлен 07.06.2015