На правах рекламы:
ISSN 0236-235X (P)
ISSN 2311-2735 (E)

Авторитетность издания

ВАК - К1
RSCI, ядро РИНЦ

Добавить в закладки

Следующий номер на сайте

2
Ожидается:
17 Июня 2024

Статьи из выпуска № 3 за 2019 год.

Упорядочить результаты по:
Дате публикации | Заголовку статьи | Авторам |

1. Модель двойной пористости для изучения разработки трещиновато-пористых коллекторов на базе концепции суперэлементов [№3 за 2019 год]
Авторы: Афанаскин И.В., Вольпин С.Г., Родителев А.В., Колеватов А.А.
Просмотров: 6527
Основной технологией разработки нефтяных месторождений в России является заводнение (закачка в нефтяной пласт воды для вытеснения нефти и поддержания пластового давления). При этом большая часть нефтяных месторождений нашей страны находится на 3-й или 4-й стадии раз-работки, что означает высокую обводненность добываемой жидкости (90 % и более). Основная задача специалистов по разработке нефтяных месторождений – уменьшить добычу воды и (по возможности) увеличить добычу нефти. В этих условиях много внимания уделяется контролю и регулированию разработки нефтяных месторождений. Для выполнения этих работ специалистам необходим инструмент, позволяющий быстро строить модели значительных по размерам месторождений и оперативно рассчитывать большое количество сценариев для проверки гипотез о геологическом строении, адаптации модели и решения задач оптимизации разработки. Наиболее актуально это для трещиновато-пористых коллекторов, поскольку они характеризуются высокой неоднородностью фильтрационно-емкостных свойств. Это провоцирует опережающее обводнение добывающих скважин, что препятствует достижению проектных показателей разработки месторождений. Предлагается методика численного математического моделирования разработки нефтяных месторождений в карбонатных трещиновато-поровых коллекторах на базе концепции суперэлементов. Фильтрация двухфазная, применена концепция двойной пористости. Численная схема полностью явная. Система уравнений сохранения аппроксимирована по пространству на суперэлементной сетке. Это позволяет существенно увеличить скорость вычислений и упростить построение моделей (так как размер ячеек сопоставим с расстоянием между скважинами). Для корректных расчетов необходима адаптация на историю разработки. Предлагаемая методика тестируется на модели реального месторождения, результаты расчетов сравниваются с расчетами на коммерческом симуляторе Rubis Kappa Engineering. Получены хорошее совпадение на этапе обучения модели и удовлетворительное совпадение результатов прогнозных расчетов.

2. Анализ влияния цветовых пространств на результаты обработки цветных изображений алгоритмами эквализации [№3 за 2019 год]
Автор: Балдин М.И.
Просмотров: 4591
Цветные изображения зачастую не обладают необходимым уровнем визуального качества. Одним из распространенных способов улучшения контраста цветного изображения является метод выравнивания гистограммы. Обработка цветных изображений с нарушением контраста, как правило, производится в цветовом пространстве YCbCr. Однако данное цветовое пространство не является универсальным для улучшения любых типов искажения, а использование неподходящего цветового пространства может существенно снизить качество цветопередачи. В данной работе проводится сравнительный анализ влияния цветовых пространств на результат обработки алгоритмов эквализации. Представлено описание структуры изображений. Рассмотрены различные цветовые пространства, такие как RGB, YCbCr, HSV и Lab, их преимущества, недостатки и области применения. Также подробно описан процесс прямого и обратного преобразований цветовых схем. Предложена классификация искаженных изображений с нарушением контраста на основе их гистограмм. Для выравнивания контраста яркостная компонента изображения обрабатывается шестью различными алгоритмами эквализации. Для анализа цветопередачи обработка изображений производится в каждом из рассмотренных цветовых пространств. При исследовании исходных и обработанных изображений в разных цветовых пространствах была выявлена зависимость представления цвета от типов искажения и цветовых схем. Оценка результатов обработки искаженных изображений при помощи количественных метрик оказалась неэффективной из-за наличия высокой доли шумов на изображении и отсутствия оригинального неискаженного снимка. Поэтому для оценки качества изображений используется визуальная оценка его человеком. Также описываются особенности проведения исследования. На основе полученных результатов для улучшения цветопередачи для каждого типа искаженных цветных изображений подбирается соответствующая цветовая схема. Для обработки высококонтрастных изображений лучше всего подойдет цветовое пространство HSV, для низкоконтрастных - цветовая схема Lab, для ярких – система YCbCr, для темных изображений – пространство HSV.

