查询词典 fundamental lemma of calculus of variation

Therefore it is interesting to clone genes related to lemma and palea. In this thesis, six genes from the lemma/palea related gene pool which is established by Liu (2003) were further studied. Those genes are salT gene (salt-induced protein), GA-SPY gene (gibberellin action negative regulator SPY-related protein), U2AF gene (U2 snRNP auxiliary factor, small subunit-related protein), kinesin-like gene, DnaJ-like gene, and EF hand gene. At first, the gene expression in leaves and 1~4 cm inflorescences of normal lemma/palea, smaller lemma/palea, and stunted lemma/palea was compared by Real Time RT-PCR.

从刘(2003)所建立水稻颖花发育相关候选基因库中，挑选6个基因：salT基因(salt-induced protein)、GA-SPY基因(gibberellin action negative regulator SPY-related protein)、U2AF基因(U2 snRNP auxiliary factor，small subunit-related protein)、kinesin-like基因、DnaJ-like基因、及EF hand基因，以水稻正常型颖花、小颖花突变体及内外颖退化突变体之叶片及1~4公分幼花序为材料，利用Real-Time RT-PCR分析，发现salT基因在突变体幼花序中大量表现。

Spikelets 3–5(–6) mm, dark purple; glumes lanceolate, subequal or lower glume slightly shorter than upper, lower glume 1-veined, upper glume 3-veined, scabrid, apex acuminate; callus hairs ca. 1/3 length of lemma; lemma 3–4.5 mm, papery, hyaline at margins and apex, sometimes scabrid; apex irregularly 4-toothed; awn arising from upper 1/3 of lemma back or above, 1–2.5(–6) mm, straight or slightly curved; palea ca. 2/3 as long as lemma; rachilla conspicuously penicillate, 1.5–2 mm, including hairs up to 5 mm. Anthers 1.4–2.3 mm.

小穗3-5(-6)毫米，深紫色；披针形的颖片，近等长或下部颖片稍短于上面，下部颖片1脉，3脉，粗糙的上面颖片，先端渐尖；约的胼胝体毛1/3段外稃；外稃3-4.5毫米，似纸，透明的在边缘和顶，有时粗糙；不规则的先端4齿；芒生于上面外稃背面或在上部的1/3，1-2.5(-6)毫米，直或稍弯曲；大约2/3的倍于外稃的内稃；显著具毛撮的小穗轴，1.5-2毫米，包括头发可达5毫米花粉囊1.4-2.3毫米。

Different forms of variations have been derived since the Baroque period, such as cantus-firmus variation, Double, ostinato variation, and constant-harmony variation. Further examples are continuous variation, sectional variation, single-theme variation, or hybrid variation in the Pre-classical era.

变奏曲於十八世纪由巴洛克时代的反覆变奏曲或定旋律变奏曲、成对舞曲的变奏、顽固低音变奏与固定和声变奏演变至古典时期的持续式变奏曲、段落式变奏曲与单一主题变奏曲、双主题变奏曲及混合式变奏曲。

Using differential calculus knowledge to testify inequality, Calculus of higher mathematics is the core and calculus method of higher mathematics is typical of the whole mathematical method, the method is introduced for calculus ideas to solve the problem of finding an inequation, to make way for obtaining inequalities can be simple, the application of differential mid-value theorem and Taylor formula illustrate some of the inequality proof method.

运用微分学知识证明不等式；微积分是高等数学的核心，微积分思想方法是高等数学乃至整个数学的典型方法，微积分思想方法的引入为解决不等式证明的难题找到了突破，用来解不等式可使解题思路变得简单，文章应用微分中值定理及泰勒公式举例说明了部分不等式的证明方法。

The calcalus learns is a mathematic branch connected closely with scientific application.Infinitesimal is an important componant in the theoretical system and has an outstanding effect on the forming of the basis and conception of the theory. infinitesimal ; calculus ; the calculus learns ; differential calculus ; integral calculus

引 言微积分学是建立在实数、函数和极限理论基础上，研究函数微分、积分以及有关概念与应用的数学分支。17世纪精密科学的飞速发展，天文学、力学、光学、工业技术要求数学彻底革新，导致了无穷小概念的问世，促使费马增量理论开创微分学的先河，同时奠定了柯西的极限理论。

