The experimental study of the influence of the string length and the position of the electromagnetic excitation coil on the metrological characteristics of the strain sensors of the intelligent monitoring system

The article is devoted to the study of the influence of changes in the string length of string converters and the position of the electromagnetic excitation coil relative to the points of attachment of the string on the amplitude of its vibrations. The re-search was carried out on a prototype of a string converter made under the patent for the invention of the Russian Federation No. 2685803 and having a constant string tension force. The results of theoretical and experimental studies showing the influence of the highest harmonics on the amplitude of string vibrations are presented. The factors determining the composition of harmonics are considered. The contribution of the harmonics to the resulting string oscillation amplitude and the measurement error of the controlled parameter of the stress-strain state is considered. The ranges of the measurements with the help of string converters with a constant string tension force and the ways of their expansion are justified.

On the generative capacity of matrix insertion-deletion systems of small sum-norm

A matrix insertion-deletion system (or matrix ins-del system) is described by a set of insertion-deletion rules presented in matrix form, which demands all rules of a matrix to be applied in the given order. These systems were introduced to model very simplistic fragments of sequential programs based on insertion and deletion as elementary operations as can be found in biocomputing. We are investigating such systems with limited resources as formalized in descriptional complexity. A traditional descriptional complexity measure of such a matrix ins-del system is its size $$s=(k;n,i',i'';m,j',j'')$$ s = ( k ; n , i ′ , i ′ ′ ; m , j ′ , j ′ ′ ) , where the parameters from left to right represent the maximal matrix length, maximal insertion string length, maximal length of left contexts in insertion rules, maximal length of right contexts in insertion rules; the last three are deletion counterparts of the previous three parameters. We call the sum $$n+i'+i''+m+j'+j''$$ n + i ′ + i ′ ′ + m + j ′ + j ′ ′ the sum-norm of s. We show that matrix ins-del systems of sum-norm 4 and sizes (3; 1, 0, 0; 1, 2, 0), (3; 1, 0, 0; 1, 0, 2), (2; 1, 2, 0; 1, 0, 0), (2; 1, 0, 2; 1, 0, 0), and (2; 1, 1, 1; 1, 0, 0) describe the recursively enumerable languages. Moreover, matrix ins-del systems of sizes (3; 1, 1, 0; 1, 0, 0), (3; 1, 0, 1; 1, 0, 0), (2; 2, 1, 0; 1, 0, 0) and (2; 2, 0, 1; 1, 0, 0) can describe at least the regular closure of the linear languages. In fact, we show that if a matrix ins-del system of size s can describe the class of linear languages $$\mathrm {LIN}$$ LIN , then without any additional resources, matrix ins-del systems of size s also describe the regular closure of $$\mathrm {LIN}$$ LIN . Finally, we prove that matrix ins-del systems of sizes (2; 1, 1, 0; 1, 1, 0) and (2; 1, 0, 1; 1, 0, 1) can describe at least the regular languages.

Damping Oscillation of Suspended Payload by Varying String Length

Many modern day applications involve transport of objects suspended through cables such as in overhead cranes or landing of rovers on the Martian surface. Any undesired oscillation of the payload has the potential risk of instability and the problem of damping such oscillation and stabilizing the payload at a desired length is the control objective of this paper. The system is modeled as a variable length pendulum (VLP) which comprises of a payload suspended via a string wrapped around a pulley. The length of the pendulum is varied using clockwise/counterclockwise rotation of the pulley through torque applied by a motor. For a known payload mass, a nonlinear control design is first presented that guarantees asymptotic stability of the desired equilibrium with limited state measurements. The design is then modified for it to handle significant uncertainty in payload mass. The effectiveness of both the designs are validated in simulations.

An SMT Solver for Regular Expressions and Linear Arithmetic over String Length

We present a novel length-aware solving algorithm for the quantifier-free first-order theory over regex membership predicate and linear arithmetic over string length. We implement and evaluate this algorithm and related heuristics in the Z3 theorem prover. A crucial insight that underpins our algorithm is that real-world regex and string formulas contain a wealth of information about upper and lower bounds on lengths of strings, and such information can be used very effectively to simplify operations on automata representing regular expressions. Additionally, we present a number of novel general heuristics, such as the prefix/suffix method, that can be used to make a variety of regex solving algorithms more efficient in practice. We showcase the power of our algorithm and heuristics via an extensive empirical evaluation over a large and diverse benchmark of 57256 regex-heavy instances, almost 75% of which are derived from industrial applications or contributed by other solver developers. Our solver outperforms five other state-of-the-art string solvers, namely, CVC4, OSTRICH, Z3seq, Z3str3, and Z3-Trau, over this benchmark, in particular achieving a speedup of 2.4$$\times $$ × over CVC4, 4.4$$\times $$ × over Z3seq, 6.4$$\times $$ × over Z3-Trau, 9.1$$\times $$ × over Z3str3, and 13$$\times $$ × over OSTRICH.

