Разработка процедур для формирования алгоритмических структур в инфологических моделях предметных задач | Статья в журнале «Молодой ученый»

Отправьте статью сегодня! Журнал выйдет 21 декабря, печатный экземпляр отправим 25 декабря.

Опубликовать статью в журнале

Автор:

Рубрика: Информационные технологии

Опубликовано в Молодой учёный №30 (529) июль 2024 г.

Дата публикации: 26.07.2024

Статья просмотрена: 6 раз

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

Саад, Али Мустафа. Разработка процедур для формирования алгоритмических структур в инфологических моделях предметных задач / Али Мустафа Саад. — Текст : непосредственный // Молодой ученый. — 2024. — № 30 (529). — С. 15-17. — URL: https://moluch.ru/archive/529/116860/ (дата обращения: 11.12.2024).



Основная цель данной работы состоит в снижении трудозатрат при разработке прикладных автоматизированных систем (ПАС) путем создания и внедрения программных инструментов, поддерживающих инфологическое моделирование предметных задач в рамках методологии автоматизации интеллектуального труда (МАИТ). Инфологическая модель представляет собой проект автоматизированной системы, не зависящий от программно-технической среды её реализации. В работе рассматриваются алгоритмические структуры этой модели, включая систему предметных доступов и систему предметных манипуляций. Методология также применяется для автоматизации процесса их создания. В статье представлены результаты анализа традиционного подхода к решению данной задачи в форме спецификаций (таблиц) и диаграммы. Разработанная модель станет основой для проектирования и реализации процедур формирования алгоритмических структур инфологических моделей предметных задач.

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

Цель данной работы — снизить трудозатраты при разработке прикладных автоматизированных систем (ПАС) посредством создания и применения программных инструментов, поддерживающих инфологическое моделирование предметных задач.

В настоящее время существуют различные подходы к разработке прикладных автоматизированных систем. Опыт показывает, что важно выбирать такие подходы, которые позволяют минимизировать затраты на исправление ошибок, возникающих в процессе эксплуатации системы. Одним из таких подходов к автоматизации интеллектуальной деятельности является когнитивный подход [1, с. 11].

Рассматриваемая модель включает следующие структуры: инфологическую (статическую) структуру, систему предметных манипуляций (СПМ), и систему предметных доступов (СПД) [2, с. 4]. СПД и СПМ являются алгоритмическими структурами и совместно образуют информационный алгоритм решения задачи [2, с. 4, с.135–136].

Система предметных доступов обеспечивает выполнение операций по записи и чтению данных, необходимых для проведения функциональных процедур на созданной информационной структуре. Результаты формирования системы предметных доступов документируются в виде структурной диаграммы и спецификаций (таблиц) P3 «Описание предметных доступов» и P4 «Описание системы предметных доступов» [2, с. 135–136].

Система предметных манипуляций представляет собой набор взаимосвязанных функциональных процедур (вычислительных, поисковых, диалоговых), предназначенных для обработки данных, хранящихся в сформированной информационной структуре. Результаты создания системы предметных манипуляций фиксируются в форме структурной диаграммы СПМ и спецификаций P5 «Описание предметных манипуляций» и P6 «Описание системы предметных манипуляций» [2, с. 136].

Методология автоматизации интеллектуального труда (МАИТ) представляет собой один из таких подходов. Её основная идея состоит в создании последовательных представлений предметных задач в виде формализованных моделей (инфологической и даталогической), основываясь на изначально сформированной концептуальной модели, построенной на трех уровнях абстрагирования [1, с. 14]. Инфологическая модель для автоматизируемых задач отображает структуру информации и логику её обработки, представляя собой «конструкторский проект», который независим от программно-технических сред и средств реализации [1, с. 14].

На рисунке 1 приведен пример системы предметных манипуляций для задачи «Проверочный расчет всех цилиндрических передач с косым зубом». Пример системы предметных манипуляций модели задачи

Рис. 1. Пример системы предметных манипуляций модели задачи

Формирование структур представляет собой трудоемкий процесс, и для упрощения этой задачи необходимо разработать автоматизированные процедуры поддержки. Для автоматизации можно использовать МАИТ, выполняя этапы начального моделирования (анализ традиционного процесса решения задачи), концептуального, инфологического моделирования, выбор программно-технических средств, даталогического моделирования и этап изготовления ПАС.

Перед началом разработки прикладной автоматизированной системы (ПАС) следует переосмыслить традиционный процесс решения соответствующих предметных задач, предназначенных для автоматизации. Этот этап включает анализ информационных источников, описывающих процесс решения задач. В результате необходимо создать начальную модель, описывающую структуру информации и алгоритм решения задач. Эта модель помогает определить функции, которые должна выполнять ПАС, а также уточнить входные и выходные данные, и проверить правильность алгоритма решения задачи [3, c. 3].

На этапе начального моделирования создаются информационная и функциональная составляющие, а также общая модель [3, c. 32]. Информационная составляющая модели — это набор параметров (входных, выходных, промежуточных), используемых для решения задачи. Важно фиксировать как явно заданные параметры, так и неявные. Первые, как правило, обозначаются общепринятыми символами (например, скорость — v, площадь — s), тогда как вторые часто представлены своими значениями и не имеют устоявшихся обозначений (например, наименование модели, вид информации). Для таких параметров необходимо определить их обозначения и наименования. Информационная часть описывается в виде набора спецификаций. Функциональная часть модели представляет собой систему действий, связанных с предметной задачей, отражающих алгоритм решения. Общее представление модели включает установление связей между сформированными элементами. Функциональная составляющая и общее представление модели зафиксированы в виде диаграмм и спецификаций [3, c. 32–33, с. 35–38].

