Формальні моделі та методи синтезу швидкодіючих багатозначних структур мовних систем
Розробка теоретичних та методологічних засобів опису лінгвістичних зв’язків української мови у вигляді рівнянь алгебри предикатів. Побудова математичних моделей акцентних характеристик і букво-фонемних відношень для голосних та приголосних звуків.
Подобные документы
Дослідження сучасного стану та методики вирішення проблеми в області розробки логічних мереж і математичних засобів для побудови їх моделей. Розробка та обґрунтування методу формального опису операцій реляційної алгебри на мові скінчених предикатів.
автореферат, добавлен 26.08.2015Алгебро-логічні методи опису арифметичних операцій віднімання і ділення m-розрядних двоїчних кодів, їх реалізація у вигляді розрахунково–довідкової програми і використання для математичних обчислювань різної складності, наприклад, у ВАТ "Укргіпроелектро".
автореферат, добавлен 11.10.2011Методи дослідження технічних систем і технологічних процесів. Розробка алгоритмічних основ і програмних засобів комп'ютерного моделювання широкого класу динамічних об'єктів. Формування непараметричних математичних моделей у вигляді інтегральних рівнянь.
автореферат, добавлен 29.09.2014Створення моделі організації комп’ютеризованого навчання. Побудова профілю користувача з урахуванням індивідуальних психофізіологічних характеристик. Розробка інструментальних засобів. Реалізація та оцінка ефективності автоматизованих навчаючих систем.
автореферат, добавлен 26.08.2015- 5. Методи формалізації і моделі морфологічних структур та їх застосування в системах штучного інтелекту
Розробка методу бінаризації алгебраїчного формульного запису морфологічних предикатів. Побудова мережі, що моделює відмінювання повних неприсвійних прикметників російської мови. Головна особливість способу скорочення внутрішніх станів логічної сітки.
автореферат, добавлен 30.10.2015 Метод уніфікації суперпозицій семантичних функцій та природно-мовних конструкцій. Якість систем автоматичної обробки текстів під час аналізу багатозначних мовних одиниць. Характеристика атрибутних транслюючих граматик на основі систем штучного інтелекту.
автореферат, добавлен 29.08.2014Методологія RUP до представлення задач електронного документообігу. Розробка комплексу програмних інструментальних засобів, призначених для створення й функціонування систем композитного документообігу підприємств та організацій, його формальні моделі.
автореферат, добавлен 14.09.2014Дослідження засобів опису множини варіантів комплектації виробів. Розробка математичних моделей комплектації для систем з багатоваріантними технологічними схемами. Аналіз задач і характерних особливостей цільових функцій техніко-економічного планування.
автореферат, добавлен 08.09.2013- 9. Розробка математичних моделей надійності складних систем з урахуванням динаміки умов їх експлуатації
Розробка моделі обліку впливу режимів і умов експлуатації на технічний стан складних систем у вигляді багатофакторного рівняння регресії. Огляд методики оцінювання параметрів багатофакторних регресійних моделей. Прогнозування безвідмовності складних.
автореферат, добавлен 14.09.2015 Аналіз математичних моделей видовження і натягу ділянки рухомої стрічки. Побудова моделі зміщення фарб на ротаційних друкарських машинах, дослідження впливу параметрів на зміщення фарб. Розробка програмних засобів для моделювання стрічкопровідних систем.
автореферат, добавлен 22.10.2013Побудова математичної моделі розвитку онтологій. Інтеграція моделей. Розробка методів аналізу адекватності, усунення властивостей динамічної суперечливості інформації. Обґрунтування алгоритмічних та інструментальних засобів аналізу у прикладних задачах.
автореферат, добавлен 25.07.2014Розробка моделі просторового графа синхронних потоків даних. Алгоритмізація їх обробки у паралельних обчислювальних системах. Застосування програмованих логічних інтегральних схем. Вирішення задач лінійної алгебри з мінімізацією простоїв процесорів.
автореферат, добавлен 11.08.2015Аналіз природності звучання українського мовлення в межах проблеми комп’ютерного конкатенативного синтезу мовлення. Розробка моделі подання текстової інформації. Опис програмно-алгоритмічних засобів комп’ютерного конкатенативного сегментивного синтезу.
автореферат, добавлен 27.07.2015Аналіз існуючих структур композиційних мікропрограмних пристроїв керування (КМПК) без поділу кодів з метою виявлення шляхів їх вдосконалення. Розробка структур КМПК без поділу кодів з кешуванням сигналів та визначення області їх ефективного застосування.
автореферат, добавлен 29.08.2015Розробка методу синтезу формальних моделей комп’ютерних програм на основі семантичних анотацій їх елементів. Розробка методу навчання інтелектуальної системи синтезу семантичних моделей програм. Структура онтології для системи синтезу моделей програм.
автореферат, добавлен 26.08.2015Розробка математичних моделей процесів та апаратів первинної переробки сирих вуглеводнів, їх узагальнення з метою типізації та уніфікації математичного опису класу процесів. Формалізація та уніфікація методів та засобів математичного моделювання.
статья, добавлен 28.08.2016Розробка предметно-орієнтованих мов та програмна реалізація відповідних трансляторів для опису задач чисельного аналізу математичних структур. Створення програмного середовища генерації мовних процесорів для автоматизації лінгвістичного забезпечення.
автореферат, добавлен 07.03.2014Розробка бази даних для автосалону. Побудова інфологічної моделі БД засобами ER-діаграми. Опис базових таблиць. Нормалізація відношень бази даних до третьої нормальної форми. Операції реляційної алгебри над відношеннями з однаковими множинами атрибутів.
контрольная работа, добавлен 31.01.2013Розроблення математичних моделей та моделей циркуляції даних (інформаційних моделей), методів і відповідних засобів моделювання зображень хімічних виразів для комп’ютерно-видавничих систем. Принцип конвертування інформаційних моделей хімічного редактора.
автореферат, добавлен 05.08.2014Класифікація моделей та методів дослідження виробничих систем у задачах автоматизованого управління програмою підприємства. Розробка інформаційних моделей опису виробничих систем для економічного моніторингу наукоємного високотехнологічного виробництва.
автореферат, добавлен 11.08.2014Розробка методів для автоматизації синтезу моделей. Модифікування існуючих технологій базових елементів мікроелектромеханічних систем. Аналіз імітаційної тривимірної моделі технологічних операцій виготовлення елементів мікроелектромеханічних систем.
автореферат, добавлен 28.08.2015Створення програмного комплексу для статичної перевірки властивостей формальних моделей та визначення досяжності станів, в яких знайдено недоліки. Основні формальні моделі асинхронних паралельних систем та статичні методи перевірки властивостей.
автореферат, добавлен 14.08.2015Розробка системи автоматизованого проектування маршрутів формування кристалів інформаційних систем. Методи виділення фактуальних знань та засоби синтезу моделей і алгоритмів. Технологічне проектування кристалів напівпровідникових інформаційних систем.
автореферат, добавлен 23.02.2014Наведення формальної мови для подання математичних текстів. Побудова системи комп’ютерних засобів автоматичної перевірки їх коректності. Розробка процедури пошуку виведення, оригінальної дворівневої архітектури процедури автоматичного доведення.
автореферат, добавлен 05.08.2014Аналіз тенденцій розвитку сучасних СППРЕБ, методи інтеграції прикладних програм і основні особливості типових програмних реалізацій математичних моделей СППРЕБ. Розробка спеціалізованої мови програмування для формалізації різних аспектів інтеграції.
автореферат, добавлен 21.11.2013