Division with remainder in algebras with valuation

To any integral algebra with valuation an abelian group is associated, which measures how much the uniqueness of the division with remainder is violated. The analogy with the divisor class group is discussed. Examples of such groups are computed in cases of formal local rings of some cusps on an algebraic curve.     

Division with remainder in algebras with valuation

To any integral algebra with valuation an abelian group is associated, which measures how much the uniqueness of the division with remainder is violated. The analogy with the divisor class group is discussed. Examples of such groups are computed in cases of formal local rings of some cusps on an algebraic curve.     

Semi-orthogonal spline-wavelets with derivatives and the algorithm with splitting

This paper deals with the use of a scalar product with derivatives for constructing semi-orthogonal spline-wavelets. The reduction of supports of such wavelets in comparison with the classical semi-orthogonal wavelets is shown. For splines of the third degree, the algorithm of wavelet-transformation in the formof the solution to a three-diagonal systemof linear equations with strict diagonal prevalence has been obtained. The results of numerical experiments on the calculation of derivatives of a discretely given function are presented.     

Tuberculosis model with relapse via fractional conformable derivative with power law

The present study explores the tuberculosis dynamics with relapse with a nonlocal conformable derivative in the Caputo sense. The real data of tuberculosis cases since 2002 to 2017 are used to the set the parameters. The numerical results with the realistic parameters are chosen and present the graphical results. Further, we assign different values to the fractional parameters α and β and discuss its effect on the system variables. The use of these two fractional operators on the model simultaneously with realistic data gives reliable results.     

On the construction of the Lyapunov function with sign-definite derivative with the help of auxiliary functions with sign-constant derivatives

The short survey of studies of the asymptotic stability with the help of auxiliary functions (positive definite and nonnegative) whose derivatives are nonpositive by virtue of the equations of perturbed motion and the construction of positive definite Lyapunov functions with negative definite derivatives on the basis of these auxiliary functions is given. The example of the construction of the Lyapunov function with the use of an auxiliary nonnegative function with nonpositive derivative is presented.     

Simulation of flows with strong shocks with an adaptive conservative scheme

In the present work, numerical simulations of unsteady flows with moving shocks are presented. An unsteady mesh adaptation method, based on error equidistribution criteria, is adopted to capture the most important flow features. The modifications to the topology of the grid are locally interpreted in terms of continuous deformation of the finite volumes built around the nodes. The arbitrary Lagrangian–Eulerian formulation of the Euler equations is then applied to compute the flow variable over the new grid without resorting to any explicit interpolation step. The numerical results show an increase in the accuracy of the solution, together with a strong reduction of the computational costs, with respect to computations with a uniform grid using a larger number of nodes.     

Manifolds with Cusps

In this paper manifolds with cusps are defined and their properties investigated. Manifolds with cusps are manifolds with boundary where the dimension of the tangent cone at points varies widely with that point. Examples are exponential sums, splines, and polynomials with only real roots. The investigations are motivated by numerical algorithms in approximation theory and other areas.     

Quintics with three triple points, sextics with five and degenerations

The note determines the possible limit surfaces in a one-parameter family of quintics with three non-aligned, or sextics with five non-coplanar triple points. The geometry of a general degenerate quintic is also investigated.     

Differential equations on manifolds with edge singularities in spaces with asymptotics

The present paper deals with differential equations with edge degeneration in spaces with asymptotics. We give the definition of an edge space with asymptotics, prove the continuity of operators with edge degeneration in the scale of these spaces, present statements of problems with edge operators, and state conditions providing their Fredholm property.     

The motion of a body with a cavity partly filled with a viscous liquid

Many papers are concerned with the dynamics of a rigid body with a cavity filled with liquid (see the bibliography in [1]). The present paper deals with the motion of a rigid body having a cavity partly filled with a viscous incompressible liquid, and having a free surface. The shape of the cavity is arbitrary. The problem is considered in a linear formulation. The oscillations of the body with respect to its center of inertia and the motion of the liquid in the cavity are assumed small. The viscosity of the liquid is considered low. The solution of the problem of the oscillations of a body with a cavity partly filled with an ideal liquid is used as an initial approximation [1 to 6]. The viscosity is taken into consideration by the boundary layer method used before in similar problems [1 and 7 to 10). General equations are derived for the dynamics of a body filled with a liquid, for an arbitrary form of cavity. The coefficients of those integro-differential equations depend only on the solution of the problem of the oscillations of a body with a cavity of the given form filled with an ideal liquid. Since the corresponding problem has been solved for cavities of many forms [1 to 6, 11 and 12] in the case of an ideal liquid, the determination of the characteristic coefficients is reduced to the evaluation of quadratures. Several particular cases of motion are considered.     

Stokeswaves with vorticity

The existence of periodic waves propagating downstream on the surface of a two-dimensional infinitely deep body of water under the force of gravity is established for a general class of vorticities. When reformulated as an elliptic boundary value problem in a fixed semi-infinite cylinder with a parameter, the operator describing the problem is nonlinear and non-Fredholm. A global connected set of nontrivial solutions is obtained via singular theory of bifurcation. The proof combines a generalized degree theory, global bifurcation theory, and Whyburn’s lemma in topology with the Schauder theory for elliptic problems and the maximum principle.     

Fracture of Two-Layer Plates with Cracks in Tension with Regard for Local Buckling

The fracture of two-layer plates with cracks in tension, with regard for the preceding local buckling, is investigated experimentally. The critical stresses corresponding to the local buckling are determined for plates with various geometrical parameters. The effect of the local buckling on the fracture kinetics and strength of plates is estimated.     

