查询词典 in process of

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)的测试方法来静态生成满足各种结构覆盖标准的包含时间延迟变量迁移动作序列；最后，给出了一个根据迁移动作序列构造和执行测试用例的过程，该过程引入了时间延迟变量目标函数，并采用线性约束求解方法动态求解迁移动作序列中的时间延迟变量。

In process of analyzing key techniques, the redundancy to store truth table of all indexes in original method was pointed out.

在分析实现各个关键技术的过程中，阐明了原方法存储每个指标真值表的冗余性。

Because the properties of the hexagonal boron nitride particles are much different from those of the yttria powders,resulting in some problems in process of preparing the hBN shell mould .

在型壳制备过程中除了使用氮化硼作为面层造型材料外，用钇溶胶作为粘结剂，同时通过加入少量的氧化钇来改善氮化硼基复合型壳的性能。

Avidya is the cause of all the other obstructions whether they be latent, in process of elimination, overcome, or in full operation.

无明所有障碍的主因，无论是隐藏还是显见的，在修进中均贯穿其中。

Also design method of blasthole spacing in pre-splitting blasting is discussed, and the writers hold that primary fractures should be considered in process of hole-spacing design.

同时还讨论了预裂炮孔间距的设计方法，认为在炮孔间距设计时，应考虑原生裂缝的存在。

As compared with traditional esterification, the cost of dehydrogenation was lower than that in process of esterification, and the actual yield reached 82% over 76.9% in esterification.

并将脱氢法与传统的酯化法进行了比较，脱氢法的成本要低于酯化法，且其实际收率达到了82%，超过酯化法的76.9%。

It is putative that some physiological mechanism in metabolism and regulation is developed by Kosteletzkya virginica as an adaptive response to salt tolerance in process of chronic evolution.

上述结果推测：海滨锦葵已经在长期的高盐环境下进化出独特的耐盐生理的调控和代谢机制。

The purpose discusses RUNX3 to gene is conveyed and open mover methylic change in colon the action in process of cancerous happening development reachs his clinical meaning.

梗概： 目的探索RUNX3基因表达和启动子甲基化在结肠癌发生发展过程中的功能及其临床意义。

We studied submerged fermentation kinetics of Morchella. Applying the genetic Algorithm in the Matlab software platform, we compared suitability of the Monod and Logistic models, both are commonly used in process of fungal growth, to describe Morchella growth kinetics.

本研究对羊肚菌液体深层发酵动力学进行了研究，在Matlab软件平台上，应用遗传算法对比了真菌生长较常用的Monod与Logistic方程在描述羊肚菌生长动力学时的优劣，并对羊肚菌的生长、胞外多糖产生和基质消耗模型进行了参数估计。

Based on the studies of moderate temperature isomerization catalysts carried out by domestic and foreign researchers, the paper systematically discussed the influence of a variety of factors in process of commercial preparation on the performance of catalyst which applied Pd as its metal component and HM as its acid carrier. The paper also explored the deactivated reasons of catalyst and its regenerating measure. Preparation of mordenite and scaled up production of catalyst, stability of catalyst was demonstrated in a 100kt/a commercial plant. The findings provide important basis for preparing Pd isomerization catalyst and industrial application.

本文在国内外学者对中温异构化催化剂及工艺研究的基础上，以钯作为金属组份，氢型丝光沸石作为酸性载体，系统研究了工业制备过程中各种因素对催化剂性能的影响，以及催化剂失活的原因及再生方法，进行了丝光沸石及催化剂的放大生产，并在10万吨/年工业装置上考察了催化剂的稳定性，为制备载Pd异构化催化剂及工业应用提供了重要依据。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失