Формальні моделі та методи синтезу швидкодіючих багатозначних структур мовних систем
Розробка теоретичних та методологічних засобів опису лінгвістичних зв’язків української мови у вигляді рівнянь алгебри предикатів. Побудова математичних моделей акцентних характеристик і букво-фонемних відношень для голосних та приголосних звуків.
Подобные документы
Вимоги до побудови адекватних математичних моделей складних об’єктів у вигляді вузлів графа з використанням інтелектуальних інформаційних систем. Проектування переходів системи із ситуації в ситуацію. Побудова алгоритму нечітких ситуаційних мереж.
статья, добавлен 25.10.2016Аналіз принципів, методів і засобів оцінки і забезпечення надійності і безпеки інформаційно-управляючих систем критичного застосування. Розробка моделей відмовобезпечних ІУС з урахуванням помилок засобів контролю і управління, процедур їх відновлення.
автореферат, добавлен 29.08.2014Методи підвищення швидкодії функціональної верифікації цифрових систем на кристалах. Програмне забезпечення логічного моделювання, виконуване на послідовному комп'ютері. Удосконалення моделі сферичного мультипроцесора, розв’язання булевих рівнянь.
автореферат, добавлен 26.08.2015Тенденції розвитку сучасних СППРЕБ, інтеграція прикладних програм і основні особливості типових програмних реалізацій математичних моделей СППРЕБ. Розробка спеціалізованої мови програмування для формалізації різних аспектів інтеграції моделей у СППРЕБ.
автореферат, добавлен 07.11.2013Удосконалення моделі процесу дедуктивного й паралельного моделювання несправностей. Розробка моделі структурного аналізу розгалужень, що сходяться та методу зворотного моделювання дефектів деревоподібних структур цифрових систем великої розмірності.
автореферат, добавлен 12.07.2014Конструювання інформаційних технологій функціональної безпеки інформаційно-управляючих систем та еволюційно-компонентної моделі. Розробка моделі надійності систем з мережевим мажоритуванням. Застосування систем на енергоблоках атомних електростанцій.
автореферат, добавлен 26.08.2014Інформаційна технологія й методи побудови функціональних тестів. Відновлення працездатності апаратно-програмних засобів у складі автоматизованих систем управління. Скорочення обчислювальної складності й довжини тестів шляхом розробки методів синтезу.
автореферат, добавлен 29.01.2016Створення методологічних принципів побудови автоматизованої системи управління ремонтно-технічного забезпечення підприємства на базі розробленого комплексу математичних моделей. Аналіз функціональних підсистем підприємств в умовах існування АСУ.
автореферат, добавлен 13.07.2014Аналіз відомих методів контролю та автоматичного виправлення типових помилок користувача, а також засобів реалізації методів у рамках "штатних" можливостей сучасних систем управління базами даних. Розробка засобів програмної реалізації моделей і методів.
автореферат, добавлен 28.08.2014Моделювання цифрової системи на кристалі вентильного та регістрового рівнів для аналізу перехідних процесів. Тестування і верифікація цифрових проектів. Трійковий метод аналізу справної поведінки. Використання багатозначних апаратних моделей компонентів.
автореферат, добавлен 25.02.2015Описано підхід до визначення формальних структур МАНОК-систем з прикладами їх інтерпретації. Аналіз джерел, присвячених побудові ІТНО-систем. Опис схеми побудови ІТНО-систем та їх компонентів. Використання аксіоматичного методу та "гомоморфних моделей".
статья, добавлен 02.10.2018Закономірності появи та вдосконалення систем комп'ютерної алгебри разом із розвитком засобів обчислювальної техніки. Основні етапи розвитку алгоритмічних мов, принципи їх збагачення. Особливості сигнатури та алгоритми базових процедур мови А-2000.
автореферат, добавлен 25.02.2015Розробка підходу до генерування сполучених правил якщо-то на основі генетико-нейронного алгоритму розв'язання рівнянь нечітких відношень, що дозволяє уникнути селекції правил і виключити перекриття між класами. Розв'язання рівнянь нечітких відношень.
статья, добавлен 19.02.2016Розробка підходу до взаємодії між системами розпізнавання та інтерпретації природної мови. Характеристика логіко-граматичних моделей конструювання діалога користувача з комп'ютерною системою. Розгляд середовища проектування природно-мовних інтерфейсів.
автореферат, добавлен 07.03.2014Аналіз критеріїв асимптотичної стійкості положення рівноваги нелінійної динамічної системи. Розробка методів розв’язання проблеми Ляпунова для істотно нелінійних систем. Побудова конструктивних алгоритмів аналізу та синтезу динамічних систем керування.
автореферат, добавлен 25.06.2014Розробка методів та алгоритмів моделювання інформаційних систем, що реалізовані на основі Web-технологій. Створення процедур оптимізації структури Web-систем. Побудова формальної моделі Web системи, аналіз її поведінки. Створення прикладної Web системи.
автореферат, добавлен 20.04.2014Поняття про об’єкт моделювання та його параметри, методи та рівні. Види опису математичних моделей, їх класифікація та типи, етапи та алгоритм. Положення теорій подібності та розмірності. Поняття про класичні та узагальнені розв’язки крайових задач.
курс лекций, добавлен 22.11.2015Розробка інтелектуального методу визначення оптимальних параметрів моделі теплотехнологічного об’єкта з розподіленими параметрами на прикладі печі випалювання. Побудова математичних моделей технологічного процесу виготовлення будівельної кераміки.
автореферат, добавлен 29.08.2015Алгоритми, що використовуються у перетворенні форматів стиснених сигналів. Формалізація математичних моделей та створення багатоканальних комп’ютерних засобів. Удосконалення структур пристроїв криптографічних модулів апаратно-орієнтованих процесорів.
автореферат, добавлен 14.09.2015Огляд процесу розроблення математичних моделей та інформаційної технології оброблення електрометричних даних систем електрохімзахисту. Математичні моделі розподілу захисної різниці потенціалів вздовж трубопроводу. Методи визначення пошкоджень ізоляції.
автореферат, добавлен 25.06.2014Проведення аналізу методів створення автоматизованих комплексів авіаційного призначення. Розробка методу перетворення безповторних алгоритмічних структур із комутативними умовами. Опрацювання методу синтезу настроювальних алгоритмічних перетворювачів.
автореферат, добавлен 27.07.2014Розробка програмних систем адаптивного навчання, які використовують методи штучного інтелекту. Дослідження методів і засобів, які застосовуються в інтелектуальних системах обробки інформації і управління. Розроблення моделі процесу прийняття рішень.
автореферат, добавлен 29.09.2014Моделі формальної обробки інформації у системах штучного інтелекту. Розробка алгебро-логічних методів декомпозиції предикатів для формалізації процесів інтелектуальної обробки інформації у системах штучного інтелекту. Опис механізмів природної мови.
автореферат, добавлен 28.07.2014Алгоритми стиснення та мікшування мовних сигналів, порівняльний аналіз комп’ютерних засобів перетворення форматів стиснених мовних сигналів та визначення областей їх використання. Моделі структур багатоканальних комп’ютерних засобів перетворення.
автореферат, добавлен 26.07.2014Розробка аксіоматичного підходу до проектування лінгвістичних трансляторів в системах логічного програмування, що базується на традиційних логічних численнях, реалізації фаз синтаксичного аналізу і перекладу мов проектування за допомогою методу резолюцій.
автореферат, добавлен 11.10.2011