相关论文: A Structurally Flat Triangular Form Based on the E…

We prove that a triangulated category which is the underlying category of a stable derivator has a filtered enhancement, providing an affirmative answer to a conjecture in [3].

If a finite element mesh contains concave elements, it is said to tangled. Tangled meshes can occur during mesh generation, mesh optimization, and large deformation simulations, and will lead to erroneous results during finite element…

We will introduce formal frames of manifolds, which are a generalization of ordinary frames. Their fundamental properties are discussed. In particular, canonical forms are introduced, and torsions are defined in terms of them as a…

Structured layouts are preferable in many 2D visual contents (\eg, GUIs, webpages) since the structural information allows convenient layout editing. Computational frameworks can help create structured layouts but require heavy labor input.…

In this paper we first study the fixed-time stabilizability of discrete-time switched linear control systems. Using a geometric approach, we derive conditions under which such systems can be stabilized within a prescribed number of steps,…

For an integral homology 3-sphere embedded asymptotically flatly in an Euclidean space, we find a natural framing extending the standard trivialization on the asymptotically flat part.

This small note proves that the set of triangular numbers is a finitely stable additive basis. This, together with a previous result by the author, shows that triangular numbers and squares are, among all polygonal numbers, the only ones…

We introduce a numerical linked cluster expansion for square-lattice models whose building block is an L-shape cluster. For the spin-1/2 models studied in this work, we find that this expansion exhibits a similar or better convergence of…

We introduce and investigate a weighted propositional configuration logic over commutative semirings. Our logic is intended to serve as a specification language for software architectures with quantitative features. We prove an efficient…

We study the set of image tuples arising from fixed cameras observing varying planar 3-dimensional point configurations. We derive a formula for the number of complex critical points of the triangulation problem, which seeks to reconstruct…

Inspired by the modelization of 2D materials systems, we characterize arrangements of identical nonflat squares in 3D. We prove that the fine geometry of such arrangements is completely characterized in terms of patterns of mutual…

We derive sufficient conditions for the solvability of the state estimation problem for a class of nonlinear control time-varying systems which includes those, whose dynamics have triangular structure. The state estimation is exhibited by…

In this paper, we develop a novel framework, Exact Bilinearization Iterative Form (EBIF), for transforming a nonlinear control-affine system into an exact finite-dimensional bilinear representation. In contrast to most existing approaches…

This paper proposes a physics-informed learning framework for a class of recurrent neural networks tailored to large-scale and networked systems. The approach aims to learn control-oriented models that preserve the structural and stability…

Certain lattice wave systems in translationally invariant settings have one or more spectral bands that are strictly flat or independent of momentum in the tight binding approximation, arising from either internal symmetries or fine-tuned…

New expansionary and rotational quadratic forms are constructed for $E^n$-endomorphisms. Relations amongst the various eigenvalues, eigendirections and matrix invariants are established, including propositions on complexity and geometric…

The eXtended Finite Element Method (XFEM) is used to solve interface problems with an unfitted mesh. We present an implementation of the XFEM in the FEM-library deal.II. The main parts of the implementation are (i) the appropriate…

Angle-constrained formation control has attracted much attention from control community due to the advantage that inter-edge angles are invariant under uniform translations, rotations, and scalings of the whole formation. However, almost…

Arranging multiple arches in a circular pattern and fusing them at their midpoint yields a three-dimensional configuration that we refer to as midpoint-fused arches (MFA). This study investigates the structural bistability of MFA, i.e.,…

A three-dimensional unilateral contact problem for articular cartilage layers is considered in the framework of the biphasic cartilage model. The articular cartilages bonded to subchondral bones are modeled as biphasic materials consisting…