共查询到20条相似文献,搜索用时 468 毫秒
1.
John Jones 《Mathematics and computers in simulation》1983,25(6):489-492
The main purpose of this work is to establish necessary conditions and sufficient conditions for the existence of a solution of matrix equations whose coefficient matrices have elements belonging to the ring of polynomials in n variables with complex coefficients and the ring of rational functions a(z1,z2,…zn)b(z1,z2,…,zn)?1 with real coefficients and b(z1,z2,…,zn)≠0 for all (z1,z2,…,zn) in Rn. Results obtained are useful in multidimensional systems theory and elsewhere. 相似文献
2.
《Journal of Symbolic Computation》1995,20(1):71-92
Let R be a commutative ring and let n ≥ 1. We study Γ(s), the generating function and Ann(s), the ideal of characteristic polynomials of s, an n-dimensional sequence over R .We express f(X1,…,Xn) · Γ(s)(X-11,…,X-1n) as a partitioned sum. That is, we give (i) a 2n-fold "border" partition (ii) an explicit expression for the product as a 2n-fold sum; the support of each summand is contained in precisely one member of the partition. A key summand is βo(f, s), the "border polynomial" of f and s, which is divisible by X1 … Xn.We say that s is eventually rectilinear if the elimination ideals Ann(s)∩R[Xi] contain an fi (Xi) for 1 ≤ i ≤ n. In this case, we show that Ann(s) is the ideal quotient ().When R and R[[X1, X2 ,…, Xn]] are factorial domains (e.g. R a principal ideal domain or F [X1,…, Xn]), we compute the monic generator γi of Ann(s) ∩ R[Xi] from known fi ϵ Ann(s) ∩ R[Xi] or from a finite number of 1-dimensional linear recurring sequences over R. Over a field F this gives an O() algorithm to compute an F-basis for Ann(s). 相似文献
3.
Hugo Volger 《Information Processing Letters》1985,20(3):155-160
Let ?(n) (respectively (n)) be the length of the shortest addition chain respectively addition/subtraction chain for n. We shall present several results on (n). In particular, we determine (n) for all n satisfying and show for all n satisfying , where is the extended sum of digits of n. These results are based on analogous results for ?(n) and on the following two inequalities: |n| ? 2d?1Ff+3 < 2k?b and for a chain of length k = d + f + b with d doublings, f short steps, and b back steps for n. Moreover, we show that the difference (respectively ) can be made arbbitrarily large. In addition, we prove that and characterize the case . Finally, we determine , the k-dimensional generalization of , with the help of , the k-element generalization of . 相似文献
4.
William P. Wardlaw 《Computers & Education》1978,2(3):247-257
Two examples are given in which the computer was used to supplement intuition in abstract algebra. In the first example, the computer was used to search Cayley tables of 4 element groupoids to find those which are 5-associative but not 4-associative. (n-associative means that the product of any n elements is independent of the way the factors are grouped by parentheses.) The computer generated examples suggested the existence of n element groupoids which are (2n?2+1)-associative but not (2n-2)-associative, for each integer n≧4.In the second example, the computer counted the numbers g2(m) of invertible 2×2 matrices with entries chosen from the ring Zmof integers, for m = 2, 3, 4,…, 18. The insight gained from these results led to a proof that there are invertible n×n matrices over Zm.Some applications to graduate and undergraduate instruction are indicated. 相似文献
5.
Let L denote the nonscalar complexity in k(x1,…, xn). We prove . Using this we determine the complexity of single power sums, single elementary symmetric functions, the resultant and the discriminant as root functions, up to order of magnitude. Also we linearly reduce matrix inversion to computing the determinant. 相似文献
6.
Bezier's method is one of the most famous in computational geometry. In his book Numerical control Bezier gives excellent expositions of the mathematical foundations of this method. In this paper a new expression of the functions {fn,i(u)} is obtained.Using this formula, we have not only derived some properties of the functions {fn,i(u)} (for instance and functions {fn,i(u)} increase strictly at [0, 1] etc) but also simplified systematically all the mathematical discussions about Bezier's method.Finally we have proved the plotting theorem completely by matrix calculation. 相似文献
7.
8.
《Theoretical computer science》2002,284(2):199-206
We discuss the uniform computational complexity of the derivatives of C∞-functions in the model of Ko and Friedman (Ko, Complexity Theory of Real Functions, Birkhäuser, Basel, 1991; Ko, Friedman, Theor. Comput. Sci. 20 (1982) 323–352). We construct a polynomial time computable real function g∈C∞[−1,1] such that the sequence is not bounded by any recursive function. On the other hand, we show that if f∈C∞[−1,1] is polynomial time computable and the sequence of the derivatives of f is uniformly polynomially bounded, i.e., |f(n)(x)| is bounded by 2p(n) for all x∈[−1,1] for some polynomial p, then the sequence is uniformly polynomial time computable. 相似文献
9.
10.
《Computers & Mathematics with Applications》2002,43(10-11):1239-1248
We give conditions on ƒ involving pairs of discrete lower and discrete upper solutions which lead to the existence of at least three solutions of the discrete two-point boundary value problem , where ƒ is continuous and vk = yk − yk−1, for k = 1,…,n. In the special case , we give growth conditions on ƒ and apply our general result to show the existence of three positive solutions. We give an example showing this latter result is sharp. Our results extend those of Avery and Peterson and are in the spirit of our results for the continuous analogue. 相似文献
11.
12.
In this paper the following two results are presented: (1)A method which determines the optimal values of certain variables during the iterative solution process. The closer the current primal feasible solution is to the optimal solution, the greater the number of variables which may be determined. (2) For each current feasible solution (Xij) of the given m × n transportation problem A, a feasible solution () of an auxiliary m × m(m ?1) transportation problem is constructed. Problem is shown to be equivalent to an m(m ? 1) × m(m ? 1) assignment problem with two admissible cells per column. The optimally of (Xij) is shown to imply the optimality of () and conversely. The best “improving loops” (including the improving loops used in MODI) of are shown to be the best “improving loops” of A as well. 相似文献
13.
《Computers & Mathematics with Applications》2003,45(6-9):1059-1073
We extend Henry Poincaré's normal form theory for autonomous difference equations χk + 1 = f(χk) to nonautonomous difference equations χk + 1 = fk(χk). Poincaré's nonresonance condition for eigenvalues is generalized to the new nonresonance condition λj∪ for spectral intervals. 相似文献
14.
Let and be two patterns of points. Each pairing (Pi, Qj) of a point of with a point of defines a relative displacement δij of the two patterns. We can define a figure of merit for δij according to how closely other point pairs coincide under δij. If there exists a displacement δ0 for which and match reasonably well, the pairings for which δij ? δ0 will have high merit scores, while other pairings will not. The scores can then be recomputed, giving weights to the other point pairs based on their own scores; and this process can be iterated. When this is done, the scores of pairs that correspond under δ0 remain relatively high, while those of other pairs become low. Examples of this method of point pattern matching are given, and its possible advantages relative to other methods are discussed. 相似文献
15.
16.
《Computers & Mathematics with Applications》2003,45(6-9):1113-1123
We study positive increasing solutions of the nonlinear difference equation where {an}, {bn} are positive real sequences for n ≥ 1, fR → R is continuous with uf(u) > 0 for u ≠ 0. A full characterization of limit behavior of all these solutions in terms of an, bn is established. Examples, showing the essential role of used hypotheses, are also included. The tools used are the Schauder fixed-point theorem and a comparison method based on the reciprocity principle. 相似文献
17.
The problem of estimating the number of markets (or plants) to serve a set of sources in a given geographical area was considered. Markets were located so as to minimize total assembly cost which was considered a linear function of the weighted Euclidean distances between sources and markets. The following predictive function Cm was proposed for estimating the minimum total assembly cost for a given number of markets: where m = number of markets being located. M = maximum number of potential market sites. C1 = minimum assembly cost when only one market is located. CM = minimum assembly cost when all M markets are located. k = an undetermined constant which specifies the shape of the function.The validity of the Cm function and the range of the k constant were determined by computer Monte Carlo experimentation. The constant k, to a sufficient degree of approximation and ordinary use, was found independent of the number of sources and their distribution. A general economic location co 相似文献
18.
In [5] the notion of an L form F defining a family d(F) of languages by means of X-interpretations has been introduced. Here X is one of a number of possible variations of the notion of interpretation originally used in [1] for grammar forms. In this paper it is shown that the questions whether for L forms F and F1 is decidable, if deterministic interpretations of PDOL systems are considered, where L(F) and L(F1) contain at most one word of length n for any n ? 0, and it is shown that same question is undecidable, if full or uniform interpretations are chosen. In contrast to this, no such results are known for grammar forms at this point. 相似文献
19.
20.