Найдено документов - 1046 | Найти похожие: "Индекс ББК" = '65.292 или 32.973-018.2' | Версия для печати |
Сортировать по:
1. Книга

Бубнов С. А.
Операционные системы : учебное пособие для вузов / Бубнов С. А.,Бубнов А. А.,Филатов И. Ю. - Рязань : РГРТУ, 2024. - 156 с. - Рекомендовано Научно-методическим советом ФГБОУ ВО «Рязанский государственный радиотехнический университет им. В.Ф. Уткина» в качестве учебного пособия для студентов высших учебных заведений всех форм обучения по направлениям подготовки: 09.03.01 – «Информатика и вычислительная техника» (уровень – бакалавриат), 09.03.03 – «Прикладная информатика» (уровень – бакалавриат), 09.03.04 – «Программная инженерия» (уровень – бакалавриат) и специальности 09.05.01 – «Применение и эксплуатация автоматизированных систем специального назначения» (уровень – специалитет). - ISBN 978-5-9912-1095-9.
Операционные системы : учебное пособие для вузов / Бубнов С. А.,Бубнов А. А.,Филатов И. Ю. - Рязань : РГРТУ, 2024. - 156 с. - Рекомендовано Научно-методическим советом ФГБОУ ВО «Рязанский государственный радиотехнический университет им. В.Ф. Уткина» в качестве учебного пособия для студентов высших учебных заведений всех форм обучения по направлениям подготовки: 09.03.01 – «Информатика и вычислительная техника» (уровень – бакалавриат), 09.03.03 – «Прикладная информатика» (уровень – бакалавриат), 09.03.04 – «Программная инженерия» (уровень – бакалавриат) и специальности 09.05.01 – «Применение и эксплуатация автоматизированных систем специального назначения» (уровень – специалитет). - ISBN 978-5-9912-1095-9.
Авторы: Бубнов С. А., Бубнов А. А., Филатов И. Ю.
Шифры:
Полочный: ЭБС ЛАНЬ
ББК: 32.973-018.2;
Полочный: ЭБС ЛАНЬ
ББК: 32.973-018.2;
Аннотация: Изложены основные понятия и архитектуры операционных систем (ОС), рассмотрены такие абстракции ОС, как процессы и потоки, файлы и каталоги, виртуальные страницы, файловые системы. Приведены алгоритмы планирования процессов, дисковых запросов ввода-вывода и виртуальных страниц и страничных кадров, подробно изложены базовые технологии управления памятью и механизм виртуальной памяти. Уделено внимание наиболее часто применяемой организации памяти в современных вычислительных машинах – страничной организации. Рассмотрены вопросы безопасности ОС, введены основные термины безопасности информации, рассмотрены угрозы безопасности информации и стратегии управления доступом к ресурсам ОС. В обзорной главе рассмотрены основные вехи развития ОС UNIX и LINUX. Для студентов вузов, обучающихся по направлениям подготовки: 09.03.01 – «Информатика и вычислительная техника», 09.03.03 – «Прикладная информатика», 09.03.04 – «Программная инженерия» и специальности 09.05.01 – «Применение и эксплуатация автоматизированных систем специального назначения», может быть полезна специалистам.
Для просмотра необходимо войти в личный кабинет
2. Книга

Федькова Н. А.
Современные технологии разработки программного обеспечения / Федькова Н. А. - Брянск : Брянский ГАУ, 2022. - 58 с.
Современные технологии разработки программного обеспечения / Федькова Н. А. - Брянск : Брянский ГАУ, 2022. - 58 с.
Авторы: Федькова Н. А.
Шифры:
Полочный: ЭБС ЛАНЬ
ББК: 32.973-018.2;
Полочный: ЭБС ЛАНЬ
ББК: 32.973-018.2;
Аннотация: Издание окажет помощь студентам направления подготовки 09.04.03 Прикладная информатика при подготовке по дисциплине «Современные технологии разработки программного обеспечения».
Для просмотра необходимо войти в личный кабинет
3. Книга

