查询词典 renaming

The fanancial aids, ideal of running university, system building, social psychology, the faculty building can not keep up with the rapid development of mass higher education. There exist some blindness including size and speed, the university upgrading, renaming and program arrangements.

即在经费投入，办学理念、制度建设和社会心理，教师队伍建设方面跟不上高等教育大众化的快速进程，在高校发展规模与速度，学校升格、改名和专业设置，高校贷款搞建设方面存在着盲目性。

For the subclasses MAX and MARG of minimal unsatisfiable formula s, we show that the variable and literal renaming problems are equivalent to the graph isomorphism problem GI.

对于极小不可满足公式的子类MAX和MARG，我们证明了：其变元改名和文字改名的复杂性等价于图同构问题GI。

It searches for files in the local base on hard disk and works with server freedb for automatic renaming CD tracks.

它搜索文件在本地硬盘上的基础上并与服务器的FreeDB自动重命名CD曲目。

Formulas in the MAX(1) and MARG(1), it is shown that the literal renaming problems are solvable in linear time, and the variable renaming problems are solvable in quadratic time.

证明了对于MAX(1)和MARG(1)中的公式，文字改名问题在线性时间内可解，变元改名问题在平方次时间内可解。

Additional features include drag and drop support,mass file renaming, startup manager, file shredding, file splitting and merging and more.

包括一个 CD 刻录工具，一个 ftp 客户端，一个 ZIP 压缩档案存储器，一个图片查看工具，大量的文件重命名，一个文件夹同步装置，一个联系校验和一次搜寻和替换工具。

After Moses' consent, these tribes quickly went to work rebuilding and renaming those Midianite cities, which had been burned.

流便、迦得、和玛拿西半支派在得到摩西的首肯后，便立刻去重建米甸人被焚烧的城市，又重新为那些城市命名。

I created them myself by renaming the files, changing non-executable bytes, and appending null bytes to change the file size.

我通过从命名文件，改变不可执行字节，附加无效字节来改变文件大小。

A renaming is a function mapping propositional variable to itself or its complement, a variable renaming is a permutation over the set of propositional variables of a formula, and a literal renaming is a combination of a renaming and a variable renaming.

许道云 ，董改芳，王健改名是一个将变元映射到变元本身或它的补的函数，变元改名是公式变元集合上的一个置换，文字改名是一个改名和一个变元改名的组合。

The paper detailedly introduces two methods of the regiseter renaming in X high-performance microprocessor, respectively implemented through register rotation and register stack, give an example to show how software pipelining supported by register rotation overcomes the disadvantage to code optimization induced by traditional unloop method, and furthermore implements the renaming design of general register, floating point register and predication register.

本文详细介绍X高性能微处理器中寄存器旋转和寄存器堆栈方式实现的寄存器重命名，举例说明寄存器旋转支持的软件流水技术如何克服传统循环展开方法给代码优化带来的弊端，并进一步给出通用、浮点和谓词寄存器重命名逻辑的具体实现。

It simply requires renaming a couple of files, which I'll explain next why renaming is required.

它要做的事情仅仅是该动一组文件名，请看后面的介绍。

This is not an ordinary box, which is used as a background picture of the dialog box, very pretty.

详细说明：这可不是一个一般的对话框，它是用图片作为背景的对话框，非常好看。

Conceal me what I am,and be my aid for such disguise as haply shall become the form of my intent.

遮掩我的身份，帮助我，我的面具将成为我的目的。