查询词典 component force

Then we consider how to relate the interface of a component to its implementation: Verify if the implementation of a component is satisfied with the requst of semantics in its interface by using Hoare logic.

然后我们考虑如何将构件的接口和实现联系起来：利用Hoare逻辑，验证一个构件的实现是否满足其接口中所给出的语义要求。

A vertical component that is too large or a horizontal component that is too small may lead to system instability.

此外，飞行器达到预期加速度的时间长短即飞行器加速度变化的快慢也会大大影响系统的响应。

It is noteworthy that impending motion occurs when the horizontal component reaches a value of μ times the vertical component.

值得注意的是该议案即将发生时，水平分力练到一个μ倍的垂直组成部分。

This method can yield reliable horizontal radial component and tangent component of crosswell wavefield.

这种处理方式能得到稳定可靠的井间波场水平径向分量和切线分量。

Based on the comparison between C / S and B / S architectures and the distributed component technology,a C / S and B / S hybrid component-based software framework is proposed for PMOS.

在对比分析客户端/服务器与浏览器/服务器体系结构和分布式组件技术的基础上，结合系统特点给出了C/S与B/S结构混合模式的一种实用可行的电力市场运营系统体系解决方案。

Based on the comparison between C/S and B/S architectures and the distributed component technology, a C/S and B/S hybrid component-based software framework is proposed for PMOS.

在对比分析客户端／服器与浏览器／服务器体系结构和分布式组件技术的基础上，结合系统特点给出了C／S与B／S结构混合模式的一种实用可行的电力市场运营系统体系解决方案。

The objective of this study is to introduce briefly the basic concept and expression of isotope and the theory of isotopic hydrograph separation,to review the advantages and disadvantages of various hydrograph separation methods which are applied all over the world and to introduce two-component and three-component isotopic hydrograph separation models in details.

简要介绍了同位素的基本概念、表示方法以及同位素示踪流量过程线分割的基本原理。综述了国内外关于流量过程线分割各种方法的优缺点，并对二水源同位素过程线分割模型和三水源同位素过程线分割模型进行了详细介绍和推导。

The dynamic star simulator is a detect device which can simulate night sky on the ground, so as to test the function of the star map identification algorithm of the star sensor, the dynamic star simulator can realize stellar database query, data coordinates transformation and transmission and the star map display updating, the star map dynamic display system is one of the core component of the dynamic star simulator, as well as the key component of the dynamic star simulator realizes miniaturization and dynamic.

动态星模拟器非一类反在地里上模拟星空，以便闭于星迟钝器的星图识别算法入行功能测试的检测拆备，而星图动态现示体解则非动态星模拟器外实现星体数据库快快检索、立本变换、数据传收和星图现示刷旧控造的外口部件之一，也非动态星模拟器实现大型化、动态化的闭键部件之一。

In one aspect the invention is a method and apparatus for incapacipating a person or other animal by use of an array of light emitting elements having a temporal flash component and a spatial scan component in a repeating pattern such that at each repetition of a given position in the pattern a flash rate occurs within the range of flash rates that will cause some level of incapacitation.

在某一方面的发明是一种方法和仪器incapacipating一个人或其他动物所使用的一个数组的发光分子具有颞闪光成分和空间扫描元件在重复的模式，例如，在每个重复的一个特定位置该模式一瞬间发生率范围内，随着闪光利率会造成某种程度的失常。

The results also present that the intermaxillary vertical relation has significantly positive relation with the motion magnitude of the tongue movements; however, the cranial base (component 1) and the maxilla (component 2-4), except the palatal depth, show no correlation to swallowing. Furthermore, arch length is found increased with prolonged duration of swallowing.

在齿颜面形态方面，以上下颚骨垂直关系及下颚第一大臼齿萌出度，和舌头吞咽运动的相关性最为显著，但在离舌头较远处的颅底以及上颚骨的前后、垂直与旋转关系，与舌头吞咽运动较无关联；随著牙弓长度的增加，在晚期终止期的吞咽持续时间会延长。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。