网站首页  词典首页

请输入您要查询的英文单词：

　

单词 soundness
释义
soundness
noun[U]
uk
/ˈsaʊnd.nəs/us
/ˈsaʊnd.nəs/

soundnessnoun[U](GOOD CONDITION)

thefactof being in goodcondition
良好，完好
SMART Vocabulary: related words and phrases
Undamaged, unbroken or in good condition
  • (all) in one pieceidiom
  • ain't
  • anti-wear
  • be(as) good as newidiom
  • be as sound as a bellidiom
  • be none the worseidiom
  • minty
  • piece
  • repair
  • resistant
  • safe
  • sound
  • unbroken
  • unbruised
  • uninjured
  • unpolluted
  • unscathed
  • untouched
  • vgc
  • worse
See more results »

soundnessnoun[U](GOOD JUDGMENT)

thequalityof having goodjudgment
可靠性；完善
SMART Vocabulary: related words and phrases
Wise and sensible
  • be a victory for common senseidiom
  • cannily
  • canny
  • clear-headed
  • discerning
  • long-sightedness
  • method
  • neat
  • neatly
  • no flies onsomeoneidiom
  • responsibility
  • responsible
  • responsibly
  • right-minded
  • sagacious
  • well advised
  • wily
  • wisdom
  • wise
  • wisely
See more results »
(Definition ofsoundnessfrom theCambridge Advanced Learner's Dictionary & Thesaurus© Cambridge University Press)

soundness| Business English

soundness
noun[U]
/ˈsaʊndnəs/uk
us
thequalityof beingableto betrusted:
Thoseproblemscalled intoquestionthe bank'sfinancialsafetyand soundness.
(Definition ofsoundnessfrom theCambridge Business English Dictionary© Cambridge University Press)

Examplesofsoundness

soundness
The main result of this subsection follows as an immediate corollary of thesoundnessof the typing system.
From theCambridge English Corpus
The tool'ssoundnesstheorem is expressed in terms of the bit-level semantics of x86 programs, so its correctness depends on very few assumptions.
From theCambridge English Corpus
If the system in figure 4 is operationally correct then, because of thesoundnesstheorem above, the system in figure 3 is operationally correct.
From theCambridge English Corpus
We show that the system enjoys properties like type uniqueness, subject reduction,soundness, confluence, and weak normalization.
From theCambridge English Corpus
Section 5 then provessoundness(but not completeness) in the general case where predicates in contracts may diverge.
From theCambridge English Corpus
The addition of recursive contracts has far-reaching implications, deeply affecting the formulation of our model and requiring different techniques for provingsoundness.
From theCambridge English Corpus
The following results are required by the proof of thesoundnesstheorem below.
From theCambridge English Corpus
We are interested in thesoundnessand conservativity issues these features raise: can we ensure modularity features do not lead to inconsistencies?
From theCambridge English Corpus
Our proof (sections 4 and 5) is short, but not as straightforward as those ofsoundnessand conservativity.
From theCambridge English Corpus
In this section, we describe how this executable model has been used to check thesoundnessof polymorphic inference rules by calculation.
From theCambridge English Corpus
We give dynamic and static semantics for the language, and prove thesoundnessof the type system.
From theCambridge English Corpus
Therefore,soundnessand completeness alone are insufficient for proving that the considered calculus provides an internal language of the complete models.
From theCambridge English Corpus
The following theorem shows thesoundnessof substitution.
From theCambridge English Corpus
We will establish that these processes are in fact bisimilar and then, bysoundness, we may conclude that they are contextual observational equivalent.
From theCambridge English Corpus
We present a newsoundnessproof for their logic using denotational semantics.
From theCambridge English Corpus
These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.
#https://dictionary.cambridge.org//dictionary/english/soundness##
随便看

　

英汉词典包含213609条英汉翻译词条，涵盖了常用英语单词及词组短语的翻译及用法，是英语学习的必备工具。

　

Copyright © 1999-2024 qbania.com All Rights Reserved
更新时间：2024/12/28 4:40:26