3. Прототип интеллектуальной электронной книги с использованием технологии прямого наложения знаний [№3 за 2019 год]
Авторы: Бронфельд Г.Б., Киров Д.И., Кондратьев В.В.
Просмотров: 5523
В работе проведен анализ появления интеллектуальных электронных книг. Кратко рассмотрены основы создания интеллектуальных электронных книг в варианте элинги с использованием технологии прямого наложения знаний. Технология прямого наложения знаний обеспечивается применением новой модели представления знаний – молинги, фактически представляющей предложения текстов короткими семантическими сетями. Создаваемые базы знаний включают большой набор молинг. Применение технологии прямого наложения знаний приводит к присутствию в базе знаний только предложений с разным семантическим смыслом. Молинга соответствует структуре продукционных моделей, но имеет ядро, содержащее простое предложение с кодовым описанием, указанием фактора уверенности и постусловиями. Пост- условия могут содержать графические образы, файлы с данными или расчетные модели. Технология разработана в рамках проектирования экспертных систем, однако каждый из компонентов выполняется по-иному. В результате создан программный комплекс – элинга, обладающий уникальными возможностями по сравнению с обычными экспертными системами. Именно молинги позволяют применить технологию прямого наложения знаний. Логический вывод основан на использовании модифицированного правила modus ponens. Само нахождение решения осуществляется на основе диалого-ассоциативного поиска в процессе дискурса человек–компьютер с использованием промежуточных результатов, полученных при работе логического вывода. Описываются основные функции прототипа элинги и режимы работы. Данный подход позволяет на основе принципиально новой технологии более эффективно решать проблемы пользователей, не разрешимые или тяжело решаемые ранее на основе интеграции знаний.

4. Анализ особенностей формулирования функциональных требований к автоматизированной информационной системе [№3 за 2019 год]
Авторы: Гутгарц Р.Д., Полякова П.М.
Просмотров: 4985
В статье кратко проанализированы типовые проблемы, сопровождающие этап идентификации требований к автоматизированным информационным системам. Поскольку информационная си-стема в современном контексте для пользователя представляется в форме программного обеспечения, требования к функциональному программному обеспечению можно считать эквивалентными функциональным требованиям к автоматизированным информационным системам. Рассмотрены несколько наиболее известных подходов по вопросам формулирования требований к автоматизированным информационным системам, в том числе функциональных, выявлены их общие и оригинальные аспекты. К проектируемой системе предъявляется множество требований, однако функциональные требования всегда первичны. Требования к автоматизированным информационным системам, связанные с надежностью, настраиваемостью, техническим обеспечением, организацией интерфейса с учетом обработки ошибок и др., являются вторичными по сравнению с функциональными, полностью определяются ими, а также зависят от текущего уровня развития соответствующих информационных технологий, включая технологии программирования. Анализ основан на мнениях специалистов, изложенных в классических источниках по обозначенной тематике. В проведенном исследовании показано, что до сих пор задачи, связанные с корректным формулированием функциональных требований к программному обеспечению, не имеют однозначного решения, хотя и предпринимаются попытки какой-либо их структуризации и (или) унификации.

5. О формализации функциональных требований в проектах по созданию информационных систем [№3 за 2019 год]
Авторы: Гутгарц Р.Д., Провилков Е.И.
Просмотров: 7060
Проблемам управления ИТ-проектами посвящено достаточно много научных и прикладных исследований. Главное внимание в них уделяется финансовым аспектам и продолжительности проекта, а функциональные аспекты часто остаются за кадром. Объяснить это можно тем, что такие показатели, как деньги и время, с учетом различных рисков можно рассчитать при использовании соответствующих методик и алгоритмов. Между тем адекватного численного эквивалента для определения функциональности проекта до сих пор не существует. При рассмотрении такого специализированного ИТ-проекта, как проектирование и разработка информационной системы или ее отдельного модуля, реализуемая в его рамках функциональность является основополагающим фактором, от которого зависят все другие показатели проекта. Однако функциональности в семантическом понимании этого слова по разным причинам в фундаментальной литературе и периодических научных изданиях уделяется недостаточно внимания. Основные интересы ученых и специалистов сосредоточены на управлении требованиями к информационной системе, включая функциональные. Формализация функциональных требований является предметом для обсуждения в научном сообществе и рассматривается в разных аспектах, но каких-либо унифицированных решений не предлагается. В статье рассматриваются вопросы, связанные исключительно с функциональными требованиями, особенностями их изначального формулирования, представлением для обсуждения с заказчиком и с формализацией для программного воплощения в проекте. Приводится краткий анализ подходов к формализации требований. Предложен авторский под-ход к формализации функциональных требований, который может быть распространен на определенные типы задач, включенные в ПО, представляющее информационную систему в виде программного продукта. Это может быть первым шагом в создании предпосылок для разработки алгоритмической составляющей, то есть для более корректного расчета трудоемкости проекта и, как следствие, более точного планирования его финансовых и временны́х затрат.

