Статьи журнала - Труды Московского физико-технического института
Все статьи: 1035
Cтатическая оценка производительности посредством эмбеддингов промежуточных представлений LLVM
Статья научная
Рассматривается метод отображения программ в пространство векторов (эмбеддингов) для создания инструментария эмпирической оценки производительности программы на этапе компиляции без фактического исполнения. Предлагаемый метод основан на серии трансформаций исходного промежуточного представления (IR), таких как инструментирование искусственными инструкциями в компиляторном проходе, преобразование инструментированного IR в многомерный вектор с помощью технологии IR2Vec [1] с последующим понижением размерности по алгоритму t-SNE [2]. В качестве метрики производительности предлагается доля кэш-промахов первого уровня (D1 cache misses). Приводится эвристический критерий, по которому в двухмерном пространстве есть возможность отличить программы с большой долей промахов в кэше от программ с меньшей долей. Производится экспериментальная проверка критерия на синтетических тестах.
Бесплатно
Jubula: инструмент для автоматического тестирования графического интерфейса Java-приложений
Статья научная
Данная статья рассказывает об опыте применения системы тестирования графического интерфейса Eclipse. В ней приводится перечень свойств, которыми должен обладать инструмент для проверки GUI, а также обзор нескольких подобных инструментов. Большая часть статьи посвящена устройству и особенностям Jubula, самой продвинутой и неординарной системы из кандидатов. Рассмотрены способы хранения и проведения тестов, отображение их результатов, а также возможности интеграции отладочной среды с другими средствами сопровождения программ. В конце приводится заключение, в каких случаях лучше использовать этот инструмент.
Бесплатно
Статья научная
Обнаружение аномалий - это одна из самых важных задач технологии интеллектуального анализа данных (DataMining) и обнаружения знаний в базах данных. Эта задача решается во многих важных прикладных областях, таких как обнаружение атак (Intrusion Detection), обнаружения мошенничества (Fraud Detection), в том числе с кредитными картами, обнаружения аномалий в медицине (Medical Anomaly Detection), обнаружение злоупотреблений и др. В настоящее время проводится много исследований по решению этой задачи, но большинство полученных решений имеет высокую вычислительную сложность, что затрудняет использование таких решений в задачах с большим количеством данных [1]. В данной работе предложен новый алгоритм O-LDS, который имеет значительно меньшую вычислительную сложность по сравнению с известными - алгоритмом оценки локальной плотности (Local density score, LDS) [2] и алгоритмом фактора локального отклонения (Local Outlier Factor, LOF) [3]. Для оценки производительности алгоритма O-LDS использовался набор данных CHAMELEON [4], [5], содержащий данные сложной формы в двухмерном пространстве. Алгоритм O-LDS применяется для обнаружения аномалий в задаче обнаружения атак на информационные ресурсы с использованием реальных наборов данных ADFA [6]. Практические исследования показывают, что предложенный алгоритм не только реализует точное обнаружение аномалий, но и работает быстрее до 20 раз и более, чем алгоритмы LDS, LOF.
Бесплатно
On hypergraph cliques with chromatic number 3 and a given number of vertices
Статья научная
In 1973, P. Erdos and L. Lovasz pointed out that any hypergraph with pairwise intersecting edges has chromatic number 2 or 3. In the first case, this hypergraph can have any number of edges. However, Erdos and Lovasz proved that in the second case, the number of edges is bounded from above. For example, if a hypergraph is n-uniform, has pairwise intersecting edges and chromatic number 3, the number of its edges is less than nn. Recently, D.D. Cherkashin improved this bound (see [2]). In this paper, we further improve it, when the number of vertices of an n-uniform hypergraph is bounded from above by the value nm with some m = m(n).
Бесплатно
On list chromatic numbers of 2-colorable hypergraphs
Статья научная
We give an upper bound on the list chromatic number of a 2-colorable hypergraph which generalizes the Schauz bound on k-partite k-uniform hypergraphs. It makes sense for sparse hypergraphs. In particular we show that a k-uniform k-regular hypergraph has the list chromatic number 2 for k ≥ 4. Also, we obtain both lower and upper bounds on the list chromatic number of a complete s-uniform 2-colorable hypergraph in the vein of the Erd˝os-Rubin-Taylor theorem.
Бесплатно
Статья научная
Рассматривается способ и инструмент детектирования характерных паттернов на графо-структурированных промежуточных представлениях программ посредством решения задачи достижимости с контекстно-свободными (КС) ограничениями. Областями применимости исследования являются статический и гибридный анализ кода, анализ трасс исполнения ПО, графов вызовов. Статья представляет ключевые моменты методики исследования графов программ, проработки архитектурной и функциональной составляющих инструмента анализа. Представлено экспериментальное сравнение базовых алгоритмов проверки КС-достижимости на графах различной связности. Проверка концепции производится на примере детектирования специфической ситуации в работе с массивом данных посредством проведения экспериментов на разработанном программном комплексе. В работе также освещены дальнейшие направления исследования, тестирования и доработки представленного способа и инструмента.
Бесплатно
Статья научная
Представлена технология дистанционного сбора детализированных данных (Smart Monitoring) о потреблении и качестве энергоресурсов в коммунальной сфере. Под энергоресурсами (далее - ресурсами) имеются в виду электроэнергия, вода (холодная и горячая), тепловая энергия и газ. Под данными о качестве ресурса здесь понимаются параметры, характеризующие потребляемый ресурс. Представлен также вариант структуры системы сбора данных, основанный на технологии Smart Monitoring. Особое внимание уделено безопасности в системе и централизованному управлению ее элементами. Поток данных в такой системе несет в себе информацию о поведении потребителей энергоресурсов и используемом ими бытовом оборудовании. Данные о потреблении энергоресурсов для целей биллинга в такой системе являются только одной из многих и не самой главной функцией. Разработка технологии Smart Monitoring направлена на развитие рынка IT-услуг и массовых сервисов, в основе которых лежит анализ собранных детализированных данных о потреблении энергоресурсов.
Бесплатно
Статья
Бесплатно
Автоколебания газа, вызванные теплотой сгорания топлива или конвективным теплоподводом
Статья научная
ТЕНЗОР ДИССИПАЦИИ ТЕПЛОВОЙ ЭНЕРГИИ, «ОТРИЦАТЕЛЬНОЕ» ТЕПЛО- ВОЕ СОПРОТИВЛЕНИЕ, ТЕРМОАКУСТИЧЕСКИЕ АВТОКОЛЕБАНИЯ, ТРУБА РИЙКЕ.
Бесплатно
Автоколебания, возбуждаемые теплоотводом от потока нагретого газа
Статья научная
Получена простейшая математическая модель для определения параметров авто- колебаний, самовозбуждающихся в установке Леманна при локальном отводе теплоты от потока нагретого газа. Установлено, что при определенных условиях отвод теплоты от газа изменяет гидравлические характеристики течения, порождая эффект «отрица- тельного» сопротивления. Полученная математическая модель позволяет теоретически определить условия самовозбуждения рассматриваемых автоколебаний, а также оце- нить влияние различных параметров на их форму.
Бесплатно
Автоматизация трёхкоординатного испытательного стенда
Статья научная
Представлены результаты разработки трёхкоординатного испытательного стенда для экспериментов в аэродинамических трубах. Основное внимание обращено на имитационное моделирование и виртуальный эксперимент, позволяющие демонстрировать работу системы в динамике и управлять динамическим испытательным стендом с помощью программ SolidWorks, LabVIEW, MATLAB-Simulink, которые применяются для процесса проектирования автоматизированной системы.
Бесплатно
Автоматическое извлечение атрибутов водителя из логов мобильного приложения такси
Статья научная
Во многих задачах, решаемых в Яндекс.Такси с помощью машинного обучения, будь это обыкновенная сегментация пользователей, предсказание числа поездок в сле- дующем месяце или другие задачи, необходимо представлять пользователя приложе- ния в виде вектора признаков. Среди основных источников данных для построения такого вектора можно выделить логи мобильного приложения, которые, однако, слабо структурированы. Извлечение признаков из данных такого типа вручную осложнено характером данных: требуются серьезные знания в области человеческого поведения, а кроме этого - глубокое понимание технических деталей генерации логов. Мы раз- работали метод, который автоматически конструирует �-мерное векторное представ- ление пользователя, построенное на основе его активности в мобильном приложении. Полученное представление может использоваться как набор признаков в задачах обу- чения с учителем и без учителя. Как показывают эксперименты, опробованные модели успешно справляются с извлечением важной информации о пользователе. Мы проте- стировали наш метод в задачах обучения с учителем, решаемых в сервисе, и результаты показывают, что получаемое представление пользователя полезно как само по себе, так и в комбинации с собранными вручную признаками из истории заказов пользователя.
Бесплатно
Автомодельная редукция дифференциально-разностного уравнения для изучения его асимптотики
Статья научная
Сравниваются асимптотики решения дифференциально-разностного аналога уравнения Кортевега-де Фриза-Бюргерса, описывающего диффузию новых технологий в модели шумпетеровской динамики и решения непрерывной версии этого уравнения, полученного при автомодельной редукции Ферми-Улама.
Бесплатно
Автомодельные и неавтомодельные течения вязкого газа, истекающего из вершины конуса
Статья научная
Рассматривается стационарное осесимметричное течение вязкого сжимаемого га- за в расширяющемся конусе в автомодельной и неавтомодельной постановке. В рамках уравнений Навье-Стокса проведено численное моделирование течения в усеченном ко- нусе и дано сравнение с точным автомодельным решением. Показано, что при произ- вольных граничных условиях на левой и правой границах расчетной области течение выходит на автомодельный режим в некоторой промежуточной зоне, размер которой зависит от отношения параметров потока на границах расчетной области. Рассмотрены режимы течения с образованием местных сверхзвуковых зон и найдена приближенная зависимость относительного углового размера сверхзвуковой зоны от числа Маха на оси конуса.
Бесплатно
Автомодельные и неавтомодельные турбулентные течения вязкого газа в коническом диффузоре
Статья научная
Рассматриваются автомодельные и неавтомодельные турбулентные режимы течения вязкого газа в коническом диффузоре. Результаты, полученные в ходе прямого численного моделирования, сравниваются с точными автомодельными решениями, полученными в рамках гипотезы Буссинеска и модели Прандтля для турбулентной вязкости. Показано, что неавтомодельное численное решение выходит на автомодельный режим в некоторой внутренней области конического диффузора конечной длины.
Бесплатно
Автомодельные течения газа Абеля - Нобля в плоском диффузоре
Статья научная
Рассматривается стационарное ламинарное течение в плоском диффузоре вязкого газа, подчиняющегося уравнению состояния Абеля - Нобля. Система уравнений Навье - Стокса в частных производных сводится к системе обыкновенных дифференциальных уравнений. Для случая течения в тонком клине при малых дозвуковых скоростях задача решена аналитически. В общем случае система уравнений решается численно в широком диапазоне изменения определяющих параметров.
Бесплатно
Автомодельные турбулентные течения вязкого газа в клине
Статья научная
Рассмотрено турбулентное стационарное течение вязкого газа от источника, расположенного в вершине клина. В рамках классической модели Прандтля для турбулентной вязкости и гипотезы Буссинеска для тензора турбулентных напряжений установлена возможность построения автомодельных решений. Уравнения в частных производных при этом сводятся к системе обыкновенных дифференциальных уравнений. В случае произвольных значений определяющих параметров задачи проведено численное исследование и найдены их критические значения. Для течения в тонком клине построено асимптотическое решение.
Бесплатно
Статья научная
В настоящее время активно изучаются автоэмиссионные свойства полиакрилонитрильных углеродных волокон. Рассмотрены автоэмиссионные свойства полиакрилонитрильных углеродных волокон с фибрильной структурой диаметром 7 мкм и с температурой термической обработки 1500-2600 oC. Величина максимального эмиссионного тока, снимаемого с одиночного углеродного волокна, возрастает с увеличением температуры термообработки. Проанализировано изменение вольт-амперных характеристик в процессе работы автоэмиссионного катода и под воздействием адсорбции молекул остаточного газа. Показан путь уменьшения флуктуаций эмиссионного тока.
Бесплатно
Адаптивные градиентные методы для некоторых классов задач негладкой оптимизации
Статья научная
Предложено несколько адаптивных алгоритмических методов, применимых к задачам негладкой выпуклой оптимизации. Первый из них основан на введении специальной искусственной неточности, и для его реализации предложен соответствующий аналог концепции абстрактной неточной модели целевой функции. Для этой концепции предложены аналоги градиентного метода, а также быстрого градиентного метода с адаптивной настройкой некоторых параметров неточной модели, и получена оценка качества найденного решения. Показано, что для негладких задач возможно модифицировать предложенные методы так, чтобы гарантированно выполнялась сходимость по функции со скоростью, близкой к оптимальной. Введена аналогичная концепция неточной модели для оператора поля вариационного неравенства, а также для седловой задачи и приведена оценка скорости сходимости соответствующего адаптивного варианта проксимального зеркального метода. Предложены аналоги субградиентных схем с переключениями для задач выпуклой оптимизации с ограничениями. При этом рассмотрены предположения, связанные с недавно предложенным условием относительной липшицевости. Это позволило выписать оценку качества решения с относительной точностью для задачи минимизации однородного выпуклого функционала при достаточно общих предположениях.
Бесплатно
