
Fundamental mathematics and physics
A.G. Grin
The Criterion of Normal Convergence for Symmetric Functions of the Dependent Variables
The necessary and sufficient conditions for fulfillment of the central limit theorem for symmetric functions of random variables, in which the scale normalization is carried out by regularly varying sequences of arbitrary positive order are obtained in this article. These conditions include the socalled minimal conditions of the weak dependence.
Keywords: symmetric functions of random variables, central limit theorem, minimal conditions of the weak dependence
A.V. Levichev, A.Yu. Palyanov
Analysis in Spacetime Bundles Based on Groups U(1,1) and U(2): The Case
of SU(2,2)Actions in Their 2 and 4Covers
In this paper (which is the direct continuation of A.V.Levichev and A.Yu.Palyanov, Mathematical structures and modeling, 2016, N. 4(40), 2438) we continue to develop mathematical tools which are necessary in order to perform analysis of homogeneous vector bundles on the basis of the parallelizing group U(1,1). In particular, the compatibility of the (introduced by Paneitz and Segal) coherence condition with the SU(2,2)action on finite covers of U(1,1) and of U(2) was studied: such a compatibility is violated in case of 2covers but it holds in case of 4covers. In terms of the U(2)approach, we have corrected the proof of one (fundamental for the implementation of any induced representation) PaneitzSegal formula given in Corollary 4.1.2 of S. M. Paneitz and I. E. Segal, J. Funct. Anal. 47(1982), 78142.
Keywords: parallelizations of spacetime bundles, conformal SU(2,2)actions in U(1,1), U(2), 2 and 4covers, coherence condition and induced representations
V.A. Erovenko
"Simon's Syndrome" in Problem Reliability of Computer Proofs
The article is devoted to philosophical and mathematical aspects of use of the computer in the formalized mathematical proof. The problem of computer
proofs reliability is reflected in a demand of experimental mathematics in scientific knowledge.
Keywords: philosophy of mathematical proofs, crisis of recomplexity of proofs, trust to computer proofs
N.V. Michailova
Methodological Pragmatism of the ProblemOriented Training in Mathematics
Article considers problemoriented training in the higher mathematics, problematic approach to specific objectives and the idea of methodological pragmatism. The methodological pragmatism is expressed in criticism of the idea of absolute justification of mathematics and the educational argument.
Keywords:
methodological pragmatism, problem training, philosophy of mathematical education
A.K. Guts
Correlation of Reflection and Intertemporal Transitions
Ethical problems associated with the work of a quantum time machine are investigated.
Keywords:
quantum time machine, ethical problems, intertemporal transitions
Vladik Kreinovich and Sergei Soloviev
Can Mass Be Negative?
Overcoming the force of gravity is an important part
of space travel and a significant obstacle preventing many
seemingly reasonable space travel schemes to become practical.
Science fiction writers like to imagine materials that may help to
make space travel easier. Negative mass  supposedly causing
antigravity  is one of the popular ideas in this regard. But
can mass be negative? In this paper, we show that negative masses
are not possible  their existence would enable us to create
energy out of nothing, which contradicts to the energy
conservation law.
Keywords:
negative mass, equivalence principle, antigravity, energy conservation law
J. McClure, O. Kosheleva, V. Kreinovich
The Sums of \(\mathbf{m_i\cdot v_i}\) and \(\mathbf{m_i\cdot v_i^2}\) Are Preserved, Why not Sum of
\(\mathbf{m_i\cdot v_i^3}\): A Pedagogical Remark
Students studying physics sometimes ask a
natural question: the momentum  sum of \(m_i\cdot v_i\)  is
preserved, the energy  one half of the sum of \(m_i\cdot v_i^2\)
 is preserved, why not sum of \(m_i\cdot v_i^3\)? In this paper,
