Аксіоматичні моделі і методи проектування лінгвістичних трансляторів
Розробка аксіоматичного підходу до проектування лінгвістичних трансляторів в системах логічного програмування, що базується на традиційних логічних численнях, реалізації фаз синтаксичного аналізу і перекладу мов проектування за допомогою методу резолюцій.
Подобные документы
Системний аналіз комунікаційних систем комп'ютерних мереж масштабу підприємства. Методи об'єктно-орієнтованої декомпозиції і проектування КСКМ масштабу підприємства на рівні об'єктів мережних структур. Методики проектування мережевих об'єктів і КСКМ.
автореферат, добавлен 29.08.2014Знайомство з особливостями та проблемами перетворення каскадних систем організації проектування предметної області для IC до форми. Розгляд ключових аспектів методології проектування сучасних баз даних. Аналіз складу сучасних інформаційних систем.
статья, добавлен 30.07.2016Технологія проектування інформаційних систем: склад компонентів та основні вимоги до вибору технології. Основні поняття класифікації економічної інформації. Структура економічного показника. Проектування процесів отримання первинної інформації.
контрольная работа, добавлен 22.09.2009Розроблення методу проектування вимог якості до програмних систем, на всіх стадіях життєвого циклу. Формування та оцінка програмного комплексу підтримки методу проектування вимог та автоматизації процесу оцінювання якості заданих програмних систем.
автореферат, добавлен 14.08.2015Проведення комплексного аналізу об’єкту проектування. Побудова діаграми варіантів використання. Функціональна схема, програмне та технічне забезпечення. Вимоги до інтерфейсу. Розробка структури бази даних для забезпечення діяльності автозаправної станції.
дипломная работа, добавлен 02.12.2016Проектування і розробка пристрою на основі мікропроцесора. Проектування лічильника на основі мікропроцесора ADuC848. Принципова електрична схема. Розгляд характеристик мікропроцесора: внутрішньої структури; ядра; пам’яті; системи команд; контактів.
курсовая работа, добавлен 11.05.2015Декомпозиція рівнів контекстної діаграми функціональної моделі IDEF0 процесу проектування електронних видань для планшетних комп’ютерів. Дослідження функцій і об’єктів діаграм декомпозиції, розробка структури технології проектування електронних видань.
статья, добавлен 29.07.2016Теплове проектування електронних пристроїв, яке зводиться до розв’язування систем лінійних алгебраїчних рівнянь великої розмірності. Оптимізація використання наявної обчислювальної інфраструктури за допомогою математичного та програмного забезпечення.
автореферат, добавлен 20.07.2015Зовнішній, інфологічний, даталогічний, внутрішній рівні проектування даних. Методи проектування інформаційних систем і їх класифікація. Ієрархічна і багатоаспектна системи класифікації економічної інформації. Завантаження і ведення інформаційної бази.
контрольная работа, добавлен 12.09.2009- 60. Підходи та принципи проектування АРМ як складової інформаційної системи управління підприємством
Етапи проектування АРМ. Аналіз системи прийняття рішень та аналіз інформаційних вимог. Розробка схеми БД та етапи її впровадження. Створення бізнес-моделей організації та робочих місць менеджера. Вимоги при проектуванні інформаційного забезпечення.
контрольная работа, добавлен 29.09.2010 Використання квантових комірок у конструюванні фрагментів логічних, арифметичних наносхем. Роль синхронізації в керуванні роботою квантово-коміркової логіки. Моделювання квантових коміркових автоматів з використанням автоматизованої системи проектування.
статья, добавлен 30.10.2016Постановка задачі обґрунтування вибору рішень стосовно проектування ЕОМ. Оцінка продуктивності критеріального підходу до обґрунтування вибору часових характеристик. Розробка положень більш продуктивного задачного підходу до обґрунтування вибору.
автореферат, добавлен 27.12.2015Дослідження проектування автоматизованих систем управління. Обґрунтування використання діалогових алгебро-граматичних моделей представлення знань для їх синтезу. Розробка інструментарію проектування комп’ютерних систем – діалогова трансформаційна машина.
автореферат, добавлен 27.08.2014Розгляд функцій систем автоматизованого проектування за критерієм наявності в одному пакеті можливостей. Загальна характеристика автоматизації процесу проектування прес-форм для литва термопластів під тиском. Аналіз середовища Autodesk Inventor.
статья, добавлен 18.05.2020Створення та впровадження в практику сучасних інформаційних систем. Поняття бази даних та системи Access. Розробка інфологічної моделі та проектування даталогічної моделі бази даних. Реалізація бази даних в системі управління базами даних Access.
курсовая работа, добавлен 23.09.2014Сучасні тенденції програмування систем автоматизації. Середовище об’єктно-орієнтовного програмування: об’єкти Delphi. Призначення, властивості, методи, основні події і приклади використання компонента Gauge. Проектування програми курсової роботи.
курсовая работа, добавлен 18.05.2009- 67. Комплексна методика проектування моделей інтелектуальних систем діагностики та методи оцінки якості
Розгляд процесу технології проектування інтелектуальних систем, що дає нові можливості для управління даним процесом. Комплексна методика проектування довідкових систем, заснована на семантичній технології комп'ютерних систем різного рівня інтелекту.
статья, добавлен 21.06.2016 Проектування візуального середовища та розроблення формальної мови, яка буде використовуватися паралельним середовищем. Оператори візуального середовища для навчання студентів паралельних обчислень. Розгляд основні конструкції мови С++. Розробка програм.
статья, добавлен 26.10.2021Розробка методів верифікації алгоритмів функціонування дискретних систем, що задовольняють заданим часовим обмеженням. Використання часових логік для опису властивостей алгоритмів і методів побудови моделей систем, описаних у сучасних мовах проектування.
автореферат, добавлен 29.08.2014Рішення актуальної задачі підвищення якості формалізації природної мови на прикладі створення алгебрологічних моделей морфології та їх застосування у логічних мережах. Проектування засобів штучного інтелекту. Алгебрологічний метод роботи логічних мереж.
автореферат, добавлен 28.08.2014В розумінні архітектурного проектування розвинутих країн Світу з’являються об’єкти, що обслуговують інформаційну та комунікаційну інфраструктуру. Вони включають у себе теле- і радіостанції, інформаційні центри та медіалабораторії, комп’ютерні клуби.
статья, добавлен 09.06.2024Технологія розробки управлінських інформаційних систем та керування технологічними процесами проектування. Контроль та корекція плану робіт по створенню систем. Розробка основних критеріїв оцінок та порівняльний аналіз електронних систем документообігу.
автореферат, добавлен 28.07.2014Розробка підходу до взаємодії між системами розпізнавання та інтерпретації природної мови. Характеристика логіко-граматичних моделей конструювання діалога користувача з комп'ютерною системою. Розгляд середовища проектування природно-мовних інтерфейсів.
автореферат, добавлен 07.03.2014- 74. Метод та засіб моніторингу дефектів проектування об’єктно-орієнтованого програмного забезпечення
Розробка методики побудови моделей дефектів проектування, які дають можливість отримувати про них інформацію. Особливість моніторингу недоліків конструювання об’єктно-орієнтованого програмного забезпечення, який забезпечує спостереження за їх розвитком.
автореферат, добавлен 20.07.2015 Аналіз сучасних медичних інформаційних систем, будова конфігурації інформаційної системи медичної установи. Методи і засоби проектування інформаційних систем для підтримки діяльності лікувально-профілактичних установ в частині медичного документообігу.
автореферат, добавлен 26.08.2015