相关实验视频
Updated: Jun 15, 2025

08:00
DNA Nanotubes as a Versatile Tool to Study Semiflexible Polymers
Published on: October 25, 2017
6.9K
在多项式递归序列上
Michaël Cadilhac1, Filip Mazowiecki2, Charles Paperman3
1DePaul University, Chicago, IL 60484 USA.
概括
我们研究了多项式递归序列,线性序列的非线性延伸. 我们的关键发现是,序列n^2不是多项式递归的,这影响了研究非线性加权自动的研究.
科学领域:
- 理论计算机科学理论计算机科学
- 正式语言和自动机理论
背景情况:
- 多项式递归序列是线性递归序列的非线性延伸.
- 这些序列与非线性加权自动机和类分离有关.
- 一个众所周知的多项式递归序列的例子是n!
研究的目的:
- 为了确定多项式递归序列的表达力.
- 在这个框架内调查n^2序列的表达力.
主要方法:
- 分析多项式递归序列的属性.
- 使用理论方法证明n^2的非表达性.
主要成果:
- 序列n^2被证明不是多项式递归的.
- 这一结果有助于理解多项式递归序列的局限性.
结论:
- 多项式递归序列的类在表达力上有局限性.
- 这些发现对研究非线性加权自动机及其分离有意义.
相关概念视频
Basic Discrete Time Signals
201
The unit step sequence is defined as 1 for zero and positive values of the integer n. This sequence can be graphically displayed using a set of eight sample points, showing a step function starting from n=0 and remaining constant thereafter.
The unit impulse or sample sequence is mathematically expressed as zero for all n values except at n=0, where it is one. The unit impulse sequence, denoted by δ(n), is the first difference of the unit step sequence, while the unit step sequence u(n) is...
The unit impulse or sample sequence is mathematically expressed as zero for all n values except at n=0, where it is one. The unit impulse sequence, denoted by δ(n), is the first difference of the unit step sequence, while the unit step sequence u(n) is...
201
Routh-Hurwitz Criterion II
204
In the application of the Routh-Hurwitz criterion, two specific scenarios can arise that complicate stability analysis.
The first scenario occurs when a singular zero appears in the first column of the Routh table. This situation creates a division by zero issues. To resolve this, a small positive or negative number, denoted as epsilon (∈), is substituted for the zero. The stability analysis proceeds by assuming a sign for ∈. If ∈ is positive, any sign change in the first...
The first scenario occurs when a singular zero appears in the first column of the Routh table. This situation creates a division by zero issues. To resolve this, a small positive or negative number, denoted as epsilon (∈), is substituted for the zero. The stability analysis proceeds by assuming a sign for ∈. If ∈ is positive, any sign change in the first...
204
Determination of Pi Terms
263
The Buckingham Pi theorem is a valuable method in dimensional analysis, reducing complex relationships between variables into dimensionless terms. Relevant variables in analyzing the lift force on an airplane wing include lift force, air density, wing area, aircraft velocity, and air viscosity. Expressing each variable in terms of fundamental dimensions — mass, length, and time — provides a consistent foundation for constructing these dimensionless terms.
The theorem indicates that...
The theorem indicates that...
263
Exponential Fourier series
186
In audio signal processing, the exponential Fourier series plays a crucial role in sound synthesis, allowing complex sounds to be broken down into simpler sinusoidal components. This decomposition process is fundamental in analyzing and reconstructing musical notes and other audio signals. The exponential Fourier series expresses periodic signals as the sum of complex exponentials at both positive and negative harmonic frequencies, providing a powerful tool for signal analysis.
Euler's identity...
Euler's identity...
186
Trigonometric Fourier series
246
Fourier series is a foundational mathematical technique that decomposes periodic functions into an infinite series of sinusoidal harmonics. This method enables the representation of complex periodic signals as sums of simple sine and cosine functions, facilitating their analysis and interpretation in various fields, including signal processing, acoustics, and electrical engineering.
The trigonometric Fourier series specifically expresses a periodic function with a defined period T using sine...
The trigonometric Fourier series specifically expresses a periodic function with a defined period T using sine...
246
Maxam-Gilbert Sequencing
11.1K
In the same year as the discovery of the Sanger sequencing method, another group of scientists, Allan Maxam and Walter Gilbert, demonstrated their chemical-cleavage method for DNA sequencing. The Maxam-Gilbert method relies on using different chemicals that can cleave the DNA sequence at specific sites, the separation of resulting DNA fragments of variable size using electrophoresis, and deciphering the DNA sequence from the resulting gel bands.
Challenges of the Maxam-Gilbert Method
The...
Challenges of the Maxam-Gilbert Method
The...
11.1K