6. Проектирование интерпретатора языка QVT Operational Mappings для программного средства UML Refactoring в рамках модельно-ориентированного подхода [№3 за 2019 год]
Авторы: Дерюгина О.А., Крючкова Е.В.
Просмотров: 3874
В работе рассмотрена концепция модельно-ориентированного подхода MDA для решения за-дач автоматизации разработки ПО. Подход предполагает разделение процесса разработки на три основных шага: разработка платформонезависимой модели PIM, создание платформозависимой модели PSM, разработка кода ПО. Подробно рассмотрены стандарты MDA: XMI (XML Metadata Interchange), унифицирующий обмен моделями между программными средствами, и QVT (Que-ry/View/Transformation), описывающий языки запросов к моделям. Цель работы – проектирование интерпретатора языка QVT Operational Mappings, одного из се-мейства языков QVT, для программного средства UML Refactoring. Программное средство UML Refactoring предназначено для анализа и трансформации UML-диаграмм классов, описывающих объектно-ориентированную архитектуру ПО. В процессе анализа рассчитываются объектно-ориентированные метрики (Avg. DIT, Avg. NOC, Avg. CBO и др.), а также выполняется поиск трансформаций «Введение интерфейса», «Стратегия», «Фасад», снижающих значение целевой функции рефакторинга, выбранной пользователем. На ос-нове информации о языке создания запросов к моделям QVTo для системы UML Refactoring спроектирован класс QVTInterpreter.java, который интерпретирует QVT-запрос к диаграмме классов, а затем преобразует его в последовательность трансформаций, таких как добавление класса, добав-ление атрибута к классу, добавление метода к классу, добавление интерфейса, добавление метода к интерфейсу, добавление пакета, добавление класса в пакет, добавление интерфейса в пакет, добавление пакета в пакет. Для каждой трансформации спроектирован отдельный класс-наследник класса Refactoring.java, в ходе трансформации передаваемый на вход классу Transformator.java, который, в свою очередь, вызывает метод execute() каждой трансформации.

7. Разработка базы данных и конвертера для извлечения и анализа специализированных данных, получаемых с медицинского аппарата [№3 за 2019 год]
Авторы: Еремеев А.П., Ивлиев С.А.
Просмотров: 7013
При разработке экспертных систем могут возникнуть затруднения, связанные с используемыми форматами хранения или обмена данными. Возможны ситуации, когда данные хранятся в закрытом формате либо закрытый формат имеют файлы обмена для таких систем. Это затрудняет автоматический анализ данных, поскольку приходится заносить их в экспертную систему вручную. Однако существуют методы, позволяющие преобразовывать данные в удобный для работы формат. В статье рассматривается анализ двоичных файлов базы данных медицинского аппарата для исследования сложных патологий зрения с целью извлечения из нее данных биофизических исследований для последующего анализа. Поскольку в стандартном программном обеспечении отсутствуют возможности обмена информацией с внешними системами в открытых форматах, требуется разработка дополнительных методов и программных средств для определения физической структуры данных для последующего конвертирования в открытый формат. Исходными данными для анализа являются информация о данных, хранящихся в базе данных медицинского аппарата, а также общие принципы физического представления данных в компьютерных системах. После определения структуры файлов с данными выполняется разработка конвертера. Выходные файлы конвертера могут быть использованы в дальнейшем при обучении нейронных сетей. Такой подход позволяет достаточно быстро создавать базу образцов (прецедентов), исключив необходимость ручного переноса данных, и может служить основой для анализа данных в других подобных ситуациях.

