Buchumschlag

Генерация символьных трасс в системе инсерционного моделирования

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Кибернетика и системный анализ
Datum:	2015
Hauptverfasser:	Летичевский, А.А., Летичевский, А.Ал., Песчаненко, В.С., Губа, А.А.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут кібернетики ім. В.М. Глушкова НАН України 2015
Schlagworte:	Кибернетика
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/124753
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:	Генерация символьных трасс в системе инсерционного моделирования / А.А. Летичевский, А.Ал. Летичевский, В.С. Песчаненко, А.А. Губа // Кибернетика и системный анализ. — 2015. — Т. 51, № 1. — С. 7-19. — Бібліогр.: 25 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Свойства предикатного трансформера системы VRS
von: Летичевский, А.А., et al.
Veröffentlicht: (2010)

Парадигмы модельного и символьного тестирования программных систем
von: Летичевский, А.А. (мл.)
Veröffentlicht: (2015)

Метод автоматического построения онтологических баз знаний. III. Автоматическая генерация таксономии как основы онтологии
von: Марченко, А.А.
Veröffentlicht: (2016)

Генерация тестовых сценариев на основе формальной модели
von: Летичевский, А.А., et al.
Veröffentlicht: (2010)

Алгоритм трансляции APLAN-кода
von: Летичевский, А.А., et al.
Veröffentlicht: (2010)

Формирование минимальных d-сепараторов в системе зависимостей
von: Балабанов, А.С.
Veröffentlicht: (2009)

Предикатные преобразователи в контексте символьного моделирования транзиционных систем
von: Годлевский, А.Б.
Veröffentlicht: (2010)

Некоторые подходы к моделированию цен в эколого-экономической системе
von: Григоркив, В.С.
Veröffentlicht: (2009)

Рекурсия и параллельные алгоритмы в задачах геометрического моделирования
von: Терещенко, В.Н., et al.
Veröffentlicht: (2010)

О влиянии потребительских предпочтений на равновесие в открытой экономической системе
von: Махорт, А.Ф.
Veröffentlicht: (2016)

Исследование однотипных структурных элементов CN-сети в процессе компонентного моделирования и анализа сложной системы с параллелизмом
von: Лукьянова, Е.А., et al.
Veröffentlicht: (2012)

О влиянии зависимости структуры потребления товаров от цены на равновесие в экономической системе
von: Махорт, А.Ф.
Veröffentlicht: (2015)

Метод моделирования структуры исходных данных и подклассы разрешимых задач комбинаторной оптимизации
von: Донец, Г.А., et al.
Veröffentlicht: (2014)

Метод автоматического построения онтологических баз знаний. II. Автоматическое определение семантических отношений в онтологической сети
von: Марченко, А.А.
Veröffentlicht: (2016)

Алгоритмические аспекты определения функций глубины в процедуре выбора оптимальной гипотезы для задач классификации данных
von: Галкин, А.А.
Veröffentlicht: (2016)

Аспекты моделирования в системе Гомеопат
von: Провотар, А.А., et al.
Veröffentlicht: (2012)

Система символьных вычислений для программирования динамических приложений
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2003)

Применение ускоренного моделирования к оценке количества некоторых k-мерных подпространств над конечным полем
von: Масол, В.И., et al.
Veröffentlicht: (2010)

Построение экспоненциальной оценки в компартментной системе с распределенными запаздываниями: подход на основе неравенства Хейла–Лунелла
von: Марценюк, В.П., et al.
Veröffentlicht: (2013)

Операционное формирование кодов состояний в микропрограммных автоматах
von: Баркалов, А.А., et al.
Veröffentlicht: (2011)

Новые доказательства важных теорем бестипового экстенсионального λ–исчисления
von: Лялецкий, А.А.
Veröffentlicht: (2014)

Глубинный метод классификации на основе удаленной меры концентрации для обработки асимметричных данных
von: Галкин, А.А.
Veröffentlicht: (2016)

Распознавание действий медицинских работников на основе показателей акселерометров с использованием глубинной сети убеждений
von: Галкин, А.А.
Veröffentlicht: (2016)

Решение проблемы инвариантности вероятностных характеристик заведомо совместных систем случайных нелинейных уравнений над конечным коммутативным кольцом с единицей
von: Левитская, А.А.
Veröffentlicht: (2010)

Афинно-инвариантный классификатор экстраполяционной глубины на основе многоуровневой структуры сглаживания
von: Галкин, А.А.
Veröffentlicht: (2016)

Метод автоматического построения онтологических баз знаний. I. Разработка семантико-синтаксической модели естественного языка
von: Марченко, А.А.
Veröffentlicht: (2016)

Система доказательного программирования
von: Летичевский, А.А. (мл.), et al.
Veröffentlicht: (2012)

Аппроксимация гауссовских базисных функций в задаче адаптивного управления нелинейными объектами
von: Руденко, О.Г., et al.
Veröffentlicht: (2011)

Мультиагентная оптимизация на основе метода пчелиной колонии
von: Субботин, С.А., et al.
Veröffentlicht: (2009)

Эквивалентность двумерных многоленточных автоматов
von: Григорян, А.А., et al.
Veröffentlicht: (2008)

Индексные структуры для быстрого поиска сходных символьных строк
von: Рачковский, Д.А.
Veröffentlicht: (2019)

Об одном классе базовых протоколов
von: Летичевский, А.А.
Veröffentlicht: (2005)

Алгебраическая теория взаимодействия и киберфизические системы
von: Летичевский, А.А.
Veröffentlicht: (2017)

Синтез нейро-нечетких сетей на основе ассоциативных правил
von: Олейник, А.А., et al.
Veröffentlicht: (2014)

Генерация пероксида водорода в динамической системе морская вода-воздух-минерал
von: Каздобин, К.А., et al.
Veröffentlicht: (2015)

Алгебраическая интерпретация микропрограммного автомата с операционным автоматом переходов
von: Бабаков, Р.М., et al.
Veröffentlicht: (2016)

Робастное обучение радиально-базисных сетей
von: Руденко, О.Г., et al.
Veröffentlicht: (2011)

Многомерный статистический анализ влияния глобальных угроз на безопасность стран мира
von: Померанцева, Т.Н., et al.
Veröffentlicht: (2010)

Нечеткие системы логического вывода и их применение
von: Провотар, А.И., et al.
Veröffentlicht: (2013)

Робастная идентификация нелинейных объектов с помощью эволюционирующей радиально-базисной сети
von: Руденко, О.Г., et al.
Veröffentlicht: (2013)