|
关注：1
2013-05-23 12:21
求翻译：Data structure repair is a promising technique for enabling programs to execute successfully in the presence of otherwise fatal data structure corruption errors. Previous research in this field relied on the developer to write a specification to explicitly translate model repairs into concrete data structure repairs, r是什么意思？ 待解决
 悬赏分：1
- 离问题结束还有
Data structure repair is a promising technique for enabling programs to execute successfully in the presence of otherwise fatal data structure corruption errors. Previous research in this field relied on the developer to write a specification to explicitly translate model repairs into concrete data structure repairs, r
问题补充： |
|
2013-05-23 12:21:38
数据结构修复是一种很有前途的技术使程序在其他致命的数据结构损坏错误的存在成功地执行。以前的研究在这一领域依赖于开发人员编写规范，明确翻译模型维修为具体的数据结构的维修，提高1）不正确翻译的可能性，从而导致所谓修复混凝土结构的数据是不一致的，以及2）修复模型没有相应的具体的数据结构representation.we目前使用目标导向的推理，自动翻译模型修复成具体的数据结构维修修葺一新的算法。这个新修的算法消除了不正确的翻译和修复模型没有相应的声明，具体的数据结构的可能性。
|
|
2013-05-23 12:23:18
数据结构修理是使节目的一个有为的技术在否则致命数据结构腐败错误面前顺利地执行。
|
|
2013-05-23 12:24:58
数据结构修理是使节目的一个有为的技术在否则致命数据结构腐败错误面前成功地执行。 对这个领域的早先研究依靠开发商写规格明确地翻译式样修理成具体数据结构修理，提高造成假想被修理的) 混凝土数据结构的1不正确翻译的可能性是不一致的，并且2) 修理了模型没有对应的具体数据结构表示法。我们介绍自动地翻译式样修理的用途goal-directed推理成混凝土数据结构修理的一种新的修理算法。 这种新的修理算法消灭不正确翻译和被修理的模型的可能性没有对应的表示法作为混凝土数据结构。
|
|
2013-05-23 12:26:38
数据结构修复是有前途的技术，使下否则为致命数据结构损坏错误成功执行的程序。先前的研究在这一领域依靠开发人员编写规范以显式模型修理转化为具体的数据结构修理，提高造成的假想修复具体数据结构不一致，1） 不正确翻译的可能性和 2） 修复模型没有对应的具体数据结构表示形式。我们提出一种新的修复算法使用目标导向的推理将模型修理自动变为具体的数据结构修理。这种新的修复算法消除了不正确的翻译的可能性和修复具有没有相应的表示形式为具体数据结构的模型。
|
|
2013-05-23 12:28:18
正在翻译，请等待...
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区
