查询词典 conjunctive normal form

In these examples we see taxemes of selection.The one constituentis a form of a large class,which we call nominative expressions;a form like ran or very good could not be used in this way.The other constituentis a form of another large class,which we call finite verb expressions;a form like John or very good could not be used in this way.

在这些例子中，我们看到语法元素选择一个成分(约翰，比尔，我们的马儿)是一种大型班，这段时间我们称之为指名表达式，一种像跑还是很好的不能再使用这样其他成分是一种另一个大型的阶级，这段时间我们称之为限定动词表达形式；一个像约翰还是很好的不能再使用。

Results:(1) Progesterone-treated models showed intact nasal mucosa, regular ciliary lining and inactive glands;(2) Untreated or normal saline treated models showed disrupted mucosa, inverted cilia and massive mucosal infiltration of neutrophils;(3) Smearing of nasal discharge revealed limited vs abundant number of neutrophils in SD models treated with progesterone vs untreated or treated with normal saline.(4) Hoechst stain: significantly fewer apoptotic cells per field were found in progesterone-treated models (1.583 ± 0.28) compared with untreated or normal saline treated models (2.85 ± 0.285 and 4.8 ± 0.715, respectively).

结果：(1)用黄体酮滴鼻液治疗的SD大鼠鼻腔黏膜上皮完整，纤毛整齐，腺体开放不多；(2)用或不用生理盐水滴鼻液治疗的SD大鼠鼻腔黏膜上皮纤毛倒伏，上皮结构散乱，上皮层大量中性粒细胞浸润；(3)鼻腔分泌物涂片示黄体酮滴鼻液治疗的SD大鼠有少许中性粒细胞，而用或不用生理盐水滴鼻液治疗的SD大鼠鼻腔分泌物含有大量中性粒细胞；(4)Hoechst染色：用黄体酮滴鼻液治疗的SD大鼠鼻腔黏膜上皮凋亡细胞数［(1.583±0.28)/视野］明显少于用或不用生理盐水滴鼻液治疗的SD大鼠［分别是(2.85±0.285)/视野和(4.8±0.715)/视野］。

And the induced normal curvature along the normal of contact line between the worm and the planet is obtained. The algebraic expression of the induced normal curvature at the top point of the ball-tooth is given.

另外，对行星轮与环面蜗杆沿接触线法线方向的诱导法曲率进行了求解和分析，给出了诱导法曲率在球齿齿面顶点时的代数式显式表达。

In the model of tumor cells metastases with cell line A673, 10〓 tumor cells can be detected after only one ampliation with outer primers, which means we can find 1 tumor cells in 10〓 normal PBMC, and enlarged again with inner primers, 10〓 tumor cells can be detected, which means we can find 1 tumor cell in 10〓 normal PBMC. In the simulative model of tumor cells metastases with RNA, 10〓 tumor cell can be detected that is to say we can find 1 tumor cell in about 10〓 normal PBMC. In all 15 samples of 11 patients, 2 patients'EWS/FLI1 expressions were negative, no evidence of metastases was found followed up by 8 months and 30 months respectively. Semi-quantitative study was used to detect the expression level of EWS/FLI1 mRNA in the other 9 positive patients, and metastases occurred in 6 high-level expression patients in 2-24 months after the operation, no evidence of metastases in the other 3 low-level expression patients up to now.

应用A673细胞系建立的肿瘤转移模型，单独应用外引物进行一次扩增，可以检测到10〓级肿瘤细胞，即可以从10〓个正常细胞中检测到1个肿瘤细胞；而在此基础上再次应用内引物扩增，则可以检测到10〓级肿瘤细胞，即可以从10〓个正常细胞中检测到1个肿瘤细胞；在用RNA模拟的肿瘤细胞转移模型中，两次扩增可以检测到10〓级肿瘤细胞，即可以从10〓个正常细胞中检测到1个肿瘤细胞。11例患者的15份标本中，2例没有检测到EWS/FLI1 mRNA的表达，分别随访8个月和30个月，没有发现临床转移的证据；对其余9例阳性表达的病例进行半定量的研究，6例EWS/FLI1 mRNA高表达的病例，分别在术后2-24个月发生转移，而3例EWS/FLI1 mRNA低表达的病例，则至今没有发现转移的证据。

Firstly, according to this character, primacy central point is detected by the exploring extremum method in the windows of 3×3 pixels. Then, basing on this central point, approximate normal line at ±45°、0°and 90°angle are drew.if the minimums of normal line is at central point and the difference between the minimums and the maximum in the normal line is more than the threshold, this point is considered to the edge point of image.

