Informatics (E-Journal) / Информатика
Not a member yet
963 research outputs found
Sort by
ПРИМЕНЕНИЕ НЕПРОРЕЖЕННОГО ВЕЙВЛЕТ-ПРЕОБРАЗОВАНИЯ К ПРОГНОЗИРОВАНИЮ ВРЕМЕННЫХ РЯДОВ С ПОЛИНОМИАЛЬНЫМ ТРЕНДОМ
Get PDFРассматривается семейство алгоритмов, использующих непрореженное вейвлет преобразование для прогнозирования временных рядов. Предлагаются критерии выбора фильтра, приводится пример поиска фильтра, удовлетворяющего одному из критериев в частном случае полиномиального тренда
НАЗЕМНЫЕ И БОРТОВЫЕ ИСПЫТАНИЯ МАТЕРИАЛОВ НА ТРЕНИЕ В КОСМОСЕ
Get PDFРассматриваются вопросы аппаратно-методического обеспечения космических и наземных испытаний материалов на трение и износ. Приводятся основные характеристики используемого в эксперименте триботехнического оборудования. Описывается метод оценки и подбора эквивалентных условий проведения космических и наземных испытаний. Предложенный подход заключается в сравнении результатов бортовых и наземных исследований в многомерном пространстве признаков. Входные и выходные параметры каждого эксперимента интерпретируются как координаты некоторой точки, представляющей состояние сравниваемых трибосистем в многомерном пространстве признаков. Анализ расстояний между соответствующими точками позволил решить задачу подбора эквивалентных условий проведения наземных испытаний и осуществить прогностическую оценку неконтролируемых в ходе космического эксперимента параметров
Вычисление изменения состояния упругопластического материала Мурнагана в условиях течения при известных скоростях перемещений
Get PDFFor the generalized elastic-plastic material of Murnaghan, the problem of determining the velocities of the left measure of elastic distortions and the growth parameter of elastic deformation anisotropy at known displacement velocities is considered. The defining equations are formulated in a finite form for the specific potential energy of elastic deformation and the Cauchy stress tensor. Differential defining equations are presented for the stresses potential, stresses and anisotropy parameters. Three possible cases when the point of the deviator section of the yield surface will be regular or singular are considered. A system of equations for determining the velocities of the right-hand measure of elastic distortions and the growth parameter for elastic anisotropy is obtained. Using an orthogonal transformation with proper orthogonal rotation tensor that accompanies an elastic deformation, the system is reduced to a system of equations for determining unknown parameters. With the help of the symbolic calculation tools of the MathCAD 8 system, the necessary analytical representations of the values for the developed program complex in the FORTRAN language are found. The procedure for minimizing the growth parameter of elastic deformation anisotropy is described. A software implementation of the solution of this problem is obtained, which is an essential element of the numerical simulation system for the material under consideration
ПРИМЕНЕНИЕ ПРОГРАММНОГО ПАКЕТА STAR-CD ДЛЯ МОДЕЛИРОВАНИЯ ДВУХФАЗНОГО НАПРАВЛЕННОГО ПОТОКА В ОГРАНИЧЕННОЙ ОБЛАСТИ ПРИ РАЗЛИЧНЫХ РЕЖИМАХ ВЗАИМОДЕЙСТВИЯ ЧАСТИЦ
Get PDFРассматриваются методы моделирования аэродинамических процессов, возникающих придвухфазном направленном течении с учетом различных типов механического взаимодействия компонентов. Показывается, что методика, применяемая в настоящей работе для моделирования в программном пакете STAR-CD, позволяет получить достоверные результаты численного моделирования двухфазного направленного потока твердотельных частиц и несущей среды, в том числе в турбулентном режиме и с учетом взаимодействия частиц с вихревыми структурами
ВЕЙВЛЕТ-СЖАТИЕ ПОЛУТОНОВЫХ ИЗОБРАЖЕНИЙ С ИСПОЛЬЗОВАНИЕМ N-МЕРНЫХ РАЗВЕРТОК
Get PDFПредлагается метод блочного и поточно-блочного прогрессивного вейвлет-сжатия полутоновых изображений с потерями и без потерь на основе N-мерных древовидных и многосвязных структур. Данный метод позволяет управлять соотношением качество/быстродействие за счет выбора размерности древовидной структуры вейвлет-коэффициентов и согласования с ней размерности пространства пикселей исходного изображения. Согласование осуществляется посредством преобразования изображения в многосвязную структуру с использованием строчных и рекурсивных разверток. Показывается, что за счет преобразования развертками достигается увеличение пикового отношения сигнал/шум при сжатии с потерями и коэффициента сжатия без потерь
Верификация систем с параллелизмом поведения на основе графа достижимых состояний
Get PDFConsidered problem of model based verification of control systems is the checking whether the system behavior satisfies the requirements fixed in the design specification The testing includes the experiments consisting in simulation of investigated system to see input-output correspondence to the model. The test sequence is generated on the basis of the model that describes the desired behavior of the system. The method to construct a test sequence for verification of hardware (or software) implementation of a control system with behavior parallelism is suggested that is based on traversal of the graph of the states that are reachable in system functioning. A method for constructing the set of reachable global states for a parallel algorithm of the control system behavior and a method to obtain the test sets are described. The description of the system functioning, which is given by the design specification, is assumed to be correct. The hardware (or software) implementation that must conform to this specification is to be verified.Рассматривается задача верификации систем управления на основе моделей их поведения, которая состоит в проверке соответствия поведения системы требованиям, предъявляемым спецификацией на ее проектирование. Тестирование предполагает выполнение экспериментов, заключающихся в моделировании исследуемой системы, в ходе которого она проверяется на вход-выходное соответствие модели. Тестовая последовательность генерируется на основе модели, описывающей желаемое поведение системы. Предлагается метод построения тестовой последовательности для верификации схемной (или программной) реализации системы управления с параллелизмом поведения, который основан на обходе графа состояний, достижимых при функционировании системы. Описывается метод построения множества достижимых полных состояний для параллельного алгоритма описания поведения системы управления и получения тестовых наборов. Полагается, что описание функционирования системы, заданное спецификацией на проектирование, корректно; проверке подлежит схемная (или программная) реализация, которая должна соответствовать этой спецификации
СИСТЕМА ОПЕРАТИВНОГО УПРАВЛЕНИЯ ТЕХНОЛОГИЧЕСКИМ ПРОЦЕССОМ ПРОИЗВОДСТВА С ПОМОЩЬЮ ИМИТАЦИОННОГО МОДЕЛИРОВАНИЯ
Get PDFПредлагается методика организации управления технологическим процессом производства в режиме реального времени с помощью специализированного человеко-машинного комплекса имитации. Рассматривается организация управления потенциально опасным технологическим процессом производства, в составе которого имеются индикаторы состояния оборудования и функционирования технологического процесса, система принятия решения, имитационная модель вероятностного сетевого графика и блок сопряжения с экспертом-технологом. Излагаются технология управления производственным процессом и методика контроля состояния индикаторов системы
СЕГМЕНТАЦИЯ РЕНТГЕНОВСКИХ ИЗОБРАЖЕНИЙ ЛЕГКИХ
Get PDFОписывается подход, который решает задачу сегментации легких на цифровых рентгеновских изображениях грудной клетки, полученных в результате массового скрининга населения, с целью их последующего автоматизированного анализа. Предлагаемый подход имеет невысокую вычислительную сложность, что позволяет экономить вычислительные ресурсы при анализе изображений
МЕТОД РЕШЕНИЯ ЗАДАЧ РАСПОЗНАВАНИЯ В БУЛЕВОМ ПРОСТРАНСТВЕ НА ОСНОВЕ ЛОГИЧЕСКОЙ И ПРЕЦЕДЕНТНОЙ МОДЕЛЕЙ
Get PDFРассматриваются дедуктивный и индуктивный подходы к решению задач распознавания, в которых используются соответственно логическая и прецедентная модели представления начальной информации. Строится алгебра объектов и показывается ее изоморфность булевой алгебре. Разрабатываются алгоритмы перехода между моделями представления информации. Предлагается модификация метода резолюций для прецедентной модели. Разрабатывается комбинированный алгоритм, объединяющий метод резолюций с семейством алгоритмов распознавания, и показывается, что он работает не хуже любого из алгоритмов, образующих комбинацию
ИТЕРАТИВНЫЙ МЕТОД ЭНЕРГОСБЕРЕГАЮЩЕГО КОДИРОВАНИЯ СОСТОЯНИЙ ДИСКРЕТНОГО АВТОМАТА
Get PDFРассматривается задача кодирования состояний дискретного автомата с целью уменьшенияинтенсивности переключений элементов памяти в реализующей схеме. Определение значений внутренних переменных сводится к задаче нахождения максимального разреза во взвешенном графе