Зображення обкладинки

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Кибернетика и системный анализ
Дата:	2015
Автори:	Летичевский, А.А., Летичевский, А.Ал., Песчаненко, В.С., Губа, А.А.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2015
Теми:	Кибернетика
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/124753
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Генерация символьных трасс в системе инсерционного моделирования / А.А. Летичевский, А.Ал. Летичевский, В.С. Песчаненко, А.А. Губа // Кибернетика и системный анализ. — 2015. — Т. 51, № 1. — С. 7-19. — Бібліогр.: 25 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Свойства предикатного трансформера системы VRS
за авторством: Летичевский, А.А., та інші
Опубліковано: (2010)

Парадигмы модельного и символьного тестирования программных систем
за авторством: Летичевский, А.А. (мл.)
Опубліковано: (2015)

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

Генерация тестовых сценариев на основе формальной модели
за авторством: Летичевский, А.А., та інші
Опубліковано: (2010)

Алгоритм трансляции APLAN-кода
за авторством: Летичевский, А.А., та інші
Опубліковано: (2010)

Формирование минимальных d-сепараторов в системе зависимостей
за авторством: Балабанов, А.С.
Опубліковано: (2009)

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

Некоторые подходы к моделированию цен в эколого-экономической системе
за авторством: Григоркив, В.С.
Опубліковано: (2009)

Рекурсия и параллельные алгоритмы в задачах геометрического моделирования
за авторством: Терещенко, В.Н., та інші
Опубліковано: (2010)

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

Исследование однотипных структурных элементов CN-сети в процессе компонентного моделирования и анализа сложной системы с параллелизмом
за авторством: Лукьянова, Е.А., та інші
Опубліковано: (2012)

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

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

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

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

Аспекты моделирования в системе Гомеопат
за авторством: Провотар, А.А., та інші
Опубліковано: (2012)

Система символьных вычислений для программирования динамических приложений
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2003)

Применение ускоренного моделирования к оценке количества некоторых k-мерных подпространств над конечным полем
за авторством: Масол, В.И., та інші
Опубліковано: (2010)

Построение экспоненциальной оценки в компартментной системе с распределенными запаздываниями: подход на основе неравенства Хейла–Лунелла
за авторством: Марценюк, В.П., та інші
Опубліковано: (2013)

Операционное формирование кодов состояний в микропрограммных автоматах
за авторством: Баркалов, А.А., та інші
Опубліковано: (2011)

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

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

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

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

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

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

Система доказательного программирования
за авторством: Летичевский, А.А. (мл.), та інші
Опубліковано: (2012)

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

Мультиагентная оптимизация на основе метода пчелиной колонии
за авторством: Субботин, С.А., та інші
Опубліковано: (2009)

Эквивалентность двумерных многоленточных автоматов
за авторством: Григорян, А.А., та інші
Опубліковано: (2008)

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

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

Алгебраическая теория взаимодействия и киберфизические системы
за авторством: Летичевский, А.А.
Опубліковано: (2017)

Синтез нейро-нечетких сетей на основе ассоциативных правил
за авторством: Олейник, А.А., та інші
Опубліковано: (2014)

Генерация пероксида водорода в динамической системе морская вода-воздух-минерал
за авторством: Каздобин, К.А., та інші
Опубліковано: (2015)

Алгебраическая интерпретация микропрограммного автомата с операционным автоматом переходов
за авторством: Бабаков, Р.М., та інші
Опубліковано: (2016)

Робастное обучение радиально-базисных сетей
за авторством: Руденко, О.Г., та інші
Опубліковано: (2011)

Многомерный статистический анализ влияния глобальных угроз на безопасность стран мира
за авторством: Померанцева, Т.Н., та інші
Опубліковано: (2010)

Нечеткие системы логического вывода и их применение
за авторством: Провотар, А.И., та інші
Опубліковано: (2013)

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