Preview

Радиопромышленность

Расширенный поиск

ОБОСНОВАНИЕ ФОРМАЛЬНЫХ СИСТЕМ МАТЕМАТИЧЕСКОЙ ЛОГИКИ ДЛЯ РЕШЕНИЯ ЗАДАЧ АВТОМАТИЧЕСКОГО ЭЛЕКТРОННОГО ДОКУМЕНТООБОРОТА

https://doi.org/10.21778/2413-9599-2018-2-105-114

Полный текст:

Аннотация

Рассматриваются формальные системы математической логики, в том числе система алгебры конечных предикатов, применительно к решению задач электронного документооборота. Дано обоснование выбора математического аппарата для описания и исследования автоматических процессов обработки формализованных документов в системе электронного документооборота, учитывающего особенности интеллектуальной деятельности  человека. Описание рассмотренных формальных систем сведено в сравнительную таблицу. Сделан вывод о необходимости описания процессов в системе электронного оборота на языке теорий математической логики, позволяющих учитывать не только содержание, но и структуру формализованного электронного документа. Показана общая процедура процесса автоматической классификации документов с применением алгебры конечных  предикатов. Сделаны основополагающие выводы: применение логических моделей при описании автоматической классификации документов в электронном документообороте позволяет снизить затраты на вычислительные мощности и сократить машинное время обработки документов. Наиболее адекватно для описания автоматических процессов в системе электронного документооборота применять алгебру конечных предикатов, c ее  помощью возможно наиболее точное и полное описание формализованных электронных документов, их свойств  и отношений между ними, и системы разграничения доступа между пользователями в системе электронного документооборота. Возможно также математическое описание и исследование автоматических процессов обработки формализованных документов в системе.

Об авторах

В. А. Минаев
Московский государственный технический университет им. Н.Э. Баумана
Россия

Минаев Владимир Александрович - доктор технических наук, профессор.

105005, Москва, 2-я Бауманская ул., д. 5, стр. 1, тел: +7 (916) 294-92-90



И. Д. Королев
Краснодарское высшее военное училище им. генерала армии С.М. Штеменко
Россия

Королев Игорь Дмитриевич,  доктор технических наук, профессор.

350063, Краснодар, ул. Красина, д. 4, тел.: +7 (918) 311-46-21



А. В. Мазин
Московский государственный технический университет им. Н.Э. Баумана, Калужский филиал
Россия

Мазин Анатолий Викторович - доктор технических наук, профессор, заведующий кафедрой ЭИУ6-КФ.

248000, Калуга, ул. Баженова, д. 2, тел.: +7 (910) 915-58-25



А. С. Мезенцев
Краснодарское высшее военное училище им. генерала армии С.М. Штеменко
Россия

Мезенцев Александр Сергеевич – адъюнкт.

350063, Краснодар, ул. Красина, д. 4, тел.: +7 (918) 247-38-80



М. И. Поддубный
Краснодарское высшее военное училище им. генерала армии С.М. Штеменко
Россия

Поддубный Максим Игоревич - кандидат технических наук, начальник лаборатории.

350063, Краснодар, ул. Красина, д. 4, тел.: +7 (903) 448-08-60



Список литературы

1. Проектирование информационных систем управления документооборотом научно-образовательных учреждений: монография / М. Н. Краснянский, С. В. Карпушкин, А. В. Остроух и др. Тамбов: Изд-во ТГТУ, 2015. 216 с.

2. Методы и средства автоматизированного проектирования практической онтологии / Б. В. Добров, Н. В. Лукашевич, О. А. Невзорова, Б. Е. Федунов // Известия РАН. Теория и системы управления. 2004. № 2. С. 58–68.

3. Бондаренко М. Ф., Шабанов-Кушнаренко Ю. П. Об алгебре конечных предикатов // Бионика интеллекта. Информация, язык, интеллект. 2011. № 3 (77). С. 3–13.

4. Клини С. К. Введение в математику. М.: Изд-во иностранной литературы, 1957. 524 с.

5. Достоверный и правдоподобный вывод в интеллектуальных системах / В. Н. Вагин, Е. Ю. Головина, А. А. Загорянская, М. В. Фомина; под ред. В. Н. Вагина, Д. А. Поспелова. 2-е изд., испр. и доп. М.: Физматлит, 2008. 512 с.

6. Галиев Ш. И. Математическая логика и теория алгоритмов: учебное пособие. Казань: Изд-во КГТУ им. А. Н. Туполева. 2002. 270 с.

7. Девятков В. В. Системы искусственного интеллекта: учебное пособие. М.: Изд-во МГТУ им. Н. Э. Баумана, 2001. 352 с. (Информатика в техническом университете).

8. Мендельсон Э. Введение в математическую логику. М.: Изд-во Наука, 1971. 320 с.

9. Бондаренко М. Ф., Шабанов-Кушнаренко Ю. П. Нормальные формы формул алгебры конечных предикатов // Бионика интеллекта. Информация, язык, интеллект. Харьков. 2011. № 3 (77). С. 14–29.

10. Косовская Т. М. Самообучающаяся сеть с ячейками, реализующими предикатные формулы // Труды СПИИРАН. 2015. № 6 (43). С. 94–112.

11. Поддубный М. И., Королев И. Д. Представление политики мандатного разграничения доступа через модель Харрисона-Руззо-Ульмана [Электронный ресурс] // Политематический сетевой электронный научный журнал КубГАУ. 2015. № 3 (107). URL: http://ej.kubagro.ru/2015/03/pdf/111.pdf (дата обращения: 26.01.2018).

12. Развитие методологических основ информатики и информационной безопасности систем: депонированная рукопись № 1165-B2004. Дата депонирования: 07. 07.2004 / А. П. Фисун, А. Г. Касилов, В. Е. Фисенко, В. А. Минаев, В. В. Афанасьев, В. В. Митяев, Р. А. Фисун, К. А. Джевага, С. А. Кожухов. М.: ВИНИТИ, 2004. 253 с.


Для цитирования:


Минаев В.А., Королев И.Д., Мазин А.В., Мезенцев А.С., Поддубный М.И. ОБОСНОВАНИЕ ФОРМАЛЬНЫХ СИСТЕМ МАТЕМАТИЧЕСКОЙ ЛОГИКИ ДЛЯ РЕШЕНИЯ ЗАДАЧ АВТОМАТИЧЕСКОГО ЭЛЕКТРОННОГО ДОКУМЕНТООБОРОТА. Радиопромышленность. 2018;28(2):105-114. https://doi.org/10.21778/2413-9599-2018-2-105-114

For citation:


Minaev V.A., Korolev I.D., Mazin A.V., Mezentsev A.S., Poddubny M.I. THE SUBSTANTIATION OF MATHEMATICAL LOGIC FORMAL SYSTEMS FOR SOLVING TASKS OF AUTOMATIC ELECTRONIC DOCUMENT MANAGEMENT. Radio industry (Russia). 2018;28(2):105-114. (In Russ.) https://doi.org/10.21778/2413-9599-2018-2-105-114

Просмотров: 173


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2413-9599 (Print)
ISSN 2541-870X (Online)