两分

The solid immersion lens can be used into an optical storage system It provides the high NA of the system and uses the evanescent wave to produce extremely small optical spots Two proposals about a SIL are given out here The first one is that the protecting layer of the recording layer can be used as one part of the hemi spherical SIL So the recording layer is not polluted The second one is that a SIL can be used at same time in a double layers storage The first recording layer is used a...

固体浸没透镜用于光存储光学系统增大了光学头物镜的数值孔径，利用近场倏逝波读写，减小了光斑的直径，提高了存储密度。文中建议：(1)将半球SIL分割成两部分，其中一部分由存储媒质的保护层充当，避免直接污染记录层；(2 )在半球SIL单层读写的基础上，再将第一层记录媒质作为SIL的一部分形成超半球齐明SIL ，以实现双层存储。并对此时的近场进行了解析分折

The experimental results show that the imperceptibility and robustness of the last method can be guaranteed and its synthetic performance is better than those former methods.

实验结果表明结合小波变换和分形编码的水印算法具有良好的鲁棒性和不可见性，其综合性能优于前两种算法。

There are two parts in the final test, one is the prepared dialogue which accounts for 75% and the other one is the improvisational conversation between the teacher and the two of you which accounts for 25%.

期末考试分两个部分，一部份是你准备好的对话，占 75%；另一部分是老师即兴和你中的一个的交谈，25

For example, we analyzed why this construction came into being in Chinese, the essential reason is that t here is not the distinction of verb's definite form and indefinite form,(改为: there is no distinction between verb's definite form and indefinite form)and, parataxis in sentence making.

如我们考察了一个汉语中连动结构产生的原因，汉语中连动结构产生的根本原因有两条：汉语动词没有限定形式和非限定形式之分，以及汉语中的意合组句的方式。

The factors affecting quality index of biaxial oriented polypropylene speciality resin (WH-T36F), such as isotactic index , melt flow index, and ash specification were analyzed, based on the last two years'production data of the plant.

根据装置近两年的生产情况，对影响双向拉伸聚丙烯专用树脂WH-T 36 F质量指标的因素(等规指数、熔体流动指数、灰分)进行了分析。

Fiber is the indigestible carbohydrate found in plant cell walls and is either soluble or insoluble.

纤维是在植物细胞壁中不能消化的碳水化合物，分水溶性及非水溶性两种。

The paper consists of six chapters. Chapter One is the theoretical background, we review the course of mechanical theorem proving and briefly introduce the main mechanical theorem prover of the last decade, Among them, we stress on the Boyer-Moore theorem prover and its throretical foundation a computational logic. In Chapter Two, we discuss two theorem proving tactics. One is the rippling-out tactic, which is a tactic for manipulating the induction conclusion to enable the induction hypothesis to be used in its proof, because it extremely restricts the search space, so it has high efficiency.

全文共分六章，第一章是理论背景知识，回顾了定理机器证明的历程，并对近十年来的主要定理证明器作了扼要的介绍，其中，着重介绍了计算逻辑及Boyer-Moore定理证明系统；第二章讨论了两种定理证明策略，一种是波动策略，它是一种在证明中通过处理归纳结论来激活归纳假设的策略，由于极大的限制了搜索空间，因此搜索效率高。

A special case is that two distinct arguments, which belong respectively to two subevents, compete for the same θ-role. What should be done then is to make one of the arguments implicit so that every θ-role is assigned to one argument only. When the verb means bodily emission or congestion, its highly inferable argument as the entity in motion is often made implicit too, leaving an empty space for the θ-role.

比较特殊的情况是分属于两个事件的不同论元争夺同一语义角色，这时须隐藏其中一个论元，使每一个语义角色分且仅分给一个论元；而当动词意为"体物外排"或"外物内纳"时，作为运动实体的论元因为不言自明也常被隐去，留下一个语义角色空位。

In chapter 5, using the method of the spectral theory of operators, we consider condition under which the infimum A∧B exists for two quantum effects A and B.

第五章用算子谱理论的方法和算子分块技巧，研究了Hilbert空间上两个效应的下确界问题。

In this thesis, we investigate the properties of two classes of infinite dimensional Markov processes, measure-valued branching processes with immigration and distribution-valued generalized Ornstein-Uhlenbeck processes.

在论文中，我们将研究两类无穷维马尔可夫过程的性质—带移民的测度值分枝过程和分布值广义Ornstein-Uhlenbeck过程。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。