Informatics (E-Journal) / Информатика
Not a member yet
963 research outputs found
Sort by
Математическая модель независимых альтернатив в теории рейтингов
Get PDFThis paper considers the alternative theory of measurement - theory of ratings. The axiomatic definition of ranking is based on definitions from category theory. The scope of the rating definition is the set of objects and the set of ordered pairs of objects. The rating is the transformation that maps the set of objects to the set of numeric values and the set of ordered pairs of objects to the difference of the corresponding numeric values. Finding the rating by subjective measurement requires special control of the information received. The method of alternatives can be used to verify the adequacy of experimental data to the axiomatic definition of the rating.In the paper the definition of the independence of two variables in magnitude is formulated. It is assumed that for independent variables there is an additive or multiplicative representation of the rating. An example of subjective measurement using multi-criteria utility theory (MAUT), hierarchy analysis (AHP) and rating theory is considered. The AHP heuristic method can lead to classification errors. The mathematical model of the utility function in the axiomatic method MAUT is multiplicative or additive and generally corresponds to the rating model with independent variables.Рассматривается альтернативный вариант теории измерений - теория рейтингов. Существуют два определения рейтинга. В классическом случае, если величина некоторых объектов изменяется равномерно, рейтинг объекта равен его порядковому номеру. Аксиоматическое определение рейтинга основывается на понятиях теории категорий. В этом случае областью определения рейтинга является множество объектов и множество упорядоченных пар объектов. Рейтинг - это преобразование, которое отображает множество объектов на множество числовых значений и множество упорядоченных пар объектов - на разности соответствующих числовых значений. Нахождение рейтинга методом субъективного измерения требует особого контроля получаемой информации. С этой целью можно использовать метод альтернатив для проверки адекватности экспериментальных данных аксиоматическому определению рейтинга.Дается определение независимости двух переменных по величине. Предполагается, что для независимых переменных существует аддитивное или мультипликативное представление рейтинга. Рассматривается пример субъективного измерения с помощью многокритериальной теории полезности (Multi-Attribute Utility Theory, MAUT), метода анализа иерархий (МАИ) и теории рейтингов. Эвристический МАИ может приводить к ошибкам в классификации. Математическая модель функции полезности в аксиоматическом методе MAUT является мультипликативной или аддитивной и в целом соответствует модели рейтинга с независимыми переменными
ОПИСАНИЕ ПАРАЛЛЕЛЬНЫХ И СЕКВЕНЦИАЛЬНЫХ АВТОМАТОВ НА ЯЗЫКЕ VHDL
Get PDFПредлагаются синтезируемые VHDL-модели параллельных автоматов, представленных на языке ПРАЛУ, и секвенциальных автоматов. Синтезируемыми являются такие VHDL-описания, по которым возможно автоматическое построение логических схем в заданных базисах логических элементов
Алгоритм синтеза устойчивых характеристических полиномов динамических систем при условии вариации параметров
Get PDFThe paper deals with the dynamic systems with perturbed parameters described by the families of the third order characteristic polynomials having coefficients within the given intervals of values. The system dynamics is represented in the form of the root locus portrait. The notion of the root locus field of the family is introduced that is the basis for the system stability condition formulation. Root locus portrait configuration peculiarities of the systems of the kind and graphic-analytical approach to their analysis and synthesis serve as the basis for the system characteristic equation parameters calculation algorithm ensuring its robust stability in case of the given system proven unstable. Algorithm is implemented in the graphic-analytical form. System stability investigation and synthesis, in case of necessity, of the new parameters values are performed on the basis of estimation of the family root locus dominating field location character in the roots plane.Рассматриваются динамические системы с возмущенными параметрами, описываемые семействами характеристических полиномов третьего порядка с коэффициентами в пределах заданных интервалов значений. Динамика системы определяется в форме корневого портрета. Вводится понятие доминирующего поля корневых траекторий семейства, на основе которого формулируется условие устойчивости системы. На базе особенностей конфигурации корневых портретов подобных систем и графоаналитического подхода к их анализу и синтезу формируется алгоритм расчета параметров характеристического уравнения системы, обеспечивающих ее робастную устойчивость в случае неустойчивости исходной системы. Алгоритм реализуется в графоаналитическом варианте. Исследование устойчивости семейства и синтез, в случае необходимости, новых значений параметров выполняются на основе анализа расположения доминирующего поля корневых траекторий семейства в плоскости корней системы
МАТЕМАТИЧЕСКАЯ МОДЕЛЬ СИНТАКСИЧЕСКОГО АНАЛИЗА ТЕКСТА В ИНФОРМАЦИОННО-АНАЛИТИЧЕСКОЙ СИСТЕМЕ
No full textПредлагается метод синтаксического анализа текста, основанный на моделировании процесса распознавания его синтагм средствами специальной формальной грамматики (штрих-грамматики), которая обеспечивает универсальность метода для различных естественных языков. Формализованы основные семантические отношения в языке, с использованием которых исследованы условия существования в предложениях текста маргинальных синтагм. С учетом этих свойств разработаны алгоритмы синтаксического анализа проективных и непроективных предложений
О надежности, безопасности и читабельности языков программирования на примере языка Ада
Get PDFA few small suggestions of language design reflect the author's views are presented. These suggestions are mainly related to the reliability and safety of simple, typical structures and statements in programming: typification, compile-time elaborations of variables, status of variables, high-level statements, etc. The programmers often spend working time with similar constructions. From mathematical point of view these suggestions do not effect seriously on the complexity and efficiency of calculations; they are designed exclusively to help a programmer to write reliable, secure and clear programs. These suggestions are illustrated on Ada language, which is very suitable for this purpose, but they can be applied in other languages also.Представлены несколько небольших предложений, которые относятся к проектированию языков и отражают взгляды автора на данный предмет. Эти предложения затрагивают надежность, ясность и безопасность типичных, простых конструкций языков программирования, таких как, например, типизация, начальная элаборация, статус переменных, некоторые высокоуровневые операторы и пр. Часто программисты тратят много времени на работу с подобными конструкциями. Представленные предложения мало влияют на сложность и эффективность вычислений. Они предлагаются исключительно для помощи программисту в создании надежных и безопасных программ. Предложения иллюстрируются примерами на языке Ада, который очень удобен для этого, но они могут быть применены и в других языках
Анализ акустических параметров голоса для выявления заболеваний гортани
Get PDFThe comparative study of two types of voice signal representation for larynx pathology detection is presented. Parameters obtained in clinical system lingWaves compared to parameters obtained by mel-frequency cepstral analysis. The classifier based on the probabilistic model (logistic regression) was designed to determine the suitability of given parameters for the larynx pathology detection problem. To train the classifier, the base of voice samples of 60 persons was recorded, 30 of which constitute the control group, and the other 30 had various diseases of the larynx (nodules of the vocal folds, laryngeal paralysis, or functional dysphonia). The results show that the classifier based on mel-frequency cepstral parameters (83,8 %) higher than the classifier based on parameters obtained in lingWaves (60,4 %).Приведены результаты анализа двух способов описания голосового сигнала для решения задачи выявления заболеваний гортани. Сравнивались параметры голоса, определяемые клинической системой lingWaves, и параметры, получаемые в результате мел-частотного кепстрального анализа голоса. Для определения пригодности данных параметров при решении задачи выявления заболеваний гортани на их основе строился классификатор с использованием вероятностной модели – логистической регрессии. Для обучения классификатора была записана база голосов 60 человек, 30 из которых составляли контрольную группу, а другие 30 имели различные заболевания гортани (узелки голосовых складок, паралич гортани или функциональную дисфонию). Показано, что точность классификатора на основе мелчастотных кепстральных параметров (83,8 %) выше, чем точность классификатора на основе параметров, полученных в системе lingWaves (60,4 %)
ИСТОРИЯ СОЗДАНИЯ И РАЗВИТИЯ В БЕЛАРУСИ КОМПЬЮТЕРНЫХ СИСТЕМ РАСПОЗНАВАНИЯ И СИНТЕЗА РЕЧИ
Get PDFОписывается 40-летняя история создания и развития в Беларуси компьютерных систем распознавания и синтеза речи, включающая начальный этап в рамках группы исследования речи в Минском радиотехническом институте (1965 – 1974), развитие исследований в составе лаборатории обработки речевых сигналов Московского отделения Центрального научно-исследовательского института связи (1974 – 1988) и новейшую историю разработок компьютерных систем распознавания и синтеза речи в лаборатории ИТК (ныне ОИПИ) НАН Беларуси. Описываются последние научные и практические разработки лаборатории, в частности компьютерное клонирование персонального голоса и дикции человека
МОДЕЛИРОВАНИЕ ПЕРЕХОДНОЙ ХАРАКТЕРИСТИКИ ТРАКТА ЦИФРОВОЙ МАГНИТНОЙ ЗАПИСИ
Get PDFРассмотрено представление переходной характеристики тракта цифровой магнитной записи в виде линейной комбинации гауссовой кривой и Лоренциана. Задача аппроксимации экспериментальной характеристики рассматривается как сепарабельная нелинейная задача метода наименьших квадратов. Предложены преобразования параметров модели переходной характеристики, позволяющие обеспечить унимодальность критерия аппроксимации. Методом вычислительного эксперимента исследована структура критерия аппроксимации в зависимости от отношения сигнал/шум тракта для модельной переходной характеристики. Приведены результаты идентификации параметров экспериментальных переходных характеристик
СПОСОБЫ АНАЛИЗА КАЧЕСТВЕННЫХ ХАРАКТЕРИСТИК АВТОМАТИЗИРОВАННЫХ ДАКТИЛОСКОПИЧЕСКИХ ИДЕНТИФИКАЦИОННЫХ СИСТЕМ
Get PDFПроанализированы возможности и ограничения основных используемых в практической работе способов оценки качества функционирования автоматизированных дактилоскопических идентификационных систем на основе различных решающих правил сравнения латентных и файловых дактилоскопических изображений. Показана предпочтительность способа, позволяющего при работе с реальными дактилоскопическими массивами получать статистически достоверную величину надежности работы систем
ОТ ЭРГОНОМИКИ БИОТЕХНИЧЕСКИХ СИСТЕМ К БИОИНФОРМАТИКЕ
Get PDFРассматриваются постановки задач и методы их решения, разработанные специалистами лаборатории биоинформатики ОИПИ НАН Беларуси в рамках следующих направлений исследований: качественное измерение и агрегирование разнородной информации в задачах выбора, автоматизация эргономического проектирования и испытаний кабин автотранспортных средств. Формулируются основные научные результаты, полученные автором и его коллегами за последние десять лет