Автор: Синев Михаил Петрович
| Название: | МОДЕЛИРОВАНИЕ АВТОМАТИЗИРОВАННОЙ ИНФОРМАЦИОННОЙ СИСТЕМЫ ГОСУДАРСТВЕННЫХ УСЛУГ | 
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2018 | |
| Дата загрузки: | 13.11.2018 | |
| Издательство: | Пензенский государственный технологичесикй университет | |
| Название: | Directly executable formal models of middleware for MANET and Cloud Networking and Computing |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2016 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Construction features of procedural simulator for objective control expert systems management devices of rocket and space technology ground infrastructure objects |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2016 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | The methodology of multicriterial assessment of Petri nets' apparatus |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2016 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Formal transformation inhibitory safe Petri nets into equivalent not inhibitory |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2015 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Основы проектирования интерфейсов программных систем |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Учебно-методическое пособие | |
| Целевое назначение: | Учебное | |
| Целевая аудитория: | Учащийся | |
| Аннотация: | Издание призвано обеспечить лабораторные и практические занятия по курсу «Интерфейсы программирования приложений», которые охватывают как аспекты проектирования интерфейсов при человеко-машинном общении, так и принципы представления знаний, в том числе для плохо структурированных предметных областей и слабоструктурированных задач. Подготовлено на кафедре «Вычислительная техника» ПГУ в рамках выполнения проектов «Подготовка высококвалифицированных специалистов (бакалавров) в области разработки встраиваемых вычислительных систем специального назначения» по программе «Новые кадры для ОПК» и предназначено для обучающихся по направлению 09.01.03 «Информатика и вычислительная техника» | |
| Дата издания: | 2019 | |
| Дата загрузки: | 12.11.2019 | |
| Издательство: | Пензенский государственный университет (Пенза) | |
| Название: | ПРОГРАММНО-ИНФОРМАЦИОННАЯ СИСТЕМА ДЛЯ АНАЛИЗА ПУБЛИКАЦИЙ ПОЛЬЗОВАТЕЛЕЙ В СОЦИАЛЬНЫХ СЕТЯХ |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2019 | |
| Дата загрузки: | 27.11.2019 | |
| Издательство: | Пензенский государственный технологический университет (Пенза) | |
| Название: | Search for a substring of characters using the theory of non-deterministic finite automata and vector-character architecture |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2020 | |
| Дата загрузки: | 30.11.2020 | |
| Издательство: | IEEE | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Using queuing theory to describe adaptive mathematical models of computing systems with resource virtualization and its verification using a virtual server with a configuration similar to the configuration of a given model |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2020 | |
| Дата загрузки: | 30.11.2020 | |
| Издательство: | IEEE | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Formalization of Organization of Signaling Protocol while Making Online Calls Using Automata Theory |
|
| Тематика: | техника | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2020 | |
| Дата загрузки: | 16.11.2020 | |
| Издательство: | IEEE | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Instrumental System of Temporal Analysis of Models of Concurrent Computing Systems Constructed Using Theory of Temporary Finite State Automata |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Аннотация: | This article examines the issue of poorly studied methods of temporal analysis of cyberphysical systems, as well as simulations of concurrent computing cyberphysical systems with a time component. The article describes the currently relevant methods and means of temporal analysis of computing cyber systems, their advantages and disadvantages[1]. Often, in the process of developing a real mechanical cyber system, it is necessary to simulate it and simulate its work under certain conditions, in order to identify possible difficulties in the functioning of the mechanism, and to adjust them subsequently. Actual methods of temporal analysis of cyber systems do not fully solve the posed problem or do not solve it at all. In order to solve the above-mentioned problem, a new method of temporal analysis was proposed that solves problems that other methods described in this article do not solve[2]. One of the advantages of the method proposed in this article is the modeling of non-deterministic time machines, so that this approach can be widely used in modeling cyber systems and simulating their work under a variety of conditions. As a test of the scientific solution of the problem described in this article, a software tool for temporal analysis and simulation of models of computing cyberphysical systems was developed and debugged. The main feature of the environment is the coding and building computing cyberphysical systems in the graph format of an abstract temporary finite deterministic or non-deterministic automaton using a system of canonical equations given in disjunctive normal form. The basic method of parsing the system of canonical equations for building a model of the target computing cyberphysical system in the graph format of an abstract automaton as well as simulation algorithms for the entire model in the mode of a deterministic and non-deterministic automaton are described. The user interface elements for managing the modeling environment, its main features and methods of temporal analysis of specified concurrent computing systems are described | |
| Дата издания: | 2020 | |
| Дата загрузки: | 30.11.2020 | |
| Издательство: | IEEE | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Using Algebra of Hyper-Dimensional Vectors for Heuristic Representation of Data while Training Wide Neural Networks |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2019 | |
| Дата загрузки: | 01.06.2020 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Formalized Description of Message Encryption in Messaging Apps Using Automata Theory |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2019 | |
| Дата загрузки: | 01.06.2020 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | АЛГОРИТМИЧЕСКИЙ ПОДХОД К АНАЛИЗУ ПРОФИЛЯ ПОЛЬЗОВАТЕЛЯ СОЦИАЛЬНОЙ СЕТИ НА ОСНОВЕ МУЛЬТИМОДАЛЬНЫХ ТЕМПОРАЛЬНЫХ ДАННЫХ. |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2020 | |
| Дата загрузки: | 30.11.2020 | |
| Издательство: | Пензенский государственный технологический университет (Пенза) | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | ИССЛЕДОВАНИЕ И АНАЛИЗ ПОДХОДОВ К ОРГАНИЗАЦИИ ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛЕНИЙ В РАСПРЕДЕЛЕННЫХ СИСТЕМАХ. |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2020 | |
| Дата загрузки: | 01.12.2020 | |
| Издательство: | Пензенский государственный технологический университет (Пенза) | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: |
|
|
| Тематика: | ||
| Вид ресурса: | ||
| Тип ресурса: | ||
| Дата загрузки: | ||
| Название: | ТЕМПОРАЛЬНЫЙ АНАЛИЗ КИБЕРФИЗИЧЕСКИХ СИСТЕМ С ИСПОЛЬЗОВАНИЕМ ТЕОРИИ АВТОМАТОВ |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2019 | |
| Дата загрузки: | 16.11.2020 | |
| Издательство: | Издательство ПГТУ | |
| Название: | МЕТОДИКА ПРЕОБРАЗОВАНИЯ ТЕМПОРАЛЬНОГО КОНЕЧНОГО АВТОМАТА В СП-МОДЕЛЬ. |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Аннотация: | Одним из наиболее популярных механизмов для описания или построения алгоритмов является конечный автомат, сочетающий в себе относительную наглядность и простоту построения. Тем не менее процессы в виду своей физической природы не протекают мгновенно, а длятся определённый промежуток времени. В данном случае можно прибегнуть к использованию разновидности временных конечных автоматов. Наряду с конечными автоматами в современных методах моделирования используют сети Петри - мощную математическую модель, способную представить класс алгоритмов любой сложности. Цель данной статьи заключается в описании алгоритма преобразования временного конечного автомата в сеть Петри, содержащую ингибиторные дуги. Данный способ является универсальным, а, следовательно, становится возможным перехода от конечных автоматов к сетям Петри, когда последние становятся более удобны для моделирования процессов. | |
| Дата издания: | 2020 | |
| Дата загрузки: | 01.12.2020 | |
| Издательство: | Издательство ПГТУ | |
| Название: | Virtual assistant constructing method for metrological measurements |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2021 | |
| Дата загрузки: | 12.11.2021 | |
| Издательство: | Journal of Physics | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Formalized description of cyber-physical systems models using temporary non-deterministic automata |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2021 | |
| Дата загрузки: | 30.11.2021 | |
| Издательство: | ACADEMIC PUBLICATIONS, LTD.; HTTPS://IJPAM.EU | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Virtual assistant for remote submission of applications for enrollment in educational organizations |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2021 | |
| Дата загрузки: | 19.11.2021 | |
| Издательство: | Всероссийский институт научной и технической информации Российской академии наук (ВИНИТИ РАН) | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | WEB-ПРОГРАММИРОВАНИЕ С ИСПОЛЬЗОВАНИЕМ NODEJS И REACTJS |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Учебно-методическое пособие | |
| Целевое назначение: | Учебное | |
| Целевая аудитория: | Учащийся | |
| Дата издания: | 2021 | |
| Дата загрузки: | 16.11.2021 | |
| Издательство: | Изд. ПГУ | |
| Название: |
|
|
| Тематика: | ||
| Вид ресурса: | ||
| Тип ресурса: | ||
| Дата загрузки: | ||
| Название: | РАЗРАБОТКА И ИССЛЕДОВАНИЕ МОДЕЛЕЙ ПОДСИСТЕМЫ ОЧЕРЕДЕЙ СООБЩЕНИЙ В РЕКОНФИГУРИРУЕМОЙ ВЫЧИСЛИТЕЛЬНОЙ СИСТЕМЕ |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2022 | |
| Дата загрузки: | 08.04.2022 | |
| Издательство: | Пензенский государственный технологический университет (Пенза) | |
| Название: | Temporal feature analysis method describing for automata models of computation systems |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2022 | |
| Дата загрузки: | 19.10.2022 | |
| Издательство: | Journal of Physics | |
| Название: | 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 | |
| Название: | ЦИФРОВОЙ АДАПТЕР ПОДКЛЮЧЕНИЯ АППАРАТНОГО КОНТРОЛЛЕРА SPACEWIRE К ПЭВМ (не учтена в рейтинге 2023) |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научно-популярное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2023 | |
| Дата загрузки: | 31.10.2024 | |
| Издательство: | Издательство: Пензенский государственный технологический университет (Пенза) | |