База данных: Каталог ЭБС IPR SMART
Страница 1, Результатов: 13
Отмеченные записи: 0
1.
Подробнее
Очерки по истории и философии науки. Ч. 3 : учебное пособие. - [Б. м.] : Новосибирский государственный университет экономики и управления «НИНХ», 2020 - .Очерки по истории и философии науки. Ч. 3 / Донских О. А. - 2020. - 182 с. - ISBN 978-5-7014-0963-5 (ч. 3), 978-5-7014-0910-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 87.3
Кл.слова (ненормированные):
история -- философия -- наука
Аннотация: В третьей части «Очерков» представлены проблемы, которые обсуждает философия науки: осознание науки как особого вида интеллектуальной деятельности, которое восходит к Аристотелю и позже разрабатывается учеными схоластами и философами Нового времени; изучение науки в рамках позитивизма (специального направления в философии, ориентированного на рефлексию над научной деятельностью); вопрос о соотношении естественных и гуманитарных наук; проблема демаркации научных и ненаучных знаний; критерии научности (верификация и фальсификация); проблема существования науки в социуме. На материале нескольких знаменитых работ представлено описание уровней научного исследования и ключевых методов научного анализа. Книга предназначена для аспирантов, а также всех, кто интересуется историей науки.
Очерки по истории и философии науки. Ч. 3 : учебное пособие. - [Б. м.] : Новосибирский государственный университет экономики и управления «НИНХ», 2020 - .Очерки по истории и философии науки. Ч. 3 / Донских О. А. - 2020. - 182 с. - ISBN 978-5-7014-0963-5 (ч. 3), 978-5-7014-0910-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
история -- философия -- наука
Аннотация: В третьей части «Очерков» представлены проблемы, которые обсуждает философия науки: осознание науки как особого вида интеллектуальной деятельности, которое восходит к Аристотелю и позже разрабатывается учеными схоластами и философами Нового времени; изучение науки в рамках позитивизма (специального направления в философии, ориентированного на рефлексию над научной деятельностью); вопрос о соотношении естественных и гуманитарных наук; проблема демаркации научных и ненаучных знаний; критерии научности (верификация и фальсификация); проблема существования науки в социуме. На материале нескольких знаменитых работ представлено описание уровней научного исследования и ключевых методов научного анализа. Книга предназначена для аспирантов, а также всех, кто интересуется историей науки.
2.
Подробнее
Солодовникова, Н. Г.
Эмотивная лингвоэкология современных и древних текстов : коллективная монография / Солодовникова Н. Г. - Волгоград : Волгоградский государственный социально-педагогический университет, «Перемена», 2021. - 270 с. - ISBN 978-5-9935-0436-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 81.006
Кл.слова (ненормированные):
верификация -- древность -- лингвоэкология -- монография -- наукоёмкость
Аннотация: Монография посвящена проблеме экологичности эмотивности коммуникации и текста. Верификации подвергается наукоёмкость метода эмотивного анализа применительно не только к текстам современности, но и древности. Монография адресована научным работникам в области эмотивной лингвистики и лингвоэкологиии, а также всем, кого интересуют проблемы современных и древних текстов. Также может быть использована как пособие для магистрантов и аспирантов при подготовке научных работ по соответствующим дисциплинам.
Доп.точки доступа:
Сорокина, Е. А.
Солодовниковой, Н. Г. \ред.\
Солодовникова, Н. Г.
Эмотивная лингвоэкология современных и древних текстов : коллективная монография / Солодовникова Н. Г. - Волгоград : Волгоградский государственный социально-педагогический университет, «Перемена», 2021. - 270 с. - ISBN 978-5-9935-0436-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
верификация -- древность -- лингвоэкология -- монография -- наукоёмкость
Аннотация: Монография посвящена проблеме экологичности эмотивности коммуникации и текста. Верификации подвергается наукоёмкость метода эмотивного анализа применительно не только к текстам современности, но и древности. Монография адресована научным работникам в области эмотивной лингвистики и лингвоэкологиии, а также всем, кого интересуют проблемы современных и древних текстов. Также может быть использована как пособие для магистрантов и аспирантов при подготовке научных работ по соответствующим дисциплинам.
Доп.точки доступа:
Сорокина, Е. А.
Солодовниковой, Н. Г. \ред.\
3.
Подробнее
Маглинец, Ю. А.
Анализ требований к автоматизированным информационным системам : учебное пособие / Маглинец Ю. А. - Москва, Саратов : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 191 с. - ISBN 978-5-4497-0301-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.97
Кл.слова (ненормированные):
автоматизация предприятия -- автоматизированная система -- анализ требования -- высокоуровневое требование -- документирование требования -- информационная система -- специфицирование требования -- управление проектом -- управление требованиями
Аннотация: Учебное пособие содержит сведения об анализе требований как об инженерной дисциплине. Подробно описаны составляющие анализа требований — выявление, специфицирование и документирование, верификация. Приводятся классификации требований, анализируются свойства требований, рассматривается методологии, стандарты, нотации, артефакты работы с требованиями. Рассматривается роль прототипов, моделей, инструментальных средств, процесс управления требованиями, процесс совершенствования работы с требованиями.
Маглинец, Ю. А.
Анализ требований к автоматизированным информационным системам : учебное пособие / Маглинец Ю. А. - Москва, Саратов : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 191 с. - ISBN 978-5-4497-0301-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
автоматизация предприятия -- автоматизированная система -- анализ требования -- высокоуровневое требование -- документирование требования -- информационная система -- специфицирование требования -- управление проектом -- управление требованиями
Аннотация: Учебное пособие содержит сведения об анализе требований как об инженерной дисциплине. Подробно описаны составляющие анализа требований — выявление, специфицирование и документирование, верификация. Приводятся классификации требований, анализируются свойства требований, рассматривается методологии, стандарты, нотации, артефакты работы с требованиями. Рассматривается роль прототипов, моделей, инструментальных средств, процесс управления требованиями, процесс совершенствования работы с требованиями.
4.
Подробнее
Синицын, С. В.
Верификация программного обеспечения : учебное пособие / Синицын С. В. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 367 с. - ISBN 978-5-4497-0653-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.97
Кл.слова (ненормированные):
верификация по -- конфигурационное управление -- модульное тестирование -- программное обеспечение -- программный код -- разработка по -- системное тестирование -- тестовое окружение -- управление качеством -- экстремальное программирование
Аннотация: Учебное пособие знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Издание рассчитано на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения.
Доп.точки доступа:
Налютин, Н. Ю.
Синицын, С. В.
Верификация программного обеспечения : учебное пособие / Синицын С. В. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 367 с. - ISBN 978-5-4497-0653-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
верификация по -- конфигурационное управление -- модульное тестирование -- программное обеспечение -- программный код -- разработка по -- системное тестирование -- тестовое окружение -- управление качеством -- экстремальное программирование
Аннотация: Учебное пособие знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Издание рассчитано на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения.
Доп.точки доступа:
Налютин, Н. Ю.
5.
Подробнее
Скитев, А. А.
Верификация цифровых устройств : курс лекций. Учебное пособие / Скитев А. А. - Москва : Национальный исследовательский ядерный университет «МИФИ», 2020. - 92 с. - ISBN 978-5-7262-2696-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.973
Кл.слова (ненормированные):
верификация -- проектирование -- цифровая схемотехника -- цифровое устройство
Аннотация: Настоящий курс лекций предназначен для обучающихся, изучающих верификацию как один из этапов проектирования цифровых устройств. Для успешного освоения материала обучающиеся должны знать основы цифровой схемотехники, иметь навыки разработки цифровых устройств с использованием языка Verilog (предпочтительно) или VHDL и иметь опыт работы с языком С++. Лекции состоят из двух глобальных разделов. В первой части курса обучающимся предлагается освоить общие понятия верификации, современные подходы к построению верификационного окружения и его основные компоненты и задачи. В качестве языка для разработки используется язык SystemVerilog, являющийся наиболее современным средством для проектирования верификационных окружений. Вторая часть курса посвящена изучению универсальной методологии верификации UVM и одноименной библиотеки классов. Последовательно рассматривается маршрут проектирования верификационного окружения в соответствии с данной методологией. Изучается назначение и структура базовых компонентов – драйвера, монитора, агента, окружения. Рассматриваются вопросы генерации тестовых воздействий с помощью последовательностей и генераторов. Затрагиваются вопросы сбора тестового покрытия для оценки эффективности разработанных тестов. В лекциях приводится достаточное количество примеров, в том числе рассмотрены нестандартные случаи. Подготовлено в рамках Проекта по созданию и развитию Международного научно-методического центра НИЯУ МИФИ.
Скитев, А. А.
Верификация цифровых устройств : курс лекций. Учебное пособие / Скитев А. А. - Москва : Национальный исследовательский ядерный университет «МИФИ», 2020. - 92 с. - ISBN 978-5-7262-2696-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
верификация -- проектирование -- цифровая схемотехника -- цифровое устройство
Аннотация: Настоящий курс лекций предназначен для обучающихся, изучающих верификацию как один из этапов проектирования цифровых устройств. Для успешного освоения материала обучающиеся должны знать основы цифровой схемотехники, иметь навыки разработки цифровых устройств с использованием языка Verilog (предпочтительно) или VHDL и иметь опыт работы с языком С++. Лекции состоят из двух глобальных разделов. В первой части курса обучающимся предлагается освоить общие понятия верификации, современные подходы к построению верификационного окружения и его основные компоненты и задачи. В качестве языка для разработки используется язык SystemVerilog, являющийся наиболее современным средством для проектирования верификационных окружений. Вторая часть курса посвящена изучению универсальной методологии верификации UVM и одноименной библиотеки классов. Последовательно рассматривается маршрут проектирования верификационного окружения в соответствии с данной методологией. Изучается назначение и структура базовых компонентов – драйвера, монитора, агента, окружения. Рассматриваются вопросы генерации тестовых воздействий с помощью последовательностей и генераторов. Затрагиваются вопросы сбора тестового покрытия для оценки эффективности разработанных тестов. В лекциях приводится достаточное количество примеров, в том числе рассмотрены нестандартные случаи. Подготовлено в рамках Проекта по созданию и развитию Международного научно-методического центра НИЯУ МИФИ.
6.
Подробнее
Богульская, Н. А.
Модели безопасности компьютерных систем : учебное пособие / Богульская Н. А. - Красноярск : Сибирский федеральный университет, 2019. - 206 с. - ISBN 978-5-7638-4008-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.97
Кл.слова (ненормированные):
верификация -- информационная безопасность -- компьютерная система -- криптография -- сертификация -- стандарт -- электронная подпись
Аннотация: Изложены основные понятия, стандарты и критерии информационной безопасности. Описаны классические модели безопасности компьютерных систем. Предназначено для студентов, обучающихся по специальности 10.05.01 «Компьютерная безопасность».
Доп.точки доступа:
Кучеров, М. М.
Богульская, Н. А.
Модели безопасности компьютерных систем : учебное пособие / Богульская Н. А. - Красноярск : Сибирский федеральный университет, 2019. - 206 с. - ISBN 978-5-7638-4008-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
верификация -- информационная безопасность -- компьютерная система -- криптография -- сертификация -- стандарт -- электронная подпись
Аннотация: Изложены основные понятия, стандарты и критерии информационной безопасности. Описаны классические модели безопасности компьютерных систем. Предназначено для студентов, обучающихся по специальности 10.05.01 «Компьютерная безопасность».
Доп.точки доступа:
Кучеров, М. М.
7.
Подробнее
Комплексная оценка устойчивости развития социо-эколого-экономических систем регионов Сибири : монография / Сырцова Е. А. - Красноярск : Сибирский федеральный университет, 2018. - 160 с. - ISBN 978-5-7638-3958-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 65.050
Кл.слова (ненормированные):
истинные сбережения -- комплексная оценка -- природные ресурсы -- сибирь -- экономика
Аннотация: Посвящена оценке устойчивости развития регионов Сибири. Исследован зарубежный и отечественный опыт оценки устойчивости развития территориальных социо-эколого-экономических систем. Предложена и апробирована модификация методики расчета двух индикаторов устойчивости: истинных сбережений и истинного показателя прогресса. Впервые проведена верификация полученных оценок истинных сбережений с использованием эконометрического моделирования. Предложена методика расчета истинных сбережений как показателя системы статистического учета России, и показано, как истинные сбережения могут быть включены в систему управления территориальными социо-эколого-экономическими системами. Предназначена ученым, аспирантам экономических и управленческих направлений, представителям органов власти, а также всем интересующимся актуальными проблемами экономики природопользования.
Доп.точки доступа:
Сырцова, Е. А.
Пыжев, А. И.
Зандер, Е. В.
Пыжева, Ю. И.
Комплексная оценка устойчивости развития социо-эколого-экономических систем регионов Сибири : монография / Сырцова Е. А. - Красноярск : Сибирский федеральный университет, 2018. - 160 с. - ISBN 978-5-7638-3958-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
истинные сбережения -- комплексная оценка -- природные ресурсы -- сибирь -- экономика
Аннотация: Посвящена оценке устойчивости развития регионов Сибири. Исследован зарубежный и отечественный опыт оценки устойчивости развития территориальных социо-эколого-экономических систем. Предложена и апробирована модификация методики расчета двух индикаторов устойчивости: истинных сбережений и истинного показателя прогресса. Впервые проведена верификация полученных оценок истинных сбережений с использованием эконометрического моделирования. Предложена методика расчета истинных сбережений как показателя системы статистического учета России, и показано, как истинные сбережения могут быть включены в систему управления территориальными социо-эколого-экономическими системами. Предназначена ученым, аспирантам экономических и управленческих направлений, представителям органов власти, а также всем интересующимся актуальными проблемами экономики природопользования.
Доп.точки доступа:
Сырцова, Е. А.
Пыжев, А. И.
Зандер, Е. В.
Пыжева, Ю. И.
8.
Подробнее
Рунова, Л. П.
Методы бизнес-прогнозирования : учебное пособие / Рунова Л. П. - Ростов-на-Дону, Таганрог : Издательство Южного федерального университета, 2018. - 109 с. - ISBN 978-5-9275-2553-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 65.23
Кл.слова (ненормированные):
бизнес-менеджмент -- верификация прогноза -- матричный метод -- метод бизнес-прогнозирования -- метод дельфи -- нейронная сеть -- прогнозная интерполяция -- регрессионная модель -- экономическая модель -- экспертный метод
Аннотация: Учебное пособие содержит основы теории и практики бизнес-прогнозирования. При этом делается упор на возможность применения математических методов и моделей для решения задач прогнозирования бизнес-процессов. Пособие разработано на основе нормативных документов Министерства образования и науки Российской Федерации, теории образовательной квалиметрии и современных технологий дидактического обеспечения учебного процесса. Адресовано студентам, магистрантам, аспирантам, работникам высшей школы, специализирующимся в области бизнес-информатики, экономики и менеджмента.
Рунова, Л. П.
Методы бизнес-прогнозирования : учебное пособие / Рунова Л. П. - Ростов-на-Дону, Таганрог : Издательство Южного федерального университета, 2018. - 109 с. - ISBN 978-5-9275-2553-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
бизнес-менеджмент -- верификация прогноза -- матричный метод -- метод бизнес-прогнозирования -- метод дельфи -- нейронная сеть -- прогнозная интерполяция -- регрессионная модель -- экономическая модель -- экспертный метод
Аннотация: Учебное пособие содержит основы теории и практики бизнес-прогнозирования. При этом делается упор на возможность применения математических методов и моделей для решения задач прогнозирования бизнес-процессов. Пособие разработано на основе нормативных документов Министерства образования и науки Российской Федерации, теории образовательной квалиметрии и современных технологий дидактического обеспечения учебного процесса. Адресовано студентам, магистрантам, аспирантам, работникам высшей школы, специализирующимся в области бизнес-информатики, экономики и менеджмента.
9.
Подробнее
Верещага, А. Н.
Моделирование распространения ядерного оружия и возможности его глубокого сокращения на основе метода нечеткой логики / Верещага А. Н. - Саров : Российский федеральный ядерный центр – ВНИИЭФ, 2016. - 256 с. - ISBN 978-5-9515-0331-2 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.9
Кл.слова (ненормированные):
вооружение -- распространение -- сокращение -- ядерное оружие
Аннотация: В книге описаны нечетко-логические математические модели процессов распространения и возможности сокращения ядерного оружия. Приводится историческая информация о формировании современного подхода к анализу процесса распространения, создании государством ядерного оружия вследствие его научно-технических возможностей, внутри- и внешнеполитических обстоятельств, характеристикой которых являются индексы, используемые в моделях. Верификация моделей показала достаточную адекватность получаемых результатов. Проанализировано влияние различных факторов на процессы распространения и сокращения ядерного оружия. Книга может быть полезной для специалистов по контролю над вооружением, аспирантов и студентов, специализирующихся по тематике о нераспространении ядерного оружия.
Доп.точки доступа:
Чернышев, А. К.
Верещага, А. Н.
Моделирование распространения ядерного оружия и возможности его глубокого сокращения на основе метода нечеткой логики / Верещага А. Н. - Саров : Российский федеральный ядерный центр – ВНИИЭФ, 2016. - 256 с. - ISBN 978-5-9515-0331-2 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
вооружение -- распространение -- сокращение -- ядерное оружие
Аннотация: В книге описаны нечетко-логические математические модели процессов распространения и возможности сокращения ядерного оружия. Приводится историческая информация о формировании современного подхода к анализу процесса распространения, создании государством ядерного оружия вследствие его научно-технических возможностей, внутри- и внешнеполитических обстоятельств, характеристикой которых являются индексы, используемые в моделях. Верификация моделей показала достаточную адекватность получаемых результатов. Проанализировано влияние различных факторов на процессы распространения и сокращения ядерного оружия. Книга может быть полезной для специалистов по контролю над вооружением, аспирантов и студентов, специализирующихся по тематике о нераспространении ядерного оружия.
Доп.точки доступа:
Чернышев, А. К.
10.
Подробнее
Русак, С. Н.
Моделирование систем управления : учебное пособие / Русак С. Н. - Ставрополь : Северо-Кавказский федеральный университет, 2015. - 136 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.965я73
Кл.слова (ненормированные):
автоматическое управление -- верификация модели -- дифференциальное уравнение -- математическая модель -- метод моделирования -- моделирование системы -- система регулирования -- система управления
Аннотация: Пособие предназначено для изучения курса «Моделирование систем управления» бакалавров, обучающихся по направлению подготовки 220400.62 - Управление в технических системах.
Доп.точки доступа:
Криштал, В. А.
Русак, С. Н.
Моделирование систем управления : учебное пособие / Русак С. Н. - Ставрополь : Северо-Кавказский федеральный университет, 2015. - 136 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
автоматическое управление -- верификация модели -- дифференциальное уравнение -- математическая модель -- метод моделирования -- моделирование системы -- система регулирования -- система управления
Аннотация: Пособие предназначено для изучения курса «Моделирование систем управления» бакалавров, обучающихся по направлению подготовки 220400.62 - Управление в технических системах.
Доп.точки доступа:
Криштал, В. А.
Страница 1, Результатов: 13