非模态的

A Base Dialog Class for Modal/Modeless D - Modal/Modeless Dialog with Custom Background Color

带有定制背景颜色的模态/非模态对话框。

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命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题。

In fact,in his criticism,has also developed a modal logic with non-modal logic truth table semantics sentence comparable to the form of semantics.

事实上，在他的批评之后，模态逻辑也发展出了可与非模态语句逻辑的真值表语义学相媲美的形式语义学。

The disadvantages of modeless applications are: It is more difficult to implement.

非模态的应用程序的劣势：实现比较困难。

There are two types of dialog boxes: modal and modeless.

有两种类型的对话框，即模态对话框和非模态对话框。

This behavior is the opposite of modeless feedback, and it hampers flow .

这个行为有悖于非模态的反馈，它阻碍了流。

Other values for the level attribute are modal and modeless, defining different types of message boxes.

Level属性的其他值是模式和非模态的，定义了信息提示框的不同类型。

In a modeless application, the application works with an assumption that it is offline, or that it can lose the network connection at any time.

在非模态的应用程序中，应用程序在一种看上去像是离线的状态下工作，或者可能在任何时候失去网络连接。

It is shown that the atoms from trapped state in Bose-Einstein condensate excited to untrapped states by two-mode radiation frequency maintain properties of coherent states.

结果表明：在光场作用下，V型三能级原子BEC中被激发到非俘获态的原子，仍保持其相干态的特性，从而在理论上证明了利用V型三能级原子BEC与双模压缩相干态光场相互作用可以产生双模原子激光。

Here's where we see an opening for a new approach to modeless interactivity. Toolbars are modeless, but they don't introduce the conundrums that modeless dialogs do.

我们在工具栏上看到一种新式的非模态交互活动的机会，工具栏是非模态的，但它们没有非模态对话框存在的问题。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。