查询词典 parameterized

Though in general the verification problem for parameterized systems is undecidable, decision procedures have been discovered for verification of subclasses where systems consist of many identical, finite state processes.

分布式模型检测方法是一种能从根本上解决状态爆炸问题的方法，它利用分布主存环境，理论上存在一个容量无限的存储环境，因此在解决状态爆炸问题上具有一定的潜力。

Therefore, the development trends are: to establish the dynamic NSP pollutant transport and transformation model which can be applied easily to ordinary natural watershed; to study the estimation methods of NSP load and model parameterized in terms of geomorphic parameters (Horton's numbers) for ungauged watershed.

因此，发展趋势为：第一，建立以污染物迁移转化机理为基础的、适合于野外流域和便于推广应用的非点源污染负荷模型；第二，研究无资料地区的非点源污染负荷估算方法与模型参数估计途径。

This paper introduces an adaptive practical output tracking control algorithm for inverted pendulum which is a nonlinearly parameterized system with unmodeled dynamics.

本文介绍带有未建模动态的倒立单摆非线性模型的全局自适应实际跟踪输出控制器的设计。

Chicken feed of model 661 is regarded as raw material of pellet feed, the influence that experimental factors including modulation-character temperature, modulation-character moisture, grease-additive quantity, and comminuting granularity have on making pellet quality, productivity, and electricity consumption. UG and ANSYS are regarded as simulating circumstance in finite element analysis, for problem on service life of the machine, evaluation index that average stress of a series of parameterized loop die is regarded as service life of hoop standard granulator is achieved by dynamic, static, and thermal structure coupling analysis for key part: loop die of the machine. For every influencing factor the experimental arrangement of array and combination is made by adopting optimizing idea and method of experimental design, the aim of quantification analysis is strived to arrive.

在试验设计中，采用正交试验的方法，以611型鸡饲料作为颗粒饲料的原料，分析混合饲料的调质温度、调质水分、油脂添加量、粉碎粒度等试验因素对制粒质量、生产率、电耗的影响；有限元分析中以UG、ANSYS作为仿真环境，针对制粒机使用寿命的问题，通过对环模制粒机中的关键零件环模进行动力、静力、热结构耦合分析，获得一系列参数化后的环模的平均应力作为环模使用寿命的评价指标；以实验设计的优化思想和有限元分析方法对各个影响因素作了排列组合式的实验安排，力求达到量化分析的目的。

A new approach to develop parameterized dimensioning system based on pattern matching and logic reasoning is presented.

研究了一种新的参数化尺寸标注机理，提出了基于模式匹配及其推理的方法。

It can easily construct various virtual coal mines by endowing parameterized models with certain parameters and attributes.

该工具通过调用参数化模型并赋予一定的参数和属性，可以很方便的构建出各种虚拟矿井环境。

Fully use the function of Pro/E parametric technology to achieve the three-dimensional parameterized modeling of involute helical gear with displacement angle.

充分运用Pro/E软件的参数化技术，实现渐开线角变位斜齿轮的三维参数化建模。

Based on the theory on the design of the solid liquid two-phase flow centrifugal pumps and considering the characteristics of the soil under water and the operation characteristics of the dredge pump, the design method of the dredge pump impeller is presented, the corresponding Visual Basic program is developed and the solid model of impeller is also created by using Pro/E. The parameterized design of the slurry pump is realized.

本文在现有的固液两相流泵设计理论的基础上，针对疏浚工程土质特性和疏浚泥泵工作特点，提出了疏浚泥泵叶轮的设计方法，开发了相应的Visual Basic程序，并应用Pro/E进行了叶轮实体造型，实现了疏浚泥泵叶轮的参数化设计。

After basic theory and definings of Voronoi diagram and also parameterized bisectors have been analyzed,two main algorithms of simple-connected at present have been compared;adjust the algorithm of initialization and data construct so as to obtain the algorithm could used in practice; extand the idea of wavefront-propagation algorithm to computing multi-connected voronoi diagram.

通过对Voronoi图的基本理论、定义和参数化平分线公式的分析，以及对两种主要单连通域Voronoi图算法的比较，作者改进了初始化算法和数据结构，得到便于工程应用的单连通域Voronoi算法，并将波阵面传播的思想扩展应用到多连通域的Voronoi图计算，形成新的多连通域问题算法。

The first forgoes the use of both array objects and array types whose element type is parameterized .

第一个放弃使用数组对象和其元素类型被参数化的数组类型。

For a big chunk of credit-card losses; the number of filings (and thus charge-off rates) would be rising again, whether

年美国个人破产法的一个改动使得破产登记急速下降，而后引起了信用卡大规模的亏损。

Eph. 4:23 And that you be renewed in the spirit of your mind

弗四23 而在你们心思的灵里得以更新