Найти

Результаты поиска

• МАТЕМАТИЧЕСКАЯ МОДЕЛЬ И СХЕМА УПРАВЛЕНИЯ ПРОДУКЦИЯМИ ДЛЯ РЕАЛИЗАЦИИ ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛЕНИЙ

  Е. А. Титенко , Т. М. Белова , И. И. Пузанов , А.А. Положенцев , Л. А. Лисицин

  283-298

  2026-09-10

  Аннотация ▼

  Актуальность. Эффективные математические модели организации параллельных вычислений используют принципы одновременного выполнения правил над независимыми фрагментами данных, а также методы обработки символьной информации как объединяющей категории для различных типов данных. Продукционные системы в нотации А.А. Маркова (мл.) имеют необходимый потенциал для создания таких моделей, но стандартная схема управления в них является последовательной, что ограничивает применение таких продукционных систем в прикладных задачах. В связи с этим актуальной является задача синтеза модифицированных продукционных систем и схем управления в них,  направленных на распараллеливание вычислительного процесса обработки символьной информации. Целью исследования является уменьшение времени работы модифицированной продукционной модели за счет двунаправленной обработки цепочек символов. Метод решения основан на применении принципов двунаправленного грамматического разбора из теории синтаксического анализа, компиляции в алгоритмических продукционных системах и состоит в модификации стандартной схемы продукционных вычислений А.А. Маркова. Это достигается введением продукций с однократным срабатыванием, двунаправленным доступом к обрабатываемой строке, декомпозицией исходной системы на секции, введением набора охранных условий для разрешения конфликтов. Продукционная модель реализована для типовых задач символьной обработки: разметка слова и обращения слова. Результаты. Разработана структура модифицированной продукционной системы, преодолевающая ограничение стандартной схемы А.А. Маркова – последовательный характер вычислений. В результате проведенного исследования была создана формальная модель последовательно-параллельной обработки слов, разработана модифицированная схема управления и показана корректность вычислений. Моделирование на типовых задачах показало уменьшение времени обработки слов практически в 2 раза, что было достигнуто, в том числе, за счет исключения обязательного возврата на первую продукцию в схеме управления и агрегации продукций в секции. Заключение. Проведенное исследование подтвердило возможность и эффективность трансформации последовательных продукционных систем А.А. Маркова в последовательно-параллельные продукционные модели с выдачей корректного результата. Перспективная область применения – методы и программно-аппаратные средства в однородных вычислительных системах для высокопроизводительной обработки символьной информации

• СИНТЕЗ ПРОГРАММНОГО И ИНФОРМАЦИОННОГО ОБЕСПЕЧЕНИЯ РЕАЛИЗАЦИИ МЕТОДОВ ВЕРИФИКАЦИИ СОСТОЯНИЯ МЕДИЦИНСКИХ БИОЛОГИЧЕСКИХ ОБЪЕКТОВ ДЛЯ МЕДИЦИНСКОЙ АВТОМАТИЗИРОВАННОЙ ИНФОРМАЦИОННОЙ СИСТЕМЫ

  А. В. Проскуряков

  2022-05-26

  Аннотация ▼

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