theorem造句
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.
12345678910