助手标题
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
共[293]条 当前为第1条到20条[由于搜索限制,当前仅支持显示前5页数据]
 

相关语句
soundness
At the end of this paper, some important aspects of error correction, capacity, learning efficiency, and soundness of structural representation are analyzed theoretically.
      
This paper proposes an axiomatic systems for total logic, and proves its soundness and completeness in a classical pattern on the structure of programs.
      
The soundness of this method has been demonstrated theoretically and experimentally and the expediency of using it in the intensive wall cooling regime has been confirmed.
      
A theorem on soundness of the axiomatic semantics of C-kernel with respect to its operational semantics is proved.
      
Based on the Schweizer-Sklar t-norm, a fuzzy logic system UL* is established, and its soundness theorem and completeness theorem are proved.
      
Current scales in this area are limited in either their scientific soundness and/or clinical usefulness, and it may be appropriate to consider the development of a new MS-specific measure of disease impact for use in clinical trials.
      
Furthermore, we give some theoretical analysis of our rules using the strand space formalism, and show the soundness of our idealization rules under strand spaces.
      
The soundness is a very important criterion for the correctness of the workflow.
      
Specifying the soundness with Computation Tree Logic (CTL) allows us to verify the soundness with symbolic model checkers.
      
Therefore the state explosion problem in verifying soundness can be overcome efficiently.
      
In addition, relaxed soundness is another important criterion for the workflow.
      
We also prove that Computation Tree Logic * (CTL *) can be used to character the relaxed soundness of the workflow.
      
The proposed Internet voting protocol does not apply the strong physical assumptions and has the properties of privacy, completeness, soundness, fairness, invariableness, and universal verifiability, receipt-free and coercion-resistant.
      
Often, respectable scholars attack the soundness of Heidegger's "violent" interpretations of H?lderlin (and others).
      
A minimal logic system M of default reasoning that accommodates Modus Ponens for Default Implication and suitable for local inferences is proposed, and its soundness is proved.
      
Secondly, the authors constructed the neighborhood semantics, prove the soundness of C2Lm, introduce a general concept of canonical model by the neighborhood semantics, and then prove the completeness of C2Lm by the canonical model.
      
We construct a Hilbert style system RPL for the notion of plausibility measure introduced by Halpern J, and we prove the soundness and completeness with respect to a neighborhood style semantics.
      
Scholarship has already warned us to soundness in relation to modernisationist legal reforms.
      
The main design criteria are based on linguistic motivation, computational efficiency and formal soundness.
      
Specifically, quality of management, financial soundness and quality of products/services indicators are critical for successful financial performance.
      
 

首页上一页12345下一页尾页 

 
CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社