查询词典 elementary conjunction

The satisfiability problem of conjunction normal form is an NP_complete problem.

合取范式可满足性问题是一个NP完全问题。

The satisfiability of conjunction normal form is a typical NP-complete problem. To study the complexity of SAT problem, a new concept of saturated clause muster has been introduced with using the characteristic of saturated clause muster. The sufficient condition of SAT problem was approved to be a polynomial and has opened out essential distinction of 2SAT and 3SAT problems.

合取范式可满足性问题是典型的NP完全问题，本文引入了一个饱和子句集的新概念，利用饱和子句集的特性，研究了SAT问题的复杂性，证明了SAT问题复杂性为多项式的一个充分条件，并揭示了二元可满足性问题与三元可满足性问题的本质差别。

Disjunction normal form theorem in the modal logic system S5 is inductively proved, which can be used for representing complex modal formulas by means of conjunction and disjunction of simplest modal formulas with depth at most 1 in the system S5. As application, it is proved that a knowledge base could answer KB-queries if and only if it could answer queries of non-modal propositions and their negations, which is a basic problem on knowledge base.

研究了模态逻辑系统S5中的析取范式定理的归纳证明，给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法，作为范式定理的应用，讨论了知识库中的一个基本问题，证明了知识库能够回答KB命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题。

Each method can be used in conjunction with normalization method.

每种方法还可以结合使用"归一化"的方法。

A two year programme run in conjunction with Northumbria University, this course's aim is to develop a range of skills and a knowledge of management which will enable the graduate to gain employment in the field of hospitality management.

本课程是我们与诺森比亚大学联合举办的2年制课程，旨在提高学生的各种管理知识和技能以在酒店管理领域获得职位，并为学生提供在酒店行业工作实践机会。

The system works in conjunction with Siemens Mammomat Novation digital radiography system to provide a comprehensive system for clinical processes in mammography.

系统用于西门子Mammomat Novation数字X线放射学系统，为临床乳房X线放射学检查提供一个精细的系统。

Monte Carlo simulation technique in conjunction with numerical integration was used to calculate the probabilistic distribution function of bonding time.

在原有确定性模型的基础上考虑了粗糙度孔隙的概率分布，建立了扩散连接孔隙闭合的概率模型。

In addition, your baby had omphalitis, inflammation can be used in less then 3% hydrogen peroxide partially washed, cleaned Tu Complexation iodine; or synergies in conjunction with methyl-chip inquiry into细末, sprinkle in the navel, and attention maintain partial drying.

另外，你的孩子得了脐炎，炎症较轻的话可用3%双氧水冲洗局部，洗净后涂络合碘；或用增效联磺片研成细末，撒在肚脐上，并注意保持局部干燥。

Astronomers and star gazers across the world are keeping watch on Monday night for the rare astronomical phenomenon known as "Planetary Conjunction".

全世界的天文学家和观测者都在时刻关注着这种罕见的，被成为"行星合"的天文现象。

When Orcus calls on this effect , he sprinkles the dust of ground mummies in conjunction with casting the spell .

当奥库斯使用这个效果，他挥洒到地上的尘埃将通过法术而转化为木乃伊。

Molecular Distillation is a kind of high vacuum distillation method, which is suitable for the separation of high boiling, heat sensitivity and viscidity products.

分子蒸馏技术是一种在高真空条件下进行的连续蒸馏过程，适合于分离高沸点、热敏性及具有生物活性的混合物。

They are to the Noughties what yuppies were to the Eighties .

那在六十年代是时髦的，但在八十年代肯定是过时了