网络释义专业释义英英释义
中文模板 Key words: complexity; renaming; minimal unsatisfiable formula [gap=268]关键词: 计算复杂性;改名;极小不可满足公式
基于20个网页-相关网页
Register Renaming 寄存器重命名 ; 寄存器换名
Renaming Tablespaces 重命名表空间
Method Renaming 方法重命名
Renaming a Database 数据库重命名
File Renaming Options 文件重命名选项
Renaming Procedures 重新命名程序
Renaming a Column 重新命名一列
renaming system 重命名系统
-
改名 - 引用次数：7
The new algorithm has a symmetry rule(Literal renaming)and three simplifing rules((1,*)- Resolution,Subfonnula,and Multiple).
新的算法带有一条对称规则(文字改名规则)和三条简化规则((1,*)-消解、子公式、重复规则)。
参考来源 - 带文字改名策略的DPLL算法 in C -
重新命名 - 引用次数：16
Renaming is to fulfill the functions of trademarks much better.
而重新命名是为了更好地实现功能对等。
参考来源 - 商标翻译：在功能对等的基础上重新命名 -
改名 - 引用次数：5
Xu has proved that the variable and literal renaming problems of the formulas in MU(k) are equivalent to the graph isomorphism problem. As we known, the graph isomorphism problem is still in NP.
许道云教授已经证明：MU(k)中的变元和文字改名都等价于图同构的判定问题，而图同构的判定问题是NP问题。
参考来源 - MAX～+（2）公式改名的复杂性
·2,447,543篇论文数据，部分数据来源于NoteExpress
rename
-
v.
-
assign a new name to
"Many streets in the former East Germany were renamed in 1990"
-
name again or anew
"He was renamed Minister of the Interior"
-
assign a new name to
以上来源于: WordNet
柯林斯英汉双解大词典
rename /riːˈneɪm/ ( renaming, renamed, renames )
-
1.
V-T If you rename something, you change its name to a new name. 重命名; 改名
例：Tel Aviv's Kings Square was renamed Yitzhak Rabin Square.
特拉维夫的国王广场更名为伊扎克·拉宾广场。
双语例句原声例句权威例句
-
Listing 12 shows the JPG renaming in action.
清单12显示了正在进行jpg重命名。
-
Here are some examples of renaming in XSLT.
以下是用XSLT进行重命名的一些示例。
-
Currently is supports renaming and method extraction.
目前支持重命名与方法提取。
-
So I want to propose that the literary traditions' renaming of this piece from A Mask to Comus is more than just a slip, or more than just a random shift of terms or of names.
所以我想提出,从面具到Comus的文学传统的重命名,不仅仅是一个失误，更不仅仅是一个术语或名称的随机变化。
-
Because even though it's a little confusing or a little sort of contradictory, the argument count includes the name of the program itself, -- which can actually be int useful because if someone -- if a producer changes the name of a program by renaming a file, you, the program still have access to your own name by this mechanism.
因为即使它有点迷惑的,或有点冲突的，参数计数包括程序的名字，那个可以是int型的，因为如果有谁-,如果程序员通过重命名改变了一个程序的名字，你仍然可以用这个机制,使用你自己的名字。
应用推荐