查询词典 interfaces

In order to guarantee the correction of the design of system, it needs to specify and verify it rigidly. The formal description and verification by use of LOTOS (language of temporal ordering specification) and ACTL are given out in this paper. These allow people to study, evaluate and define the dynamic behavior of current user interfaces.

为了保证系统设计的正确性，文章讨论了如何使用形式化描述语言LOTOS(language of temporal ordering specification)和基于动作的时序逻辑ACTL对系统进行描述与验证，这有利于人们对交互式用户界面的动态行为进行研究、评估与定义。

I became familiar with the basic structure of UMTS such as Utran and Core Network and got to know the basic configuration information of hardware such as Call Server, Media Gateway and some important interfaces like Lub and Lur and Ranap and Map protocols.

在两个月的时间里熟悉了UMTS的基本网络结构：UTRAN和CORE NETWORK，了解了基本的硬件配置：CALL SERVER， Media gateway等，知道了Iub， Iur等一些重要接口并了解了RANAP， MAP等主要协议，这为后来的学习工作打下了良好的基础。

This system can be used in many kinds of experiments, for example on interfaces, man-machine interaction, wireless communication and operating system.

本系统可适用于接口类、人机交互类、无线通讯类和操作系统类的实验。

It is also one of the ideal man-machine conversation interfaces.

语音通信是一种理想的人机通信方式。

I will describe now the interfaces that can be used to manipulate grid elements.

现在我将描述的接口，可用于处理网格的内容。"/页"

In the interoperation processing concerning multiple heterogeneous data sources, schema merging spanning them is one effective aspect in providing both the data querying/manipulation and the application program interfaces in a consistent, unified style.

在涉及多个异构数据源的互操作处理中，跨数据源模式合并是提供形式一致、概念统一的数据查询/操纵界面和应用程序接口的主要途径。

This paper introduces the design interfaces management in the construction of nuclear power plant through the Interface Control Manual.

介绍了在核电工程建设中应用接口控制手册进行设计接口的管理。

In this paper, the author introduces component and OpenGIS including the specification of Spatial Reference System Components —Interfaces and Classes. After analyzing and comparing several methods of map projection transformation, the author chooses the inverse transformation method as the main one.

本文首先介绍了组件技术和OpenGIS规范及其有关空间参照系统的接口和组件对象的定义，在对几种地图投影变换方法进行分析比较之后，选择反解变换法作为主要方法。

This sample, and accompanying article, will illustrate how to implement and call Automation interfaces that support VTBL binding by providing a type library and by using the marshaller provided by Automation.

安装本更新程序可添加一些新功能，通过这些新功能，您可以使用新版本的 GDIplus 来控制不同文件格式的呈现。

Again, the variation of the giant-magnetoresistance is proportional to temperature. It does not change when the mean free path of the electrons, those locate at the interfaces and have downward spins, increases.

增加和减小部分基本上与温度成比例，也不随界面处自旋向下的电子的平均自由程的增加而发生改变。

"Second Life is remarkably easy to work with, and is very popular,"

"第二次生命是显着容易的工作，并且很受欢迎，"

For example, we usually assume that materials are homogeneous and isotropic and free of internal defects or flaws.

为了得到适合有限元分析的模型，我们必须经过如图2所示的简化步骤。