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

Главная

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

Описание

Шлюз Z39.50

Базы данных

БД "Статьи" - результаты поиска

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

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

Антитеррор

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

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

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

Поисковый запрос: (<.>K=НДВ<.>)

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

Васильева, К. В.
Метод анализа встроенного программного обеспечения UEFI BIOS на предмет наличия НДВ [Текст] = Undeclared capabilities revealing method for embedded software UEFI BIOS / К. В. Васильева, А. С. Коноплев // Проблемы информационной безопасности. Компьютерные системы. - 2018. - № 3. - С. 100-106 : схемы. - Библиогр.: с. 106 (5 назв.) . - ISSN 2071-8217

УДК

^a004.41/42

ББК 32.973
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
UEFI BIOS -- архитектура программного орбеспечения -- встроенное программное обеспечение -- динамический анализ -- информационная безопасность -- недекларированные возможности (вычислительная техника) -- программное обеспечение -- статический анализ
Аннотация: Рассмотрена проблема автоматизированного анализа встроенного программного обеспечения (ВПО) UEFI BIOS на предмет наличия недекларированных возможностей. Проанализированы особенности архитектуры ВПО UEFI BIOS, выполнен сравнительный анализ основных существующих методов статического и динамического анализа ПО без исходного кода, установлены возможности и ограничения применения рассмотренных методов в решении задачи поиска НДВ и верификации ПО. Предложен метод качественного улучшения автоматизированного анализа ВПО, базирующийся на особенностях функционирования UEFI BIOS.
The paper reviews the problem of automatic embedded software UEFI BIOS analysis for undeclared capabilities revealing. It discusses the main features of UEFI BIOS architecture, compares common methods of static and dynamic analysis for software without source code, considers their possibility and limitation of addressing the described problem. There is proposed a method for enhanced automatic revealing undeclared capabilities in embedded software.

Доп.точки доступа:
Коноплев, А. С.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

Автоматизация выявления и устранения НДВ при верификации программ [Текст] = Automating the Detection and Elimination of Undeclared Features When Verifying Programs / А. Г. Зыков, Я. С. Голованев, В. И. Поляков, Д. В. Швед // Защита информации. Инсайд. - 2020. - № 3. - С. 62-65 : ил. - Библиогр.: с. 65 (6 назв.)

УДК

^a004:002

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

Доп.точки доступа:
Зыков, Анатолий Геннадьевич (кандидат технических наук); Голованев, Яков Сергеевич; Поляков, Владимир Иванович (кандидат технических наук); Швед, Дарья Викторовна

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободных экз. нет
Издания есть только в отделениях/филиалах

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

Бабикова, Ю. А. (эксперт-эколог).
Какая правильная процедура получения СЭЗ? [Текст] / Ю. А. Бабикова // Справочник эколога. - 2022. - № 3. - С. 87-89. - Библиогр. в сносках . - ISSN 2309-6268

УДК

^a502/504

ББК 20.1
Рубрики: Экология
Загрязнение окружающей среды
Кл.слова (ненормированные):
НВОС -- НДВ -- СЭЗ -- выбросы загрязняющих веществ -- негативное воздействие на окружающую среду -- нормативы допустимых выбросов -- охрана окружающей среды -- правовое регулирование -- проектная документация -- санитарно-эпидемиологические заключения -- экологическая документация
Аннотация: Порядок выдачи санитарно-эпидемиологических заключений. Выдача санитарно-эпидемиологических заключений на основании результатов санитарно-эпидемиологических экспертиз, расследований, обследований, исследований, испытаний, токсикологических, гигиенических и иных видов оценок соблюдения санитарно-эпидемиологических и гигиенических требований.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

Мальцева, О. Н. (эксперт-эколог).
Как исключить источник загрязнения воздуха из проекта НДВ? [Текст] / О. Н. Мальцева // Справочник эколога. - 2022. - № 7. - С. 81. - Библиогр. в сносках . - ISSN 2309-6268

УДК

^a502/504

ББК 20.1
Рубрики: Экология
Загрязнение окружающей среды
Кл.слова (ненормированные):
вредные выбросы -- выбросы в атмосферный воздух -- выбросы загрязняющих веществ -- загрязняющие вещества -- инвентаризация выбросов -- инвентаризация стационарных источников -- источники выбросов -- правовое регулирование -- проекты НДВ -- проекты нормативов допустимых выбросов -- стационарные источники -- экологическая документация
Аннотация: Рассмотрен обновленный Порядок проведения инвентаризации стационарных источников и выбросов вредных (загрязняющих) веществ в атмосферный воздух, корректировки ее данных, документирования и хранения данных, полученных в результате проведения таких инвентаризации и корректировки, утвержденный приказом Минприроды России от 19. 11. 2021 № 871. Рассматриваются ключевые изменения в новом Порядке. Корректировка данных инвентаризации. Решение о проведении инвентаризации. Измерения и расчеты в рамках инвентаризации. Отчет о результатах инвентаризации. Формы документов по инвентаризации.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

Сорокин, Н. Д. (кандидат физико-математических наук; заместитель генерального директора).
Нормативы допустимых выбросов веществ I, II классов опасности [Текст] / Н. Д. Сорокин // Справочник эколога. - 2022. - № 7. - С. 82-91 : 1 табл. - Библиогр. в сносках. - Продолж. Начало №№ 3-6 . - ISSN 2309-6268

