On Křížek’s decomposition of a polyhedron into convex components and its applications in the proof of a general Ostrogradskij’s theorem
On Lunda-Designs and Some of Their Symmetries
On mathematical modelling of gust response using the finite element method
In this paper the numerical approximation of aeroelastic response to sudden gust is presented. The fully coupled formulation of two dimensional incompressible viscous fluid flow over a flexibly supported structure is used. The flow is modelled with the system of Navier-Stokes equations written in Arbitrary Lagrangian-Eulerian form and coupled with system of ordinary differential equations describing the airfoil vibrations with two degrees of freedom. The Navier-Stokes equations are spatially discretized...
On melancholic magic squares
Starting with Dürer's magic square which appears in the well-known copper plate engraving Melencolia we consider the class of melancholic magic squares. Each member of this class exhibits the same 86 patterns of Dürer's magic square and is magic again. Special attention is paid to the eigenstructure of melancholic magic squares, their group inverse and their Moore-Penrose inverse. It is seen how the patterns of the original Dürer square to a large extent are passed down also to the inverses of the...
On minimal realizations of behavior maps in categorial automata theory
On simplicial red refinement in three and higher dimensions
We show that in dimensions higher than two, the popular "red refinement" technique, commonly used for simplicial mesh refinements and adaptivity in the finite element analysis and practice, never yields subsimplices which are all acute even for an acute father element as opposed to the two-dimensional case. In the three-dimensional case we prove that there exists only one tetrahedron that can be partitioned by red refinement into eight congruent subtetrahedra that are all similar to the original...
On some problems in combinatorial set theory.
On Symmetry in School Mathematics
On the computation of moments of the partial non-central -square distribution function
Properties satisfied by the moments of the partial non-central -square distribution function, also known as Nuttall Q-functions, and methods for computing these moments are discussed in this paper. The Nuttall Q-function is involved in the study of a variety of problems in different fields, as for example digital communications.
On the computational identification of temperature-variable characteristics of heat transfer
The mathematical analysis of a heat equation and its solutions is a standard part of most textbook of applied mathematics and computational mechanics. However, serious problems from engineering practice do not respect formal simplifications of such analysis, namely at high temperatures, for phase-change materials, etc. This paper, motivated by the material design and testing of a high-temperature thermal accumulator, as a substantial part of the Czech-Swedish project of an original equipment for...
On the interpolation constants over triangular elements
We propose a simple method to obtain sharp upper bounds for the interpolation error constants over the given triangular elements. These constants are important for analysis of interpolation error and especially for the error analysis in the Finite Element Method. In our method, interpolation constants are bounded by the product of the solution of corresponding finite dimensional eigenvalue problems and constant which is slightly larger than one. Guaranteed upper bounds for these constants are obtained...
On the motion of rigid bodies in a compressible viscous fluid under the action of gravitational forces
The global existence of weak solution is proved for the problem of the motion of several rigid bodies in a barotropic compressible fluid, under the influence of gravitational forces.
On the number of stationary patterns in reaction-diffusion systems
We study systems of two nonlinear reaction-diffusion partial differential equations undergoing diffusion driven instability. Such systems may have spatially inhomogeneous stationary solutions called Turing patterns. These solutions are typically non-unique and it is not clear how many of them exists. Since there are no analytical results available, we look for the number of distinct stationary solutions numerically. As a typical example, we investigate the reaction-diffusion system designed to model...
On the quality of local flux reconstructions for guaranteed error bounds
In this contribution we consider elliptic problems of a reaction-diffusion type discretized by the finite element method and study the quality of guaranteed upper bounds of the error. In particular, we concentrate on complementary error bounds whose values are determined by suitable flux reconstructions. We present numerical experiments comparing the performance of the local flux reconstruction of Ainsworth and Vejchodsky [2] and the reconstruction of Braess and Schöberl [5]. We evaluate the efficiency...
On two algorithms in music acoustics.
On using artificial compressibility method for solving turbulent flows
In this work, artificial compressibility method is used to solve steady and unsteady flows of viscous incompressible fluid. The method is based on implicit higher order upwind discretization of Navier-Stokes equations. The extension for unsteady simulation is considered by increasing artificial compressibility parameter or by using dual time stepping. The methods are tested on laminar flow around circular cylinder and used to simulate turbulent unsteady flows by URANS approach. The simulated cases...
Open access: čtyři úhly pohledu
Opravdová energetická krize