Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A
Главная ИРБИС64+ Упрощенный режим Описание
Авторизация
Логин
Пароль
 

Базы данных


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

Вид поиска
Электронный каталог
Картотека журнальных статей
Систематический имидж-каталог
Авторефераты диссертаций
Учебники и учебно-методические пособия СПХФУ
ЭБС IPRBooks
ЭБС Консультант студента
ЭБС Юрайт
Диссертации, защищенные в СПХФУ
Журнальный фонд СПХФУ
Библиотечный фонд техникума
ВКР
Область поиска
в найденном
 Найдено в других БД:ВКР (2)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=верификация<.>)
Общее количество найденных документов : 17
Показаны документы с 1 по 10
 1-10    11-17 
1.

Вид документа : Однотомное издание
Шифр издания : 63216
Автор(ы) : Русак С. Н., Криштал В. А.
Заглавие : Моделирование систем управления : Учебное пособие
Выходные данные : Ставрополь: Северо-Кавказский федеральный университет, 2015
Колич.характеристики :136 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 621.431
ББК : 32.965я73
Ключевые слова (''Своб.индексиров.''): автоматическое управление--верификация модели--дифференциальное уравнение--математическая модель--метод моделирования--моделирование системы--система регулирования--система управления
Аннотация: Пособие предназначено для изучения курса «Моделирование систем управления» бакалавров, обучающихся по направлению подготовки 220400.62 - Управление в технических системах.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 51826
Автор(ы) : Тарутин И. Г., Титович Е. В., Гацкевич Г. В.
Заглавие : Радиационная защита в лучевой терапии
Выходные данные : Минск: Белорусская наука, 2015
Колич.характеристики :213 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-985-08-1914-7: Б.ц.
УДК : 61
ББК : 53.6
Ключевые слова (''Своб.индексиров.''): лучевая терапия--пациент--персонал--радиационная защита
Аннотация: В книге рассматриваются вопросы радиационной защиты персонала и пациентов при проведении лучевой терапии в онкологических учреждениях. Появление в радиологических клиниках новых высокотехнологичных линейных ускорителей электронов поставило новые задачи перед радиационной защитой пациентов и персонала. В настоящее время существенно усложнилась предлучевая подготовка пациентов, направленная на выбор условий облучения опухолей с уменьшенными поглощенными дозами в окружающих их нормальных тканях и критических органах. Потребовались высокая точность подведения дозы к опухолевым очагам, верификация дозовых распределений. Усложнились процедуры контроля качества ускорителей, применяемых для облучения пациентов. Соответственно усложнились процедуры радиационного контроля облучения пациентов. В монографии приводятся разделы, посвященные методам оценки доз, получаемых пациентами при дистанционном и контактном облучении, хранению и использованию дозиметрической информации, относящейся к характеристикам аппаратов. Обращено внимание на гарантию и аудит качества лучевой терапии. Рассмотрены вопросы организации и кадрового обеспечения работы физико-технического персонала в отделениях лучевой терапии. Оценена роль медицинских физиков в работе отделений. Уделено внимание аварийному облучению. Впервые рассмотрены юридические проблемы лучевой терапии. Монография предназначена для медицинских физиков и инженеров отделений лучевой терапии, служб радиационной безопасности клиник, а также для радиационных онкологов, преподавателей, занимающихся подготовкой кадров для медицинской радиологии и радиационной безопасности, студентов высших технических и медицинских учебных заведений.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 62285
Автор(ы) : Гатина Л. И., Алексеев С. А.
Заглавие : Социальное прогнозирование и проектирование в экономике : Учебно-методическое пособие
Выходные данные : Казань: Казанский национальный исследовательский технологический университет, 2015
Колич.характеристики :84 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7882-1749-9: Б.ц.
УДК : 332
ББК : 65.23
Ключевые слова (''Своб.индексиров.''): верификация прогноза--глобалистика--инструментарий прогнозирования--прогностическое исследование--социальное прогнозирование--социальное проектирование--экономика
Аннотация: Содержит тематику лекций, планы семинарских занятий с указанием рекомендуемой литературы и вопросами для самоконтроля, задания и задачи для самостоятельной работы, примеры итогового теста. Предназначено для бакалавров направления 39.03.01 «Социология», изучающих дисциплину «Социальное прогнозирование и проектирование в экономике» (заочная форма обучения). Подготовлено на кафедре государственного, муниципального управления и социологии.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 15612
Автор(ы) : Хащенко В. А.
Заглавие : Психология экономического благополучия
Выходные данные : Москва: Институт психологии РАН, 2012
Колич.характеристики :426 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-9270-0236-8: Б.ц.
УДК : 159.9
ББК : 88.4
Ключевые слова (''Своб.индексиров.''): концепция благополучия--монография--психология--система понятий--экономическое благополучие
Аннотация: В монографии представлен теоретический анализ субъективного экономического благополучия как центральной проблемы нового научного направления – психологии экономического благополучия. Систематизация и обобщение результатов исследований позволили рассмотреть место и роль субъективного экономического благополучия в системе понятий, его основные признаки и функции. Описана разработанная автором концепция субъективного экономического благополучия личности как многомерного, полифеноменологического образования. Приводятся результаты проведенной при помощи эмпирических данных и психометрических процедур проверки теоретической экономико-психологической модели субъективного экономического благополучия. Выделены уровни субъективного экономического благополучия и составляющие его компоненты, проанализированы закономерности его структурно-уровневой организации. Подробно рассмотрены вопросы операционализации и измерения субъективного экономического благополучия, представлен авторский опросник и результаты его психометрической проверки. Дается типология субъективного экономического благополучия и ее эмпирическая верификация. Книга рекомендуется специалистам в области психологии, социологии и экономики.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 65818
Автор(ы) : Вельдер С. Э., Вельдер С. Э., Лукин М. А., Шалыто А. А., Яминов Б. Р.
Заглавие : Верификация автоматных программ
Выходные данные : Санкт-Петербург: Университет ИТМО, 2011
Колич.характеристики :245 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 00
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): автоматная программа--валидация--верификатор--верификация--по--темпоральная логика
Аннотация: В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным методом. Математический аппарат и прикладные инструменты данной области позволяют создавать качественное программное обеспечение для ответственных систем и получать надежные подтверждения их правильности. Учебное пособие посвящено концепциям, алгоритмам и инструментам для проверки моделей программ. В нем излагаются теоретические вопросы проверки моделей, вводятся различные спецификационные формализмы и описываются алгоритмы проверки моделей для спецификаций, выраженных в этих формализмах. Алгоритмы проверки моделей демонстрируются на примерах конкретных инструментальных средств. Материал учебного пособия предназначен для специалистов в области программирования, информатики, вычислительной техники и систем управления, а также студентов и аспирантов, обучающихся по специальностям «Прикладная математика и информатика», «Управление и информатика в технических системах» и «Вычислительные машины, системы, комплексы и сети». Предполагается знакомство читателя с основными понятиями математической логики, дискретной математики, теории графов и теории алгоритмов.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 10116
Автор(ы) : Черемисинов Д. И.
Заглавие : Проектирование и анализ параллелизма в процессах и программах : Монография
Выходные данные : Минск: Белорусская наука, 2011
Колич.характеристики :300 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-985-08-1285-8: Б.ц.
УДК : 621.382
ББК : 30
Ключевые слова (''Своб.индексиров.''): верификация--дискретное устройство--микроэлектронное устройство--язык пралу
Аннотация: В монографии обсуждается широкий круг вопросов, связанных с проектированием микроэлектронных устройств с программным управлением. Рассматриваются задачи и методы разработки программ и аппаратуры с использованием языка ПРАЛУ, область применения которого расширена задачами верификации. Описывается разработка программы для кластерного компьютера, решающей комбинаторно-сложные задачи. Книга адресована специалистам в области проектирования дискретных устройств и может быть полезна для студентов и аспирантов, специализирующихся в данном направлении.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 15608
Автор(ы) : Волкова Е. В.
Заглавие : Психология специальных способностей. Дифференционно-интеграционный подход
Выходные данные : Москва: Институт психологии РАН, 2011
Колич.характеристики :320 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-9270-0210-8: Б.ц.
УДК : 159.9
ББК : 88.4
Ключевые слова (''Своб.индексиров.''): дифференционно-интеграционный подход--ментальная структура--монография--психология--специальная способность
Аннотация: Монография посвящена разработке методологии дифференционно-интеграционного подхода к исследованию природы специальных способностей. Психическим носителем общих и специальных способностей являются ментальные структуры, закономерности организации и формирования которых подчиняются дифференционно-интеграционному принципу развития. Теоретико-экспериментальная верификация данного подхода реализуется на примере многоуровневого обоснования (макро-, мезо- и микрогенез) онтологического статуса специальных химических способностей. Закономерности организации и формирования специальных химических способностей рассматриваются с позиций теории, эксперимента и практики. В работе представлен оригинальный инструментарий для выявления и исследования специальных способностей и диагностики показателей зрелости ментальных структур, лежащих в их основе.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 15022
Автор(ы) : Селиверстова О. Н.
Заглавие : Труды по семантике
Выходные данные : Москва: Языки славянских культур, 2004
Колич.характеристики :960 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 5-9551-0020-2: Б.ц.
УДК : 81
ББК : 81.03
Ключевые слова (''Своб.индексиров.''): верификация--компонентный анализ--лингвистика--семантика--семантическая гипотеза--семантическая теория
Аннотация: В книге представлены наиболее значительные монографические работы О.Н. Селиверстовой, вышедшие в свет с 1975 по 1998 годы. Они посвящены фундаментальным общетеоретическим и методологическим проблемам семантики: значению, верификации семантических гипотез, компонентному анализу. Наряду с этим они включают комплексное описание различных микросистем языка: местоимений, глаголов мышления и восприятия, бытийных и посессивных моделей, предлогов, а также углубленный анализ коммуникативной структуры высказывания. В семантических исследованиях широко используется разработанная и обоснованная автором экспериментальная методика. В совокупности работы представляют современную семантическую теорию, построенную на основании анализа обширного языкового материала. Разнообразие научной проблематики, глубина и оригинальность подхода автора делают книгу неоценимой для лингвистов самых разных направлений.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 89417
Автор(ы) : Маглинец Ю. А.
Заглавие : Анализ требований к автоматизированным информационным системам : Учебное пособие
Выходные данные : Москва, Саратов: Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020
Колич.характеристики :191 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4497-0301-9: Б.ц.
УДК : 004.41
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): автоматизация предприятия--автоматизированная система--анализ требования--высокоуровневое требование--документирование требования--информационная система--специфицирование требования--управление проектом--управление требованиями
Аннотация: Учебное пособие содержит сведения об анализе требований как об инженерной дисциплине. Подробно описаны составляющие анализа требований — выявление, специфицирование и документирование, верификация. Приводятся классификации требований, анализируются свойства требований, рассматривается методологии, стандарты, нотации, артефакты работы с требованиями. Рассматривается роль прототипов, моделей, инструментальных средств, процесс управления требованиями, процесс совершенствования работы с требованиями.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 97540
Автор(ы) : Синицын С. В., Налютин Н. Ю.
Заглавие : Верификация программного обеспечения : Учебное пособие
Выходные данные : Москва: Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020
Колич.характеристики :367 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4497-0653-9: Б.ц.
УДК : 004
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): верификация по--конфигурационное управление--модульное тестирование--программное обеспечение--программный код--разработка по--системное тестирование--тестовое окружение--управление качеством--экстремальное программирование
Аннотация: Учебное пособие знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Издание рассчитано на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения.
(для доступа требуется авторизация)

Найти похожие
 1-10    11-17 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 04.07.2024
Число запросов 0
Число посетителей 0
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)