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

Бесплатно

Становление микроэлектроники в Новосибирске

Косцов Эдуард Геннадьевич

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

Представлены документальные материалы и воспоминания автора об истории возникновения и развития исследований в области микроэлектроники в Институте математики им. С.~Л.~Соболева и на электронных промышленных предприятиях Новосибирска.

Бесплатно

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

Калимолдаев Максат Нурадилович, Пак Александр Александрович, Нарынов Сергазы Сакенович

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

Рассматривается алгоритм рекурсивной самоорганизующейся карты (Recursive Self Organizing Map, RSOM) для выделения статистически значимых временных паттернов из символьного потока контекстно-зависимых грамматик. Главной идеей метода является, предложенное Thomas Voegtlin в 2002, объединение классического алгоритма Teuvo Kohonen и неявного представления времени в виде комбинации текущего входа и контекстного отклика сети. В статье приведены результаты экспериментов над текстами на казахском и английском языках.

Бесплатно

Структура и параметры невзвешенной сети соавторства на основе данных БД REPEC

Бредихин Сергей Всеволодович, Ляпунов Виктор Михайлович, Щербакова Наталья Григорьевна

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

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

Бесплатно

Структура сети цитирования научных журналов

Бредихин Сергей Всеволодович, Ляпунов Виктор Михайлович, Щербакова Наталья Григорьевна

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

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

Бесплатно

Структура сети цитирования научных статей

Бредихин Сергей Всеволодович, Ляпунов Виктор Михайлович, Щербакова Наталья Григорьевна

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

Представлены методы измерения параметров, определяющих структуру сети цитирования научных статей: среднее расстояние, плотность и транзитивность. На основе данных о цитировании библиографической базы данных RePEc вычислены их значения. Для главной сетевой компоненты построены графы коцитирования, библиографического сочетания и выполнен их кластерный анализ с использованием двух алгоритмов. Произведено сравнение алгоритмов с помощью NMI. Результат кластеризации позволил выявить группы публикаций, объединенных общей тематикой, и охарактеризовать их.

Бесплатно

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

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

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

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

Бесплатно

Теоретико-графовые методы и системы программирования

Касьянов Виктор Николаевич, Касьянова Елена Викторовна

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

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

Бесплатно

Технологии энергообеспечения узлов беспроводных сенсорных сетей и их приложения

Зыбарева Олеся Юрьевна

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

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

Бесплатно

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

Завьялов Дмитрий Алексеевич, Захарова Алена Александровна

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

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

Бесплатно

Улучшение качества алгоритма рекомендательной системы с помощью методов ассоциативного анализа

Стубарев Игорь Михайлович, Альсова Ольга Константиновна

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

В сфере развития CRM систем растет спрос на вспомогательные системы, реализующие методы и технологии интеллектуального анализа данных и машинного обучения (Data mining) и способные генерировать полезные знания из огромных массивов собранных в CRM данных. В статье приведены результаты разработки и исследования алгоритма рекомендательного сервиса CRM системы с применением методов ассоциативного анализа данных. Ранее авторами был разработан и реализован базовый вариант алгоритма рекомендательного сервиса, основанный на использовании методов кластерного анализа данных и коллаборативной фильтрации [1-2]. В новой версии алгоритма дополнительно используются методы ассоциативного анализа для формирования рекомендаций по выбору продуктов (услуг), что позволило увеличить точность рекомендательной системы (сервиса) по метрике F2 в среднем с 67,98 % до 81,24 % при несущественном увеличении времени выдачи рекомендаций (в среднем на 2,47 мс). Исследование и сравнение базовой и модифицированной версий алгоритма проводилось на данных страховых компаний, предоставленных компанией „ФБ Консалт“.

Бесплатно

Улучшение качества передачи iptv-услуги видео по запросу через широкополосную сеть доступа

Гергес Мансур Салама Мансур Саламаа

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

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

Бесплатно

Универсальная SCADA-система "Блакарт" под управлением операционной системы QNX

Благодарный Иванович Благодарный

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

Описывается SCADA-система "Блакарт", являющаяся обобщением нескольких проектов автоматизирован- ных систем управления технологическими процессами, разработанных в Конструкторско-технологическом институте вычислительной техники СО РАН и реализованных на ряде предприятий добывающей промыш- ленности (угольные шахты), обрабатывающей промышленности (заводы по разделению изотопов урана) и транспортировки нефти (магистральные нефтепроводы). Показано, что SCADA-система как универсальный программно-методический инструмент позволяет создавать различные конкретные проекты АСУ ТП для автоматизации управления практически любыми технологическими процессами на произвольных технологических объектах в различных отраслях промыш- ленности включая и те, которые относятся к категории пожароопасных, взрывоопасных и экологически опасных производств.

Бесплатно

Универсальный интерфейс для аппаратно-программной платформы мобильных объектов систем мониторинга и управления транспортом

Сонькин Дмитрий Михайлович Дмитрий Михайлович, Шкуратовв Антон Викторовичв, Саврасов Федор Витальевичв, Миньков Александр Сергеевич

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

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

Бесплатно

Упорядочение работ и распределение ресурсов на основе использования линейного программирования

Крупа Юрий Романович

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

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

Бесплатно

Управление временем срабатывания затвора фотокамеры беспилотного летательного аппарата

Айнакулов Жарас Жетыбаевич, Кузьмин Александр Геннадиевич, Мухамедгалиев Арстан Фазулович, Разакова Майра Габбасовна, Смирнов Владимup Викторович

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

Статья посвящена разработке механизма управления затвором фотоаппарата SONY NEX 5N, предназначенного для выполнения картографической аэрофотосъемки с беспилотного летательного аппарата, оснащенного полетным контроллером АРМ 2.6.

Бесплатно

Управление тематическими данными в больших и сверхбольших хранилищах: механизмы, модели, программное обеспечение (состояние, задачи, решения)

Васенин Валерий Александрович

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

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

Бесплатно

Устойчивость динамических моделей компьютерных систем

Калимолдаев Максат Нурадилович, Синчев Бахтгерей Куспанович, Тажибахыт Галым Сабитович

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

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

Бесплатно

Устойчивый итерационный метод нахождения коэффициента теплопроводности материалов с неточными данными

Рысбайулы Болатбек, Юничева Надия Рафкатовна

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

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

Бесплатно

Учет законов сохранения при нейросетевом подходе к численному решению нелинейного уравнения Шредингера

Гурьева Ю.В., Васильев Е.П., Смирнов Л.А.

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

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

Бесплатно

Журнал