查询词典 C of S

Rich Portforlio, Wide Application Di v e r s i f i e d c a t e gor i e s of p owe r transmission products are being provided at Tianjin plant that are able to meet requi rement s of di f ferent i ndustri al sectors, including SGU, HD, IDA, couplings, gears and parts.

产品丰富，广泛应用公司产品种类齐全，涵盖了几乎所有工业领域的需要。包括：SGU标准减速机、HD重型减速机、IDA行业应用减速机、联轴器、齿轮及其它零部件等。

In this paper we acquaint the reader first with the algebraic semantics which is corre-sponding to the Kripke's semantic having nested domaius. By an application of the completenesstheorem on relational semantics of the quantified normal modal systems with nested domains proved in Hughes and Cresswell's method to prove a completeness theorem on relational algebraic semantics of those system. Next for normal systems with semantics which admits arbi-trarily variable domains we use Henkin's method to prove a c...

本文首先讨论嵌套论域语义的相应代数语义并由Hughes和Cresswell在［5］中建立的关于具有嵌套论域的正规量词模态系统的关系语义完全性定理推出其相应的代数语义完全性定理：然后对于具有任意可变论域语义的正规系统，我们用Henkin方法给出其关于狭义Kripke语义的关系语义完全性定理，由此通过将关系语义转化为代数语义从而亦推得其代数语义完全性定理。

In March of 2009, Modern reported Komatsu was combining its manufacturing facilities in Covington, Ga., and Komatsu America Corporation in Rolling Meadows, Ill. Komatsu's forklift production operation was moved from Covington, Ga., to Komatsu's Newberry Manufacturing Operation in Newberry, S.C. They said move would allow Komatsu to take advantage of available synergies, reduce overall operational expenses, and more effectively utilize assets.

在2009年3月，据报道小松整合了在Covington，乔治亚州的生产设施和在伊利诺伊州Rolling Meadows的美国小松公司，将小松公司的生产设备从卡温顿到了小松的纽伯里制造基地，他们说，此举将使小松利用现有的协同优势，降低整体运营成本，并更有效地利用资产。

This article discusses the track of the development of implication theory, generalizes B.Russell"s idea about implication,simply induces such implication theories as C.I.Lewis""strict implication" W.Ackermann"s "relevant implication" and so on, and analyzes the relations among these theories, emphasizes that material implication"s basic status in mathematical logic.

论文还从历史发展的角度阐述了蕴涵理论发展的轨迹，总结了罗素对蕴涵问题的认识，简要归纳了刘易斯的"严格蕴涵"、阿克曼等的"相干蕴涵"及安德森和贝尔纳普的"衍涵"等为代表的蕴涵理论的几种形态，并对这几种理论形态之间的关系进行了细致地对照，强调了实质蕴涵在数理逻辑中的基础地位。

Aeruginosa and S. quadricauda in HAC were lager than in HA without reference to pure or mixed culter. It indicated that the growth of M. aeruginosa and S. quadricauda need HCO3(superscript -) as carbon source to balance its C:N:P ratio. Cyclotella sp. could not survive in HAC. M. aeruginosa and S.

铜绿微囊藻与四尾栅藻在HAC中纯培养和共培养的生物量K和最大增长速率r均远大于在HA中，表明这两种藻的增殖需要HCO3作为碳源平衡胞内营养平衡；小环藻不能在有HCO3的培养基中生存。

These results show th a t: this novel type of ventil a tion s a ves energy, c a n s a tify the humidity requisition of the loom surf a ce a nd a chieve a high s a tisf a cted comfort.

结果表明：这种新型送风方式节约能源，可以满足布机表面较高湿度的工艺要求，并达到布机车间较高的舒适度。

And try to find out the effect of TSA on the proliferation and differentiation of rat tracheal stem cell. Methods 1.Preparation of 5-Fu Model and TSA treatment Two weeks" Wistar rats provided by the animal center of the China Medical University. The animals were sacrificed by 10% Chloral Hydrate 0.4ml/100g. Then the tracheas were excised aseptically. Then they were douched with PBS and cultured in 1:1 mix of Dulbecco"s modified Eagle"s medium and Ham"s F-12 medium (DMEM/F12) containing 120 mg/ml 5-Fu and 10% fetal bovine serum for 12h at 37°C. The tissues were then refreshed by culturing in DMEM/F12 containing 10% FBS and 200nM TSA.

