中文
相关论文

相关论文: A field-road system with a rectifiable set

200 篇论文

A constant-rate multi-mode system is a hybrid system that can switch freely among a finite set of modes, and whose dynamics is specified by a finite number of real-valued variables with mode-dependent constant rates. Alur, Wojtczak, and…

计算机科学中的逻辑 · 计算机科学 2017-07-14 Shankara Narayanan Krishna , Aviral Kumar , Fabio Somenzi , Behrouz Touri , Ashutosh Trivedi

Radar-holonomic congruences of wordlines are proposed as a weaker substitute for the too restrictive class of Born-rigid motions. The definition is expressed as a set of differential equations. Integrability conditions and Cauchy data are…

广义相对论与量子宇宙学 · 物理学 2017-11-22 J Llosa , A Molina , D Soler

A class of two-dimensional systems of second-order ordinary differential equations is identified in which a system requires fewer Lie point symmetries than required to solve it. The procedure distinguishes among those which are…

经典分析与常微分方程 · 数学 2014-11-07 Sajid Ali , Asghar Qadir , Muhammad Safdar

The state space dynamics representation is the most general approach for nonlinear systems and often chosen for system identification. During training, the state trajectory can deform significantly leading to poor data coverage of the state…

机器学习 · 计算机科学 2025-07-11 Hermann Klein , Max Heinz Herkersdorf , Oliver Nelles

The 2-sets convex feasibility problem aims at finding a point in the intersection of two closed convex sets $A$ and $B$ in a normed space $X$. More generally, we can consider the problem of finding (if possible) two points in $A$ and $B$,…

最优化与控制 · 数学 2018-06-27 Carlo Alberto De Bernardi , Enrico Miglierina , Elena Molho

Two-dimensional conformal field theory (CFT) can be defined through its correlation functions. These must satisfy certain consistency conditions which arise from the cutting of world sheets along circles or intervals. The construction of a…

范畴论 · 数学 2008-11-26 Ingo Runkel , Jens Fjelstad , Jurgen Fuchs , Christoph Schweigert

An invertible field transformation is such that the old field variables correspond one-to-one to the new variables. As such, one may think that two systems that are related by an invertible transformation are physically equivalent. However,…

广义相对论与量子宇宙学 · 物理学 2017-05-01 Kazufumi Takahashi , Hayato Motohashi , Teruaki Suyama , Tsutomu Kobayashi

The main objective of this work is to describe a general and original approach for computing an off-line solution for a set of parameters describing the geometry of the domain. That is, a solution able to include information for different…

数值分析 · 数学 2019-09-26 Ruben Sevilla , Sergio Zlotnik , Antonio Huerta

We present a new multisymplectic framework for second-order classical field theories which is based on an extension of the unified Lagrangian-Hamiltonian formalism to these kinds of systems. This model provides a straightforward and simple…

数学物理 · 物理学 2015-06-08 Pedro D. Prieto-Martínez , Narciso Román-Roy

Reconfiguring two shortest paths in a graph means modifying one shortest path to the other by changing one vertex at a time so that all the intermediate paths are also shortest paths. This problem has several natural applications, namely:…

数据结构与算法 · 计算机科学 2021-12-15 Kshitij Gajjar , Agastya Vibhuti Jha , Manish Kumar , Abhiruk Lahiri

A comprehensive introduction to two-dimensional conformal field theory is given.

高能物理 - 理论 · 物理学 2014-11-18 Matthias R Gaberdiel

Conformal boundary conditions in two-dimensional conformal field theories are still mostly an uncharted territory. Even less is known about the relevant boundary deformations that connect them. A natural approach to the problem is via…

高能物理 - 理论 · 物理学 2025-01-20 Jaroslav Scheinpflug , Martin Schnabl

We review investigations on defects in systems described by real scalar fields in (D,1) space-time dimensions. We first work in one spatial dimension, with models described by one and two real scalar fields, and in higher dimensions. We…

其他凝聚态物理 · 物理学 2009-11-11 D. Bazeia , J. Menezes , R. Menezes

Ground Tree Rewrite Systems with State are known to have an undecidable control state reachability problem. Taking inspiration from the recent introduction of scope-bounded multi-stack pushdown systems, we define Senescent Ground Tree…

形式语言与自动机理论 · 计算机科学 2013-11-21 Matthew Hague

We construct a topology on a given algebraically closed field with a distinguished subfield which is also algebraically closed. This topology is finer than Zariski topology and it captures the sets definable in the pair of algebraically…

逻辑 · 数学 2017-06-08 Ayhan Günaydın

Practical global path planning is critical for commercializing cleaning robots working in semi-structured environments. In the literature, global path planning methods for free space usually focus on path length and neglect the traffic rule…

机器人学 · 计算机科学 2025-11-18 Yong Li , Hui Cheng

We study a type of object, called a pathway (generalizing pathways in the sense of P. E. Cohen [Proc. Amer. Math. Soc. 74, No. 2 (1979), 318--321]), which is useful for several set-theoretic constructions and whose existence, in a sense,…

逻辑 · 数学 2018-10-16 David J. Fernández-Bretón

The design of reliable path-following controllers is a key ingredient for successful deployment of self-driving vehicles. This controller-design problem is especially challenging for a general 2-trailer with a car-like tractor due to the…

机器人学 · 计算机科学 2020-05-07 Oskar Ljungqvist , Daniel Axehill , Henrik Pettersson

Most autonomous cars rely on the availability of high-definition (HD) maps. Current research aims to address this constraint by directly predicting HD map elements from onboard sensors and reasoning about the relationships between the…

计算机视觉与模式识别 · 计算机科学 2025-07-29 Khanh Son Pham , Christian Witte , Jens Behley , Johannes Betz , Cyrill Stachniss

This paper addresses the problem of automated vehicle tracking and recognition from aerial image sequences. Motivated by its successes in the existing literature focus on the use of linear appearance subspaces to describe multi-view object…

计算机视觉与模式识别 · 计算机科学 2015-06-24 Ognjen Arandjelovic