查询词典 composable

This makes them potentially composable through the | operator of the command language: A | B represents a program which will take A's input, have A process it, send the output to B as input, and have it processed by B.

这使它们通过命令语言中的操作符|来潜在的组合起来： A | B表示一个程序输入A，并输出B。这个系统的定义证实了软件工具的组合性。

Our contributions can be summarized as follows: proof of security for ID-based signature schemes, design of ID-based signature schemes, and exploration of universally composable security for forward-secure signatures.

本文的主要研究内容包括基于身份数字签名体制的安全性证明与设计，以及前向安全数字签名的任意组合安全性研究。

Using"Simulation Software Bus "to realize a composable mode of simulation software component to construct DIS system, to promote the interoperability and reusability of DIS systems, and to increase the flexibility and scalability of constructing DIS systems.

使用"仿真软件总线"来实现以仿真构件组合模式来构造分布交互仿真系统，提高仿真系统的互操作性和可重用性，增加系统构造的灵活性和可量测性。

Like var, argN is also composable.

类似于 var，argN 也是可复合的。

Internet protocol security ; key exchange ; Internet key exchange protocol ; provably secure ; universally composable

Internet协议安全；密钥交换； Internet密钥交换协议；可证安全；通用可组合

Object-Z extends the Z language with Object, and includes class and inheritance features. The semantics described by Object-Z is not only concise and precise, but also composable and reusable.

Object-Z对Z语言进行了面向对象扩展，包括类和继承机制，描述的语义不仅具有简洁和精确性，而且具有可组合性和可重用性。

Composability ; simulation component ; grid environment ; component repository ; composable simulation system

可组合性；仿真组件；网格环境；组件库；可组合仿真系统

This makes them potentially composable through the | operator of the command language: A | B represents a program which will take A 's input, have A process it, send the output to B as input, and have it processed by B .

这使它们通过命令语言中的操作符|来潜在的组合起来： A | B 表示一个程序输入 A ，并输出 B。

A secure system consists of many sub——systems, even though every one of those sub-systems satisfies a certain security property, the composed system may not be secure, i.e. the composition maybe not satisfy the security property. It does mean that the security property should be composable.

安全系统是由许多子系统组成，每一子系统都必须满足一定的安全性质，但这不能保证由这些子系统组合而成的系统也是安全的，即组合的系统不一定也满足给定的安全性质，所以要求系统的安全性质满足可结合性。

According to the structure and working, we created the composable model for heaven forging manipulator with EELG method. By simulating the load condition in forging process, the relation of manipulator acting and deformation shock would be obtained.

5针对锻造操作机的结构和作业特点，运用可扩展单元线性图方法建立了该系统的复合模型，通过仿真计算模拟了操作机锻造顺应过程的受载状况，揭示了操作机缓冲锻件变形冲击载荷的作用规律。

Don not attempt to do something which you can not to do.

不要企图做那些办不到的事情。

The expression of CTGF and TNF-αweredetected by immunochemistry and the number of Clara Cells was calculated.

光镜下观察肺组织的病理变化，采用免疫组化染色观察肺组织中结缔组织生长因子和肿瘤坏死因子-α的表达和Clara细胞的数量。