Аксіоматичні моделі і методи проектування лінгвістичних трансляторів
Розробка аксіоматичного підходу до проектування лінгвістичних трансляторів в системах логічного програмування, що базується на традиційних логічних численнях, реалізації фаз синтаксичного аналізу і перекладу мов проектування за допомогою методу резолюцій.
Подобные документы
Методологія об'єктно-орієнтованого аналізу і проектування великих програмних систем. UML як уніфікована мова моделювання. Характеристика робіт проектної групи на стадіях проектування, реалізації, кодування і впровадження програмного забезпечення.
реферат, добавлен 19.07.2017Розробка інформаційного, програмного та методичного забезпечення для побудови середовища колективного розподіленого проектування. Основні вимоги до систем автоматизованого проектування і GRID-технологій. Вивчення специфіки проектування гетерогенних САПР.
автореферат, добавлен 20.07.2015Розгляд методу формування інформаційних елементів і підвищення ефективності діяльності оператора за рахунок методу екологічного проектування. Розробка елементів і порівняння їх з аналогічними, що використовувалися в автоматизованих системах управління.
статья, добавлен 14.07.2016Тенденції розвитку сучасних інформаційних технологій. Об'єднання зусиль окремих виконавців у єдиний процес проектування шляхом використання поділюваної бази даних. Автоматизація структурного аналізу й інтеграції підтримуючих засобів програмування.
реферат, добавлен 17.05.2012Розгляд загальної характеристики систем програмування, орієнтованих на "швидку розробку" з технологіями візуального проектування і подієвого програмування. Розробка додатку "Кулінарна книга", який забезпечує роботу з базою даних альбомів та фотографій.
курсовая работа, добавлен 09.07.2012Розгляд "ручного" методу проектування систем автоматики з застосуванням програмованих логічних матриць, який оснований на шести етапах проектування. використання теорії автоматів і комп’ютерної логіки. Застосування методу продемонстрованого на прикладі.
статья, добавлен 27.07.2016Розробка математичної моделі технології проектування програмного забезпечення, критеріїв її оцінювання. Алгоритм та продукційні правила вибору технології проектування програмного забезпечення та середовища програмування відповідно до вимог користувача.
статья, добавлен 18.02.2016Визначення поняття "проектування". Опис практичної роботи проектування обкладинки при використанні графічних засобів (колажу векторних зображень, фотографій), виконання елементів композиції та переведення їх у вектори за допомогою комп’ютерних програм.
отчет по практике, добавлен 17.09.2014Вивчення методології проектування інформаційних систем. Методи проектування і їх класифікація. Характеристика ієрархічної багатоаспектної системи класифікації економічної інформації. Проектування процесів завантаження і ведення інформаційної бази.
контрольная работа, добавлен 10.09.2009Обґрунтування методологічних засад створення автоматизованої системи проектування територіально-розподілених систем обслуговування, до яких увійшли метод прецедентного проектування та метод отримання проектних рішень в умовах багатокритеріальності.
автореферат, добавлен 19.06.2018Дослідження теоретичних джерел з проектування баз даних. Створення фізичного і логічного проектування бази даних туристичного агентства з використанням Microsoft Access. Виконання нормалізації її роботи, наведення інструкції користувача з базою даних.
курсовая работа, добавлен 23.06.2016Дослідження методів проектування мікросмужкових фільтрів НВЧ. Розробка алгоритмів проектування допусків в залежності від технології виготовлення підсистеми мікросмужкових фільтрів з можливістю аналізу та синтезу допусків на основних етапах технології.
автореферат, добавлен 26.08.2014Загальні принципи СОМ-технології. Теоретичне дослідження об’єктної моделі MS Excel та основ програмування додатків MS Office в Delphi. Економічне обґрунтування доцільності розробки технології проектування ескізів мозаїчної плитки. Інтерфейс користувача.
дипломная работа, добавлен 22.10.2012Огляд основ структурного синтезу при проектуванні складних систем. Використання методу гілок та границь, знаходження максимуму функції на допустимій множині. Основи застосування процесорної технології CUDA для розв’язання складних задач проектування.
контрольная работа, добавлен 28.11.2013Розробка функціональної схеми автоматизованого проектування лопаткових компресорів, основою якої є програмне забезпечення на мови програмування Delphi для моделювання профілів лопаток. Енергетичні перетворення в компресорах газотурбінних двигунів.
статья, добавлен 28.10.2016Проектування програмної та апаратної частини мікропроцесорних пристроїв. Розробка структурної схеми. Обґрунтування та вибір мікропроцесорних засобів та інших елементів схемотехніки. Принципова електрична схема. Блок-схема алгоритму роботи пристрою.
контрольная работа, добавлен 07.04.2012Суть технічної проблеми, що виникла на сучасному етапі розвитку науки, техніки і технологій. Аналіз етапів проектування додатків. Варіантний аналіз та обґрунтування вибору засобів реалізації. Розробка функціональної частини додатка і тестування програми.
дипломная работа, добавлен 28.01.2017Аналіз способів проектування та засобів розробки сайту. Таблиці каскадних стилів CSS. Розробка головної сторінки, шапки сайту та навігаційної панелі. Розробка інтерактивних сторінок засобами JavaScript та PHP. Виконання підключення до бази даних.
курсовая работа, добавлен 20.02.2019Розв'язання проблеми забезпечення безпомилковості процесу проектування реактивних алгоритмів промислового рівня складності, що передбачає розробку математичного апарату доказового проектування алгоритмів. Розробка методів синтезу автомата-розпізнавача.
автореферат, добавлен 27.04.2014Проектування та розробка програмного забезпечення інформаційної системи туристичної фірми, що служить для автоматизації роботи агентства. Функціональне й інфологічне проектування системи, опис запитів, екранні форми бази даних і розробка алгоритмів.
дипломная работа, добавлен 13.06.2017Аналіз існуючих підходів до проектування, моделювання оптимального керування логістичними інформаційними системами (ЛІС), розробка методів математичного програмування та багатофакторного оцінювання критеріїв. Сутність біллінгової інформаційної системи.
автореферат, добавлен 13.07.2014Методика багаторівневого ієрархічного і логічного синтезу асинхронних автоматів і надвеликих інтегральних схем. Проектування мікропрограмних пристроїв управління НВІС на засаді синхронних автоматів. Розробка мов опису проектних логічних специфікацій НВІС.
автореферат, добавлен 21.11.2013Розробка математичних методів для дослідження проходження нейтронів крізь уповільнюючі середовища. Моделювання характеристик позиційно-чутливих детекторів, проектування та дослідження систем нейтронографічної установки на прискорювачі електронів.
автореферат, добавлен 29.09.2015Розробка системи автоматизованого проектування маршрутів формування кристалів інформаційних систем. Методи виділення фактуальних знань та засоби синтезу моделей і алгоритмів. Технологічне проектування кристалів напівпровідникових інформаційних систем.
автореферат, добавлен 23.02.2014Застосування мови VHDL для проектування комп’ютерних систем. Проектування комбінаційних схем, цифрових автоматів. Варіанти побудови процесу проектування цифрового пристрою на базі ПЛІС. Перехід синтезної моделі до логічної структури та бітового потоку.
контрольная работа, добавлен 08.09.2011