theorem造句
61. Shakedown theorem under isotropic hardening is presented and proved in this paper. Namely, shakedown state is always achievable for structure of isotropic hardening materials under cycling loads.
62. Based on the integral inequality and other quality proved, the paper discusses the conclusion of the mid-value in theorem of integration mean which is got in open interval.
63. Utilizing the extension of the polygon exterior angle sum theorem, directions of curvilinear polygons were judged and redundant polygons were deleted.
64. The research in mechanical theorem proving has great significance in the theory and the practice.
65. This paper discusses and studies the nulladditivity and absolute continuity of the K pseudo additive fuzzy integrals by using the integral transformation theorem.
66. Signal and system is the basic theory of convolution theorem.
67. Finally, we give a structure theorem for abundant semigroups with quasi-ideal adequate transversals by two components R and L.
68. This paper give the proofs of the Keal Function "a theorem that sum aggregate enumerable set is countable aggregate".
69. In accodance with kinetic energy theorem, this paper presents an angular mo- mentum theorem of velocity instantaneous centre axis. This theorem is a simple and convenient scalar equation.
70. A theorem of relation between quadrate and matrix operation is proposed; an iterating algorithm is then given based on the theorem.
71. In this paper, a rigidity theorem of hypersurface in real space form will be given. In addition, we obtain rigidity theorems of submanifold in sphere which improve the result of Hou and Xu.
72. The integral expressions for scattered fields including the second-order scattering terms are given based on the reciprocity theorem.
73. A new type of interpolation function that is similar to Lagrange function has been established in this paper, with the uniqueness theorem and interpolation cosine theorem given.
74. Finally, based on the structure theorem, we obtain some characterizations of subdirectly irreducible, simple and strictly simple conical idempotent residuated lattices.
75. Based on DL(discrete logarithm)problem, S1 is decrypted by introducing a multi -channel service parameter and a special polynomial function, S2 is decrypted by Chinese Remainder Theorem.
76. This theorem reveals that there exist undecidable propositions in a consistent formal system.
77. Based on Helmholtz theorem, the general conditions that H is dependedent only on conductioncurrent are derived.
78. The interval of the time lag is identical of each lane controlled and when the input is a random sign, we can adopt quadratic function of optimum control and separation theorem.
79. In this paper, We discuss some properties of graded regular rings and give a structure theorem of graded regular rings.
80. Cryptanalysis of a group signature scheme based on Chinese remainder theorem shows that it exists security flaws.http://
81. The paper presents a new algorithm to design channel optimized vector quantizer(COVQ) based on the partial distortion theorem .
82. The author first reviews the quantum no - cloning theorem and the principle of the quantum copying machine.
83. As well as Pythagoras theorem and Fermat's last theorem summarizes the total.
84. In this paper the principles of Bayes' theorem and Markov process decision making had been briefly introduced, and whose mathematical models had also been proved.
85. The analytic expressions to calculate stabilizable radius of interval plant family with infinity-norm are given based on edges theorem.
86. The posterior probability is computed from the prior and the likelihood function via Bayes' theorem.
87. In this paper, the author discusses the existence of solutions to initial boundary value problem of nonlinear parabolic equations and obtains the existence theorem.
88. The expression of mutual impedance between two probes in a circular waveguide is derived by means of a vector potential function, reaction concept and reciprocity theorem.
89. Using Taylor Theorem, we generalize the second sufficient conditions for extreme point and inflection point, and give the classification for a large class of stationary point.
90. The neural-network arithmetic to solve nonlinear systems was traversed. The convergence theorem of the arithmetic was presented and proved. This theorem gives theory gist to learning rate range.
12345678910