Автор: Зинкин Сергей Александрович
| Название: | 
|
|
| Тематика: | ||
| Вид ресурса: | ||
| Тип ресурса: | ||
| Дата загрузки: | ||
| Название: | Сетевые модели распределенных систем обработки, хранения и передачи данных: монография |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Монография, изданная другими издательствами (наличие ISBN); Коллективная монография | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Преподаватель | |
| Дата издания: | 2013 | |
| Дата загрузки: | 11.11.2018 | |
| Издательство: | Приволжский Дом знаний | |
| Название: | Reconfigurable network models for distributed computing |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Аннотация: | The article is devoted to the development of customizable software for distributed computing systems. In order to develop such intermediate-level (middleware) software, it is suggested to use modifiable, or changeable, models based on Petri nets. The basis for constructing reconfigurable Petri nets (RPN - reconfigurable, or changeable, Petri nets) is the ordinary, lively and safe (1-bounded) Petri nets, which have no configuration restrictions and the multiplicity of arcs in which does not exceed one. The proposed approach is illustrated by an example of a simple protocol for peer-to-peer computing systems, where the roles of clients and servers can change during the process of the distributed system work. | |
| Дата издания: | 2017 | |
| Дата загрузки: | 26.11.2018 | |
| Издательство: | ПГУ | |
| Название: | THE IMPLEMENTATION OF GLOBAL COMPUTING THROUGH THE MAPPING OF OBJECT-ORIENTED PETRI NETS INTO THE ARCHITECTURE OF DISTRIBUTED COMPUTING SYSTEMS |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Аннотация: | The article deals with the problems of mapping Petri nets to the system and functional architectures of distributed computing systems at the middleware level. In particular, the problem of mapping Petri nets to the TCP/IP network is solved experimentally. The need to solve this problem came from the fact that various methods for mapping algorithms to the architecture of parallel and distributed computing systems are known, but only a few of them are oriented to the development of middleware. The importance of the problem is explained by the fact that the definition of middleware overlaps with many existing technologies, such as Cloud Computing, Grid Computing, Utility Computing, Services Computing, and Distributed Computing in general. It is shown that different interpretations of its work for the same Petri net can be used, which significantly affect the quality of the middleware class network software. An example and detailed comments for the distributed Java program are given. | |
| Дата издания: | 2017 | |
| Дата загрузки: | 26.11.2018 | |
| Издательство: | ПГУ | |
| Название: | Интеграция методов концептуального и поведенческого моделирования дискретно-событийных систем: II. Логико-алгебраические операционные модели и инфокоммуникационные технологии |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Аннотация: | В данной статье объектом исследования являются информационные процессы в асинхронных дискретно-событийных системах. Примерами таких систем могут быть организационно-экономические, производственные и вычислительные системы. Предметом исследования является методология формализации и анализа асинхронных дискретно-событийных систем на основе интеграции методов искусственного интеллекта и поведенческого дискретно-событийного моделирования. В качестве примера подходящей предметной области в настоящей работе рассматривается участок гибкого автоматизированного производства, сокращенно ГАП (FMS – Flexible Manufacturing Systems). Методология исследования базируется на логике предикатов первого и второго порядков, формализме сетей абстрактных машин, моделях искусственного интеллекта и на впервые предлагаемых концептуальных сетях Петри. Новизна исследования состоит в получении в конечном итоге на основе концептуальной и поведенческой модели асинхронной дискретно-событийной системы формализованных непосредственно исполнимых спецификаций, например, пригодных для последующей реализации сетевого программного обеспечения беспроводной вычислительной сети, управляющей гибким автоматизированным производством изделий. В части II статьи показано, что семантические сети с событиями, ролевыми и каузальными связями между объектами (сценарные сети) могут в достаточно полной степени представлять не только декларативные, но и процедурные знания о предметной области. В целях построения поведенческой дискретно-событийной модели реализован переход от семантической сети с событиями, описывающей участок гибкого автоматизированного производства, к сети Петри и далее к сети абстрактных машин, описанной логико-алгебраическими выражениями. Для сохранения информативности модели предложены некоторые разновидности сетей Петри, а также определен новый класс сетей Петри – концептуальные сети Петри. Предложены формализованные исполнимые спецификации, учитывающие роли всех объектов-участников реализации событий и управление со стороны беспроводной сети. Использование языка сетей абстрактных машин упрощает дальнейшую реализацию интеллектуальной поведенческой модели системы на базе известных языков типа C, C++, C# и др. Предложен принцип построения логико-алгебраической операционной (исполнимой) модели, предназначенной для построения на ее основе распределенного сетевого приложения для беспроводной сети, управляющей роботизированным производством. | |
| Дата издания: | 2017 | |
| Дата загрузки: | 17.11.2018 | |
| Издательство: | ООО «НБ-Медиа» | |
| Название: | Implementation of the interface for sending messages in agent-oriented cloud/grid systems based on formalized specifications |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2016 | |
| Дата загрузки: | 19.11.2018 | |
| Издательство: | Institute of Electrical and Electronics Engineers Inc | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Организация распределенной агентно-ориентированной системы управления базами данных в метакомпьютерной среде с топологией типа «логическое кольцо» |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Аннотация: | Актуальность и цели. Объектом исследования являются метакомпьютерные системы обработки данных и знаний, распределенные системы баз данных. Под метакомпьютером подразумевается виртуальная система с заданной архитектурой, развернутая на глобальной или локальной вычислительной сети. Предметом исследования являются процессы управления обработкой реляционных баз данных в метакомпьютерах с архитектурой логического кольца. Целью работы является разработка и проверка модели взаимодействия асинхронных процессов при обработке фрагментированных отношений реляционной базы данных для основных операций реляционной алгебры в логическом кольце узлов сети ЭВМ, образующем распределенную систему управления базой данных (СУБД). Материалы и методы. Исследование и организация процессов управления обработкой данных проведены на основе формализма асинхронных предикатных сетей с последующим статистическим моделированием выполнения множества согласованных продукционных правил. Результаты. Продемонстрирована возможность применения модели асинхронных предикатных сетей для согласования процессов и агентов при организации обработки структурированных данных. Предложенные методы и алгоритмы распределенной обработки данных также могут быть реализованы и на многоядерных процессорах, в системах кластерного типа, ориентированных не только на взаимодействия агентов, но и на передачу сообщений. Выводы. Предложены основные схемы выполнения бинарных и унарных операций реляционной алгебры, определенных над фрагментами, являющимися непересекающимися подмножествами кортежей отношений. Использованы известные определения и алгоритмы выполнения операций реляционной алгебры для нефрагментированных отношений. Показана возможность конвейерной реализации операций в логическом кольце, что повышает уровень параллельности при обработке данных в распределенной СУБД. | |
| Дата издания: | 2014 | |
| Дата загрузки: | 17.11.2018 | |
| Издательство: | Издательство ПГУ | |
| Название: | ФОРМАЛИЗАЦИЯ УПРАВЛЕНИЯ ВЫЧИСЛИТЕЛЬНЫМИ ПРОЦЕССАМИ В РАСПРЕДЕЛЕННЫХ СИСТЕМАХ ХРАНЕНИЯ И ОБРАБОТКИ ДАННЫХ И ЗНАНИЙ |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Аннотация: | Предлагаются новые формализмы для описания моделей асинхронного логического управления процессами и ресурсами в системах и сетях хранения и обработки данных, позволяющие унифицировать представление процессов, повысить гибкость и масштабируемость управляющих программ. Основное внимание уделяется формальному описанию процессов и их свойств на основе концепции согласования взаимодействий процессов через интенсивно обновляемые базы данных и знаний. | |
| Дата издания: | 2013 | |
| Дата загрузки: | 17.11.2018 | |
| Издательство: | Издательство "Новые технологии" | |
| Название: | Облачная платформа для реализации агентно-ориентированных метакомпьютерных систем. |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Аннотация: | Предложена виртуальная архитектура агентно-ориентированного метакомпьютера, которую может реализовать единственный агент, выполняя поручение клиента. При этом он может создавать свои клоны и распределять их по физическим узлам вычислительной сети, используя при этом знания о структурных и функциональных связях между объектами – разнообразными ресурсами метакомпьютерной системы. Далее, используя программно реализуемые декларативные и процедурные знания, исходный агент совместно с другими агентами может обрабатывать поступающие данные. Рассмотрены проблемы выбора, разработки и интеграции технологий программной реализации сетевых агентно-ориентированных метакомпьютерных систем, а также абстрактный и структурный синтез распределённых систем логического управления. | |
| Дата издания: | 2013 | |
| Дата загрузки: | 19.11.2018 | |
| Издательство: | Вестник Поволжского государственного технологического университета | |
| Название: | Абстрактное и структурное проектирование сетей хранения данных: от сценариев к логико-алгебраическим спецификациям. |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Аннотация: | В статье уделяется внимание организации параллельного выполнения операций информационного поиска и передачи данных в дисковых системах хранения информации на физическом уровне. В процессе проектирования используются сценарные и логико-алгебраические модели. | |
| Дата издания: | 2013 | |
| Дата загрузки: | 19.11.2018 | |
| Издательство: | Центр реализации государственной образовательной политики и информационных технологий (Москва) | |
| Название: | Основы обучаемых алгоритмов интеллектуальных систем |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Учебно-методическое пособие | |
| Целевое назначение: | Учебное | |
| Целевая аудитория: | Учащийся | |
| Дата издания: | 2019 | |
| Дата загрузки: | 01.10.2019 | |
| Издательство: | Изд. ПГУ | |
| Название: | Организация функционирования распределенных вычислительных систем с переменной архитектурой в виде облачного сервиса, формируемого по запросу клиента (концептуальные графы распределенных алгоритмов) |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2018 | |
| Дата загрузки: | 26.11.2019 | |
| Издательство: | Издательство ПГТУ | |
| Название: | Организация функционирования распределенных вычислительных систем с переменной архитектурой в виде облачного сервиса, формируемого по запросу клиента (реализация изменяемой системной архитектуры) |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Аннотация: | Объектом исследования является системная архитектура распределенных вычислительных систем, формируемая по запросу клиента. В основу построения распределенной вычислительной системы положена концепция облачного сервиса NCaaSoD - Network Computing as a Service on Demand - сетевые вычисления как сервис, реализуемый по запросу клиента. В связи с ростом интереса к развивающимся и интегрированным технологиям проектирования сетевых приложений для метакомпьютерных, кластерных, облачных и грид систем данная проблема требует поиска новых решений. Одним из таких решений является формирование требований к системной архитектуре сетевой распределенной вычислительной системы непосредственно в запросе пользователя. Инфраструктура современных облачных систем позволяет выполнить подобные требования пользователя. Целью работы является разработка метода организации функционирования вычислительных систем с переменной архитектурой в виде облачного сервиса, формируемого по запросу клиента. Исследование и организация процессов формирования системной архитектуры гибридных облачно-сетевых систем типа NCaaSoD основано на использовании концептуальных графов и метода формирования виртуальных топологий, аналогичных методам, используемых в кластерных системах... | |
| Дата издания: | 2018 | |
| Дата загрузки: | 26.11.2019 | |
| Издательство: | Издательство ПГТУ | |
| Название: | Концептуальные представления и модификации сетей Петри для приложений в области синтеза функциональной архитектуры распределенных вычислительных систем с переменной структурой |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Аннотация: | Актуальность и цель. Объектом исследования является функциональная архитектура распре-деленных вычислительных систем с переменной (реконфигурируемой) структурой, характерной для гибридных систем облачно-сетевого (грид) типа. Несмотря на то, что сети Петри издавна исследуются как в теоретическом, так и в практическом планах, методы их интерпретации продолжают интенсивно развиваться. В настоящее время в недостаточной степени исследована проблема вложения сетей Петри в архитектуру распределенных сетевых приложений, используемых для реализации глобальных вычислений в современных смешанных облачных, грид и кластерных системах. Показано, что в современных исследованиях сети Петри используются в основном при моделировании дискретных систем и процессов, а не в качестве основы для формализованных спецификаций при разработке распределенных приложений. В этой связи актуальной является интерпретация сетей Петри в приложениях к функциональной архитектуре распределенных вычислительных систем с переменной структурой, основанной на сетевом программном обеспечении промежуточного класса (класса middleware)... | |
| Дата издания: | 2018 | |
| Дата загрузки: | 26.11.2019 | |
| Издательство: | Юго-Западный государственный университет | |
| Название: | Организация метакомпьютерных вычислительных систем на платформе мобильных агентов |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Сборник статей, трудов | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Аннотация: | Предложена методика организации виртуальной архитектуры агентно-ориентированного метакомпьютера, которую может реализовать единственный агент, выполняя поручение клиента. При этом он может создавать свои клоны и распределять их по физическим узлам вычислительной сети, используя при этом знания о структурных и функциональных связях между объектами - разнообразными ресурсами метакомпьютерной системы. Далее, используя программно реализуемые декларативные и процедурные знания, исходный агент совместно с другими агентами может обрабатывать поступающие данные. | |
| Дата издания: | 2018 | |
| Дата загрузки: | 28.10.2019 | |
| Издательство: | Изд. ПГУ | |
| Название: | СИСТЕМА ДЛЯ РАЗВЕРТЫВАНИЯ ПРИЛОЖЕНИЙ В ЛОКАЛЬНОЙ КОМПЬЮТЕРНОЙ СЕТИ |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Сборник статей, трудов | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2019 | |
| Дата загрузки: | 26.11.2019 | |
| Издательство: | Изд. ПГУ | |
| Название: | О РАЗВИТИИ КОНЦЕПЦИИ "СЕТЬ - ЭТО КОМПЬЮТЕР" |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Сборник статей, трудов | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Аннотация: | Приведена классификация распределенных вычислительных систем при учете специфики облачных, грид-, кластерных и других видов коммунальных, параллельных и распределенных вычислений. Рекомендовано использовать в качестве базовых гибридные архитектуры, сочетающие положительные свойства облачных, грид- и кластерных распределенных вычислительных систем. Дополнена концепция организации распределенных сетевых вычислений как сервисов, реализуемых по требованию клиента. | |
| Дата издания: | 2018 | |
| Дата загрузки: | 26.11.2019 | |
| Издательство: | Изд. ПГУ | |
| Название: | Directly executable formal models of middleware for MANET and Cloud Networking and Computing |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2016 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Formal and conceptual definitions of the hybrid model of distributed computings in networks |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2015 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Application of artificial intelligence techniques to the design of intelligent external and mass storage management systems |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 1993 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | The use of the methods of artificial intelligence for the design of intellectual systems of control of external and mass computer memory |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 1991 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Structural Approach to Design of Multiprocessor Database Management System. |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 1983 | |
| Дата загрузки: | 22.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | АНАЛИЗ ФУНКЦИОНИРОВАНИЯ СТОХАСТИЧЕСКИХ СИСТЕМ НА ОСНОВЕ КОМПОНЕНТНОГО МОДЕЛИРОВАНИЯ |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Электронная версия печатного издания | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Аннотация: | Построение стохастических моделей и организация компонентного моделирования при анализе функционального моделирования | |
| Дата издания: | 2019 | |
| Дата загрузки: | 30.11.2019 | |
| Издательство: | Изд. ПГУ | |
| Название: | Organization of autonomous agent-robots interactions for managing a very large distributed database system in a metacomputer environment |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2020 | |
| Дата загрузки: | 24.11.2020 | |
| Издательство: | IEEE | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | АНАЛИЗ ЯЗЫКОВОЙ ПРИНАДЛЕЖНОСТИ ПОЛЬЗОВАТЕЛЯ НА ОСНОВЕ ЕГО НЕДАВНЕЙ АКТИВНОСТИ |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2019 | |
| Дата загрузки: | 27.11.2020 | |
| Издательство: | Пензенский государственный университет (Пенза) | |
| Название: | ОРГАНИЗАЦИЯ ФУНКЦИОНИРОВАНИЯ ОБЛАЧНО- СЕТЕВЫХ РАСПРЕДЕЛЕННЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ С АРХИТЕКТУРОЙ «АГЕНТЫ КАК СЕРВИСЫ» |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2020 | |
| Дата загрузки: | 25.11.2020 | |
| Издательство: | Пензенский государственный университет (Пенза) | |
| Название: | ОБЛАЧНО-СЕТЕВЫЕ АГЕНТНО-ОРИЕНТИРОВАННЫЕ ВЫЧИСЛИТЕЛЬНЫЕ СРЕДЫ ТИПА AAAS - AGENT AS A SERVICE |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2019 | |
| Дата загрузки: | 27.11.2020 | |
| Издательство: | Пензенский государственный университет (Пенза) | |
| Название: | СПОСОБ КРАУЛИНГА И ПЕРВИЧНОЙ ОЧИСТКИ ЮРИДИЧЕСКИХ ДАННЫХ ИЗ ОТКРЫТЫХ ИСТОЧНИКОВ. |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2020 | |
| Дата загрузки: | 25.11.2020 | |
| Издательство: | Издательство ПГУ | |
| Название: | ORGANIZATION AND RESEARCH OF PRIORITY MODES IN A DISTRIBUTED COMPUTING SYSTEM OF A CLOUD-GRID TYPE WITH DATABASE REPLICATION. |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2020 | |
| Дата загрузки: | 26.11.2020 | |
| Издательство: | Пензенский Государственный Университет | |
| Название: | 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" автоматически
| ||
| Название: | КОНЦЕПТУАЛЬНЫЕ МОДЕЛИ ФУНКЦИОНАЛЬНОЙ АРХИТЕКТУРЫ МОБИЛЬНЫХ РЕКОНФИГУРИРУЕМЫХ АГЕНТНО-ОРИЕНТИРОВАННЫХ РАСПРЕДЕЛЕННЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ. |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2021 | |
| Дата загрузки: | 31.10.2021 | |
| Издательство: | Global Science Center LP | |
| Название: | Virtual assistant constructing method for metrological measurements |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2021 | |
| Дата загрузки: | 12.11.2021 | |
| Издательство: | Journal of Physics | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Dynamic topology transformation of cloud-network computer systems: Conceptual level |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2021 | |
| Дата загрузки: | 13.11.2021 | |
| Издательство: | Global Science Center LP | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | ИНСТРУМЕНТАРИЙ CI/CD: DOCKER + KUBERNETES |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Учебно-методическое пособие | |
| Целевое назначение: | Учебное | |
| Целевая аудитория: | Учащийся | |
| Дата издания: | 2021 | |
| Дата загрузки: | 16.11.2021 | |
| Издательство: | Изд. ПГУ | |
| Название: | ИНСТРУМЕНТАРИЙ CI/CD: DOCKER + KUBERNETES |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Учебно-методическое пособие | |
| Целевое назначение: | Учебное | |
| Целевая аудитория: | Учащийся | |
| Дата издания: | 2021 | |
| Дата загрузки: | 16.11.2021 | |
| Издательство: | Изд. ПГУ | |
| Название: | Алгоритмика, логика и моделирование агентно-базированных метакомпьютерных систем с повышенным уровнем параллельности |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Аннотация: | Актуальность и цели . Предложено проводить разработку агентно-базированных сетевых метакомпьютерных систем и приложений на основе логических методов и связанных с ними концептуальных графических моделей, что позволяет сочетать императивные и декларативные методы при проектировании функциональной архитектуры и программного обеспечения метакомпьютера. Предложены формализованные спецификации для создания агентно-базированных сетевых приложений на основе концептуальных и логических моделей искусственного интеллекта. Для обозначения сетевой среды, в которой разворачивается сценарий действий, выбран термин «метакомпьютер». Другое название - облачно-сетевое приложение - в принципе означает то же самое, но отличается дополнительным учетом терминологии из области современных сетевых технологий в явной форме. В связи с ростом значения глобальных вычислительных сетей в науке и образовании проблема создания крупномасштабных приложений является актуальной. Предложена функциональная организация метакомпьютерных агентно-базированных сетевых распределенных вычислений, реализующих основные конструкции распределенного программирования, где сеть рассматривается реально как компьютер с распределенным программным управлением на основе парадигмы передачи сообщений ( message-driven computing ), а не как средство реализации простейших клиент-серверных или master-slave (мастер-слуга) приложений. Целью работы является повышение уровня параллельности при обработке данных в метакомпьютерных системах за счет организации конвейерного перемещения сообщений по сети. Материалы и методы . В качестве основных методов применяются концептуальные модели, логико-алгебраические операционные модели, логические сети Петри. Результаты . Предложены концептуальные графы распределенных алгоритмов и логико-алгебраические операционные выражения, пригодные для использования в качестве непосредственно исполнимых спецификаций, разработан метод перехода от концептуальных графов к исполнимым спецификациям, определяющим функциональную архитектуру метакомпьютера. Разработаны имитационные модели для распределенных алгоритмов. Выводы . Практическая реализация изложенных концепций и моделей позволит повысить уровень параллельности при работе агентно-базированных виртуальных метакомпьютерных вычислительных систем за счет конвейерной организации прохождения сообщений. | |
| Дата издания: | 2022 | |
| Дата загрузки: | 06.11.2022 | |
| Издательство: | Изд. ПГУ | |
| Название: | Реализация агентно-базированных метакомпьютерных систем и приложений |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2022 | |
| Дата загрузки: | 09.11.2022 | |
| Издательство: | Юго-Западный государственный университет (Курск) | |
| Название: | Разработка сетевых агентно-базированных приложений на основе метакомпьютерной технологии |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2021 | |
| Дата загрузки: | 06.11.2022 | |
| Издательство: | ПГУ | |
| Название: | Методы и модели интеллектуализации вычислительных и киберфизических систем |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Учебно-методическое пособие | |
| Целевое назначение: | Учебное | |
| Целевая аудитория: | Учащийся | |
| Дата издания: | 2022 | |
| Дата загрузки: | 06.11.2022 | |
| Издательство: | Изд. ПГУ | |
| Название: | Методы и технологии разработки сетевых приложений для распределенных вычислительных систем |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Учебно-методическое пособие | |
| Целевое назначение: | Учебное | |
| Целевая аудитория: | Учащийся | |
| Дата издания: | 2022 | |
| Дата загрузки: | 18.11.2022 | |
| Издательство: | Изд. ПГУ | |
| Название: | Языки интегрированных запросов и параллельная обработка данных |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Учебно-методическое пособие | |
| Целевое назначение: | Учебное | |
| Целевая аудитория: | Учащийся | |
| Дата издания: | 2022 | |
| Дата загрузки: | 18.11.2022 | |
| Издательство: | Изд. ПГУ | |
| Название: | Методы и технологии решения задач на параллельных, кластерных и распределенных вычислительных системах |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Учебно-методическое пособие | |
| Целевое назначение: | Учебное | |
| Целевая аудитория: | Учащийся | |
| Дата издания: | 2022 | |
| Дата загрузки: | 06.11.2022 | |
| Издательство: | Изд. ПГУ | |
| Название: | Synthesis of the Functional Architecture of Agent-based Computing Systems when Using Conceptual Models of Artificial Intelligence |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2021 | |
| Дата загрузки: | 24.11.2022 | |
| Издательство: | IEEE | |
| Название: | Представление и структурирование знаний в семантико-ориентированной вычислительной среде. Часть I. Интеграция концептуальных графов и логических сетей на основе формализации структурированных ситуаций |
|
| Тематика: | техника | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2023 | |
| Дата загрузки: | 02.11.2023 | |
| Издательство: | Изд. ПГУ | |
| Название: | Реализация масштабируемых интеллектуальных систем и приложений на базе мобильных агентов |
|
| Тематика: | техника | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2023 | |
| Дата загрузки: | 02.11.2023 | |
| Издательство: | Изд. ПГУ | |
| Название: | Реализация агентно-базированных метакомпьютерных систем и приложений |
|
| Тематика: | техника | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2022 | |
| Дата загрузки: | 15.11.2023 | |
| Издательство: | ФГБОУ ВО "Рязанский государственный радиотехнический университет" | |
| Название: |
|
|
| Тематика: | ||
| Вид ресурса: | ||
| Тип ресурса: | ||
| Дата загрузки: | ||
| Название: | Интеллектуальная обработка информации |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Учебно-методическое пособие | |
| Целевое назначение: | Учебное | |
| Целевая аудитория: | Учащийся | |
| Дата издания: | 2023 | |
| Дата загрузки: | 03.11.2023 | |
| Издательство: | Изд. ПГУ | |
| Название: | Когнитивное моделирование информационного обеспечения игрового автоматизированного обучения |
|
| Тематика: | техника | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2022 | |
| Дата загрузки: | 04.11.2023 | |
| Издательство: | Юго-Западный государственный университет | |
| Название: | Метод оценки и прогнозирования экономических рисков предприятия на основе интеллектуального анализа данных |
|
| Тематика: | техника | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2022 | |
| Дата загрузки: | 04.11.2023 | |
| Издательство: | Юго-Западный государственный университет | |
| Название: | Биоинспирированные стратегии организации растущих распределенных баз данных |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2023 | |
| Дата загрузки: | 27.09.2024 | |
| Издательство: | Издательство: Пензенский государственный технологический университет (Пенза) | |
| Название: | ГОЛОСОВОЙ АССИСТЕНТ "ВИКА" |
|
| Тематика: | техника | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научно-популярное | |
| Целевая аудитория: | Исследователь | |
| Аннотация: | Разработан и описывается мультиплатформенный голосовой ассистент для управления системной оболочкой компьютера и отслеживания его ресурсов посредством голосовых команд. В функционал голосового ассистента входит также смарт-мониторинг системы умного дома на основе микропроцессорной технологии. Анализ и синтез речи осуществляется при помощи нейросетей. | |
| Дата издания: | 2023 | |
| Дата загрузки: | 28.10.2024 | |
| Издательство: | ФГБОУ ВО "Рязанский государственный радиотехнический университет" | |
| Название: | О ПРОГРАММНОЙ РЕАЛИЗАЦИИ КОГНИТИВНЫХ ИНТЕРОПЕРАБЕЛЬНЫХ АГЕНТНО-БАЗИРОВАННЫХ СИСТЕМ |
|
| Тематика: | техника | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2024 | |
| Дата загрузки: | 28.10.2024 | |
| Издательство: | Юго-Западный государственный университет (Курск) | |
| Название: | Реализация управляемой приложением функциональной архитектуры пиринговой распределенной вычислительной системы, определяемой концептуальными и логическими моделями искусственного интеллекта. I. Декларативный и логический подходы |
|
| Тематика: | техника | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2024 | |
| Дата загрузки: | 28.10.2024 | |
| Издательство: | Изд. ПГУ | |
| Название: | Представление и структурирование знаний в семантико-ориентированной вычислительной среде. Часть II. Интерпретации концептуальных событийных сетевых моделей для заданных предметных областей |
|
| Тематика: | техника | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2023 | |
| Дата загрузки: | 28.10.2024 | |
| Издательство: | Изд. ПГУ | |
| Название: | Реализация управляемой приложением функциональной архитектуры пиринговой распределенной вычислительной системы, определяемой концептуальными и логическими моделями искусственного интеллекта.II.Декларативно-императивный и логико-алгебраический подходы |
|
| Тематика: | техника | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2024 | |
| Дата загрузки: | 28.10.2024 | |
| Издательство: | Изд. ПГУ | |
| Название: | Интеллектуализация и интеграция систем и сетей хранения и обработки данных | 
|
| Тематика: | техника | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Учебное пособие | |
| Целевое назначение: | Информационное | |
| Целевая аудитория: | Учащийся | |
| Дата издания: | 2023 | |
| Дата загрузки: | 29.10.2024 | |
| Издательство: | Изд. ПГУ | |
| Название: | Когнитивная пиринговая инфраструктура для организации коллективной работы над проектами на основе agile-методологии |
|
| Тематика: | техника | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2024 | |
| Дата загрузки: | 24.10.2025 | |
| Издательство: | Юго-Западный государственный университет (Курск) | |
| Название: | Взаимодействие когнитивных и реактивных агентов в интеллектуальной вычислительной системе: операционная cемантика |
|
| Тематика: | техника | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2024 | |
| Дата загрузки: | 24.10.2025 | |
| Издательство: | Юго-Западный государственный университет (Курск) | |
| Название: | Взаимодействие когнитивных и реактивных агентов в интеллектуальной вычислительной системе: принципы организации |
|
| Тематика: | техника | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2025 | |
| Дата загрузки: | 24.10.2025 | |
| Издательство: | Юго-Западный государственный университет (Курск) | |
| Название: | Charger webviewer: инновационное веб-приложение для визуализации и взаимодействия с графами |
|
| Тематика: | техника | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Аннотация: | В условиях быстрого роста объемов данных и потребности в эффективной визуализации веб-приложение CharGer WebViewer является мощным инструментом для работы с графиками в концептуальном графическом редакторе intelligent CharGer. Он позволяет пользователям загружать графики из XML-файлов, визуализировать их с помощью технологий SVG и автоматически генерировать правила на языке SWI-Prolog. CharGer WebViewer обеспечивает интерактивное взаимодействие с графиками, что способствует более глубокому пониманию данных и облегчает процесс разработки логических программ. Приложение предназначено для разработчиков, исследователей и студентов, предоставляя им возможность эффективно анализировать и визуализировать данные. | |
| Дата издания: | 2025 | |
| Дата загрузки: | 25.10.2025 | |
| Издательство: | Изд. ПГУ | |