Материал: Математические методы системного анализа и управления информационно-вычислительными, управляющими и сетевыми системами. Проскурин Д.К., Сысоев Д.В

Скачать файл

Заказать новую работу

Внимание! Если размещение файла нарушает Ваши авторские права, то обязательно сообщите нам

ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В СТРОИТЕЛЬНЫХ, СОЦИАЛЬНЫХ И ЭКОНОМИЧЕСКИХ СИСТЕМАХ

кибернетическая модель. Она оснащена

тридцатью моторами, помогающими кибер-

модели двигать руками, ходить, а еще восемь

моторов отвечают за эмоции: гнев, удивле-

ние и так далее. Также существует робот,

который еще не до конца доработан. Он спо-

собен разговаривать, а самое интересное в

этом то, что рот двигается, подражая речи

Рис.1. Схема простой нейросети

человека.

Таким образом, исследования в кибер-

Первоначальной

целью

подхода

нетике проводятся уже на протяжении мно-

гих лет и приносят прекрасные результаты.

нейронным

сетям было решение

проблем

Она безусловно занимает одно из главных

таким же способом, как их решает мозг че-

мест в претенденты наук будущего. Даже

ловека. Однако со временем внимание пере-

несмотря на захватывающие

перспективы

шло к выполнению конкретных задач, что

для науки, промышленности

и экономики,

привело

отклонениям

от

биологии.

трудно предсказать достижения, которые ки-

настоящее время искусственные нейронные

бернетика может сделать в будущем. Про-

сети используются

по

целому ряду задач,

гресс в техническом прогрессе является ре-

включая компьютерное зрение, распознава-

зультатом, прежде всего таланта, изобрета-

ние речи, машинный перевод, фильтрацию

тельности и усилий человека - этого велико-

социальных сетей, игровые доски и видеоиг-

го регенератора и мастера природы.

ры и медицинскую диагностику [8].

Кибернетика в чистом виде изучает си-

Библиографический список

стемы управления, чтобы понять основные

1. Шакиров А.А. Технологии больших

принципы,

которые

лежат

основе таких

данных в области информационной безопас-

вещей как: искусственный интеллект, робо-

ности / А.А. Шакиров, Р.С. Зарипова

тотехника,

компьютерное

зрение;

системы

International Journal of Advanced Studies

управления; новая кибернетика; теория диа-

Computer Engineering. – 2018. –№2. –С.74-77.

лога. Ее

участие в

биологии

также играет

2. Пырнова О.А. Технологии искус-

значительную роль. Она изучает кибернети-

ственного интеллекта в образовании / О.А.

ческие системы, присутствующие в процес-

Пырнова, Р.С. Зарипова / Russian Journal of

сах организмов. Во-первых,

все

внимание

Education and Psychology. – 2019. – Т. 10. –

сосредоточено на то, как живые организмы

№3. – С. 41-44.

адаптируются к своему местообитанию и как

3. Пырнова О.А. Искусственный ин-

генетическая информация передается из по-

теллект в камерах смартфонов / О.А. Пырно-

коления в поколение. Также данное направ-

ва, Р.С. Зарипова / Информационные техно-

ление присутствует в таких сферах, как ком-

логии в строительных, социальных и эконо-

пьютерные технологии (робототехника, мо-

мических системах. – 2019. – № 1 (15). – С.

делирование), инженерия (эргономика, адап-

82-84.

тивные системы), менеджмент (предприни-

4. Хайруллин А.М. Обучение будущих

мательская

кибернетика,

организационная

инженеров робототехнике – вложение в кон-

кибернетика), математика (динамически си-

курентоспособность страны / А.М. Хайрул-

стемы, информационные системы), психоло-

лин, Р.С. Зарипова / Сборник статей ХХ Все-

гия (системная психология, психокибернети-

российской студенческой научно - практиче-

ка), социология (меметика, социокибернети-

ской конференции Нижневартовского госу-

ка).

дарственного университета. – 2018. – С.141-

наши дни

кибернетика

является

142.

очень востребованной. Одним из последних

	изобретений HRP-4C является черноволосая	5. Пырнова О.А. Применение робото-
	изобретений HRP-4C является черноволосая	техники в медицине / О.А. Пырнова, Р.С. За-
		техники в медицине / О.А. Пырнова, Р.С. За-

