![](/irbis64r_81/images/db_navy.gif) Віртуальна довідка ![](/irbis64r_81/images/db_navy.gif) Тематичний інтернет-навігатор ![](/irbis64r_81/images/db_navy.gif) Наукова електронна бібліотека ![](/irbis64r_81/images/db_navy.gif) Автореферати дисертацій ![](/irbis64r_81/images/db_navy.gif) Реферативна база даних ![](/irbis64r_81/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis64r_81/images/db_navy.gif) Журнали та продовжувані видання
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>A=Дюбко Г$<.>) |
Загальна кількість знайдених документів : 7
Представлено документи з 1 до 7
|
| | | | |
1. |
Дюбко Г. Ф. Разработка экспертной системы распознавания речи / Г. Ф. Дюбко, А. В. Пижурин // Пр. УНДІРТ. Штуч. інтелект і розпізнавання образів. - 1998. - № 2(14). - С. 23-28. - Библиогр.: 7 назв. - рус.Рассмотрены пути реализации системы автоматического распознавания речи с использованием экспертной системы (ЭС), позволяющей проводить рассуждения в рамках естественного языка. Індекс рубрикатора НБУВ: З970.641
Шифр НБУВ: Ж69421 Пошук видання у каталогах НБУВ
|
| | | | |
2. |
Дюбко Г. Ф. Современные теории представления формальных языков [Електронний ресурс] / Г. Ф. Дюбко, Е. Л. Лещинская // Вісн. Міжнар. Слов'ян. ун-ту. Сер. Техн. науки. - 2005. - 8, № 1-2. - С. 14-20. - Библиогр.: 18 назв. - рус. - Режим доступу: /articles/2005/Розглянуто найчастіше вживані моделі формальних мов. Описана традиційна синтаксична модель, яка задає правила формування та розпізнання мовних виразів, а також ряд семантичних моделей, що застосовуються для аналізу смислової коректності мовних виразів, порівняння їх між собою, формальної верифікації програмного коду. Перелічено особливості та межі застосування існуючих та перспективні напрямки розробки нових мовних моделей. Рассмотрены наиболее часто используемые модели формальных языков. Описана традиционная синтаксическая модель, которая задает правила формирования и распознавания фраз языка, а также ряд семантических моделей, применяемых для анализа смысловой корректности языковых фраз, сравнения их между собой, формальной верификации программного кода. Перечислены особенности и границы применения существующих и перспективные направления разработки новых языковых моделей. A review of the most frequently used formal language models is given. The traditional syntactic model is described. It specifies rules of phrases generation and recognition. Some semantic models are also given. They are useful for the analysis of sentence's semantic correctness, their comparison, formal verification of software code, etc. Peculiar properties and limits of existing models are described as well as advanced research tends of formal language theory. Статья содержит обзор наиболее часто используемых моделей формальных языков. Описана традиционная синтаксическая модель, которая задает правила формирования и распознавания фраз языка... Індекс рубрикатора НБУВ: З973-018.210 + Ш112
Рубрики:
Шифр НБУВ: Ж16622/тех Пошук видання у каталогах НБУВ
|
| | | | |
3. |
Дюбко Г. Ф. Формальные грамматики и их приложение в процессе разработки программного обеспечения [Електронний ресурс] / Г. Ф. Дюбко, С. В. Ефремов // Вісн. Міжнар. Слов'ян. ун-ту. Сер. Техн. науки. - 2006. - 9, № 1. - С. 26-30. - Библиогр.: 6 назв. - рус. - Режим доступу: /articles/2006/Розглянуто використання формальних граматик в проектуванні програмних засобів. Запропоновано підхід до представлення результатів проектування у вигляді плекс-граматик та автоматичного генерування коду з використанням знань та логічного виводу, а також алгоритм для автоматичного виводу нейпу плекс-грамматики із нейпів більш низького рівня. Рассмотрено использование формальных грамматик в проектировании программных продуктов. Предложен подход к представлению результатов проектирования в виде плекс-грамматик и автоматической генерации кода с применением знаний и логического вывода, а также алгоритм для автоматического вывода нейпа плекс-грамматики из нейпов более низкого уровня. The use of formal grammars in the developing of program products is examined in the work. Approach to the idea of the results of design in the form of plexus-grammars and automatic generation of the code is proposed. Algorithm for the automatic conclusion of plexus-grammar neip from lower level neips is proposed. Ключ. слова: плекс-грамматики, нейп, компонент, схема. Індекс рубрикатора НБУВ: З973-018.210
Рубрики:
Шифр НБУВ: Ж16622/тех Пошук видання у каталогах НБУВ
|
| | | | |
4. |
Дюбко Г. Ф. Интеллектуальные методы поддержки автоматизированной разработки программного обеспечения / Г. Ф. Дюбко, Е. Л. Лещинская // Системи оброб. інформації. - 2008. - Вип. 6. - С. 44-50. - Библиогр.: 12 назв. - рус.В рамках разработанной на основании методологии MDD общей модели интеллектуальной системы автоматизированного проектирования программного обеспечения (ПО) предложено формальное описание следующих методов, позволяющих получить ее окончательную реализацию: метод подбора уточняющих компонент модели ПО на основании их семантических аннотаций; метод проверки выполнимости ограничивающих спецификаций моделей ПО, а также контроля соответствия реализации ПО его спецификации; метод обучения системы проектирования. Індекс рубрикатора НБУВ: З973-018,021
Рубрики:
Шифр НБУВ: Ж70474 Пошук видання у каталогах НБУВ
|
| | | | |
5. |
Дюбко Г. Ф. Некоторые аспекты формализации толкового словаря с применением $E bold LAMBDA-исчисления / Г. Ф. Дюбко, М. Ю. Дзёх, Д. В. Преснякова // Вост.-Европ. журн. передовых технологий. - 2010. - № 4/2. - С. 4-8. - Библиогр.: 8 назв. - рус.Построена модель описания контекста с помощью лямбда-исчисления и предложен механизм вычисления словарной статьи, который базируется на семантических функциях, семантических примитивах и результатах синтаксико-семантического анализа предложения. Індекс рубрикатора НБУВ: Ш104.441.0 с51 + Ш141.12-420 с51
Рубрики:
Шифр НБУВ: Ж24320 Пошук видання у каталогах НБУВ
|
| | | | |
6. |
Дюбко Г. Ф. Синтаксико-семантический анализ естественно-языковых конструкций / Г. Ф. Дюбко, В. И. Омельченко, Д. В. Преснякова // Вост.-Европ. журн. передовых технологий. - 2010. - № 4/2. - С. 28-31. - Библиогр.: 2 назв. - рус.Предложен метод анализа словосочетаний естественного языка, основанный на формальной грамматике и лингвистической базе знаний, представленной семантическим словарем и онтологией семантических примитивов. Індекс рубрикатора НБУВ: Ш102.20
Рубрики:
Шифр НБУВ: Ж24320 Пошук видання у каталогах НБУВ
|
| | | | |
7. |
Дюбко Г. Ф. Модели семантики простых предложений русского языка и их приложение в синтаксическом анализе / Г. Ф. Дюбко, Е. С. Карлин // Системи оброб. інформації. - 2011. - Вип. 4. - С. 114-117. - Библиогр.: 2 назв. - рус. Індекс рубрикатора НБУВ: З970.620 + Ш141.12-221 с51
Рубрики:
Шифр НБУВ: Ж70474 Пошук видання у каталогах НБУВ
|
|
|