查询词典 structural 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文档，并设计公式编辑器，实现了公式的再编辑和重用。

By decomposing the real growth rate into three elements : structural shocks , structural transformation and labor productivity growth , this paper hurdle this intrinsic weakness of agone research .

通过构造变量，本文将各地区的实际增长率分解为结构冲击，结构转换与生产率增长三部分，从而克服了以往研究之不足。

The total strain of a porous medium is an algebraic sum of primarystrains and structural strains.Primary strain is caused by the deformation insideparticles of porous media,while structural strain by the relative displacementsbetween particles.

本体应变是由构成多孔介质的骨架颗粒单元体本身的变形所导致的介质应变量，而结构应变则是由颗粒之间的相对位移所导致的介质应变量。

Comparing EMD method with traditional FFT method in the analytical process, Hilbert-Huang transformation is found to be superior in performance. Structural response of the warship subjected to underwater explosion is simulated numerically, and EMD method is applied to analyzing the structural impulse signals.

该方法不把信号分解成正弦或余弦函数，因此既能分析线性稳态信号又可用于非线性非平稳信号的分析，且避免了高频干扰结果的出现，被认为是近年来对以Fourier变换为基础的线性和稳态谱分析的一个重大突破。

Based on detailed study on structural characteristics and reservoir distribution of Taiyangdao-Kuihuadao fractured anticlinal structural belt, through analysis on gas type and genesis, this paper summarizes the geological rules of reservoir formation of this area so as to provide theoretical evidence for further exploration.

摘要在对太阳岛－葵花岛断裂背斜构造带构造特征和储层分布进行精细研究的基础上，通过对该区天然气类型和成因研究分析总结了该区成藏地质规律，为该区的进一步勘探提供了理论依据。

Based on the historical experiences, comparison and practice for moral education in universities, a complete study of moral education mode for postgraduate is carried out to contain the assumptive theories, structural process of knowledge and complete operational system. Thus, a new mode of the moral education for postgraduates in the new era is suggested on the idea level, structural level and operational level.

经过历史经验、比较借鉴和理论原则等方面的准备，论文提出了研究生德育模式研究必须具备提供理论的假设性、促进知识的结构化过程和形成完整的操作系统等3个基本特征，并以当前的工作实践为背景，从理念层次、结构化层次和操作层次上，总结出符合新时期特点的研究生德育模式。

Based on the theoretical calculation model for the structural information of metal melt, the main structural information, including relative concentration of active atoms, average diameter of the atomic clusters and the number of short-range atoms inside them, was achieved. Finally, by multiple non-linear fitting of experimental data, the function about viscosity and size of atomic clusters was established.

利用金属熔体结构信息的理论计算模型，得到该温度区间内铝熔体的主要结构信息，包括激活原子的相对浓度、原子集团的平均直径及其内部包含近程原子数等，最终通过实验数据的多次非线性拟合发现黏度与原子集团的尺寸之间存在函数关系。

The system can be widely used in belt weighing and batching process control,etc.

介绍了基于智能模糊控制的嵌入式配料系统的设计方法，对模糊PID控制过程和系统调零作了重点的讨论，同时给出了PID控制的程序流程图和系统定长调零子程序。

"I dunno," she answered,"but if you show me aroun', I'll recognize it from the lighthouse just outside the porthole."

"我不知道，"她回答说，"如果你能带我转转，我能认出来的，因为灯塔就在舷窗外。"