ВЫПУСК № 3-4 (17-18), 2019		ISSN 2618-7167
рипова / Сборник статей ХХ Всероссийской	пова, Р.С. Зарипова / Состояние и перспек-
студенческой научно - практической конфе-	тивы развития ИТ - образования: Сборник
ренции Нижневартовского государственного	докладов и научных статей Всероссийской
университета. – 2018. – С. 384-386.	научно - практической конференции. – Че-
6. Шакиров А.А. Обучение компью-	боксары, 2018. – С. 193-198.
терному моделированию с использованием	9. Зарипова Р.С. Использование сред
интерактивных сред / А.А. Шакиров, Р.С.	схемотехнического проектирования и маши-
Зарипова / International Journal of Advanced	ностроительных	САПР для моделирования
Studies in Education and Sociology. –2019. – №	виртуальных прототипов приборов / Р.С. За-
1. – С. 56-59.	рипова, А.А. Шакиров / International Journal
7. Байнов А.М. Робототехника и ком-	of Advanced Studies. – 2018. – Т. 8. – № 4-2. –
пьютерное моделирование: задачи и пер-	С. 29-32.
спективы применения / А.М. Байнов, Р.С.	10. Зарипова Р.С. Особенности и тен-
Зарипова / International Journal of Advanced	денции развития современного инженерного
Studies in Computer Engineering. – 2018. – №	образования / Р.С. Зарипова, О.А. Пырнова /
2. – С. 4-7.	Современные	исследования социальных
8. Антипова Т.С. Компьютерное моде-	проблем. – Красноярск: Научно - Инноваци-
лирование цифровых приборов / Т.С. Анти-	онный Центр, 2018. – Т.9. – №8-2. – С.43-46.
УДК 681.3:516.8
Воронежский государственный университет	Voronezh State University
Канд. техн. наук, доцент Н.Г. Аснина	Ph. D. in Engineering, associate professor N.G. Asnina
E-mail: andrey050569@yandex.ru	E-mail: andrey050569@yandex.ru
Студентка факультета ПММ Т.В. Еремина	Student of the faculty PMM T.V. Eremina
E-mail: eremina.tanya1995@yandex.ru	E-mail: eremina.tanya1995@yandex.ru
Россия, г. Воронеж	Russia, Voronezh
Н.Г. Аснина,	Т.В. Еремина

РАЗРАБОТКА ФУНКЦИОНАЛЬНЫХ МОДЕЛЕЙ ПРОЦЕДУРЫ ПРОВЕРКИ ОБВИНИТЕЛЬНОГО ЗАКЛЮЧЕНИЯ ПРОКУРОРОМ

Аннотация: В статье предпринята попытка визуализации процедуры проверки обвинительного заключения на основе функциональных моделей ARIS и сетей Петри

Ключевые слова: функциональное моделирование, модели ARIS, сети Петри

N.G. Asnina, T.V. Eremin

DEVELOPMENT OF FUNCTIONAL MODELS OF THE PROCEDURE FOR CHECKING A CHARGE CONCLUSION BY THE PROSECUTOR

Abstract: The article attempts to visualize the procedure for verifying the indictment based on functional models of ARIS and Petri nets

Keywords: functional modeling, ARIS models, Petri nets

Уголовное7 дело – это дело, возбуждаемое в установленном законом порядке в каждом случае обнаружения признаков преступления.

«Обвинительное заключение - это за-


вершающий	предварительное	след-

© Аснина Н.Г., Еремина Т.В., 2019

ствие процессуальный документ, содержащий сформулированное по делу обвинение, определяющее пределы судебного разбирательства, а также систему и анализ доказательств и фокусирующее процессуальное решение компетентных органов и должностных лиц о возможности направления уголовного дела в суд для рассмотрения его по

ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В СТРОИТЕЛЬНЫХ, СОЦИАЛЬНЫХ И ЭКОНОМИЧЕСКИХ СИСТЕМАХ

существу» [1].

Согласно ст. 220 УПК в обвинительном заключении следователь должен указать:

«фамилии, имена и отчества обвиняемого или обвиняемых;

данные о личности каждого из них;

существо обвинения, место и время совершения преступления, его способы, мотивы, цели, последствия и другие обстоятельства, имеющие значение для данного уголовного дела;

