Автор: Пащенко Дмитрий Владимирович

Название:09.03.01 Информатика и вычислительная техника. Вычислительные машины, комплексы, системы и сети (4 года-очная форма-для поступивших до 2015 г. включ.)
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:
Целевое назначение:Нормативное производственно-практическое
Целевая аудитория:Преподаватель
Дата издания:2016
Дата загрузки:03.08.2017
Издательство:ПГУ
Название:09.03.01 Информатика и вычислительная техника. Вычислительные машины, комплексы, системы и сети (4 года-очная форма-для поступивших до 2015 г. включ.)
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:
Целевое назначение:Нормативное производственно-практическое
Целевая аудитория:Преподаватель
Дата издания:2016
Дата загрузки:03.08.2017
Издательство:ПГУ
Название:09.03.01 Информатика и вычислительная техника. Вычислительные машины, комплексы, системы и сети
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:
Целевое назначение:Нормативное производственно-практическое
Целевая аудитория:Преподаватель
Дата издания:2014
Дата загрузки:31.10.2018
Издательство:Изд. ПГУ
Название:09.03.01 Информатика и вычислительная техника. Вычислительные машины, комплексы, системы и сети (4 года-очная форма-для поступивших с 2016 г.)
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:
Целевое назначение:Нормативное производственно-практическое
Целевая аудитория:Преподаватель
Аннотация:УЧЕБНЫЙ ГРАФИК. Направление подготовки: 09.03.01 "Информатика и вычислительная техника". Профиль подготовки: "Вычислительные машины, комплексы, системы и сети".
Дата издания:2016
Дата загрузки:06.04.2018
Издательство:ПГУ
Название:09.03.01 Информатика и вычислительная техника. Вычислительные машины, комплексы, системы и сети (4 года-очная форма-для поступивших с 2016 г.)
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:
Целевое назначение:Нормативное производственно-практическое
Целевая аудитория:Преподаватель
Дата издания:2016
Дата загрузки:31.10.2018
Издательство:ПГУ
Название:09.03.01 Информатика и вычислительная техника. Вычислительные машины, комплексы, системы и сети (4 года-очная форма-для поступивших с 2016 г.)
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:
Целевое назначение:Нормативное производственно-практическое
Целевая аудитория:Преподаватель
Аннотация:УЧЕБНЫЙ ПЛАН. Направление подготовки: 09.03.01 "Информатика и вычислительная техника". Профиль подготовки: "Вычислительные машины, комплексы, системы и сети".
Дата издания:2016
Дата загрузки:06.04.2018
Издательство:ПГУ
Название:09.03.01 Информатика и вычислительная техника. Программное обеспечение средств вычислительной техники и автоматизированных систем (4 года-очная форма, прикладной-для поступивших с 2016 г.)
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:
Целевое назначение:Нормативное производственно-практическое
Целевая аудитория:Преподаватель
Дата издания:2016
Дата загрузки:31.10.2018
Издательство:ПГУ
Название:09.03.01 Информатика и вычислительная техника. Программное обеспечение средств вычислительной техники и автоматизированных систем (4 года-очная форма, прикладной-для поступивших с 2016 г.)
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:
Целевое назначение:Нормативное производственно-практическое
Целевая аудитория:Преподаватель
Дата издания:2016
Дата загрузки:06.04.2018
Издательство:ПГУ
Название:09.03.01 Информатика и вычислительная техника. Программное обеспечение средств вычислительной техники и автоматизированных систем (4 года-очная форма, прикладной-для поступивших с 2016 г.)
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:
Целевое назначение:Нормативное производственно-практическое
Целевая аудитория:Преподаватель
Дата издания:2016
Дата загрузки:06.04.2018
Издательство:ПГУ
Название:09.04.01 Информатика и вычислительная техника. Вычислительные машины, комплексы, системы и сети (2 года-очная форма-для поступивших с 2015 г.)
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:
Целевое назначение:Нормативное производственно-практическое
Целевая аудитория:Преподаватель
Дата издания:2015
Дата загрузки:31.10.2018
Издательство:ПГУ
Название:09.04.01 Информатика и вычислительная техника. Вычислительные машины, комплексы, системы и сети (2 года-очная форма-для поступивших с 2015 г.)
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:
Целевое назначение:Нормативное производственно-практическое
Целевая аудитория:Преподаватель
Дата издания:2015
Дата загрузки:06.04.2018
Издательство:ПГУ
Название:09.04.01 Информатика и вычислительная техника. Вычислительные машины, комплексы, системы и сети (2 года-очная форма-для поступивших с 2015 г.)
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:
Целевое назначение:Нормативное производственно-практическое
Целевая аудитория:Преподаватель
Дата издания:2015
Дата загрузки:06.04.2018
Издательство:ПГУ
Название:Характеристика ОПОП 09.06.01 Информатика и вычислительная техника. Направленность Вычислительные машины, комплексы и компьютерные сети
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:Нормативные документы
Целевое назначение:Нормативное производственно-практическое
Целевая аудитория:Преподаватель
Дата издания:2014
Дата загрузки:06.12.2018
Издательство:ПГУ
Название:09.03.01 Информатика и вычислительная техника. Вычислительные машины, комплексы, системы и сети (4 года-очная форма-для поступивших до 2015 г. включ.)
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:
Целевое назначение:Нормативное производственно-практическое
Целевая аудитория:Преподаватель
Дата издания:2016
Дата загрузки:31.10.2018
Издательство:ПГУ
Название:09.03.01 Информатика и вычислительная техника. Вычислительные машины, комплексы, системы и сети (4 года-очная форма-для поступивших до 2015 г. включ.)
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:
Целевое назначение:Нормативное производственно-практическое
Целевая аудитория:Преподаватель
Дата издания:2016
Дата загрузки:06.04.2018
Издательство:ПГУ
Название:09.03.01 Информатика и вычислительная техника. Вычислительные машины, комплексы, системы и сети (4 года-очная форма-для поступивших до 2015 г. включ.)
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:
Целевое назначение:Нормативное производственно-практическое
Целевая аудитория:Преподаватель
Дата издания:2016
Дата загрузки:06.04.2018
Издательство:ПГУ
Название:09.05.01 Применение и эксплуатация автоматизированных систем специального назначения. Эксплуатация вычислительных машин, комплексов, систем и сетей специального назначения (5 лет-очная форма-для поступивших с 2017 г.)
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:
Целевое назначение:Нормативное производственно-практическое
Целевая аудитория:Преподаватель
Дата издания:2017
Дата загрузки:31.10.2018
Издательство:ПГУ
Название:09.05.01 Применение и эксплуатация автоматизированных систем специального назначения. Эксплуатация ВМКСиССН (5 лет-очная форма-для поступивших до 2016 г. включ.)
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:Учебная программа
Целевое назначение:Нормативное производственно-практическое
Целевая аудитория:Преподаватель
Дата издания:2016
Дата загрузки:22.09.2020
Издательство:ПГУ
Название:09.05.01 Применение и эксплуатация автоматизированных систем специального назначения. Эксплуатация ВМКСиССН (5 лет-очная форма-для поступивших до 2016 г. включ.)
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:
Целевое назначение:Нормативное производственно-практическое
Целевая аудитория:Преподаватель
Дата издания:2016
Дата загрузки:06.04.2018
Издательство:ПГУ
Название:МОДЕЛИРОВАНИЕ АВТОМАТИЗИРОВАННОЙ ИНФОРМАЦИОННОЙ СИСТЕМЫ ГОСУДАРСТВЕННЫХ УСЛУГ
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:Статья
Целевое назначение:Научное
Целевая аудитория:Исследователь
Дата издания:2018
Дата загрузки:13.11.2018
Издательство:Пензенский государственный технологичесикй университет
Название:Новые информационные технологии и системы
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:Издания, выпущенный под собственной редакцией (сборники научных трудов)
Целевое назначение:Научное
Целевая аудитория:Исследователь
Аннотация:Сборник статей подготовлен на основе докладов, сделанных на XIV Международной научно-технической конференции «Новые информационные технологии и системы» (НИТиС2017), посвященной 70-летию кафедры «Вычислительная техника» и 30-летию кафедры «Системы автоматизированного проектирования». Конференция проведена Министерством образования и науки РФ и Пензенским государственным университетом при поддержке Российского фонда фундаментальных исследований, проект 17-07-20569. Доклады охватывают широкий спектр проблем в области проектирования и администрирования информационных систем и систем автоматизированного проектирования. Рассматриваются вопросы управления в социальных, экономических и технических системах. Представлены современные технологии хранения и обработки данных, информационные технологии в образовании. Обсуждаются вопросы математического моделирования в научных исследованиях, а также вопросы разработки программного и аппаратного обеспечения информационно-вычислительных систем и сетей и их информационной безопасности. Издание предназначено для инженеров и научных работников, а также обучающихся старших курсов, интересующихся вопросами современных информационных технологий
Дата издания:2017
Дата загрузки:17.11.2018
Издательство:Издательство ПГУ
Название:Implementation of time-triggered ethernet using colored Petri NET
Тематика:техника
Вид ресурса:электронное немультимедийное издание
Тип ресурса:Статья
Целевое назначение:Научное
Целевая аудитория:Исследователь
Дата издания:2017
Дата загрузки:16.11.2018
Издательство:IEEE
ИР получен из базы данных "Scopus" автоматически
Название: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
Издательство:ПГУ
Название:Интеграция методов концептуального и поведенческого моделирования дискретно-событийных систем: 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" автоматически
Название:Научная конференция Новые информационные технологии и системы (НИТИС-2017) с очным участием (с публикацией сборника в РИНЦ)
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:Научная конференция с очным участием (с публикацией сборника в РИНЦ)
Целевое назначение:Научное
Целевая аудитория:Исследователь
Дата издания:2018
Дата загрузки:26.11.2018
Издательство:ПГУ
Название:Associative Co-processor on the Basis of Programmable Logical Integrated Circuits for Special Purpose Computer Systems
Тематика:физико-математические науки
Вид ресурса:электронное немультимедийное издание
Тип ресурса:Статья
Дата издания:2018
Дата загрузки:06.11.2019
ИР получен из базы данных "Scopus" автоматически
Название:Use of the mass service theory elements while describing computing systems adaptive models with resource virtualization tecnology
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:Статья
Целевое назначение:Научное
Целевая аудитория:Исследователь
Дата издания:2018
Дата загрузки:20.11.2018
Издательство:Institute of Advanced Scientific Research
ИР получен из базы данных "Scopus" автоматически
Название:Scheduling queues in the Ethernet switch, considering the waiting time of frames
Тематика:физико-математические науки
Вид ресурса:электронное немультимедийное издание
Тип ресурса:Статья
Дата издания:2016
Дата загрузки:06.11.2019
ИР получен из базы данных "Scopus" автоматически
Название:Modelling of systems using a time-triggered ethernet
Тематика:физико-математические науки
Вид ресурса:электронное немультимедийное издание
Тип ресурса:Статья
Дата издания:2016
Дата загрузки:06.11.2019
ИР получен из базы данных "Scopus" автоматически
Название:Formal transformation inhibitory safe Petri nets into equivalent not inhibitory
Тематика:физико-математические науки
Вид ресурса:электронное немультимедийное издание
Тип ресурса:Статья
Дата издания:2015
Дата загрузки: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" автоматически
Название: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" автоматически
Название:Modeling of QoS in the industrial Ethernet switches
Тематика:физико-математические науки
Вид ресурса:электронное немультимедийное издание
Тип ресурса:Статья
Дата издания:2015
Дата загрузки:06.11.2019
ИР получен из базы данных "Scopus" автоматически
Название:The methodology for constructing the linear and linear-cyclic basic fragments by means of decomposition of PN-model
Тематика:физико-математические науки
Вид ресурса:электронное немультимедийное издание
Тип ресурса:Статья
Дата издания:2016
Дата загрузки:06.11.2019
ИР получен из базы данных "Scopus" автоматически
Название:Queueing Theory to Describe Adaptive Mathematical Models of Computational Systems with Resource Virtualization and Model Verification by Similarly Configured Virtual Server
Тематика:физико-математические науки
Вид ресурса:электронное немультимедийное издание
Тип ресурса:Статья
Целевое назначение:Научное
Целевая аудитория:Исследователь
Дата издания:2019
Дата загрузки:22.11.2019
Издательство:IEEE
ИР получен из базы данных "Scopus" автоматически
Название:ФОРМАЛИЗОВАННОЕ ОПИСАНИЕ ШИФРОВАНИЯ СООБЩЕНИЙ В МЕССЕНЖДЕРАХ С ИСПОЛЬЗОВАНИЕМ ТЕОРИИ АВТОМАТОВ
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:Статья
Целевое назначение:Научное
Целевая аудитория:Исследователь
Аннотация:This article describes the method of end-to-end encryption of messages in messaging apps using the automata theory, which are necessary for the visual representation of this mechanism. Interpretation of end-to-end encryption on event non-deterministic automaton allows to implement these methods not only by software, but also by hardware. Since at the present time there is a high probability of loss and falsification of personal data of users and storing the correspondence in a decrypted form on the network, such software methods of message encryption as symmetric and asymmetrical are used now; the distinctive features of each of which were described in this article. On the basis of these encryption methods, two protocols, which are the most reliable and frequently used in modern messaging apps, were considered. In one of the methods, a serious vulnerability was found. It is missing in another protocol due to the use of Double Ratchet and triple Diffie-Hellman. This vulnerability was described in this article. In the analysis of the protocols, the Diffie-Hellman algorithm and the AES-256 standard were detailed. The AES-256 standard is represented by a form of mathematical model using the automata theory, on the basis of which a hardware implementation of the encryption mechanism is possible.
Дата издания:2019
Дата загрузки:27.11.2019
Издательство:Общество с ограниченной ответственностью "Офорт" (Самара)
Название:ПРОГРАММНО-ИНФОРМАЦИОННАЯ СИСТЕМА ДЛЯ АНАЛИЗА ПУБЛИКАЦИЙ ПОЛЬЗОВАТЕЛЕЙ В СОЦИАЛЬНЫХ СЕТЯХ
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:Статья
Целевое назначение:Научное
Целевая аудитория:Исследователь
Дата издания:2019
Дата загрузки:27.11.2019
Издательство:Пензенский государственный технологический университет (Пенза)
Название:Development and research of means for the collection and reporting of open-source information for use in decision-making systems
Тематика:физико-математические науки
Вид ресурса:электронное немультимедийное издание
Тип ресурса:Статья
Дата издания:2019
Дата загрузки:20.01.2020
ИР получен из базы данных "Scopus" автоматически
Название:Search for a substring of characters using the theory of non-deterministic finite automata and vector-character architecture
Тематика:физико-математические науки
Вид ресурса:электронное немультимедийное издание
Тип ресурса:Статья
Дата издания:2020
Дата загрузки:20.04.2020
ИР получен из базы данных "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
Дата загрузки:20.04.2020
ИР получен из базы данных "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" автоматически
Название:Decomposition of Process Control Algorithms for Parallel Computing Systems Using Automata Models
Тематика:физико-математические науки
Вид ресурса:электронное немультимедийное издание
Тип ресурса:Статья
Целевое назначение:Научное
Целевая аудитория:Исследователь
Дата издания:2020
Дата загрузки:23.11.2020
Издательство:IEEE
ИР получен из базы данных "Scopus" автоматически