Modeling and Analysis of Information Systems / Моделирование и анализ информационных систем (МАИС)
Not a member yet
782 research outputs found
Sort by
Замечания о расположениях точек на квадриках
Get PDFIt is considered the minimization of a quadratic polynomial on the set of all points of a multidimensional space, coordinates of which are either zero or one. Some restrictions are imposed on the arrangement of the minimum points when there are many such points.combinatorial optimization, quadratic programming, empty quadric, polytope, facetРассмотрена задача минимизации квадратичного многочлена на множестве всех точек многомерного вещественного пространства, координаты которых равны нулю или единице. Получены некоторые ограничения на взаимное расположение точек минимума, когда их достаточно много
О порядке роста числа инъективных и сверхрастущих рюкзачных векторов
Get PDFIn 1978 R. Mercle and M. Hellman offered to use the subset sum problem for constructing cryptographic systems. The proposed cryptosystems were based on a class of the knapsacks with super-increasing vectors. This class is a subset of the set of knapsacks with injective (cryptographic) vectors that allow the single-valued decoding (decryption) result. In this paper we consider the problems related to the order in the growth of the injective vectors knapsacks quantity and to the order in the growth of knapsacks quantity with the super-increasing vectors through the knapsack maximal element increasing.В 1978 году Р. Меркль и М. Хеллман предложили использовать для построения криптосистем одномерную аддитивную задачу об укладке рюкзака. В основе предложенной криптосистемы лежал класс рюкзаков, обладающих сверхрастущими векторами. Указанный класс является подмножеством множества рюкзаков с инъективными (криптографическими) векторами, допускающих однозначное декодирование (дешифрование). В настоящей работе рассмотрены вопросы о порядке роста числа рюкзаков с инъективными векторами и о порядке роста числа рюкзаков со сверхрастущими векторами при росте максимального элемента рюкзака
Конструктивная классификация графов
Get PDFThe classes of graphs closed regarding the set-theoretical operations of union and intersection are considered. Some constructive descriptions of the closed graph classes are set by the element and operational generating basses. Such bases have been constructed for many classes of graphs. The backward problems (when the generating bases are given and it is necessary to define the characteristic properties of corresponding graphs) are solved in the paper. Subsets of element and operational bases of the closed class of all graphs are considered as generating bases.Рассматриваются классы графов, замкнутые относительно теоретико-множественных операций объединения и пересечения. Конструктивные описания замкнутых классов графов задаются порождающими элементными и операционными базисами. К настоящему времени они построены для многих классов графов. В данной работе решаются обратные задачи: по заданным порождающим базисам необходимо определить характеристические свойства соответствующих графов. В качестве порождающих базисов рассматриваются подмножества элементного и операционного базисов замкнутого класса всех графов
Асимптотика приближения нулевого порядка решения трехтемповой линейно-квадратичной задачи оптимального управления
Get PDFThis paper is devoted to the construction of a zero-order approximation of the solution of a three-time scale singular perturbed linear-quadratic optimal control problem with the help of the direct scheme method. The algorithm of the method consists in immediate substituting a postulated asymptotic expansion of solution into the problem condition and constructing a family of control problems to define the terms of the asymptotic expansion. Asymptotic approximation of the solution contains regular functions and four boundary ones of exponential type which are determined from the five linearquadratic optimal control problems. It is shown, that the system of equations for a zero-order approximation appeared from control optimality conditions of the initial perturbed problem corresponds to control optimality conditions appeared in respective five optimal control problems constructed for finding zero-order asymptotic approximation with the help of the direct scheme method. An illustrative example is given.Данная работа посвящена построению приближения нулевого порядка решения сингулярно возмущенной линейно-квадратичной трехтемповой задачи оптимального управления методом прямой схемы. Алгоритм метода заключается в непосредственной подстановке постулируемого асимптотического разложения решения в условие задачи и построении серии задач для нахождения членов асимптотики. Асимптотическое разложение решения в данном случае содержит регулярные функции и четыре пограничные функции экспоненциального типа, которые определяются из решения пяти линейно-квадратичных задач оптимального управления. Показано, что система уравнений для членов приближения нулевого порядка асимптотического решения задачи, вытекающей из условий оптимальности управления исходной возмущенной задачи, соответствует системе уравнений, получаемой из условий оптимальности управления в построенных пяти задачах оптимального управления для нахождения асимптотического приближения решения нулевого порядка методом прямой схемы. Приведен иллюстративный пример
Эффективность доступа к данным в СУБД DIM
No full textIn the article is provided the review of tools used in new type object DBMS for increasing the efficiency of access to data. Described object DIM DBMS features based on the use of the classes of objects relations as objects sets (inheritance, inclusion, interaction and history) and objects relations (inheritance, internal inheritance, inclusion, internal inclusion, interaction and history). The description of subject domain is entered by means of an object and dynamic data model (OD-model), and DIM DBMS completeness for any OD-model is justified. ODQL object query language allowing to combine the exact description complexity with the simplicity of use due to two query levels introduction is described. For the elucidation of the most effective way of the appeal to DIM DBMS the study of various query technologies for this environment is conducted, and mechanisms for users work with it are developed and realized. For this purpose a software complex necessary for work with DIM DBMS is developed. The description of the "DIM Navigator" main software development concepts, necessary for data manipulation opportunity in the available DB by means of the graphic interface is provided. Software development "The Generator of ODQL-queries" is considered which is necessary for simplification of query creation to DIM DBMS, needlessly for the user to know the syntax of a modern query language. Problems of converting data from the existing DBMS in DIM DBMS are considered.The article is published in the author’s wordin
Слайсинг над деревьями: метод обнаружения разорванных и переплетенных клонов в исходном коде программного обеспечения
Get PDFNowadays most of software contains code duplication that leads to serious problems in software maintenance. A lot of different clone detection approaches have been proposed over the years to deal with this problem, but almost all of them do not consider semantic properties of the source code. We propose to reinforce traditional tree-based clone detection algorithms by using additional information about variable slices. This allows to find intertwined/gapped clones on variables; preliminary evaluation confirms applicability of our approach to real-world software.В настоящее время практически любое программное обеспечение (ПО) содержит избыточный дублированный код (клоны), что приводит ко множественным проблемам на этапе поддержки такого ПО. За последние годы для решения проблемы дублирования было предложено множество различных подходов к обнаружению клонов, но большинство из них не рассматривают семантические свойства исходного кода ПО.В данной работе предлагается усилить классический подход к обнаружению клонов на основе анализа абстрактных синтаксических деревьев (АСД) за счет использования дополнительной информации о слайсах АСД по переменным программы. Это позволяет эффективно обнаруживать разорванные (gapped) и переплетенные (intertwined) клоны – результаты предварительных экспериментов подтверждают применимость предложенного подхода на практике
Асимптотика собственных чисел первой краевой задачи для сингулярно возмущенного дифференциального уравнения второго порядка с точками поворота
Get PDFWe consider a linear differential equation of second order with a small factor at the highest derivative. We study the problem of the asymptotic behavior of the eigenvalues of the first boundary value problem (task Dirichlet) in situation when the turning points (points where the coefficient at the first derivative equals to zero) exist. It is shown that only the behavior of coefficients of the equation in a small neighborhood of the turning points is essential. The main result is a theorem on the limit values of the eigenvalues of the first boundary value problem.Рассматривается линейное дифференциальное уравнение второго порядка с малым множителем при старшей производной. Исследуется вопрос об асимптотике всех собственных значений первой краевой задачи (задачи Дирихле) при стремлении этого множителя к нулю. Показано, что определяющую роль играет поведение коэффициентов уравнения лишь в малых окрестностях точек поворота, то есть таких точек, в которых обращается в нуль коэффициент при первой производной. В качестве основного результата служит теорема о предельных значениях всех собственных чисел первой краевой задачи
Особенности динамики уравнения Колмогорова–Петровского–Пискунова с отклонением по пространственной переменной
Get PDFWe consider the problem of density wave propagation of a logistic equation with deviation of the spatial variable and diffusion (Fisher-Kolmogorov equation with deviation of the spatial variable). A Ginzburg–Landau equation was constructed in order to study the qualitative behavior of the solution near the equilibrium state. We analyzed the profile of the wave equation and found conditions for the appearance of oscillatory regimes. The numerical analysis of wave propagation shows that for a suficiently small spatial deviation this equation has a solution similar to the solution of the classical Fisher–Kolmogorov equation. The spatial deviation increasing leads to the existence of the oscillatory component in the spatial distribution of solutions. A further increase of the spatial deviation leads to destruction of the traveling wave. That is expressed in the fact that undamped spatio-temporal fluctuations exist in a neighborhood of the initial perturbation. These fluctuations are close to the solution of the corresponding boundary value problem with periodic boundary conditions. Finally, when the spatial deviation is suficiently large we observe intensive spatio-temporal fluctuations in the whole area of wave propagation.Рассматривается задача распространения волны плотности в логистическом уравнении с диффузией и отклонением по пространственной переменной (уравнение Фишера–Колмогорова–Петровского–Пискунова с отклонением). Для исследования качественного поведения решений этого уравнения было рассмотрено уравнение профиля волны и найдены условия возникновения у него колебательных режимов. Затем проанализирована соответствующая логистическому уравнению с отклонением краевая задача с периодическими условиями, для которой изучена проблема потери устойчивости пространственно однородного состояния равновесия и найдены ответвляющиеся от него пространственно неоднородные колебательные режимы. Численный анализ процесса распространения волны показал, что при достаточно малых значениях запаздывания данное уравнение имеет решения, близкие к решениям стандартного уравнения КПП. Увеличение параметра запаздывания приводит сначала к появлению затухающей колебательной составляющей в пространственном распределении решения. Дальнейший рост данного параметра приводит к разрушению бегущей волны. Это выражается в том, что на участке распространения волны, противоположном направлению отклонения, сохраняются незатухающие по времени и медленно распространяющиеся по пространству колебания, близкие к решениям соответствующей краевой задачи с периодическими граничными условиями. Наконец, если значение отклонения достаточно велико, то во всей области распространения волны наблюдаются интенсивные пространственно-временные колебания
Асимптотика периодических решений автономных параболических уравнений с быстро осциллирующими коэффициентами и уравнений с большими коэффициентами диффузии
Get PDFWe study the existence, structure and stability of periodic solutions of nonlinear systems referred to in the title.Асимптотическими методами изучаются вопросы о существовании, структуре и устойчивости периодических решений для нелинейных систем, указанных в названии