查询词典 duplication formula

In this paper, a method from the basic matrix of MU(1) formula is used to prove that a tree resolution proof for an unsatisfiable formula F can be transformed into a homomorphism proof from a MU(1) formula for F.

利用基础矩阵的方法证明了：一个不可满足公式 F 的树消解证明，可以在多项式时间内转换成一个来自 MU(1)中公式的同态证明。

We first prove a formula to calculate the magnetic field in the internal region of magnetized objects on the viewpoint of magnetization, and then use the formula to define the point-function demagnetizing tensor and also prove some properties of the tensor. Finally we use this formula to construct a new method to predict the induced magnetic field of naval vessels in a nonuniform applied field, and we call it 'the Magnetization Method', in which the point-function demagnetizing tensor is used.

首先证明了一个基于磁化观点的铁磁物体内部磁场强度计算公式，随后通过该公式导出了点函数去磁张量的概并证明了它的一些性质，最后利用此公式构造了一个预测非均匀外场中舰船感应磁场的新方法——磁化强度法，且在该方法中用到了点函数去磁张量。

Results: The ratio of Lactobacillus bulgaricus and Streptococcus thermophillus is 1:1. The optimum formula of the expanded fermentation is: tomato and carrot juice 3:7, glucose 2%, NFM 4%, and vaccination 3%. The optimum formula of the fermented liquid is: tomato and carrot juice 3:7, fermentation temperature 41℃, fermentation time 24h, and the amount of vaccination 3%. The optimum formula of fermented beverage is: sucrose 5%, citric acid 0.02%, CMC 0.2% and xanthic gluc 0.03%.

结果：用保加利亚乳杆菌和嗜热链球菌按1：1比例作为菌种；种子扩大液的最佳配方：番茄、胡萝卜混合汁配比3：7，2%葡萄糖，2%脱脂乳，3%接种量；发酵液最佳配方：番茄、胡萝卜混合汁配比3：7，发酵温度41℃，发酵时间24h，接种量3%；发酵饮料调配最佳配方；发酵原液中添加蔗糖5%，柠檬酸0.02%，耐酸羧甲基纤维素钠0.2%，黄原胶0.03%。

The formula relation trees are reconstructed into MathML document on the basis of the realized relation trees generated from the formula symbols recognition and structure analysis programs.A formula editor is designed to re-edit and reuse formulas.

在已实现的公式符号识别与结构分析程序所生成的公式关系树基础上，将公式关系树重构为MathML文档，并设计公式编辑器，实现了公式的再编辑和重用。

She is good at summed up the work that which is good and which is to be improved. and in a timely manner after the completion of their classification by the stall for future reference, to avoid duplication of work; She also uses his solid expertise knowledge set up an electronic filing system to further improve work efficiency .

她善于对工作进行总结，提炼出该项工作的出色之处以及应改进的地方，并在工作完成后及时将其归类备档，以便日后查阅，避免重复劳动；她还利用自己扎实的专业知识，制作电子档案系统，进一步提高工作效率。

For example,the maintenance of multiple networks can require additional staff.often,this staff must be trained on multiple vendor technologies,sometimes requiring parallel groups specializing in each （72） hence,additional maintenance procedures must be maintained and administrative records are （73） the duplication of trasport facilities to carry （74） network traffic is an inefficient use of resources and,not surprisingly,more technologies installed in a central office mean the necessity for more physical space,and an increase in power connections and power consumption.migration of these （75） network elements to IP-based DCns is alogical strategy

例如，维护多个网络需要增加工作人员。通常这些人员必须培训，以便熟悉多种制造商技术，同时还需要熟悉不同平台的许多工作小组。因此，额外增加的维护过程使得各种管理记录激增。承载着不同网络通信的多种传输设施造成了资源的无效使用。很自然的推论就是，更多的技术装置配备在交换局中意味着需要更大的物理空间，增加了动力设备和电源消耗。这些遗产网络元素逐步迁移到基于IP的DCN是符合逻辑的策略。

In which the taxa and the formation of elements in the event that there are different degrees of relevance, in the geographical distribution of the performance space for a variety of duplication, or showed a certain alternating sequence.

其中各分类单元在发生和形成因素上有不同程度的相关性，在地理分布上表现为多种空间上的重复，或呈一定顺序的交替出现。

This favors that amphioxus retains a genome uncomplicated by extensive gene duplication.

这支持了文昌鱼基因组没有发生广泛倍增的观点。

Suddenly, the cost of duplication was lower than the cost of appropriation.

突然，复制的成本低于自己创造的成本。

ARPA was both conducting communications research and trying to study how to conserve funds by avoiding duplication of computer resources.

在研究通讯的同时，ARPA也在试图寻找如何通过避免计算机资源的重复来节省资金。

The two-acre Dunbar Community Garden in Little Rock has served as a model for several years.

几年来，坐落于小石城，占地两英亩的邓巴社区菜园树立了一个标杆。

Jerry points to the jacket hanging in the bathroom. It's ruined, and unwearable What?

杰瑞指着洗手间里挂着的夹克，毁了，不能穿了）什么？