Parameter selection and model check are presented in Chapter Five.
参数选取与系统模型验证在文中得到了体现。
When the Assume Linear Model check box in the Solver Options dialog box is selected, there is no limit on the number of constraints.
当“规划求解选项”对话框中的“采用线性模型”复选框处于选中状态时，对约束条件的数量没有限制。
When the Assume Linear Model check box on the Solver Options dialog box is selected, there is no limit on the number of constraints.
当“规划求解选项”对话框中的“采用线性模型”复选框被选中时，对约束条件的数量没有限制。
The trick of writing cross–browser event handling scripts is not to use an overall event model check but to answer all these questions separately.
写跨浏览器的事件处理程序的的技巧在于不要用整体的事件模型而是分别的回答每一个问题。
To model check a value-passing concurrent system, an abstract model must be constructed, and Symbolic Transition Graphs with Assignment is such an abstract model.
对并发传值系统进行模型检测需要建立相应的抽象模型，带赋值的符号迁移图是一种广为使用的抽象模型。
This paper introduced the timed automata and TCTL in brief, and described how to model check the real-time systems based dense time, then we give an example in the end.
本文简要介绍了时间自动机和时序逻辑TCTL，并着重说明了如何进行基于稠密时间的实时系统的模型检测，最后给出了一个应用实例。
This paper discusses how to found its optimal model through the analysis of model check countermeasure and proposes its solution based on linear and non-linear programming.
通过对模型校验策略的分析，讨论了如何建立这一问题的优化模型，并给出了基于线性规划和非线性规划的模型求解方法。
Theoretical analysis and experiments show that the scheme can effectively reduce a program's state space and satisfy the safety requirement imposed by software model check.
理论分析和实验结果表明，条件化可以有效缩减程序状态空间，并且满足软件模型检测对状态缩减的安全性要求。
This paper expatiates on requirement analysis, design and implementation of workflow modeling and simulation tool, and mainly discusses workflow model check and simulation analysis.
详细阐述了工作流建模和仿真工具的需求分析、设计和实现；重点讨论了工作流模型检测和仿真分析。
UML is a powerful language for object-oriented modeling, but it has some explicit drawbacks. For example, it lacks a model check mechanism so it is difficult to keep the consistence of Meta model.
统一建模语言uml存在着面向对象建模的不足，例如，用多个模型表示系统，模型的一致性难以保证。
A computer network vulnerability evaluation system is designed based on attack graph modeling method. The computer network security evaluation tools and model check tools are integrated in the system.
以攻击图建模方法为基础，提出了一种综合利用网络安全评估工具、模型检验工具的计算机网络脆弱性评估系统的设计方案。
This model allows you to spell-check over 100,000 different words.
这种型号允许你检查十万多个不同单词的拼写。
Once this is done for all the use cases, we analyze the Implementation Model of the code to check if some logical grouping of the classes (files) already exists in the code.
一旦对所有用例都完成了，我们就分析代码的实现模型来检查某些类（文件）的逻辑分组是否已经在代码中存在。
Check whether the model is complete and clear and provides detailed level of information about the zones, hardware, software and connection specifications or details.
检查模型是否完整清晰，是否提供了关于区域、硬件、软件以及连接规范或细节的详细信息。
I'd look at the field, check the model, check if their is metadata, etc., and see if it falls into a level.
我会查看这些字段，检查模型，检查它们是否拥有元数据等，并看它们是否可以属于某个级别。
After we create the model, we check to ensure that the accuracy of the model we built doesn't decrease with the test set.
在创建了模型后，我们要进行检查以确保我们所创建模型的准确性不会在测试集降低。
The SOAD framework lets knowledge engineers and software architects manage decision dependencies, so they can check model consistency and prune irrelevant decisions.
SOAD框架使得知识工程师以及软件架构师能够管理决策依赖，这样他们可以检查模型一致性并删除不相干的决策。
It is best to check this option because, during the migration, you will lose the stereotypes applied to the model otherwise.
最好选择此选项，因为否则在移植过程中，您将丢失应用于模型的原型。
Authors: Model-based analysis USES a model program — a kind of executable specification — to check specifications or designs, including communication protocols for example.
作者：基于模型的分析使用了一个模型程序——一种可执行的规格说明书——去检测规格说明或者设计，例如包含了对通信协议的检测。
Until you get the model the way you like it, check the box for If a result with this name exists, overwrite it. Click Next >.
直道以您喜欢的方式取得模型，选中 覆盖相同名称的结果复选框。
DeveloperWorks Ajax Resource Center: Check out your one-stop shop for information on the Ajax programming model, including articles and tutorials, discussion forums, blogs, wikis, events, and news.
developerWorks中国网站Ajax资源中心：查阅关于Ajax编程模型的一站式信息库，其中包括文章和教程、论坛、博客、维基、事件和新闻。
Check to make sure that the TradeSystem model status is started — it should be green.
进行检查，以确保TradeSystem模型状态为已启动，应该为绿色。
Since we currently only want to navigate an Ecore model, we can make this a simple expression that will check the extension of the resource to be Ecore.
因为目前我们只希望浏览ecore模型，所以可以将其处理为一个简单的表达式，用于检查资源的扩展是否为Ecore。
On this particular model of TiVo, there is a hardware security check before the kernel even gets loaded.
在这个特定的TiVo模型中，在加载内核之前，要进行一个硬件安全性检查。
This check is based on a combination of data naming standard preferences and glossary model files. You invoke the analyze model rules by selecting
以数据命名标准首选项和术语表模型文件的组合为基础来执行这项检查。
We do not model how these interactions are accomplished-through telephone, US mail, E-mail, Web application, in person, check, credit card, or cash.
我们不为如何完成这些交互(通过电话、美国邮政、电子邮件、Web应用程序、亲自前往、支票、信用卡或现金)建模。
Thus, glpsol can solve a model with different data sets easily, to check what the solution would be with this new data. The following listing states Giapetto's problem in a much more elegant way.
这样glpsol就可以简单地使用不同的数据集来解析某个模型，从而找到对这些新数据应该采用哪种解决方案。
Validity check (Default: basic validity check) : the validity check verifies that the data model follows the semantic rules for the model format.
validitycheck(默认值：basic validity check)：有效性检查，验证数据模型是否遵从模型格式的语义规则。
Switches to the Modeling perspective, right-clicks on a model fragment in the UML model, and selects Check -out.
切换至Modeling视角，右击uml元素中的模型片段，并选择check—out。
User2 should be prompted to check out all related files model fragments and the UML model.
用户2应该尽快检出所有相关的文件(模型片段以及uml模型)。
应用推荐