312 research outputs found

    Spin-Peierls transition with strong structural fluctuations in the vanadium oxide VOSb2_{2}O4_{4}

    Full text link
    We report on the magnetic susceptibility and electron spin resonance measurements on polycrystalline samples of the vanadium oxide VOSb2_{2}O4_{4}, a quasi-one dimensional S=1/2 Heisenberg system. We show that the susceptibility vanishes at zero temperature, as in a gapped system, and we argue that this is due to a spin-Peierls transition with strong structural fluctuations.Comment: 5 pages, 4 figure

    Attainable electron energy in diode with plasma cathode at the given voltage

    Get PDF
    It is considered an acceleration of electrons in a one-dimensional interval, part of which is filled by ions initially compensated by electrons. For the stages of forward motion and backward motion of a part of electrons, the problem is reduced to a numerical solution of ordinary differential equations for some set of time-dependent quantities. The ratio of attainable energy to the energy corresponding to the voltage is maximum and near to 1.87475 for relatively small values of the width of the space without ions when applying a certain voltage, which, as the width is reduced, has to be reduced as a width cube.Розглянуто прискорення електронів в одновимірному проміжку, частину якого заповнюють іони, у початковий момент компенсовані електронами. Для стадій прямого та зворотного руху частини електронів задачу зведено до числового розв’язання звичайних диференційних рівнянь для певної сукупності величин, залежних від часу. Відношення досяжної енергії до енергії, що відповідна напрузі, максимальне, та близьке до 1,87475 для відносно малих значень ширини простору без іонів та при застосуванні певної напруги, яку при зменшенні тієї ширини треба зменшувати як куб ширини.Рассмотрено ускорение электронов в одномерном промежутке, часть которого заполняют ионы, в начальный момент компенсированные электронами. Для стадий прямого и обратного движения части электронов задача сведена к численному решению обыкновенных дифференциальных уравнений для некоторой совокупности величин, зависящих от времени. Отношение достижимой энергии к энергии, соответствующей напряжению, максимально, и близко к 1,87475 для относительно малых значений ширины пространства без ионов и при применении определенного напряжения, которое при уменьшении этой ширины надо уменьшать как куб ширины

    Descomposición paralela de algoritmos de control para procesos computacionales basados en el uso de lógica autómata no determinista

    Get PDF
    The paper deals with the issues of decomposition of control algorithms for the processes in parallel computing systems and the use of automaton models. When designing parallel processing systems, an important task is the formal presentation of process control algorithms since they allow achieving a packaged solution to the problems of specification, development, implementation, verification, and analysis of complex control systems, including the control of interacting processes and resources in parallel computing systems. It is especially necessary to use formal methods to verify complex information processing systems by model testing. One of the methods for the formal description of control algorithms is based on the use for these purposes of the nondeterministic automaton (NDA) logic, which is a method that allows one to present control algorithms for information processing in the form of systems of canonical equations describing all particular events implemented in the algorithm. The advantage of such a language is that all transitions in the control system are described not in terms of system states, but in terms of particular events, the simultaneous existence of which determines all states and transitions in the system; this allows avoiding a "combinatorial explosion" in the state space to the possibilities of means verification. Purpose of the paper: research of control algorithms for parallel computing systems using the NDA apparatus. The development and research object is parallel decomposition of control algorithms for parallel computing systems using automatic models.El trabajo aborda los problemas de descomposición de algoritmos de control para los procesos en sistemas de computación paralelos y el uso de modelos de autómatas. A la hora de diseñar sistemas de procesamiento paralelo, una tarea importante es la presentación formal de los algoritmos de control de procesos, ya que permiten lograr una solución empaquetada a los problemas de especificación, desarrollo, implementación, verificación y análisis de sistemas de control complejos, incluyendo el control de los procesos que interactúan y recursos en sistemas informáticos paralelos. Es especialmente necesario utilizar métodos formales para verificar sistemas de procesamiento de información complejos mediante pruebas de modelos. Uno de los métodos para la descripción formal de los algoritmos de control se basa en el uso para estos fines de la lógica del autómata no determinista (NDA), que es un método que permite presentar algoritmos de control para el procesamiento de la información en forma de sistemas de ecuaciones canónicas. describiendo todos los eventos particulares implementados en el algoritmo. La ventaja de tal lenguaje es que todas las transiciones en el sistema de control se describen no en términos de estados del sistema, sino en términos de eventos particulares, cuya existencia simultánea determina todos los estados y transiciones en el sistema; esto permite evitar una "explosión combinatoria" en el espacio de estados a las posibilidades de verificación de medios. Objeto del trabajo: investigación de algoritmos de control para los procesos de sistemas informáticos paralelos utilizando el aparato NDA. El objeto de investigación y desarrollo es el proceso de descomposición en paralelo de algoritmos de control para sistemas de cómputo en paralelo utilizando modelos automáticos

    Investigación de un modelo de sistema no determinista multiproceso

    Get PDF
    La gestión de sistemas cuyo comportamiento no es determinista es uno de los problemas más importantes de la teoría de la gestión moderna. Hoy en día, los sistemas con complejidad estructural y de comportamiento prevalecen en todas las áreas de la actividad humana y, por lo tanto, su investigación es de suma importancia. Tales sistemas, a diferencia de los sistemas deterministas, se denominan no deterministas. Se caracterizan por un comportamiento difícil de predecir, determinado tanto por influencias aleatorias externas como dentro de los propios sistemas. Un claro ejemplo de un sistema no determinista son las multitudes de personas, fábricas y redes y sistemas informáticos. El problema del comportamiento no determinista directamente en el contexto de las actividades profesionales puede verse utilizando un ejemplo de construcción de analizadores sintácticos. El objetivo del artículo es diseñaruna clase de sistemas orientados a elementos de soporte de un modelo de eventos discretos. El objetivo de la investigación es simular modelos de eventos discretos. El tema de investigación es la creación de un modelo de evento discreto basado en el comportamiento de un autómata de estado finito indeterminado. Durante la preparación del trabajo, se desarrolló e implementó prácticamente un algoritmo para la aplicación, que materializa el principio de trabajar con hilos. Los resultados obtenidos en el artículo tienen como objetivo resolver el problema del procesamiento de datos en paralelo basado en el paralelismo del comportamiento de NFA (autómata finito no determinista) al leer los caracteres de la cadena de entrada. Como resultado, esto debería tener un impacto positivo en la regulación de los procesos de simulación de un sistema no determinista, aumentando su eficiencia y estabilidad. En conclusión, se divulga el algoritmo del trabajo de la aplicación y se extraen conclusiones sobre la efectividad y eficiencia de su desarroll

    Формирование системы противодействия терроризму на пространстве СНГ

    Get PDF
    The article presents an analysis of the key areas of combating threats of an extremist and terrorist nature on the territory of the countries of the Commonwealth of Independent States. The authors considered the evolution of the development of terrorist threats and political risks, as well as the factors and reasons that contributed to the growth of radicalization of public consciousness, especially in the Central Asian region. Faced with the threat of terrorism, the leadership of the Commonwealth countries realized the need to form an effective counteraction system, a set of joint measures was implemented for these purposes, model legislation was adopted, decision-making mechanisms in crisis situations were worked out. However, the practice of terrorist activity is constantly improving and changing, which requires the leadership of the Commonwealth countries to effectively respond to new challenges and realities, harmonize national legislation, and use new forms and methods of struggle.В статье представлен анализ ключевых направлений борьбы с угрозами экстремистского и террористического характера на территории стран Содружества Независимых Государств. Авторы рассмотрели эволюцию развития террористических угроз и политических рисков, а также факторы и причины, которые способствовали росту радикализации общественного сознания, особенно в центрально-азиатском регионе. Столкнувшись с угрозой терроризма, руководство стран Содружества осознало необходимость в формировании эффективной системы противодействия, для этих целей был реализован комплекс совместных мероприятий, принято модельное законодательство, отработаны механизмы принятия решений в кризисных ситуациях. Однако практика террористической деятельности постоянно совершенствуется и изменяется, что требует от руководства стран содружества эффективного реагирования на новые вызовы и реалии, гармонизации национального законодательства, использования новых форм и методов борьбы
    corecore