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

Бесплатно

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

Усанов Дмитрий Игоревич

Статья научная

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

Бесплатно

Имитационное моделирование научного процесса академического института

Моисеенко Владислав Владимирович

Статья научная

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

Бесплатно

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

Медведев Юрий Геннадьевич

Статья научная

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

Бесплатно

Имитационное моделирование системы подземного транспортирования

Конюх Владимир Леонидович

Статья научная

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

Бесплатно

Имитационное моделирование способов добычи полезных ископаемых на большой глубине

Конюх Владимир Леонидович, Окольнишников Виктор Васильевич

Статья научная

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

Бесплатно

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

Манаков Алексей Леонидович, Моисеенко Владислав Владимирович

Статья научная

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

Бесплатно

Имитационные алгоритмы управления малыми и средними нефтегазовыми месторождениями

Амирханова Гульшат Аманжоловна, Гречко Светлана Михайловна

Статья научная

Представлены имитационные алгоритмы, объединяющие возможности искусственного интеллекта и потребности технологии. Соответствующая автоматизированная система внедрена на участках добычи нефти на месторождениях Восточный Молдабек и Северный Котыртас.

Бесплатно

Инкрементальные расширения потоково-локальной сборки мусора

Филатов Александр Юрьевич, Михеев Виталий Витальевич

Статья научная

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

Бесплатно

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

Воронов Эдуард Сергеевич

Статья научная

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

Бесплатно

Инструментальные системы, поддерживающие стохастические сетевые модели

Быстров А.В., Вирбицкайте И.Б., Ошевская Е.С.

Статья научная

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

Бесплатно

Интеграция алгоритмов распознавания литологических типов

Амиргалиев Едилхан Несипханович, Искаков Сырымбет Хасанович, Кучин Ян Игоревич, Мухамедиев Равиль Ильгизович

Статья научная

Описаны результаты исследования применения искусственных нейронных сетей (ИНС) в задаче распознавания литологических типов на месторождениях урана в Казахстане, приведено сравнение метрических и статистических алгоритмов классификации с ИНС. Предварительные исследования показали, что использование только ИНС позволяет достигать на отдельных выборках от 66 до 73 % совпадения интерпретированных данных с экспериментальными результатами, полученными в том числе в результате кернового апробирования. Показано, что применение других алгоритмов способно улучшить качество распознавания отдельных пород. Сформулирована задача построения интегрированного классификатора на основе использования множества алгоритмов. Предложен простой алгоритм обучения и распознавания для классификатора этапа постобработки, который обеспечивает улучшение качества распознавания на 2–3 %. Обсуждаются возможности улучшения интегрированного классификатора.

Бесплатно

Интеграция информации с использованием технологий Semantic Web

Тузовский Анатолий Федорович, Ямпольский Владимир Захарович

Статья научная

Описан подход к разработке систем виртуальной интеграции на основе использования технологий Semantic Web. Рассмотрены используемые языки RDF, OWL и SPARQL, а также существующие подходы федерирования запросов к источникам RDF-данных. Рассмотрена архитектура системы виртуальной интеграции, основанная на использовании глобальной онтологии, формируемой динамически путем применения отображений онтологий интегрируемых источников данных. Описана разработка адаптеров источников данных с использованием существующих систем обработки SPARQL-запросов.

Бесплатно

Интеграция методов поддержки принятия решений в автоматизированных СППР при разработке сложных проектов

Вишнеков Андрей Владленович, Иванова Елена Михайловна

Статья научная

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

Бесплатно

Интегрированная визуальная среда поддержки конструирования параллельных программ

Касьянов В.Н.

Статья

Бесплатно

Интегрированная информационная система оперативного управления терминалами «Ангрен-Пап» на основе технологии глобального позиционирования, беспроводной связи и интернет технологий

Набиев , Ишанходжаев , Хакназаров

Статья

Бесплатно

Интегрированная система мониторинга состояний высоковольтного оборудования в рабочих режимах

Гаркуша Владимир Владимирович, Собстель Геннадий Михайлович, Борисов Борис Дмитриевич, Киншт Николай Владимирович, Петрунько Наталья Николаевна

Статья научная

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

Бесплатно

Интеллектуальная система управления технологическими процессами в многономенклатурном машиностроительном производстве

Бурдо Георгий Борисович

Статья научная

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

Бесплатно

Интернет-центр компьютерного моделирования в научных исследованиях и прикладном проектировании

Тарнавский Александр Геннадьевич, Жибинов Сергей Борисович, Чесноков Сергей Сергеевич

Статья научная

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

Бесплатно

1
...
4
5
6
7
8
9
10
...
В конец

Журнал