Logical structure analysis of scientific publications in mathematics

Even though the Linking Open Data cloud is constantly growing, there is a serious lack of published data sets related to the domain of academic mathematics. At the same time, since most scholarly publications in mathematics are well-structured and conventional, it's promising to get their helpful detailed representation. The paper describes an approach to extracting and analyzing the structure of mathematical papers. We present the Mocassin ontology that is used by analysis algorithms and can be considered as an ontology of the structure of scholarly publications in mathematics. The proposed semantic model has been evaluated on a set of real mathematical papers and preliminary evaluation results are encouraging. Also we discuss potential applications of the model to specific information retrieval tasks including semantic search. © 2011 ACM

Mathematical text collections: Annotation and application for search tasks

This paper analyzes two models: semantic annotation of mathematical texts and semantic searching for mathematical texts in a marked-up collection. It also presents the results of a series of experiments that were performed with a semantically annotated collection of scientific publications in the field of mathematics. © 2013 Allerton Press, Inc

Fielded sequential dependence model for ad-hoc entity retrieval in the web of data

Previously proposed approaches to ad-hoc entity retrieval in the Web of Data (ERWD) used multi-fielded representation of entities and relied on standard unigram bag-of-words retrieval models. Although retrieval models incorporating term dependencies have been shown to be significantly more effective than the unigram bag-of-words ones for ad hoc document retrieval, it is not known whether accounting for term dependencies can improve retrieval from the Web of Data. In this work, we propose a novel retrieval model that incorporates term dependencies into structured document retrieval and apply it to the task of ERWD. In the proposed model, the document field weights and the relative importance of unigrams and bigrams are optimized with respect to the target retrieval metric using a learning-to-rank method. Experiments on a publicly available benchmark indicate significant improvement of the accuracy of retrieval results by the proposed model over state-of-the-art retrieval models for ERWD

Parameterized fielded term dependence models for ad-hoc entity retrieval from knowledge graph

© 2016 ACM.Accurate projection of terms in free-text queries onto structured entity representations is one of the fundamental problems in entity retrieval from knowledge graph. In this paper, we demonstrate that existing retrieval models for ad-hoc structured and unstructured document retrieval fall short of addressing this problem, due to their rigid assumptions. According to these assumptions, either all query concepts of the same type (unigrams and bigrams) are projected onto the fields of entity representations with identical weights or such projection is determined based only on one simple statistic, which makes it sensitive to data sparsity. To address this issue, we propose the Parametrized Fielded Sequential Dependence Model (PFSDM) and the Parametrized Fielded Full Dependence Model (PFFDM), two novel models for entity retrieval from knowledge graphs, which infer the user's intent behind each individual query concept by dynamically estimating its projection onto the fields of structured entity representations based on a small number of statistical and linguistic features. Experimental results obtained on several publicly available benchmarks indicate that PFSDM and PFFDM consistently outperform state-of-the-art retrieval models for the task of entity retrieval from knowledge graph

Simulation of non-stationary gas dynamics of solid propellant rockets launch

The article presents the results of the development of methodology for the calculation of non-stationary gas dynamics processes occurring in gas dynamic paths of rocket engines and environment at the launch of rockets. The method takes into account the change of geometry of solid fuel combustion surface during the operation of the engine and the change in the geometry of the computational domain taking into account the dynamics of rocket launch. Numerical simulation of gas-dynamic processes of the launch of model solid-fuel rocket was done. The unsteady gas-dynamic flow pattern was investigated. The pressure curve in the solid propellant rocket engine combustion chamber, the speed of movement and overload were determined

Mathematical investigation of pressure pulsations characteristics and natural acoustic frequencies in the gas-dynamic channel

Paper presents a numerical simulation of the occurrence of flow instability and pressure self-oscillations for a complex configuration of the gas-dynamic tract in combustion chamber. Unsteady axisymmetric two-dimensional Navier-Stokes equations are used for mathematical modelling of compressible one-phase medium. To simulate turbulence, the k-ε and LES models were used. Fast Fourier Transform (FFT) determined the frequency spectrum of pressure pulsations in the combustion chamber. It is shown that in the case of a simple geometry of the free gas cavity in combustion chamber, both models of turbulence make it possible to determine the spectrum of the natural acoustic frequencies. Using the LES model in the case of complex geometry makes it possible to predict the hydrodynamic structure of a flow accurately. The flow, in this case, has an intensive vortex generation. Formation of small-scale vortex occurs in the near-wall regions and large eddies in the core of a flow. Frequency of large eddies formation can be combined with the natural acoustic frequencies of combustion chamber and can affect the amplitude of pressure pulsation

OntoMath^PRO ontology: A linked data hub for mathematics

© Springer International Publishing Switzerland 2014. In this paper, we present an ontology of mathematical knowledge concepts that covers a wide range of the fields of mathematics and introduces a balanced representation between comprehensive and sensible models. We demonstrate the applications of this representation in information extraction, semantic search, and education. We argue that the ontology can be a core of future integration of math-aware data sets in the Web of Data and, therefore, provide mappings onto relevant datasets, such as DBpedia and ScienceWISE

Method of gas flows calculation in solid propellant rocket engines taking into account the combustion of solid fuel charge

The paper presents a method for calculating the local and integral characteristics of the flow in the axisymmetric gas-dynamic paths of solid propellant rocket motors, taking into account the combustion of a charge of solid fuel. The numerical method of calculation is based on the use of the Godunov scheme, formulated for moving computational grids. The speed of movement of the combustion surface is defined locally on the edge of each calculation boundary cell. This approach allows us to take into account the uneven distribution of the pressure of the combustion products in the free volume of the combustion chamber. In test calculations, the power law of burning rate is used. Calculations of the gas flow in the solid propellant combustion chamber with cylindrical charge of solid fuel are carried out. Unsteady pressure curve in the combustion chamber is obtained. The method allows to determine all integral characteristics of the developed solid propellant rocket motors as a function of the engine running tim

The universal algorithm for solving the gas dynamics equations on the mesh with arbitrary number of cell faces

The paper presents methodology and algorithm for calculating the equations of gas dynamics on arbitrary computational meshes with a mixed type of cells. The calculation method is based on the method of linear reconstruction proposed by Barth and Jesperson. The algorithm for determining the geometric parameters of arbitrary computational cell is presented. To implement the calculation algorithm, a data storage system has been proposed and tested. The algorithm of the solver and the algorithm of docking the computational meshes in the case of using block-structured meshes are proposed. The efficiency of methodology and developed program of calculation are demonstrated by the calculation example of the air flow in flat air intakes. The structure of flow and position of the bow shock wave are determined. These results with the theoretical values were compared. The application of the proposed methodology and calculation algorithm to arbitrary computational meshes with a mixed cell type makes it possible to optimize the process of constructing computational mesh and conduct numerical studies of gas dynamics in regions of complex geometry