Приложение
для AndroidПолное описание
| ГРНТИ | УДК | |
| 50.39.29 | 004.272.3-047.58 |
Рубрики:
Вычислительные системы параллельные -- Моделирование
Кл.слова (ненормированные): АЛГОРИТМЫ УПРАВЛЕНИЯ -- ДЕКОМПОЗИЦИЯ -- КОНЕЧНЫЕ АВТОМАТЫ -- МНОГОПОТОЧНЫЕ НЕДЕТЕРМИНИРОВАННЫЕ СИСТЕМЫ -- СИНТЕЗ ПО ТЕМПОРАЛЬНЫМ ФОРМУЛАМ
Аннотация: Книга содержит некоторые результаты научных исследований в области синтеза автоматных моделей параллельных вычислительных систем. Приводится описание основных проблемных вопросов и возможные пути их решения. Монография подготовлена на кафедре "Вычислительные машины и системы" Пензенского государственного технологического университета и предназначена для бакалавров, магистрантов и аспирантов по направлению подготовки "Информатика и вычислительная техника" и "Программная инженерия".
Доп. точки доступа:
Трокоз, Дмитрий Анатольевич
Пензенский государственный технологический университет
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д10-20/83163)
Шифр в сводном ЭК: ea5f653e342d5e5ea87d2df857f74983
Мартышкин, Алексей Иванович. Синтез автоматных моделей параллельных вычислительный систем : монография / А. И. Мартышкин, Д. А. Трокоз, 2020. - 91 с. - Текст (визуальный) : непосредственный.Трокоз, Дмитрий Анатольевич. Методы машинного обучения для динамической биометрической верификации операторов беспилотных летательных аппаратов : специальность 05.13.17 - Теоретические основы информатики (технические науки): автореферат диссертации на соискание ученой степени доктора технических наук / Трокоз Дмитрий Анатольевич, 2021. - 29 с. - Текст : непосредственный.Мартышкин, Алексей Иванович. Исследование математических моделей реконфигурируемых вычислительных систем для цифровой обработки сигналов : монография / А. И. Мартышкин, 2022. - 171 с. - Текст (визуальный) : непосредственный.Мартышкин, Алексей Иванович. Исследование вопросов защищенности информации в распределенных вычислительных системах : монография / А. И. Мартышкин, 2020. - 202 с. - Текст (визуальный) : непосредственный.Предсказание сахарного диабета с помощью нейросети / В. А. Калашников, М. В. Саватеев, А. И. Мартышкин, Д. А. Трокоз. - Текст : непосредственный // Современные технологии в науке и образовании. СТНО-2021 : IV Международный научно-технический форум : сборник трудов : [в 10 т.] / Министерство образования и науки Российской Федерации, Международная академия информатизации [и др. ; под общей редакцией О. В. Миловзорова]. - Рязань : Book Jet, 2021. - Т. 4. - с. 233-236Мартышкин, Алексей Иванович. Исследование моделей вычислительных систем с виртуализацией ресурсов для повышения уровня безопасности вычислительных систем и центров обработки данных : монография / А. И. Мартышкин, 2023. - 163 с. - Текст (визуальный) : непосредственный.Мартышкин, Алексей Иванович. Анализ современных вычислительных систем на основе технологии виртуализации ресурсов и применения моделирования при их разработке для повышения уровня безопасности вычислительных систем и центров обработки данных : монография / А. И. Мартышкин, 2022. - 123 с. - Текст (визуальный) : непосредственный.Мартышкин, Алексей Иванович. Интеллектуальное программное обеспечение для анализа профилей пользователей социальной сети "Вконтакте" : монография / А. И. Мартышкин, 2023. - 103 с. - Текст (визуальный) : непосредственный.Мартышкин, Алексей Иванович. Реконфигурируемые вычислительные системы: модели и методы аппаратной реализации : монография / А. И. Мартышкин, 2023. - 190 с. - Текст (визуальный) : непосредственный.Использование нейронных сетей для анализа ответов на проективные методики психологического тестирования на примере теста роршаха / Мартышкин Алексей Иванович, Григорьева Дарья Дмитриевна, Серов Даниил Валерьевич, Сорокин Дмитрий Сергеевич. - Текст : непосредственный // XXI век: итоги прошлого и проблемы настоящего плюс : журнал / Пензенский государственный технологический университет. - Пенза : Пензенский гос. технолог. ун-т, 2023. - Том 12 N 3.- С.42-49Зоткина, Алена Александровна. Обнаружение депрессии среди пользователей социальной сети с использованием методов машинного обучения / А. А. Зоткина, А. И. Мартышкин. - Текст : непосредственный // Вычислительные нанотехнологии : научный рецензируемый журнал. - Москва : Юр-ВАК, 2023. - Т. 10 N 4.- С.16-22Мартышкин, Алексей Иванович. Математические модели подсистемы памяти многопроцессорных систем на основе разомкнутых сетей массового обслуживания : монография / А. И. Мартышкин, 2024. - 119 с. - Текст (визуальный) : непосредственный.Мартышкин, Алексей Иванович. Цифровая вычислительная система передачи конфиденциальной информации : монография / А. И. Мартышкин, 2024. - 103 с. - Текст (визуальный) : непосредственный.Мартышкин, Алексей Иванович. Цифровой адаптер магистрального параллельного интерфейса : монография / А. И. Мартышкин, 2024. - 103 с. - Текст (визуальный) : непосредственный.Программное ядро микропроцессора RISC архитектуры на базе программируемой логической интегральной схемы / Е. А. Кольчугина, А. И. Мартышкин, Д. В. Пащенко, Д. А. Трокоз. - Текст : непосредственный // XXI век: итоги прошлого и проблемы настоящего плюс : журнал / Пензенский государственный технологический университет. - Пенза : Пензенский гос. технолог. ун-т, 2024. - Том 13 N 1. - с. 42-49Чулков Д.А. Сравнительный анализ методов распознавания поз людей по изображению / Д. А. Чулков, А. И. Мартышкин, Е. Г. Бершадская. - Текст : непосредственный // Современные информационные технологии. CIT : журнал / Минобрнауки России, Пензенский государственный технологический университет [и др.]. - Пенза : Пензенский гос. технологический ун-т, 2023. - Вып. 38. - с. 32-34Зоткина, Алена Александровна. Определение данных для обучения нейронных сетей, предназначенных для анализа отклоняющегося поведения пользователей / А. А. Зоткина, А. И. Мартышкин. - Текст : непосредственный // Современные информационные технологии. CIT : журнал / Минобрнауки России, Пензенский государственный технологический университет [и др.]. - Пенза : Пензенский гос. технологический ун-т, 2023. - Вып. 38. - с. 35-37Анализ целесообразности использования системы искусственного интеллекта в комплексе устройств "умный дом" / Г. А. Гоголев, А. И. Филиппов, А. И. Мартышкин, А. В. Кишенин. - Текст : непосредственный // Современные информационные технологии. CIT : журнал / Минобрнауки России, Пензенский государственный технологический университет [и др.]. - Пенза : Пензенский гос. технологический ун-т, 2023. - Вып. 38. - с. 5-10Исследование нейросетей Stable Diffusion, Dall-E, Midjourney и их сравнение / А. И. Филиппов, Г. А. Гоголев, А. И. Мартышкин, А. В. Кишенин. - Текст : непосредственный // Современные информационные технологии. CIT : журнал / Минобрнауки России, Пензенский государственный технологический университет [и др.]. - Пенза : Пензенский гос. технологический ун-т, 2023. - Вып. 38. - с. 11-17Возможности применения искусственного интеллекта в сфере транспортной логистики / А. В. Кишенин, А. И. Мартышкин, А. И. Филиппов, Г. А. Гоголев. - Текст : непосредственный // Современные информационные технологии. CIT : журнал / Минобрнауки России, Пензенский государственный технологический университет [и др.]. - Пенза : Пензенский гос. технологический ун-т, 2023. - Вып. 38. - с. 17-27
Показать все результатыВолков В.В. Управление непрерывными процессами в технических системах : учебное пособие / В. В. Волков, И. И. Коновалова, А. Д. Семенов, 2009. - 270 с. - Текст : непосредственный.Менеджмент и маркетинг. Основы менеджмента : учебное пособие / И. В. Марусева, И. Я. Савченко, В. В. Котов [и др.], 2007. - 335 с. - Текст : непосредственный.Люсев В.Н. Экономика и социология труда : учебное пособие / В. Н. Люсев, Д. В. Ефимова, Н. В. Осипова, 2007. - 186 с. - Текст : непосредственный.Прошин И.А. Исследование технических систем с использованием управляемых графических моделей в Mathcad / И. А. Прошин, Л. Ю. Акулова, В. Г. Акулов, 2007. - 202 с. - Текст : непосредственный.Голощапов В.М. Теоретическая механика : Учеб. пособие . Ч. 2 : Кинематика, 2004. - 160 с. ил. - Текст : непосредственный.Виктор Иванович Шестаков и открытие логического моделирования в технике / Б. В. Бирюков, И. С. Верстин, З. А. Кузичева [и др.], 2009. - 367 с. - Текст : непосредственный.Симанин Н.А. Гидравлические системы автоматического управления технологическими операциями в машиностроении / Н. А. Симанин, В. В. Голубовский, 2009. - 155 с. - Текст : непосредственный.Мартышкин А.И. ЭВМ и периферийные устройства : выставочные материалы / А. И. Мартышкин, 2016. - 148 с. - Текст : непосредственный.Волков В.В. Электробезопасность технологического оборудования : учеб. пособие. Кн. 2 / ред. И. А. Прошин, 2008. - 132 с. - Текст : непосредственный.Зубков А.Ф. Статистика / А. Ф. Зубков, В. Н. Деркаченко, 2006. - 196 с. - Текст : непосредственный.Колесникова С.В. Математические методы и модели исследования операций. Модели линейного программирования / С. В. Колесникова, В. Ф. Шишов, 2003. - 199 с. - Текст : непосредственный.Ореховский П.А. Контроллинг / П. А. Ореховский, 2003. - 143 с. - Текст : непосредственный.Волков В.В. Управление непрерывными процессами в технических системах / В. В. Волков, И. И. Коновалова, А. Д. Семенов, 2008. - 269 с. - Текст : непосредственный.Размерный анализ технологических процессов в автоматизированном производстве : учебное пособие / А. Г. Схиртладзе, В. А. Скрябин, В. Б. Моисеев [и др.], 2008. - 198 с. - Текст : непосредственный.Лагутова А.В. Сопротивление материалов. Расчетно-графические работы : Учеб. пособие. . Ч. 2, 2002. - 130 с. - Текст : непосредственный.Рыжаков В.В. Технологические процессы литья и сварки : Учеб.пособие для студентов вузов. Ч. 1 : Сварка: виды, особенности технологии и области рационального применения, 2002. - 193 с. - Текст : непосредственный.Рыжаков В.В. Надежность технических систем и ее прогнозирование : учеб. пособие. Ч. 1 : Надежность технических систем, 2001. - 93 с. - Текст : непосредственный.Валькова Т.А. Теоретическая механика. Статика / Т. А. Валькова, А. Г. Мартынов, К. А. Редкоус, 2004. - 157 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Пономарева И.К. Аудит персонала : монография / И. К. Пономарева, 2018. - 167, С. 130-231 с. - Текст : непосредственный.Мартышкин А.И. Цифровое устройство для синхронизации задач на базе программируемых логических интегральных схем : монография / А. И. Мартышкин, 2018. - 191 с. - Текст : непосредственный.Пономарева И.К. Система мотивации персонала : монография / И. К. Пономарева, 2019. - 285 с. - Текст : непосредственный.Методы анализа данных и их реализация в системах поддержки принятия решений. Аспекты инжиниринга информационно-измерительных систем : учебное пособие / М. Ю. Михеев [и др.], 2018. - 146, [1] с. - Текст : непосредственный.Чигирева И.В. Разработка программного обеспечения информационных систем для сопровождения баз данных. Microsoft Visual Studio : учебное пособие / И. В. Чигирева, Е. А. Колобова, Д. В. Строганов, 2019. - 131 с. - Текст : непосредственный.Кудашева М.С. Информатика : учебное пособие / М. С. Кудашева, 2019. - 121 с. - Текст : непосредственный.Тарасова Т.В. Экономика и организация предприятия : учебник / Т. В. Тарасова, А. А. Кудрявцев, 2019. - 271 с. - Текст : непосредственный.Мартышкин А.И. Модели и средства сбора и представления информации из открытых социальных сетей для использования в системах принятия решений : монография / А. И. Мартышкин, Д. В. Пащенко, 2019. - 195 с. - Текст : непосредственный.Интеллектуальные системы и технологии : учебное пособие / Т. В. Жашкова, М. Ю. Михеев, Э. В. Роганова [и др.], 2019. - 101 с. - Текст : непосредственный.Информационные технологии в бизнес-планировании и разработке проектов : учебное пособие / Е. А. Колобова, А. Ю. Павлов, И. В. Чигирева, А. П. Ремонтов, 2019. - 2019 с. - Текст : непосредственный.Инновации в пищевой экструзии : монография / А. А. Курочкин [и др.], 2018. - 246 с. - Текст : непосредственный.Чернецов М.В. Логистика и CALS-технологии : учебное пособие / М. В. Чернецов, А. О. Холуденева, 2017. - 110 с. - Текст : непосредственный.Пиканина Г.Т. Управление разработкой и внедрением нового продукта : учебное пособие / Г. Т. Пиканина, Е. С. Григорян, Е. А. Соколова, 2018. - 129 с. - Текст : непосредственный.Григорян Е.С. Стратегический менеджмент : учебно-методическое пособие / Е. С. Григорян, 2018. - 33 с. - Текст : непосредственный.XXI век: итоги прошлого и проблемы настоящего плюс : журнал / Пензенский государственный технологический университет. - Журнал выходит с 2011г. - Текст : непосредственный.Симанин Н.А. Измерительные преобразователи систем адаптивного управления гидравлическими приводами промышленного оборудования (расчет и проектирование) : монография / Н. А. Симанин, В. В. Голубовский, А. Н. Расстегаев, 2019. - 201 с. - Текст : непосредственный.Таранцев К.В. Процессы и аппараты для создания и разрушения эмульсий со слабопроводящей сплошной средой в электрическом поле : монография / К. В. Таранцев, 2019. - 184, [1] с. - Текст : непосредственный.Мартышкин А.И. Аппаратная реализация функций планирования и диспетчеризации задач и многопоточность как факторы, влияющие на производительность параллельной вычислительной системы : монография / А. И. Мартышкин, 2019. - 219 с. - Текст : непосредственный.Григорян Е.С. Основы бизнес-планирования : учебное пособие / Е. С. Григорян, 2019. - 84 с. - Текст : непосредственный.Григорян Е.С. Управление социально-трудовыми отношениями : монография / Е. С. Григорян, 2019. - 103 с. - Текст : непосредственный.
Показать все результатыВасильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный.Коваленко В.Н. Комплексное программное обеспечение грида вычислительного типа / В. Н. Коваленко, 2007. - 39 с. - Текст : непосредственный.Морозов И. А. Математическое и программное обеспечение диспетчеризации беспроводных распределенных компьютерных систем / И. А. Морозов, 2007. - 20 с. - Текст : непосредственный.Lecture notes in electrical engineering. Vol. 34 : Designing reliable and efficient networks on chips / S. Murali, 2009. - X, 198 p. - Текст : непосредственный.Поленов М.Ю. Разработка инструментальных средств проектирования, исследования и оптимизации проблемно-ориентированных вычислительных систем : специальность 05.13.13 "", 05.13.16 "" : автореферат диссертации на соискание ученой степени канд.техн.наук / М. Ю. Поленов, 1995. - 16 с. - Текст : непосредственный.Труды Института системного анализа Российской академии наук. Т. 14 : Проблемы вычислений в распределенной среде. Модели обработки и представления данных. Динамические системы : сб. статей / Под ед. С.В. Емельянова, А.П. Афанасьева, 2005. - 222 с. - Текст : непосредственный.Поляков А.Ю. Разработка и исследование средств отказоустойчивости распределенных вычислительных систем / А. Ю. Поляков, 2010. - 19 с. - Текст : непосредственный.Захаров В.Н. Программные методы и средства обеспечения отказоустойчивости в распределенных системах : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени д-ра техн. наук / В. Н. Захаров, 2011. - 41 с. - Текст : непосредственный.Чернова Т.А. Научные основы информационного обеспечения сложных объектов при оптимизации режимов их функционирования в распределенной вычислительной среде : специальность 05.13.18 "Математическое моделирование,численные методы и комплексы программ" : диссертация на соискание ученой степени д-ра техн. наук / Т. А. Чернова, 2011. - 26 с. - Текст : непосредственный.Черемисинов Д.И. Формальные методы описания поведения распределенных систем / Д. И. Черемисинов, 1991. - 44 с. - Текст : непосредственный.Арестова О.Н. Специфика психологических методов в условиях использования компьютера / О. Н. Арестова, Л. Н. Бабанин, А. Е. Войскунский, 1995. - 109 c. - Текст : непосредственный.Фролов А.В. Локальные сети персональных компьютеров / А. В. Фролов, Г. В. Фролов, 1995. - 169 c. - Текст : непосредственный.Фролов А.В. Локальные сети персональных компьютеров / А. В. Фролов, Г. В. Фролов, 1995. - 160 c. - Текст : непосредственный.Фролов А.В. Локальные сети персональных компьютеров : методический материал / А. В. Фролов, Г. В. Фролов, 1995. - 168 c. - Текст : непосредственный.Погребной В.К. Автоматизированное проектирование распределенных систем реального времени : выставочные материалы / В. К. Погребной, 2011. - 311 с. - Текст : непосредственный.Fifth generation computer systems:Success or failure? : материалы временных коллективов / Ed. R. P. Van de Riet, 1993. - 79-162 p. p. - Текст : непосредственный.Крюков Ю.А. Разработка проблемно-ориентированной многоцелевой сети распределенных вычислений масштаба малого города : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / Ю. А. Крюков, 2004. - 22 с. - Текст : непосредственный.Designing embedded processors / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный.Локальные сети и микропроцессорные системы / А. К. Баумс, У. Я. Грунде, П. А. Тисс, 1991. - 246 с. - Текст : непосредственный.Пархоменко С.С. Нейросетевое моделирование и эволюционное планирование процессов в сетях добровольных вычислений / С. С. Пархоменко, 2015. - 20 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