Приложение
для AndroidПолное описание
004.7/И 200
Иванов, Анатолий Николаевич. Надёжность вычислительных систем : учебное пособие для курсантов 4-го курса, обучающихся по направлению 01.03.04 "Прикладная математика" / А. Н. Иванов, Е. М. Богданова ; МЧС России, Санкт-Петербургский университет Государственной противопожарной службы . - Санкт-Петербург : Санкт-Петербургский ун-т ГПС МЧС России, 2019. - 115 с. : ил. - Библиогр.: с. 106 (7 назв.). - 300 экз. - ISBN 978-5-907386-25-9 : 200 р. - Текст (визуальный) : непосредственный.
| ГРНТИ | УДК | |
| 50.39 | 004.7.052 |
Рубрики:
Вычислительные системы -- Надежность
Кл.слова (ненормированные): теория надежности -- нерезервированные системы -- диагностирование -- контроль -- системы с резервированием -- программное обеспечение
Аннотация: Развитие вычислительных систем породило множество задач, связанных с надежностью их функционирования. Сложность их решения заключается в том, что необходимо в совокупности рассматривать три направления: надежность аппаратной части, надежность программного обеспечения, надежность блока "человек-машина". Учебное пособие разработано в соответствии с рабочей программой учебной дисциплины "Надежность вычислительных систем" и предназначено для курсантов 4-го курса, обучающихся по направлению 01.03.04 "Прикладная математика".
Доп. точки доступа:
Богданова, Екатерина Михайловна
Санкт-Петербургский университет Государственной противопожарной службы
Имеются экземпляры в отделах: всего 2 : ХРЦ (2)
Свободны: ХРЦ (2)
Барышников, Сергей Олегович. Основы расчета и конструирования деталей машин крановых устройств : учебное пособие / С. О. Барышников, А. Н. Иванов, 2020. - 273, [2] с. - Текст (визуальный) : непосредственный.Иванов, Анатолий Николаевич. Надёжность вычислительных систем : учебное пособие для курсантов 4-го курса, обучающихся по направлению 01.03.04 "Прикладная математика" / А. Н. Иванов, Е. М. Богданова, 2019. - 115 с. - Текст (визуальный) : непосредственный.Методы и технологии обнаружения пожаров в зданиях и сооружениях : монография / А. Н. Иванов, В. В. Кутузов, Г. Л. Шидловский, Ф. А. Дали ; [под общей редакцией Б. В. Гавкалюка], 2020. - 167 с. - Текст (визуальный) : непосредственный.Автоматические установки газового пожаротушения : учебник / В. В. Кутузов, А. Н. Иванов, Г. Л. Шидловский [и др.], 2021. - 139 с. - Текст (визуальный) : непосредственный.Системы оповещения и управления эвакуацией людей при пожаре : учебник / С. Н. Терехин, В. В. Кутузов, А. Н. Иванов [и др.], 2021. - 183 с. - Текст (визуальный) : непосредственный.Методы и технологии обнаружения пожаров в зданиях и сооружениях : учебное пособие / С. Н. Терехин, Г. Л. Шидловский, А. Н. Иванов [и др.], 2021. - 159 с. - Текст (визуальный) : непосредственный.Автоматические установки порошкового пожаротушения : учебное пособие / А. Н. Иванов, Д. П. Кеда, В. В. Кутузов [и др.], 2021. - 127 с. - Текст (визуальный) : непосредственный.Производственная автоматика для предупреждения пожаров и взрывов : учебное пособие / А. Н. Иванов, Д. П. Кеда, В. В. Кутузов [и др.], 2022. - 143 с. - Текст (визуальный) : непосредственный.Барышников, Сергей Олегович. Крановые и судовые редукторы и зубчатые передачи : учебное пособие / С. О. Барышников, А. Н. Иванов, 2023. - 342, [1] с. - Текст (визуальный) : непосредственный.Шидловский, Григорий Леонидович. Производственная и пожарная автоматика : учебник / Г. Л. Шидловский, А. Н. Иванов, К. С. Талировский, 2023. - 291 с. - Текст (визуальный) : непосредственный.Экспертиза систем пожарной сигнализации : учебное пособие / С. Ю. Богуцкий, А. И. Бондар, Б. В. Гавкалюк [и др.], 2023. - 231 с. - Текст (визуальный) : непосредственный.
Проблемы управления рисками в техносфере : научно-аналитический журнал / Санкт-Петербургский университет Государственной противопожарной службы МЧС России. - Журнал выходит с 2007г. - Текст : непосредственный.ГИМС МЧС России: технические вопросы обеспечения безопасности и охраны жизни людей на водных объектах : монография / М. Д. Маслаков [и др.], 2017. - 177 с. - Текст : непосредственный.Теплофизические закономерности развития пожарной опасности на промышленных предприятиях и нефтегазовых объектах : монография / Д. Ю. Минкин [и др.] ; под общ. ред. Д. Е. Минкина, 2018. - 463 с. - Текст : непосредственный.Каменецкая, Н. В. Вычислительная математика : учебное пособие. Ч. 1 : Вычислительные методы, 2018. - 115 с. - Текст : непосредственный.Каменецкая, Н. В. Вычислительная математика : учебное пособие. Ч. 2 : Вычислительные методы, 2018. - 111 с. - Текст : непосредственный.Манёров Р.В. Математические методы в психологии. Психологическое измерение. Правила применения методов описательной статистики, критериев различий и коэффициентов корреляции : учебное пособие / Р. В. Манёров, 2018. - 78 с. - Текст : непосредственный.Судебная нормативная пожарно-техническая экспертиза пожаров объектов хранения нефтепродуктов : монография / Н. В. Петрова [и др.], 2018. - 453 с. - Текст : непосредственный.Салманов А.Б. Методики обеспечения безопасности хозяйствующих субъектов в условиях нестабильной среды : учебное пособие / А. Б. Салманов, А. А. Салманов, В. А. Фарбер, 2018. - 151 с. - Текст : непосредственный.Система управления спасательными формированиями при угрозе возникновения чрезвычайных ситуаций гидрологического характера : монография / А. В. Калач [и др.], 2018. - 162 с. - Текст : непосредственный.Таранцев А.А. Термины и определения в пожарной охране и строительстве : справочное пособие / А. А. Таранцев, 2019. - 48 с. - Текст : непосредственный.Оценка стоимости имущественного комплекса предприятия : учебное пособие / Бабушкин М. Ю., Бардулин Е. Н., Буга А. В. [и др.] ; [под общей редакцией Чижикова Э. Н.], 2019. - 227 с. - Текст : непосредственный.Пелех М.Т. Актуальные вопросы пожарной безопасности технологических процессов и производств : учебное пособие / М. Т. Пелех, М. А. Симонова, 2019. - 351 с. - Текст : непосредственный.Трофимец Е.Н. Математическое и программное обеспечение информационных систем поддержки принятия решений : монография / Е. Н. Трофимец, 2019. - 174 с. - Текст : непосредственный.Смирнова И.В. Экономическая безопасность в управлении государственным имуществом : монография / И. В. Смирнова, 2020. - 149 с. - Текст : непосредственный.Смирнова, И. В. Экономическая безопасность : учебное пособие : специальность 38.05.01 ЭБ : специализация "Экономико-правовое обеспечение экономической безопасности". Ч. 1, 2020. - 176 с. - Текст : непосредственный.Пожаротушение : учебное пособие / А. А. Бондарь, Д. В. Косенко, В. В. Клюй, А. П. Решетов ; [под общей редакцией Чижикова Э. Н.] ; Министерство Российской Федерации по делам гражданской обороны, чрезвычайным ситуациям и ликвидации последствий стихийных бедствий, Санкт-Петербургский университет Государственной противопожарной службы МЧС России. Ч. 1, 2019. - 167 с. - Текст : непосредственный.Пожаротушение : учебное пособие / А. А. Бондарь, Д. В. Косенко, В. В. Клюй, А. П. Решетов ; [под общей редакцией Чижикова Э. Н.] ; Министерство Российской Федерации по делам гражданской обороны, чрезвычайным ситуациям и ликвидации последствий стихийных бедствий, Санкт-Петербургский университет Государственной противопожарной службы МЧС России. Ч. 2, 2019. - 215 с. - Текст : непосредственный.Термический анализ при исследовании объектов судебной пожарно-технической экспертизы : учебное пособие / Принцева М. Ю., Чешко И. Д., Бельшина Ю. Н. [и др. ; под редакцией Чижикова Э. Н.], 2019. - 103 с. - Текст (визуальный) : непосредственный.Молекулярная и атомная спектроскопия при исследовании объектов судебной пожарно-технической экспертизы : учебное пособие / М. Ю. Принцева, Е. Д. Андреева, И. Д. Чешко [и др. ; под редакцией Чижикова Э. Н.], 2019. - 159 с. - Текст (визуальный) : непосредственный.Кузьмин, Анатолий Алексеевич. Тепловой режим пожара : учебное пособие / А. А. Кузьмин, Д. А. Минкин, Н. Н. Романов, 2019. - 135 с. - Текст (визуальный) : непосредственный.
Показать все результатыИнтерфейсная плата Ethernet : Руководство пользователя / ВЦП. - 15 с. - Текст : непосредственный.Вычислительные сети в советском научном сообществе.3.3 / ВЦП. - 41 c. - Текст : непосредственный.Тоом А.И. Психологическая комфортность диалога между человеком и компьютером : Автореферат диссертации на соискание ученой степени канд.психолог.наук / А. И. Тоом, 1991. - 18 с. - Текст : непосредственный.Бойчев Ч.Ч. Разработка методов и средств проектирования распределенных вычислительных систем с использованием экспертных систем и аналитических моделей :На примере АСУТП ГЭС : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13;05.14.02 / Ч. Ч. Бойчев, 1991. - 19 с. - Текст : непосредственный.Попов В.Б. Метод анализа и проектирования диалоговых систем на базе конструктивных функциональных моделей : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / В. Б. Попов, 1991. - 19 с. - Текст : непосредственный.Барсук В.И. Диалоговая система экстремального математического моделирования многосвязных процессов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / В. И. Барсук, 1990. - 15 с. - Текст : непосредственный.Карим Х.М. Механизмы повышения отказоустойчивости кольцевых сетей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Х. М. Карим, 1991. - 16 с. - Текст : непосредственный.Юдовина Е.Ф. Лингвистическое моделирование процесса общения конечного пользователя с реляционными базами данных и его программная реализация : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / Е. Ф. Юдовина, 1991. - 24 с. - Текст : непосредственный.Салкиндер Ю.Б. Инструментальная система для интерактивного конструирования сценариев диалога с пользователем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Ю. Б. Салкиндер, 1991. - 17 с. - Текст : непосредственный.Кучеров В.П. Разработка неоднородной вычислительной сети и оценка функционирования ее компонентов : Автореферат диссертации на соискание ученой степени канд.техн.наук в форме науч.доклада / В. П. Кучеров, 1991. - 19 с. - Текст : непосредственный.Сабельникова С.В. Исследование и разработка транспортных протоколов с прямой коррекцией ошибок в вычислительных сетях : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / С. В. Сабельникова, 1991. - 18 с. - Текст : непосредственный.Смирнов А.Н. Исследование и разработка средств сетевых взаимодействий абонентов в локальных управляющих сетях : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. Н. Смирнов, 1991. - 18 с. - Текст : непосредственный.Реутов В.В. Синтез и исследование структур проблемно-ориентированных вычислительных систем методом геометрического моделирования : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / В. В. Реутов, 1991. - 16 с. - Текст : непосредственный.Драч Н.Д. Аналитико-имитационное моделирование транспортной сети коммутации пакетов : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Н. Д. Драч, 1991. - 17 с. - Текст : непосредственный.Лищитович Н.К. Методы конструирования и контроля информационных зависимостей в диалоговых системах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Н. К. Лищитович, 1991. - 16 с. - Текст : непосредственный.Кондрашев А.В. Исследование и реализация универсальной диалоговой вычислительной системы : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. В. Кондрашев, 1991. - 21 с. - Текст : непосредственный.Бобошко А.Ю. Средства проектирования диалоговых систем с большим объемом счетных работ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Ю. Бобошко, 1991. - 16 с. - Текст : непосредственный.Дмитриев Я.В. Разработка и анализ имитационной системы с экспертной оболочкой для задач моделирования вычислительных сетей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Я. В. Дмитриев, 1992. - 20 с. - Текст : непосредственный.Гагин А.А. Теоретические основы автоматизированного анализа и оптимизации распределенных информационно-вычислительных сетей с учетом надежности и живучести : Автореферат диссертации на соискание ученой степени:05.13.06,05.13.13 / А. А. Гагин, 1991. - 35 с. - Текст : непосредственный.Хамицкий В.А. Исследование и разработка многофункциональных агрегатов для построения испытательных и моделирующих устройств : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / В. А. Хамицкий, 1992. - 19 с. - Текст : непосредственный.
Показать все результатыЛаходынова Н.В. Анализ и разработка методов обеспечения отказоустойчивости однородных вычислительных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Н. В. Лаходынова, 1991. - 18 с. - Текст : непосредственный.Микони С.В. Методы и алгоритмы автоматизированного диагностирования вычислительных систем : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.14,05.13.16 / С. В. Микони, 1991. - 38 с. - Текст : непосредственный.Повякало А.А. Математическое моделирование соотношений между отказоустойчивостью, безотказностью и безопасностью вычислительного комплекса : Автореферат диссертации на соискание ученой степени канд. техн.наук:05.13.16 / А. А. Повякало, 1994. - 20 с. - Текст : непосредственный.Александрович А.Е. Разработка методов и средств обеспечения и анализа надежности отказоустойчивых вычислительных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / А. Е. Александрович, 1995. - 18 с. - Текст : непосредственный.Шабалин А.Н. Математические методы и информационные технологии для исследования динамики встроенной надежности вычислительных систем : Автореферат диссертации на соискание ученой степени д-ра техн. наук:05.13.16 / А. Н. Шабалин, 1996. - 34 с. - Текст : непосредственный.Вагих Мухсин Ахмед.Метод и средства автоматизации имитационного моделирования для оценки надежностных характеристик сетей ЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Вагих Мухсин Ахмед, 1996. - 19 с. - Текст : непосредственный.Демуськов А.Б. Организация мониторинга параметров вычислительного процесса в комплексах и сетях ЭВМ при натурных и имитационных экспериментах : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.13 / А. Б. Демуськов, 1999. - 20 с. - Текст : непосредственный.Яценко Д.Ю. Методы анализа функциональных и эксплуатационных характеристик однородных отказоустойчивых вычислительных систем : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.13 / Д. Ю. Яценко, 1999. - 19 с. - Текст : непосредственный.Абу Знейт Рушди Салим Х.Алгоритмические методы обеспечения отказоустойчивости вычислительных систем : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.01 / Абу Знейт Рушди Салим Х, 2000. - 17 с. - Текст : непосредственный.Кривулец В.Г. Эффективно вычислимые оценки надежности монотонных систем : Автореферат диссертации на соискание ученой степени канд. техн. наук :05.13.13 / В. Г. Кривулец, 2002. - 24 с. - Текст : непосредственный.Ширяева Т.А. О некоторых верхних вероятностных оценках в теории надежности вычислительных систем : автореф. дис. .. канд. физ.-мат. наук : 05.13.17 / Т. А. Ширяева, 2002. - 15 с. - Текст : непосредственный.Родионова О.К. Исследование и разработка методов анализа и синтеза оптимально-связных информационных сетей : автореф. дис. .. канд. техн. наук : 05.13.18 / О. К. Родионова, 2003. - 15 с. - Текст : непосредственный.Dependable computing for critical applications 2 : 2nd intern.working conf.on dependable computing for critical applications,held in Tucson(Az) on Febr.18-20,1991 / Ed.: J. F. Meyer, R. D. Schlichting, 1992. - XIII,437 p. p. - Текст : непосредственный.Шишкин В.Г. Надежность вычислительных систем : Текст лекции / В.Г.Шишкин, 1992. - 30 с. - Текст : непосредственный.Schollenberger W. Uberwachung von Rechnernetzen mit verteilten Messsystemen : Diss. / W.Schollenberger, 1996. - 154 S. . - Текст : непосредственный.Fault-tolerant computing systems : Tests, diagnosis, fault treatment: 5th intern. GI/ITG/GMA conf. Nurnberg, Sept. 25-27,1991 / сост.hrsg. M. Dal Cin, сост.hrsg. W. Hohl, 1991. - XII,424 p. p. - Текст : непосредственный.Formal methods for trustworthy computer systems(FM 89) : Rep.from FM 89A workshop on the assessment of formal methods for trustworthy computer systems, July 23-27, 1989, Halifax / сост.ed. D. Craigen, 1990. - VI,248 p. p. - Текст : непосредственный.Dependability of critical computer systems : Guidelines prooduced by the European workshop on industrial computer systems techn.comm. / EWICS TC7;Ed.:F.J.Redmill. 2, 1989. - XV, 286 p. 286 p. - Текст : непосредственный.Dependability of critical computer systems : Guidelines prooduced by the European workshop on industrial computer systems techn.comm. / EWICS TC7;Ed.:F.J.Redmill. 3 : Tchniques directory, 1990. - XIII,249 p. p. - Текст : непосредственный.Расулова С.С. Методы оценки надежности и обеспечения отказоустойчивости вычислительных систем / С.С.Расулова, 1991. - 35 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