|
关注：1
2013-05-23 12:21
求翻译：Sets of requirements, which determine object styles, are defined in terms offirst-order logic formulas related to knowledge stored in layout graphs. Terms of the formulas correspond to graph nodes and their attributes, while predicates correspond to graph hyperedges. Therefore the formulas expressing style requirements是什么意思？ 待解决
 悬赏分：1
- 离问题结束还有
Sets of requirements, which determine object styles, are defined in terms offirst-order logic formulas related to knowledge stored in layout graphs. Terms of the formulas correspond to graph nodes and their attributes, while predicates correspond to graph hyperedges. Therefore the formulas expressing style requirements
问题补充： |
|
2013-05-23 12:21:38
的要求，决定对象样式，套在计算与存储在布局图知识offirst阶逻辑公式定义。
|
|
2013-05-23 12:23:18
在期限offirst秩序逻辑惯例设置要求，确定对象样式，被定义与在布局图表存放的知识有关。而谓语对应于图表hyperedges，惯例的期限对应于图表结和他们的属性。所以表达的惯例样式要求高效率地被映射入基于图表的限制。
|
|
2013-05-23 12:24:58
在期限offirst秩序逻辑惯例设置要求，确定对象样式，被定义与在布局图表存放的知识有关。 而谓语对应于图表hyperedges，惯例的期限对应于图表结和他们的属性。 所以惯例表达样式要求高效率地被映射入基于图表的限制。 提出的系统试验的推理模块引起的设计图一贯性以必需的样式通过检查限制的满意由图结构是图画的内部表达形式。 系统给的对图画的发生的评估促进校正解答并且支持决策过程。
|
|
2013-05-23 12:26:38
定义的要求，确定对象样式，集在条款 offirst 订单相关知识存储在布局图中的逻辑公式。公式的职权范围对应图的节点和它们的属性，对应图超的谓词。因此公式表达风格要求有效地映射到基于图的约束。拟议的系统的推理模块测试通过检查约束满意度由图形结构正在图纸的内部表示形式与所需样式生成的设计图纸的一致性。图纸由系统给出评估结果便于修改的解决方案，并支持决策过程。
|
|
2013-05-23 12:28:18
正在翻译，请等待...
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区
