We present a model of crowd motion in regions with moving obstacles, which is based on the notion of measure sweeping process [10]. The obstacle is modeled by a set-valued map, whose values are complements to r-prox-r...
详细信息
The exact solutions of the nonlinear heat (porous medium) equation are constructed. We obtain a new class of the heat wave type solutions the construction of which is reduced to the Cauchy problems for nonlinear secon...
详细信息
The exact solutions of the nonlinear heat (porous medium) equation are constructed. We obtain a new class of the heat wave type solutions the construction of which is reduced to the Cauchy problems for nonlinear second order differential equations with a singularity. For these problems we prove a new existence and uniqueness theorem in the class of analytic functions. A special case of the heat wave front is considered in details. The results of numerical experiments are presented and discussed.
We address a variation of the multi-skill resource-constrained project scheduling problem motivated by the need to find a quality schedule for the construction activities related to rolling-out a large network of mobi...
详细信息
Many non-editable documents are shared in PDF (Portable Document Format). They are typically not accompanied by tags for annotating the page layout, including table positions. One of the important challenges of the an...
详细信息
ISBN:
(数字)9781665412919
ISBN:
(纸本)9781665448215
Many non-editable documents are shared in PDF (Portable Document Format). They are typically not accompanied by tags for annotating the page layout, including table positions. One of the important challenges of the analysis and understanding of such documents is table detection. This paper outlines a novel two-phase approach to the table detection in untagged PDF documents. The first phase uses deep neural networks (DNN) to predict some table candidates. The second phase selects probable tables from the candidates by verifying their graph representation. We build a weighted directed graph from text blocks inside a predicted area of a table. A set of such graphs produced from the “ICDAR 2013 Table Competition” dataset allowed us to train a verification model based on the Random Forest technique. The empirical results for competitive dataset demonstrated high performance of our implementation of this approach. We showed that additional verification enables reduction of errors and improvement of results of the PDF table detection.
The paper describes the principles of the implementation of supervisors for discrete event systems, designed with the help of automatic theorem proving in the calculus of positively constructed formulas. The main adva...
The paper describes the principles of the implementation of supervisors for discrete event systems, designed with the help of automatic theorem proving in the calculus of positively constructed formulas. The main advantage of the proposed approach is the ability to carry out complex evaluations of events on the base of the current state of the system. Computable predicates are also may be employed, definitions of which are based on the data coming from external sources. As an illustrative example a mobile robot movement in an unknown environment is considered.
In this paper some class of nonlinear differential-algebraic equations of high index is considered. For the numerical solution of this problem the family of multistep, multistage difference schemes of high order is pr...
详细信息
The method of signal injection is investigated for position estimation of proportional solenoid valves. A simple observer is proposed to estimate a position-dependent parameter, i.e. the eddy current resistance, from ...
详细信息
MD4 and MD5 are fundamental cryptographic hash functions proposed in the early 1990s. MD4 consists of 48 steps and produces a 128-bit hash given a message of arbitrary finite size. MD5 is a more secure 64-step extensi...
详细信息
In this paper, we study the lower and upper bounds for solutions of the limit problem for the plane vacuum diode in the magnetic field in the statement by N. Ben Abdallah, P. Degond, and F. Mehats. This problem was fi...
Consideration was given to the hybrid systems obeying the nonlinear common differential equations with switched right-hand sides and state jumps (pulses). Conditions for availability of dynamic characteristics like st...
详细信息
暂无评论