Фундаментальная библиотека ФГБОУ ВО СПХФУ Минздрава России

Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A

Главная

ИРБИС64+

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

Описание

Базы данных

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

Вид поиска

Электронный каталог

Картотека журнальных статей

Систематический имидж-каталог

Авторефераты диссертаций

Учебники и учебно-методические пособия СПХФУ

ЭБС IPRBooks

ЭБС Консультант студента

ЭБС Юрайт

Диссертации, защищенные в СПХФУ

Журнальный фонд СПХФУ

Библиотечный фонд техникума

ВКР

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

в найденном

Найдено в других БД:

Авторефераты диссертаций (1)

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

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

Поисковый запрос: (<.>K=формализация<.>)

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

1-10 11-16

Вид документа : Однотомное издание
Шифр издания : 65
Автор(ы) : Битюцкий В. П., Битюцкая С. В.
Заглавие : Математическое обеспечение автоматизации проектирования : Учебное пособие
Выходные данные : Екатеринбург: Уральский федеральный университет, ЭБС АСВ, 2015
Колич.характеристики :72 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7996-1447-8: Б.ц.
УДК : 65
ББК : 65.050
Ключевые слова (''Своб.индексиров.''): математика--модель--проектирование--процесс--формализация--экономика
Аннотация: В пособии рассматриваются процесс проектирования и его формализация. Подробно обсуждаются математические модели, которые используются при описании как процесса проектирования, так и объектов проектирования на техническом, функционально-логическом и блочном этапах проектирования.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 90846
Автор(ы) : Воронцов Е. В.
Заглавие : Управление знаниями : Учебное пособие
Выходные данные : Минск: Вышэйшая школа, 2016
Колич.характеристики :352 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-985-06-2687-5: Б.ц.
УДК : 00
ББК : 65.29
Ключевые слова (''Своб.индексиров.''): высокоинтеллектуальный продукт--знание--интеллектуальный капитал--информация--компетентность--организация--экономика
Аннотация: Изложены основные положения дисциплины «Управление знаниями», раскрыта сущность понятий «знание» и «информация», показана их взаимосвязь и приведена классификация. Рассмотрены интеллектуальные ресурсы, модели трансформации и формализация знаний, их функции и система управления. Выделены теоретические и практические знания, а также знания предметных областей. Анализируются вопросы трансформации знаний в высокоинтеллектуальный продукт. Предназначено для студентов учреждений высшего образования по специальностям «Профессиональное обучение (экономика и управление)», «Менеджмент (по направлениям)», «Бизнес-администрирование».
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 98244
Автор(ы) : Газимов Р. Т., Усачёв М. В., Салихов К. З.
Заглавие : Теория системного анализа и принятия решений : Курс лекций
Выходные данные : Москва: Издательский Дом МИСиС, 2011
Колич.характеристики :52 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-87623-493-3: Б.ц.
УДК : 68
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): декомпозиция--компьютерный метод--оптимизация--системный анализ--численный метод--экспертный метод
Аннотация: Целью курса лекций является создание у студентов технологических специальностей целостного представления о принципах системного подхода при изучении и исследовании сложных процессов и систем. Курс лекций содержит два основных раздела. В первом разделе в доступной форме излагаются основные понятия теории системного анализа: структурный анализ и декомпозиция, формализация параметров и состояний систем, структурирование моделей системы и пространства решений, основные методы принятия решений в условиях многокритериальности. Второй раздел посвящен вопросам выработки оптимальных (по некоторому критерию) экспертных решений. В нем рассматриваются как классические постановки задачи оптимизации для линейного и нелинейного случая, объясняются понятия функции цели и ограничений и их влияние на процесс оптимизации, так и компьютерные поисковые методы. Предназначен для студентов бакалавриата по направлениям «Техносферная безопасность» и «Стандартизация и сертификация».
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 81851
Автор(ы) : Голембиовская О. М., Рытов М. Ю., Шинаков К. Е.
Заглавие : Формализация подходов к обеспечению защиты персональных данных : Монография
Выходные данные : Саратов: Ай Пи Эр Медиа, 2019
Колич.характеристики :198 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4486-0726-4: Б.ц.
УДК : 347.775
ББК : 67.401
Ключевые слова (''Своб.индексиров.''): защита данных--информационная безопасность--информационная система--персональные данные--степень защищенности
Аннотация: Рассмотрены вопросы определения уровней защищенности и рисков информационной безопасности ИСПДн. Приведены примеры средств защиты для уровней защищенности. Предложена процедура однозначного определения степени ущерба для информационных систем, не обрабатывающих сведений, составляющих государственную тайну. Монография предназначена для преподавателей, аспирантов и студентов, обучающихся по специальностям, связанным с информационной безопасностью, а также может быть полезна руководителям и сотрудникам службы безопасности и служб защиты информации при создании систем защиты персональных данных на объекте защиты.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 64094
Заглавие : Информатика : Учебное пособие для студентов первого курса очной и заочной форм обучения
Выходные данные : Тамбов: Тамбовский государственный технический университет, ЭБС АСВ, 2015
Колич.характеристики :158 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-8265-1490-0: Б.ц.
УДК : 004
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): измерение информации--информатика--информационный процесс--кодирование информации--материнская плата--формализация--хранение информации--электронная почта--язык программирования
Аннотация: Даётся представление о роли информации в развитии общества, об управлении знаниями, об основах построения компьютера, о методах и средствах моделирования, об основах построения информационных систем, об информационной безопасности. Приведена информация об аппаратной части компьютера, о компьютерных сетях, рассматриваются история и тенденции развития компьютерных систем. Подробно изложены основы теории алгоритмов и технологии программирования, приводится классификация программного обеспечения и характеристики разных классов программных продуктов. Предназначено для студентов первого курса очной и заочной форм обучения.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 62937
Заглавие : Информационные технологии в образовании : Учебное пособие
Выходные данные : Ставрополь: Северо-Кавказский федеральный университет, 2014
Колич.характеристики :102 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 004
ББК : 22.18
Ключевые слова (''Своб.индексиров.''): дистанционное обучение--информационная технология--образовательный web-ресурс--обучающая система--процесс обучения--технология образования--уровень знаний--формализация процесса
Аннотация: Пособие составлено в соответствии с требованиями ФГОС ВПО. Содержит курс лекций по дисциплине, контрольные вопросы, литературу. Дает возможность ознакомиться с основными принципами применения компьютерных технологий в процессе обучения и на практике, а также подготовиться к самостоятельной разработке электронных версий собственных курсов. Предназначено для студентов 2-го курса направления подготовки 230400.62 – Информационные системы и технологии.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 69448
Автор(ы) : Каменский М. В., Каменский М. В., Ломтева Т. Н., Кабылкина Н. С., Бутенко С. А., Триско И. Ю., Шереметова Д. А., Федина Е. Р.
Заглавие : Формализация исследовательских процедур анализа семантики языковых единиц : Коллективная монография
Выходные данные : Ставрополь: Северо-Кавказский федеральный университет, 2016
Колич.характеристики :170 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-9296-0838-4: Б.ц.
УДК : 81
ББК : 81.2
Ключевые слова (''Своб.индексиров.''): алгоритм--анализ--лингвистика--семантика--языковая единица
Аннотация: Монография посвящена изложению опыта формализации исследовательских процедур анализа семантики языковых единиц, в том числе алгоритмизации процессов идентификации и классификации лексической семантики, а также автоматизации поисково-аналитических операций с применением современных методик и технологий компьютерной обработки текстового материала. Адресована преподавателям гуманитарных университетов и институтов, аспирантам и студентам лингвистических и филологических специальностей, а также широкому кругу читателей.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 71742
Автор(ы) : Коробов В. Б., Тутыгин А. Г.
Заглавие : Классификационные методы решения эколого-экономических задач : Монография
Выходные данные : Архангельск: Поморский государственный университет имени М. В. Ломоносова, 2010
Колич.характеристики :310 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-88086-928-2: Б.ц.
УДК : 574
ББК : 20.1
Ключевые слова (''Своб.индексиров.''): классификационный метод--формализация--экология--эколого-экономическая задача--экономика
Аннотация: Рассмотрены методы решения классификационных задач в области экологии и экономики. Проанализированы различные способы формализации показателей влияющих факторов. Для экономистов, экологов, географов, специалистов в области управления.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 87442
Автор(ы) : Лисяк Н. К., Лисяк В. В.
Заглавие : Моделирование систем. Ч.1 : Учебное пособие
Выходные данные : Ростов-на-Дону, Таганрог: Издательство Южного федерального университета, 2017
Колич.характеристики :106 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-9275-2504-1 (ч.1), 978-5-9275-2503-4: Б.ц.
УДК : 004.431
ББК : 32.973
Ключевые слова (''Своб.индексиров.''): биномиальное распределение--имитационное моделирование--компьютерное моделирование--математическое моделирование--моделирование системы--распределение бернулли--распределение пуассона--статистическое моделирование--формализация модели
Аннотация: Приводятся основы теории моделирования, рассматриваются подходы к моделированию процессов и явлений, даются определения базовых понятий имитационного моделирования. Рассматривается математический аппарат формализации процессов и переход от концептуальной модели системы к формальной, приводится методология статистического моделирования систем и обсуждается интерпретация результатов моделирования исследуемой системы. Учебное пособие написано для студентов, обучающихся по программе подготовки бакалавров направления «Информационные системы и технологии».
(для доступа требуется авторизация)

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

