| 释义 |
lem·mas 英'leməz美'leməz COCA¹⁷⁴⁸⁰⁵BNC⁷⁹⁰⁷⁶⁺¹¹
基本英英Thesaurus例句
n.前题助定理原型lemma的复数
名词 lemma:
a subsidiary proposition that is assumed to be true in order to prove another propositionthe lower and stouter of the two glumes immediately enclosing the floret in most Gramineaethe heading that indicates the subject of an annotation or a literary composition or a dictionary entryas in.heading
同义词 caption,description,descriptor,headline,label,legend,rubricas in.hypothesis
同义词 assumption,axiom,conclusion,conjecture,explanation,guess,inference,interpretation,premise,proposition,rationale,supposition,theorem,thesisantecedent,assignment,attribution,basis,belief,condition,data,deduction,demonstration,derivation,foundation,ground,layout,philosophy,plan,position,postulate,presupposition,principle,proposal,reason,scheme,speculation,suggestion,surmise,system,termapriority,shot in the dark,starting point,tentative law
headingnoun title
caption,description,descriptor,headline,label,legend,lemma,rubric
hypothesesnoun theory
antecedents,apriorities,assignments,assumptions,attributions,axioms,bases,beliefs,conclusions,conditions,conjectures,data,deductions,demonstrations,derivations,explanations,foundations,grounds,guesses,inferences,interpretations,layouts,lemmata,philosophies,plans,positions,postulates,premises,presuppositions,principles,proposals,propositions,rationales,reasons,schemes,shot in the darks,speculations,starting points,suggestions,suppositions,surmises,systems,tentative laws,terms,theorems,theses
hypothesisnoun theory
antecedent,apriority,assignment,assumption,attribution,axiom,basis,belief,conclusion,condition,conjecture,data,deduction,demonstration,derivation,explanation,foundation,ground,guess,inference,interpretation,layout,lemma,philosophy,plan,position,postulate,premise,presupposition,principle,proposal,proposition,rationale,reason,scheme,shot in the dark,speculation,starting point,suggestion,supposition,surmise,system,tentative law,term,theorem,thesis This article presents a systematic and rigorous proof of several lemmas, theorems and corollaries of reachability and controllability for discrete time, time- invariant systems.
本文对离散时间、时不变系统的可达性与可控性的若干引理、定理及系作出了一个系统的严格的证明。 cnki |