Библиотека Амурского Государственного Университета

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

- результаты поиска

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

Область поиска

Найдено в других БД:

БД "Статьи" (1)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>A=Кушик, Н. Г.$<.>)

Общее количество найденных документов : 4
Показаны документы с 1 по 4

Тестирование программной реализации протокола IRC на основе модели расширенного автомата [Текст] / М. В. Жигулин [и др. ] // Известия Томского политехнического университета. - 2011. - Т. 318, N 5 : Управление, вычислительная техника и информатика. - С. 81-84. : ил. - Библиогр.: с. 84 (5 назв. )

УДК

^a519.7

ББК 22.18
Рубрики: Математика
Математическая кибернетика
Кл.слова (ненормированные):
расширенные автоматы -- модели -- программные реализации -- протоколы связи -- проверяющие тесты -- конечные автоматы -- компьютерные эксперименты
Аннотация: Рассматривается тестирование программной реализации ngIRCd телекоммуникационного протокола IRC на основе теста, построенного по модели расширенного автомата. Компьютерные эксперименты иллюстрируют эффективность предложенного подхода.

Доп.точки доступа:
Жигулин, М. В.; Коломеец, А. В.; Кушик, Н. Г.; Шабалдин, А. В.
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Моделирование процесса высокотемпературного горения на основе клеточных автоматов [Текст] / Н. Г. Кушик [и др.] // Известия вузов. Физика. - 2014. - Т. 57, № 6. - С. 119-126 : рис. - Библиогр.: c. 126 (15 назв. ) . - ISSN 0021-3411

УДК

^a519.713

ББК 32.815
Рубрики: Радиоэлектроника
Теория автоматов
Кл.слова (ненормированные):
высокотемпературное горение твердых тел -- горение твердых тел -- диффузия -- клеточно-автоматные модели -- клеточные автоматы -- компьютерное моделирование -- процесс горения -- распределение температуры -- теплообмен
Аннотация: Кратко описывается разработанное авторами программное обеспечение для моделирования процесса высокотемпературного горения на основе клеточных автоматов; представленные результаты экспериментов демонстрируют адекватность использования такой модели.

Доп.точки доступа:
Кушик, Н. Г.; Попов, А. С.; Тригуб, М. В.; Евтушенко, Н. В.
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Кушик, Н. Г.
Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестирования [Текст] / Н. Г. Кушик, Н. В. Евтушенко, С. Н. Торгаев // Известия вузов. Физика. - 2015. - Т. 58, № 8. - С. 85-90 : рис., табл. - Библиогр.: c. 89-90 (17 назв. ) . - ISSN 0021-3411

УДК

^a004.94

ББК 32.973-018.2
Рубрики: Вычислительная техника
Имитационное компьютерное моделирование
Кл.слова (ненормированные):
FPGA-технология -- верификационное тестирование -- верификация цифровых компонентов -- мутационное тестирование -- цифровые компоненты
Аннотация: Достаточно часто цифровые компоненты современных физических систем проектируются с применением схемотехнических решений на основе программируемых логических интегральных схем (FPGA-технология), и такие (встроенные) цифровые компоненты должны быть тщательно протестированы. Предлагается подход к верификации цифровых компонентов физических систем на основе мутационного тестирования. Эталонное описание поведения цифрового компонента на языке логического проектирования мутируется посредством внесения в него наиболее вероятных ошибок, и, в отличие от мутантов в языках программирования высокого уровня, соответствующий тестовый пример эффективно строится на основе сравнения специальных масштабируемых представлений эталона и построенного мутанта с использованием различных систем логического проектирования и верификации.

Доп.точки доступа:
Евтушенко, Н. В.; Торгаев, С. Н.
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Кушик, Н. Г.
Исследование корреляции тестовых последовательностей при проверке надежности функционирования цифровых компонентов физических систем [Текст] / Н. Г. Кушик, Х. Е. Лопез, Н. В. Евтушенко // Известия вузов. Физика. - 2016. - Т. 59, № 8. - С. 134-139 : рис., табл. - Библиогр.: c. 139 (8 назв. ) . - ISSN 0021-3411

УДК

^a004.94

ББК 32.973-018.2
Рубрики: Вычислительная техника
Имитационное компьютерное моделирование
Кл.слова (ненормированные):
верификация логических схем -- классы неисправностей -- корреляция тестовых последовательностей -- физические системы -- цифровые компоненты физических систем -- цифровые системы
Аннотация: Рассматривается актуальная задача эффективной верификации цифровых компонентов, используемых в различных физических системах, начиная от встраиваемых датчиков и сенсоров и заканчивая современными средствами связи, используемыми для передачи данных. Для синтеза качественных верификационных тестов для цифровых схем достаточно широко распространен метод синтеза тестовых последовательностей на основе нацеленного внесения неисправностей в эталонную схему и синтеза входной последовательности, обнаруживающей данную неисправность. Естественно, что наибольший интерес представляют наборы, обнаруживающие неисправности различных классов. Cтавится задача выявления корреляции между такими тестами и рассматриваются распространенные виды неисправностей: 1) одиночные константные неисправности, 2) неисправности "перемычек" и 3) трудно обнаружимые неисправности, незначительно изменяющие поведение одного логического элемента схемы. Для пакета бенчмарок B01-B10 (ITC’99 benchmarks (Second Release) ), которые представляют собой компоненты физических систем, спроектированных для различных приложений, включая обработку данных, полученных от сенсорных датчиков, системы распределения нагрузки и др., строятся тесты для обнаружения несоответствий каждого из типов и оценивается полнота теста одного типа по отношению к неисправностям других типов. Экспериментально показывается, что синтез тестов относительно одного из типов, в том числе относительно одиночных константных неисправностей, не является достаточным, поскольку для других классов неисправностей его полнота может не превышать 60 %.

Доп.точки доступа:
Лопез, Х. Е.; Евтушенко, Н. В.
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Тематический навигатор

Статистика за 01.08.2024
Число запросов	169526
Число посетителей	1
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)