10.

Вид документа : Однотомное издание
Шифр издания : 64100
Автор(ы) : Малыгин Е. Н., Малыгин Е. Н., Попов Н. С., Немтинов В. А., Егоров С. Я., Однолько В. Г.
Заглавие : Информационный анализ и автоматизированное проектирование станций биохимической очистки : Учебное пособие
Выходные данные : Тамбов: Тамбовский государственный технический университет, ЭБС АСВ, 2012
Колич.характеристики :121 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 54.058
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): автоматизированное проектирование--алгоритмизация--биохимическая очистка--имитационная модель--информационный анализ--станция очистки--статистическое моделирование--сточная вода--формализация
Аннотация: На примере решения задачи проектирования станций биохимической очистки сточных вод показаны подходы к автоматизации выполнения проектных работ, разработке имитационных моделей информационных процессов, математических методов моделирования информационных процессов и систем, планирования имитационных экспериментов с моделями; формализации и алгоритмизации информационных процессов, статистического моделирования на ПЭВМ, оценки точности и достоверности результатов моделирования и др. Предназначено для студентов вузов, обучающихся по специальности 151701 «Проектирование технологических машин и комплексов» и может быть использовано в качестве дополнительного материала при изучении дисциплин «Моделирование и оптимизация технологических комплексов», «Оборудование переработки промышленных отходов», «Основы системного анализа проектирования технических объектов» и др. Будет полезно студентам специальностей 240801 «Машины и аппараты химических производств» и 280202 «Инженерная защита окружающей среды» при изучении дисциплины «Промышленная экология»; студентам магистратуры по программе 220100 «Системный анализ проектно-технологических решений», 280700 «Промышленная экология и рациональное использование природных ресурсов».
(для доступа требуется авторизация)

1-10 11-16

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

Статистика обращений

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

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