模态逻辑是关于必要性和可能性的逻辑。
我们这几天会讲很多模态逻辑。
双模态(打印和音频)信息递送。
这是另一个，模态逻辑。
创建一个新模态对话框。
模态的各原理并不是客观综合的。
Alert对象表示一个显示消息的模态对话框。
An Alert object represents a modal dialog box to display a message.
不像前几个级别，这种类型的通知是模态的。
Each type of notification is assigned an appropriate default level.
我确信，大部分水花的拍摄使用的是突发模态。
I'm sure that the majority of water splash shots are taken using burst mode.
从试验数据确定模态参数的过程分成几个阶段。
The process of determining modal parameters from experimental data involves several phases.
非模态设计程序提供了同时设计多个数据库对象的灵活性。
Non-modal designers allow you the flexibility to simultaneously work on designing several database objects.
ZK可以很轻松地处理模态对话框，所以这种技术非常方便。
ZK's ease with handling modal dialogs makes it a really convenient technology to use.
我们将在第25章中讨论丰富的非模态视觉反馈。
We discuss this idea of rich visual modeless feedback in Chapter 25.
表设计程序是一个非模态的、图形化界面，用于指定定义表的信息。
The table designer is a non-modal, graphical interface used to specify information to define a table.
但是，那些模态并不是需要用来描述整个系统的仅有的模态。
But those are not the only modes that are needed to describe the entire system.
图3显示生成的表单， 图4 显示用来选择船只的模态对话框。
Figure 3 shows the generated form and Figure 4 shows how the modal dialog opens while selecting the ship.
函数设计程序是一个非模态的、图形化界面，用于指定定义函数的信息。
The function designer is a non-modal, graphical interface used to specify information to define a function.
用户单击按钮时，将提示用户在模态对话框中输入必需的邮件保持请求信息。
When the user clicks the button, it will prompt the user to enter the required mail retention request information within a modal dialog box.
因此我们现在可以看出，在每次测量结果中有些模态是观察不到的。
So now we can see that the modes cannot be seen in every measurement.
存储过程设计程序是一个非模态的、图形化界面，用于指定定义存储过程的信息。
The stored procedure designer is a non-modal, graphical interface used to specify information to define a stored procedure.
可以使用非模态的设计程序创建和删除数据库对象，例如表、视图、存储过程和函数。
You can create and delete database objects such as tables, view, stored procedures, and functions using non-modal designers.
与向导不同的是，设计程序是非模态的，因此允许您灵活地同时设计不同的数据库对象。
The designers, unlike wizards, are non-modal and hence allow you the flexibility to simultaneously work on designing different database objects.
当需要处理非二进制逻辑的时候，比方说模态逻辑或者机率逻辑，人会表现得更好。
When it comes to non binary logic, for example modal logic or probabilistic logic, humans often perform better.
这里的根本问题是，人人都忘记了一个无约束系统具有弹性体模态以及刚体模态。
The basic problem here is that everyone forgot that an unconstrained system has flexible modes AND the rigid body modes.
firefox2通知的最大问题在于，其中一些方案采用模态对话框强迫用户去回答问题。
The biggest problem with notifications in Firefox 2 is that some of them force the user to answer a question using a modal dialog box.
模态shell常常用于对话框，防止父gui(如果有的话)在关闭子shell之前被处理。
Modal shells, which are most often used for dialogs, prevent the parent GUI (if any) from proceeding until the child shell is closed.
模态shell常常用于对话框，防止父gui(如果有的话)在关闭子shell之前被处理。
Modal shells, which are most often used for dialogs, prevent the parent GUI (if any) from proceeding until the child shell is closed.
应用推荐