Автор: Дубинин Виктор Николаевич
| Название: | Сетевые модели распределенных систем обработки, хранения и передачи данных: монография | 
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Монография, изданная другими издательствами (наличие ISBN); Коллективная монография | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Преподаватель | |
| Дата издания: | 2013 | |
| Дата загрузки: | 11.11.2018 | |
| Издательство: | Приволжский Дом знаний | |
| Название: | Методика автоматической генерации систем функциональных блоков, реализующих человеко-машинный интерфейс для автоматизации цифровых подстанций МЭК 61850 |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2018 | |
| Дата загрузки: | 18.11.2018 | |
| Издательство: | Известия высших учебных заведений. Поволжский регион | |
| Название: | Towards formal verification for cyber-physically agnostic software: A case study |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2017 | |
| Дата загрузки: | 18.11.2018 | |
| Издательство: | IEEE Publisher | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Implementation of distributed semaphores in IEC 61499 with consensus protocols | 
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2018 | |
| Дата загрузки: | 18.11.2018 | |
| Издательство: | IEEE Publisher | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Формальная верификация киберфизических систем управления со случайными временными задержками |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2018 | |
| Дата загрузки: | 26.11.2018 | |
| Издательство: | Изд. ПГУ | |
| Название: | Реализация распределенных семафоров в архитектуре IEC61499 на основе алгоритмов для решения задач консенсуса в сети ненадежных процессов |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2018 | |
| Дата загрузки: | 26.11.2018 | |
| Издательство: | Изд. ПГУ | |
| Название: | Моделирование распределенных семафоров на основе протоколов PAXOS и RAFT в системе CPN TOOLs |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2018 | |
| Дата загрузки: | 26.11.2018 | |
| Издательство: | Изд. ПГУ | |
| Название: | Функционально-блочная реализация селектирующих сетей Петри |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2018 | |
| Дата загрузки: | 26.11.2018 | |
| Издательство: | Рязанский государственный университет имени С.А. Есенина (Рязань) | |
| Название: | Функционально-блочное моделирование системы защиты от перегрузок цифровых подстанций МЭК 61850 |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2018 | |
| Дата загрузки: | 26.11.2018 | |
| Издательство: | Рязанский государственный университет имени С.А. Есенина (Рязань) | |
| Название: | Онтологическое и графовое представления 3D-конструкций из LEGO-блоков |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2018 | |
| Дата загрузки: | 26.11.2018 | |
| Издательство: | Изд. ПГУ | |
| Название: | Представление функциональных блоков на языке Пролог |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2018 | |
| Дата загрузки: | 26.11.2018 | |
| Издательство: | Изд. ПГУ | |
| Название: |
|
|
| Тематика: | ||
| Вид ресурса: | ||
| Тип ресурса: | ||
| Дата загрузки: | ||
| Название: | On development of execution model for model transforming distributed substation automation control with ontology |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2017 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Ontology driven approach to generate distributed automation control from substation automation design |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2017 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Toward self-manageable and adaptive industrial cyber-physical systems with knowledge-driven autonomic service management |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2017 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Auto-generation of distributed automation software based on formal product line specification |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2017 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Formal modeling and verification of IEC 61499 function blocks on the basis of transition systems |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2016 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Automatic generation of cyber-physical software applications based on physical to cyber transformation using ontologies |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2016 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Automation services orchestration with function blocks: Web-service implementation and performance evaluation |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2016 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Synthesis of Safety Controllers for Distributed Automation Systems on the Basis of Reverse Safe Net Condition/Event Systems |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2015 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV-Modelling |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2015 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | IEC 61499 distributed control enhanced with cloud-based web-services |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2015 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Bridging service-oriented architecture and IEC 61499 for flexibility and interoperability |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2015 | |
| Дата загрузки: | 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" автоматически
| ||
| Название: | Toward Industrially Usable Agent Technology for Smart Grid Automation |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2015 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Neutralizing semantic ambiguities of function block architecture by modeling with ASM |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2015 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Migration from PLC to IEC 61499 Using Semantic Web Technologies |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2014 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Decision making for industrial agents in Smart Grid applications |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2014 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | On automatic generation of IEC61850/IEC61499 substation automation systems enabled by ontology |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2014 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Automatic generation of automation applications based on ontology transformations |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2014 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Enhancing distributed automation systems with efficiency and reliability by applying autonomic service management |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2014 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Function block implementation of service oriented architecture: Case study |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2014 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Automatically generated layered ontological models for semantic analysis of component-based control systems |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2013 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Semantics-robust design patterns for IEC 61499 |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2012 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Ontology-based design recovery and migration between IEC 61499 - Compliant tools |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2011 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | IEC 61499 ontology model for semantic analysis and code generation |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2011 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Refactoring of execution control charts in basic function blocks of the IEC 61499 standard |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2009 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | On definition of a formal model for IEC 61499 function blocks |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2008 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Sequential axiomatic model for execution of basic function blocks in IEC61499 |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2007 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Alternatives for execution semantics of IEC61499 |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2007 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Modelling and verification of IEC 61499 applications using prolog |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2006 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Towards a formal semantic model of IEC 61499 function blocks |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2006 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Rapid engineering and re-configuration of automation objects aided by formal modelling and verification |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2006 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Engineering of validatable automation systems based on an extension of UML combined with function blocks of IEC 61499 |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2005 | |
| Дата загрузки: | 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" автоматически
| ||
| Название: | Cloud-based framework for practical model-checking of industrial automation applications |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2015 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Speculative computation in IEC 61499 function blocks execution - Modeling and simulation |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2016 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Petri nets behavioral equivalence checking in SMV |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2016 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Formal verification of cyber-physical automation systems modelled with timed block diagrams |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2016 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Представления 3D-конструкций в LEGO на языке Пролог и их преобразования |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2018 | |
| Дата загрузки: | 07.11.2019 | |
| Издательство: | Издательство ПГУ | |
| Название: | Представление и выполнение запросов к онтологической модели функциональных блоков IEC 61499 на языке Пролог |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2019 | |
| Дата загрузки: | 07.11.2019 | |
| Издательство: | Издательство Рязанского государственного радиотехнического университета | |
| Название: | Реализация человеко-машинного интерфейса на базе Android-устройств для функционально-блочных систем управления на основе NxtStudio |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2019 | |
| Дата загрузки: | 07.11.2019 | |
| Издательство: | Издательство ПГУ | |
| Название: | Моделирование и реализация распределенных семафоров в архитектуре IEC 61499 на основе протоколов для достижения консенсуса в сети ненадежных процессов |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2018 | |
| Дата загрузки: | 07.11.2019 | |
| Издательство: | Издательство ПГУ | |
| Название: | Формальная семантика функциональных блоков МЭК 61499 с временными метками |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2019 | |
| Дата загрузки: | 07.11.2019 | |
| Издательство: | Издательство ПГУ | |
| Название: | Функционально-блочная реализация моделей переходов состояний |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2019 | |
| Дата загрузки: | 07.11.2019 | |
| Издательство: | Издательство ПГУ | |
| Название: | Преобразование описаний цифровых подстанций МЭК 61850 в модели переходов состояний систем защиты с использованием онтологий |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2019 | |
| Дата загрузки: | 26.11.2020 | |
| Издательство: | Тольяттинский государственный университет (Тольятти) | |
| Название: | Автоматическая генерация схем защиты от перегрузок для цифровых подстанций на основе AGG |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2018 | |
| Дата загрузки: | 07.11.2019 | |
| Издательство: | Издательство ПГТУ | |
| Название: | Towards formal ASM semantics of timed control systems for industrial CPS |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2019 | |
| Дата загрузки: | 08.11.2019 | |
| Издательство: | IEEE Publisher | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Automatic generation of control flow from requirements for distributed smart grid automation control |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2020 | |
| Дата загрузки: | 01.12.2020 | |
| Издательство: | IEEE | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Implementation of state transition models in IEC 61499 and its use for recognition and selection of sequences of events and objects |
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2019 | |
| Дата загрузки: | 02.12.2020 | |
| Издательство: | IEEE | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Программная модель PnP-манипулятора на основе сервис-ориентированной архитектуры |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2020 | |
| Дата загрузки: | 26.11.2020 | |
| Издательство: | Издательство ПГУ | |
| Название: | Моделирование производственной системы FESTO на основе продукционных правил в среде CLIPS |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2020 | |
| Дата загрузки: | 26.11.2020 | |
| Издательство: | Издательство ПГУ | |
| Название: | Использование языка SPARQL в онтологическом моделировании мультиагентных систем в семантическом Web |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2020 | |
| Дата загрузки: | 26.11.2020 | |
| Издательство: | Издательство ПГУ | |
| Название: | Мониторинг сетей Smart Grid с использованием метода Process Mining |
|
| Тематика: | техника | |
| Вид ресурса: | мультимедийный ресурс | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2019 | |
| Дата загрузки: | 27.11.2020 | |
| Издательство: | Издательство ПГУ | |
| Название: | Структурное сопоставление RDFS-онтологий с использованием языка SPARQL |
|
| Тематика: | техника | |
| Вид ресурса: | мультимедийный ресурс | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2020 | |
| Дата загрузки: | 26.11.2020 | |
| Издательство: | Издательство Рязанского государственного радиотехнического университета | |
| Название: | Онтологическое моделирование сетей Петри с использованием языка SPARQL |
|
| Тематика: | техника | |
| Вид ресурса: | мультимедийный ресурс | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2020 | |
| Дата загрузки: | 26.11.2020 | |
| Издательство: | Издательство Рязанского государственного радиотехнического университета | |
| Название: | Реализация графодинамической модели задачи взаимного исключения на языке SPARQL |
|
| Тематика: | техника | |
| Вид ресурса: | мультимедийный ресурс | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2020 | |
| Дата загрузки: | 26.11.2020 | |
| Издательство: | Издательство ПГУ | |
| Название: | NCES-модель PnP-манипулятора |
|
| Тематика: | техника | |
| Вид ресурса: | мультимедийный ресурс | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2020 | |
| Дата загрузки: | 26.11.2020 | |
| Издательство: | Издательство ПГУ | |
| Название: | Сервис-ориентированная модель системы транспортировки багажа аэропорта |
|
| Тематика: | техника | |
| Вид ресурса: | мультимедийный ресурс | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2020 | |
| Дата загрузки: | 26.11.2020 | |
| Издательство: | Издательство ПГТУ | |
| Название: | Разработка распределенных систем автоматики на основе функциональных блоков IEC 61499 в системе NxtStudio |
|
| Тематика: | техника | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Лабораторный практикум | |
| Целевое назначение: | Учебное | |
| Целевая аудитория: | Учащийся | |
| Дата издания: | 2020 | |
| Дата загрузки: | 03.03.2021 | |
| Издательство: | ПГУ | |
| Название: | A formal model of IEC 61499-based Industrial automation architecture supporting time-aware computations |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2021 | |
| Дата загрузки: | 19.11.2021 | |
| Издательство: | Institute of Electrical and Electronics Engineers Inc | |
| Название: | Программные модели мехатронных систем на основе сервис-ориентированной архитектуры |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2021 | |
| Дата загрузки: | 19.11.2021 | |
| Издательство: | Издательство ПГУ | |
| Название: | Онтологическое моделирование раскрашенных сетей Петри |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2021 | |
| Дата загрузки: | 19.11.2021 | |
| Издательство: | Издательство ПГУ | |
| Название: | Моделирование раскрашенных сетей Петри с использованием языка SPARQL |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2021 | |
| Дата загрузки: | 19.11.2021 | |
| Издательство: | Издательство Рязанского государственного радиотехнического университета | |
| Название: | Моделирование и тестирование недетерминированных автоматов с использованием языка Moscow ML в системе HOL |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2021 | |
| Дата загрузки: | 19.11.2021 | |
| Издательство: | Издательство ПГТУ | |
| Название: | Toward Dependable Model-Driven Design of Low-Level Industrial Automation Control Systems |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2022 | |
| Дата загрузки: | 22.11.2022 | |
| Издательство: | IEEE Publisher | |
| Название: | Моделирование раскрашенных сетей Петри с использованием технологий семантического Web |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2022 | |
| Дата загрузки: | 22.11.2022 | |
| Издательство: | Издательство Пензенского государственного университета. Технические науки | |
| Название: | Представление и преобразование онтологических описаний киберфизических систем с использованием раскрашенных сетей Петри |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2022 | |
| Дата загрузки: | 22.11.2022 | |
| Издательство: | Курский государственный университет (Курск) | |
| Название: | Учебный демонстратор технологий стандарта IEC 61499 на основе контроллера Iceblock |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2022 | |
| Дата загрузки: | 22.11.2022 | |
| Издательство: | Издательство ПГУ | |
| Название: | Конвертер автоматных моделей процессов в функционально-блочные модели оборудования |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2022 | |
| Дата загрузки: | 22.11.2022 | |
| Издательство: | Издательство ПГУ | |
| Название: | Конвертер автоматных моделей процессов в функционально-блочные модели мониторов последовательностей |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2022 | |
| Дата загрузки: | 22.11.2022 | |
| Издательство: | Издательство ПГУ | |
| Название: | Обучение онтологии знаниям о стандарте IEC 61499 |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2022 | |
| Дата загрузки: | 22.11.2022 | |
| Издательство: | Издательство Рязанского государственного радиотехнического университета | |
| Название: | An interactive learning approach on digital twin for deriving the controller logic in IEC 61499 standard |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2022 | |
| Дата загрузки: | 22.11.2022 | |
| Издательство: | IEEE Publisher | |
| Название: | Process mining in industrial control system |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2022 | |
| Дата загрузки: | 02.11.2023 | |
| Издательство: | IEEE Publisher | |
| Название: | Automatic Generation of Data centre Digital Twins for Virtual Commissioning of their Automation Systems |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2023 | |
| Дата загрузки: | 14.11.2023 | |
| Издательство: | IEEE Publisher | |
| Название: | Plant model generation from event log using ProM for formal verification of CPS |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2022 | |
| Дата загрузки: | 02.11.2023 | |
| Издательство: | arXiv.org | |
| Название: | Методика автоматической генерации MATLAB/SIMULINK моделей цифровых подстанций МЭК 61850 |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2023 | |
| Дата загрузки: | 02.11.2023 | |
| Издательство: | Издательство ПГУ | |
| Название: | Онтологическое моделирование тестирующей станции производственной системы FESTO |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2023 | |
| Дата загрузки: | 02.11.2023 | |
| Издательство: | Издательство ПГУ | |
| Название: | Об использовании метода Process Mining в лексическом анализе |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2023 | |
| Дата загрузки: | 02.11.2023 | |
| Издательство: | Издательство ПГУ | |
| Название: | Онтология сетевого формализма |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2023 | |
| Дата загрузки: | 02.11.2023 | |
| Издательство: | Издательство Рязанского государственного радиотехнического университета | |
| Название: | Генерация формальных моделей производственной системы FESTO на основе Process Mining |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2022 | |
| Дата загрузки: | 02.11.2023 | |
| Издательство: | Издательство ПГУ | |
| Название: | Программная имитационная модель тестирующей станции производственной системы FESTO |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2022 | |
| Дата загрузки: | 02.11.2023 | |
| Издательство: | Издательство ПГУ | |
| Название: | Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2023 | |
| Дата загрузки: | 03.11.2023 | |
| Издательство: | Springer Verlag | |
| Название: | ПРОГРАММНАЯ ИМИТАЦИОННАЯ МОДЕЛЬ ТЕСТИРУЮЩЕЙ СТАНЦИИ ПРОИЗВОДСТВЕННОЙ СИСТЕМЫ FESTO |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2023 | |
| Дата загрузки: | 30.11.2023 | |
| Издательство: | Изд. ПГУ | |
| Название: | A framework for generation of monitor and plant model from event logs using process mining for formal verification of event-driven systems |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2024 | |
| Дата загрузки: | 02.11.2024 | |
| Издательство: | IEEE Publisher | |
| Название: | Formal verification of nonfunctional requirements of overall instrumentation and control architectures |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2024 | |
| Дата загрузки: | 02.11.2024 | |
| Издательство: | IEEE Publisher | |
| Название: | Моделирование производственных систем с использованием языка SPARQL |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2023 | |
| Дата загрузки: | 03.11.2024 | |
| Издательство: | Пензенский государственный технологический университет (Пенза) | |
| Название: | Использование языка SPARQL в реализации графодинамической модели для поиска кратчайших путей в графе |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2024 | |
| Дата загрузки: | 03.11.2024 | |
| Издательство: | ФГБОУ ВО "Рязанский государственный радиотехнический университет" | |
| Название: | Онтология типизированных атрибутных графов |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2024 | |
| Дата загрузки: | 15.11.2025 | |
| Издательство: | ПГУ | |
| Название: | Моделирование и верификация производственной системы FESTO в ChatGPT |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2025 | |
| Дата загрузки: | 16.11.2025 | |
| Издательство: | Издательство Рязанского государственного радиотехнического университета | |