说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 一致性谓词
1)  uniformity predicate
一致性谓词
2)  subject-verb agreement
主谓一致
1.
After reviewing studies on subject-verb agreement by researchers from home and abroad during recent ten years,findings show that researchers of home and abroad deal with the issue of agreement at "language use" level.
文章通过对近十年来国内外学者就英语中主谓一致问题所进行的各项研究进行了回顾后发现,国内外学者都是在语言使用这个层面上探讨主谓一致问题。
3)  subject-verb concord
主谓一致
1.
Analysis of Error Characteristics on Subject-verb Concord of Chinese Non-English Major Students;
中国非英语专业大学生主谓一致错误特征分析
2.
The criteria for judging the true meaning and the false meaning of utterances or parole are (1) the things that exist independent of human consciousness and (2) the intended information speakers or/and writers express, therefore it can be found that there is disagreement in subject-verb concord, negation,and tenses and voices.
以此为主要依据,可以看出英语语法中的主谓一致、否定和时态所展示的不一致。
4)  segment consistence
分词一致性
5)  the nature of predicate
谓词性质
6)  predicating word
谓语性词
补充资料:一致性


一致性
consistency

  y一zh ix一ng一致性(~istency)理论的无矛盾性。如果一个理论不会同时承认一对相互矛盾的陈述,则该理论是一致的。形式地说,如果理论r可推得某一合适公式P及其否定,P,则r是不一致的;如果r不是不一致的,那么它是一致的,或说r满足一致性。 一致性是对“好的”理论最起码的要求。不一致的理论自相矛盾,因而不能对其行为作出合理的解释。而且只要这个理论的推理系统满足归谬律,那么系统中任一命题及其否定都能被该理论所承认,显得十分荒谬。一致性可以保证理论合理解释的存在性,即可以构造出该理论的模型。 软件规约的一致性要求从软件规约出发不会导出自相矛盾的结论。如果一软件规约中申明f是以正整数为值域的函数,而在另一处断言f需回送一1,则该规约不一致。 只有当一个软件规约满足一致性时,才有可能实现满足该规约的程序(它的模型)。如果规约的一致性不能保证,那么可能花费了大量人力物力去设计实现它的程序而最终一无所获。这就是研究软件规约一致性的重要性之所在。 对软件规约作一致性检查相当困难,通常只能发现不一致而不能保证一致。对不同形式的软件规约常采取不同的检查方法。对非形式的软件规约所能做的主要是对软件规约作字面上的检查以保证没有名冲突,以及保证没有直接矛盾之处。如果软件规约是用形式化语言书写,那么除名冲突外,还可以检查出其它一些不一致,如类型不一致、数量关系不一致等。但没有一般的形式方法可判定软件规约的一致性。 研究软件规约的一致性实际上就是对特定的形式化语言研究哪些不一致性可以检查以及给出检查的形式方法。‘伊波)
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条