Исследование свойств документов MSC с помощью преобразования их в сети Петри
Розглянуто остаточний варіант алгоритму трансляції документів з мови MSC-2000 у мережі Петрі, що подійно еквівалентні до них. Вхідний документ може використовувати довільні елементи мови MSC-2000, але значення елементів у мовах не використовується, також послідовна композиція діаграм інтерпретується...
Gespeichert in:
| Veröffentlicht in: | Кибернетика и системный анализ |
|---|---|
| Datum: | 2009 |
| Hauptverfasser: | Крывый, С.Л., Чугаенко, А.В., Матвеева, Л.Е. |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2009
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/44496 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Исследование свойств документов MSC с помощью преобразования их в сети Петри / С.Л. Крывый, А.В. Чугаенко, Л.Е. Матвеева // Кибернетика и системный анализ. — 2009. — № 6. — С. 165-171. — Бібліогр.: 13 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineÄhnliche Einträge
Разделение полного множества значений булевых функций на основе заданного порога и порогового отношения
von: Опанасенко, В.Н., et al.
Veröffentlicht: (2012)
von: Опанасенко, В.Н., et al.
Veröffentlicht: (2012)
О алгоритме перевода документов msc в сети Петри
von: Чугаенко, А.В., et al.
Veröffentlicht: (2008)
von: Чугаенко, А.В., et al.
Veröffentlicht: (2008)
Математичні моделі комп’ютерної інтелектуалізації технологій синхронних векторних вимірювань параметрів електричних мереж
von: Стасюк, О.І., et al.
Veröffentlicht: (2016)
von: Стасюк, О.І., et al.
Veröffentlicht: (2016)
Стандартизация инженерии систем и программных средств в Украине
von: Андон, Ф.И., et al.
Veröffentlicht: (2009)
von: Андон, Ф.И., et al.
Veröffentlicht: (2009)
Асимптотические свойства эмпирических оценок параметров марковских последовательностей
von: Вовк, Л.Б., et al.
Veröffentlicht: (2012)
von: Вовк, Л.Б., et al.
Veröffentlicht: (2012)
Модификация системы адресации микрокоманд в устройстве управления с разделением кодов
von: Баркалов, А.А., et al.
Veröffentlicht: (2013)
von: Баркалов, А.А., et al.
Veröffentlicht: (2013)
Оптимизация схем композиционных микропрограммных устройств управления, реализуемых на ПЛИС
von: Баркалов, А.А., et al.
Veröffentlicht: (2011)
von: Баркалов, А.А., et al.
Veröffentlicht: (2011)
Оптимизация схемы автомата Мура, реализуемой в базисе ПЛИС
von: Баркалов, А.А., et al.
Veröffentlicht: (2009)
von: Баркалов, А.А., et al.
Veröffentlicht: (2009)
Структурная декомпозиция как средство оптимизации схемы автомата Мили на ПЛИС
von: Баркалов, А.А., et al.
Veröffentlicht: (2012)
von: Баркалов, А.А., et al.
Veröffentlicht: (2012)
Использование меньшего количества ресурсов кристалла FPGA в схеме автомата Мура
von: Баркалов, А.А., et al.
Veröffentlicht: (2013)
von: Баркалов, А.А., et al.
Veröffentlicht: (2013)
Совместное маскирование и оценивание информационных процессов при наличии динамических помех со случайной сменой структур
von: Булычев, Ю.Г., et al.
Veröffentlicht: (2009)
von: Булычев, Ю.Г., et al.
Veröffentlicht: (2009)
Мониторинг водных ресурсов на основе интеграции разнородных данных и высокопроизводительных вычислений
von: Кравченко, А.Н., et al.
Veröffentlicht: (2008)
von: Кравченко, А.Н., et al.
Veröffentlicht: (2008)
Рандомизированный метод решения дискретных некорректных задач
von: Рачковский, Д.А., et al.
Veröffentlicht: (2012)
von: Рачковский, Д.А., et al.
Veröffentlicht: (2012)
Программно-алгоритмические методы повышения точности компьютерных решений
von: Николаевская, Е.А., et al.
Veröffentlicht: (2009)
von: Николаевская, Е.А., et al.
Veröffentlicht: (2009)
Метод повышения достоверности контроля данных, представленных в системе остаточных классов
von: Краснобаев, В.А., et al.
Veröffentlicht: (2014)
von: Краснобаев, В.А., et al.
Veröffentlicht: (2014)
Самовоспроизводящаяся структура как искусственный многоклеточный организм
von: Ачасова, С.М.
Veröffentlicht: (2014)
von: Ачасова, С.М.
Veröffentlicht: (2014)
Исследование эмпирических оценок параметров гиббсовского распределения, полученных методом максимального правдоподобия
von: Самосёнок, А.С.
Veröffentlicht: (2013)
von: Самосёнок, А.С.
Veröffentlicht: (2013)
Применение CAPTCHA в компьютерной стеганографии
von: Задирака, В.К., et al.
Veröffentlicht: (2015)
von: Задирака, В.К., et al.
Veröffentlicht: (2015)
Вещественные вложения и скетчи для быстрой оценки расстояний и сходств
von: Рачковский, Д.А.
Veröffentlicht: (2016)
von: Рачковский, Д.А.
Veröffentlicht: (2016)
Робастные технологии вычисления нормированных корреляционных функций
von: Алиев, Т.А., et al.
Veröffentlicht: (2010)
von: Алиев, Т.А., et al.
Veröffentlicht: (2010)
Алгоритмы определения коэффициента корреляции и взаимно корреляционной функции между полезным сигналом и помехой зашумленных технологических параметров
von: Алиев, Т.А., et al.
Veröffentlicht: (2011)
von: Алиев, Т.А., et al.
Veröffentlicht: (2011)
Наилучшая чебышевская аппроксимация функций одной и многих переменных
von: Каленчук-Порханова, А.А.
Veröffentlicht: (2009)
von: Каленчук-Порханова, А.А.
Veröffentlicht: (2009)
Основные принципы синтеза логико-лингвистических моделей
von: Вавиленкова, А.И.
Veröffentlicht: (2015)
von: Вавиленкова, А.И.
Veröffentlicht: (2015)
Каркасный анализ предметной области: стационарные динамические задачи теории упругости для изотропных сред с произвольными неоднородностями
von: Панченко, Б.Е., et al.
Veröffentlicht: (2013)
von: Панченко, Б.Е., et al.
Veröffentlicht: (2013)
Фаза волновой функции квантового бита как ресурс для хранения и передачи информации
von: Войтович, И.Д., et al.
Veröffentlicht: (2014)
von: Войтович, И.Д., et al.
Veröffentlicht: (2014)
Преобразование векторных данных случайными бинарными матрицами
von: Рачковский, Д.А.
Veröffentlicht: (2014)
von: Рачковский, Д.А.
Veröffentlicht: (2014)
Реляционный каркас и модель CASE-оболочки нового типа
von: Панченко, Б.Е., et al.
Veröffentlicht: (2013)
von: Панченко, Б.Е., et al.
Veröffentlicht: (2013)
Приближенный метод сравнения модулярных чисел и его применение для деления чисел в системе остаточных классов
von: Червяков, Н.И., et al.
Veröffentlicht: (2014)
von: Червяков, Н.И., et al.
Veröffentlicht: (2014)
Эффективные по быстродействию алгортитмы передачи и приема высокоинформативных пакетов в радиосетях
von: Шевчук, Б.М.
Veröffentlicht: (2016)
von: Шевчук, Б.М.
Veröffentlicht: (2016)
Оценка сходства векторов по их рандомизированным бинарным проекциям
von: Рачковский, Д.А.
Veröffentlicht: (2015)
von: Рачковский, Д.А.
Veröffentlicht: (2015)
Построение весовых функций метода Петрова–Галёркина для уравнений конвекции–диффузии–реакции в трехмерном случае
von: Сальников, Н.Н., et al.
Veröffentlicht: (2014)
von: Сальников, Н.Н., et al.
Veröffentlicht: (2014)
Идентификация непараметрического сигнала при наличии случайного шума с сильной зависимостью
von: Била, Г.Д.
Veröffentlicht: (2016)
von: Била, Г.Д.
Veröffentlicht: (2016)
Рандомизированные проекционные методы формирования бинарных разреженных векторных представлений
von: Рачковский, Д.А., et al.
Veröffentlicht: (2012)
von: Рачковский, Д.А., et al.
Veröffentlicht: (2012)
Реконструкция слов по конечному мультимножеству подслов в гипотезе сдвига 1. I. Реконструкция без запретов
von: Сметанин, Ю.Г., et al.
Veröffentlicht: (2014)
von: Сметанин, Ю.Г., et al.
Veröffentlicht: (2014)
Синтез логических многополюсников с заданной динамикой выходных процессов
von: Левин, В.И.
Veröffentlicht: (2012)
von: Левин, В.И.
Veröffentlicht: (2012)
Метод нахождения всех корней системы нелинейных алгебраических уравнений, основанный на операторе Кравчика
von: Семенов, В.Ю.
Veröffentlicht: (2015)
von: Семенов, В.Ю.
Veröffentlicht: (2015)
Каркасное проектирование доменно-ключевой схемы реляционной базы данных
von: Панченко, Б.Е.
Veröffentlicht: (2012)
von: Панченко, Б.Е.
Veröffentlicht: (2012)
Интегрированная технология интеллектуального управления рисками программных проектов
von: Слабоспицкая, О.А., et al.
Veröffentlicht: (2009)
von: Слабоспицкая, О.А., et al.
Veröffentlicht: (2009)
Непрерывная логика и алгоритмы решения некоторых комбинаторных задач
von: Левин, В.И.
Veröffentlicht: (2009)
von: Левин, В.И.
Veröffentlicht: (2009)
Метод арифметического сравнения данных, представленных в системе остаточных классов
von: Краснобаев, В.А., et al.
Veröffentlicht: (2016)
von: Краснобаев, В.А., et al.
Veröffentlicht: (2016)
Ähnliche Einträge
-
Разделение полного множества значений булевых функций на основе заданного порога и порогового отношения
von: Опанасенко, В.Н., et al.
Veröffentlicht: (2012) -
О алгоритме перевода документов msc в сети Петри
von: Чугаенко, А.В., et al.
Veröffentlicht: (2008) -
Математичні моделі комп’ютерної інтелектуалізації технологій синхронних векторних вимірювань параметрів електричних мереж
von: Стасюк, О.І., et al.
Veröffentlicht: (2016) -
Стандартизация инженерии систем и программных средств в Украине
von: Андон, Ф.И., et al.
Veröffentlicht: (2009) -
Асимптотические свойства эмпирических оценок параметров марковских последовательностей
von: Вовк, Л.Б., et al.
Veröffentlicht: (2012)