共查询到20条相似文献,搜索用时 328 毫秒
1.
Let x(t) be a real-valued random process band-limited to the interval [] for some T > 0. In this note we find an upper bound on the mean square of the truncation error involved when x(t) is approximated in the interval by the finite selection of terms from its sampling expansion representation. 相似文献
2.
Roger D. Nussbaum 《Systems & Control Letters》1983,3(5):243-246
A.S. Morse has raised the following question: Do there exist differentiable functions with the property that for every nonzero real number λ and every (x0, y0) ∈ 2 the solution (x(t),y(t)) of , , , is defined for all t ? 0 and satisfies and y(t) is bounded on [0,∞)? We prove that the answer is yes, and we give explicit real analytic functions f and g which work. However, we prove that if f and g are restricted to be rational functions, the answer is no. 相似文献
3.
4.
Let be the set of all simple arithmetic expressions of the form E(x) = xTl…Tk where x is a nonnegative integer variable and each Ti is a multiplication or integer division by a positive integer constant. We investigate the complexity of the inequivalence and the bounded inequivalence problems for expressions in . (The bounded inequivalence problem is the problem of deciding for arbitrary expressions E1(x) and E2(x) and a positive integer l whether or not E1(x) ≠ E2(x) for some nonnegative integer x<l. If l = ∞, i.e., there is no upper bound on x, the problem becomes the inequivalence problem.) We show that the inequivalence problem (or equivalently, the equivalence problem) for a large subclass of is decidable in polynomial time. Whether or not the problem is decidable in polynomial time for the full class remains open. We also show that the bounded inequivalence problem is NP-complete even if the divisors are restricted to be equal to 2. This last result can be used to sharpen some known NP-completeness results in the literature. Note that if division is rational division, all problems are trivially decidable in polynomial time. 相似文献
5.
Michael C. Loui 《Theoretical computer science》1982,21(2):145-161
For all d ? 1 and all e >d, every deterministic multihead e-dimensional Turing machine of time complexity T(n) can be simulated on-line by a deterministic multihead d-dimensional Turing machine in time O(T(n)1+1?d?1?(logT(n))0(1)). This simulation almost achieves the known lower bound on the time required. The simulation is interpreted in terms of dynamic embeddings among arrays with local access. 相似文献
6.
In this paper, a method is presented for the calculation of the coefficients of the series expansion of a function f(t), in the base orthonormal set made up by the eigenfunctions of the self-adjoint operator . We show that the values of the numbers xk> can be obtained by solving the differential equation L + λ) y(t) = Kf(t), in the interval of definition, for each of the eigenvalues λ of L and by using as initial conditions those which determine one of its associated orthonormal functions. This makes the method specially interesting for its implementation on a hybrid computer: One advantage of the proposed method is that the analysis of f(t) does not require the simultaneous presence of the functions of the base set and the problem signal, thus eliminating both the problems of the synchronized generation of signals and the need for storing it in memory. 相似文献
7.
Many design problems, including control design problems, involve infinite dimensional constraints of the form φ(z, α) ≤ 0 for all α ? , where α denotes time or frequency or a parameter vector. In other design problems, tuning or trimming of certain parameters, after manufacture of the system, is permitted; the corresponding constraint is that for each α in there exists a value τ (of the tuning parameter) in a permissible set T such that φ(z, α, t) < 0. Recent algorithms for solving design problems having such constraints are summarized. 相似文献
8.
9.
C.P. Schnorr 《Theoretical computer science》1978,7(3):251-261
We improve some lower bounds which have been obtained by Strassen and Lipton. In particular there exist polynomials of degree n with 0–1 coefficients that cannot be evaluated with less than nonscalar multiplications/divisions. The evaluation of p(x) requires at least multiplications/divisions and at least nonscalar multiplications/divisions. We specify polynomials with algebraic coefficients that require multiplications/divisions. 相似文献
10.
J.L. Brown 《Information Sciences》1977,12(2):93-103
A given deterministic signal x(.) is distorted by passing it through a linear time-invariant filter and also by subjecting it to the action of an instantaneous nonlinearity. The resulting time crosscorrelation of the two distorted versions of the original signal is expressed by the function , where x(.) is the given signal, k(.) is the nonnegative definite impulse response of the linear filter, and g(.) is the output-input characteristic of the zero-memory nonlinear device. The problem considered is that of determining conditions on the pair (x,g) such that R2(s) ? R2(0) for all s and any choice of nonnegative definite filter function k; the principal result is the formulation of a necessary and sufficient condition for R2 to have a global maximum at the origin. In particular, the peak value occurs at the origin if and only if is real and nonnegative for all ω ? 0, where Gx(.) and X(.) are the Fourier transforms of g[x(.)] and x(.), respectively. An equivalent condition is that the correlation function , previously studied by Richardson, be nonnegative definite.Several examples are given, and it is shown that, unlike the case for R1(.), monotonicity of g(.) is not a sufficient condition for R2(.) to have a global maximum at s = 0 independently of the choice of filter characteristic k. Certain extensions of these results are given for the case when x(.) is a Gaussian random input. 相似文献
11.
D.D. Šiljak 《Automatica》1975,11(4):389-400
The purpose of this paper is to derive necessary and sufficient conditions for connective stability of non-linear matrix systems described by the equation , where the matrix A(t, x) has time-varying nonlinear elements. The obtained results can be used to study stability of competitive equilibrium in as diverse fields as economics and engineering, model ecosystems and arms races. 相似文献
12.
13.
The complexity L(A) of a finite dimensional associative algebra A is the number of non-scalar multiplications/divisions of an optimal algorithm to compute the product of two elements of the algebra. We show , where t is the number of maximal two-sided ideals of A. 相似文献
14.
Jacques Maurin 《Information Sciences》1976,11(2):141-185
First, on any sequence of real numbers (xλ), , the pseudo probability Pr(x, x′) of the event xλ?[x, x′[ is defined to be the limit when Λ → ∞ of the ratio of the number of xλ?[x, x′[ to the total number of xλ. The a.d.f. (asymptotic distribution function) of the sequence is then defined by F(x) = Pr(? ∞, x); it possesses the properties of a d.f. (distribution function). Consequently, what is said below applies equally to a sequence of r.v. (random variables) or to a sequence of p.r.v. (pseudorandom variables) consisting of a sequence (nxλ), of sequences nxλ, .A weyl's polynomial ?n(λ) is a polynomial such that one of its coefficieints other than ?(0) is irrational. Then any sequence, the fractional part of ?n(λ), , is asymptotically equidistributed on [0, 1].A property is given which permits the construction of a sequence (nxλ), of pseudostochastically independent sequences nxλ, .It is known that setting Yn = F(? 1)(Xn), it is possible to transform any sequence of r.v. Xn 相似文献
15.
Mikio Nakartsuyama Kunihiro Kanno Hiroshi Nagahashi Norio Nishizuka 《Computers & Graphics》1983,7(2):161-167
The conventional numerical solution of an implicit function f(x, y) = 0 is substantially complicated for calculating by any computer. We propose a new method representing the argument of the implicit function as a unary function of a parameter, t, if the continuous and unique solution of f(x, y) = 0 exists. The total differential constitutes simultaneous differential equations of which the solution about x and y is unique. The Newton-Raphson method must be used to calculate the values near singular points of an implicit function and then the sign of dt has to be decided according to four special cases. Incremental computers are suitable for curve generation of implicit functions by the new method, because the incremental computer can perform more complex algorithms than the analog computer and can calculate faster than the digital computer. This method is easily applicable to curve generation in three-dimensional space. 相似文献
16.
17.
18.
Burkhard Monien 《Theoretical computer science》1976,3(1):61-74
We characterize the class of all languages which are acceptable in exponential time by means of recursive and grammatical methods. (i) The class of all languages which are acceptable in exponential time is uniquely characterized by the class of all (0-1)-functions which can be generated, starting with the initial functions of the Grzegorczyk-class 2, by means of subtitution and limited recursion of the form f(x, y + 1) = h(x, y), f(x, y), f(x, l(x, y))), l(x, y) ? y. (ii) The class of all languages which are acceptable in exponential time is equal to the class of all languages generated by context-sensitive grammars with context-free control sets. 相似文献
19.
20.
C.P. Schnorr 《Theoretical computer science》1976,1(4):289-295
Consider the Boolean functions and and the equivalence Eq(n)=and (n)∨nor(n). Let L (F) be the smallest number of arbitrary binary Boolean operations that are used in any Boolean computation for F. We prove L(Eq(n))=2n ?3, L (and(n), nor(n))=2n?2. There exist many structurally different optimal computations for Eq (n). 相似文献