In SPVT (security protocol verifying tool), the specification language is the π-like calculus extended with three appendixes, the Dolev-Yao model is described with Horn logic rules, the π-like calculus model of security protocol is transformed into the logic program model by abstract rules, the security properties are verified based on the calculus of the logic program's fixpoint, and the counter-examples on security properties are constructed from the process of the fixpoint calculus and the process of the property verification.

在SPVT中，以扩展附加项的类演算作为安全协议描述语言，以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

Prolonged markedly the time of sleep in mice with the hypnotic effect induced by phenobarbital sodium, while SWNH (50 mg/kg), the natural calculus bovis (100 mg/kg), and the artificial calculus bovis (100 mg/kg) did not. SWNH (500, 1,000, 2,000 mg/kg), the natural calculus bovis (1,000 mg/kg), and the artificial calculus bovis (1,000 mg/kg) i.g.

生物牛黄中间体100mg/kg体重、150mg/kg体重腹腔注射给药，可使苯巴比妥钠引起的小鼠睡眠时间明显延长；生物牛黄中间体50mg/kg体重、天然牛黄100mg/kg体重和人工牛黄100mg/kg体重对睡眠时间的延长无明显影响。

During the study of incidence calculus theory, we firstly clarified original incidence calculus and the probabilistic reasoning mechanism on it. We then introduced the improvement of generalized incidence calculus theory proposed by Liu~[18], which establishes incidence calculus theory on Lukasiewiczs three valued logic.

本文首先阐述了原始的发生率计算理论及其上的概率推理机制，然后引入Liu对该理论的改进，以Lukasiewicz三值逻辑为基础，并提出了这个扩展的理论与证据理论之间的等价关系。

Spikelets with 1 floret (very rarely 2), rachilla disarticulating above glumes, with penicillate extension lying against the palea; glumes subequal, usually slightly longer than the floret, rarely slightly shorter, membranous, 1–3-veined, apex acute or acuminate; floret callus bearded, hairs usually 1/3 as long up to about equaling floret; lemma thinly to firmly membranous,(3–)5-veined, dorsally awned or awnless, apex erose, denticulate or 2–4-toothed; awn geniculate or straight, its position varying from near base to near apex, usually inconspicuous, up to twice length of lemma but occasionally reduced to a subapical mucro or absent; palea 2/3 as long to subequaling lemma.

小穗具1小花(极少2)，高于颖片，具具毛撮的扩展对内稃躺脱节的小穗轴；通常，近等长的颖片稍长于那些小花，很少稍短，膜质，脉，先端锐尖或渐尖；作为长的可达的通常的公然反对的小花结茧，头发1/3大约等于小花；稀疏外稃到坚定膜，(3-)5－脉，背具芒或者啮蚀状的顶，或者2-4齿状的具小齿，awnless；芒膝曲或者直，作为近相等外稃的长时期的内稃2/3。

Spikelets oblong, 7–9 mm, florets separated by short rachilla internode not more than 0.6 mm; glumes lanceolate, apex acute; lower glume 4–6 mm, upper glume equal to spikelet, punctiform scabrid; lemmas oblong-lanceolate, 7–9 mm, sparsely pubescent in lower 1/3 or glabrous, scabrid in upper 1/3; awn of lower lemma 1–2 cm, arising from lower 1/3 of lemma back; awn of upper lemma 1–2 mm, arising above middle or near apex.

小穗长圆形，7-9毫米，小花以短分开小穗轴不超过0.6毫米；颖片披针形，先端锐尖；更低的颖片4-6毫米，等于小穗，点状粗糙的上面颖片；长圆状披针形的外稃，7-9毫米，疏生短柔毛在下部1/3的或无毛，在上面1/3粗糙；更低的外稃的芒1-2厘米，生于更低的1/3的外稃背面；上面外稃的芒1-2毫米，出现在中部以上或者近先端。

Consumer preference ; fuzzy partial ordering relation ; condorect function

消费者偏好；模糊偏序关系； condorect函数

And she doesn't have a cat, she has a Mexican hairless.

而且她不养猫，她养了一只墨西哥无毛犬。