Informatics (E-Journal) / Информатика
Not a member yet
963 research outputs found
Sort by
РАБОТА С КЛАСТЕРНЫМ КОМПЬЮТЕРОМ ИЗ WINDOWS
Get PDFРассматривается проблема подготовки программы к выполнению на мультипроцессорной системе кластерного типа. При разработке программ для кластерного компьютера применяется технология, основанная на использовании удаленного терминала. Рассматривается ситуация, когда таким удаленным терминалом является компьютер с операционной системой Windows. Предлагается набор инструментальных средств, позволяющий выполнять задачи редактирования текста, компиляции программы и запуска программы на кластере. Достоинством предлагаемого способа подготовки программы к выполнению является возможность максимального использования опыта работы программиста в Windows
ОБОСНОВАНИЕ СОСТАВА И ТЕРРИТОРИАЛЬНОГО РАЗМЕЩЕНИЯ ИСТОЧНИКОВ РАДИОЛОКАЦИОННОЙ ИНФОРМАЦИИ ПРИ ПОСТРОЕНИИ СИСТЕМЫ КОНТРОЛЯ ВОЗДУШНОГО ПРОСТРАНСТВА
Get PDFРассматриваются вопросы обоснования рационального количественно-качественного состава и территориального размещения первичных источников радиолокационной информации системы контроля воздушного пространства. Сформулированы типовые задачи, возникающие при выработке решений по обеспечению требуемых параметров радиолокационного поля при построении системы контроля воздушного пространства. Рассмотрены основные подходы к формализации и автоматизированному решению этих задач, в том числе с использованием цифровой картографической информации
МИНИМИЗАЦИЯ СУММАРНОГО ВРЕМЕНИ ОБСЛУЖИВАНИЯ ТРЕБОВАНИЙ С ЕДИНИЧНЫМИ ДЛИТЕЛЬНОСТЯМИ ОПЕРАЦИЙ НА ОСНОВЕ РАСКРАСКИ СМЕШАННОГО ГРАФА
Get PDFОптимальная раскраска φ смешанного графа G=(V,A,E) определяет расписание, которое минимизирует среднее время обслуживания n требований в системе job shop с единичными длительностями операций. Подграф (V,A,Æ) смешанного графа G представляет собой объединение путей, а подграф (V,Æ,E) – объединение клик. Разработан метод ветвей и границ для оптимальной раскраски смешанного графа G с критерием минимизации суммы номеров цветов, используемых для n требований. Проведен вычислительный эксперимент на ПЭВМ по построению оптимальной раскраски вершин смешанных графов порядка n £ 200, сгенерированных случайным образом.
ЧИСЛЕННОЕ МОДЕЛИРОВАНИЕ БОЛЬШИХ ДЕФОРМАЦИЙ И ПОВОРОТОВ УПРУГОПЛАСТИЧЕСКОЙ СРЕДЫ
Get PDFПредставлены допустимые определяющие соотношения. С использованием известных диаграмм для меди выполнены численно базовые эксперименты – одноосные растяжение и сжатие, вычислены функции и параметры теории. Рассмотрен модельный пример о простом сдвиге
Вычислительный подход и программный пакет RNAexploreR для группировки молекул РНК генов человека по их экзонным признакам
Get PDFThe study on the exon combinatoric rules of human genes during the process of splicing is of great interest for the diagnosis and treatment of cancer. A certain part of the research is aimed at developing reliable prediction models for global exon combinatorics during the formation of mature RNA. The primary task is to develop standards or uniform systematic statistical approaches to the analysis and interpretation of possible exon sequences of genes.A computational approach is proposed to group alternative splicing events in primary messenger RNA of human genes with the aim of determining the gene correspondence or molecule class. The method consists of reducing the dimension of the exon feature space and combining closely located exons into a limited number of classes, replacing the exon pathways of RNA generation with sequences of corresponding exon class labels, calculating the distances between RNA transcripts by some measure of similarity, and associating closely spaced RNA objects into clusters. The performance evaluation of developed algorithms has been done using the examples of RNA molecules of selected nonhomologous human genes and human hybrid oncogene RUNX1/RUNX1T1. The mean accuracy of the assignment of the transcript to given gene is about 99,5 % for the considered nonhomologous pairs of genes.A software package and web application RNAexploreR, integrating the implemented algorithms for the analysis of alternative splicing of human gene RNA products, have been developed. The proposed algorithms and software can be used to study the organization and functioning of both aberrant and normal human genes.Изучение правил комбинаторики экзонов генов человека во время сплайсинга представляет огромный интерес для диагностики и лечения раковых заболеваний. Определенная часть исследований направлена на разработку надежных моделей предсказания глобальной комбинаторики экзонов при образовании зрелой РНК. Первоочередной задачей является разработка стандартов или единых систематизированных статистических подходов к анализу и интерпретации возможных экзонных последовательностей генов.Предложен вычислительный подход к предсказанию событий альтернативного сплайсинга в первичных мРНК генов человека, методика которого состоит в снижении размерности пространства экзонных признаков и объединении близко расположенных экзонов в ограниченное число классов, замене экзонных путей генерации РНК на последовательности соответствующих меток классов экзонов, вычислении расстояний между транскриптами РНК по некоторой мере сходства, объединении близкорасположенных объектов РНК в кластеры. Проверка работоспособности разработанных алгоритмов выполнена на примере наборов молекул РНК отобранных негомологичных генов человека и гибридного онкогена RUNX1-RUNX1T1 человека. Точность предсказания разработанного подхода составляет 99.5% для рассмотренных негомологичных пар генов.Разработан программный пакет и веб-приложение RNAexploreR, интегрирующие реализованные алгоритмы анализа альтернативного сплайсинга РНК-продуктов генов человека. Предложенные алгоритмы и программное обеспечение могут быть использованы для изучения организации и функционирования как аберрантных, так и нормальных генов человека
ФОРМАЛЬНЫЕ МЕТОДЫ АНАЛИЗА ПОВЕДЕНИЯ РАСПРЕДЕЛЕННЫХ СИСТЕМ
Get PDFАнализируются понятия параллелизма и асинхронности – ключевые понятия, лежащие в основе современных представлений о проблемах проектирования вычислительных устройств. При разработке вычислительных устройств широко применяются теоретические модели архитектуры и технологии, использующие концепцию распределенных мультиагентных систем, состоящих из агентов, поведение которых задается посредством протоколов. Рассматривается задача разработки описания поведения агентов как моделирование системы в рамках некоторого формализма, особое внимание уделяется трактовке понятия времени в формализмах, моделирующих проектируемую систему. Показано, что, несмотря на отсутствие явных ссылок, во всех формализмах время учитывается как порядок смены событий.
ОБ ИНТЕРПРЕТАЦИИ ВРЕМЕННОЙ ЛОГИКИ ПРИ СИМВОЛИЧЕСКОЙ ВЕРИФИКАЦИИ
No full textВ последние годы инструменты для символической верификации на основе временной логики входят в состав большинства индустриальных САПР СБИС. В символических верификаторах используется логика ветвящегося времени CTL. Ее недостатком считается неинтуитивность. Предлагаются интерпретации временных логик, в которых выразительность и интуитивность CTL для интервальных событий не хуже, чем выразительность и интуитивность LTL для мгновенных событий, что позволяет упростить формулирование проверяемых временных свойств
СЕГМЕНТАЦИЯ ДАКТИЛОСКОПИЧЕСКИХ ИЗОБРАЖЕНИЙ В АВТОМАТИЗИРОВАННЫХ ИНФОРМАЦИОННЫХ СИСТЕМАХ
Get PDFРассматривается составной метод сегментации изображений отпечатков пальцев. Особенность предлагаемого метода состоит в совместном анализе градиентных характеристик и поля направлений потока папиллярных линий входного дактилоскопического изображения. Разработанный метод сегментации был проверен на большом количестве изображений отпечатков пальцев, полученных с разных носителей, и показал высокую эффективность и устойчивость
Метод синтеза дискриминационных характеристик угломерных систем многолучевых радиолокационных станций
Get PDFIn radar systems angle information about an object is obtained by discriminator, the basic properties of which are determined by the discriminator curve. Its main parameters are the conversion factor and the width. Currently, these parameters remain unguided during the tracking process. At the same time, when changing modes or conditions of operation, it is desirable to control these parameters, which is possible in multipath radars. In multipath radar the discriminator curve is formed by simultaneous weight summing of the signals at the receiving channels outputs. The objective of the study was to develop a method for finding the values of optimal weight coefficients for obtaining the desired parameters of the discriminator curve with an instantaneous amplitude comparison of signals. As an optimality criterion, we used the condition of minimizing of noise variance at the discriminator output, taking into account linear constraints on its characteristics parameters. The solution is carried out by method of Lagrange multipliers. Two options of the discriminator curve synthesis are considered: for additive and multiplicative discriminators. Expressions for optimal weight coefficients are obtained in general term. The proposed method allows to find the desired parameters of discriminator curves, in particular, it is possible to form its zero values in angular directions to suppress the influence of external noise.В радиолокационных станциях (РЛС) угломерная информация об объекте получается посредством дискриминатора, основные свойства которого определяются дискриминационной характеристикой. Ее главными параметрами считаются коэффициент преобразования и ширина. В настоящее время эти параметры остаются неуправляемыми в процессе сопровождения. Вместе с тем при смене режимов или условий работы ими желательно управлять, что возможно в многолучевых РЛС, где дискриминационная характеристика формируется путем одновременного весового суммирования сигналов на выходах приемных каналов. Задача исследования состояла в разработке метода нахождения значений оптимальных весовых коэффициентов для получения желаемых параметров дискриминационной характеристики при мгновенном амплитудном сравнении сигналов. В качестве критерия оптимальности было использовано условие минимизации дисперсии шумов на выходе дискриминатора с учетом линейных ограничений на параметры его характеристики. Решение осуществлялось методом множителей Лагранжа. Рассмотрены два варианта синтеза дискриминационных характеристик: для аддитивных и мультипликативных дискриминаторов. В общем виде получены выражения для оптимальных весовых коэффициентов. Предложенный метод позволяет находить желаемые параметры дискриминационных характеристик, в частности формировать нулевые значения дискриминационной характеристики в угловых направлениях для подавления влияния внешних помех
ПОСЛЕДОВАТЕЛЬНОЕ ВОСПРОИЗВЕДЕНИЕ ГОЛОГРАФИЧЕСКИХ ЗАПИСЕЙ
Get PDFРазработан способ последовательного воспроизведения голографических записей, заключающийся в использовании энергии пучков нулевого порядка на каждом предыдущем цикле считывания для воспроизведения этой же или других голограмм на последующих циклах. Дано общее математическое описание информационной и энергетической моделей способа