中文
相关论文

相关论文: PieceTimer: A Holistic Timing Analysis Framework C…

200 篇论文

In digital circuit designs, sequential components such as flip-flops are used to synchronize signal propagations. Logic computations are aligned at and thus isolated by flip-flop stages. Although this fully synchronous style can reduce…

硬件体系结构 · 计算机科学 2022-03-11 Grace Li Zhang , Bing Li , Xing Huang , Xunzhao Yin , Cheng Zhuo , Masanori Hashimoto , Ulf Schlichtmann

Many forms of dependence manifest themselves over time, with behavior of variables in dynamical systems as a paradigmatic example. This paper studies temporal dependence in dynamical systems from a logical perspective, by enriching a…

计算机科学中的逻辑 · 计算机科学 2024-03-29 Alexandru Baltag , Johan van Benthem , Dazhu Li

For many diseases it is reasonable to assume that the hazard rate is not constant across time, but also that it changes in different time intervals. To capture this, we work here with a piecewise survival model. One of the major problems in…

应用统计 · 统计学 2021-12-08 Dimitra Eleftheriou , Dimitris Karlis

We study delay-independent stability in nonlinear models with a distributed delay which have a positive equilibrium. Such models frequently occur in population dynamics and other applications. In particular, we construct a relevant…

动力系统 · 数学 2009-01-12 Elena Braverman , Sergey Zhukovskiy

Modeling the temporal behavior of data is of primordial importance in many scientific and engineering fields. Baseline methods assume that both the dynamic and observation equations follow linear-Gaussian models. However, there are many…

机器学习 · 计算机科学 2020-11-03 Xavier Alameda-Pineda , Vincent Drouard , Radu Horaud

In wave propagation theories, many problems of multi-sensor systems utilize time delay in their solution in signal processing. This technique finds great utility in seismic exploration and static correction (low-velocity weathering), which…

计算物理 · 物理学 2018-01-25 Ashraf H. Yahia , El-Sayed El-Dahshan , Albert K. Guirguis

Beginning with the principle that a closed mechanical composite system is timeless, time can be defined by the regular changes in a suitable position coordinate (clock) in the observing part, when one part of the closed composite observes…

量子物理 · 物理学 2021-10-05 John S. Briggs

The properties of a coherent system with a single general standby component is investigated. Here three different switch over viz. perfect switching, imperfect switching and random worm up period of the standby component are considered with…

应用统计 · 统计学 2020-11-13 Pradip Kundu , Nil Kamal Hazra , Asok K. Nanda

Solutions to the interval observation problem for delayed impulsive and switched systems with $L_1$-performance are provided. The approach is based on first obtaining stability and $L_1/\ell_1$-to-$L_1/\ell_1$ performance analysis…

最优化与控制 · 数学 2018-10-16 Corentin Briat

Quantum mechanics imposes a fundamental tradeoff between the accuracy of time measurements and the size of the systems used as clocks. When the measurements of different time intervals are combined, the errors due to the finite clock size…

量子物理 · 物理学 2019-01-29 Yuxiang Yang , Giulio Chiribella , Masahito Hayashi

Despite the promises of low-power and high-frequency of single-flux quantum (SFQ) technology, scaling these circuits remains a serious challenge that motivates the support of multiple SFQ clock domains. Towards this end, this paper analyzes…

应用物理 · 物理学 2020-04-13 Gourav Datta , Peter A. Beerel

The dynamics of qubits coupled to a harmonic oscillator with time-periodic coupling is investigated in the framework of Floquet theory. This system can be used to model nonadiabatic phenomena that require a periodic modulation of the…

量子物理 · 物理学 2021-01-01 Mirko Amico , Roman Ya. Kezerashvili

Time series are difficult to monitor, summarize and predict. Segmentation organizes time series into few intervals having uniform characteristics (flatness, linearity, modality, monotonicity and so on). For scalability, we require fast…

数据库 · 计算机科学 2007-05-23 Daniel Lemire

Q-learning has long been one of the most popular reinforcement learning algorithms, and theoretical analysis of Q-learning has been an active research topic for decades. Although researches on asymptotic convergence analysis of Q-learning…

人工智能 · 计算机科学 2022-07-26 Han-Dong Lim , Donghwan Lee

We analyze the nature and performance of clocks formed by stabilizing an oscillator to the phase difference between two paths of an atom interferometer. The phase evolution has been modeled as being driven by the proper-time difference…

原子物理 · 物理学 2014-02-27 Steven Peil , Christopher R. Ekstrom

This paper considers the problem of controlling a piecewise continuously differentiable system subject to time-varying uncertainties. The uncertainties are decomposed into a time-invariant, linearly-parameterized portion and a time-varying…

系统与控制 · 电气工程与系统科学 2025-03-12 Ying-Chun Chen , Craig Woolsey

We report the nature of transitions from nonsynchronous to complete synchronization (CS) state in arrays of time-delay systems, where the systems are coupled with instantaneous diffusive coupling. We demonstrate that the transition to CS…

混沌动力学 · 物理学 2012-07-23 R. Suresh , D. V. Senthilkumar , M. Lakshmanan , J. Kurths

We formulate an attention mechanism for continuous and ordered sequences that explicitly functions as an alignment model, which serves as the core of many sequence-to-sequence tasks. Standard scaled dot-product attention relies on…

机器学习 · 计算机科学 2025-09-19 Hyungjoon Soh , Junghyo Jo

A delayed feedback control framework for stabilizing unstable periodic orbits of linear periodic time-varying systems is proposed. In this framework, act-and-wait approach is utilized for switching a delayed feedback controller on and off…

系统与控制 · 计算机科学 2018-02-16 Ahmet Cetinkaya , Tomohisa Hayakawa , Mohd Amir Fikri bin Mohd Taib

We discuss a piecewise-conserved constant of motion for a simple dissipative oscillatory mechanical system. The system is a harmonic oscillator with sliding (dry) friction. The piecewise-conserved constant of motion corresponds to the time…

物理教育 · 物理学 2009-10-31 Lior M. Burko