Формальні моделі та методи синтезу швидкодіючих багатозначних структур мовних систем
Розробка теоретичних та методологічних засобів опису лінгвістичних зв’язків української мови у вигляді рівнянь алгебри предикатів. Побудова математичних моделей акцентних характеристик і букво-фонемних відношень для голосних та приголосних звуків.
Подобные документы
Розробка структурно-категорних математичних моделей процесів прямого проектування розподіленої бази даних та її елементів. Синтез логічної та фізичної моделей, що враховують зв’язність таблиць і ступінь децентралізації бази даних, що проектується.
автореферат, добавлен 07.03.2014Дослідження властивостей булевих функцій. Аналіз факторів, що впливають на ефективність їх застосування в засобах захисту інформації. Розробка організації обчислень та програмних засобів для синтезу і реалізації перетворень, що базуються на функціях.
автореферат, добавлен 26.07.2014Застосовування методів аналізу й синтезу при розробці обчислювальних пристроїв. Адаптація методу великих часток реального часу до вимог систем візуалізації. Синтез зображень газодинамічних об'єктів. Розробка схеми обчислювача, моделювання блоків.
автореферат, добавлен 27.08.2015Розв’язання різного роду обчислювальних задач, алгоритм яких описується в загальноприйнятих математичних термінах і позначеннях як основне завдання програмного комплексу MathCAD. Чисельні методи, що використовуються для розрахунку матричних рівнянь.
учебное пособие, добавлен 19.07.2017Аналіз сучасних автоматизованих систем управління на транспорті та математичних моделей, які застосовуються в них пасажирським транспортом. Розробка математичної моделі функціонування маршруту з урахуванням впливу найбільш значущих стохастичних чинників.
автореферат, добавлен 05.11.2013Розробка моделей, інформаційних технологій оптимізації систем управління навчальним процесом в вищих закладах освіти. Моделі оптимізації складу та послідовності навчання при переході на кредитно-модульну систему. Аналіз структур інформаційних потоків.
автореферат, добавлен 25.02.2015- 82. Методи і моделі системологічного імітаційного моделювання розробки компонент інформаційних систем
Побудова імітаційних моделей з використанням системно-об’єктного підходу та методів моделювання складних інформаційних програмних систем та їхніх компонентів на базі УФО-технології. Удосконалення математичного апарату для моделювання бібліотек даних.
автореферат, добавлен 27.08.2014 Аналіз математичних моделей метрологічного забезпечення експлуатації об'єктів. Методи вирішення задач: перебір або підбіор варіанту згідно вимог системи, математичне програмування. Вирішення моделей Рао-Крамера-Фреша методом нелінійного програмування.
статья, добавлен 14.07.2016Побудова діалогових моделей здобуття, обробки знань та надання адаптації інформаційних систем до когнітивних якостей користувача. Розробка програмного забезпечення адаптивних комп’ютерних технологій, орієнтованих на комунікативні довідкові процеси.
автореферат, добавлен 28.08.2015Огляд сучасної комп'ютерної стеганографії та її проблематики. Моделі та методи комп'ютерної стеганографії для цифрових контейнерів у вигляді зображення. Методи приховування інформації в графічних зображеннях. Розробка алгоритму розв'язання задачі.
научная работа, добавлен 14.01.2021Класифікація ущільнювачів ґрунту, покриттів та майданчиків. Аналіз системи "робочий орган-середовище". Особливості проектування та конструкції. Методика розв’язання диференціальних рівнянь. Вибір програмного середовища. Побудова імітаційної моделі.
дипломная работа, добавлен 22.04.2015Створення структурно-логічних моделей різних топологій і технологій виконання локальних обчислювальних мереж на основі теорії графів, кубічного зчислення і VHDL-мови опису апаратури високого рівня, що орієнтовані на існуючі системи моделювання.
автореферат, добавлен 04.03.2014Побудова системи базових моделей зображень нерегулярного вигляду. Введення формалізованих показників якості сегментації та методів їх оцінювання. Розробка моделі адаптивної маски для забезпечення стійкості сегментації вузлів контрастних зображень.
автореферат, добавлен 28.07.2014Розробка математичної моделі виникнення власних шумів вхідних підсилювачів медичних інформаційно-діагностичних систем, способи боротьби з шумами біопідсилювачів. Синтез структур блоку їх активного пригнічення. Схемо-технічна реалізація даної системи.
автореферат, добавлен 11.11.2013Аналіз сучасних методів і алгоритмів перенацілюваної компіляції. Розробка методу аналізу придатності мікропроцесорних архітектур. Розробка мови опису мікропроцесорної архітектури та експертних знань на базі тегової моделі мови розмітки гіпертексту XML.
автореферат, добавлен 22.06.2014Обчислення коефіцієнтів математичних моделей. Розробка програмного коду автоматизованого аналізу (у діалоговому режимі) динамічних характеристик математичної моделі заданої системи. Команди визначення передатних функцій послідовних, паралельних з'єднань.
лабораторная работа, добавлен 25.06.2015Методи підвищення надійності інформаційних систем, раціональний вибір параметрів для оновлення програмних засобів. Оцінювання надійності ІС в умовах прояву власних дефектів і зовнішніх впливів. Впровадження моделі в ІС критичної і бізнес-критичної галузі.
автореферат, добавлен 28.08.2014Розробка інформаційних технологій проектування структурно-функціональних моделей скінчених автоматів для синтезу алгоритмів автоматизованого управління технологічними процесами. Вивчення методу моделювання алгоритмів автоматизованого управління.
автореферат, добавлен 20.07.2015Вивчення і аналіз теоретичних, методологічних та програмних засад створення Web-систем підтримки навчальної діяльності у закладах освіти, розробка механізму динамічної модифікації їх вмісту. Вивчення існуючого інструментарію та його можливостей.
автореферат, добавлен 11.08.2014Розробка комплексу математичних моделей коливальних процесів роторних систем, які дозволяють удосконалити інструментарій комп’ютерного моделювання. Організація досліджень, випробовувань та вібродіагностики, підвищення надійності роботи цих систем.
автореферат, добавлен 26.08.2015Розробка моделей і алгоритмів процесу контролю геометричних характеристик об’єктів зі складною просторовою поверхнею. Методи підвищення точності програмного переміщення чутливого елемента вимірювального пристрою, зменшення дестабілізуючих факторів.
автореферат, добавлен 29.08.2015Аналіз архітектур інформаційно-управляючих систем, важливих для безпеки АЕС, а також методів і засобів забезпечення надійності таких систем. Удосконалення моделей надійності одноверсійних структур та методу оцінки інформаційно-управляючих систем.
автореферат, добавлен 11.08.2014- 98. Розробка математичних моделей надійності складних систем з урахуванням динаміки умов їх експлуатації
Створення багатофакторної моделі надійності, у якій фактор-"вік" системи виділений із сукупності факторів, що визначають умови й режим експлуатації системи. Для контрольованих систем створення процедури оцінювання коефіцієнтів рівняння регресії.
автореферат, добавлен 26.07.2014 Алгоритмічна реалізація інформаційної технології для перекладу з української мови на жестову мову. Побудова інфологічних моделей словників української та жестової мов і узагальнених граматичних конструкцій для забезпечення автоматизованого перекладу.
статья, добавлен 28.02.2016- 100. Розробка засобів паралельного розв`язку систем лінійних рівнянь в САПР схемотехнічного моделювання
Блочно-діагональний LU метод з обрамленням, який задовольняє вимогам архітектури комп’ютерів. Кластерний алгоритм рівномірного завантаження процесорів Санжованні-Вінсентеллі. Структура паралельного модуля рішення систем лінійних розріджених рівнянь.
автореферат, добавлен 12.02.2014