将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上。

The two value weak model for first order logic with generalized quantifier Q is generalized to be valued in complete weak complemented lattices.

youdao

悬空输出的危害性弱于悬空输入，因为它们通常不会阻止流程模型的正确执行。

Dangling outputs are less severe than dangling inputs because they usually do not prevent a process model from correctly executing.

youdao

为了让模式作者更容易创建比较自然的内容模型，XML Schema 1.1引入了弱通配符(weakened wildcard)的概念。

To make it easier for schema authors to create more natural content models, XML schema 1.1 has introduced the concept of a weakened wildcard.

youdao