Электронная библиотека (репозиторий) Томского государственного университета
Кушик, Наталья Геннадьевна

Add to Quick Collection   All 18 Results

Showing items 1 - 15 of 18.
Sort:
 Add All Items to Quick Collection
Add   Некоторые задачи идентификации состояний для недетерминированных автоматов
Authors: Евтушенко, Нина Владимировна | Кушик, Наталья Геннадьевна
Type: монографии
Date: 2018
Description: Настоящая монография посвящена проблемам идентификации состояний для недетерминированных конечных автоматов. Авторы монографии приняли активное участие в получении новых результатов в этой области и п ... More
Add   К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов
Authors: Евтушенко, Нина Владимировна | Бурдонов, Игорь Борисович | Косачев, Александр Сергеевич | Кушик, Наталья Геннадьевна
Source: Моделирование и анализ информационных систем. 2017. Т. 24, № 6. С. 730-742
Type: статьи в журналах
Date: 2017
Description: В работе рассматриваются задачи проверки существования и синтеза синхронизирующих и установочных последовательностей для конечных входо-выходных полуавтоматов. Соответствующие последовательности могут ... More
Add   Исследование свойств различающих последовательностей для двухбуквенных конечных автоматов
Authors: Твардовский, Александр Сергеевич | Кушик, Наталья Геннадьевна
Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.. Томск, 2016. С. 63-64
Type: статьи в сборниках
Date: 2016
Add   Методы выделения подклассов конечных автоматов с пониженными оценками сложности умозрительных экспериментов : автореферат диссертации на соискание ученой степени доктора физико-математических наук : 05.13.01.
Authors: Кушик, Наталья Геннадьевна
Type: авторефераты диссертаций
Date: 2016
Description: Загл. с титульного экрана
Add   Методы выделения подклассов конечных автоматов с пониженными оценками сложности умозрительных экспериментов : диссертация на соискание ученой степени доктора физико-математических наук : 05.13.01.
Authors: Кушик, Наталья Геннадьевна
Type: диссертации
Date: 2016
Add   Автоматный метод синтеза тестов для проверки безопасности реализаций телекоммуникационных протоколов
Authors: Сухоплюев, Максим Николаевич | Кушик, Наталья Геннадьевна
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 103-106
Type: статьи в журналах
Date: 2015
Add   К масштабируемому моделированию влияния стресса на сердечно-сосудистые и онкологические заболевания
Authors: Кушик, Наталья Геннадьевна | Евтушенко, Нина Владимировна | Жукова, Наталья Григорьевна | Кжышковска, Юлия Георгиевна | Савельева, Ольга Евгеньевна | Форостьянова, Мария Сергеевна
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 37-39
Type: статьи в журналах
Date: 2015
Add   Тестирование в контексте для реализации протокола TCP на основе автоматных моделей
Authors: Щипачев, Никита Михайлович | Кушик, Наталья Геннадьевна
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 115-118
Type: статьи в журналах
Date: 2015
Add   Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестирования
Authors: Кушик, Наталья Геннадьевна | Евтушенко, Нина Владимировна | Торгаев, Станислав Николаевич
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 8. С. 85-90
Type: статьи в журналах
Date: 2015
Description: Достаточно часто цифровые компоненты современных физических систем проектируются с применением схемотехнических решений на основе программируемых логических интегральных схем (FPGA-технология), и таки ... More
Add   Моделирование процесса высокотемпературного горения на основе клеточных автоматов
Authors: Попов, Александр Сергеевич | Тригуб, Максим Викторович | Евтушенко, Нина Владимировна | Кушик, Наталья Геннадьевна
Source: Известия высших учебных заведений. Физика. 2014. Т. 57, № 6. С. 119-126
Type: статьи в журналах
Date: 2014
Add   О сложности проверки существования установочных последовательностей для недетерминированных автоматов
Authors: Кушик, Наталья Геннадьевна | Кулямин, Виктор Вячеславович | Евтушенко, Нина Владимировна
Source: Программирование. 2014. № 6. С. 48-53
Type: статьи в журналах
Date: 2014
Add   К комплексной оценке удовлетворенности конечного пользователя качеством обслуживания в телекоммуникационных системах
Authors: Евтушенко, Нина Владимировна | Кушик, Наталья Геннадьевна
Source: Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 165-167
Type: статьи в журналах
Date: 2013
Add   Методы синтеза установочных и различающих экспериментов с недетерминированными автоматами : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01.
Authors: Кушик, Наталья Геннадьевна
Type: авторефераты диссертаций
Date: 2013
Add   Пакет программ для моделирования физических процессов на основе клеточных автоматов
Authors: Попов, Александр Сергеевич | Кушик, Наталья Геннадьевна
Source: Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 190-192
Type: статьи в журналах
Date: 2013
Add   К установке сложных систем в известное состояние
Authors: Евтушенко, Нина Владимировна | Кушик, Наталья Геннадьевна
Source: Известия высших учебных заведений. Физика. 2012. Т. 55, № 12. С. 111-113
Type: статьи в журналах
Date: 2012

Creator

Date

Subject

Resource Type

^