формулировку предъявленного обвинения с указанием пункта, части, статьи Уголовного кодекса Российской Федерации, предусматривающих ответственность за данное преступление;

перечень доказательств, подтверждающих обвинение, и краткое изложение их содержания;

перечень доказательств, на которые ссылается сторона защиты, и краткое изложение их содержания;

обстоятельства, смягчающие и отягчающие наказание;

данные о потерпевшем, характере и размере вреда, причиненного ему преступлением;

данные о гражданском истце и гражданском ответчике;

ссылки на тома и листы уголовного

дела;

подпись следователя с указанием места и даты его составления;

список подлежащих вызову в судебное заседание лиц со стороны обвинения и защиты с указанием их места жительства и (либо) места нахождения;

справка о сроках следствия, об избранных мерах пресечения с указанием времени содержания под стражей и домашнего ареста, вещественных доказательствах, гражданском иске, принятых мерах по обеспечению беспрекословного выполнения

наказания в виде штрафа, по обеспечению гражданского иска и возможной конфискации имущества, процессуальных издержках, а при наличии у обвиняемого, потерпевшего иждивенцев - о принятых мерах по обеспечению их прав. В справке должны быть указаны надлежащие листы уголовного дела»

[1];

После исследования дела прокурор принимает одно из следующих решений:

1)«утвердить обвинительное заключение и направить дело в суд;

2)вернуть дело для пересоставления обвинительного заключения;

3)возврат дела следователю с письменными указаниями для производства дополнительного дознания или следствия ;

4)прекратить дело, составив о том постановление »[1].

Целью данной статьи является разработка функциональных моделей процедуры проверки обвинительного заключения.

На рисунке 1 представлена диаграмма видов деятельности. Данная диаграмма демонстрирует последовательность всех операций в совокупности для главного процесса, а также позволяет понять на каких операциях участники вступают в отношения друг

сдругом. В эту модель вводятся условия проверки, которые определяют дальнейшие действия. В ней отображены все операции, которые осуществляют следователь и прокурор. В изображенной системе можно выделить следующие процессы (прецеденты): расследовать дело, принять уголовное дело, проверить обвинительное заключение, принять решение касательно обвинительного заключения.

Суть введения вариантов событий заключается в том, чтобы привести систему к нормальному функционированию.

ВЫПУСК № 3-4 (17-18), 2019

ISSN 2618-7167

			Рис. 1. Диаграмма видов деятельности
На рисунке 2 изображен фрагмент мо-					для моделирования бизнес – процессов орга-
дели ARIS,	которая	детально		отображает	низаций.
последовательность		действий		и решений	В каждом процессе задействован про-
прокурора.					курор, которому необходимо проверить со-
ARIS (Architecture			of	Integrated	ответствие обвинительного заключения с
Information	Systems) — методология и тира-				требованиями УПК. После этого он может
жируемый	программный			продукт	принять путь развитие сценария.

Рис. 2. Фрагмент модели ARIS

ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В СТРОИТЕЛЬНЫХ, СОЦИАЛЬНЫХ И ЭКОНОМИЧЕСКИХ СИСТЕМАХ

Также с помощью ARIS была построе-	досудебного расследования и решения про-
на модель укрупненного обвинительного за-	курора по обвинительному заключению в
ключения, которая представлена на рисунке	соответствии с требованиями ст.220 УПК
3. Целью которой было показать процессы	РФ.

Рис. 3. Укрупненная модель ARIS

На основе модели ARIS была построена сеть Петри, фрагмент которой представлен на рисунке 4.

Рис. 4. Фрагмент сети Петри

В самом начале сети находится один токен, в позиции p0. При развитии событий токены должны оказаться в позициях p25 или

p26 или p27 или p28. Это будет означать, что прокурор принял решение о направлении уголовного дела в суд и утверждении своей

Источник: https://studfile.net/preview/16566221/

Смотрите также:

1069
179
497_Kachalov_L._K.Sotsiologija_
5325
71
Английские заимствования в немецком и азербайджанском языках
Биосфера, климат и строение Земли
В каком случае вопросы не соответствуют нормам управления удивляться на кого что Определите характер ошибки, допущенной в сложном предложении Школа это где учатся дети
Виктор Гриньяр, французский химик-органик
Влияние основных средств на эффективность деятельности организации