Бутин А. А.
Программно-аппаратные средства защиты информации : учебное пособие / Бутин А. А.,Глухов Н. И.,Носков С. И. - 2-е изд., перераб. и доп. - Иркутск : ИрГУПС, 2022. - 92 с.
Программно-аппаратные средства защиты информации : учебное пособие / Бутин А. А.,Глухов Н. И.,Носков С. И. - 2-е изд., перераб. и доп. - Иркутск : ИрГУПС, 2022. - 92 с.
Авторы: Бутин А. А., Глухов Н. И., Носков С. И.
Шифры:
Полочный: ЭБС ЛАНЬ
ББК: 32.973-018.2;
Полочный: ЭБС ЛАНЬ
ББК: 32.973-018.2;
Ключевые слова: защита информации, носители информации, идентификаторы, touch memory, соболь, dallas lock
Аннотация: В учебном пособии рассматриваются назначение и функциональные возможности наиболее эффективных российских сертифицированных средств защиты информации программно-аппаратного уровня. Пособие охватывает основные темы курса в части изучения базовых защитных сервисов конкретных продуктов и рекомендуется при освоении дисциплины «Программно-аппаратные средства защиты информации». Предназначено для обучающихся по специальности 10.05.03 «Информационная безопасность автоматизированных систем», а также практикующим специалистам в области защиты информации.
Для просмотра необходимо войти в личный кабинет
4. Книга

Лопатин В. М.
Практические занятия по информатике : учебное пособие / Лопатин В. М. - Санкт-Петербург : Лань, 2022. - 140 с. - ISBN 978-5-8114-3827-3.
Практические занятия по информатике : учебное пособие / Лопатин В. М. - Санкт-Петербург : Лань, 2022. - 140 с. - ISBN 978-5-8114-3827-3.
Авторы: Лопатин В. М.
Шифры:
Полочный: ЭБС ЛАНЬ
ББК: 32.973-018.2;
Полочный: ЭБС ЛАНЬ
ББК: 32.973-018.2;
Ключевые слова: информатика, прикладные программы, word, excel, офисные программы, системы счисления
Аннотация: Собраны и представлены задания для практических занятий по информатике в широко распространенных программах MS Word и MS Excel. Задания сопровождаются подробным описанием программных инструментов и пошаговым изложением порядка выполнения работы. Издание предназначено для пользователей, имеющих начальный уровень подготовки, в том числе для студентов высших учебных заведений технических и экономических специальностей в рамках учебного курса по информатике.
Для просмотра необходимо войти в личный кабинет
5. Книга

Староверова Н. А.
Операционные системы : учебник / Староверова Н. А. - Санкт-Петербург : Лань, 2022. - 308 с. - ISBN 978-5-8114-4000-9.
Операционные системы : учебник / Староверова Н. А. - Санкт-Петербург : Лань, 2022. - 308 с. - ISBN 978-5-8114-4000-9.
Авторы: Староверова Н. А.
Шифры:
Полочный: ЭБС ЛАНЬ
ББК: 32.973-018.2;
Полочный: ЭБС ЛАНЬ
ББК: 32.973-018.2;
Ключевые слова: операционная система, unix, средства system v ipc, семафоры, внешняя память, сетевые соединения, сокеты, sockets
Аннотация: В учебнике рассматриваются основные вопросы, связанные со структурой и развитием операционных систем. В основу учебника легли статьи, лекции и лабораторные работы, разрабатываемые в рамках дисциплин «Операционные системы» и «Системное программное обеспечение». Внимание уделено таким темам, как история и перспективы развития операционных систем, структура, вопросы диспетчеризации, многопоточности. В рамках лабораторных работ рассматривались принципы работы в операционной системе UNIX.
Для просмотра необходимо войти в личный кабинет
Дисциплина: Операционные системы
6. Книга

Использование информационных технологий для расчета основных экономических показателей : учебное пособие / Дергачев А. И.,Дергачев С. А.,Божко Л. М.,Куранова О. Н.,Степанская О. А.,Тарбаева Е. А. - Санкт-Петербург : ПГУПС, 2022. - 157 с. - ISBN 978-5-7641-1826-0.
Авторы: Дергачев А. И., Дергачев С. А., Божко Л. М., Куранова О. Н., Степанская О. А., Тарбаева Е. А.
Шифры:
Полочный: ЭБС ЛАНЬ
ББК: 32.973-018.2;
Полочный: ЭБС ЛАНЬ
ББК: 32.973-018.2;
Аннотация: Учебное пособие состоит из двух частей. В первой части рассмотрены вопросы, отражающие теоретическую базовую составляющую информатики, ориентированную на пользователя персонального компьютера при работе в MS Excel. Во второй части приведены практические задания для выполнения в MS Excel, а также формы макетов их решения. Предназначено для студентов всех профилей, обучающихся дисциплинам «Информационные технологии и программные средства в менеджменте», по направлениям подготовки 38.03.02 «Менеджмент», «Информационные технологии и программные средства в экономике», 38.03.01 «Экономика». Может быть использовано для ознакомительной практики по информатике.
Для просмотра необходимо войти в личный кабинет
7. Книга

