Modeling and Analysis of Information Systems / Моделирование и анализ информационных систем (МАИС)
Not a member yet
782 research outputs found
Sort by
Исследование ортогональности сигналов с вращением вектора поляризации
Get PDFThe objects of this study were the properties of time-bound electromagnetic waves (wave packets) from rotating in space vectors of polarization with a constant angular velocity. It is shown that the formal condition of function orthogonality on some interval of their argument, which is an integrated energy characteristics of their mutual influence, can be extended to a system of time-wave packets with the specified polarization characteristics. It is designed an adjustable threshold criterion level, which defines the boundaries of signals orthogonality in a two-dimensional space of frequency-difference parameters. It has been demonstrated that with an increase in the duration of these packages there is a tendency to extend the set of frequency parameters that satisfy the criteria specified level of orthogonality.Объектами данного исследования являлись свойства ограниченных во времени электромагнитных колебаний (волновых пакетов) с вращающимися в пространстве с постоянной угловой скоростью векторами поляризации. Показано, что формальное условие ортогональности функций на некотором интервале их аргумента, которое представляет собой интегральную энергетическую характеристику их взаимного влияния, может быть распространено на систему ограниченных во времени волновых пакетов с указанными поляризационными характеристиками. Разработан пороговый критерий с регулируемым уровнем, определяющим границы ортогональности таких сигналов в двумерном пространстве их частотно-разностных параметров. Продемонстрировано, что с увеличением длительности указанных пакетов наблюдается тенденция расширения множества их частотных параметров, удовлетворяющих установ-енному уровню критерия ортогональности
Технологии и алгоритмы для создания дополненной реальности
Get PDFThis article is about the Augmented Reality technology itself and its current implementations. In the first part of the article the authors give a short historical reference to the origins of the name ”augmented reality”, by whom it was introduced and what it means. Later in the article two major approaches to building AR are described. The first one is based on the usage of a marker, and the second one is marker-free. The first approach is examined in detail. In order to analyze video stream and recognize known objects in it, algorithms of the Computer Vision are used. The authors give a short description and the main characteristics only of two of them: genetic algorithms and feature detection & description. For a programmatic implementation of those algorithms one can use special libraries like OpenCV and AForge.NET, also mentioned in the article. Both of them give vast functional capabilities in image processing and object recognition. At the end of the article is given an example of creating AR using the OpenCV library. Main attention is payed to the problem of making projection of a 3D model on the marker’s plane. This example can be used as the foundation for a custom AR framework
Оптимальные квадратурные формулы приближенного вычисления криволинейного интеграла первого рода для некоторых классов функций и кривых
Get PDFIn this paper is considered the extreme problem of searching for the optimal quadrature formulas in S.M. Nikolskiy sense for approximate calculation of curvilinear integrals of first kind on the class of differentiable functions, the second gradient norm of which in Lp (1 ≤ p < ∞) is bounded along the curve by which the curvilinear integral is calculated. The exact errors of optimal quadrature formula for the studied class of functions were calculated, and the explicit formulas for optimal nodes and coefficients was shown.В работе рассматривается экстремальная задача отыскания оптимальных квадратурных формул в смысле С.М. Никольского для приближенного вычисления криволинейных интегралов первого рода на классах дифференцируемых функций, у которых норма второго градиента ограничена по норме в Lp (1 ≤ p < ∞) вдоль кривой, по которой вычисляется криволинейный интеграл. Вычислена точная оценка погрешности оптимальной квадратурной формулы на рассматриваемом классе функций и указан явный вид оптимальных узлов и коэффициентов
Автоматическая верификация C-программ на основе смешанной аксиоматической семантики
Get PDFThe development of the C-light project resulted in the application of new formalisms and implementation techniques which facilitate the verification process. The mixed axiomatic semantics proposes a choice between simplified and full-strength deduction rules depending on program objects and their properties. The LLVM infrastructure helps greatly in writing the C-light program analyzer and translator. The semantical labeling technique, proposed earlier, can now be safely kept in verification conditions during their proof. Two programs from the well-known verification benchmarks illustrate the applicability of the system.Развитие проекта C-light привело к применению новых формализмов и реализации методов, которые облегчают процесс верификации С-программ. Смешанная аксиоматическая семантика предлагает выбор между упрощенными и общими правилами вывода условий корректности (УК) в зависимости от программных объектов и их свойств. Инфраструктура LLVM значительно упрощает реализацию анализатора и транслятора C-light программ. Метод семантических меток, предложенный ранее, теперь может быть безопасно исполь- зован в условиях корректности при их доказательстве. Рассмотрен пример из соревнования по верификации, иллюстрирующий применение нашей системы
Автоматизация формирования табличных приложений
Get PDFThe paper considers automation problems of the interface formation between a table and a relational database. The task description is formalized and the description of the existing approaches to formation of data representations on an example of widely widespread CASE-tools is submitted. The definition of intermediate data representation as a ”join table” is offered, which is used for maintenance of correctness of data representation formation, and also is necessary for direct and inverse data transformations. On the basis of lossless join property and realized dependencies, the concept and a way of context formation of the application and restrictions is introduced. The considered material is further used for constructing an inverse data transformation from tabular presentation into a relational one. On the basis of relationships properties on a database scheme, the partial order on the relations is established, and the restriction of acyclic databases schemes is introduced. The received results are further used at the analysis of principles of formation of inverse data transformation, and the basic details of such a transformation algorithm are considered
Формальная модель и задачи верификации программно-конфигурируемых сетей
Get PDFSoftware-defined networking (SDN) is an approach to building computer networks that separate and abstract data planes and control planes of these systems. In a SDN a centralized controller manages a distributed set of switches. A set of open commands for packet forwarding and flow-table updating was defined in the form of a protocol known as OpenFlow. In this paper we describe an abstract formal model of SDN, introduce a tentative language for specification of SDN forwarding policies, and set up formally model-checking problems for SDN.Программно-коммутируемые сети (ПКС) — это класс компьютерных телекоммуникационных сетей, появившийся несколько лет назад в стремлении упростить проектирование и повысить гибкость управления сетями за счет разделения потоков данных (пакетов) и потоков управления (сообщений и команд), циркулирующих в сетях. ПКС представляет собой распределенную систему, в которой один или несколько контроллеров управляют множеством сетевых коммутаторов, обеспечивающих продвижение пакетов по каналам сети. Функциональные возможности и порядок взаимодействия коммутаторов и контроллеров ПКС определяются протоколом OpenFlow. На основе аппарата булевых функций и дискретных преобразователей нами предложена формальная модель ПКС, введен прототип формального языка спецификаций, поставлены задачи верификации моделей ПКС и получены оценки их сложности. Для одной из задач верификации моделей ПКС описан метод ее решения, на основе которого разработано программно-инструментальное средство верификации ПКС
Влияние деформации области на поведение решений распределенной кинетической системы
Get PDFThe behavior of a distributed kinetic system, which is in homogeneous equilibrium within a flat circular reactor, under circular domain deformation is studied. We show that the deformation of domain may lead to appearance of stable spatially inhomogeneous oscillatory solutions, including chaotic oscillations (strange attractors), in the neighborhood of homogeneous equilibrium. We also speak about mechanisms of initiation of chaotic attractors and calculate Lyapunov exponents and Lyapunov dimension for these regimes. We call this mechanism of appearance of spatially inhomogeneous nonlinear oscillations in distributed kinetic system the domain effect.Рассмотрено поведение распределенной кинетической системы, находящейся в однородном равновесном состоянии в плоском круговом реакторе, при деформации круговой области. Показано, что деформация области может приводить к возникновению в окрестности однородного равновесного состояния устойчивых пространственно неоднородных колебательных решений, в том числе хаотических (странных аттракторов). Отмечены механизмы возникновения хаотических аттракторов, для которых вычислены ляпуновские показатели и ляпуновская размерность. Указанный механизм возникновения пространственно неоднородных нелинейных колебаний в распределенной кинетической системе предложено назвать эффектом области
Оценка числа решетчатых разбиений плоскости на полимино заданной площади
Get PDFWe study a problem of a number of lattice plane tilings by given area polyominoes. A polyomino is a connected plane geometric figure formed by joining edge to edge a finite number of unit squares. A tiling is a lattice tiling if each tile can be mapped to any other tile by translation which maps the whole tiling to itself. Let T(n) be a number of lattice plane tilings by given area polyominoes such that its translation lattice is a sublattice of Z². It is proved that 2n−3 + 2[ n−3 2 ] ≤ T(n) ≤ C(n + 1)3 (2.7)n+1. In the proof of a lower bound we give an explicit construction of required lattice plane tilings. The proof of an upper bound is based on a criterion of the existence of lattice plane tiling by polyomino and on the theory of self-avoiding walk. Also, it is proved that almost all polyominoes that give lattice plane tilings have sufficiently large perimeters.Рассматривается задача о числе решетчатых разбиений плоскости на полимино заданной площади. Полимино представляет собой связную фигуру на плоскости, составленную из конечного числа единичных квадратов, примыкающих друг к другу по сторонам. Разбиение называется решетчатым, если любую фигуру разбиения можно перевести в любую другую фигуру параллельным переносом, переводящим все разбиение в себя. Пусть T(n) – число решетчатых разбиений плоскости на полимино площади n, решетка периодов которых является подрешеткой решетки Z² . Доказано, что 2 n−3 + 2[ n−3 2 ] ≤ T(n) ≤ C(n + 1)3 (2.7)n+1. При доказательстве нижней оценки использована явная конструкция, позволяющая построить требуемое число решетчатых разбиений плоскости. Доказательство верхней оценки основано на одном критерии существования решетчатого разбиения плоскости на полимино, а также на теории самонепересекающихся блужданий на квадратной решетке. Также доказано, что почти все полимино, дающие решетчатые разбиения плоскости, имеют большой периметр
Единая модель для геоклассификации веб-сайтов
Get PDFThe paper presents a novel approach to finding regional scopes (geotagging) of websites. Unlike the traditional approaches, which generally involve training a separate classification model for each class (region), the proposed method is based on training a single model which is used for all regions of the same type (e.g. cities). This approach is made possible by the usage of ”relative” features which indicate how a selected region matches up to other regions for a given website. The classification system uses a variety of features of different nature that have not been yet used together for machine-learning based regional classification of websites. The evaluation demonstrates the advantage of our ”one model per region type” method versus the traditional ”one model per region” approach. A separate experiment demonstrates the ability of the proposed classifier to successfully detect regions which were not present in the training set (which is impossible for traditional approaches)