Электронная библиотека. Категория: техника (стр.332)
| Название: | ФОРМАЛИЗАЦИЯ СЛОЖНЫХ СОБЫТИЙ В СИСТЕМАХ АКТИВНЫХ ПРАВИЛ | 
|
| Автор ПГУ: | Шибанов Сергей Владимирович  Королёва Дарья Андреевна Данилина Елена Александровна | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь, Преподаватель | |
| Дата издания: | 2019 | |
| Дата загрузки: | 27.11.2019 | |
| Издательство: | Издательство ПГУ | |
| Название: | ФОРМАЛИЗАЦИЯ УПРАВЛЕНИЯ ВЫЧИСЛИТЕЛЬНЫМИ ПРОЦЕССАМИ В РАСПРЕДЕЛЕННЫХ СИСТЕМАХ ХРАНЕНИЯ И ОБРАБОТКИ ДАННЫХ И ЗНАНИЙ |
|
| Автор ПГУ: | Механов Виктор Борисович Зинкин Сергей Александрович Карамышева Надежда Сергеевна | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Аннотация: | Предлагаются новые формализмы для описания моделей асинхронного логического управления процессами и ресурсами в системах и сетях хранения и обработки данных, позволяющие унифицировать представление процессов, повысить гибкость и масштабируемость управляющих программ. Основное внимание уделяется формальному описанию процессов и их свойств на основе концепции согласования взаимодействий процессов через интенсивно обновляемые базы данных и знаний. | |
| Дата издания: | 2013 | |
| Дата загрузки: | 17.11.2018 | |
| Издательство: | Издательство "Новые технологии" | |
| Название: | ФОРМАЛИЗОВАННОЕ ОПИСАНИЕ ШИФРОВАНИЯ СООБЩЕНИЙ В МЕССЕНЖДЕРАХ С ИСПОЛЬЗОВАНИЕМ ТЕОРИИ АВТОМАТОВ |
|
| Автор ПГУ: | Веселова Марина Дмитриевна Шутова Валерия Сергеевна Пащенко Дмитрий Владимирович Пучкова Ульяна Николаевна Забродина Ксения Андреевна Трокоз Дмитрий Анатольевич | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Аннотация: | 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 | |
| Издательство: | Издательство ПГУ | |
| Название: | Формирование базы данных сигналов акселерометра для мониторинга физической активности человека |
|
| Автор ПГУ: | Прусс Даниил Игоревич Рябова Екатерина Павловна Сафронов Максим Игоревич Кузьменко Даниил Дмитриевич Кузьмин Андрей Викторович | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2022 | |
| Дата загрузки: | 12.11.2022 | |
| Издательство: | Самара:Издательство Самарского научного центра РАН | |
| Название: | ФОРМИРОВАНИЕ ГЕТЕРОГЕННОЙ СТРУКТУРЫ ПОВЕРХНОСТНОГО СЛОЯ ПРИ УПРОЧНЯЮЩЕЙ ОБРАБОТКЕ |
|
| Автор ПГУ: | Зверовщиков Александр Евгеньевич Нестеров Сергей Александрович Сорокина Наталья Владимировна | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь, Преподаватель, Учащийся | |
| Аннотация: | Высокие технологии в машиностроении. Материалы XVIII всероссийской научно-технической конференции с международным участием. Отв. редактор Р.Г. Гришин. Самара, 2021. С. 55-57. | |
| Дата издания: | 2021 | |
| Дата загрузки: | 28.11.2022 | |
| Издательство: | Самарский государственный технический университет | |
| Название: | ФОРМИРОВАНИЕ ГЕТЕРОГЕННЫХ СТРУКТУР В ПРОЦЕССЕ ЦЕНТРОБЕЖНО-ДУГОВОГО ДИСПЕРГИРОВАНИЯ МАТЕРИАЛОВ НА ОСНОВЕ КАРБИДА ВОЛЬФРАМА |
|
| Автор ПГУ: | Зверовщиков Александр Евгеньевич Киреев Сергей Юрьевич Розен Андрей Евгеньевич Колмаков Константин Михайлович Нестеров Сергей Александрович | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Монография, изданная российскими издательствами (наличие ISBN, зарегистрированная в Российской книжной палате) | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Промышленность, Исследователь, Учащийся | |
| Дата издания: | 2022 | |
| Дата загрузки: | 29.11.2023 | |
| Издательство: | Издательство ПГУ | |
| Название: | Формирование гетерогенных структур системы алюминий-титан сваркой взрывом для разработки бронематериалов |
|
| Автор ПГУ: | Кривенков Алексей Олегович Акимов Антон Алексеевич | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Учащийся, Исследователь | |
| Дата издания: | 2026 | |
| Дата загрузки: | 22.10.2026 | |
| Издательство: | Иркутский национальный исследовательский технический университет | |
| Название: | ФОРМИРОВАНИЕ ЗАКОНА ФУНКЦИОНИРОВАНИЯ ПОДСИСТЕМЫ УПРАВЛЕНИЯ АВТОМАТИЗИРОВАННОЙ СИСТЕМЫ УПРАВЛЕНИЯ НА ОСНОВЕ ЭКСПОНЕНЦИАЛЬНОГО ЗАКОНА ОБРАБОТКИ ИНФОРМАЦИИ В ПОСЛЕДОВАТЕЛЬНЫХ ФАЗАХ |
|
| Автор ПГУ: | Козлов Андрей Юрьевич | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Аннотация: | Рассмотрены основные вопросы определения законов функционирования элементов автоматизированной системы управления специального назначения. Сформулированы особенности оценки эффективности функционирования автоматизированной системы управления. Предложены закон доставки данных до подчиненных элементов и закон функционирования подсистемы управления на основе экспоненциального закона обработки информации в последовательных фазах. | |
| Дата издания: | 2024 | |
| Дата загрузки: | 11.10.2024 | |
| Издательство: | Издательство ПГУ | |
| Название: | ФОРМИРОВАНИЕ И СВОЙСТВА ИНЖЕКТИРУЮЩИХ КОНТАКТОВ ДЛЯ УСТРОЙСТВ ОРГАНИЧЕСКОЙ ЭЛЕКТРОНИКИ НА ОСНОВЕ ПЛЕНОК ОКСИДА МОЛИБДЕНА |
|
| Автор ПГУ: | Пронин Игорь Александрович | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2025 | |
| Дата загрузки: | 11.11.2025 | |
| Издательство: | Российская академия наук | |
| Название: | ФОРМИРОВАНИЕ ИНДИВИДУАЛЬНОЙ ОБРАЗОВАТЕЛЬНОЙ ТРАЕКТОРИИ В ОНЛАЙН ОБУЧЕНИИ НА ОСНОВЕ ТЕХНОЛОГИЙ СКРЫТЫХ МАРКОВСКИХ МОДЕЛЕЙ |
|
| Автор ПГУ: | Бурукина Ирина Петровна Горшенин Лев Николаевич | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Аннотация: | Целью настоящего исследования является разработка и обоснование методики формирования индивидуальной образовательной траектории в рамках онлайн курсов посредством анализа учебной активности учащихся и уровня их академической успеваемости. | |
| Дата издания: | 2025 | |
| Дата загрузки: | 21.11.2025 | |
| Издательство: | Юго-Западный государственный университет | |
| Название: | Формирование литографических рисунков ограненными микрочастицами оксида цинка на кремниевой подложке |
|
| Автор ПГУ: | Пронин Игорь Александрович Якушова Надежда Дмитриевна Карманов Андрей Андреевич Аверин Игорь Александрович | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2018 | |
| Дата загрузки: | 19.11.2018 | |
| Издательство: | Наука | |
| Название: | Формирование навыков схемотехнического проектирования на основе современных программных средств |
|
| Автор ПГУ: | Регеда Владимир Викторович Регеда Ольга Николаевна | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное, Учебное | |
| Целевая аудитория: | Преподаватель, Учащийся | |
| Дата издания: | 2018 | |
| Дата загрузки: | 05.12.2018 | |
| Издательство: | Издательство ПГУ | |
| Название: | Формирование никель- фосфорных покрытий на основе деталей из цветных металлов и сплавов. |
|
| Автор ПГУ: | Алнександр Георгиевич Скрябин Владимир Александрович | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь, Учащийся | |
| Дата издания: | 2018 | |
| Дата загрузки: | 14.11.2018 | |
| Издательство: | наука и технологии | |
| Название: | Формирование перспективных покрытий при нанесении на металлическую основу деталей химического никеля. |
|
| Автор ПГУ: | Скрябин Владимир Александрович | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Промышленность, Преподаватель | |
| Дата издания: | 2018 | |
| Дата загрузки: | 13.11.2018 | |
| Издательство: | наука и технологии | |
| Название: | Формирование пленок поликристаллического кремния методом разложения моносилана |
|
| Автор ПГУ: | Спицына Ксения Юрьевна | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научно-популярное | |
| Целевая аудитория: | Учащийся | |
| Дата издания: | 2018 | |
| Дата загрузки: | 28.11.2020 | |
| Издательство: | Пензенский государственный университет (Пенза) | |
| Название: | Формирование поверхностного слоя деталей из алюминиевых сплавов после финишной обработки перед химическим никелированием. |
|
| Автор ПГУ: | Иван Алексеевич Скрябин Владимир Александрович | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь, Преподаватель | |
| Дата издания: | 2018 | |
| Дата загрузки: | 14.11.2018 | |
| Издательство: | наука и технологии | |
| Название: | Формирование порошков в результате размола керамического материала. DOI: 10. 31044/1994-6260-2019-0-7-43-47. |
|
| Автор ПГУ: | Зверовщиков Александр Евгеньевич Скрябин Владимир Александрович | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное, Производственно-практическое | |
| Целевая аудитория: | Исследователь, Преподаватель, Учащийся | |
| Аннотация: | В статье рассмотрены результаты размола керамического материала методом ЦПО (центробежно-планетарной обработки). Исследовано влияние технологических факторов на дисперсность и однородность получаемого порошка. Предложена методика оценки структуры порошка на основе использования программного обеспечения (ПО) ToupView. | |
| Дата издания: | 2019 | |
| Дата загрузки: | 26.07.2019 | |
| Издательство: | наука и технологии | |
| Название: | ФОРМИРОВАНИЕ ПОТОКА ВОЗДУХА В СТОКОПРИЕМНОМ ОТВЕРСТИИ И В ЗОНЕ СВОБОДНОГО ПРОСТРАНСТВА ВЫТЯЖНОГО ЗОНТА |
|
| Автор ПГУ: | Пономарева Инна Константиновна | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2023 | |
| Дата загрузки: | 20.09.2023 | |
| Издательство: | Изд-во ПГУАС | |