Modeling and Analysis of Information Systems / Моделирование и анализ информационных систем (МАИС)
Not a member yet
782 research outputs found
Sort by
Об оценке средней временной выгоды в вероятностных эколого-экономических моделях
Get PDFWe consider environmental-economical models of optimal harvesting, given by the differential equations with impulse action, which depend on random parameters. We assume, that lengths of intervals θk between the moments of impulses τk are random variables and the sizes of impulse influence depend on random parameters vk, k = 1, 2, . . . One example of such objects is an equation with impulses, modelling dynamics of the population subject to harvesting. In the absence of harvesting, the population development is described by the differential equation ˙x = g(x) and in time moments τk some random share of resource vk, k = 1, 2, . . . is taken from population. We can control gathering process so that to stop harvesting when its share will appear big enough to keep possible biggest the rest of a resource to increase the size of the following gathering. Let the equation ˙x = g(x) have an asymptotic stable solution ϕ(t) ≡ K and the interval (K1, K2) is the attraction area of the given solution (here 0 ≤ K1 < K < K2). We construct the control u = (u1, . . . , uk, . . .), limiting a share of harvesting resource at each moment of time τk, so that the quantity of the remained resource, since some moment τk0 , would be not less than the given value x ∈ (K1, K). For any x ∈ (K1, K) the estimations of average time profit, valid with probability one, are received. It is shown, that there is a unique x∗ ∈ (K1, K), at which the lower estimation reaches the greatest value. Thus, we described the way of population control at which the value of average time profit can be lower estimated with probability 1 by the greatest number whenever possible.Рассматриваются эколого-экономические модели оптимального сбора ресурса, заданные дифференциальными уравнениями с импульсным воздействием, которые зависят от случайных параметров. Предполагаем, что длины интервалов θk между моментами импульсов τk являются случайными величинами и размеры импульсного воздействия зависят от случайных параметров vk, k = 1, 2, . . . Одним из примеров таких объектов является уравнение с импульсами, моделирующее динамику популяции, подверженной промыслу. При отсутствии эксплуатации развитие популяции описывается дифференциальным уравнением x˙ = g(x), а в моменты времени τk из популяции извлекается случайная доля ресурса vk, k = 1, 2, . . . На процесс сбора можно влиять таким образом, чтобы остановить заготовку в том случае, когда ее доля окажется достаточно большой, чтобы сохранить возможно больший остаток ресурса для увеличения размера следующего сбора. Пусть уравнение x˙ = g(x) имеет асимптотически устойчивое решение ϕ(t) ≡ K, областью притяжения которого является интервал (K1, K2), где 0 ≤ K1 < K < K2. Построено управление u = (u1, . . . , uk, . . .), ограничивающее долю добываемого ресурса в каждый момент времени τk таким образом, чтобы количество оставшегося ресурса, начиная с некоторого момента τk0 , было не меньше заданного значения x ∈ (K1, K). Для любого x ∈ (K1, K) получены оценки средней временной выгоды, выполненные с вероятностью единица. Показано, что существует единственное x∗ ∈ (K1, K), при котором оценка снизу достигает наибольшего значения. Таким образом, описан способ эксплуатации популяции, при котором значение средней временной выгоды можно оценить снизу с вероятностью единица по возможности наибольшим числом
О дифференцируемости по Тейлору в пространствах Lp, 0 < p ≤ ∞
Get PDFThe function f\in L_p[I], \;p>0, is called -differentiable at a point if there exists an algebraic polynomial of of degree no more than for which holds where At an internal point for and this is equivalent to the usual definition of the function differentiability. At an interior point for and , the definition is equivalent to the usual differentiability of the function. There is a standard "hierarchy" for the existence of differentials(if p_1<p_2, then -differentiability should be -differentiability. In the works of S.N. Bernstein, A.P. Calderon and A. Zygmund were given applications of such a construction to build a description of functional spaces () and the study of local properties of solutions of differential equations , respectively. This article is related to the first mentioned work. The article introduces the concept of uniform differentiability. We say that a function , -differentiable at all points of the segment , is uniformly -differentiable on if for any number \varepsilon>0 there is a number \delta>0 such that for each point runs \Vert f-\pi\Vert_{L_p[J_h]}<\varepsilon\cdot h^{k+\frac{1}{p}} \; for 0<h<\delta, \; J_h = [x\!-\!H; x\!+\!h]\cap I, where is the polynomial of the terms of the -differentiability at the point . Based on the methods of local approximations of functions by algebraic polynomials it is shown that a uniform -differentiability of the function at some implies Therefore, in this case the differentials are "equivalent". Since every function from is uniformly -differentiable on the interval at we obtain a certain criterion of belonging to this space. The range 0<p<1, obviously, can be included into the necessary condition the membership of the function , but the sufficiency of Taylor differentiability in this range has not yet been fully proven.Функция f\in L_p[I], \;p>0, называется -дифференцируемой в точке если существует алгебраический многочлен степени не больше для которого выполняется где Во внутренней точке при и это равносильно определению обычной дифференцируемости функции. Имеется стандартная "иерархия" существования дифференциалов: если p_1<p_2, то из -дифференцируемости следует -дифференцируемость. В работах С.Н. Бернштейна, А.П. Кальдерона и А. Зигмунда были даны приложения такой конструкции к построению описания функциональных пространств () и изучению локальных свойств решений дифференциальных уравнений соответственно. Данная статья связана с первой указанной работой. В статье вводится понятие равномерной дифференцируемости. Назовём -дифференцируемую во всех точках отрезка функцию равномерно -дифференцируемой на , если для любого числа \varepsilon>0 найдется число \delta>0 такое, что для каждой точки выполняется \Vert f-\pi\Vert_{L_p[J_h]}<\varepsilon\cdot h^{k+\frac{1}{p}} \; при 0<h<\delta, \; J_h=[x\!-\!h; x\!+\!h]\cap I, где -- многочлен из условия -дифференцируемости в точке . На основе методов локальных приближений функций алгебраическими многочленами показано, что из равномерной -дифференцируемости функции при некотором следует Следовательно, в таком случае дифференциалы "эквивалентны". Поскольку каждая функция из является равномерно -дифференцируемой на отрезке при то получаем определённый критерий принадлежности функции этому пространству. Диапазон 0<p<1, очевидно, может быть включён в необходимое условие принадлежности функции , однако достаточность дифференцируемости по Тейлору в этом диапазоне пока в полной мере не доказана
Сравнительный анализ устойчивости вычислительных решеток с различной архитектурой узла к индуцированным тупикам
Get PDFIn this paper, we consider the classification and applications of switching methods, their advantages and disadvantages. A model of a computing grid was constructed in the form of a colored Petri net with a node which implements cut-through packet switching. The model consists of packet switching nodes, traffic generators and guns that form malicious traffic disguised as usual user traffic. The characteristics of the grid model were investigated under a working load with different intensities. The influence of malicious traffic such as traffic duel was estimated on the quality of service parameters of the grid. A comparative analysis of the computing grids stability was carried out with nodes which implement the store-and-forward and cut-through switching technologies. It is shown that the grids performance is approximately the same under work load conditions, and under peak load conditions the grid with the node implementing the store-and-forward technology is more stable. The grid with nodes implementing SAF technology comes to a complete deadlock through an additional load which is less than 10 percent. After a detailed study, it is shown that the traffic duel configuration does not affect the grid with cut-through nodes if the workload is increases to the peak load, at which the grid comes to a complete deadlock. The execution intensity of guns which generate a malicious traffic is determined by a random function with the Poisson distribution. The modeling system CPN Tools is used for constructing models and measuring parameters. Grid performance and average package delivery time are estimated in the grid on various load options.Рассматриваются классификация и области применения методов коммутации, их достоинства и недостатки. Построена модель вычислительной решетки в форме раскрашенной сети Петри с узлом, реализующим сквозную коммутацию пакетов. Модель состоит из узлов коммутации пакетов, генераторов трафика и пушек, которые формируют злонамеренный трафик, замаскированный под обычный пользовательский трафик. Исследованы характеристики модели решетки в условиях рабочей нагрузки с различной интенсивностью. Оценено влияние злонамеренного трафика типа «дуэль трафика» на параметры качества обслуживания решетки. Проведен сравнительный анализ устойчивости вычислительных решеток с узлами, реализующими технологию передачи пакетов с обязательной буферизацией, и сквозной коммутации. Показано, что производительности решеток примерно одинаковы в условиях рабочей нагрузки; а в условиях пиковой нагрузки решетка с узлом, реализующим технологию передачи пакетов с принудительной буферизацией, более устойчива. Решетка с узлами, реализующими технологию SAF, приходит к полному тупику через дополнительную нагрузку менее чем 10 процентов. После детального исследования показано, что конфигурация «дуэль трафика» не оказывает влияния на решетку с узлами cut-through при увеличении рабочей нагрузки до пиковой, при которой решетка приходит к полному тупику. Периодичность запуска пушек, генерирующих злонамеренный трафик, определена случайной функцией с пуассоновским распределением. Для построения моделей и измерений характеристик используется моделирующая система CPN Tools. Производительность решетки и среднее время доставки пакета оценивается при различных вариантах нагрузки на решетку
Перевод моделей Event-B в Eiffel
No full textFormal modelling languages play a key role in the development of software: they enable users to specify functional requirements that serve as documentation as well; they enable users to prove the correctness of system properties, especially for critical systems. However, there is still an open question on how to map formal models to a specific programming language. In order to propose a solution, this paper presents a source-to-source mapping between Event-B models, a formal modelling language for reactive systems, and Eiffel programs, an Object Oriented (O-O) programming language. The mapping not only generates an actual Eiffel code of the Event-B model, but also translates model properties as contracts. The contracts follow the Design by Contract principle and are natively supported by the programming language. The mapping is implemented in the freely available Rodin plug-in EB2Eiffel. Thus, users can develop systems (i) starting with the modelling of functional requirements (properties) in Event-B, then (ii) formally proving the correctness of such properties in Rodin and finally (iii) by using EB2Eiffel to translate the model into Eiffel. In Eiffel, users can extend/customise the implementation of the model and formally prove it against the initial model. This paper also presents different Event-B models from the literature to test EB2Eiffel and its limitations. The article is published in the authors’ wording.Формальные языки моделирования играют важную роль в разработке программного обеспечения, так как позволяют пользователям, во-первых, определять функциональные требования, которые также служат документацией для проекта, а во-вторых, доказывать корректность свойств систем, что особенно важно для критических систем. Однако не существует четкого понимания того, как сопоставить формальную модель и определенный язык программирования. В качестве решения данной проблемы авторы статьи предлагают использовать возможность source-to-source соответствия между моделями, описанными на языке Event-B (языке моделирования для реактивных приложений и систем), и программами на объектно-ориентированном языке программирования Eiffel. Предложенное решение не только автоматически генерирует соответствующий модели на Event-B код на Eiffel, но также переводит свойства модели в виде контрактов. Контракты соответствуют принципу Design-by-Contract и нативно поддерживаются в Eiffel. Реализация решения доступна как плагин EB2Eiffel в Rodin (среде разработки для Event-B). Таким образом, пользователи могут разрабатывать различные системы, начиная с моделирования функциональных требований (свойств) в Event-B, затем формально доказывая корректность этих свойств в Rodin и, наконец, используя EB2Eiffel для перевода модели на язык программирования. Используя Eiffel, пользователи могут расширять и модифицировать реализацию модели и доказывать корректность измененной модели относительно ее оригинальной, изначально переведенной версии. Также в статье описан процесс тестирования EB2Eiffel разными моделями, написанными на Event-B, и представлены ограничения плагина. Статья публикуется в авторской редакции
Эффективный алгоритм определения уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм
Get PDFTo ensure traffic safety of railway transport, non-destructive testing of rails is regularly carried out by using various approaches and methods, including magnetic and eddy current flaw detection methods. An automatic analysis of large data sets (defectgrams) that come from the corresponding equipment is still an actual problem. The analysis means a process of determining the presence of defective sections along with identifying structural elements of railway tracks on defectograms. At the same time, under the conditions of significant volumes of incoming information, fast and efficient algorithms of data analysis are of most interest. This article is an addition to the previous article devoted to the problem of automatic determination of a threshold level of amplitudes of useful signals (from defects and structural elements of a railway track) during the analysis of defectograms (records) of magnetic and eddy current flaw detectors, which contains an algorithm for finding the threshold level of a rail noise and its theoretical justification with examples of its operation on several fragments of real magnetic and eddy current defectograms. The article presents a simple and effective implementation of the algorithm, which is successfully used in practice for the automatic analysis of magnetic and eddy current defectograms. Для обеспечения безопасности движения на железнодорожном транспорте регулярно проводится неразрушающий контроль рельсов с применением различных подходов и методов, включая методы магнитной и вихретоковой дефектоскопии. Актуальной задачей по-прежнему остается автоматический анализ больших массивов данных (дефектограмм), которые поступают от соответствующего оборудования. Под анализом понимается процесс определения по дефектограммам наличия дефектных участков наряду с выявлением конструктивных элементов рельсового пути. При этом в условиях значительных объемов поступающей на обработку информации наибольший интерес представляют быстрые и эффективные алгоритмы анализа данных. Данная статья является дополнением к предыдущей статье авторов, посвященной задаче автоматического определения порогового уровня амплитуд полезных сигналов при расшифровке дефектограмм магнитных и вихретоковых дефектоскопов, в которой был предложен алгоритм нахождения порогового уровня шума рельсов с его теоретическим обоснованием, а также рассматривались примеры работы алгоритма на фрагментах реальных магнитных и вихретоковых дефектограмм. В настоящей статье приводится простая и эффективная реализация этого алгоритма, которая с успехом применяется на практике при автоматическом анализе магнитных и вихретоковых дефектограмм
Неупорядоченные колебания в нейросети из трех осцилляторов с запаздывающей вещательной связью
Get PDFA model of neural association of three pulsed neurons with a delayed broadcast connection is considered. It is assumed that the parameters of the problem are chosen near the critical point of stability loss by the homogeneous equilibrium state of the system. Because of the broadcast connection the equation corresponding to one of the oscillators can be detached in the system. The two remaining impulse neurons interact with each other and, in addition, there is a periodic external action, determined by the broadcast neuron. Under these conditions, the normal form of this system is constructed for the values of parameters close to the critical ones on a stable invariant integral manifold. This normal form is reduced to a four-dimensional system with two variables responsible for the oscillation amplitudes, and the other two, defined as the difference between the phase variables of these oscillators with the phase variable of the broadcast oscillator. The obtained normal form has an invariant manifold on which the amplitude and phase variables of the oscillators coincide. The dynamics of the problem on this manifold is described. An important result was obtained on the basis of numerical analysis of the normal form. It turned out that periodic and chaotic oscillatory solutions can occur when the coupling between the oscillators is weakened. Moreover, a cascade of bifurcations associated with the same type of phase rearrangements was discovered, where a self-symmetric stable cycle alternately loses symmetry with the appearance of two symmetrical cycles. A cascade of bifurcations of doubling occurs with each of these cycles with the appearance of symmetric chaotic regimes. With further reduction of the coupling parameter, these symmetric chaotic regimes are combined into a self-symmetric one, which is then rebuilt into a self-symmetric cycle of a more complex form compared to the cycle obtained at the previous step. Then the whole process is repeated. Lyapunov exponents were calculated to study chaotic attractors of the system.Рассматривается модель нейронной ассоциации из трех импульсных нейронов с вещательной запаздывающей связью между ними. Учитывая, что связь вещательная, в системе отщепляется уравнение, соответствующее одному из осцилляторов. Два оставшихся импульсных нейрона взаимодействуют друг с другом, и, кроме того, имеется периодическое внешнее воздействие, определяемое вещательным нейроном. В этих условиях, при значениях параметров, близких к критическим, на устойчивом инвариантном интегральном многообразии построена нормальная форма данной системы. Эта нормальная форма сводится к четырехмерной системе, две переменных которой отвечают за амплитуды колебаний осцилляторов, а две другие определяются разностью фазовых переменных этих осцилляторов с фазовой переменной вещательного осциллятора. Полученная нормальная форма имеет инвариантное многообразие, на котором амплитудные и фазовые переменные осцилляторов совпадают. Описана динамика задачи на этом многообразии. Важный результат удалось получить на основе численного анализа нормальной формы. Оказалось, что при ослаблении связи между осцилляторами могут возникать периодические и хаотические колебательные решения. Более того, был обнаружен каскад бифуркаций, связанный с однотипными фазовыми перестройками, в котором поочередно самосимметричный устойчивый цикл теряет симметрию с возникновением двух симметричных друг другу циклов; с каждым из этих циклов происходит каскад бифуркаций удвоения с появлением симметричных хаотических режимов. Эти симметричные хаотические режимы при дальнейшем уменьшении параметра связи объединяются в самосимметричный, который затем перестраивается в самосимметричный цикл более сложного вида по сравнению с полученным на предыдущем шаге. Далее весь процесс повторяется. Для изучения хаотических аттракторов системы вычислялись ляпуновские показатели
Асимптотическое приближение решения уравнения реакция-диффузия-адвекция с нелинейным адвективным слагаемым
Get PDFWe consider a solution in a moving front form of the initial-boundary value problem for a singularly perturbed reaction-diffusion equation in a band with periodic conditions in one of the variables. Interest in solutions of the front type is associated with combustion problems or nonlinear acoustic waves. In the domain of the function which describes the moving front there is a subdomain where the function has a large gradient. This subdomain is called the internal transition layer. Boundary value problems with internal transition layers have a natural small parameter that is equal to the ratio of the transition layer width to the width of the region under consideration. The presence of a small parameter at the highest spatial derivative makes the problem singularly perturbed. The numerical solution of such problems meets certain difficulties connected with the choice of grids and initial conditions. To solve these problems the use of analytical methods is especially successful. Asymptotic analysis which uses Vasilieva’s algorithm was carried out in the paper. That made it possible to obtain an asymptotic approximation of the solution, which can be used as an initial condition for a numerical algorithm. We also determined the conditions for the existence of a front type solution. In addition, the analytical methods used in the paper make it possible to obtain in an explicit form the front motion equation approximation. This information can be used to develop mathematical models or numerical algorithms for solving boundary value problems for the reaction-diffusion-advection type equations. В работе рассматривается решение вида движущегося фронта начально-краевой задачи для сингулярно возмущенного уравнения реакция-диффузия-адвекция в полосе с периодическими условиями по одной из переменных. Особенностями настоящей работы является постановка задачи в двумерной области и наличие большого адвективного слагаемого в исходном уравнении. Интерес к решениям вида фронта связан с задачами горения или нелинейных акустических волн. В области определения функции, описывающей движущийся фронт, содержится подобласть, в которой функция обладает большим градиентом. Эта подобласть называется внутренним переходным слоем. Задачи с внутренними переходными слоями содержат естественный малый параметр, равный отношению ширины переходного слоя к ширине рассматриваемой области. Наличие малого параметра при старшей производной по пространственным координатам делает задачу сингулярно возмущенной. Численное решение таких задач встречает определенные сложности, связанные с выбором сеток и начальных условий. Для решения этих проблем наиболее успешным является использование аналитических методов. Асимптотический анализ с использованием алгоритма Васильевой, проведенный в настоящей работе, позволяет определить условия существования решения вида фронта, а также получить асимптотическое приближение решения, которое можно выбрать в качестве начального условия для численного алгоритма. Кроме того, аналитические методы, использованные в работе, позволяют выписать уравнение для кривой, в области которой локализован фронт. Эти сведения могут быть полезными для разработки математических моделей или численных алгоритмов для решения задач вида реакция-диффузияадвекция
Периодические и квазипериодические решения в системе трех уравнений Хатчинсона с запаздывающей вещательной связью
Get PDFThe dynamics of an association of three coupled oscillators is studied. The link between the oscillators is a broadcast connection, that is, one element unilaterally effects the other two, which in turn interact with each other. An important property of the relation among the oscillators is the presence of a delay that obviously can often be found in applications. The studied system simulates the situation of population dynamics when populations are weakly connected, for example, are divided geographically. In this case one population can affect the other two, which in turn can influence each other but not the first one. Each individual oscillator is represented by the logistic equation with a delay (Hutchinson’s equation). Local asymptotic analysis of this system is done in the case of proximity of oscillator parameters to the values at which the Andronov-Hopf bifurcation occur, also the coupling coefficient in the system are assumed to be small. The method of normal forms is used. The study of the dynamics of the system in some neighborhood of a single equilibrium state is reduced to a system of ordinary differential equations on a stable integral manifold. For the construction of a normal form were found elementary modes obtained by using the symmetry of the problem, and the conditions for their stability. Taking into account the obtained asymptotic formulas, the phase reorganizations occurring in the system are numerically analyzed. It is shown that the delay in the communication circuits of the oscillators significantly affects the qualitative behaviour of the system solutions. Изучается динамика ассоциации, состоящей из трех одинаковых колебательных элементов. Структура связи между осцилляторами предполагается вещательной, т.е. один из элементов системы односторонним образом воздействует на два других, которые, в свою очередь, взаимодействуют друг с другом. Важным свойством связи между осцилляторами является наличие в ней запаздывания по времени, что, очевидным образом, часто встречается в приложениях. Изучаемая система моделирует ситуацию из популяционной динамики, когда популяции слабо связаны между собой, например, разделены географически. При этом одна из популяций может влиять на обе оставшиеся, которые в свою очередь способны влиять друг на друга, но не влияют на первую. Каждый отдельный осциллятор представлен логистическим уравнением с запаздыванием (уравнением Хатчинсона). В работе выполнен локальный асимптотический анализ данной системы в случае близости параметров осцилляторов к значениям, при которых происходит бифуркация Андронова–Хопфа, кроме того, предполагаются малыми коэффициенты связи в системе. В этой ситуации к нашей задаче применим известный метод нормальных форм, который позволяет свести изучение динамики системы в некоторой окрестности единичного состояния равновесия к системе обыкновенных дифференциальных уравнений на устойчивом интегральном многообразии. Для построенной нормальной формы найдены простейшие режимы, полученные с использованием симметрии задачи, и условия их устойчивости. С учетом полученных формул численно проанализированы фазовые перестройки, происходящие в системе. Показано, что запаздывание в цепи связи осцилляторов существенно влияет на качественное поведение решений системы
Этюд об устранении рекурсии
No full textTransformation-based program verification was a very important topic in early years of theory of programming. Great computer scientists contributed to these studies: John McCarthy, Amir Pnueli, Donald Knuth ... Many fascinating examples were examined and resulted in recursion elimination techniques known as tail-recursion and co-recursion. In the paper, we examine just a single example (but new we hope) of recursion elimination via program manipulations and problem analysis. The recursion pattern of the example matches descending dynamic programming but is neither tail-recursion nor corecursion pattern. Also, the example may be considered from different perspectives: as a transformation of a descending dynamic programming to ascending one (with a fixed-size static memory), or as a proof of the functional equivalence between recursive and iterative programs (that can later serve as a casestudy for automatic theorem proving), or just as a fascinating algorithmic puzzle for fun and exercising in algorithm design, analysis, and verification. The article is published in the author’s wording.Трансформационный подход к верификации программ был очень популярной темой исследований в первые десятилетия теории программирования. Многие выдающиеся пионеры теории программирования внесли свой вклад в разработку данного направления исследований: Джон Маккарти, Амир Пнуели, Дональд Кнут ... Много интересных примеров трансформационного подхода было тщательно изучено, что привело к методам устранения рекурсии, известным как хвостовая рекурсия и как ко-рекурсия. В данной работе мы подробно исследуем (мы надеемся, новый) пример устранения рекурсии, основанный на трансформациях программы и анализе задачи, решаемой этой программой. Наш пример является частным случаем нисходящего динамического программирования, но не является ни примером хвостовой рекурсии, ни кo-рекурсии. Этот пример можно рассмотреть с разных точек зрения: как пример преобразования нисходящего динамического программирования к восходящему (с использованием только статической памяти фиксированного размера), или как доказательство функциональной эквивалентности между рекурсивной и итеративной программами (которое в дальнейшем может послужить примером для автоматического доказательства), или как захватывающую алгоритмическую головоломку либо задачу дизайна, анализа и верификации алгоритмов. Статья публикуется в авторской редакции
Вопросно-ответная система для поддержки абитуриентов с использованием современных мессенджеров
Get PDFThere is an increasing interest to the instant messaging applications, messengers. These applications allow us to interact with other users and include a functionality that can help us to implement bots that automate various business processes or provide information services. In this paper, we consider a specialized question answering system that uses today’s messaging services infrastructure to support university applicants. We gathered a corpus of applicants questions throughout two years and developed an information retrieval model that helps us to find similar questions in the corpus. Applicants can type their questions using a natural language without any formal requirements to phrase construction or using special templates. If the system is unable to find a relevant answer, the user can directly address the question to representatives of the university. The system was implemented with the use of modern cloud services that are provided by Amazon. We used serverless computations and NoSQL data bases, so we had to develop an architecture of the system in that way. Since the system contains sensitive personal data and provide personalized service, we must focus our attention on security. We proposed the means that must improve the safety of the system, more specifically, authentification process that can be used without the explicit use of personal data, however, this is a future work. At present we test our system and evaluate its quality of information retrieval.В настоящее время растет интерес пользователей к приложениям для мгновенного обмена сообщениями, мессенджерам. Они позволяют не только общаться с другими пользователями, но и включают в себя функционал, помогающий создавать автоматических собеседников, автоматизирующих отдельные бизнес-процессы либо удовлетворяющих информационные потребности пользователей. В статье рассматривается узкоспециализированная вопросно-ответная система, которая использует инфраструктуру, предоставляемую современными мессенджерами для обмена сообщениями и предназначенную для информационной поддержки абитуриентов, поступающих в университет. В процессе разработки системы был накоплен корпус характерных вопросов абитуриентов, а также разработана модель, которая позволяет осуществлять поиск близких вопросов по этому корпусу. При этом абитуриент может формулировать свои вопросы на естественном языке без изучения предварительно заданных шаблонов или специальных правил построения сообщений. Для получения ответов на вопросы, которых нет в корпусе системы, привлекаются специалисты приемной комиссии, имеющие свой интерфейс. Система была реализована с использованием современных облачных технологий, предоставляемых компанией Amazon. Среди них бессерверные (serverless) вычисления и NoSQL-базы данных. Для этого была разработана архитектура сервиса, удовлетворяющая этой модели вычислений. Поскольку система может оперировать с чувствительными данными, включая персональные данные, а также предоставлять персонализированный сервис, были проанализированы методы обеспечения безопасности системы, а также подходы к авторизации пользователей. В настоящее время система проходит тестирование и оценку используемых алгоритмов информационного поиска