Тип ресурса: "Статья" (стр.71)
| Название: | Formal and conceptual definitions of the hybrid model of distributed computings in networks | 
|
| Автор ПГУ: | Дубравин Алексей Викторович  Пащенко Дмитрий Владимирович Зинкин Сергей Александрович | |
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2015 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Formal modeling and verification of IEC 61499 function blocks on the basis of transition systems |
|
| Автор ПГУ: | Дубинин Виктор Николаевич | |
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2016 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Formal modelling and verification of IEC61499 function blocks with abstract state machines and SMV - execution semantics |
|
| Автор ПГУ: | Дубинин Виктор Николаевич | |
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2015 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems |
|
| Автор ПГУ: | Дубинин Виктор Николаевич | |
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2023 | |
| Дата загрузки: | 03.11.2023 | |
| Издательство: | Springer Verlag | |
| Название: | Formal transformation inhibitory safe Petri nets into equivalent not inhibitory |
|
| Автор ПГУ: | Синев Михаил Петрович Коннов Николай Николаевич Пащенко Дмитрий Владимирович | |
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2015 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Formal verification of cyber-physical automation systems modelled with timed block diagrams |
|
| Автор ПГУ: | Дроздов Дмитрий Николаевич Дубинин Виктор Николаевич | |
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2016 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV-Modelling |
|
| Автор ПГУ: | Дубинин Виктор Николаевич | |
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2015 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Formal verification of nonfunctional requirements of overall instrumentation and control architectures |
|
| Автор ПГУ: | Дубинин Виктор Николаевич | |
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2024 | |
| Дата загрузки: | 02.11.2024 | |
| Издательство: | IEEE Publisher | |
| Название: | Formal verification of protection functions for power distribution networks |
|
| Автор ПГУ: | Дроздов Дмитрий Николаевич | |
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2018 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Formality and informality in British culture |
|
| Автор ПГУ: | Брыкина Светлана Викторовна Полякова Людмила Павловна | |
| Тематика: | филология | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Преподаватель | |
| Дата издания: | 2023 | |
| Дата загрузки: | 30.10.2023 | |
| Издательство: | Изд. ПГУ | |
| Название: | Formality and informality in British culture |
|
| Автор ПГУ: | Полякова Людмила Павловна Брыкина Светлана Викторовна | |
| Тематика: | культурология | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научно-популярное | |
| Целевая аудитория: | Учащийся | |
| Дата издания: | 2023 | |
| Дата загрузки: | 29.11.2024 | |
| Издательство: | Изд. ПГУ | |
| Название: | Formalization of load testing scripts using the theory of event-driven non-deterministic temporary finite state machine |
|
| Автор ПГУ: | Дмитрий Владимирович Дмитрий Анатольевич Митрохин Павел Александрович Коннов Николай Николаевич Синев Михаил Петрович Федюнин Роман Николаевич Исхаков Никита Валерьевич | |
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Промышленность | |
| Аннотация: | This article is devoted to a method for converting a temporary machine into a script for load testing of a messaging service. The concept of operation of temporary finite state machines, unconditional and conditional transitions with a time delay in them is considered. The existing solutions of the program for load testing were analyzed, their advantages and disadvantages were identified. A method of developing a script for a load testing tool “Gatling” using temporary state machines specified by the user is presented. A method for organizing an unconditional and conditional transition with a time delay is proposed to emulate the work of real users with the system, for load testing. The solution is the ability to synthesize a finite state machine that will be transformed into a script in the “Scala” language. | |
| Дата издания: | 2021 | |
| Дата загрузки: | 29.11.2022 | |
| Издательство: | Global Science Center LP | |
| Название: | Formalization of Organization of Signaling Protocol while Making Online Calls Using Automata Theory |
|
| Автор ПГУ: | Митрохин Максим Александрович Синев Михаил Петрович Дмитрий Владимирович Саватеев Максим Валерьевич Родионов Владислав Сергеевич Исхаков Никита Валерьевич Пащенко Дмитрий Владимирович | |
| Тематика: | техника | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2020 | |
| Дата загрузки: | 16.11.2020 | |
| Издательство: | IEEE | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Formalized description of cyber-physical systems models using temporary non-deterministic automata |
|
| Автор ПГУ: | Митрохин Максим Александрович Гурин Евгений Иванович Синев Михаил Петрович Дмитрий Анатольевич Шутова Валерия Сергеевна Забродина Ксения Андреевна Веселова Марина Дмитриевна Пащенко Татьяна Юрьевна | |
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2021 | |
| Дата загрузки: | 30.11.2021 | |
| Издательство: | ACADEMIC PUBLICATIONS, LTD.; HTTPS://IJPAM.EU | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Formalized Description of Message Encryption in Messaging Apps Using Automata Theory |
|
| Автор ПГУ: | Пащенко Дмитрий Владимирович Мартышкин Алексей Иванович Синев Михаил Петрович | |
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2019 | |
| Дата загрузки: | 01.06.2020 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Formant analysis of speech signals based on empirical mode decomposition to detect human psycho-emotional disorder |
|
| Автор ПГУ: | Чураков Петр Павлович Алимурадов Алан Казанферович Тычков Александр Юрьевич | |
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2019 | |
| Дата загрузки: | 15.11.2019 | |
| Издательство: | Institute of Electrical and Electronics Engineers | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Formation and Development of Educational Potential of Russian Unemployed Adolescents: From Education to Work through Educational Technologies |
|
| Автор ПГУ: | Рожкова Лилия Валерьевна Влазнева Светлана Алексеевна Сальникова Ольга Владимировна | |
| Тематика: | социология | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2021 | |
| Дата загрузки: | 26.09.2021 | |
| Издательство: | IGI Global | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | FORMATION AND PROPERTIES OF INJECTING CONTACTS BASED ON MOLYBDENUM OXIDE FILMS FOR ORGANIC ELECTRONIC DEVICES |
|
| Автор ПГУ: | Пронин Игорь Александрович Комолов Алексей Сергеевич | |
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2025 | |
| Дата загрузки: | 13.11.2025 | |
| Издательство: | Pleiades Publishing | |
| Название: | FORMATION AND RESEARCH OF A STOCHASTIC ARTIFICIAL NEURAL NETWORK MODEL FOR ANALYSIS OF FAILURE FLOWS OF REМ |
|
| Автор ПГУ: | Гришко Алексей Константинович | |
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Преподаватель | |
| Дата издания: | 2024 | |
| Дата загрузки: | 03.10.2024 | |
| Издательство: | Изд. ПГУ | |
| Название: | Formation and stability of foams in water containing diesel fuel in the presence of hydrophobized silica |
|
| Автор ПГУ: | Наталья Георгиевна Мишина Светлана Ивановна | |
| Тематика: | химия | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2023 | |
| Дата загрузки: | 02.11.2023 | |
| Издательство: | Ивановский государственный политехнический университет (Иваново) | |