Электронная библиотека. Список ресурсов (стр.93)
| Название: | Foreign medical students in eastern europe: Knowledge, attitudes and beliefs about medical cannabis for pain management | 
|
| Автор ПГУ: | Константинов Всеволод Валентинович  | |
| Тематика: | психология | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2021 | |
| Дата загрузки: | 12.11.2021 | |
| Издательство: | Multidisciplinary Digital Publishing Institute (MDPI) | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | FORESIGHT OF MODELS OF EFFICIENCY OF SCIENTIFIC EXPENSES IN AGRARIAN BUSINESS |
|
| Автор ПГУ: | Светлана Викторовна Самыгин Денис Юрьевич | |
| Тематика: | экономика | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2022 | |
| Дата загрузки: | 30.11.2022 | |
| Издательство: | The European Proceedings of Social and Behavioural Sciences EpSBS | |
| Название: | Forest history, peatland development and mid- to late Holocene environmental change in the southern taiga forest of central European Russia |
|
| Автор ПГУ: | Бабешко Кирилл Владимирович Мазей Юрий Александрович Цыганов Андрей Николаевич | |
| Тематика: | биология | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2018 | |
| Дата загрузки: | 29.11.2018 | |
| Издательство: | Cambridge University Press | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Forest Legislation of Peter The Great: Traditions and Innovations |
|
| Автор ПГУ: | Свечников Николай Иванович | |
| Тематика: | юриспруденция | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2021 | |
| Дата загрузки: | 09.11.2021 | |
| Издательство: | Education & Educational Research | |
| Название: | Forest-steppe oxbows in limnophase — Abiotic features and biodiversity |
|
| Автор ПГУ: | Иван Викторович Стойко Тамара Григорьевна Сенкевич Виктория Александровна | |
| Тематика: | биология | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2019 | |
| Дата загрузки: | 12.11.2019 | |
| Издательство: | Elsevier | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Form-finding of bionic structures using the force density method and topological mapping |
|
| Автор ПГУ: | Геращенко Сергей Иванович Геращенко Сергей Михайлович | |
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2019 | |
| Дата загрузки: | 20.04.2020 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | 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 of distributed automation CPS with CP-agnostic software |
|
| Автор ПГУ: | Дроздов Дмитрий Николаевич | |
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Монография, изданная зарубежными издательствами (наличие ISBN) | |
| Дата издания: | 2017 | |
| Дата загрузки: | 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" автоматически
| ||