首先，在3×3象素的窗口中，如果中心值为最小值，则以该点为基础，以±45°、0°和90°方向作为近似法线带，然后判断该法线上的象素最小值是否在切点上（即是否在法线的中心点上），再通过检验切点与轮廓法线上亮度极大值的差值是否超过阈值，来判断切点是否为边缘轮廓上的点。

Owi ng to that the main shaft speed and the beating speed of reed can not attain the norma l values at setting-on, the warp tension and the beating force of the reed can neither reach the normal level. Therefore, the relative slippage movement of the weft against the warp du ring beating will be less, while the common movement of the weft together with the wa rp will be bigger than those at normal running. As a result, the setting-on place is the n caused by the normal density not being obtainable in the woven fabrics.

织机开关车时由于主轴转速、钢筘打纬速度达不到正常数值，使经纱张力及钢筘打纬力达不到一定的正常数值，以致打纬过程中经纬纱线相对滑移量比织机正常运转时的数值小、共同移动量比正常运转时的数值大，所形成的织物达不到正常的纬密，在织物上产生横档疵点。

The nitrogen balance on days 8 was remarkably improved in experimental and normal diet groups compared with control group. There were highter serum glutamine and BCAA concentration, hydroxyproline content and tensile strength of wound, and better lymphocyte blastogenesis in experimental group compared with control and normal diet groups. Experimental and normal diet groups had higher mucosal DNA, RNA and protein content than control group.

实验组动物的血浆谷氨酰胺、BCAA含量，外周血淋巴细胞转化率，伤口皮肤抗张力强度和羟脯氨酸含量都显著高于对照组和正常饲料组(P＜0.05)；实验组和正常饲料组动物第8天氮平衡，小肠粘膜核酸和蛋白质明显高于对照组(P＜0.05)。

Additionally, the properties and normal extension construction of normal Boolean function is studied, and checking algorithm of normal is discussed.

另外，本文分析了正规布尔函数的性质和正规扩展的构造方法，讨论了布尔函数正规性的检验算法，这对于Bent函数的分类问题的解决具有重要意义。

Five main phenomena were found, firstly, the high plasticity clay could well suitable to large deformation, and had strain-hardening behavior obviously, as well as, the little dilatancy; secondly, there was no correlation between stress paths and shear strength but the stress-strain relations were influenced by stress paths; thirdly, the little stress increment ratio, the higher increase speeding of shear stress and breaking strength under the condition of same initial normal stress; the fourth, the relations between normal strain and normal stress in simple shear test was consistent with which in the single-direction compression test, if there was no dilatancy; the last, the curve of relation between stress ratio and shear strain could be well simulated by hyperbola.

试验结果表明，高塑性粘土能够较好地适应大变形，接触面剪应力与切向应变关系呈剪切硬化型曲线，法向剪胀不明显；接触面剪切强度与应力路径无关，应力应变关系与应力路径密切相关；初始法向应力一定，应力增量比越小，剪应力增长越快，对应的破坏剪应力也越高；无剪胀发生情况下，法向应变与法向应力关系曲线与单向压缩试验具有一致性；应力比与切向应变呈良好的双曲线关系。

First, a special normal transversal at the initial point is constructed and a second-order Taylor's algorithm is used to trace the projections along the aforementioned normal transversal. A curvature based method for controlling iteration step is further proposed by projecting the given point onto the curvature circle of the normal transversal at the initial point. Finally gradient based method for correcting iteration errors is put forward.

首先构造初始点处的一条特殊的法截线，并给出沿着该法截线追踪投影点的二阶泰勒迭代方法；然后将给定点向初始点处的法截线的曲率圆作投影，提出基于曲率的步长控制策略，在此基础上给出了基于梯度的迭代误差矫正方法。

There had been a moment during the breakfast meeting, though, after the backslapping and the small talk and when all of us were seated, with Vice President Cheney eating his eggs Benedict impassively and Karl Rove at the far end of the table discreetly checking his BlackBerry, that I witnessed a different side of the man.

那次早餐会期间，在表示过关心和寒暄以后，我们所有人坐了下来，我注意观察了一下，副总统切尼面无表情地吃着班尼迪克蛋（Eggs benedict，源自美国，以英式松饼、火腿、水煮蛋以及荷兰酱组合而成），卡尔。罗夫在餐桌的远端谨慎地经常查看他的黑莓手机，我目睹了他所不为人知的一面。

Talk Undelete failed; someone else may have undeleted the page first.

Talk 无法删除选定的页面或图像（它可能已经被其他人删除了）。