Low energy consequences of loop quantum gravity

Using the loop quantum gravity, based on polymer quantization, we will argue that the polymer length (like string length) can be several orders larger than the Planck length, and this can have low energy consequences. We will demonstrate that a short distance modification of a quantum system by polymer quantization and by string theoretical considerations can produce similar behavior. Moreover, it will be demonstrated that a family of different deformed Heisenberg algebras can produce similar low energy effects. We will analyze such polymer correction to a degenerate Fermi gases in a harmonic trap, and its polymer corrected thermodynamics.

PENGUKURAN MODULUS YOUNG SENAR PANCING DENGAN METODE ANALISIS FREKUENSI DAWAI

The research has been conducted to determine the Young Modulus value of the fishing line with frequency analysis on a string by using a sound sensor. The fishing line made of Nylon Monofilament and Stainless Steel Nylon Coat. The diameter of the fishing line with each material consisted of 0.25 mm. The fishing line vibration events ware displayed on the graph of the relationship between pressure and time in the Logger pro program. The graph of the relationship between pressure and time was then transformed into an FFT graph of the amplitude relationship to frequency. Then the frequency value which was obtained from the FFT was used to determine the wave velocity value of the fishing line. The average wave velocity value was obtained by graphing the frequency relation to one of each string length. After obtained the average wave velocity value of the fishing line the Modulus Young value can be determined by the equation of the square wave velocity relationship times the mass per length times the cross-sectional area. In this study, the Young Modulus value of Nylon Monofilament fishing line was (1.94±0.09) GPa and the Young Modulus value of the Stainless Steel Nylon Coat fishing line was (45.05±2.05) GPa.

New Insights into Time Series Analysis IV: Panchromatic and Flux Independent Period Finding Methods

New time-series analysis tools are needed in disciplines as diverse as astronomy, economics and meteorology. In particular, the increasing rate of data collection at multiple wavelengths requires new approaches able to handle these data. The panchromatic correlated indices $K^{(s)}_{(fi)}$ and $L^{(s)}_{(pfc)}$ are adapted to quantify the smoothness of a phased light-curve resulting in new period-finding methods applicable to single- and multi-band data. Simulations and observational data are used to test our approach. The results were used to establish an analytical equation for the amplitude of the noise in the periodogram for different false alarm probability values, to determine the dependency on the signal-to-noise ratio, and to calculate the yield-rate for the different methods. The proposed method has similar efficiency to that found for the String Length period method. The effectiveness of the panchromatic and flux independent period finding methods in single waveband as well as multiple-wavebands that share a fundamental frequency is also demonstrated in real and simulated data.

Resolving Interoperability Issues of Precision and Array with Null Value of Web Services Using WSIG-JADE Framework

Web services and agent technology play a significant role while resolving the issues related to platform interoperability. Web service interoperability organization (WS-I) provided the guidelines to remove the interoperability issues using basic profile 1.1/1.2 product. However, issues are still arising while transferring the precision values and an array with null values between different platforms like JAVA and .NET. As in a precision issue, JAVA supports data precision up to the 6th value and .NET up to the 5th value after the decimal and after increasing their limits, the whole number gets rounded off. In array with a null value issue, JAVA treats null as a value but .NET treats null as an empty string. To remove these issues, we use the WSIG-JADE framework that helps to build and demonstrate a multiagent system that does the mapping and conversions between agents and web services. It limits the number of digits to the 5th place after the decimal thereby increasing the precision in data sets, whereas it treats null as an empty string so that string length remains the same for both the platforms thereby helping in the correct count of data elements.

String theory on AdS3 × M7 in the tensionless limit

We review old and recent results on a special limit of string theory on [Formula: see text] with pure NS–NS fluxes: the limit in which the string length [Formula: see text] equals the [Formula: see text] radius [Formula: see text]. At this point of the moduli space, the theory exhibits special properties, which we discuss. Special attention is focused on features of correlation functions that are related to the noncompactness of the boundary CFT target space, and on how these features change when the point [Formula: see text] is approached. Also, we briefly review the recent proposals for exact realizations of AdS/CFT correspondence at this special point.