嵌入的

But, by semantic embedding the theorem derivations in object logic usually descends to ones in base logic, which not only requires users know the encoding quite well, but also lower the abstraction level of object logic, and readability and hand-reexecutability of proofs.

但是，语义嵌入方式下目标逻辑定理推导常常向基逻辑下降，这不但要求用户了解编码细节，而且也大大降低了目标逻辑的抽象性以及PVS一向追求的证明可读性和手工可再现性。

In chapter one,we briefly introduce sometypes of designs and related embedding problems and results.

第一章介绍了有关概念及相应的嵌入问题的背景及研究结果。

Based on the concept of false neighbor, this paper gives the method of computing suitable embedding parameters.

在虚假邻域概念基础上，给出了合适的嵌入参数的确定方法。

In this paper, the wavelet decomposition and re-composition are applied to the watermark embedding and detection.

数字水印的嵌入和检测是通过小波分解和重构实现的。

This paper introduces the adaptive algorithm of the digital image watermark embedding and digital extraction, achieved good results.

详细说明：本文介绍了自适应算法的数字图像水印嵌入和数字提取，取得了良好的效果。

To improve the embedment and management of a decision-making model in an information system, an optimal text recognition algorithm is developed.

设计优化模型文本识别算法的根本目的，就是解决信息系统项目中决策模型的嵌入和管理问题。

Chapter 5: Discussing the influence of cultural system on paroleessocial support network by using the theory of dual embedment.

第五章从行动的"双重嵌入"出发，研究假释犯对象在解构和重构其社会支持网络过程中文化制度背景的影响。

The invisible OLED display is embedded in a translucent lens encasement, giving the phone a futuristic touch.

无形OLED显示屏被嵌入在一个半透明的镜头罩，使手机的未来联系。

After studying correlation of color components, presented a new erasable watermark algorithm for color images.

通过研究自然图像色彩分量之间的相关性，提出一种在彩色图像中嵌入可擦除水印的新方法。

The flare-up is coming from a knot of hot gas, called HST-1, embedded in the jet.

闪光来自嵌入喷流中的一个称为HST-1的灼热气体节。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。