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

We report on the magnetic susceptibility and electron spin resonance measurements on polycrystalline samples of the vanadium oxide VOSb$_{2}$O$_{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

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 для относительно малых значений ширины пространства без ионов и при применении определенного напряжения, которое при уменьшении этой ширины надо уменьшать как куб ширины

Electron flow dynamics in resistive gap

It is considered the evolution of electron flow in the short-circuited gap with taking into account of the braking force proportional to velocity. The linear analysis of the stationary states stability is made. For the states with a small instability increment it is considered the nonlinear evolution of perturbation. The numerical simulations of the transitions from the unstable modes to the stable ones with the removing of the charge surplus from the gap are carried out.Розглянуто еволюцію потоку електронів у короткозамкненому проміжку з урахуванням гальмівної сили, пропорційної до швидкості. Виконано лінійний аналіз стійкості стаціонарних станів. Для станів з малим інкрементом нестійкості розглянуто нелінійну еволюцію збурення. Виконано числове моделювання переходів від нестійкого стану до стійкого з видаленням надлишкового заряду з проміжку.Рассмотрена эволюция потока электронов в короткозамкнутом промежутке с учетом тормозящей силы, пропорциональной скорости. Выполнен линейный анализ устойчивости стационарных состояний. Для состояний с малым инкрементом неустойчивости рассмотрена нелинейная эволюция возмущения. Выполнено численное моделирование переходов от неустойчивого состояния к устойчивому с удалением избыточного заряда из промежутка

Electron flow stability in the gas filled diode

For the electron fow in the short-circuited diode filled with gas, with taking into account the braking force proportional to velocity, the stationary modes and their linear perturbations are considered. The equation for increment of perturbation amplitude increase is obtained. The ranges of braking coefficient values are found, in which existence of stable or unstable stationary modes is possible.Для потоку електронів у короткозамкненому діоді, заповненому газом, з урахуванням гальмівної сили, пропорційної до швидкості, розглянуто стаціонарні режими та їхні лінійні збурення. Отримане рівняння для інкременту збільшення амплітуд збурень. Знайдено діапазони значень коефіцієнту гальмування, у яких можливе існування стійких або нестійких стаціонарних режимів.Для потока электронов в короткозамкнутом диоде, заполненном газом, с учетом тормозящей силы, пропорциональной скорости, рассмотрены стационарные режимы и их линейные возмущения. Получено уравнение для инкремента увеличения амплитуд возмущений. Найдены диапазоны значений коэффициента торможения, в которых возможно существование устойчивых либо неустойчивых стационарных режимов

Effect of electron collisions with residual neutral gas on characteristic oscillation frequencies in systems of electron flows with a virtual cathode

A system of the hydrodynamic equations describing the electron flows in a diode with a virtual cathode is considered. Collisions are considered by introducing the corresponding braking force into the equations of motion. The stationary states of the electron flows are described. In a linear approximation, formulas are obtained for the frequencies of electron oscillations in a diode with a virtual cathode, considering the effective frequency of electron collisions. The expression for the decrement of oscillations due to the presence of collisions is obtained.Розглянуто систему гідродинамічних рівнянь, що описують потоки електронів у діоді з віртуальним катодом. Зіткнення введено у рівняння руху за допомогою відповідної гальмівної сили. Описано стаціонарні стани потоків електронів. У лінійному наближенні отримано формули для частот коливань електронів у діоді з віртуальним катодом з урахуванням ефективної частоти зіткнень електронів. Отримано вираз для декременту коливань через наявність зіткнень

Investigación de un modelo de sistema no determinista multiproceso

Managing the systems which behaviour is non-deterministic is one of the most important problems in modern management theory. Today, systems with structural and behavioural complexity are prevalent in all areas of human activity, and therefore, their research is of the utmost importance. Such systems, as opposed to deterministic systems, are called non-deterministic. They are characterised by difficult predictable behaviour determined both by external random influences, and within the systems themselves. A clear example of a non-deterministic system is crowds of people, factories, and computer networks and systems. The problem of non-deterministic behaviour directly within the context of professional activities can be seen using an example of building syntactic analysers. The aim of the paper is to design a class of systems oriented towards supporting elements of a discrete event model. The target of research is to simulate discrete event models. The subject of research is a creation of a discrete event model based on the behaviour of an undetermined finite state automaton. During the preparation of the paper, there was developed and practically implemented an algorithm for the application, which materializes the principle of working with threads. The results obtained in the paper are aimed at solving the problem of parallel data processing based on the parallelism of NFA's (non-deterministic finite automaton) behaviour when reading the input string characters. As a result, this should have a positive impact on the regulation of the simulation processes of a non-deterministic system, increasing its efficiency and stability. In conclusion, the algorithm of the application work is disclosed and conclusions about the effectiveness and efficiency of its development are drawn.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ñar una 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 desarrollo

Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales

The paper deals with researching and developing the methods that make it possible to account behaviour examples when synthesizing automaton models by temporal formulas. Definitions of the terms and concepts used in work are given; the problem of synthesizing automaton systems according to the specification in the form of temporal formulas and behaviour examples is formulated; a promising algorithm for reducing the problem of synthesizing automaton systems to the Boolean formula satisfiability problem is described; an analysis of the domain and other approaches is carried out. New methods of taking into account behaviour examples in the synthesis of automaton systems according to a specification given in the form of temporal formulas are proposed. Algorithms for constructing graphs of scripts and methods for dividing graphs into clusters are described; they are designed to increase the efficiency of representing behaviour examples used for coding the behaviour examples in the form of Boolean formulas. An experimental study of the proposed methods of accounting for behaviour examples and basic approaches to the presentation of behaviour examples is carried out. The experimental results showed the superiority of the newly developed methods regarding the presentation of scripts in the form of temporal formulas. In summary, the main conclusions of the work carried out are presented.El artículo aborda el tema de la investigación y desarrollo de métodos que permitan dar cuenta de ejemplos de comportamiento al sintetizar modelos de autómatas mediante fórmulas temporales. Se dan definiciones de los términos y conceptos utilizados en el trabajo; se formula el problema de sintetizar sistemas de autómatas según la especificación en forma de fórmulas temporales y ejemplos de comportamiento; se describe un algoritmo prometedor para reducir el problema de sintetizar sistemas de autómatas al problema de satisfacibilidad de la fórmula booleana; Se realiza un análisis del dominio y otros enfoques. Se proponen nuevos métodos para tener en cuenta ejemplos de comportamiento en la síntesis de sistemas de autómatas según una especificación dada en forma de fórmulas temporales. Se describen algoritmos para construir gráficos de scripts y métodos para dividir gráficos en grupos; están diseñados para aumentar la eficiencia de la representación de ejemplos de comportamiento utilizados para codificar los ejemplos de comportamiento en forma de fórmulas booleanas. Se lleva a cabo un estudio experimental de los métodos propuestos para dar cuenta de ejemplos de comportamiento y enfoques básicos para la presentación de ejemplos de comportamiento. Los resultados experimentales mostraron la superioridad de los métodos recientemente desarrollados con respecto a la presentación de guiones en forma de fórmulas temporales. En resumen, se presentan las principales conclusiones del trabajo realizado