Генерация символьных трасс в системе инсерционного моделирования
Описан новый генератор символьных трасс, разработанный для последней версии системы инсерционного моделирования. Основными характеристиками генератора являются использование графического представления описания многоуровневых моделей, разделение локальных описаний и отношения следования, возможность...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2015 |
| Main Authors: | Летичевский, А.А., Летичевский, А.Ал., Песчаненко, В.С., Губа, А.А. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2015
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/124753 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Генерация символьных трасс в системе инсерционного моделирования / А.А. Летичевский, А.Ал. Летичевский, В.С. Песчаненко, А.А. Губа // Кибернетика и системный анализ. — 2015. — Т. 51, № 1. — С. 7-19. — Бібліогр.: 25 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Свойства предикатного трансформера системы VRS
by: Летичевский, А.А., et al.
Published: (2010)
by: Летичевский, А.А., et al.
Published: (2010)
Парадигмы модельного и символьного тестирования программных систем
by: Летичевский, А.А. (мл.)
Published: (2015)
by: Летичевский, А.А. (мл.)
Published: (2015)
Метод автоматического построения онтологических баз знаний. III. Автоматическая генерация таксономии как основы онтологии
by: Марченко, А.А.
Published: (2016)
by: Марченко, А.А.
Published: (2016)
Генерация тестовых сценариев на основе формальной модели
by: Летичевский, А.А., et al.
Published: (2010)
by: Летичевский, А.А., et al.
Published: (2010)
Алгоритм трансляции APLAN-кода
by: Летичевский, А.А., et al.
Published: (2010)
by: Летичевский, А.А., et al.
Published: (2010)
Формирование минимальных d-сепараторов в системе зависимостей
by: Балабанов, А.С.
Published: (2009)
by: Балабанов, А.С.
Published: (2009)
Предикатные преобразователи в контексте символьного моделирования транзиционных систем
by: Годлевский, А.Б.
Published: (2010)
by: Годлевский, А.Б.
Published: (2010)
Некоторые подходы к моделированию цен в эколого-экономической системе
by: Григоркив, В.С.
Published: (2009)
by: Григоркив, В.С.
Published: (2009)
Рекурсия и параллельные алгоритмы в задачах геометрического моделирования
by: Терещенко, В.Н., et al.
Published: (2010)
by: Терещенко, В.Н., et al.
Published: (2010)
О влиянии потребительских предпочтений на равновесие в открытой экономической системе
by: Махорт, А.Ф.
Published: (2016)
by: Махорт, А.Ф.
Published: (2016)
Исследование однотипных структурных элементов CN-сети в процессе компонентного моделирования и анализа сложной системы с параллелизмом
by: Лукьянова, Е.А., et al.
Published: (2012)
by: Лукьянова, Е.А., et al.
Published: (2012)
О влиянии зависимости структуры потребления товаров от цены на равновесие в экономической системе
by: Махорт, А.Ф.
Published: (2015)
by: Махорт, А.Ф.
Published: (2015)
Метод моделирования структуры исходных данных и подклассы разрешимых задач комбинаторной оптимизации
by: Донец, Г.А., et al.
Published: (2014)
by: Донец, Г.А., et al.
Published: (2014)
Метод автоматического построения онтологических баз знаний. II. Автоматическое определение семантических отношений в онтологической сети
by: Марченко, А.А.
Published: (2016)
by: Марченко, А.А.
Published: (2016)
Алгоритмические аспекты определения функций глубины в процедуре выбора оптимальной гипотезы для задач классификации данных
by: Галкин, А.А.
Published: (2016)
by: Галкин, А.А.
Published: (2016)
Аспекты моделирования в системе Гомеопат
by: Провотар, А.А., et al.
Published: (2012)
by: Провотар, А.А., et al.
Published: (2012)
Система символьных вычислений для программирования динамических приложений
by: Дорошенко, А.Е., et al.
Published: (2003)
by: Дорошенко, А.Е., et al.
Published: (2003)
Применение ускоренного моделирования к оценке количества некоторых k-мерных подпространств над конечным полем
by: Масол, В.И., et al.
Published: (2010)
by: Масол, В.И., et al.
Published: (2010)
Построение экспоненциальной оценки в компартментной системе с распределенными запаздываниями: подход на основе неравенства Хейла–Лунелла
by: Марценюк, В.П., et al.
Published: (2013)
by: Марценюк, В.П., et al.
Published: (2013)
Операционное формирование кодов состояний в микропрограммных автоматах
by: Баркалов, А.А., et al.
Published: (2011)
by: Баркалов, А.А., et al.
Published: (2011)
Новые доказательства важных теорем бестипового экстенсионального λ–исчисления
by: Лялецкий, А.А.
Published: (2014)
by: Лялецкий, А.А.
Published: (2014)
Глубинный метод классификации на основе удаленной меры концентрации для обработки асимметричных данных
by: Галкин, А.А.
Published: (2016)
by: Галкин, А.А.
Published: (2016)
Распознавание действий медицинских работников на основе показателей акселерометров с использованием глубинной сети убеждений
by: Галкин, А.А.
Published: (2016)
by: Галкин, А.А.
Published: (2016)
Решение проблемы инвариантности вероятностных характеристик заведомо совместных систем случайных нелинейных уравнений над конечным коммутативным кольцом с единицей
by: Левитская, А.А.
Published: (2010)
by: Левитская, А.А.
Published: (2010)
Афинно-инвариантный классификатор экстраполяционной глубины на основе многоуровневой структуры сглаживания
by: Галкин, А.А.
Published: (2016)
by: Галкин, А.А.
Published: (2016)
Метод автоматического построения онтологических баз знаний. I. Разработка семантико-синтаксической модели естественного языка
by: Марченко, А.А.
Published: (2016)
by: Марченко, А.А.
Published: (2016)
Система доказательного программирования
by: Летичевский, А.А. (мл.), et al.
Published: (2012)
by: Летичевский, А.А. (мл.), et al.
Published: (2012)
Аппроксимация гауссовских базисных функций в задаче адаптивного управления нелинейными объектами
by: Руденко, О.Г., et al.
Published: (2011)
by: Руденко, О.Г., et al.
Published: (2011)
Мультиагентная оптимизация на основе метода пчелиной колонии
by: Субботин, С.А., et al.
Published: (2009)
by: Субботин, С.А., et al.
Published: (2009)
Эквивалентность двумерных многоленточных автоматов
by: Григорян, А.А., et al.
Published: (2008)
by: Григорян, А.А., et al.
Published: (2008)
Индексные структуры для быстрого поиска сходных символьных строк
by: Рачковский, Д.А.
Published: (2019)
by: Рачковский, Д.А.
Published: (2019)
Об одном классе базовых протоколов
by: Летичевский, А.А.
Published: (2005)
by: Летичевский, А.А.
Published: (2005)
Алгебраическая теория взаимодействия и киберфизические системы
by: Летичевский, А.А.
Published: (2017)
by: Летичевский, А.А.
Published: (2017)
Синтез нейро-нечетких сетей на основе ассоциативных правил
by: Олейник, А.А., et al.
Published: (2014)
by: Олейник, А.А., et al.
Published: (2014)
Генерация пероксида водорода в динамической системе морская вода-воздух-минерал
by: Каздобин, К.А., et al.
Published: (2015)
by: Каздобин, К.А., et al.
Published: (2015)
Алгебраическая интерпретация микропрограммного автомата с операционным автоматом переходов
by: Бабаков, Р.М., et al.
Published: (2016)
by: Бабаков, Р.М., et al.
Published: (2016)
Робастное обучение радиально-базисных сетей
by: Руденко, О.Г., et al.
Published: (2011)
by: Руденко, О.Г., et al.
Published: (2011)
Многомерный статистический анализ влияния глобальных угроз на безопасность стран мира
by: Померанцева, Т.Н., et al.
Published: (2010)
by: Померанцева, Т.Н., et al.
Published: (2010)
Нечеткие системы логического вывода и их применение
by: Провотар, А.И., et al.
Published: (2013)
by: Провотар, А.И., et al.
Published: (2013)
Робастная идентификация нелинейных объектов с помощью эволюционирующей радиально-базисной сети
by: Руденко, О.Г., et al.
Published: (2013)
by: Руденко, О.Г., et al.
Published: (2013)
Similar Items
-
Свойства предикатного трансформера системы VRS
by: Летичевский, А.А., et al.
Published: (2010) -
Парадигмы модельного и символьного тестирования программных систем
by: Летичевский, А.А. (мл.)
Published: (2015) -
Метод автоматического построения онтологических баз знаний. III. Автоматическая генерация таксономии как основы онтологии
by: Марченко, А.А.
Published: (2016) -
Генерация тестовых сценариев на основе формальной модели
by: Летичевский, А.А., et al.
Published: (2010) -
Алгоритм трансляции APLAN-кода
by: Летичевский, А.А., et al.
Published: (2010)