下载应用程式
educalingo
搜索

在"英语"词典里verifiability}的意思

词典
词典
section

英语中VERIFIABILITY的发音

verifiability  [ˌvɛrɪfaɪəˈbɪlɪtɪ] play
facebooktwitterpinterestwhatsapp

VERIFIABILITY的语法类别

noun
形容词
动词
副词
代词
介词
连词
限定词
感叹词

VERIFIABILITY在英语中的意思是什么?

点击查看«verifiability»在英语词典里的原始定义
点击查看在中文词典里此定义的自动翻译

正式验证

Formal verification

在硬件和软件系统的上下文中,形式验证是使用正式的数学方法来证明或反驳系统对于某种形式规范或财产的预期算法的正确性的行为。 正式验证有助于证明系统的正确性,如:密码协议,组合电路,带内部存储器的数字电路,以及表示为源代码的软件。 这些系统的验证是通过对系统的抽象数学模型提供一个正式的证明,数学模型与系统的性质之间的对应关系以其他方式被构建所知。 通常用于建模系统的数学对象的例子有:有限状态机,标记过渡系统,Petri网,定时自动机,混合自动机,进程代数,编程语言的形式语义,如运算语义,指示语义,公理语义和Hoare逻辑。 In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code. The verification of these systems is done by providing a formal proof on an abstract mathematical model of the system, the correspondence between the mathematical model and the nature of the system being otherwise known by construction. Examples of mathematical objects often used to model systems are: finite state machines, labelled transition systems, Petri nets, timed automata, hybrid automata, process algebra, formal semantics of programming languages such as operational semantics, denotational semantics, axiomatic semantics and Hoare logic.

在英语 词典里verifiability的定义

字典中可验证性的定义是能够被验证,确认或证实的质量或状态。

The definition of verifiability in the dictionary is the quality or state of being capable of being verified, confirmed or substantiated.

点击查看«verifiability»在英语词典里的原始定义
点击查看在中文词典里此定义的自动翻译

VERIFIABILITY押韵的英语 单词


ability
əˈbɪlɪtɪ
accessibility
əkˌsɛsɪˈbɪlɪtɪ
accountability
əˌkaʊntəˈbɪlɪtɪ
availability
əˌveɪləˈbɪlɪtɪ
capability
ˌkeɪpəˈbɪlɪtɪ
compatibility
kəmˌpætɪˈbɪlɪtɪ
disability
ˌdɪsəˈbɪlɪtɪ
durability
ˌdjʊərəˈbɪlɪtɪ
eligibility
ˌɛlɪdʒɪˈbɪlɪtɪ
flexibility
ˌflɛksɪˈbɪlɪtɪ
inability
ˌɪnəˈbɪlɪtɪ
liability
ˌlaɪəˈbɪlɪtɪ
mobility
məʊˈbɪlɪtɪ
nobility
nəʊˈbɪlɪtɪ
possibility
ˌpɒsɪˈbɪlɪtɪ
probability
ˌprɒbəˈbɪlɪtɪ
reliability
rɪˌlaɪəˈbɪlɪtɪ
responsibility
rɪˌspɒnsəˈbɪlɪtɪ
stability
stəˈbɪlɪtɪ
visibility
ˌvɪzɪˈbɪlɪtɪ

VERIFIABILITY一样开头的英语单词

veridical
veridicality
veridically
veridicous
verier
veriest
verifiable
verifiableness
verifiably
verification
verification principle
verificative
verificatory
verified
verifier
verifies
verify
verily
verisimilar
verisimilarly

VERIFIABILITY一样开头的英语单词

agility
credibility
facility
feasibility
fertility
functionality
hostility
humility
inevitability
instability
merchantability
profitability
suitability
susceptibility
sustainability
tranquility
usability
utility
variability
versatility
vulnerability

英语近义词词典里verifiability的近义词和反义词

近义词

«verifiability»的25种语言翻译

翻译者
online translator

VERIFIABILITY的翻译

通过我们的英语多语言翻译器,找到verifiability25种语言翻译
该章节所呈现的将verifiability由 英语向其他语言的翻译是通过自动统计翻译获得的;在英语中基本的翻译单位是单词«verifiability»。

翻译者英语 - 中文

核查
1,325 数百万发言者

翻译者英语 - 西班牙语

verificabilidad
570 数百万发言者

