Электронная библиотека. Список ресурсов (стр.1697)

Название:ФОРМАЛИЗАЦИЯ АЛГОРИТМА РАБОТЫ ОЧЕРЕДЕЙ С ИСПОЛЬЗОВАНИЕМ ТЕОРИИ АВТОМАТОВ НА ПРИМЕРЕ ЗАДАЧИ «СПЯЩИЙ ПАРИКМАХЕР».
Автор ПГУ:Трокоз Дмитрий Анатольевич  
Тематика:физико-математические науки
Вид ресурса:электронное немультимедийное издание
Тип ресурса:Статья
Дата издания:2021
Дата загрузки:07.04.2021
Название:Формализация базовых преобразований моделей эволюционных вычислений
Автор ПГУ:Макарычев Петр Петрович  
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:Статья
Целевое назначение:Научное
Целевая аудитория:Исследователь
Дата издания:2023
Дата загрузки:14.11.2023
Издательство:Известия высших учебных заведений. Поволжский регион. Технические науки
Название:ФОРМАЛИЗАЦИЯ МОДЕЛИ ЭНТРОПИЙНОГО АНАЛИЗА ПЕРЕДАЧИ СИМВОЛОВ И ЗНАКОВ В СЕТЕВЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМАХ.
Автор ПГУ:Юрков Николай Кондратьевич  
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:Статья
Целевое назначение:Научное
Целевая аудитория:Преподаватель
Дата издания:2020
Дата загрузки:29.10.2020
Издательство:ПГУ
Название:ФОРМАЛИЗАЦИЯ ПЕРЕДАЧИ ДАННЫХ В РАСПРЕДЕЛЕННЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМАХ РЕАЛЬНОГО ВРЕМЕНИ
Автор ПГУ:Акифьев Илья Владимирович  Никишин Кирилл Игоревич  
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:Статья
Целевое назначение:Научное
Целевая аудитория:Исследователь
Дата издания:2026
Дата загрузки:03.11.2026
Издательство:ФГБОУ ВО "Рязанский государственный радиотехнический университет"
Название:ФОРМАЛИЗАЦИЯ СЛОЖНЫХ СОБЫТИЙ В СИСТЕМАХ АКТИВНЫХ ПРАВИЛ
Автор ПГУ:Шибанов Сергей Владимирович  Королёва Дарья Андреевна  Данилина Елена Александровна  
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:Статья
Целевое назначение:Научное
Целевая аудитория:Исследователь, Преподаватель
Дата издания:2019
Дата загрузки:27.11.2019
Издательство:Издательство ПГУ
Название:Формализация справедливости в российском законодательстве
Автор ПГУ: Виктория Александровна  Катомина Виктория Александровна  
Тематика:юриспруденция
Вид ресурса:электронная копия бумажного издания
Тип ресурса:Статья
Целевое назначение:Научное
Целевая аудитория:Исследователь
Дата издания:2018
Дата загрузки:30.11.2018
Издательство:Изд. ПГУ
Название:ФОРМАЛИЗАЦИЯ СПРАВЕДЛИВОСТИ В РОССИЙСКОМ ЗАКОНОДАТЕЛЬСТВЕ
Автор ПГУ: Виктория Александровна  Катомина Виктория Александровна  
Тематика:юриспруденция
Вид ресурса:электронная копия бумажного издания
Тип ресурса:Статья
Целевое назначение:Научное
Целевая аудитория:Исследователь
Дата издания:2018
Дата загрузки:30.11.2018
Издательство:Изд. ПГУ
Название:ФОРМАЛИЗАЦИЯ УПРАВЛЕНИЯ ВЫЧИСЛИТЕЛЬНЫМИ ПРОЦЕССАМИ В РАСПРЕДЕЛЕННЫХ СИСТЕМАХ ХРАНЕНИЯ И ОБРАБОТКИ ДАННЫХ И ЗНАНИЙ
Автор ПГУ:Механов Виктор Борисович  Зинкин Сергей Александрович  Карамышева Надежда Сергеевна  
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:Статья
Целевое назначение:Научное
Целевая аудитория:Исследователь
Аннотация:Предлагаются новые формализмы для описания моделей асинхронного логического управления процессами и ресурсами в системах и сетях хранения и обработки данных, позволяющие унифицировать представление процессов, повысить гибкость и масштабируемость управляющих программ. Основное внимание уделяется формальному описанию процессов и их свойств на основе концепции согласования взаимодействий процессов через интенсивно обновляемые базы данных и знаний.
Дата издания:2013
Дата загрузки:17.11.2018
Издательство:Издательство "Новые технологии"
Название:Формализм в квантовой механике
Автор ПГУ:Калинин Евгений Николаевич  Калинина Алла Владимировна  
Тематика:физико-математические науки
Вид ресурса:электронная копия бумажного издания
Тип ресурса:Статья
Целевое назначение:Научное
Целевая аудитория:Исследователь, Учащийся, Преподаватель
Дата издания:2026
Дата загрузки:13.11.2026
Издательство:Пензенский государственный университет
Название:ФОРМАЛИЗОВАННОЕ ОПИСАНИЕ ШИФРОВАНИЯ СООБЩЕНИЙ В МЕССЕНЖДЕРАХ С ИСПОЛЬЗОВАНИЕМ ТЕОРИИ АВТОМАТОВ
Автор ПГУ:Веселова Марина Дмитриевна  Шутова Валерия Сергеевна  Пащенко Дмитрий Владимирович  Пучкова Ульяна Николаевна  Забродина Ксения Андреевна  Трокоз Дмитрий Анатольевич  
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:Статья
Целевое назначение:Научное
Целевая аудитория:Исследователь
Аннотация:This article describes the method of end-to-end encryption of messages in messaging apps using the automata theory, which are necessary for the visual representation of this mechanism. Interpretation of end-to-end encryption on event non-deterministic automaton allows to implement these methods not only by software, but also by hardware. Since at the present time there is a high probability of loss and falsification of personal data of users and storing the correspondence in a decrypted form on the network, such software methods of message encryption as symmetric and asymmetrical are used now; the distinctive features of each of which were described in this article. On the basis of these encryption methods, two protocols, which are the most reliable and frequently used in modern messaging apps, were considered. In one of the methods, a serious vulnerability was found. It is missing in another protocol due to the use of Double Ratchet and triple Diffie-Hellman. This vulnerability was described in this article. In the analysis of the protocols, the Diffie-Hellman algorithm and the AES-256 standard were detailed. The AES-256 standard is represented by a form of mathematical model using the automata theory, on the basis of which a hardware implementation of the encryption mechanism is possible.
Дата издания:2019
Дата загрузки:27.11.2019
Издательство:Общество с ограниченной ответственностью "Офорт" (Самара)
Название:Формальная верификация киберфизических систем управления со случайными временными задержками
Автор ПГУ: Дмитрий Николаевич   Сандип Александрович  Дубинин Виктор Николаевич  
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:Статья
Целевое назначение:Научное
Целевая аудитория:Исследователь
Дата издания:2018
Дата загрузки:26.11.2018
Издательство:Изд. ПГУ
Название:Формальная семантика функциональных блоков МЭК 61499 с временными метками
Автор ПГУ: Валерий Владимирович  Дубинин Виктор Николаевич  Дроздов Дмитрий Николаевич  
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:Статья
Целевое назначение:Научное
Целевая аудитория:Исследователь
Дата издания:2019
Дата загрузки:07.11.2019
Издательство:Издательство ПГУ
Название:Формат советского детского журнала "Костер" в контексте актуализации аксиологических установок
Автор ПГУ:Видинеева Наталья Юрьевна  
Тематика:филология
Вид ресурса:электронная копия бумажного издания
Тип ресурса:Статья
Целевое назначение:Научное
Целевая аудитория:Исследователь
Дата издания:2023
Дата загрузки:09.11.2023
Издательство:Издательство МГУ имени М.В.Ломоносова
Название:ФОРМАТЫ КОНТЕНТА И ИХ ВЛИЯНИЕ НА ВОВЛЕЧЕННОСТЬ КЛИЕНТОВ ОРГАНИЗАЦИЙ СФЕРЫ УСЛУГ
Автор ПГУ:Зинченко Светлана Владимировна  Шоворгина Анастасия Игоревна  
Тематика:экономика
Вид ресурса:электронная копия бумажного издания
Тип ресурса:Статья
Целевое назначение:Научное
Целевая аудитория:Исследователь
Аннотация:Рассматриваются аспекты внедрения контент-маркетинга на организации сферы услуг. Анализируется влияние различных форматов контента на вовлеченность клиентов. Цель работы – определить, какие форматы контента (текст, графика, видео, аудио и их комбинации) наиболее сильно влияют на вовлеченность целевой аудитории, стимулируют ее активное взаимодействие с организацией и способствуют формированию доверия, лояльности и конверсии
Дата издания:2026
Дата загрузки:12.11.2026
Издательство:издателство ПГУ
Название:ФОРМИРОВАНИЕ ФИЗКУЛЬТУРНО-СПОРТИВНОЙ АКТИВНОСТИ ДЕТЕЙ 7-9 ЛЕТ НА ЗАНЯТИЯХ ПЛАВАНИЕМ
Автор ПГУ:Тома Жанна Вячеславовна  Григорьева Ольга Дмитриевна  Самохвалов Денис Андреевич  
Тематика:педагогика
Вид ресурса:электронное немультимедийное издание
Тип ресурса:Статья
Целевое назначение:Научно-популярное
Целевая аудитория:Преподаватель, Учащийся
Дата издания:2019
Дата загрузки:24.11.2019
Издательство:ООП Ф ГБО У ВО «Чурапчинский государственный институт физической культуры и спорта» (Чурапча)
Название:ФОРМИРОВАНИЕ HR-БРЕНДА И ЕГО ВЛИЯНИЕ НА ПОКАЗАТЕЛИ ДЕЯТЕЛЬНОСТИ ОРГАНИЗАЦИИ
Автор ПГУ:Тарханова Елена Сергеевна  Щанина Елизавета Вячеславовна  Агеев Артём Игоревич  
Тематика:социология
Вид ресурса:электронная копия бумажного издания
Тип ресурса:Статья
Целевое назначение:Научное
Целевая аудитория:Исследователь, Учащийся, Преподаватель
Аннотация:Рассматриваются подходы к управлению персоналом. Одним из ключевых аспектов HR-стратегии является формирование сильного HR-бренда. HR-бренд – это уникальный образ компании на рынке труда, который помогает привлекать и удерживать талантливых специалистов и формировать положитель- ное восприятие компании как работодателя. Рассматривается важность HR-бренда в современной HR-стратегии и описываются инструменты, использующиеся для создания и поддержания HR-бренда компании.
Дата издания:2023
Дата загрузки:19.11.2023
Издательство:Издательство ПГУ
Название:Формирование «советской модерности» и региональная элита в 1960-е – 1970-е гг. (по материалам Пензенской области)
Автор ПГУ:Сухова Ольга Александровна  
Тематика:история
Вид ресурса:электронная копия бумажного издания
Тип ресурса:Статья
Целевое назначение:Научное
Целевая аудитория:Исследователь
Аннотация:На материалах Пензенской области рассматривается проблема формирования «советской модерности» в сознании и практиках управления региональной элиты в период 1960-х – 1970-х гг. Авторы солидаризируются с позицией М. Дэвид-Фокса о советской модерности как другом типе индустриального общества, выраженной посредством идеологических, культурных репрезентаций и поведенческих стратегий, утвердившихся в сознании и психологии элиты и общества в целом. Анализ рекрутинга, социального состава, ментальных установок и устремлений региональной элиты, результатов формирования идентичности региона в 1960-е – 1970-е гг. осуществлен на источниках массового происхождения, делопроизводственной документации партийных и советских органов управления, дневниковых записей и мемуарной литературы. Хронотоп развития Пензенской области в указанный период был обусловлен более поздними сроками территориальной организации, процессов индустриализации и региональной специализации промышленного производства. Общий тренд изменений можно охарактеризовать как ситуацию беспрецедентного и безудержного, в чем-то ажиотажного производственного строительства, возведения жилья и объектов соцкультбыта. Важнейшими условиями формирования местной элиты как носителей и генераторов новых установок и ценностей рассматриваются: социально-экономическая трансформация региона, его превращение из отсталого сельскохозяйственного в один из центров военно-промышленного комплекса СССР, а также процесс массового выдвижения руководящих работников в 1950-е – 1960-е гг. В большинстве своем это были уроженцы Пензенской области, люди 30-40 лет, выходцы из рабоче-крестьянской среды, с высшим, как правило, техническим, образованием, тяжелой военной молодостью, примерно одна треть – участники Великой Отечественной войны, около половины – бывшие комсомольские работники.
Дата издания:2023
Дата загрузки:14.11.2023
Издательство:Санкт-Петербургский государственный университет
Название:Формирование адаптивной модели управления пространственно-отраслевой структуры предприятий АПК
Автор ПГУ:Володин Виктор Михайлович  Надькина Алёна Алексеевна  
Тематика:экономика
Вид ресурса:электронная копия бумажного издания
Тип ресурса:Статья
Целевое назначение:Научное
Целевая аудитория:Исследователь
Дата издания:2024
Дата загрузки:27.11.2024
Издательство:Научно-исследовательский институт гуманитарных наук при Правительстве Республики Мордовия (Саранск)
Название:ФОРМИРОВАНИЕ АНАЛИТИЧЕСКОГО ИНСТРУМЕНТАРИЯ АНТИКРИЗИСНОГО БИЗНЕС-РЕГУЛИРОВАНИЯ НА ОСНОВЕ LOGIT-МОДЕЛЕЙ
Автор ПГУ:Опекунов Алексей Николаевич  Камардин Игорь Николаевич  Ягниченко Наталья Владленовна  
Тематика:экономика
Вид ресурса:электронная копия бумажного издания
Тип ресурса:Статья
Целевое назначение:Научное
Целевая аудитория:Исследователь, Преподаватель, Промышленность
Дата издания:2018
Дата загрузки:23.10.2019
Издательство:ФГБОУ Во "Самарский государственный социально-педагогический университет""
Название:Формирование базы данных сигналов акселерометра для мониторинга физической активности человека
Автор ПГУ:Прусс Даниил Игоревич  Рябова Екатерина Павловна  Сафронов Максим Игоревич  Кузьменко Даниил Дмитриевич  Кузьмин Андрей Викторович  
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:Статья
Целевое назначение:Научное
Целевая аудитория:Исследователь
Дата издания:2022
Дата загрузки:12.11.2022
Издательство:Самара:Издательство Самарского научного центра РАН