查询词典 constructing

The latest constructing machine and the newest technology were adopted to ensure that the borehole is perpendicular to the rock face of roof and that the depth of borehole and the torsional moment of the anchoring bolt meet the design requirement.

采用最新锚杆施工机具及工艺，保证钻孔垂直于顶板岩面，孔深及锚杆扭矩满足新型机械锚杆的设计要求。

This paper gives a new method of constructing n-copulas depends on the law of total probability.

本文借助于全概率公式的思想，提出了一种新的构造多元copula的方法。

The constructing process of the algorithms itself indicate that they are brevity and have definite geometric meaning, scientific iterative terminal criterions and no strict requirement to function. Finally, some digital experimentation is presented to indicate the algorithms application in solving the problem of maximum of function, transcendental equation,integer programming and so on. The results indicate that the algorithms have more global and more adaptability compared to traditional algorithms and have more calculating efficiency and more scientific iterative terminal criterions compared to some present popular artificial intelligence algorithms.

算法的构造过程本身表明了该算法简单明了、几何意义明确、迭代终止准则科学、对函数的要求较低；最后举了几个数值试验的例子以说明该类算法在求函数的最值，解超越方程以及整数规划等问题中的应用；数值试验的结果标明该算法比单纯由"微分"思想演化而来的传统算法有更好的全局性和对问题的更广泛的适应性，比现在流行的一些人工智能方法有更高的运算效率和更适当的迭代中止准则。

Each can be defined in essentially two different ways : either by constructing an explicit well-ordered set which represents the operation or by using transfinite recursion.

每个都可以用本质上两种不同的方式定义：要么通过构造表示这个运算的明显的良序集合要么使用超限递归。

Then, the diagrams are transformed into a Markov chain based analysis model by constructing an intermediate model called Component Transition Graph.

在此基础上，通过构造一个称为构件转移图的中间模型，将标注了可靠性信息的UML模型转换为Markov链。

Firstly, system model depicted by TSIOA is transformed into an USTGSS (untimed stable label transition graph of symbolic state) which does not contain abstract time delay transitions. Then, the testing methods based on LTS are used to the generate transition sequences from USTGSS according to structural coverage criteria. Finally, a process of constructing and executing the test cases is given, in which object functions of time delay variables are imported, and time delay variables used in the transition sequences are solved dynamically by linear programming techniques.

该方法首先将时间安全输入/输出自动机描述的系统模型转换为不含抽象时间延迟迁移的稳定符号状态迁移图(untimed stable transition graph of symbolic state，简称USTGSS)；然后采用基于标号迁移系统(labeled transition system，简称LTS)的测试方法来静态生成满足各种结构覆盖标准的包含时间延迟变量迁移动作序列；最后，给出了一个根据迁移动作序列构造和执行测试用例的过程，该过程引入了时间延迟变量目标函数，并采用线性约束求解方法动态求解迁移动作序列中的时间延迟变量。

The issues of Intuitionistic Fuzzy resembling relations and the construction of IF equivalent matrixes get deeply into investigation, and a method for constructing IF equivalent matrixes by finding the transitive closure is proposed with a related proof in theory.

对直觉模糊相似关系和等价矩阵构造问题进行了深入研究，提出一种利用求传递闭包来构造直觉模糊等价矩阵的方法，并从理论上给出了相关证明。

For the moment, the company is constructing a new generation net translation platform to better reinforce the development of the translation group, improve the translation procedure and intensify professional service consciousness.

目前，公司正在构建新一代的网络翻译平台，以更好地加强翻译队伍的建设，改进我们的翻译流程，强化专业的服务意识。

By constructing proper upper-lower solution s,the existence of travelling wave solutions was proved.

通过构造适当的上下解，证明行波解的存在性。

Testing in terrain relief, and the algorithms can optimize the structure of TIN nicely.(2) According to the smoothness of the terrain and correlation between adjacency data points, the paper studied the possibility of smooth surface constructing of DEM based on TIN. Then based on Tayor fomula, vertical normal vector, triangular decomposition, continuous and smooth of surface and so on, a new kind of interpolate model of DEM was proposed based on TIN.

2分析原始地形起伏变化的连续光滑性以及邻近数据点之间的相关性，探讨了基于TIN的DEM光滑曲面构造的可行性，并基于二元泰勒公式、三角面剖分、曲面的连续光滑性等，提出了一种TIN上的DEM表面光滑插值模型，并通过构造数学曲面进行精度评估，并对模型进行了可视化分析。

Recall that, in the Kolmogorov axiomatization, measurable sets are the sets which have a probability or, in other words, the sets corresponding to yes/no questions that have a probabilistic answer.

延期开工的Kolmogorov宣布要衡量所有套职能有限许多坐标限制在于衡量子寅。换句话说，如果是/否的问题回答f可看的价值观念在许多最有限坐标，然后它有一个概率的答案。

The experimental results showed that the algorithm can filter singular points and remain fixity of the target edge.

实验表明：基于模糊理论的图像智能滤波方法比常规图像滤波方法运算量小，它既能去除奇异点，又能保持图像中目标的边缘不变性，具有很好的滤波效果。