In this paper we show that an arbitrary solution of one ordinary difference equation is also a solution for a hierarchy of integrable difference equations. We also provide an example of such a solution that is related...
In this study, we describe a volunteer computing BOINC-based project aimed at solving computationally hard inverse problems in underwater acoustics. We used this project to solve two instances of single-hydrophone dis...
详细信息
Recently, the problem of spin and orbital angular momentum (AM) separation has widely been discussed. Nowadays, all discussions about the possibility to separate the spin AM from the orbital AM in the gauge invariant ...
详细信息
The data collected during various kinds of scientific research may be represented both by well known binary file formats and by custom formats specially developed for some unique device. While thorough understanding o...
详细信息
Sequences of Genocchi numbers of the first and second kind are considered. For these numbers, an approach based on their representation using sequences of polynomials is developed. Based on this approach, for these nu...
The contribution of axial-vector mesons to the muon’s anomalous magnetic moment through a light-by-light process is considered within a nonlocal quark model. The model is based on a four-quark interaction with scalar...
详细信息
The contribution of axial-vector mesons to the muon’s anomalous magnetic moment through a light-by-light process is considered within a nonlocal quark model. The model is based on a four-quark interaction with scalar-pseudoscalar and vector–axial-vector sectors. While the transverse component of the axial-vector corresponds to a spin-1 particle, the unphysical longitudinal component is mixed with a pseudoscalar meson. The model parameters are refitted to the pion properties in the presence of π−a1 mixing. The obtained estimation for the light-by-light contribution of a1+f1 mesons is (3.6±1.8)×10−11.
Propositional satisfiability (SAT) is at the nucleus of state-of-the-art approaches to a variety of computationally hard problems, one of which is cryptanalysis. Moreover, a number of practical applications of SAT can...
详细信息
In this paper some generalizations of the sum of powers of natural numbers is considered. In particular, the class of sums whose generating function is the power of the generating function for the classical sums of po...
In this paper, we propose a technique for increasing the accuracy of modeling nonlinear dynamics of input-output systems using finite segments (polynomials) of Volterra integral power series. We highlight a case when ...
In this paper, we propose a technique for increasing the accuracy of modeling nonlinear dynamics of input-output systems using finite segments (polynomials) of Volterra integral power series. We highlight a case when the Volterra kernel identification problem is solved. The linear part of the Volterra polynomials of power N is formed as an equivalent continued fraction. Assuming that the corresponding Volterra kernel is known with some error, such an approach allows us to obtain a model with a new linear part that depends on the error. At the same time, prognostic properties of the integral model can be improved by the using the connection coefficient. The problem of indentifying such a parameter was solved using a special extremal problem. We analyzed the performance of the approach for some dynamic systems. Tests examples were used to compare our approach with the known modeling method that employs a series of Volterra polynomials whose transient responses are tuned to different test signal heights.
A description of the calculus of positively constructed formulas (PCF) and prover based on this calculus is considered. The PCF calculus has been developed by Russian scientists S.N. Vassiliev and A.K. Zherlov by an e...
详细信息
ISBN:
(纸本)9781467386456
A description of the calculus of positively constructed formulas (PCF) and prover based on this calculus is considered. The PCF calculus has been developed by Russian scientists S.N. Vassiliev and A.K. Zherlov by an evolutionary way in describing and solving controltheory problems. This calculus has features, which are applicable in controltheory. The described implementation of the prover uses several techniques and strategies to improve prover performance. The prover is being tested by means of solving problems from TPTP library. The usage of implemented inference search strategies is also commented in this paper.
暂无评论