英语

verifiability
510 数百万发言者

翻译者英语 - 印地语

verifiability
380 数百万发言者
ar

翻译者英语 - 阿拉伯语

التحقق
280 数百万发言者

翻译者英语 - 俄语

проверяемость
278 数百万发言者

翻译者英语 - 葡萄牙语

verificabilidade
270 数百万发言者

翻译者英语 - 孟加拉语

যাচাই
260 数百万发言者

翻译者英语 - 法语

vérifiabilité
220 数百万发言者

翻译者英语 - 马来语

Verifiability
190 数百万发言者

翻译者英语 - 德语

Prüfbarkeit
180 数百万发言者

翻译者英语 - 日语

検証可能性
130 数百万发言者

翻译者英语 - 韩语

검증 가능성
85 数百万发言者

翻译者英语 - 印尼爪哇语

Verifiability
85 数百万发言者
vi

翻译者英语 - 越南语

kiểm chứng
80 数百万发言者

翻译者英语 - 泰米尔语

ஆராய்வது
75 数百万发言者

翻译者英语 - 马拉地语

सत्यापन
75 数百万发言者

翻译者英语 - 土耳其语

doğrulanabilirliği
70 数百万发言者

翻译者英语 - 意大利语

verificabilità
65 数百万发言者

翻译者英语 - 波兰语

sprawdzalności
50 数百万发言者

翻译者英语 - 乌克兰语

проверяемость
40 数百万发言者

翻译者英语 - 罗马尼亚语

verificabilitate
30 数百万发言者
el

翻译者英语 - 希腊语

επαληθευσιμότητα
15 数百万发言者
af

翻译者英语 - 布尔语(南非荷兰语)

verifieerbaarheid
14 数百万发言者
sv

翻译者英语 - 瑞典语

kontrollerbarhet
10 数百万发言者
no

翻译者英语 - 挪威语

etterprøvbarhet
5 数百万发言者

verifiability的使用趋势

趋势

词语 «VERIFIABILITY»的使用趋势

0
100%
频率
经常使用
63
/100
此处所显示的地图给出了词语«verifiability»在不同国家的使用频率。
verifiability的主要搜索趋势和常见用法
用户为查找我们的英语在线词典以及单词«verifiability»的最常用表达而进行的主要搜索的列表。

词语«VERIFIABILITY» 随时间而变化的使用频率

该图表展现了单词«verifiability»在过去500年中的用法频率的每年演化其实施是基于分析词语«verifiability»从1500年到现在在 英语数字出版物中出现的频率。

verifiability的英语文献、引用和新闻中的使用范例

示例

«VERIFIABILITY»相关的英语书籍

在以下的参考文献中发现verifiability的用法。与verifiability相关的书籍以及同一来源的简短摘要提供其在 英语文献中的使用情境。
1
Philosophy of Science for Nursing Practice: Concepts and ...
One can interpret the verifiability principle in two ways, what Ayer refers to as strong and weak verifiability (Ayer, 1952/2000). Strong verifiability requires the truth of a claim to be, in principle at least, conclusively verifiable, that is, “ conclusively ...
Michael D. Dahnke PhD, H. Michael Dreher PhD, RN, FAAN, 2010
2
Data Protection in a Profiled World
of a decision, the stronger the verifiability requirements. This requires classifications of both decisions and verifiability properties. Such verifiability requirements may also enable assurance that forms of profiling that are considered illegal—e.g. ...
Serge Gutwirth, Yves Poullet, Paul de Hert, 2010
3
The Limits of Logical Empiricism: Selected Papers of Arthur Pap
Verifiability. This section will be opened by a representative quotation from an early defense of physicalism by Carnap (Carnap 1932a). It is only fair to Carnap, however, to remind the reader that the physicalistic thesis maintained by Car- nap ...
Arthur Pap, Alfons Keupink, Sanford Shieh, 2006
4
Information and Communications Security: 12th International ...
Thus, verifiability ensures a voter can link her vote to the result, while anonymity ensures no one can link a voter to her preference. Yet, there is an apparent contradiction between the verifiability and anonymity, since verifiability seems to  ...
Miguel Soriano, Sihan Qing, Javier López, 2010
5
The Concept of Meaning
Early proposals concerning verifiability criteria, such as that every meaningful statement could be translated into statements reporting sensory experience or observations or that from any meaningful statement such statements could always be ...
Hill, Thomas E, 2014
6
Public Key Cryptography -- PKC 2011: 14th International ...
In our constructions, we need FE (CP/KP-ABE) to have either verifiability or delegatability. In this section we define both properties. While the former is a new one defined in this paper, the latter one was already defined in [21,5,7] for the ...
Dario Catalano, Nelly Fazio, Rosario Gennaro, 2011
7
The procedings of the 7th European conference on ...
(Fujioka 1992) pioneered the verifiability in e-Voting protocols by forcing voters to involve more than one round. Voter has to participate in the counting stage by checking that his vote is listed correctly in the tallying list, and then sending a part  ...
D.S.J. Remenyi, 2007
8
Proceedings of the 7th European Conference on e-Government
(Fujioka 1992) pioneered the verifiability in e-Voting protocols by forcing voters to involve more than one round. Voter has to participate in the counting stage by checking that his vote is listed correctly in the tallying list, and then sending a part  ...
Dan Remenyi
9
Mind, Matter, and Method
The only way in which Church's criticism can be taken as a critique of the verifiability criterion is by construing it as an indication that the concept of empirical verifiability is inexplicable in principle. This seems like a harsh conclusion to draw ...
Paul Feyerabend, Grover Maxwell, 1966
10
Innovating Government: Normative, Policy and Technological ...
We have already seen that verifiability can mean two quite different things in voting: verifiability of the technology, or verifiability of the results. In future discussions on electronic voting, consensus must be reached about what is required for ...
Simone van der Hof, Marga M. Groothuis, 2011

