单词 | Theorem |
例句 | 1. His theorem can be translated into simple terms. 2. I agree with the theorem that the best defence is offence. 3. I could prove theorem after theorem in linear algebra. 4. They thus satisfy the conditions of Tipler's theorem. 5. This theorem was first established by Sylvester. 6. The no-hair theorem implies that a large amount of information is lost in a gravitational collapse. 7. Thus the following theorem is a easy corollary to Lemma 3. 8. Consequently we can use the quotient theorem to prove that is a tensor. 9. The theorem states that the posterior probability is proportional to the prior probability multiplied by the likelihood. 10. To help prove this theorem we shall need to call upon the following result, which is known as the Division Algorithm. 11. For instance, the Coase theorem admits that the market will fail if transaction costs are prohibitively high. 12. Again, though, the Fundamental Theorem was doing its subversive work behind the scenes. 13. Nor is it like a mathematical theorem: it can not be deduced from a set of axioms. 14. This is an interesting theorem which seems to prove the existence of singularities for a large class of colliding plane waves. 15. The non-substitution theorem then applies, and prices are again determined independently of demand conditions. 16. The theorem is applicable to polygons whose constituent triangles share the above properties. 17. Examples of the use of this theorem are given in 2.2.3. 18. Although Mr Quine has no important theorem to his name he wrote on mathematical logic with ingenuity and wit. 19. You might even stumble upon a theorem or two in your researches. 20. In 1965 I read about Penrose's theorem that any body undergoing gravitational collapse must eventually form a singularity. 20. is a sentence dictionary, on which you can find nice sentences for a large number of words. 21. The major difference between theorem proving and other forms of monotonic search is just the choice of basic operators. 22. In his presentation of the theorem, Kelvin omitted many details. 23. It forms the backbone of an important result in algebra, known as the Cycle Decomposition Theorem for Modules. 24. That is, S is empty, and this proves the theorem. 25. They contain impulsive wave components, and therefore do not satisfy the conditions of Tipler's theorem. 26. We shall therefore refer to it as the Fundamental Theorem of Vector Programming. 27. He pretended to show how an uneducated slave boy could be led to prove Pythagoras' theorem for doubling the square. 28. One specific case will serve to illustrate the proof of this theorem. 29. Both the real and imaginary coefficients A and A' in the partial fraction expansion are given by the Heavyside expansion theorem. 30. He had found over 100 original ways of proving different things, writes Fred, and twenty-eight proofs of the Pythagorean theorem. 1. His theorem can be translated into simple terms. 2. I agree with the theorem that the best defence is offence. 31. Let us restate the assertions above as a theorem. 32. Mean Value Theorem of small examples. 33. The second theorem disposes of the other two problems. 34. Existence theorem for optimal portfolio is provided. 35. Sometimes it's called the classical equipartition of energy theorem. 36. Theorem 2 The product of a bounded function and an infinitesimal is an infinitesimal. 37. In calculus, it has not been proved whether or not the equivalent substitution theorem can be applied to the limit calculation of power-exp ential factions. 38. Based on the continuity theorem of the air mass variation in the slide guide, dynamic motion equations of the multi-throttle air-lubricated hydrostatic slide guide are also built. 39. Using the new concept, It is clear to identify losses of different wheelings without any hypothesis, and these losses satisfy the superposition theorem. 40. The optimality conditions of saddle points, weakly duality theorem, strong duality theorem and converse duality theorem are obtained under convexity assumptions. 41. This paper will introduce the application of Weda's Theorem and Converse Theorem in analytic geometry. 42. Based on the rigid plastic assumption for soil materials, adopting lower bound theorem, the bearing capacity of rectangular surface footing was calculated. 43. In this thesis we offer detailed proof of main theorem on tori which take symmetric space as the main tool. 44. The existence of co-exist periodic solution is investigated by using the bifurcation theory, the implicit function theorem and the method of asymptotic expansion. 45. Firstly, based on the staged unstructured model of Nosiheptide fermentation process, secondary variables were selected according to the implicit function existence theorem. 46. Focused on the asymptotic behaviour of mediant for fourth order Lagrange's mean value theorem and obtained the main results as followed (The equation is abbreviated). 47. Many of these appear to be fairly uniform, so by the virial theorem the total kinetic energy should be half the total gravitational binding energy of the galaxies. 48. This paper describes two different formulae of the field correlation theorem for the calculation of the efficiency of reflector antennas. 49. This paper has firstly defined the factor struture M/P(M) of commutatiuely residual monoid M by its sub-monoid P(M), then we have studied its properties and given out some isomorphism theorem. 50. The expressions of external and internal coupling were derived from the reciprocity theorem by analysing slot voltage distribution in this paper, which invoked magnetic current to slots. 50. Wish you will love and make progress everyday! 51. It discusses carefully the basic concepts and inference rule of the resolution principle. According to the discussion, resolution method is used to prove a mathematical theorem through a example. 52. Furthermore, an accurate calculation method for the multiplication of fuzzy numbers is derived, and the fuzzy cost importance of each risk is obtained according to the representation theorem. 53. Hence approximated sampling theorem in the wavelet packets space is obtained. 54. Based on the minimizing vector theorem of the fuzzy inner product space, the pseudo fuzzy orthogonal vector is defined and the projected theorem of the fuzzy inner product space is testified. 55. The Coding Theorem of Secret Sharing Communication System with Three Noise Channels. 56. The article discusses rank of a matrix by the solution theorem of system of homogeneous linear equations, and proves several famous inequalities and two propositions on rank of a matrix. 57. This paper introduces the concepts of product and product topology of completely distributive lattice and defines compact space and T_2 space. Their product theorem is proved. 58. The compact theorem is proved, which states that theory T has model if and only if any finite subset of T has model. 59. As corollaries, a limit theorem for the mth - order nonhomogeneous Markov chains is obtained. 60. We obtain the series solution of the potential of a uniformly charged disc and its equipotential surfaces using the superposition 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. 91. The technique based on the rheology theorem of polymer and practical production process is introduced, to obtain the optimized products by means of coextrusion lamination of two kinds of polymers. 92. The results show that the stability analysis theorem is consistent with the Liapunov stability theorem for linear systems. 93. This article explicitly expressed converse theorem of the inverse function differential principle, Based on this theorem, the author proposed one kind of integration, then gave some examples. 94. Making use of Martingale method and Girsanov theorem, pricing major medical expense insurance option. 95. A detailed demonstration about the provement, the relation with the linear system, the homogeneity property and the additivity property of the superposition theorem is also given. 96. The upper bound and lower bound theorem of classical plasticity theory and corresponding FEM is applied to analyze the bearing capacity of gravity dam for judging the stability of the dam. 97. By using weak noncompact types conditions, we obtain an existence theorem of generalized weak solutions to (cp), improving the results of weak solutions in , . 98. This paper discusses a principal problem in grey mathematical theory, that is grey set and its operation, and proves the decomposition theorem, representation theorem and extension principle. 99. Under a suitable condition, this paper gives an existence theorem for harmonic maps from surfaces to certain Riemannian manifolds in a large scale. 100. Based on Dynamic Fuzzy Set, the Dynmic Fuzzy Measure theorem is proposed in this paper. 101. Theorem 1 The sum of finite number of infinitesimal is an infinitesimal. 102. Because of the previous theorem we call the numbers of this type multinomial coefficients. 103. Bayes' theorem describes relationship between pre test and post test probability. 104. The low for dual theorem from equivalent circuits is established and another we discuss about 10 important reasonings or applications. 105. Godel theorem made mathematicians lose their belief of logic beauty,() the crisis of belief appeared in mathematical field. 106. This paper analyses operation accuracy that is influenced by the open input resistance of operation amplifier by means of superposition theorem. 107. The reciprocity theorem method and the MEC are employed together to calculate the coupling scattering field between a target and sea surface. 108. Using the theorem, the optimality necessary conditions and sufficient conditions for the vector optimization problems with generalized inequality constraint are obtained. 109. And the corresponding isometric extension theorem is an immediate consequence. 110. The inferable theorem is discussed under the mixed circumstances under fuzzy functional dependency and fuzzy multivalued dependency. 110. Wish you can benefit from our online sentence dictionary and make progress every day! 111. White noise tending to Gaussian distribution is implemented by summing uniformly distributed random numbers according to the central limit theorem. 112. According to reciprocity theorem, when two nodes communicate, the controlling packets and the data packets they exchange provide the connectivity information. 113. Program verification tries to prove correctness of programs with strict theorem proving. 114. Finally discusses the Lagrange mean value theorem proof method of constructing auxiliary function in order to expand on the idea of theorem proving. 115. Rolle's theorem is a special case of the mean value theorem. 116. At the same time, the digital form of Pasiphae theorem is derived. 117. The paper studied the convergence problems on partial sums of adapted stochastic sequence with submartingale convergence theorem, stopping time and conditional three series theorem. 118. The expressions of the chromatic function and the chromatic weight polynomial of a P-graph about a permutation group H are established, de Bruijn s Theorem follows from th. 119. Let us consider the implication of the electrostatic theorem for chemical bonding in diatomic molecules. 120. Using some fundamental definition and theorem of unitary space, this paper comes to several conclusions of Hermitian matrix which is parallel to symmetric matrix of Euclidean space. 121. Based on the property of the superpotential in this theorem, various variational principles are constructed, and an efficient penalty-duality algorithm for limit analysis is suggested. 122. We gave a theorem on the transcendency of the limit of a sequence of algebraical functions. 123. This paper extends the L-fuzzifying closure and interior to fuzzy sets, and generalizes Kuratowski Fourteen Sets Theorem in L-fuzzifying topological spaces based on these. 124. To verify the properties of the concurrent and reactive systems based on the theorem proving approach, an axiomatization is formulized for the first order projection temporal logic (FPTL). 125. A nonexistence theorem is established for F-harmonic map with finite F-energy from Euclidean space to any Riemannian manifold. 126. A new measuring instrument of rotational inertia has been devised by the fixed - axis rotation principle and parallel axis theorem of compound pendulum. 127. The capacity - cost function of discrete memoryless channel, and channel coding theorem. 128. On applying the diffraction theory and with the aid of the reciprocity theorem, an approximate formula for the radiation field of a slot cut in a metal sheet of finite size is derived. 129. In chapter one, three basic theorem:decomposition theorem, representation theorem, expand theorem are discussed. Furthermore, from the angle of lattice , it researches high-type RF set . 130. Theorem 2 The product of bounded function and an infinitesimal is an infinitesimal. 131. By using homeomorphism method and the extended inverse function theorem, the existence and uniqueness of the solution for the semi-linear pseudoparabolic equations is obtained. 132. The properties of the operators of modal logic system S5 is investigated, then a theorem is proved about its primitive operator set, and some corollaries are given. 133. The famous max - flow min - cut theorem determines the maximum throughput of a network. 134. This result patially gcncralizcs a theorem of Blair about a generalization of catenoid. 135. We proved the intermediate value theorem for continuous function at closed interval by constructing auxiliary sequence ingeniously and applying compact theorem as well as Cauchy convergence criterion. 136. In this paper, we consider the existence of multiple positive solutions of discrete boundary value problem. The theory of fixed point index is used here to derive the existence theorem. 137. The existence theorem shows that the equation has at least one solution provided the nonlinear term satisfies a linear growth condition. 138. In this paper, we consider asymptotic structure for the product of partial sums of independent random variables. Under some suitable conditions, we get a central limit theorem. 139. So they--in other words, the insurance company--doesn't trust the insurance companies to do the calculations like I showed with the binomial theorem. 140. This paper presents the stability theorem of cellular neural networks ( CNN ) with a multi - step output function. 141. The quadratic variation and mixed integrals of the martingales with orthogonal increments are studied. The theorem for the existence of quadratic variation is proved. 142. This is a simple example of the equipartition theorem at work. 143. The stability problems of steel structure are studied using the method of probability analysis and stability lower bound theorem from three respects. 144. Experimentally, however, it is found to be much greater: in particular,[ ] stars far from the center of galaxies have much higher velocities than predicted by the virial theorem. 145. Law of the iterated logarithm and martingale property theorem are two important theorems about Brownian motion. 146. An existence theorem of continuous signal transfer operator is given. 147. Four color theorem and conjecture, coloring and it's number problem, graph coloring problem the direction of current research and research methods. 148. The structure theorem of weakly left C-semigroups is also included as its special case. 149. The reciprocal theorem is used to make research on the bending of a set square with free hypotenuse under a concentrated load acting at any of its points, and its accurate solution is given. 150. Structure theorem of tripolar multiple gear motor is expatiated, its output velocity and pulse are analysed. 151. He initiated his pupils into the mysteries of the binomial theorem. 152. As far as the second eigenvalue problem was concerned, the expansion theorem was proved by the theory of completely continuous operator (compact operator). 153. Using the principal curvature formula, we prove an existence theorem of Weingarten hypersurface. 154. Based on those results , a theorem of equivalence about BPRE is established. 155. The representation theorem with order - extremal points is obtained for compact order - convex sets. 156. In this paper, the existence theorem of midpoint chord of quadratic curve, as well as its proof, is given via methods of projective geometry and polarity principle. 157. This paper presents a definition of imitative dual graph of outplane graphs, and proves the structural theorem on outplane graphs by using the nature of imitative dual graph of outplane graphs. 158. We study the argument distribution of infinite order meromorphic functions and obtain distribution theorem which combines the infinite order meromorphic functions with its derived function. 159. The theorem that the language set distinguished deterministic finite automaton is a recursively enumerable set was proved, and then, the recursiveness of regular language was analyzed. 160. The reciprocal theorem is applied to research on the bending problem of set square with free hypoteuse and a clamped edge under uniform loads, the accurate solution of this problem is given. 161. And a strong deviation theorem of discrete information sources is obtained. 162. We reprove the following theorem with a simpler means:Theorem: let A is the solvable algebra(), then A is the local nilpotent algebra. 163. Balanced budget theorem can efficiently control the disburse of man-made resource—money. 164. Then the eigenvalue problem of free vibration of annular sector plates is transformed into the eigenvalue problem of integral equation by using superposition theorem. 165. Many valuable conclusions can be reached by adopting inframarginal analysis, introducing transaction efficiency, and conducting new analysis of Heckscher-Ohlin factor endowment theorem. 166. In the proof, an approach of applying the conditional moment generating function to the investigation of the strong limit theorem for gambling system is proposed. 167. By using the contain theory and partition theorem of symmetric matrix, three conjectures about YANG Hui matrix are cetified. 168. We now state the idea of the previous paragraph as a theorem. 169. The relation between the synchronization of clock rate and the zeroth law of thermodynamics, and the relation between the singularity theorem and the third law of thermodynamics are pointed out. 170. The cusp catastrophe model is established by means of the upper bound theorem of plastic limit theory for analyzing the stability of slope. 171. With the help of this theorem the algorithm of Boolean difference can be made more efficient and some of the computer memory space will be saved. 172. On the basis of overlap save method and circular convolution theorem in the DFT, by LMS algorithm,[/theorem.html] formulas of LMS algorithm of the frequency-domain adaptive FIR digital filter are yielded. 173. The topologic structure and learning algorithm of the rough neural network are given, and the approximation theorem of the rough neural network is presented. 174. This paper gives a new proof method of decomposition theorem and a new form of upper band. 175. Can't Apply the Superposition Theorem for the Power of the Linear Time-Invariant Sinusoidal Steady State Circuit? 176. An extension of the reciprocity theorem in elasticity is made to be applicable to the static, self-gravitational elastic earth. 177. As application of generalized L - KKM type theorems, a nonempty intersection theorem is proved. 178. In this paper the JORDAN-HOLDER Theorem of transposition hyperlattice is introduced on the base of the closed set and regular of hyperlattice, and some related properties of them are also studied. 179. The solving processes to problems of four types on Newton's binomial theorem in the College Matriculation Examination are given. 180. A study of its property and determinant theorem is made. 181. Based on theorem of equivalency and superposition principle, an equivalent source method (ESM) to solve linear circuits is proposed in this paper. 182. As applications, a fixed point theorem, a maximal element theorem, a coincidence theorem, some minimax inequalities are proved in FC-space. 183. In this paper, the mean value theorem and converse theorem of the pull nd vibration of a bar are presented and proven, and the results obtained are discussed. 184. In this paper, we propose a new wavelet intra-frame coding algorithm based on information source partition theorem. 185. A resolution theorem is presented of the special solution of linear differential equation of constant coefficient group, and with proof. 186. We gave a theorem at the same time to estimate the error bound for the approximated solution, which is also used as a stopping criteria for low rank approximation. 187. It is misleading to refer to the principle as an " energy theorem ". 188. This paper discusses the space-like submanifolds with constant mean curvature in a pseudo-Riemannian space form, and obtain an integrate inequality and a rigidity theorem. 189. The unique equivalent martingale measure of this model is found by using the Girsanov theorem. 190. Some applications of the central limit theorem in sampling deduction were discussed in this paper. 191. By means of Lyapunov stability theorem, it is proved that the dynamics of the synchronization error is globally and asymptotically stable. 192. Firstly, we discuss the singular topological structure of the Gauss - Bonnet - Chern theorem based on the Chern - Weil theory. 193. This paper proved a theorem and its corollary, which deal with the gait stability of all round position walking vehicle. 194. Tellegen's theorem in various forms is derived by the orthogonality relation between the current subspace and voltage subspace. 195. The forward reasoning for geometry theorem proving can produce the traditional readable proving, thus plays a special role in the mechanical theorem proving. 196. A partial distortion theorem based Channel Optimized VQ(COVQ) design algorithm using the evolutionary algorithm on noisy channel was presented. 197. By relying on stochastic calculus method, we give a sufficient theorem for optimal return function. 198. Ideas to prove Fermat's Last Theorem is introduced , and theorem is completely proved using elementary algebra. 199. What is actually more intuitive is what we get if we apply the divergence theorem to this equation. 200. The discussion is based on Liapunov's stability theorem and Popov's hyperstability theorem. 201. With new Central Limit Theorem, convert the uniform random number's probability density using Probability Density Converter, then add all generated random numbers. 202. Through the analysis of the composite base price and the introduction to the Bayesian decision, the Bayes theorem is led into determining the quoted price with the composite base price. 203. The posterior probability can also be expressed in terms of class-conditional density function and prior probability by the Bayes theorem. 204. The intermediate value theorem is proved from another point of view, for the sake of enlightening creative thought of students. 205. Secondly we derive the similarity criterion of freezing method in tunnel construction by using the fundamental of similarity theorem and make large-scale physical mode testing. 206. Based on the presented theorem of transforming I/O model to state space model, corresponding state space model has been identified by this scheme after CARMA model is identified. 207. The remarkable part of Karatowski's theorem is the " only if " part. 208. By using a universal method a new existence theorem of solution for a generalized equilibrium problem in topological vector space is obtained. 209. The middle value theorem consists of Roue. Lagrang and Cauchy theorem. 210. The marginal posterior distribution of the parameter in the ARFIMA models is presented by Bayes theorem and the mode of the marginal posterior distribution is choosed as the estimator. 211. Firstly, the basic theorem of mean generation function construction is analyzed. 212. PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover. 213. For instance, you're never quite sure why, having just read about the Pythagorean theorem, you're now reading about Johannes Kepler. 214. The asymptotic property of the global solution is based on priori estimates and prolongation theorem. 215. This paper deals with the second order functional differential equations with distributed delay. By using the inequality estimation we obtain the comparison theorem of the boundedness of solutions. 216. The author presents a stopping theorem of two - martingales on stopping point and strong stopping point. 217. Give a set of mean - value theorem in open - interval with non - differentiable points. 218. After giving some properties of such residuated lattices, we obtain a structure theorem for E-unitary inverse residuated chains. 219. The weak duality theorem, the basic duality theorem, the direct duality theorem and the adverse duality theorem under the means of the joint weak efficient solution are derived. 220. Additionally, the well—known four colour problem and elementary geometry theorem—proving problem have been discussed. 221. Some results on continuous selections and semicontinuous selections of Set-valued mappings are given in this paper, where theorem 1 is an improvement of E. 222. By using Bayes' theorem to modify fuzzy relation formula, the quantitative relation equation was got and the decision-making step was given. 223. A complete analysis must build on the implicit function theorem. 224. It has become more and more important that the application of theorem proving on mathematic theorem proving, protocol verification(), hardware verification and software verification. 225. Earth pressure calculation based on upper bound theorem of plasticity can be numerically performed by element integration method. 226. By the corollary to Theorem 4.3, the origin is asymptotically stable. 227. The validity of simulating star map is verified by using the angle-distance of stars and projection theorem. 228. Assuming the Sampling Theorem is obeyed, what is the minimum rate of transmission of binary pulses , (which is) expressed in bits per second ? 229. A structure theorem between strong P - congruence pair and strong P - congruence is given. 230. In this paper, we investigate the fluctuation limit of a series of fractional Brownian motions, and prove the large number law and the central limit theorem in generalized convergence. 230. Wish you can benefit from our online sentence dictionary and make progress day by day! 231. In this paper the theorem in which a curve integral is independent of the integral path on a single connected region is generalized. 232. Level diagram example shows the practicality and effectiveness of the construction theorem and counting theorem, which is a simple and easy method to construct a complete graph of the spanning tree. 233. The substitution theorem is proved by a new method different from teaching reference books. In the meantime a practical method of substitution is presented. 234. In this paper, the definition of fuzzy-valued Dirichlet series is given. The theorem of convergence in the interval-valued Dirichlet series are further discussed. 235. A novel algorithm of item-all-weighted association rule mining between terms from the text database is proposed. A related theorem and its proof are given. 236. It is pointed out that in many textbooks, the derivation of the theorem that the ratio of heat to temperature amounts to zero in any reversible cycle is insufficiently exact and too excessively brief. 237. The Bondareva-Shapley theorem:The core of the game is non-empty if and only if the game is balanced (Bondareva 1963, Shapley 1967). 238. Cohen wrote a computer program to find near-misses for Fermat's Last Theorem, equations that were close enough to being true that a person who tapped it into a calculator would be fooled. 239. Pythagoras, who is remembered for his theorem about the sides of a right-angled triangle, lived around 540 BC, while Euclid, the best known geometer of the ancient world, lived around 300 BC. 240. In this paper, we mainly extend the lattice isomorphism theorem in module theory to the sets. 241. There are a number of alternative formulations of the reciprocity theorem. 242. Then, complimentary theorem were used to solve the dual problem. 243. Among the theory about the economic effect of the public debt, Ricardo Equivalence Theorem offers a different viewpoint from Keynes. 244. Four theorems about continuous function on an closed interval are proved by a interval sequence theorem in mathematical analysis. 245. The paper makes an analysis and inquiry about the differences among the Roue Theorem. Lagrange Thoorem and Cauchy Theorem. 246. The inverses of infinite matrix on a division ring are discussed. The decomposition theorem of infinite matrix on a division ring is proved. 247. The formulas are derived by analyzing the measured vibration modes and using the Hamilton theorem in analytical mechanics together with Ritz method for resolution. 248. The assertion is known as the closed graph theorem for Hilbert spaces. 249. And then the simulation of the sampling theorem is designed as a case. 250. Green's theorem for flux says I have a closed curve that goes counterclockwise around some region. 251. By means of the implicit function theorem, this paper proves that there exists a unique real solution of those equations. 252. OK, so basically you can apply Green's theorem for a region that has several boundary curves. You just have to be careful that the outer boundary must go counterclockwise. 253. The description of The Coase Theorem is always devoid of exactness. 254. The separated theorem is proved for constructing the functions and polynomial equation, the error formula for the construction function is also obtained. 255. The duality theory is the basic theory for mathematical planning in which the study of weak duality theorem under different controlling conditions is an important part of duality theorem research. 256. There is a similar thing with the divergence theorem, of course, with flux and double integral of div f, you can apply exactly the same argument. 257. Give a class of differential intermediate value theorem, and obtain the asymptotic behavior of mediant for the theorem. 258. In this paper, the fundamental principle of random process theorem is applied to the analyses of fluctuating pressure amplitude and frequency characteristics of the overflow tower. 259. An existence theorem of periodic solutions was obtained for non-autonomous second order systems with sub-additive potential by using the least action principle. 260. Theand the anti - grouped ideal of BZ - algebra were introduced and the homomorphism theorem of BZ - algebras was proved. 261. This paper generalized and proved a famous geometry theorem[sentence dictionary], and obtained general solution of Fermat Problem by pure geometric method thereby. 262. Based on TIKHONOV regularization theorem, a new regularizer, which has explicitly physical meaning, is chosen to mitigate the ill-condition of the normal matrix. 263. After analyzing several theory models of inductive reasoning, we use the Bayes Theorem to prove the premise probability principle, and integrate this theory with human mental process. 264. Based on the introduction of fuzzy fields and fuzzy algebras over fuzzy fields, the represention theorem and isomorphism extension theorem of fuzzy algebras over fuzzy fields are derived. 265. This paper describes the characters of independent sources and controlled sources, presents analytical method by which controlled sources can perform independently, and extends superposition theorem. 266. With the equipments of lab and diathermancy theorem , it can be observed and analyzed, and its characteristics and law can be known well. By the way, its preponderance can be exerted to the full. 267. At last, we extend the Shannon - McMillan theorem to the nonhomogeneousMarkov chain fields. 268. It seems that the proof of Pythagoras's theorem comes pretty much from just consulting the ideas of Euclidean triangle, the exhume of Euclidean geometry and simply doing inferences from those. 269. We call this principle a rule and not a theorem. 270. Application the theorem of cluster analysis, the classification of attributes is discussed. 271. Based on the idea of substitution theorem, this paper presents a new fault diagnosis method of subnetworks in tolerance analog circuits, and it is applicable to nonlinear large net works. 272. First interpret it combinatorially, and then derive it algebraically from the multinomial theorem. 273. Futhemore, the relation between complementary slackness in Kuhn-Tucker Condition and complementary slack theorem on dual linear programming has been showed. 274. During this time he also proved the minimax theorem of GAME THEORY. |
随便看 |
|
英语例句大全共收录104207条中英例句词条,基本覆盖所有常用英文单词的例句、长难句及中文翻译,是不可多得的英语学习材料。