The prediction model of optimal processing parameter remains to study in depth, and three reference schemes are put forward in this paper, i.e. three theoretical forming limits model, neural network/fuzzy inference model and adaptive feedback control model.
Let N be the identical operator in Deduction 3.3. We obtain a special case ofTheorem 3.1. Suppose that A(x,x) = Ax in Deduction 3.4 and do not assume otherproperties of cones, then the result in Deduction 3.4 improves some results presentedin the paper of Zhang and Xie, Zhou and Yu, Liu and Wu.
In this paper we first extend the result of Nussbaum (see Lecture Notes in Mathematics, 886, 303～331, Springer (1981)), then using this result, we obtain a corollary, which generalizes those results obtained by Nassbaum (see the above paper), Massabo and Stuart (see Nonlinear Anal. 3(1979) 35～44) and Krein and Rutman (see Uspehi Mat. Nauk3, No 1, 23(1948), 3～95).
本文首先推广Nussbaum的结果(见Lectuer Notes in Mathematics,886,303～331,Springer(1981))然后,应用此结果获得一推论,它推广了Nussbaum(见上文)Masabo and Stuart(见Nonlinear Anal.3(1979),35～44)和Krein and Rutman(见Uspehi Mat.Nauk 3,No1,(23 1948:3～95)的结果.
For the orthogonal series Σ∞ n=1 a nφ n(x) consist from the normal orthorhombic systems ｛φ n(x)｝ ∞ n=1 L p(E),In this paper,We give out the sufficient condition that the coefficients｛a n｝converge to zero,and we get the corollary on L 2([0,1]).
The highest order k- step accurate computational formula for solving equation u'= f(t,w) is established in this paper, which implies that the four-order Simpon, Mime and Adams-Moulton methods ([1-2]) are direct corollaries to this paper.
After studying the square complements further,they are extended and three main asymptotic formulas of n≤xn~αa~t(n),n≤xp|nn~αa~t(n) and n≤xp_1|np_2|nn~αa~t(n) are gotten, then a series of interesting corollaries are gotten.
The problem of logic deduction for one class of logics with a vector semantics is discussed.
A deduction is made in these papers which rely on the Lighthill theory, about the identical order of the intrinsic and shear noises.
Method of invariant transformations and logical deduction
Semantic admissibility criteria for deduction rules in S4 and Int
This is a generalization of the nonbracket language notation ("Polish Notation") based on the deduction principle; i.e., an axiomatic theory has been constructed with a circuit notation being a theorem.