触发的

Hence we can map ELOTOS to RPPM according to the trace equivalence. We describe the qualitative properties with deterministic timed automaton . The key of our qualitative model checking algorithm is how to map continuous time to finite intervals by constructing equivalence classes.

该算法构造等价类的思想是：通过触发事件剩余延迟时间与DTA中时钟时间值或其它事件的剩余延迟时间值的相互关系将连续时间映射到有穷个加了标志变量的时间区间，标志变量表示这种相互约束关系。

In the first part of this dissertation, a new type of fault current limiter based on triggered vacuum switch is proposed.

在综合分析了已有的各种故障电流限制器的基础上，本论文首次提出了一种符合我国国情的，适用于高压和超高压输电系统的方案，即基于真空触发开关控制的故障电流限制器。

A scheme was presented to transmit 272 signals between time of flight counter electronics and trigger electronics in Beijing Spectrometer Ⅲ, using the chipset of serializer/deserializer and optical transceiver, achieving reliable long-distance transmission with only minute error rate.

在北京谱仪改造中，提出了使用并串／串并转换的方式通过光纤传输272路飞行时间计数器电子学信号给触发系统的方案，实现了误码率极小的可靠性长距离传输，并且验证了光纤传输在高密度信号远距离传输中的传输可靠性。

In contrast, TLR2 triggering has been demonstrated to play a role in the induction ofcytokines by glycolipid antigens of Trypanosoma cruzi (Campos et al., 2001) and by purified protein derivative of Mycobacterium tuberculosis

与此相反， TLR2触发已经证明中发挥作用的诱导细胞因子的糖脂抗原的克氏锥虫（坎波斯等。， 2001年）和纯蛋白衍生物的结核分枝杆菌

Because of its user-friendly, object-oriented interface, Zone Trigger is hands-down the easiest motion detection software to use.

因为它的用户友好，面向对象的接口，带触发是手式最简单的运动检测软件的使用。

Race of powerful southwest field, low altitude, to Yingdede area in a steady stream offerred enough lunt; ceaselessly close ground layer is in low chamfer brim, force is not steady energy grow in quantity, the generation that is durative strong precipitation was offerred spark enoughly mechanism.

强劲的西南风场、低空急流，向英德地区源源不断地提供了充足的水汽；近地面层处于低槽边缘，位势不稳定能量增多，为持续性强降水的产生提供了足够的触发机制。

Introduced the principle of this angel measuring system first. Then discussed the interface circuit between the AD2S82A and the DSP controller in detail.At last,gave a multi channel and high speed interface circuit which is composed of 3-state latches and monostable multivibratores.

介绍了这种测角系统的组成和工作原理，研究了它与DSP处理器的接口问题，并利用三态锁存器和单脉冲触发芯片，设计出了一种适用于多通道系统的高速接口电路，解决了DSP一次读取多片AD2S82A所造成的大量时间延迟问题。

Therefore, CRP could mediate E-LDL participating in the early stage of atherogenesis. CRP is an ancient conserved protein whose initial role as a pattern recognition molecule may have been to defend against bacterial infections, but whose present biological role appears quite complex. CRP is protective against a variety of bacterial infections and inflammatory stimuli as an opsonin. It is likely that the activity of CRP in humans is either pro- or anti-inflammatory is dependent on the context in which it is acting.

由于CRP的识别相可以结合被暴露出磷酸胆碱结构的E-LDL，形成E-LDL／CRP复合体，而内皮细胞表面能以高亲和力识别CRP的配体相，从而CRP-相性结构具有结合E-LDL，被内皮细胞捕获，引起脂质沉积和激活补体、触发炎症反应的可能性，这样可以解释早期动脉粥样硬化为何同时存在E-LDL、CRP、补体，而这三种物质在同时、同地出现绝非一个巧合。

The oversubscription level will trigger an automatic reallocation giving retail investors 20 per cent of the IPO instead of 5 per cent.

目前的超额认购水平将触发股份的自动重新分配，散户投资者将获得发行股份总数的20%，而不是之前的5%。

The story is based on a study of the 3-D structure of an enzyme called pantothenate kinase, which triggers the first step in the production coenzyme A, a molecule that is indispensable to all forms of life.

整个故事基于泛酸激酶的三维结构的研究，它触发辅酶A产生过程的第一步，辅酶A对于所有生命来说都是不可缺少的。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。