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框架使得知识工程师以及软件架构师能够管理决策依赖,这样他们可以检查模型一致性并删除不相干的决策。
检入模型。
If you're considering the white model, check it out in the store first.
如果你想买白色的,就要先在店里检查清楚。
Click OK to check out the model project.
点击OK以检出模型项目。
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 >.
直道以您喜欢的方式取得模型,选中 覆盖相同名称的结果复选框。
Check to make sure that the TradeSystem model status is started — it should be green.
进行检查,以确保TradeSystem模型状态为已启动,应该为绿色。
On this particular model of TiVo, there is a hardware security check before the kernel even gets loaded.
在这个特定的TiVo模型中,在加载内核之前,要进行一个硬件安全性检查。
To check in the model file as user1.
要通过User 1检入模型文件。
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就可以简单地使用不同的数据集来解析某个模型,从而找到对这些新数据应该采用哪种解决方案。
Do not check in the Design Model.emx model file in User2's workspace?
不要在User2的工作空间中检入Design Model . emx模型文件。
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模型)。
应用推荐