Аксіоматичні моделі і методи проектування лінгвістичних трансляторів
Розробка аксіоматичного підходу до проектування лінгвістичних трансляторів в системах логічного програмування, що базується на традиційних логічних численнях, реалізації фаз синтаксичного аналізу і перекладу мов проектування за допомогою методу резолюцій.
Подобные документы
Проектування програми обліку даних про волонтерів та подій, на які вони зареєстровані за допомогою мови С# в середовищі Visual Studio2008. Можливості об’єктно-орієнтованого програмування. Ієрархія класів та реалізація графічних елементів програми.
курсовая работа, добавлен 17.03.2013Забезпечуючи і функціональні компоненти комп'ютерної інформаційної системи. Створення базової системи захисту інформації. Каскадна, ітераційна і спіральна моделі життєвого циклу АІС. Склад операцій проектування класифікаторів, етапи процесу його обробки.
контрольная работа, добавлен 22.09.2009Опис створення інформаційно-пошукової системи як однієї з складових інформаційних систем; етапів проектування інформаційної системи оброблення бази даних закладів, що встановлює однозначні відношення між об’єктами за допомогою ключових полів таблиць.
курсовая работа, добавлен 30.01.2014Розгляд формалізації й алгоритмізації конструкторських робіт та автоматизації проектування нестандартного електротехнічного устаткування судна. Характеристика послідовності використання комп’ютерного програмного забезпечення для розв'язання задач.
автореферат, добавлен 16.10.2013Cтворення математичного і алгоритмічного забезпечення завдань проектування автоматизованої системи управління виробництвами з електроімпульсними процесами. Використати CASE технології для проектування. Інструментальні засоби підтримки прийняття рішень.
автореферат, добавлен 31.01.2014Характеристика основних стадій проектування. Структурні перегляди і зовнішні інспекції. Основні правила структурних переглядів. Структурне подання даних. Правила мінімізації складності програмного виробу. Організація проведення структурних переглядів.
лекция, добавлен 26.03.2013Висловлювання — речення, яке містить твердження про зв'язки між об'єктами. Основні команди мови програмування, які використовуються для присвоєння певній змінній значення логічного виразу. Таблиця істинності для диз'юнкції двох логічних виразів.
статья, добавлен 06.12.2018Розробка наближеного методу розв'язання симетричної задачі комівояжера, який перевершує за швидкодією відомі алгоритми і не поступається їм за точністю. Особливості побудови оптимізаційної моделі проектування і реконструкції комунікаційних мереж.
автореферат, добавлен 25.08.2015Дослідження та аналіз існуючої на підприємстві інформаційної системи. Розроблення функціональної моделі існуючих бізнес-процесів "як є". Обґрунтування доцільності проектування й розробки концепції автоматизованого робочого місця головного механіка.
дипломная работа, добавлен 03.02.2016Основні поняття про системи автоматизованого проектування освітлення. САПР світлотехнічних систем для проектування освітлювальних установок. Програми та особливості їх застосування. Порівняльний аналіз САПР для оптичного програмного забезпечення.
учебное пособие, добавлен 16.09.2017Створення системи автоматизації проектування мікроелектронної апаратури. Моделювання програмного комплексу, призначеного для ідентифікації параметрів бази МЕА з додатковими можливостями розширення математичного та інформаційного забезпечення САПР.
автореферат, добавлен 23.11.2013Аналіз засобів проектування корпоративного порталу. Опис програмного та апаратного середовища функціонування об’єкта проектування. Функціонально-структурна схема роботи Інтернет-сайта. Основні механізми взаємодії компонентів інформаційної системи.
курсовая работа, добавлен 31.05.2017Можливості сучасних інформаційних технологій під час проектування великих об'єктів готельного бізнесу. Головна особливість проектування бізнес-процесів за допомогою ієрархічного представлення об'єктів предметної сфери у вигляді графічних структур.
статья, добавлен 02.02.2023Поняття і принципи побудови системи автоматизованого проектування. Ієрархічна структура систем управління базами даних. Структура, рівні і програмне забезпечення системи автоматизованого проектування. Системи машинної графіки та її програмне забезпечення.
курс лекций, добавлен 22.07.2015Загальні питання баз даних різних моделей, принципи організації текстових, мережевих і реляційних баз. Підхід до проектування баз даних для ведення підрахунків складального цеху автозаводу та процес її конструювання і побудови. Прийоми створення запитів.
курсовая работа, добавлен 08.03.2014Розглянуто сучасні технології та інструменти проектування, які компанія Apple надає розробникам програмного забезпечення для власних операційних систем iOS, macOS, watchOS та tvOS. Аналіз перспектив впровадження у власні проекти нової мови програмування.
статья, добавлен 26.10.2020Проектування, створення високоякісного програмного забезпечення - одна з надзвичайно важливих проблем в сучасному інформаційному світі. Архітектура - сукупність певних взаємопов’язаних структурних компонентів, які визначають поведінку всієї системи.
статья, добавлен 23.04.2021Дослідження iтерацiйного методу розв’язання задачi рiвноважного програмування в гiльбертовому просторi що базується на новому варiантi регуляризацiї вiдомої forward-backward схеми за допомогою в’язкiсної апроксимацiї. Теорема сильної збiжностi методу.
статья, добавлен 14.09.2016Моделі даних та їх класифікація. Створення бази даних за допомогою Мicrosoft Аccess та проектування запитів до бази даних. Поняття транзакцій та їх властивості. Розробка інфологічної моделі "Сутність-зв'язок". Основні етапи життєвого циклу баз даних.
методичка, добавлен 04.06.2014Послідовність проектування операційних систем у сфері виробництва послуг. Визначення наявності потреби в послугах, передбачених бізнес-планом. Аналіз вимог споживачів, визначення місця розташування підприємства для надання послуг і його потужність.
реферат, добавлен 25.12.2017Аналіз процесу автоматизованого проектування одягу, створення математичної моделі. Особливості геометричних перетворень розгортки деталей. Використання властивостей гомеоморфних фігур топології для чисельного контролю правильності додаткових побудов.
статья, добавлен 12.08.2016- 122. Методи та засоби підвищення ефективності розподілених систем на основі багатоканальних зв'язків
Визначення факторів, які суттєво впливають на ефективність функціонування комп’ютерних систем і мереж. Розробка та дослідження методів їх проектування при наявності нечіткості у визначенні характеристик та на основі маршрутизації та логічних каналів.
автореферат, добавлен 26.08.2014 Особливості використання та основні характеристики розробляємої локальної мережі. Опис її топології та середи передачі даних. Проектування структурної схеми мережі. Проектування конфігурації, розташування обладнання. Вибір типу мережевого обладнання.
курсовая работа, добавлен 22.05.2014Аналіз предметної області. Проектування інформаційної підсистеми для автоматизації обліку продажу товарів у мережі магазинів. Побудова реляційної бази даних. Розробка запитів на мові SQL. Тестування та інтерфейс БД. Специфікація вимог користувачів.
курсовая работа, добавлен 17.11.2019Дослідження семантичної структури предметної галузі комплексу екологічних дисциплін. Розробка та обґрунтування формалізованої моделі процесу ідентифікації змістовних ознак екологічних лінгвістичних об’єктів на основі методу компараторної ідентифікації.
автореферат, добавлен 29.04.2014