we give a simple answer to this question.
Keywords:
momentum conservation law, energy conservation law, teaching physics
Applied Mathematics and Modeling
L.A. Volodchenkova,A.K. Guts
Modeling the Equilibrium Evolution of the Forest Biocenosis on Solid Felling
It is shown that the restoration of the forest after felling can be
described as a Nash equilibrium.
Keywords:
restoration of the forest, evolution, the Nash equilibrium
G.D. Anisimova
On the Asymptotic Behavior of Solutions of the Cauchy
Problem for System of FunctionalDifferential Equations
of Hyperbolic Type
For the class of systems specified in the title we prove necessary and sufficient criteria for exponential stability and dichotomy of solutions of the Cauchy problem in terms of the
zeros \(\left(\lambda,\mu\right)\) of determinant of a matrix pencil  symbol of the functionaldifferential operator in the left part of the system. An illustrative example is considered.
Keywords:
transition to the difference Cauchy problem, characterization of the spectrum of resolving operator
Y.M. Krakovsky, A.N. Luzgin
Calculation Algorithm of a Block Criterion of the Dynamic
Indicator Interval Forecastability Based on TarsitanoLombardo’s Coefficient
Calculation algorithm of a block criterion of the interval forecastability
for dynamic indicator based on TarsitanoLombardo’s nonparametric correlation
coefficient was proposed and tested. It was experimentally shown that the value
of the block criterion of the interval forecastability, which was calculated from
prehistory of dynamic indicator values, makes it possible to quantitatively estimate the appropriateness of performing interval forecasting of the dynamic indicator based on its statistical properties. The interval forecasting is to determine the interval from two predetermined intervals in which the future value of the indicator will be located. The forecasting is based on probability estimates of these events. In this case, the separation division of the intervals is set by the calculation method based on statistical characteristics of the dynamic indicator. The proposed calculation algorithm of the block criterion of the dynamic indicator interval forecastability was implemented in the programming language "R".
Keywords:
interval forecasting, interval predictability estimating, dynamic indicator, nonparametric correlation, interval forecasting accuracy
E.V. Rabinovich, P.I. Vaynmaster, G.S. Shefel
Elimination of Data Redundancy in Seismic Monitoring
of Hydraulic Fracturing
The important stage of hydraulic fracturing monitoring is constructing a graphical model of fracturing area. However, the real data recorded in the process of hydraulic fracturing are characterized by high intensity of seismic activity in the monitoring area, which hinders correct constructing of such model. Therefore, the problem of eliminating the redundancy of seismic data is important. The original algorithm is considered in this article, which allows eliminating redundancy by detection of local hypocenters of seismic activity. The algorithm is based on the methods of cluster and factor analysis. Factor analysis is used to identify similar characteristics and reduce the number of variables used to describe a seismic source. Cluster analysis is used to detect clouds of seismic emission and find their local hypocenters. The results obtained are used to construct a threedimensional graphic fracture model.
Keywords:
hydraulic fracturing, fracture, factor and cluster analysis
V.R. Shagiev, A.M. Akhtyamov
Identification of Pipe Fastening Using the Minimum Number
of Natural Frequencies
The oscillations of a pipeline with a liquid are considered. Previously, it was shown that if the liquid does not flow through the pipeline, then by all its frequencies of flexural vibrations of the pipeline, the type of fixing of the pipeline is uniquely determined up to permutations of fastenings at its ends. The problem of identifying boundary conditions was also solved for nine natural frequencies. In this paper, the number of eigenvalues with which one can uniquely reduce the boundary conditions, up to permutations of the fastenings at its ends, is reduced to five. The number of spectral data was reduced due to the fact that if a linear system of 9 equations was previously solved, then in the present paper a system of five nonlinear equations is solved with respect to four unknown coefficients from the boundary conditions reduced to the canonical form. An example of solving this inverse problem is presented. Two counterexamples are also given in which it is shown that fewer eigenvalues for identification are generally insufficient. In the first counterexample, it is shown that four nonzero eigenfrequencies are still not enough to identify the type of anchorage of the pipeline. The second counterexample shows that in some cases information is needed about whether zero is an eigenvalue.
Keywords:
boundary conditions, natural frequencies, eigenvalues, clamping, free support, floating fixing, free end, pipeline
V.A. Lefebvre
General Scheme of Modern Psychology. Place of Reflexive
Research in the System of Sciences
Transcript of the remote presentation at the conference "Reflective Theater of the Situation Center"\ 29.11.2016. It has been edited by the author.
Keywords:
subjective psychology, psychophysics, behaviorism, cognitive psychology, reflexive approach
V.A. Uglev
The Base Model of Reflexive Process in the Intellectual Automation Educational Systems
The issues of creating intelligent automated training system with the function of reflection are considered. Using the reflexive games theory of V.A. Lefebvre, the structure of the scheduler of training system introduces a reflexive intelligent agent (RIA), which provides tradeoffs in the interaction models of a student, teacher, subject tutor and practitioner. The basic components of the reflexive perception model of RIA of student and learning situation are described, taking into account the specifics of decisionmaking for different stages of learning.
Keywords:
modeling, individualization of learning, automated learning, reflexive governance, reflexive intelligent agent
Filimonov V.A.
Constructor of Models of Subjects of Reflexive Games: Version 1
The constructor of subjects of reflexive games is considered as a component of support for reflexive control in the project ”GenGuru”. The project is implemented with the use of crosstechnologies of situational center. Key ideas of V. A. Lefebvre’s model system are analyzed. List for the options of detail models to improve the accuracy of modeling situations is suggested. We consider the specifics of modeling such subjects as individuals, and robots.
Keywords:
reflexive control, models of V. A. Lefebvre, details of the models, subjects
Computer Sciences
E.A. Tyumentsev
About Formal Definition of an Abstraction
The article proposes a formal definition of abstraction as a mapping of a set of entities into a set of subwords of all words of some alphabet, a hierarchy of abstractions as relations on the set of subwords of a language and interpretation. Also received a number of limitations, which has an abstraction mechanism.
Keywords:
abstraction, abstarction barrier, inheritance, Grady Booch, Barbara Liskov, Robert Martin
E.A. Tyumentcev
Clarification of the Article ”About The Formalization
of the Software Development Process”
In the article ”About The Formalization Of The Software Development
Process”, the definitions of the software development process as a process of editing the text of the program, the speed of the process, and a sufficient condition for linear speed are formulated. In determining the speed of the development process, the existence of a limit is required. However, the required limit may not exist. In this paper, we define the speed of software development process, which does not require the existence of a limit, and reformulates a sufficient condition for linear velocity in accordance with the new definition.
Keywords: formalization, development process, software, productivity
T.V. Vahniy, A.K. Guts, I.Yu. Pahotin
Determining the Optimal Set of Tools for Computer System Security by MonteCarlo Method
The article presents a software application that allows based on game
theory to find the most optimal set of tools for computer information protection by MonteCarlo method.
Keywords:
information security, theory of games, hacker attacks, optimal strategy, software product, MonteCarlo method
The article is devoted to the analysis of the themes of the unified state exam in informatics and the construction on its basis of the structural model of the course for the vocational guidance school of the Faculty of Computer Science. The analysis of information resources, which are sources of tasks for preparation, has been carried out. The structural model is supplemented with topics that ensure consistency and coherence of topics.
Keywords:
structural model, computer science, information and telecommunication technologies, unified state examination, vocational guidance, additional education