8. Автоматизация верификации программ с использованием графоаналитических моделей вычислительного процесса [№3 за 2019 год]
Авторы: Зыков А.Г., Голованев Я.С., Поляков В.И.
Просмотров: 4902
Постоянный рост объемов и количества создаваемого ПО требует новых инструментов, позволяющих сократить время на проектирование и разработку очередного продукта. В их число входят и средства автоматизации верификации. Верификация вычислительных процессов, реализованных программно, является сложной и трудоемкой задачей. Необходимость в новых инструментах автоматизации верификации возрастает из-за увеличения количества систем, использующих различные языки программирования, и требований к сокращению сроков реализации проектов. Актуальность задачи создания универсальных межязыковых средств верификации до сих пор высока. В работе рассматриваются метод и средства автоматизации верификации вычислительных процессов на основе описания графоаналитической модели. Предлагаемый метод заключается в следующем. По разработанной программистом программе восстанавливается описание на разработанном языке и сравнивается с эталонным описанием графоаналитической модели, по которому эта модель создавалась; далее в автоматическом режиме по результатам сравнения либо программа верифицируется и определяется корректной, либо выдается детальная информация о наличии несовпадения; в интерактивном режиме исходный текст программы модифицируется c учетом полученной информации, процесс верификации повторяется. Целью исследования является автоматизация верификации программ на языке С/C# по группе описаний графоаналитической модели вычислительного процесса. В рамках данного исследования было создано средство, позволяющее преобразовывать ис-ходные коды программ в описания графоаналитической модели и выполнять автоматизированную формальную верификацию проекта. Разработанная утилита была проверена на восстановленных описаниях графоаналитической модели программ на С/С# и Java для обработки массивов (сортировка слиянием, алгоритм Дейкстры). Синтезированный исполняемый модуль был успешно протестирован в окружении операционной системы Windows 10. В дальнейшем планируется развивать утилиту вместе с новыми версиями языка описания, что-бы расширить возможности анализа и верификации программ.

9. Реконструкция текстурированной модели городского пространства по топографическому плану и фотоснимкам [№3 за 2019 год]
Авторы: Кудряшов А.П., Соловьев И.В.
Просмотров: 4637
В задачах реконструкции сцен городского пространства в качестве источника данных могут использоваться различные материалы: спутниковые снимки, видеоряд, данные оптических систем и др. В работе предлагается для реконструкции объемной модели городского пространства использовать метод распознавания служебной информации на топографическом плане. Топографические планы являются основными исходными данными на всех этапах архитектурно-планировочного и инженерного проектирования. Они содержат информацию о геометрии оснований зданий и их положении среди других объектов. Для распознавания используется модифицированный волновой алгоритм, позволяющий выделить и распознать на изображении замкнутые контуры, которые затем классифицируются на различные объекты: контуры зданий, надписи, служебные символы и др. Дается обоснование преимуществ рассматриваемого алгоритма для выделения контуров. Предлагается метод нанесения текстур на трехмерные модели зданий. Текстуры получены с фотоснимков реальных зданий. Предлагается использование специальных текстур для определенных типов строений в случаях, когда реальный фотоснимок здания будет отсутствовать. Фото-снимки привязываются к топографическому плану с помощью географических координат. Описан метод привязки реконструированных объектов к рельефу. Представляется информационная система, которая используется как для всего процесса реконструкции, так и для решения отдельных локальных задач. Примеры реконструкции реальных топографических планов масштаба 1:2000 приводятся в качестве доказательства эффективности предложенного подхода.

10. Упрощенный метод скелетизации невыпуклых фигур [№3 за 2019 год]
Автор: Кучуганов А.В.
Просмотров: 3878
Аппроксимация графической информации путем скелетизации изображений объектов применяется для замены объектов более простыми и удобными представлениями в задачах семантического анализа и распознавания изображений. Скелетоны широко используются в системах технического зрения, контентного (содержательного) поиска изображений, в геометрическом моделировании, визуализации. Наиболее популярные подходы: на основе эрозии – удаления краевых точек объекта и математический – на основе диаграмм Вороного, формируемых путем триангуляции Делоне, вписывания окружностей или с помощью волнового метода. Общий недостаток существующих алгоритмов построения скелетона – потеря информации о ширине участков исходной фигуры, которая часто бывает необходима в задачах распознавания и описания изображений. В работе предлагается подход, который является развитием метода скелетизации на основе эвристических правил и заключается в последовательном отсечении сегментов фигуры минимальными хордами в таких местах, где граница фигуры имеет отрицательный перегиб при обходе ее против часовой стрелки. Строятся отрезки, соединяющие середины хорд соседних сегментов. От-резки объединяются в цепочки, которые и образуют скелетон невыпуклой фигуры. При этом длины полученных хорд несут информацию о ширине фигуры на соответствующих участках. Эксперименты проводились в двух предметных областях: при обработке сканированных архивных чертежей деталей общемашиностроительного применения с целью использования ранее накопленного опыта при проектировании новых изделий и сокращения общего времени проектирования и технологической подготовки производства, а также в задаче распознавания слитного рукописного текста в автономном режиме.

| 1 | 2 | 3 | Следующая →