Федотов А. А.
Введение в цифровую обработку биомедицинских изображений : учебное пособие / Федотов А. А. - Санкт-Петербург : Лань, 2022. - 108 с. - ISBN 978-5-8114-3458-9.
Введение в цифровую обработку биомедицинских изображений : учебное пособие / Федотов А. А. - Санкт-Петербург : Лань, 2022. - 108 с. - ISBN 978-5-8114-3458-9.
Авторы: Федотов А. А.
Шифры:
Полочный: ЭБС ЛАНЬ
ББК: 32.973-018.2;
Полочный: ЭБС ЛАНЬ
ББК: 32.973-018.2;
Ключевые слова: цифровая обработка сигналов, биотехнические системы и технологии, биомедицинское изображения, диагностическая визуализация, биомедицинская инженерия
Аннотация: Учебное пособие содержит информацию об основных методах получения биомедицинских изображений, общие сведения о цифровой обработке изображений, включает в себя подробный анализ существующих методик пространственной и частотной фильтрации изображений, а также обзор актуальных методов восстановления изображений. Учебное пособие предназначено для студентов, обучающихся по направлению «Биотехнические системы и технологии». Разработано на кафедре лазерных и биотехнических систем Самарского национального исследовательского университета.
Для просмотра необходимо войти в личный кабинет
8. Книга

Стеганографические и криптографические методы защиты информации : учебное пособие. - Уфа : БГПУ имени М. Акмуллы, 2016. - 112 с.
Шифры:
Полочный: ЭБС ЛАНЬ
ББК: 32.973-018.2;
Полочный: ЭБС ЛАНЬ
ББК: 32.973-018.2;
Аннотация: Учебное пособие предназначено для студентов, обучающихся по направлению подготовки ВПО 09.03.03 «Прикладная информатика в менеджменте». Структура и содержание учебного пособия отражают задачи информационной безопасности и проблемы использования методов и средств защиты компьютерной информации, а так же способствует облегчению самостоятельной работы студентов. Рассмотрены различные задачи и примеры, сгруппированные в соответствии с основными направлениями развития методов и алгоритмов информационной безопасности автоматизированных систем обработки данных. Представленные задачи и примеры охватывают как классические методы защиты информации, так и современные методы обеспечения конфиденциальности и целостности данных, ориентированные на применение вычислительной техники.
Для просмотра необходимо войти в личный кабинет
9. Книга