包含词语«VERIFIABILITY»的新条目

找出国内和国际出版社所讨论的内容,以及词语verifiability在以下新条目的上下文中是如何使用的。
1
'Secret Side Deals' on Iran Accord Are New Republican Target
“The merits of this agreement hinge on its verifiability,” said Senator John McCain, the committee chairman. “And yet, we cannot even read key documents ... «Bloomberg, 七月 15»
2
Leading Nonproliferation Think-Tank Casts Doubt on Verifiability of …
The verification mechanisms described in the Joint Comprehensive Plan of Action (JCPOA), as the nuclear deal between Iran and the P5+1 nations is known, ... «TheTower.org, 七月 15»
3
German politicians and business leaders voice relief over Iran …
"This verifiability is essential not only for the security of Israel, but that of the entire region." Jung also spoke of a "historic outcome" – if the agreement worked. «Deutsche Welle, 七月 15»
4
Voting by phone, computer: Not coming anytime soon
... includes implementing a system called "end-to-end verifiability" that would check that the votes were, in fact, recorded and entered into the final tally of votes. «CNN, 七月 15»
5
The Limits of Science - Verification and Falsification
[i] From Wittgenstein they obtained the verifiability principle. Which meant that in order for a statement or proposition to be meaningful it has to be capable of ... «News24, 七月 15»
6
EC appointment: Mahama hasn't broken the law – Kwesi Pratt
“I have said before that prudence requires transparency and verifiability in the appointment of the EC members, especially the Chair” he stressed. The lawyer ... «Citifmonline, 六月 15»
7
New EC Boss appointment lacks transparency – Prof. Asare
“I have said before that prudence requires transparency and verifiability in the appointment of the EC members especially the chairman of the EC.” Prof. Asare ... «GhanaWeb, 六月 15»
8
Credit card style e-voting system could beat electoral fraud
This way they say, “verifiability is guaranteed with statistically high probability” -- even if all these machines are controlled by the adversary and privacy is ... «SC Magazine UK, 五月 15»
9
The Iran Deal and Its Consequences
Critics question the verifiability of these constraints and their longer-term impact on regional and world stability. The historic significance of the agreement and ... «Wall Street Journal, 四月 15»
10
Superior Court of California First Court to Achieve End-to-End E …
The Court cited e-SignLive's robust security and verifiability as deciding factors when selecting the solution. This included e-SignLive's unique ability to secure ... «Business Wire, 三月 15»

参考文献
« EDUCALINGO. Verifiability [在线]. 可用 <https://educalingo.com/zh/dic-en/verifiability>. 四月 2024 ».
下载educalingo应用
en
英语 词典
, 发现隐藏于单词之后的一切
索引
a b c d e f g h i j k l m n o p q r s t u v w x y z