An inventory model with backorders with fuzzy parameters and decision variables

The paper considers an inventory model with backorders in a fuzzy situation by employing two types of fuzzy numbers, which are trapezoidal and triangular. A full-fuzzy model is developed where the input parameters and the decision variables are fuzzified. The optimal policy for the developed model is determined using the Kuhn-Tucker conditions after the defuzzification of the cost function with the graded mean integration (GMI) method. Numerical examples and a sensitivity analysis study are provided to highlight the differences between crisp and the fuzzy cases.     

桥本甲状腺炎合并甲状腺癌的危险因素回归分析

目的 探讨桥本甲状腺炎（HT）合并甲状腺癌的危险因素。方法 采用回顾性病例对照研究,选取59 例HT 合并甲状腺癌患者为病例组,按照1∶2比例选取118 例HT 合并甲状腺良性结节或单纯HT 患者为对照组,对相关因素进行单因素和多因素logistic 回归分析。结果 单因素分析显示甲状腺疾病家族史、碘摄入情况、辐射接触史、甲状腺自身抗体和合并单发结节为HT 合并甲状腺癌的影响因素。经多因素分析家族史、高碘摄入、辐射接触史为HT 合并甲状腺癌的危险因素,其OR 值（95%CI）分别为2.141（1.664~2.755）、2.479（1.895~2.936）和4.596（3.693~4.997）。结论 HT 合并甲状腺癌发病机制有待于进一步研究,应针对危险因素(家族史、碘摄入情况、辐射接触史)采取措施进行早防早治。     

Martingales with sufficient statistics

The property of countable convexity of the set which contains all dominated martingale laws, for a family of measurable functions with values in a separable Borel space, is proved to be equivalent to the existence of a sufficient statistic. The result is then used to derive a representation of such laws in terms of their extreme points, which are laws of uniformly integrable martingales. Finally, we show that martingales with sufficient statistics converge with probability 1.     

Knapsack problems with setups

Knapsack problems with setups find their application in many concrete industrial and financial problems. Moreover, they also arise as subproblems in a Dantzig–Wolfe decomposition approach to more complex combinatorial optimization problems, where they need to be solved repeatedly and therefore efficiently. Here, we consider the multiple-class integer knapsack problem with setups. Items are partitioned into classes whose use implies a setup cost and associated capacity consumption. Item weights are assumed to be a multiple of their class weight. The total weight of selected items and setups is bounded. The objective is to maximize the difference between the profits of selected items and the fixed costs incurred for setting-up classes. A special case is the bounded integer knapsack problem with setups where each class holds a single item and its continuous version where a fraction of an item can be selected while incurring a full setup. The paper shows the extent to which classical results for the knapsack problem can be generalized to these variants with setups. In particular, an extension of the branch-and-bound algorithm of Horowitz and Sahni is developed for problems with positive setup costs. Our direct approach is compared experimentally with the approach proposed in the literature consisting in converting the problem into a multiple choice knapsack with pseudo-polynomial size.     

Bogolyubov-type theorem with constraints induced by a control system with hysteresis effect

We consider the problem of minimization of an integral functional with nonconvex with respect to the control integrand. We minimize our functional over the solution set of a control system described by two ordinary differential equations subject to a control constraint given by a multivalued mapping with closed nonconvex values. The coefficients of the equations and the constraint depend on the phase variables. One of the equations contains the subdifferential of the indicator function of a closed convex set depending on the unknown phase variable. The equation containing the subdifferential describes an input–output relation of hysteresis type.     

Homology with Trivial Coefficients and Universal Central Extensions of Algebras with Bracket

A 5-term exact sequence and the interpretation of low dimensional groups of homology with trivial coefficients of algebras with bracket are obtained. The endofunctor in the category of algebras with bracket which assigns to a perfect algebra with bracket its universal central extension is constructed and the characterization of the universal central extension by means of the low-dimensional homology groups is done. The conditions required to lift an automorphism or a derivation of A to A′ in a covering f:A′ ? A are analyzed.     

Children with mathematical difficulties cope with modelling tasks: what develops?

This study investigates the participation and knowledge growth of children with mathematical difficulties as they work in groups with their classmates on a year-long sequence of modelling tasks. It involves observations of a class of 23 fifth graders, 9 of whom were identified as having difficulties in mathematics. All the students worked for 8 months on a sequence of 12 modelling task in heterogeneous groups. The findings show a gradual growth in modelling competencies and mathematical knowledge of the students with mathematical difficulties together with an increase in their contribution to the group. The growth in modelling competencies involved their ability to analyse situations and the growth of mathematical knowledge was evident in offering mathematical ideas during group work and in a better posttest performance. Student reflections indicated their awareness of these changes and of the appreciation of their ideas by their peers.     

Categories with families and first-order logic with dependent sorts

First-order logic with dependent sorts, such as Makkai's first-order logic with dependent sorts (FOLDS), or Aczel's and Belo's dependently typed (intuitionistic) first-order logic (DFOL), may be regarded as logic enriched dependent type theories. Categories with families (cwfs) is an established semantical structure for dependent type theories, such as Martin-Löf type theory. We introduce in this article a notion of hyperdoctrine over a cwf, and show how FOLDS and DFOL fit in this semantical framework. A soundness and completeness theorem is proved for DFOL. The semantics is functorial in the sense of Lawvere, and uses a dependent version of the Lindenbaum-Tarski algebra for a DFOL theory. Agreement with standard first-order semantics is established. Applications of DFOL to constructive mathematics and categorical foundations are given. A key feature is a local propositions-as-types principle.