Перегляд за автором "Крывый, С.Л."

Результати 21-34 з 34

Попередня сторінка

Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования

Крывый, С.Л.; Бойко, Ю.В.; Погорелый, С.Д.; Борецкий, А.Ф.; Глыбовец, Н.Н. (Кибернетика и системный анализ, 2017)

Рассмотрен метод проектирования грид-системы на основе транзиционных систем и их синхронных произведений. Полученная глобальная транзиционная система транслируется в сеть Петри (СП). С помощью СП проверяется корректность ...
Проектирование ИТ-инфраструктуры

Крывый, С.Л.; Погорелый, С.Д.; Глибовец, Н.Н.; Бойко, Ю.В.; Сидорова, Н.Н. (Кибернетика и системный анализ, 2018)

Предложена методика проектирования ИТ-инфраструктуры в условиях ограниченных ресурсов. Методика базируется на свойствах алгебры графов, генетических алгоритмах, сетях Петри и особенностях ограничений. Рассмотрены два подхода ...
Разбиение множества векторов с целыми координатами логическими аппаратными средствами

Крывый, С.Л.; Опанасенко, В.Н.; Завьялов, С.Б. (Кибернетика и системный анализ, 2019)

Рассматривается задача разбиения множества векторов с целыми координатами относительно покоординатного и лексикографического порядка на векторах с использованием автоматной интерпретации. Предложена аппаратная реализация ...
Разбиение множества векторов с целыми неотрицательными координатами с использованием логических аппаратных средств

Крывый, С.Л.; Опанасенко, В.Н. (Кибернетика и системный анализ, 2018)

Рассмотрены задачи разбиения множества векторов с целыми неотрицательными координатами относительно порогового значения и порогового отношения на два класса средствами адаптируемых логических сетей. Обоснована корректность ...
Разделение полного множества значений булевых функций на основе заданного порога и порогового отношения

Опанасенко, В.Н.; Крывый, С.Л. (Кибернетика и системный анализ, 2012)

Розглянуто алгоритм поділу множини значень булевих функцій на основі заданих порогового значення та відношення, який реалізується на обчислювальній структурі ПЛІС, що автоматично налаштовується на дане порогове значення ...
Разработка и обоснование алгоритмов на основе семантических свойств

Крывый, С.Л.; Максимец, А.Н. (Проблеми програмування, 2014)

Приводятся примеры разработки и обоснования алгоритмов на основе использования свойств предметной области. Эти свойства формулируются в виде семантических соотношений, характеризующих предметную область разрабатываемого алгоритма.
Реализация алгоритма преобразования неординарной сети Петри в ординарную

Усатюк, О.В.; Крывый, С.Л. (2004)

Описана програмна реалізація алгоритму перетворення неординарної мережі Петрі в ординарну. В основу програми покладено алгоритм, що був запропонований Хаком. Аалгоритм релізовано в програмному забезпеченні “Перетворювач ...
Синтез адаптивных логических сетей на основе полинома Жегалкина

Опанасенко, В.Н.; Крывый, С.Л. (Кибернетика и системный анализ, 2015)

Рассмотрена задача адаптации логической сети на основе универсальных логических элементов для реализации задачи классификации входного множества двоичных векторов. Адаптация состоит в определении типов логических функций ...
Синтез многоуровневых структур со многими выходами

Опанасенко, В.Н.; Крывый, С.Л. (Проблеми програмування, 2016)

В работе рассматривается метод решения задачи адаптации логической сети со многими выходами с восстановлением входного множества двоичных векторов при заданных только младших значениях этих векторов и значениях на выходах ...
Синтез нейроподобных сетей на основе преобразований циклических кодов Хемминга

Опанасенко, В.Н.; Крывый, С.Л. (Кибернетика и системный анализ, 2017)

Рассматривается синтез нейроподобной сети Хемминга для реализации задачи классификации входного множества двоичных векторов. Формирование отсортированной последовательности по мере близости (расстояние Хемминга) основано ...
Формализованные онтологические модели в научных исследованиях

Крывый, С.Л. (Управляющие системы и машины, 2016)

Рассмотрены проблемы, связанные с построением онтологий, тезаурусов и консенсуса в понимании интерпретации концептов предметной области, для которой строится такая онтология.
Формальные методы анализа дискретных систем с использованием языка спецификаций

Крывый, С.Л.; Чугаенко, А.В. (Кибернетика и системный анализ, 2009)

Описано реалізацію алгоритму переведення набору діаграм MSC (документа MSC) в подійно еквівалентну йому мережу Петрі, наведено доказ коректності зазначеного алгоритму. Мережа, що отримана таким чином, може бути використана ...
Численные методы решения задачи о математическом сейфе

Крывый, С.Л. (Кибернетика и системный анализ, 2019)

Приведены численные методы решения задачи о математическом сейфе с произвольным конечным числом позиций замков. Методы базируются на TSS-алгоритмах построения множества базисных решений систем линейных диофантовых уравнений ...
Экосистемы программной инженерии

Крывый, С.Л.; Гриненко, Е.А. (Кибернетика и системный анализ, 2020)

Рассмотрена модель экосистемы, ориентированной на область программной инженерии. Предложены два подхода к исследованию свойств модели - сетевой и автоматный. В частности, рассмотрены способы поиска оптимального плана ...

Результати 21-34 з 34

Попередня сторінка

Пошук

Розширений пошук

Перегляд

Вся бібліотека

Перегляд за автором "Крывый, С.Л."

Репозиторій DSpace/Manakin

Перегляд за автором "Крывый, С.Л."

Пошук

Перегляд

Вся бібліотека

Мій обліковий запис