УДК

^a502/504

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

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

Буренин, Николай Сергеевич (кандидат географических наук; заслуженный эколог РФ; начальник лаборатории).
Методические вопросы инвентаризации источников выбросов [Текст] / Н. С. Буренин // Справочник эколога. - 2022. - № 8. - С. 25-33. - Библиогр. в сносках . - ISSN 2309-6268

УДК

^a502/504

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

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

Сорокин, Н. Д. (кандидат физико-математических наук; заместитель генерального директора).
Нормативы допустимых сбросов веществ I, II классов опасности [Текст] / Н. Д. Сорокин // Справочник эколога. - 2022. - № 8. - С. 73-81 : 1 табл. - Библиогр. в сносках. - Продолж. Начало №№ 3-7 . - ISSN 2309-6268

УДК

^a502/504

ББК 20.1
Рубрики: Экология
Загрязнение окружающей среды
Кл.слова (ненормированные):
ВРС -- КЭР -- НДВ -- НДС -- временно разрешенные сбросы -- комплексные экологические разрешения -- нормативные документы -- нормативы допустимых выбросов -- нормативы допустимых сбросов -- нормативы предельно допустимых сбросов -- нормативы сбросов -- правовое регулирование -- природопользование -- природопользователи
Аннотация: Продолжение цикла обсуждения актуальных вопросов расчета и согласования нормативов допустимых сбросов веществ I, II классов опасности, получения санитарно-эпидемиологического заключения на проект нормативов допустимых сбросов, а также порядок разработки временно разрешенных сбросов. Сбор исходной информации для разработки проекта НДС. Расчет НДС загрязняющих веществ в водные объекты. Оформление результатов расчета.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

Субботинская, Валерия Александровна (ведущий юрист).
К какой административной ответственности могут привлечь хозяйствующий субъект при неоснащении им источника выбросов установкой очистки газа? [Текст] / В. А. Субботинская // Справочник эколога. - 2022. - № 9. - С. 15-19. - Библиогр. в сносках . - ISSN 2309-6268

УДК

^a502/504

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

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

Романенкова, Екатерина Игоревна (руководитель).
4 ошибки в проекте НДВ [Текст] / Е. И. Романенкова, Н. С. Катышев, М. Р. Коршаков // Справочник эколога. - 2022. - № 9. - С. 21-27 : 5 рис. - Библиогр. в сносках . - ISSN 2309-6268

УДК

^a502/504

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

Доп.точки доступа:
Катышев, Никита Сергеевич (эколог-разработчик); Коршаков, Максим Русланович (эколог-разработчик)

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

10.

Арнаут, Ю. И. (ведущий инженер).
Сроки реализации каких мероприятий, включенных в ППЭЭ, продлены Постановлением № 353? [Текст] / Ю. И. Арнаут, О. И. Алыкова // Справочник эколога. - 2022. - № 9. - С. 102-103. - Библиогр. в сносках . - ISSN 2309-6268

УДК

^a502/504

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

Доп.точки доступа:
Алыкова, О. И. (младший научный сотрудник)

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

11.

Ощепкова, Ксения Юрьевна (эколог-эксперт; инженер-эколог первой категории).
Блиц по теме "Азы водопользования" [Текст] / К. Ю. Ощепкова // Справочник эколога. - 2022. - № 11. - С. 24-35. - Библиогр. в сносках . - ISSN 2309-6268

УДК

^a338:502.3

ББК 65.28
Рубрики: Экономика--Россия, 2022 г.
Экономика природных ресурсов, природопользования и охраны окружающей среды
Кл.слова (ненормированные):
НДВ -- ЦСВ -- вебинары -- водные объекты -- водопользование -- водопользователи -- договор водопользования -- ливневые сточные воды -- нормативы допустимых выбросов -- подземные водные объекты -- правовое регулирование -- сбросы сточных вод -- сточные воды -- централизованные сбросы -- централизованные системы водоотведения -- экологическая документация
Аннотация: Представлены наиболее интересные ответы К. Ю. Ощепковой на вопросы участников вебинара, проходившего в сентябре 2022 г. по теме "Азы водопользования". Водопользование — весьма запутанный аспект охраны окружающей среды, но при изучении документов и получении знаний вполне можно найти выход из сложного лабиринта нормативно правовых актов и их применения на практике.

Доп.точки доступа:
Ощепкова, К. Ю. (эколог-эксперт; инженер-эколог первой категории); "Азы водопользования", вебинар

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

12.

Фильченкова, Ольга Александровна (заместитель директора).
Как правильно оплачивать выбросы предприятию I категории? [Текст] / О. А. Фильченко // Справочник эколога. - 2022. - № 11. - С. 88-90. - Библиогр. в сносках . - ISSN 2309-6268

УДК

^a502/504

ББК 20.1
Рубрики: Экология
Загрязнение окружающей среды
Кл.слова (ненормированные):
КЭР -- НДВ -- вредные выбросы -- выбросы загрязняющих веществ -- загрязнение атмосферного воздуха -- загрязняющие вещества -- комплексные экологические разрешения -- нормативы допустимых выбросов -- охрана атмосферного воздуха -- охрана окружающей среды -- правовое регулирование -- природоохранные документы -- экологическая документация
Аннотация: Правила исчисления и взимания платы за негативное воздействие на окружающую среду (НВОС) предприятий I категории.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

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

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

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