1、制备气管损伤模型及剥离上皮取约200克左右的Wistar大鼠，雌雄不限(中国医科大学实验动物中心提供)，腹腔注射10%水合氯醛0.4ml/100g，无菌条件下取出气管，无菌PBS反复冲洗，洗净血液和粘液，置于DMEM/F12培养液中(含10%胎牛血清)，于培养液中加入终浓度为100mg/ml的5-Fu，37℃，5%CO2孵育12小时，弃去上述培养液，换成新鲜DMEM/F12液(含10%胎牛血清)，同时加入终浓度为200nM的TSA继续培养，于换液后3、6、12、24、48小时分别10%中性福尔马林固定，石蜡包埋，制成4μm厚的组织切片。

A* y w; Y5 ^4 h+ '- R7 o0 f2 ~; C It was Manchester United's first=half and Chelsea's second as the top of the table stayed the same with Ricardo Carvalho equalising Saha's goal.

由于上半场萨哈的进球以及下半场卡瓦略的进球使得积分榜前两位的曼联和切尔西之间的差距没有发生任何的变化。

This study was conducted to examiune the fibrotic effect of Ni-Ti and 317L al loys in esophagus.The extract fluid from Ni-Ti,317L alloys was made according t o the ASTM standards of U.S.A. The Fb of esophageal scar was cultured primarily ,then incubated with alloy abstract fluid. The proliferating activity of Fb was measured by MTT at 4, 24, 48, 72 hours in the course of culturing. The esophagu s embedding test of Ni-Ti,317L alloys was made according to ASTM standards of U .S.A.The tissue around the alloys was taken at weeks 2 and 12,and the pathologi c changes were analysed.

为探讨新型支架材料Ni-Ti、317L合金在食管局部的致纤维化作用，按美国ASTM标准制备NiTi、317L合金的金属浸提液；&组织块培养法&原代培养食管壁疤痕的成纤维细胞，传代后以金属浸提液进行培养，分组后分别培养4、24、48、72 h，MTT法检测不同培养时间后Fb增殖功能的变化；按美国ASTM标准进行NiTi、317L合金试件的食管壁内包埋实验，即将金属试件经表面处理后直接置入食管壁粘膜层与肌层之间，术后2、12周取出包埋组织，分析试件周围组织的病理变化，并进行胶原纤维染色，观察纤维形成状况。

As for the discussion of this problem, series of theories have been achieved inside and outside, such as Lee's "A Theory of Migration", Fei, C. H. and G. Ranis'"Development of the Labor Surplus Economy", Todaro's "Expected Income Theory", Jorgenson, D. W's "The Development of a Dual Economy"and so on. In our country many economists have also joined the group of the research on the rural surplus labor force transfer problem and have provided some good ideas.

关于农村剩余劳动力转移问题的讨论国内外已经形成了一系列成熟的理论，尤其是刘易斯、托达罗等经济学家对发展中国家农村剩余劳动力转移问题的研究为我们提供了很好的参考价值，国内对于就地转移及异地转移的争论，也使我们对于我国的农村剩余劳动力转移问题有了更清醒的认识。

According to the clear water experiment, aeration performance of the new equipment is good with high total oxygen transfer coefficient and oxygen utilization ratio.

曝气设备的动力效率在叶轮转速为120rpm～150rpm时取得最大值，此时氧利用率和充氧能力也具有较高值。

The environmental stability of that world - including its crushing pressures and icy darkness - means that some of its most famous inhabitants have survived for eons as evolutionary throwbacks, their bodies undergoing little change.

稳定的海底环境─包括能把人压扁的压力和冰冷的黑暗─意谓海底某些最知名的栖居生物已以演化返祖的样态活了万世，形体几无变化。