Формальні моделі та методи синтезу швидкодіючих багатозначних структур мовних систем
Розробка теоретичних та методологічних засобів опису лінгвістичних зв’язків української мови у вигляді рівнянь алгебри предикатів. Побудова математичних моделей акцентних характеристик і букво-фонемних відношень для голосних та приголосних звуків.
Подобные документы
Аналіз тенденцій розвитку сучасних СППРЕБ, методи інтеграції прикладних програм і основні особливості типових програмних реалізацій математичних моделей СППРЕБ. Розробка спеціалізованої мови програмування для формалізації різних аспектів інтеграції.
автореферат, добавлен 21.11.2013Системний аналіз багаторівневої архітектури програмного забезпечення автоматизованих систем управління. Розробка методу порівняння моделей технологічних платформ. Побудова бізнес-архітектури експериментальної моделі в області білінгу для телекомунікацій.
автореферат, добавлен 28.07.2014Аналіз основних етапів і методів побудови нейронних мереж прямого поширення та обґрунтування еволюційного підходу для синтезу нейромоделей. Розробка основних програмних засобів для синтезу розпізнаючих моделей об’єктів на основі запропонованих методів.
автореферат, добавлен 26.08.2015Побудова математичних моделей для ушкоджуючої дії патогенного фактора та патологічних і захисно-пристосувальних реакцій. Розв’язання задачі апостеріорного мінімаксного оцінювання параметрів моделей захворювань, які в загальному випадку є функціями.
автореферат, добавлен 02.08.2014Необхідність розробки інструментарія моделювання і оптимізації у вигляді науково-методологічних положень, математичних моделей, алгоритмів, програм. Системний аналіз рівня планування і управління підприємствами з багатоваріантними структурами виробництва.
автореферат, добавлен 18.11.2013Класифікація моделей за способом зображення. Аналіз відмінностей математичних та інформаційних моделей. Розгляд етапів побудови комп'ютерної моделі. Перевірка моделі за допомогою її тестування. Приклади використання неповного умовного оператора.
реферат, добавлен 22.12.2019Розробка методів верифікації алгоритмів функціонування дискретних систем, що задовольняють заданим часовим обмеженням. Використання часових логік для опису властивостей алгоритмів і методів побудови моделей систем, описаних у сучасних мовах проектування.
автореферат, добавлен 29.08.2014Розробка моделей та архітектурних рішень для складноорганізованих інтелектуальних математичних програмних систем, що інтегрують різноманітні парадигми програмування на базі алгебраїчного та інсерційного програмування, теорії взаємодії агентів і середовищ.
автореферат, добавлен 12.08.2014Математичні моделі надання знань про об'єкт охорони й інформаційно-технічні засоби за рахунок застосування алгебри кінцевих предикатів. Розробка програмного забезпечення процесу підтримки прийняття рішень оператором у разі виникнення позаштатної ситуації.
автореферат, добавлен 25.02.2014Аналіз алгоритму автоматизованого синтезу баз даних та просторових об’єктів для збереження параметрів математичної моделі процесів зміни стану об’єктів. Розгляд підходів до автоматизації процесу інтегрування математичних моделей екологічних процесів.
автореферат, добавлен 19.07.2015- 36. Математичні моделі та методи аналізу й синтезу топологій комп’ютерних видавничо-поліграфічних систем
Аналіз графічних, матричних та аналітичних моделей топологій комп'ютерних видавничо-поліграфічних систем. Створення методів виявлення та перетворення топологічних структур, заданих матричним способом. Синтез комп’ютерних видавничо-поліграфічних систем.
автореферат, добавлен 29.09.2013 Розгляд існуючих структур композиційних мікропрограмних пристроїв керування з розділенням кодів з метою виявлення шляхів їх удосконалення. Дослідження та характеристика розроблених структур з метою визначення області їх ефективного застосування.
автореферат, добавлен 27.07.2015Наукові досягнення в області формалізації структур мови. Підвищення ефективності обробки інформації в системах штучного інтелекту. Знаходження ступеня лінійного логічного перетворення засобами алгебри скінченних предикатів та предикатних операцій.
автореферат, добавлен 25.02.2015Аналіз методів синтезу й оптимізації характеристик автоматів з "жорсткою" логікою, схеми яких реалізуються в гетерогенному елементному базисі. Розробка структур і методів синтезу автомата Мілі з кодуванням наборів мікрооперацій і фрагментацією змінних.
автореферат, добавлен 29.08.2014Синтез алгоритмів інтелектуальної системи розпізнавання мовлення в керуванні мобільним роботом. Множинно-семантичні моделі представлення мовлення у вигляді характеристик нормованих просторів. Комп’ютерне перетворення мовлення в чисельні характеристики.
автореферат, добавлен 06.07.2014Комп’ютерне відтворення звуків, що утворює людина. Методика розв’язання проблеми синтезу розмовної інформації. Автоматизація штучного утворення звуків голосу людини, на основі спільного використання фізичних моделей голосового джерела та мовного тракту.
автореферат, добавлен 20.07.2015Методологія розроби математичних моделей та комп’ютерних технологій вирішення задач оптимального розподілу ресурсів логістичних систем. Створення алгоритмів та елементів інформаційної розробки теоретико-категорійних і множинних математичних моделей.
автореферат, добавлен 22.04.2014Побудова синтаксичного аналізатора проблемно-орієнтованої мови опису сценаріїв для роботи вітрової електростанції після її перетворення у неліворекурсивну лівофакторизовану. Генерація сценаріїв шляхом побудови проблемно-орієнтованих мов програмування.
статья, добавлен 25.10.2016Створення моделей, алгоритмів та програмних засобів аналізу та оптимізації часових характеристик та живучості комунікаційних систем глобальних комп'ютерних мереж. Максимальний потік в комунікаційних мережах. Показники живучості при додаткових обмеженнях.
автореферат, добавлен 29.08.2013Розробка математичних методів для дослідження проходження нейтронів крізь уповільнюючі середовища. Моделювання характеристик позиційно-чутливих детекторів, проектування та дослідження систем нейтронографічної установки на прискорювачі електронів.
автореферат, добавлен 29.09.2015Методика багаторівневого ієрархічного і логічного синтезу асинхронних автоматів і надвеликих інтегральних схем. Проектування мікропрограмних пристроїв управління НВІС на засаді синхронних автоматів. Розробка мов опису проектних логічних специфікацій НВІС.
автореферат, добавлен 21.11.2013Розробка математичних моделей функціональних відмов мікроелектронних цифрових пристроїв. Характеристика методики оцінки показників функціональної надійності логічних елементів та функціональних вузлів ЦП. Розробка архітектури програмної підсистеми.
автореферат, добавлен 12.11.2013- 48. Діагностування комп’ютерних засобів на основі інтелектуальних методів та моделей опрацювання знань
Моделі та форми подання комп’ютерних засобів у базах знань інтелектуальних систем діагностування. Розробка алгоритмів та програмних засобів дослідження характеристик баз знань предметної галузі "Інтелектуальне діагностування мікропроцесорних складових".
автореферат, добавлен 14.07.2015 Розробка моделей надійності резервованих інформаційно-управляючих систем з додатковими компонентами для організації мережного мажоритування. Особливість методу конфігураційного синтезу цифрових програм при використанні раніше розроблених складників.
автореферат, добавлен 30.10.2015Реалізація автоматизації математичних обчислень на основі програм символьної математики. Спрощення системи збору відповідної інформації і забезпечення підвищення якості у сфері бізнесу. Використання типових структур даних освітньо-фахового потенціалу.
статья, добавлен 12.01.2020