Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Повнотекстовий пошук
Пошуковий запит: (<.>A=Крывый С$<.>) |
Загальна кількість знайдених документів : 29
Представлено документи з 1 до 20
|
| |
1. |
Крывый С. Л. Конечные автоматы в информационных технологиях [Електронний ресурс] / С. Л. Крывый // Кибернетика и системный анализ. - 2011. - Т. 47, № 5. - С. 3-20. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2011_47_5_3 Наведено стислий огляд застосування теорії скінченних автоматів у деяких сучасних галузях комп'ютерних наук і технологій. Розглянуто сфери застосування скінченних автоматів в комп'ютерній алгебрі, мережах Петрі, біології, верифікації.
| 2. |
Крывый С. Л. Итеративный подход к анализу естественно-языковых текстов: логический аспект [Електронний ресурс] / С. Л. Крывый, Д. С. Бибиков // Проблеми програмування. - 2012. - № 2-3. - С. 10-17. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2012_2-3_3
| 3. |
Крывый С. Л. Разработка и обоснование алгоритмов на основе семантических свойств [Електронний ресурс] / С. Л. Крывый, А. Н. Максимец // Проблеми програмування. - 2014. - № 2-3. - С. 151-159. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2014_2-3_20 Приведены примеры разработки и обоснования алгоритмов на основе использования свойств предметной области. Эти свойства формулируются в виде семантических соотношений, характеризующих предметную область разрабатываемого алгоритма.
| 4. |
Крывый С. Л. Алгоритмы решения систем линейных диофантовых уравнений в контексте проблемы выполнимости ограничений. Ч. I. [Електронний ресурс] / С. Л. Крывый // Інженерія програмного забезпечення. - 2014. - № 1. - С. 6-19. - Режим доступу: http://nbuv.gov.ua/UJRN/Ipz_2014_1_3 Запропоновано поліноміальні алгоритми побудови базису множини розв'язків системи лінійних однорідних і неоднорідних діофантових рівнянь в кільці лишків за модулем деякого числа за умови відомого розкладу модуля на прості множники.Запропоновано поліноміальні алгоритми побудови базису множини розв'язків системи лінійних однорідних і неоднорідних діофантових рівнянь в полі лишків за модулем простого числа.Розглянуто методи розв'язання систем лінійних однорідних діофантових рівнянь в множині натуральних чисел та в множині {0, 1}. Наведено відповідні алгоритми, їх властивості і оцінки часової складності.Предложены полиномиальные алгоритмы построения базиса множества решений системы линейных однородных и неоднородных диофантовых уравнений в кольце вычетов по модулю некоторого числа при условии известного разложения модуля на простые множители.Рассмотрены базовые понятия систем линейных однородных и неоднородных уравнений и неравенств в области {0, 1}, к решению которых применяется TSS-алгоритм, и свойства этого алгоритма. Описаны процедуры чистки множеств решений и определения линейно зависимых уравнений системы при работе TSS-алгоритма. На основе базисных понятий и свойств предложена достаточно экономная относительно памяти модификация TSS-алгоритма для численного решения систем линейных однородных уравнений и неравенств с целыми коэффициентами в области {0, 1}. Приведено описание предложенного алгоритма с помощью псевдокода и оценка временной сложности предложенного алгоритма. Рассмотрены алгоритмы решения отдельного класса систем линейных однородных уравнений и неравенств, коэффициенты которых принадлежат множеству {- 1, 0, 1}. Приведен ряд теорем, доказывающих правильность предлагаемых алгоритмов. Описаны их применения к решению следующих задач: поиска множеств независимых вершин неориентированного графа; поиска дедлоков и ловушек в сети Петри; анализа множества дизъюнктов на противоречивость. Для задачи поиска множеств независимых вершин неориентированного графа приведено подробное описание сведения задачи к системе линейных неравенств, предложены 2 алгоритма решения, а также модификация второго алгоритма. Приведены примеры с подробным объяснением выполнения каждого из алгоритмов, а также описаны их временные характеристики работы. Для задач поиска дедлоков и ловушек в сети Петри предложен способ сведения к системам линейных неравенств с коэффициентами во множестве {- 1, 0, 1} и решениями в множестве {0, 1}. Приведены пример с объяснением решения и временные характеристики работы предложенного алгоритма. Алгоритм для анализа множества дизъюнктов на противоречие представлен в виде псевдокода. Кроме проверки на противоречие заданного множества дизъюнктов, он позволяет находить минимальные противоречащие подмножества дизъюнктов, если они существуют. Работа алгоритма проиллюстрирована на примерах с временными характеристиками.
| 5. |
Опанасенко В. Н. Разделение полного множества значений булевых функций на основе заданного порога и порогового отношения [Електронний ресурс] / В. Н. Опанасенко, С. Л. Крывый // Кибернетика и системный анализ. - 2012. - Т. 48, № 3. - С. 163-173. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2012_48_3_16 An algorithm for the partition of the range of Boolean functions based on the specified threshold value and relation is considered. The algorithm is implemented by means of the PLD-based automatically adjustable structure. The correctness of such an implementation is proved and some of the applications are considered.
| 6. |
Палагин А. В. Знание-ориентированные информационные системы с обработкой естественно-языковых объектов: онтологический подход [Електронний ресурс] / А. В. Палагин, С. Л. Крывый, Н. Г. Петренко, В. Ю. Величко // Управляющие системы и машины. - 2010. - № 4. - С. 3-14. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2010_4_2 Рассмотрена совокупность задач, включающая в себя методологический, онтологический и логический аспекты проектирования знание-ориентированных информационных систем, функционирование которых опирается на автоматизацию процессов извлечения и формализации содержания естественно-языковых объектов с последующей обработкой формализованного представления этого содержания логико-семантическими методами с ориентацией на конкретную предметную область.Рассмотрена концепция онтологического подхода к проектированию знание-ориентированных информационных систем с обработкой естественно-языковых объектов. Предложены характерные черты компьютерной системы, спроектированной на основании данного подхода. Приведен пример проектирования компьютерной онтологии предметной области на основании представительного множества естественно-языковых объектов, содержащего около 1000 концептов.Рассмотрена концепция онтологического подхода к проектированию знание-ориентированных информационных систем с обработкой естественно-языковых объектов. Предложены характерные черты компьютерной системы, спроектированной на базе онтологического подхода, основные из которых - наличие формальной онтологии предметной области и инструментальных средств ее автоматизированного проектирования, онтологии верхнего (среднего) уровня и эффективных механизмов обработки и накопления предметных знаний.
| 7. |
Палагин А. В. Знание-ориентированные информационные системы с обработкой естественно-языковых объектов: онтологический подход. ІІ [Електронний ресурс] / А. В. Палагин, С. Л. Крывый, Н. Г. Петренко, В. Ю. Величко // Управляющие системы и машины. - 2010. - № 5. - С. 3-14. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2010_5_2 Рассмотрена совокупность задач, включающая в себя методологический, онтологический и логический аспекты проектирования знание-ориентированных информационных систем, функционирование которых опирается на автоматизацию процессов извлечения и формализации содержания естественно-языковых объектов с последующей обработкой формализованного представления этого содержания логико-семантическими методами с ориентацией на конкретную предметную область.Рассмотрена концепция онтологического подхода к проектированию знание-ориентированных информационных систем с обработкой естественно-языковых объектов. Предложены характерные черты компьютерной системы, спроектированной на основании данного подхода. Приведен пример проектирования компьютерной онтологии предметной области на основании представительного множества естественно-языковых объектов, содержащего около 1000 концептов.Рассмотрена концепция онтологического подхода к проектированию знание-ориентированных информационных систем с обработкой естественно-языковых объектов. Предложены характерные черты компьютерной системы, спроектированной на базе онтологического подхода, основные из которых - наличие формальной онтологии предметной области и инструментальных средств ее автоматизированного проектирования, онтологии верхнего (среднего) уровня и эффективных механизмов обработки и накопления предметных знаний.
| 8. |
Крывый С. Л. Верификация программ: состояние, проблемы, результаты. I [Електронний ресурс] / С. Л. Крывый, А. Н. Максимец // Кибернетика и системный анализ. - 2013. - Т. 49, № 6. - С. 3-14. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2013_49_6_2
| 9. |
Крывый С. Л. Комбинаторный метод решения систем линейных ограничений [Електронний ресурс] / С. Л. Крывый // Кибернетика и системный анализ. - 2014. - Т. 50, № 4. - С. 14-26. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2014_50_4_3 Рассмотрены комбинаторный метод построения базиса множества решений систем линейных ограничений в области действительных чисел и улучшенный метод построения минимального порождающего множества решений в области натуральных чисел. Дан краткий обзор этих методов в других дискретных областях.
| 10. |
Бойко Ю. В. Методы исследования свойств высокопроизводительных инфраструктур. Обзор [Електронний ресурс] / Ю. В. Бойко, Н. Н. Глибовец, С. В. Ершов, С. Л. Крывый, С. Д. Погорилый, А. И. Ролик, С. Ф. Теленик, А. И. Куляс, Ю. В. Крак, М. В. Ясочка // Управляющие системы и машины. - 2015. - № 1. - С. 3–13. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2015_1_2 Представлен аналитический обзор современных методов верификации программного обеспечения параллельных и распределенных систем. Описаны методы верификации на основе исследования свойств конечных автоматов, сетей Петри и транзиционных систем.
| 11. |
Палагин А. В. О построении знание-ориентированных компьютерных систем для научных исследований [Електронний ресурс] / А. В. Палагин, Н. Г. Петренко, С. Л. Крывый // Управляющие системы и машины. - 2015. - № 2. - С. 64–73. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2015_2_7
| 12. |
Опанасенко В. Н. Синтез адаптивных логических сетей на основе полинома Жегалкина [Електронний ресурс] / В. Н. Опанасенко, С. Л. Крывый // Кибернетика и системный анализ. - 2015. - Т. 51, № 6. - С. 151-160. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2015_51_6_15 Розглянуто задачу адаптації логічної мережі на базі універсальних логічних елементів для реалізації задачі класифікації вхідної множини двійкових векторів. Адаптація полягає у визначенні типів логічних функцій для компонентів логічної мережі шляхом опису її поліномом, коефіцієнти якого задаються матрицею Адамара або поліномом Жегалкіна.
| 13. |
Крывый С. Л. Формальные методы анализа дискретных систем с использованием языка спецификаций [Електронний ресурс] / С. Л. Крывый, А. В. Чугаенко // Кибернетика и системный анализ. - 2009. - Т. 45, № 4. - С. 31-48. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2009_45_4_4 Описано реалізацію алгоритму переведення набору діаграм MSC (документа MSC) в подійно еквівалентну йому мережу Петрі, наведено доказ коректності зазначеного алгоритму. Мережа, що одержана таким чином, може використовуватися для аналізу властивостей вихідного документа MSC. Наведений алгоритм є складовою частиною системи аналізу та верифікації документів MSC.
| 14. |
Крывый С. Л. Алгоритм построения базиса множества решений систем линейных диофантовых уравнений в кольце целых чисел [Електронний ресурс] / С. Л. Крывый // Кибернетика и системный анализ. - 2009. - Т. 45, № 6. - С. 36-41. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2009_45_6_5 Запропоновано поліноміальний алгоритм побудови мінімальної породжуючої множини (передбазису) і базису множини всіх розв'язків системи лінійних діофантових рівнянь в кільці цілих чисел. Цей алгоритм грунтується на модифікованому TSS-методі.
| 15. |
Крывый С. Л. Исследование свойств документов MSC с помощью преобразования их в сети Петри [Електронний ресурс] / С. Л. Крывый, А. В. Чугаенко, Л. Е. Матвеева // Кибернетика и системный анализ. - 2009. - Т. 45, № 6. - С. 165-171. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2009_45_6_21 Розглянуто остаточний варіант алгоритму трансляції документів з мови MSC-2000 у мережі Петрі, що подійно еквівалентні до них. Вхідний документ може використовувати довільні елементи мови MSC-2000, але значення елементів у мовах не використовується; послідовна композиція діаграм інтерпретується як строга. Наведений алгоритм реалізовано як повнофункціональний прототип, що може використовуватися для верифікації програмних систем.
| 16. |
Опанасенко В. Н. Синтез многоуровневых структур со многими выходами [Електронний ресурс] / В. Н. Опанасенко, С. Л. Крывый // Проблеми програмування. - 2016. - № 2-3(спец. вип.). - С. 32-37. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2016_2-3(spets Рассмотрен метод решения задачи адаптации логической сети со многими выходами с восстановлением входного множества двоичных векторов при заданных только младших значениях этих векторов и значениях на выходах сети. Алгоритм синтеза логической сети основан на описании ее полиномом Жегалкина.
| 17. |
Крывый С. Л. Формализованные онтологические модели в научных исследования [Електронний ресурс] / С. Л. Крывый // Управляющие системы и машины. - 2016. - № 3. - С. 4-15. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2016_3_2 Рассмотрены проблемы, связанные с построением онтологии, тезаурусов и консенсуса в понимании интерпретации концептов предметной области, для которой строится такая онтология.
| 18. |
Крывый С. Л. Алгоритмы решения систем линейных уравнений в кольцах вычетов [Електронний ресурс] / С. Л. Крывый // Кибернетика и системный анализ. - 2016. - Т. 52, № 5. - С. 149-160. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2016_52_5_13 Запропоновано поліноміальні алгоритми побудови базису множини розв'язків системи лінійних однорідних і неоднорідних діофантових рівнянь в кільці лишків за модулем деякого числа за умови відомого розкладу модуля на прості множники.Запропоновано поліноміальні алгоритми побудови базису множини розв'язків системи лінійних однорідних і неоднорідних діофантових рівнянь в полі лишків за модулем простого числа.Розглянуто методи розв'язання систем лінійних однорідних діофантових рівнянь в множині натуральних чисел та в множині {0, 1}. Наведено відповідні алгоритми, їх властивості і оцінки часової складності.Предложены полиномиальные алгоритмы построения базиса множества решений системы линейных однородных и неоднородных диофантовых уравнений в кольце вычетов по модулю некоторого числа при условии известного разложения модуля на простые множители.Рассмотрены базовые понятия систем линейных однородных и неоднородных уравнений и неравенств в области {0, 1}, к решению которых применяется TSS-алгоритм, и свойства этого алгоритма. Описаны процедуры чистки множеств решений и определения линейно зависимых уравнений системы при работе TSS-алгоритма. На основе базисных понятий и свойств предложена достаточно экономная относительно памяти модификация TSS-алгоритма для численного решения систем линейных однородных уравнений и неравенств с целыми коэффициентами в области {0, 1}. Приведено описание предложенного алгоритма с помощью псевдокода и оценка временной сложности предложенного алгоритма. Рассмотрены алгоритмы решения отдельного класса систем линейных однородных уравнений и неравенств, коэффициенты которых принадлежат множеству {- 1, 0, 1}. Приведен ряд теорем, доказывающих правильность предлагаемых алгоритмов. Описаны их применения к решению следующих задач: поиска множеств независимых вершин неориентированного графа; поиска дедлоков и ловушек в сети Петри; анализа множества дизъюнктов на противоречивость. Для задачи поиска множеств независимых вершин неориентированного графа приведено подробное описание сведения задачи к системе линейных неравенств, предложены 2 алгоритма решения, а также модификация второго алгоритма. Приведены примеры с подробным объяснением выполнения каждого из алгоритмов, а также описаны их временные характеристики работы. Для задач поиска дедлоков и ловушек в сети Петри предложен способ сведения к системам линейных неравенств с коэффициентами во множестве {- 1, 0, 1} и решениями в множестве {0, 1}. Приведены пример с объяснением решения и временные характеристики работы предложенного алгоритма. Алгоритм для анализа множества дизъюнктов на противоречие представлен в виде псевдокода. Кроме проверки на противоречие заданного множества дизъюнктов, он позволяет находить минимальные противоречащие подмножества дизъюнктов, если они существуют. Работа алгоритма проиллюстрирована на примерах с временными характеристиками.
| 19. |
Крывый С. Л. Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования [Електронний ресурс] / С. Л. Крывый, Ю. В. Бойко, С. Д. Погорелый, А. Ф. Борецкий, Н. Н. Глыбовец // Кибернетика и системный анализ. - 2017. - Т. 53, № 1. - С. 122-133. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2017_53_1_12 Рассмотрен метод проектирования грид-системы на основе транзиционных систем и их синхронных произведений. Полученная глобальная транзиционная система транслируется в сеть Петри (СП). С помощью СП проверяется корректность проектных решений, в частности отсутствие тупиков, мертвых переходов и т.д.
| 20. |
Опанасенко В. Н. Синтез нейроподобных сетей на основе преобразований циклических кодов Хемминга [Електронний ресурс] / В. Н. Опанасенко, С. Л. Крывый // Кибернетика и системный анализ. - 2017. - Т. 53, № 4. - С. 155-164. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2017_53_4_16 Рассмотрен синтез нейроподобной сети Хемминга для реализации задачи классификации входного множества двоичных векторов. Формирование отсортированной последовательности по мере близости (расстояние Хемминга) основано на преобразованиях циклических кодов Хемминга. Доказана корректность синтеза такой реализации для произвольного значения расстояния Хемминга и произвольной разрядности входного вектора.
| | |
|
|