Русак, С. Н. Моделирование систем управления [Электронный ресурс] : учебное пособие / Русак С. Н. - Ставрополь : Северо-Кавказский федеральный университет, 2015. - 136 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): автоматическое управление -- верификация модели -- дифференциальное уравнение -- математическая модель -- метод моделирования -- моделирование системы -- система регулирования -- система управления Аннотация: Пособие предназначено для изучения курса «Моделирование систем управления» бакалавров, обучающихся по направлению подготовки 220400.62 - Управление в технических системах. Доп.точки доступа: Криштал, В. А. Свободных экз. нет |
Тарутин, И. Г. Радиационная защита в лучевой терапии [Электронный ресурс] / Тарутин И. Г. - Минск : Белорусская наука, 2015. - 213 с. - ISBN 978-985-08-1914-7 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): лучевая терапия -- пациент -- персонал -- радиационная защита Аннотация: В книге рассматриваются вопросы радиационной защиты персонала и пациентов при проведении лучевой терапии в онкологических учреждениях. Появление в радиологических клиниках новых высокотехнологичных линейных ускорителей электронов поставило новые задачи перед радиационной защитой пациентов и персонала. В настоящее время существенно усложнилась предлучевая подготовка пациентов, направленная на выбор условий облучения опухолей с уменьшенными поглощенными дозами в окружающих их нормальных тканях и критических органах. Потребовались высокая точность подведения дозы к опухолевым очагам, верификация дозовых распределений. Усложнились процедуры контроля качества ускорителей, применяемых для облучения пациентов. Соответственно усложнились процедуры радиационного контроля облучения пациентов. В монографии приводятся разделы, посвященные методам оценки доз, получаемых пациентами при дистанционном и контактном облучении, хранению и использованию дозиметрической информации, относящейся к характеристикам аппаратов. Обращено внимание на гарантию и аудит качества лучевой терапии. Рассмотрены вопросы организации и кадрового обеспечения работы физико-технического персонала в отделениях лучевой терапии. Оценена роль медицинских физиков в работе отделений. Уделено внимание аварийному облучению. Впервые рассмотрены юридические проблемы лучевой терапии. Монография предназначена для медицинских физиков и инженеров отделений лучевой терапии, служб радиационной безопасности клиник, а также для радиационных онкологов, преподавателей, занимающихся подготовкой кадров для медицинской радиологии и радиационной безопасности, студентов высших технических и медицинских учебных заведений. Доп.точки доступа: Титович, Е. В.; Гацкевич, Г. В. Свободных экз. нет |
Гатина, Л. И. Социальное прогнозирование и проектирование в экономике [Электронный ресурс] : учебно-методическое пособие / Гатина Л. И. - Казань : Казанский национальный исследовательский технологический университет, 2015. - 84 с. - ISBN 978-5-7882-1749-9 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): верификация прогноза -- глобалистика -- инструментарий прогнозирования -- прогностическое исследование -- социальное прогнозирование -- социальное проектирование -- экономика Аннотация: Содержит тематику лекций, планы семинарских занятий с указанием рекомендуемой литературы и вопросами для самоконтроля, задания и задачи для самостоятельной работы, примеры итогового теста. Предназначено для бакалавров направления 39.03.01 «Социология», изучающих дисциплину «Социальное прогнозирование и проектирование в экономике» (заочная форма обучения). Подготовлено на кафедре государственного, муниципального управления и социологии. Доп.точки доступа: Алексеев, С. А. Свободных экз. нет |
Хащенко, В. А. Психология экономического благополучия [Электронный ресурс] / Хащенко В. А. - Москва : Институт психологии РАН, 2012. - 426 с. - ISBN 978-5-9270-0236-8 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): концепция благополучия -- монография -- психология -- система понятий -- экономическое благополучие Аннотация: В монографии представлен теоретический анализ субъективного экономического благополучия как центральной проблемы нового научного направления – психологии экономического благополучия. Систематизация и обобщение результатов исследований позволили рассмотреть место и роль субъективного экономического благополучия в системе понятий, его основные признаки и функции. Описана разработанная автором концепция субъективного экономического благополучия личности как многомерного, полифеноменологического образования. Приводятся результаты проведенной при помощи эмпирических данных и психометрических процедур проверки теоретической экономико-психологической модели субъективного экономического благополучия. Выделены уровни субъективного экономического благополучия и составляющие его компоненты, проанализированы закономерности его структурно-уровневой организации. Подробно рассмотрены вопросы операционализации и измерения субъективного экономического благополучия, представлен авторский опросник и результаты его психометрической проверки. Дается типология субъективного экономического благополучия и ее эмпирическая верификация. Книга рекомендуется специалистам в области психологии, социологии и экономики. Свободных экз. нет |
Вельдер, С. Э. Верификация автоматных программ [Электронный ресурс] : учебное пособие / Вельдер С. Э. - Санкт-Петербург : Университет ИТМО, 2011. - 245 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): автоматная программа -- валидация -- верификатор -- верификация -- по -- темпоральная логика Аннотация: В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным методом. Математический аппарат и прикладные инструменты данной области позволяют создавать качественное программное обеспечение для ответственных систем и получать надежные подтверждения их правильности. Учебное пособие посвящено концепциям, алгоритмам и инструментам для проверки моделей программ. В нем излагаются теоретические вопросы проверки моделей, вводятся различные спецификационные формализмы и описываются алгоритмы проверки моделей для спецификаций, выраженных в этих формализмах. Алгоритмы проверки моделей демонстрируются на примерах конкретных инструментальных средств. Материал учебного пособия предназначен для специалистов в области программирования, информатики, вычислительной техники и систем управления, а также студентов и аспирантов, обучающихся по специальностям «Прикладная математика и информатика», «Управление и информатика в технических системах» и «Вычислительные машины, системы, комплексы и сети». Предполагается знакомство читателя с основными понятиями математической логики, дискретной математики, теории графов и теории алгоритмов. Доп.точки доступа: Лукин, М. А.; Шалыто, А. А.; Яминов, Б. Р. Свободных экз. нет |
Черемисинов, Д. И. Проектирование и анализ параллелизма в процессах и программах [Электронный ресурс] : монография / Черемисинов Д. И. - Минск : Белорусская наука, 2011. - 300 с. - ISBN 978-985-08-1285-8 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): верификация -- дискретное устройство -- микроэлектронное устройство -- язык пралу Аннотация: В монографии обсуждается широкий круг вопросов, связанных с проектированием микроэлектронных устройств с программным управлением. Рассматриваются задачи и методы разработки программ и аппаратуры с использованием языка ПРАЛУ, область применения которого расширена задачами верификации. Описывается разработка программы для кластерного компьютера, решающей комбинаторно-сложные задачи. Книга адресована специалистам в области проектирования дискретных устройств и может быть полезна для студентов и аспирантов, специализирующихся в данном направлении. Свободных экз. нет |
Волкова, Е. В. Психология специальных способностей. Дифференционно-интеграционный подход [Электронный ресурс] / Волкова Е. В. - Москва : Институт психологии РАН, 2011. - 320 с. - ISBN 978-5-9270-0210-8 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): дифференционно-интеграционный подход -- ментальная структура -- монография -- психология -- специальная способность Аннотация: Монография посвящена разработке методологии дифференционно-интеграционного подхода к исследованию природы специальных способностей. Психическим носителем общих и специальных способностей являются ментальные структуры, закономерности организации и формирования которых подчиняются дифференционно-интеграционному принципу развития. Теоретико-экспериментальная верификация данного подхода реализуется на примере многоуровневого обоснования (макро-, мезо- и микрогенез) онтологического статуса специальных химических способностей. Закономерности организации и формирования специальных химических способностей рассматриваются с позиций теории, эксперимента и практики. В работе представлен оригинальный инструментарий для выявления и исследования специальных способностей и диагностики показателей зрелости ментальных структур, лежащих в их основе. Свободных экз. нет |
Селиверстова, О. Н. Труды по семантике [Электронный ресурс] / Селиверстова О. Н. - Москва : Языки славянских культур, 2004. - 960 с. - ISBN 5-9551-0020-2 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): верификация -- компонентный анализ -- лингвистика -- семантика -- семантическая гипотеза -- семантическая теория Аннотация: В книге представлены наиболее значительные монографические работы О.Н. Селиверстовой, вышедшие в свет с 1975 по 1998 годы. Они посвящены фундаментальным общетеоретическим и методологическим проблемам семантики: значению, верификации семантических гипотез, компонентному анализу. Наряду с этим они включают комплексное описание различных микросистем языка: местоимений, глаголов мышления и восприятия, бытийных и посессивных моделей, предлогов, а также углубленный анализ коммуникативной структуры высказывания. В семантических исследованиях широко используется разработанная и обоснованная автором экспериментальная методика. В совокупности работы представляют современную семантическую теорию, построенную на основании анализа обширного языкового материала. Разнообразие научной проблематики, глубина и оригинальность подхода автора делают книгу неоценимой для лингвистов самых разных направлений. Свободных экз. нет |
Маглинец, Ю. А. Анализ требований к автоматизированным информационным системам [Электронный ресурс] : учебное пособие / Маглинец Ю. А. - Москва, Саратов : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 191 с. - ISBN 978-5-4497-0301-9 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): автоматизация предприятия -- автоматизированная система -- анализ требования -- высокоуровневое требование -- документирование требования -- информационная система -- специфицирование требования -- управление проектом -- управление требованиями Аннотация: Учебное пособие содержит сведения об анализе требований как об инженерной дисциплине. Подробно описаны составляющие анализа требований — выявление, специфицирование и документирование, верификация. Приводятся классификации требований, анализируются свойства требований, рассматривается методологии, стандарты, нотации, артефакты работы с требованиями. Рассматривается роль прототипов, моделей, инструментальных средств, процесс управления требованиями, процесс совершенствования работы с требованиями. Свободных экз. нет |
Синицын, С. В. Верификация программного обеспечения [Электронный ресурс] : учебное пособие / Синицын С. В. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 367 с. - ISBN 978-5-4497-0653-9 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): верификация по -- конфигурационное управление -- модульное тестирование -- программное обеспечение -- программный код -- разработка по -- системное тестирование -- тестовое окружение -- управление качеством -- экстремальное программирование Аннотация: Учебное пособие знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Издание рассчитано на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения. Доп.точки доступа: Налютин, Н. Ю. Свободных экз. нет |
Синицын, С. В. Верификация программного обеспечения [Электронный ресурс] : учебное пособие для СПО / Синицын С. В. - Саратов : Профобразование, 2019. - 368 с. - ISBN 978-5-4488-0357-4 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): верификация по -- интеграционное тестирование -- конфигурационное управление -- менеджмент качества -- модульное тестирование -- пользовательский интерфейс -- программное обеспечение -- системное тестирование -- устойчивый код -- формальная инспекция Аннотация: В учебном пособии представлены современные технологии верификации программного обеспечения, применяемые при промышленной разработке сложных и отказоустойчивых программных систем. Материал издания рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения. Учебное пособие предназначено для изучения дисциплины «Программное обеспечение компьютерных сетей» по специальности среднего профессионального образования 09.02.01 «Компьютерные системы и комплексы» и др. Доп.точки доступа: Налютин, Н. Ю. Свободных экз. нет |
Рунова, Л. П. Методы бизнес-прогнозирования [Электронный ресурс] : учебное пособие / Рунова Л. П. - Ростов-на-Дону, Таганрог : Издательство Южного федерального университета, 2018. - 109 с. - ISBN 978-5-9275-2553-9 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): бизнес-менеджмент -- верификация прогноза -- матричный метод -- метод бизнес-прогнозирования -- метод дельфи -- нейронная сеть -- прогнозная интерполяция -- регрессионная модель -- экономическая модель -- экспертный метод Аннотация: Учебное пособие содержит основы теории и практики бизнес-прогнозирования. При этом делается упор на возможность применения математических методов и моделей для решения задач прогнозирования бизнес-процессов. Пособие разработано на основе нормативных документов Министерства образования и науки Российской Федерации, теории образовательной квалиметрии и современных технологий дидактического обеспечения учебного процесса. Адресовано студентам, магистрантам, аспирантам, работникам высшей школы, специализирующимся в области бизнес-информатики, экономики и менеджмента. Свободных экз. нет |
Верещага, А. Н. Моделирование распространения ядерного оружия и возможности его глубокого сокращения на основе метода нечеткой логики [Электронный ресурс] / Верещага А. Н. - Саров : Российский федеральный ядерный центр – ВНИИЭФ, 2016. - 256 с. - ISBN 978-5-9515-0331-2 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): вооружение -- распространение -- сокращение -- ядерное оружие Аннотация: В книге описаны нечетко-логические математические модели процессов распространения и возможности сокращения ядерного оружия. Приводится историческая информация о формировании современного подхода к анализу процесса распространения, создании государством ядерного оружия вследствие его научно-технических возможностей, внутри- и внешнеполитических обстоятельств, характеристикой которых являются индексы, используемые в моделях. Верификация моделей показала достаточную адекватность получаемых результатов. Проанализировано влияние различных факторов на процессы распространения и сокращения ядерного оружия. Книга может быть полезной для специалистов по контролю над вооружением, аспирантов и студентов, специализирующихся по тематике о нераспространении ядерного оружия. Доп.точки доступа: Чернышев, А. К. Свободных экз. нет |
Бланк, Стив Стартап: Настольная книга основателя [Электронный ресурс] / Бланк Стив. - Москва : Альпина Паблишер, 2019. - 623 с. - ISBN 978-5-9614-1983-2 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): бизнес-модель -- веб-стартап -- верификация потребителя -- выявление потребителя -- настольная книга -- основатель бизнеса -- позиционирование продукта -- стартап -- управление стартапом Аннотация: Вы держите в руках самый фундаментальный курс про управление стартапом, который только существует в мире. Революционная методика развития потребителей (customer development), созданная авторами, уже помогла тысячам предпринимателей создать новые бизнесы во многих странах мира, включая Россию. Идея метода заключается в том, чтобы как можно раньше выйти из офиса и проверить свою бизнес-модель на реальных потребителях, внося в первоначальную идею изменения, иногда весьма значительные. Книга Стива Бланка и Боба Дорфа не только описывает самый передовой опыт создания стартапов, но и дает четкую методику того, как создаются новые бизнесы, шаг за шагом. Мы дополнили оригинальный текст авторов кейсом из российской практики, чтобы показать, как методика развития потребителей работает в нашей стране. Книга обязательна к прочтению каждым, кто думает открыть свое дело или уже начал новый бизнес. Доп.точки доступа: Дорф, Боб; Гутман, Т. \пер.\; Окунькова, И. \пер.\ Свободных экз. нет |
Аверина, Т. А. Верификация численных методов решения систем со случайной структурой [Электронный ресурс] : учебное пособие / Аверина Т. А. - Новосибирск : Новосибирский государственный университет, 2015. - 178 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): алгоритм -- верификация -- задача -- математика -- случайная структура -- численный метод Аннотация: Данное учебное пособие является продолжением учебного пособия «Построение алгоритмов статистического моделирования систем со случайной структурой» Т. А. Авериной, в котором построены численные методы решения систем со случайной структурой. В данном учебном пособии проводится верификация построенных методов и сравнение их с известными алгоритмами на решении прикладных и тестовых задач. Предназначено для специалистов по вычислительной и прикладной математике, преподавателей, аспирантов и магистрантов вузов физико-математического профиля. Свободных экз. нет |
Долозов, Н. Л. Программные средства защиты информации [Электронный ресурс] : конспект лекций / Долозов Н. Л. - Новосибирск : Новосибирский государственный технический университет, 2015. - 63 с. - ISBN 978-5-7782-2753-8 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): аутентификация личности -- биометрическая верификация -- защита информации -- защита сети -- криптографическая хэш-функция -- криптография -- криптология -- программное средство -- симметричное шифрование -- электронная подпись Аннотация: Конспект лекций посвящен рассмотрению вопросов, связанных с основами программных средств защиты информации, и охватывает широкий круг вопросов, позволяющих получить студентам базовые знания по курсу. Он также может быть полезен для студентов и сотрудников, осваивающих программные средства защиты информации и знакомящихся с основными методами и средствами защиты информации. Доп.точки доступа: Гультяева, Т. А. Свободных экз. нет |
Макаров, А. В. Common Intermediate Language и системное программирование в Microsoft.NET [Электронный ресурс] : учебное пособие / Макаров А. В. - Москва, Саратов : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 397 с. - ISBN 978-5-4497-0293-7 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): microsoft.net -- автоматическое управление -- анализ кода -- верификация cil-кода -- генерация кода -- динамическая генерация -- разработка приложения -- системное программирование -- управление памятью -- язык cil Аннотация: Учебное пособие посвящено системному программированию в .NET. В нем описана архитектура платформы .NET и промежуточный язык этой платформы — Common Intermediate Language (сокращенно CIL). Подробно рассмотрен прием программирования, называемый динамической генерацией кода. Дано введение в многозадачность и описаны подходы к разработке параллельных приложений на базе платформы .NET. Учебное пособие предназначено для студентов и преподавателей университетов, а также для специалистов, повышающих свою квалификацию. Может быть полезно всем, кто изучает вопросы создания метаинструментария и разработки компиляторов для различных операционных систем. Доп.точки доступа: Скоробогатов, С. Ю.; Чеповский, А. М. Свободных экз. нет |