助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   语义计算规则 的翻译结果: 查询用时:0.233秒
图标索引 在分类学科中查询
所有学科
计算机软件及计算机应用
更多类别查询

图标索引 历史查询
 

语义计算规则
相关语句
  相似匹配句对
     We also give a new correction factor to simplify the calculation of the Unstatistic.
     的计算
短句来源
     Semantic Computation for Text Retrieval
     面向文本检索的语义计算
短句来源
     Discussion on Calculation of SPWM Rule Sampling Method.
     SPWM规则取样法的计算探讨
短句来源
     A PARALLEL EVALUATION METHOD FOR LINEAR RECURSIVE RULES
     线性递归规则的并行计算方法
短句来源
     Deep-seated Semantic Computing Based on Semantic Neural Network
     基于语义神经网络的深层语义计算
短句来源
查询“语义计算规则”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
没有找到相关例句


Based on SCR(Software Cost Reduction), this paper presents a formal model analyzing SCR style requirements. This model mainly apply state translation rules, semantic computing rules and attributes to define formal sementics of a tabular notation in the SCR requirements method, and may automatically analyze requirements specifications to be specified by the SCR method. Combining with a simple example, this paper introduces how to analyze consistency and completeness of requirements specifications.

由于SCR(SoftwareCostReduction)是较实用的定义软件系统需求的方法,以此方法为基础,提出一个形式化的分析和检查需求的模型.此分析和检查模型主要根据综合知识表示模型的一些基本原理,使用状态转换规则、语义计算规则和属性来形式化地描述SCR中表格符号的语义,并通过执行规则来自动分析由SCR定义的需求.为便于理解,给出了一个简单的实例来介绍如何分析和检查基于SCR的需求的一致性和完整性.

 
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关语义计算规则的内容
在知识搜索中查有关语义计算规则的内容
在数字搜索中查有关语义计算规则的内容
在概念知识元中查有关语义计算规则的内容
在学术趋势中查有关语义计算规则的内容
 
 

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