改名

Asahara's group has renamed itself "Aleph," and says it has renounced violence.

麻原彰晃现在已经改名，并且表示已弃绝暴力。

Why Goto.com is incognito for Overture.com, that incognito I had been seen, one of the boldest strategy.

为什么goto.com改名为overture.com，那次改名是我所见过的，最大胆的策略之一。

In 1976 the town was renamed into Belokamensk – for its snow-white limestone, which was mined in huge amounts in local quarries and mine galleries. In 1991 it was returned the previous name – Inkerman.

在1976年，该镇被改名成belokamensk，在1976年，该镇被改名成belokamensk，也因雪白的石灰石的缘故，当地出现了众多的采石场挖矿长廊，在1991年重归原名-因特曼

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。

Four Kirov-class nuclear cruisers were commissioned between 1980 and 1998: the Kirov, Frunze, Kalinin and Yuriy Andropov.

P-700同样是水面舰艇的装备，4艘基洛夫级核动力巡洋舰在1980年到1998年间服役，基洛夫号（改名为乌沙科夫海军上将号），伏龙芝号（改名为拉扎热夫海军上将号）加里林号（改名为纳西莫夫海军上将号）和尤里安德罗波夫号。

Audio-Visual Education tool-making station renamed to be China Slide Company, which changed to Bejing Lantern Slide Studio later.

电化教育工具制造所改名为中国幻灯公司，后改名为北京幻灯片制片厂

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)中的公式，文字改名问题在线性时间内可解，变元改名问题在平方次时间内可解。

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.

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

For MU(1),a subclasses of minimal unsatisfiable formula s,we show the solvability in polynomial time.

公式的改名是将命题变元映到变元本身或变元的否定的一个映射，对于极小不可满足公式的子类MU( 1 )中的公式，我们证明了其改名判定问题在多项式时间内是可判定的。

From the historical perspective, saying that "Seoul" Every name, almost related to the Korean national state of mind is directly or indirectly associated. Lee Dynasty in 1394 in the capital, Seoul changed its name, is the pronunciation of the Korean-time training Hansung. In 1910 the Korean Peninsula become a Japanese colony, Japan also renamed it the "capital" is the Japanese pronunciation training time Keijo. In 1945 the liberation of the Korean Peninsula, the capital of the Republic of Korea and Seoul, although I call it the "capital", not to write Chinese characters, only the spelling in Korean, Seoul has become the Korean Peninsula not only mark the Chinese city.

有人从历史的角度来分析，认为&汉城&每次改名，几乎都跟韩国人的民族心态有直接或间接的关联。1394年李氏王朝在此建都，改名汉城，读音是朝鲜式训读Hansung.1910年朝鲜半岛沦为日本殖民地，日本又将它改名&京城&，读音是日式训读Keijo.1945年朝鲜半岛获得解放，大韩民国又建都汉城，虽然口称它为&首府&，却不写汉字，仅用韩文拼写，Seoul遂成了朝鲜半岛唯一没有汉字标记的城市。

Objective To investigate the effects of interleukin-1 β converting enzyme gene on the biologic characteristics of ovarian cancer cells.

目的 探讨白细胞介素-1 β转换酶的表达，对卵巢癌细胞生物学特性的影响。

Campylobacter: This illness is the most commonly identified cause of diarrheal illness in the world.

弯曲：这种病是最常见的原因查明腹泻病，在世界上。