Аксіоматичні моделі і методи проектування лінгвістичних трансляторів
Розробка аксіоматичного підходу до проектування лінгвістичних трансляторів в системах логічного програмування, що базується на традиційних логічних численнях, реалізації фаз синтаксичного аналізу і перекладу мов проектування за допомогою методу резолюцій.
Подобные документы
Сутність процесу проектування біомедичної радіоелектронної апаратури. Система автоматизованого проектування: структура та підсистеми, компоненти та забезпечення. Перелік програмного забезпечення, що використовується в при проектуванні, вимоги до нього.
контрольная работа, добавлен 25.05.2020Архітектурні особливості і принципи побудови інтермережі. Багаторівнева ієрархічна структурно-інформаційна методика. Математичні моделі функціонування. Проектування обчислювання АСУ підприємства. Формалізація правил аналізу. Огляд програмних засобів.
автореферат, добавлен 05.01.2014Поняття та структура баз даних, етапи їх проектування та різновиди. Розробка логічної моделі та генерація бази даних "Склад", програмування таблиць в середовищі Builder у формі запитів - SQL, особливості роботи, можливість редагування, вигляд інформації.
курсовая работа, добавлен 19.06.2014Проектування програмного забезпечення. Розробка специфікації системних вимог. Визначення специфікації ресурсів, апаратно-програмної конфігурації та програмного інструментарію для реалізації проекту. Формування електронного пакета UML документації.
курсовая работа, добавлен 24.02.2012Розробка теорії, методу та CASE-інструменту системного (системологічного) аналізу та моделювання, які вирішують проблему узгодження процедури і результатів системного аналізу з вимогами об'єктно-орієнтованої технології проектування інформаційних систем.
автореферат, добавлен 13.07.2014Характеристика шляхів інноваційного розвитку проектування, місця медіадизайну в системі сучасних інтернет-технологій. Дослідження методів і програмно-технічних засобів, способів розширення меж використання медіадизайну в інформаційному просторі.
статья, добавлен 06.02.2019Формування і комп'ютерна реалізація динамічних моделей широкого класу механічних об'єктів з розподіленими і зосередженими параметрами у системах проектування й випробовування елементів механічних конструкцій та модельної підтримки прийняття рішень.
автореферат, добавлен 06.07.2014Особливості створення БД в середовищі MS SQL Server Management Studio. Автоматизація проектування інфологічної моделі. Обґрунтування та вибір системи керування базою даних. Структурні зв’язки та їх основи відображення на графі інфологічної моделі.
курсовая работа, добавлен 10.12.2014Поняття архітектури, її якість, принципи проектування. Особливості повторного використання коду. Архітектура CMF-системи. Патерни проектування об'єктів. Архітектурні системні та патерни, призначені для представлення даних у Web. Схема архітектури MVC.
реферат, добавлен 17.04.2012Розробка предметно-орієнтованих мов та програмна реалізація відповідних трансляторів для опису задач чисельного аналізу математичних структур. Створення програмного середовища генерації мовних процесорів для автоматизації лінгвістичного забезпечення.
автореферат, добавлен 07.03.2014Етапи проектування мікропроцесорних систем, формалізація вимог до них. Джерела помилок, перевірка правильності проекту. Основні характеристики і логічна структура типового мікропроцесора. Система команд, режими адресації, типи архітектур і класифікація.
реферат, добавлен 19.02.2010Принципи проектування та функціонування комп'ютерних мереж, їх узагальнена структура і класифікація. Характеристика базових мережних топологій. Основні завдання корпоративних мереж. Етапи проектування мережі, аналіз та перевірка її працездатності.
курсовая работа, добавлен 17.05.2016- 88. Програмовані логічні контролери з вбудованими засобами тестового та функціонального діагностування
Аналіз сучасного стану і тенденцій розвитку типових структур програмованих логічних контролерів. Розробка і вдосконалення моделей, методів і алгоритмів синтезу і логічного проектування ПЛК з вбудованими засобами тестового і функціонального діагностування.
автореферат, добавлен 25.02.2015 Опис проектування та програмування інформаційної системи "Обліку споживачів електроенергії". Перелік вимог до програмно-апаратного комплексу і баз даних. Розробка системи оперативної довідки, створення інсталяційного пакету додатка і його екранних форм.
контрольная работа, добавлен 19.07.2017Проектування структури аркадної гри "Breakout". Розробка алгоритмів функціонування головних її модулів. Програмна реалізація гри. Обґрунтування мови програмування. Основні оператори мови Python. Особливості середовища, в якому розробляється система.
курсовая работа, добавлен 14.06.2018Особливість створення та опрацювання баз данних в Microsoft Access. Робота з показниками за допомогою запиту на вибирання. Характеристика проектування реляційної засади. Суть первинного ключа та зв'язування таблиць. Пошук методів за сприянням фільтрів.
методичка, добавлен 24.06.2014Поняття та сутність інформаційної системи, її використання, значення та позитивний вплив на діяльність підприємства. Концептуальне моделювання бази даних. Характеристика логічного проектування вибір системи управління та генерація схеми бази даних.
курсовая работа, добавлен 20.07.2014Архітектура і процес проектування системи баз даних. Концептуальна модель як представлення всієї інформації БД в абстрактній формі в порівнянні з фізичним способом зберігання інформації. Процес концептуального проектування, конкретизація і узагальнення.
реферат, добавлен 20.06.2010Розроблення концепції візуального підходу до проектування об'єктно-орієнтованих розподілених програмних систем. Представлення декларативної семантики контурних Р-схем на основі графової алгебри процесів. Визначення протоколів синхронізації класів.
автореферат, добавлен 15.11.2013Загальна характеристика та призначення середовища проектування Protel 99, описання його головного програмного модуля - Design Explorer. Порядок створення нової бази даних проекту. Зміна настройок ресурсів. Приклад створення нової панелі інструментів.
контрольная работа, добавлен 20.06.2010Підвищення якості інтелектуальної обробки даних у автоматизованих інформаційних бібліотечних системах. Розробка логічної мережі для синтаксичного аналізу, моделі обробки текстової інформації у документах з використанням єдиного математичного апарату.
автореферат, добавлен 19.07.2015проектування та розробка web-сервісу для автоматичної генерації, розсипки на email та перевірки PDF-сертифікатів або інших PDF-документів, який може працювати незалежно або в інтеграції з іншими програмними продуктами. Основні функції web-сервісу.
статья, добавлен 13.05.2024Сучасні технологічні процеси в інформаційній галузі. Основні поняття теорії алгоритмів, найбільш поширені алгоритмічні системи. Принципи організації алгоритмічних процесів та форми їхньої реалізації. Поняття проектування автоматизованих комплексів задач.
курс лекций, добавлен 19.09.2017Розгляд теоретико-методичних основ ефективного використання та впровадження інформаційних систем і технологій проектування в контексті систем гнучкого планування діяльності підприємств. Застосування інформаційних технологій автоматизації розрахунків.
статья, добавлен 10.05.2023Особливості розробки науково-методичних засад інформатизації наукової й управлінської діяльності установ Національної академії педагогічних наук України на основі веб-технологій. Розгляд етапів проектування моделі типового сайту наукової установи.
статья, добавлен 04.11.2018