Сергеев Л. И.
Корпоративный финансовый менеджмент в условиях экономического зонирования : учебное пособие / Сергеев Л. И.,Плюхин М. Ю. - Калининград : КГТУ, 2016. - 215 с. - ISBN 978-5-94826-465-3.
Корпоративный финансовый менеджмент в условиях экономического зонирования : учебное пособие / Сергеев Л. И.,Плюхин М. Ю. - Калининград : КГТУ, 2016. - 215 с. - ISBN 978-5-94826-465-3.
Авторы: Сергеев Л. И., Плюхин М. Ю.
Шифры:
Полочный: ЭБС ЛАНЬ
ББК: 65.292;
Полочный: ЭБС ЛАНЬ
ББК: 65.292;
Аннотация: Рассматриваются принципы, становление и развитие корпоративных финансов в условиях экономического зонирования, основы организации финансов предприятий. Обобщаются финансовое планирование и инвестиционная корпоративная стратегия в условиях ОЭЗ. Подчеркиваются природа, содержание и нормирование активов предприятий. Даются положения, обеспечивающие процессы управления активами корпорации и финансовое оздоровление предприятий. Анализируются порядок и принципы управления инвестиционной деятельностью корпорации - резидента ОЭЗ. Обобщаются вопросы и результаты инвестиционной деятельности и функционирования ОЭЗ в Калининградской области
Для просмотра необходимо войти в личный кабинет
10. Книга
Синицын, С. В.
Операционные системы : учебник для вузов / С. В. Синицын, А. В. Батаев, Н. Ю. Налютин. - Москва : Академия, 2010. - 297 с. - (Высшее профессиональное образование). - Библиогр.: с. 295. - ISBN 9785769566721. - Текст : непосредственный.
Операционные системы : учебник для вузов / С. В. Синицын, А. В. Батаев, Н. Ю. Налютин. - Москва : Академия, 2010. - 297 с. - (Высшее профессиональное образование). - Библиогр.: с. 295. - ISBN 9785769566721. - Текст : непосредственный.
Авторы: Синицын С. В., Батаев А. В., Налютин Н. Ю.
Шифры:
Полочный: 32.973-018.2
Авторский знак: С 38
ББК: 32.973-018.2;
Полочный: 32.973-018.2
Авторский знак: С 38
ББК: 32.973-018.2;
Ключевые слова: информатика, Межпроцессное взаимодействие, Операционные системы, Права доступа, Прикладная информатика, Прикладное программирование, Управление данными, учебники для вузов
Рубрики: Вычислительная техника. Программирование - Системное программное обеспечение
Экземпляры: Всего: 30, из них:
Аб2 (пр.Пионерский,13) - свободно 4 из 4,
ФМФ и ТЭФ (пр.Пионерский,13) - свободно 11 из 11,
ЧЗ1 (пр. Металлургов,19) - свободно 15 из 15
Аб2 (пр.Пионерский,13) - свободно 4 из 4,
ФМФ и ТЭФ (пр.Пионерский,13) - свободно 11 из 11,
ЧЗ1 (пр. Металлургов,19) - свободно 15 из 15
11. Книга
Галкин, В. В.
Основы предпринимательской деятельности : учебное пособие для среднего профессионального образования. - Ростов-на-Дону : Феникс, 2004. - 283 с. - (СПО). - Библиогр.: с. 278-280. - ISBN 5222051544. - Текст : непосредственный.
Основы предпринимательской деятельности : учебное пособие для среднего профессионального образования. - Ростов-на-Дону : Феникс, 2004. - 283 с. - (СПО). - Библиогр.: с. 278-280. - ISBN 5222051544. - Текст : непосредственный.
Авторы: Галкин В. В.
Шифры:
Полочный: 65.292
Авторский знак: Г 16
ББК: 65.292;
Полочный: 65.292
Авторский знак: Г 16
ББК: 65.292;
Ключевые слова: предпринимательская деятельность, акционерные предпринимательства, рынок ценных бумаг, оффорный бизнес, товарные знаки, этикетки, тара, упаковка, электронная коммерция, недобросовестная конкуренция, МО, учебники для среднего профессионального образования
Рубрики: Экономика - Организационные формы предприятий
Экземпляры: Всего: 3, из них:
хр (пр.Металлургов,19) - свободно 3 из 3
хр (пр.Металлургов,19) - свободно 3 из 3
12. Книга
Малые и средние предприятия: Управление и организация / Под ред. Й.Х. Пихлера, Х.Й. Пляйтнера, К.-Х. Шмидта; Пер. с нем. - Москва : Международные отношения, 2002. - 280с. - ISBN 5-7133-1111-2. - Текст : непосредственный.
Шифры:
Полочный: 65.292
Авторский знак: М 20
ББК: 65.292;
Полочный: 65.292
Авторский знак: М 20
ББК: 65.292;
Ключевые слова: Малые предприятия, Средние предприятия, Управление предприятием, Инновации, Маркетинг, Производство, Финансы предприятий, Производственный учет, Информационный менеджмент, Калькуляция, Инвестиции
Рубрики: Экономика
Экземпляры: Всего: 2, из них:
ЧЗ1 (пр. Металлургов,19) - свободно 2 из 2
ЧЗ1 (пр. Металлургов,19) - свободно 2 из 2
13. Книга
Рыкова, И.В.
Франчайзинг: новые технологии, методология, договоры. - Москва : Современная экономика и право, 2000. - 224с. - ISBN 5-8411-0023-8. - Текст : непосредственный.
Франчайзинг: новые технологии, методология, договоры. - Москва : Современная экономика и право, 2000. - 224с. - ISBN 5-8411-0023-8. - Текст : непосредственный.
Авторы: Рыкова И.В.
Шифры:
Полочный: 65.292
Авторский знак: Р 94
ББК: 65.292;
Полочный: 65.292
Авторский знак: Р 94
ББК: 65.292;
Ключевые слова: Франчайзинг, Брендинг, Имидж, Товарный знак, Экономика предприятия, Ноу-хау, Патенты
Рубрики: Экономика
Экземпляры: Всего: 1, из них:
ЧЗ1 (пр. Металлургов,19) - свободно 1 из 1
ЧЗ1 (пр. Металлургов,19) - свободно 1 из 1
14. Книга
Уткин, Э. А.
Финансово-промышленные группы. - Москва : Ассоциация авторов и издателей "Тандем" : ЭКМОС, 1998. - 256 с. - ISBN 5-88124-008-1. - Текст : непосредственный.
Финансово-промышленные группы. - Москва : Ассоциация авторов и издателей "Тандем" : ЭКМОС, 1998. - 256 с. - ISBN 5-88124-008-1. - Текст : непосредственный.
Авторы: Уткин, Э. А., Эскиндаров, М. А.
Шифры:
Полочный: 65.292
Авторский знак: У-84
ББК: 65.292;
Полочный: 65.292
Авторский знак: У-84
ББК: 65.292;
Ключевые слова: Финансово-промышленные группы, Экономика предприятия
Рубрики: Экономика
Экземпляры: Всего: 2, из них:
ЧЗ1 (пр. Металлургов,19) - свободно 2 из 2
ЧЗ1 (пр. Металлургов,19) - свободно 2 из 2
15. Статья из журнала
Белов, С. И. (кандидат исторических наук; доцент; Московский государственный университет имени М. В. Ломоносова).
Японский опыт использования видеоигр с историческим сюжетом как инструмента политики памяти / С. И. Белов. - Текст : непосредственный
// Вопросы истории. - 2022. - № 3, ч. 1. - С. 175-185. - ISSN 0042-8779. - Примеч.: с. 183-185. - Библиогр. в примеч. - 5 рис.
Японский опыт использования видеоигр с историческим сюжетом как инструмента политики памяти / С. И. Белов. - Текст : непосредственный
// Вопросы истории. - 2022. - № 3, ч. 1. - С. 175-185. - ISSN 0042-8779. - Примеч.: с. 183-185. - Библиогр. в примеч. - 5 рис.
Авторы: Белов, С. И.
Ключевые слова: видеоигры, исторические видеоигры, японские исторические видеоигры, компьютерные игры, геймеры, политика памяти, мемориальная политика, национальная история
Рубрики: Вычислительная техника
Компьютерная графика
Политика. Политология
Политическое сознание
Компьютерная графика
Политика. Политология
Политическое сознание
Аннотация: Представленное исследование посвящено изучению японского опыта реализации задач политики памяти посредством видеоигр, которые позволяют эффективно популяризировать базовые символы, имеющие отношение к ключевым событиям национальной истории.
16. Статья из журнала
Мешалкин, В. П. (сопредседатель редакционного совета журнала "Прикладная информатика"; доктор технических наук; профессор; член-корреспондент РАН).
Юрию Борисовичу Рубину - 60 лет = On the 60th anniversaty of Yury B. Rubin / В. П. Мешалкин, А. А. Емельянов
// Прикладная информатика. - 2016. - Т. 11, № 2 (62). - С. 5-8. - 2 фот.
Юрию Борисовичу Рубину - 60 лет = On the 60th anniversaty of Yury B. Rubin / В. П. Мешалкин, А. А. Емельянов
// Прикладная информатика. - 2016. - Т. 11, № 2 (62). - С. 5-8. - 2 фот.
Авторы: Мешалкин, В. П., Емельянов, А. А.
Ключевые слова: российские ученые, юбилеи ученых, научная деятельность, научные журналы, Прикладная информатика
Рубрики: Вычислительная техника
Прикладные информационные (компьютерные) технологии в целом
Наука. Науковедение
Организация науки
Прикладные информационные (компьютерные) технологии в целом
Наука. Науковедение
Организация науки
Аннотация: О 60-летии со дня рождения известного российского ученого, доктора экономических наук, профессора, ректора Университета "Синергия" Ю. Б. Рубина.
17. Статья из журнала
Астафуров, В. Г. (доктор физико-математических наук; старший научный сотрудник).
Эффективный алгоритм формирования нечетких систем на основе модели Питтсбургского классификатора = An effective algorithm of fuzzy systems design based on Pittsburgh classifier model / В. Г. Астафуров, Т. В. Евсюткин, С. В. Аксенов
// Информационные технологии. - 2017. - Т. 23, № 7. - С. 483-490. - ISSN 1684-6400. - Библиогр.: с. 490 (16 назв.).
Эффективный алгоритм формирования нечетких систем на основе модели Питтсбургского классификатора = An effective algorithm of fuzzy systems design based on Pittsburgh classifier model / В. Г. Астафуров, Т. В. Евсюткин, С. В. Аксенов
// Информационные технологии. - 2017. - Т. 23, № 7. - С. 483-490. - ISSN 1684-6400. - Библиогр.: с. 490 (16 назв.).
Авторы: Астафуров, В. Г., Евсюткин, Т. В., Аксенов, С. В.
Ключевые слова: классификация изображений, нечеткие системы, текстурные признаки, Питтсбургский классификатор, вычислительные эксперименты
Рубрики: Радиоэлектроника
Искусственный интеллект. Экспертные системы
Вычислительная техника
Распознавание и преобразование образов
Искусственный интеллект. Экспертные системы
Вычислительная техника
Распознавание и преобразование образов
Аннотация: Предложен алгоритм автоматической классификации текстур слабоконтрастных объектов на основе модели нечеткого вывода, известной как Питтсбургский классификатор.
18. Статья из журнала
Эффективность облачных вычислений в моделировании кинетики трещин в наводороженных элементах конструкций = Cloud Computing Efficiency in Crack Growth Simulation in Hydrogenated Structure Components / Д. Л. Кишлаков [и др.]
// Информационные технологии. - 2017. - Т. 23, № 2. - С. 113-120. - ISSN 1684-6400. - Библиогр.: с. 120 (14 назв.).
// Информационные технологии. - 2017. - Т. 23, № 2. - С. 113-120. - ISSN 1684-6400. - Библиогр.: с. 120 (14 назв.).
Авторы: Кишлаков, Д. Л., Тараканов, П. В., Шашурин, Г. В., Берчун, Ю. В.
Ключевые слова: автоматизированное проектирование, долговечность, охрупчивание, параллельные вычисления, облачные технологии, облачные вычисления, наводороженные элементы, локальные приложения
Рубрики: Вычислительная техника
Имитационное компьютерное моделирование
Имитационное компьютерное моделирование
Аннотация: Рассматривается задача исследования роста трещин в наводороженных элементах конструкций. Представлена математическая модель задачи, и на этой основе - алгоритм определения предельной длины трещины.
19. Статья из журнала
Тихомиров, В.
Эффективность индексов. Опыт использования индексов в Oracle / В. Тихомиров
// Системный администратор. - 2015. - № 5. - С. 54-58. - ISSN 1813-5579.
Эффективность индексов. Опыт использования индексов в Oracle / В. Тихомиров
// Системный администратор. - 2015. - № 5. - С. 54-58. - ISSN 1813-5579.
Авторы: Тихомиров, В.
Ключевые слова: Oracle, индексы, запросы, SQL, hints, базы данных
Рубрики: Вычислительная техника
Системы управления базами данных (СУБД)
Системы управления базами данных (СУБД)
Аннотация: Практика работы с индексами показала, что эффективность индексов определяется не только качественным созданием индекса, но и правильным применением индекса в запросах.
20. Статья из журнала
Кушик, Н. Г.
Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестирования / Н. Г. Кушик, Н. В. Евтушенко, С. Н. Торгаев
// Известия вузов. Физика. - 2015. - Т. 58, № 8. - С. 85-90. - ISSN 0021-3411. - Библиогр.: c. 89-90 (17 назв. ). - рис., табл.
Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестирования / Н. Г. Кушик, Н. В. Евтушенко, С. Н. Торгаев
// Известия вузов. Физика. - 2015. - Т. 58, № 8. - С. 85-90. - ISSN 0021-3411. - Библиогр.: c. 89-90 (17 назв. ). - рис., табл.
Авторы: Кушик, Н. Г., Евтушенко, Н. В., Торгаев, С. Н.
Ключевые слова: FPGA-технология, верификационное тестирование, верификация цифровых компонентов, мутационное тестирование, цифровые компоненты
Рубрики: Вычислительная техника
Имитационное компьютерное моделирование
Имитационное компьютерное моделирование
Аннотация: Достаточно часто цифровые компоненты современных физических систем проектируются с применением схемотехнических решений на основе программируемых логических интегральных схем (FPGA-технология), и такие (встроенные) цифровые компоненты должны быть тщательно протестированы. Предлагается подход к верификации цифровых компонентов физических систем на основе мутационного тестирования. Эталонное описание поведения цифрового компонента на языке логического проектирования мутируется посредством внесения в него наиболее вероятных ошибок, и, в отличие от мутантов в языках программирования высокого уровня, соответствующий тестовый пример эффективно строится на основе сравнения специальных масштабируемых представлений эталона и построенного мутанта с использованием различных систем логического проектирования и верификации.