添加模型验证规则(第2部分)。
在原型所应用的模型验证时约束被评估。
The constraint is evaluated during model validation in the model where the stereotype is applied.
改进了业务流程模型验证。
模型验证的结果会对用户进行可视化的交流。
The results of model validation are communicated visually to the user.
rda模型验证使用和扩展EMF验证框架。
IDA model validation USES and extends the EMF validation framework.
模型验证的结果表明模型是可靠和有效的。
Verification shows that the model is reliable and effective.
参数选取与系统模型验证在文中得到了体现。
Parameter selection and model check are presented in Chapter Five.
按此方案研制出的实验模型验证了该方案的可行性。
The feasibility of this scheme has been proved by the designed experimental model system.
支持一个模型验证规则，它警告您语义学元素何时被放置到包中。
Supports a model validation rule that warns you when semantic elements are placed in package.
本文同时揭示了限制编程的一个新的应用领域模型验证。
This paper shows a new domain in which constraint programming can be exploited as model verification and validation.
举例来说，模型验证会捕获例如对 C#委托的不正确的建模的错误。
For example, model validation will catch errors such as incorrect modeling of C# delegates.
其好处是你可以在服务器端进行模型验证，并在必要时扩展模型。
This gives you the benefits of model validation on the server side, and makes it easier to extend your model if needed.
应用理论模型验证了最短射线路径的优化循环迭代算法的可行性；
The optimized cycling alternation algorithm for the shortest ray path is brought forward and the optimized shortest ray path is given.
经过模型验证，新模型具有可行性和可操作性，可以进行系统开发。
After the model validation, the new model is feasible and practical, which can develop a system.
研究表明，直观对比和统计推断都是模型验证过程中行之有效的方法。
The results indicate that the straight comparison technique and the statistical inference technique are all effective method for model verification and validation.
全范围模拟机的模型验证以及硬件设备的试验不在本文介绍的范围之内。
This paper doesn't cover the model validation and the hardware testing of the full scope simulator.
模型验证结果表明，所建立的工区储层地质模型可信程度高，真实性强。
The model results show, the established geologic model in the work area enjoys high credibility and truth.
将来，为了支持可视化的建模，可能会出现UM l概要文件，以及相关的模型验证。
In the future, UML profiles and associated model validations may emerge in order to support visual modeling.
示例包括在逻辑消息树中创建具有正确数据类型的对象，以及根据模型验证xML。
Examples are creating objects in the logical message tree with the correct data type, and validating XML against the model.
并强调了模型设计过程中要注意的数据提取、数据预处理、模型验证等问题。
And it emphasizes some questions in the model designing, such as data distilling, the pretreatment, model validating.
另外了提出了一种新型的图形归约和图形展开相结合的验证方法及过程模型验证算法。
In addition, we propose a new verification method combining graph reduction and graph spread, also the algorithm of verifying process models.
这将使得你能够得到服务器端的模型验证，并能够根据需要今后轻松的拓展你的模型。
This gives you the benefits of model validation on the server side, and makes it easier to extend your model if needed.
提出了空气环境容量核定中扩散模型验证的有效指标，简述了满足指标应当采取的措施。
This paper presents an effective guideline to verify the diffusion model in air environment capacity, and discusses the measures to meet the targets.
通过油藏数值模拟的历史拟合精度来评价地质模型的可靠性，由动态模型验证静态模型。
Reliability of the geological model was evaluated by history matching precision of oil reservoir numerical simulation. Static model was validated by dynamic model.
对模型验证策略的研究可以消除在模型设计阶段出现的冗余组态，提高移动系统的设计水平。
Study of model checking strategy can eliminate the redundance configurations which exist in the model design and help to improve quality of the design of mobile system.
研究了三角网格模型上顶点曲率的估算方法，并用参数曲面的网格模型验证了曲率估算的精度。
The main contents are as follows:A vertex curvature estimation method for triangle mesh is researched and the accuracy of curvature estimation is verified by parameter surfaces.
模型验证是通过计算水波波高衰减率和底床软泥体输移速度，并与有关的实验测量数据进行比较。
Model verifications are given through comparisons between the calculated and the measured bed mud mass transport velocities as well as the rate of decay of water wave heights.
模型验证是通过计算水波波高衰减率和底床软泥体输移速度，并与有关的实验测量数据进行比较。
Model verifications are given through comparisons between the calculated and the measured bed mud mass transport velocities as well as the rate of decay of surface wave heights.
松散的契约完成意味着各个部分将会根据架构师的要求扮演那些角色，但是模型验证并不验证角色和部分功能。
Loose contract fulfillment means that the parts are intended to play those roles according to the architect, but model validation does not and perhaps could not verify role and part compatibility.
对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。
A model verification algorithm based on DTMA and the subset of DTMA modal logic is devised, and the decidability of the model verification is proved.
应用推荐