查询词典 vascular calculus

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三值逻辑为基础，并提出了这个扩展的理论与证据理论之间的等价关系。

The input parameters for cardiovascular model are heart and vascular network parameters such as cardiac cycle, heart elastance, vascular compliance and vascular resistance, while the outputs are the blood pressure and flow wave on each segment of vascular, and the cardiovascular parameters such as stroke volume, cardiac output, eject fraction, energy and oxygen consuming in each cardiac cycle, and so on.

模型的输入是心脏和血管网络的参数如：心动周期、心肌弹性度、血管顺应性、血管阻力等，模型的输出是各血管段的压力、流量波以及反应心血管系统功能状况的生理参数如每搏输出量、心输出量、射血分数、每搏耗能和耗氧量等。

The root system in the cortex of the host stem has a few branches and highly simplified stele of original triarch vascular bundles. The haustrium root system, which is from the root system in the cortex of a host stem enters the vascular tissues as finger-like body from the vascular rays and then to become hyphae-like body among the vascular cells.

皮层根有少数分枝，无次生结构，中柱结构高度简化，从胚根的结构可看出其初生木质部原先是三原型的；吸器根从皮层根上发生，进入寄主维管射线中，再进入维管组织内，并形成许多丝状体。

Among all persons who finished questionnaire 21.68% were resident physician,36.95% were attending physician, 25.65% were vice chief physician/chief physician; the most common cardiovascular disease in the investigated persons hospitals were angina (55.42%),stroke(38.17%), myocardial infarction(28.70%), heart failure (28.24%), hypertension (28.24%); as for early vascular disease detection methods,57.40% of investigated persons thought artery endothelial function examination,46.72% thought angiography, pulse wave velocity measurement and carotid intima-media thickness measurement were 40.61% and 31.76%;76.49% and 53.89% of the investigated persons thought angiotension converting enzyme inhibitor and statins could revert early vascular disease;96.79% of the investigated persons thought promotion early vascular disease detection strategy could help for reducing total burden of cardiovascular disease in our country;78.47% of the investigated persons thought early vascular disease detection methods should be easily used and non-invasive.

被调查者所在医院最常见心血管疾病顺序分别心绞痛55.42%，脑卒中38.17%，心肌梗死28.70%，心力衰竭28.24%，高血压28.24%；关于血管病变早期检测57.40%的被调查者认为通过动脉内皮功能测定，认为通过血管造影者占46.72%，认为通过脉搏波速度和颈动脉内膜中层厚度测定者分别占40.61%和31.76%；分别有76.49%和53.89%的被调查人群认为血管紧张素转换酶抑制剂和他汀类药物能够逆转早期血管病变；96.79%的被调查者认为推广血管病变早期检测技术有利于降低我国心脑血管疾病总体负担；78.47%的被调查者认为用于推广的早期血管病变检测技术应该是操作方便和无创伤。

Among all persons who finished questionnaire 21.68% were resident physician,36.95% were attending physician, 25.65% were vice chief physician/chief physician;the most common cardiovascular disease in the investigated persons hospitals were angina (55.42%),stroke(38.17%),myocardial infarction(28.70%),heart failure(28.24%), hypertension(28.24%);as for early vascular disease detection methods,57.40% of investigated persons thought artery endothelial function examination,46.72% thought angiography,pulse wave velocity measurement and carotid intima-media thickness measurement were 40.61% and 31.76%;76.49% and 53.89% of the investigated persons thought angiotension converting enzyme inhibitor and statins could revert early vascular disease;96.79% of the investigated persons thought promotion early vascular disease detection strategy could help for reducing total burden of cardiovascular disease in our country;78.47% of the investigated persons thought early vascular disease detection methods should be easily used and non-invasive.

被调查者所在医院最常见心血管疾病顺序分别为心绞痛55.42%，脑卒中38.17%，心肌梗死28.70%，心力衰竭28.24%，高血压28.24%；关于血管病变早期检测57.40%的被调查者认为通过动脉内皮功能测定，认为通过血管造影者占46.72%，认为通过脉搏波速度和颈动脉内膜中层厚度测定者分别占40.61%和31.76%；分别有76.49%和53.89%的被调查人群认为血管紧张素转换酶抑制剂和他汀类药物能够逆转早期血管病变；96.79%的被调查者认为推广血管病变早期检测技术有利于降低我国心脑血管疾病总体负担；78.47%的被调查者认为用于推广的早期血管病变检测技术应该是操作方便和无创伤。

Here are the results: there are no clear difference in the length and width of leaf epidermis stomatal apparatus, stoma density and vascular bundle area in 1st internode below the ear between cold and warm type wheat. The vascular bundle area in 2nd internode below the ear of cold type wheat is obvious smaller than warm type wheat's. There are clear difference in the vascular bundle number in unit transverse area of 1st internode and 2nd internode below the ear and the rate of the total area of vascular bundle and the transverse area of wheat stem between cold and warm type wheat.

研究表明，冷、暖型小麦叶表皮气孔器的长度和宽度、气孔密度、穗下节间中维管束面积均无显著差异；冷型小麦倒二节间中维管束面积明显小于暖型小麦；冷、暖型小麦穗下节间、倒二节间单位横截面积中维管束数目、维管束总面积占茎横截面积的百分率均有显著差异。

Hanna: That's over now, isn't it?

都结束了，对吗

You must be ill. You look so pale.

你一定是病了，你的脸色苍白。