Таким образом, для решения задачи создания алгоритмических структур инфологических моделей предметных задач была разработана начальная модель. На рисунках 2 и 3 представлены фрагменты диаграммы системы предметных действий (СПД) задачи.

Рис. 2. Фрагмент диаграммы системы предметных действий модели. Блок z18.5

Фрагмент диаграммы системы предметных действий модели. Блок z18.8

Рис. 3.Фрагмент диаграммы системы предметных действий модели. Блок z18.8

В процессе выполнения исследования была разработана начальная модель для задачи формирования алгоритмических структур в инфологической модели. Эта модель представляет собой входные данные для последующего этапа, связанного с созданием семантического представления задачи в рамках методологии автоматизации интеллектуального труда (МАИТ). Эффективность начального моделирования напрямую влияет на качество выполнения концептуального моделирования.

Литература:

  1. Волкова Г. Д. Методология автоматизации интеллектуального труда: М.: «Янус-К», 2013–104 с.
  2. Волкова Г. Д., Новоселова О. В., Семячкова Е. Г. Проектирование прикладных автоматизированных систем в машиностроении: Учебное пособие, — М.: МГТУ «Станкин», 2002. — 162с.
  3. О. В. Новоселова Моделирование предметных задач на начальных этапах автоматизации проектной деятельности: учебное пособие — М.: ФГБОУ ВО «МГТУ «СТАНКИН», 2016. -100с.
Основные термины (генерируются автоматически): задача, интеллектуальный труд, начальная модель, система, манипуляция, модель, начальное моделирование, общее представление модели, предметное действие модели, структурная диаграмма.


Ключевые слова

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

Похожие статьи

Моделирование задачи формирования инфологических моделей при создании программных средств поддержки проектирования прикладных автоматизированных систем

Работа посвящена снижению трудоемкости проектирования прикладных автоматизированных систем (ПАС) с использованием программных инструментов для инфологического моделирования задач в рамках методологии автоматизации интеллектуального труда (МАИТ). Инфо...

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

Увеличение сложности и объема информационных систем требует высокого качества проектирования и реализации для обеспечения их эффективности. Методология автоматизации интеллектуального труда (МАИТ) предлагает системный подход к этому процессу, начиная...

Исследование и анализ стратегий моделирования спецификаций структур инфологической модели предметной задачи в «ИС 2»

В современном мире, который постоянно развивается, возникает необходимость в постоянном совершенствовании существующих автоматизированных систем (АС) и разработке новых. Методы и программные средства, применяемые при их создании, играют ключевую роль...

Использование паттерна «Инверсия результата» для синтеза методов принятия решений

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

Методы верификации программного обеспечения

В статье идет речь об исследовании и классификации методов верификации программного обеспечения (ПО). Осуществлен обзор имеющихся статических методов верификации, исследованы характеристики методов и осуществлено исследование на обнаружение зависимос...

Новые возможности САПР за счет применения решений в области имитации естественного освещения

В статье рассмотрены возможности расширения традиционных подходов к проектированию систем искусственного освещения с помощью систем автоматизированного проектирования (САПР) за счет применения некоторых разработок, относящихся к концепции имитации ес...

Применение моделей машинного обучения для поддержки принятия врачебных решений

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

Анализ методов искусственного интеллекта САПР технологических процессов производства электронной аппаратуры

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

Автоматизированное проектирование средств и систем управления

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

Перспективы разработки программного обеспечения для визуализации результатов теоретико-множественного анализа сложных систем

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

Похожие статьи

Моделирование задачи формирования инфологических моделей при создании программных средств поддержки проектирования прикладных автоматизированных систем

Работа посвящена снижению трудоемкости проектирования прикладных автоматизированных систем (ПАС) с использованием программных инструментов для инфологического моделирования задач в рамках методологии автоматизации интеллектуального труда (МАИТ). Инфо...

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

Увеличение сложности и объема информационных систем требует высокого качества проектирования и реализации для обеспечения их эффективности. Методология автоматизации интеллектуального труда (МАИТ) предлагает системный подход к этому процессу, начиная...

Исследование и анализ стратегий моделирования спецификаций структур инфологической модели предметной задачи в «ИС 2»

В современном мире, который постоянно развивается, возникает необходимость в постоянном совершенствовании существующих автоматизированных систем (АС) и разработке новых. Методы и программные средства, применяемые при их создании, играют ключевую роль...

Использование паттерна «Инверсия результата» для синтеза методов принятия решений

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

Методы верификации программного обеспечения

В статье идет речь об исследовании и классификации методов верификации программного обеспечения (ПО). Осуществлен обзор имеющихся статических методов верификации, исследованы характеристики методов и осуществлено исследование на обнаружение зависимос...

Новые возможности САПР за счет применения решений в области имитации естественного освещения

В статье рассмотрены возможности расширения традиционных подходов к проектированию систем искусственного освещения с помощью систем автоматизированного проектирования (САПР) за счет применения некоторых разработок, относящихся к концепции имитации ес...

Применение моделей машинного обучения для поддержки принятия врачебных решений

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

Анализ методов искусственного интеллекта САПР технологических процессов производства электронной аппаратуры

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

Автоматизированное проектирование средств и систем управления

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

Перспективы разработки программного обеспечения для визуализации результатов теоретико-множественного анализа сложных систем

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

Задать вопрос