Quantum Spectral Curve for AdS3/CFT2: a proposal

We conjecture the Quantum Spectral Curve equations for string theory on AdS3× S3× T4 with RR charge and its CFT2 dual. We show that in the large-length regime, under additional mild assumptions, the QSC reproduces the Asymptotic Bethe Ansatz equations for the massive sector of the theory, including the exact dressing phases found in the literature. The structure of the QSC shares many similarities with the previously known AdS5 and AdS4 cases, but contains a critical new feature — the branch cuts are no longer quadratic. Nevertheless, we show that much of the QSC analysis can be suitably generalised producing a self-consistent system of equations. While further tests are necessary, particularly outside the massive sector, the simplicity and self-consistency of our construction suggests the completeness of the QSC.

The draining of capillary liquids from containers with interior corners aboard the ISS

In this work, we analyze liquid drains from containers in effective zero-g conditions aboard the International Space Station (ISS). The efficient draining of capillary fluids from conduits, containers, and media is critical in particular to high-value liquid samples such as minuscule biofluidics processing on earth and enormous cryogenic fuels management aboard spacecraft. The amount and rate of liquid drained can be of key concern. In the absence of strong gravitational effects, system geometry, and liquid wetting dominate capillary fluidic behavior. During the years 2010–2015, NASA conducted a series of handheld experiments aboard the ISS to observe “large” length scale capillary fluidic phenomena in a variety of irregular containers with interior corners. In this work, we focus on particular single exit port draining flows from such containers and digitize hours of archived NASA video records to quantify transient interface profiles and volumetric flow rates. These data are immediately useful for theoretical and numerical model benchmarks. We demonstrate this by making comparisons to lubrication models for slender flows in simplified geometries which show variable agreement with the data, in part validating certain geometry-dependent dynamical interface curvature boundary conditions while invalidating others. We further compare the data for the draining of complex vane networks and identify the limits of the current theory. All analyzed data is made available to the public as MATLAB files, as detailed within.

Variable energy flux in turbulence

In three-dimensional hydrodynamic turbulence forced at large length scales, a constant energy flux $ \Pi_u $ flows from large scales to intermediate scales, and then to small scales. It is well known that for multiscale energy injection and dissipation, the energy flux $\Pi_u$ varies with scales. In this review we describe this principle and show how this general framework is useful for describing a variety of turbulent phenomena. Compared to Kolmogorov's spectrum, the energy spectrum steepens in turbulence involving quasi-static magnetofluid, Ekman friction, stable stratification, magnetohydrodynamics, and solution with dilute polymer. However, in turbulent thermal convection, in unstably stratified turbulence such as Rayleigh-Taylor turbulence, and in shear turbulence, the energy spectrum has an opposite behaviour due to an increase of energy flux with wavenumber. In addition, we briefly describe the role of variable energy flux in quantum turbulence, in binary-fluid turbulence including time-dependent Landau-Ginzburg and Cahn-Hillianrd equations, and in Euler turbulence. We also discuss energy transfers in anisotropic turbulence.

Linear Approximate Pattern Matching Algorithm

Pattern matching is a fundamental process in almost every scientific domain. The problem involves finding the positions of a given pattern (usually of short length) in a reference stream of data (usually of large length). The matching can be as an exact or as an approximate (inexact) matching. Exact matching is to search for the pattern without allowing for mismatches (or insertions and deletions) of one or more characters in the pattern), while approximate matching is the opposite. For exact matching, several data structures that can be built in linear time and space are used and in practice nowadays. For approximate matching, the solutions proposed to solve this matching are non-linear and currently impractical. In this paper, we designed and implemented a structure that can be built in linear time and space and solve the approximate matching problem in (O(m + {log_Σ^k}n/{k!} + occ) search costs, where m is the length of the pattern, n is the length of the reference, and k is the number of tolerated mismatches (and insertion and deletions).

Evaluation of the Large-Length Indoor Standard Installation Based on Single Point Scanning

The large length indoor standard installation (LLISI) serves as a standard traceability system for large-scale measuring devices, and hence evaluating the accuracy of its measurements during motion is of great importance. A laser tracker, as a single-point scanning method with strong anti-interference ability and high accuracy for 3D measurement, can meet the measurement requirements of LLISI. In this study, a laser tracker was used to evaluate the accuracy of LLISI during motion based on the single-point scanning method. Fifteen measurement combinations including five measurement intervals and three measurement speeds were selected in the experiment and the results were compared with the measurement data of a laser interferometer. By analyzing the local movement speed of the ISS platform, the uncertainty in local measurement speed of the platform was evaluated. The results showed that the laser tracker has high measurement accuracy and good repeatability for the measurement of LLISI, which can provide strong support for data resource protection of LLISI.

DEVELOPMENT OF A NATIONAL STANDARD FOR TESTING METHODS FOR SELF-COMPACTING CONCRETE MIXTURE

In world practice, self-compacting concrete is increasingly used due to its unique properties and advantages. Self-compacting concrete mixtures have high ductility, better fluidity, high density with low water content due to the use of special effective mineral and chemical additives that provide high performance for concrete. The rheological properties of SCC differ significantly from those of conventional concrete. In this regard, when designing the composition of concrete and controlling its quality in laboratory and production conditions, several methods for controlling the quality of a self-compacting concrete mixture were created. The purpose of this standard was to create a single regulatory document regulating the assessment of the quality of a self-compacting concrete mixture. Concrete from a self-compacting mixture can be used for underground and hydrotechnical construction for the erection of structures of large length, complex geometric shape and densely reinforced structures.

The selection of the main axis and the forming plane in automatic profiling and stamping lines

The article defines the main axis and the profiling plane in automatic profiling and stamping lines. Specific recommendations are given for choosing the position of the main axis and the profiling plane, depending on the configuration of the manufactured parts of the roll-formed section. Under the general name of profiling in the practice of stamping works, it is meant to obtain rigid and light profiles of large length and various configurations from sheet blanks. Profiling is carried out in four ways: in dies on crank presses, in dies on special bending presses, on universal bending machines (edging machines), on profiling roller machines. The first method, profiling on crank presses, is used for complex semi-closed and open profiles of relatively small length, if there are no special bending presses or profiling machines. The second method, profiling on special bending presses, is used for open and semiclosed profiles up to 5 mm long. The advantage of such presses is the possibility of using simple, and therefore cheap, tools in the manufacture. The third method, profiling on universal bending machines (edging machines), is used for bending parts (profiles of a simple shape in straight lines with different coupling radii determined by the radius of the machine ruler, for which the latter has a set of rulers). Bending machines allow bending materials of small thickness. Low productivity and the need for physical labor costs limit the use of these machines. The fourth method, profiling on roller machines, is used for open, semi-closed and closed profiles. The essence of the profiling process is to gradually change the profile drawing of a flat belt to a given profile when it is moved sequentially through several pairs of shaped rollers arranged sequentially one after the other in the same plane and rotating at the same speed. The article describes in detail the fourth method; the advantages and disadvantages are noted.