查询词典 found on

Two normal forms, best-simple normal form and literal normal form, are presented at first in order to eliminate the complexity of formulas decision. Based on the two normal forms, a deduction proof of decidability theorem in L and a decision algorithm P based on deduction for proportional formulas are given and a decision machine found on P, DMBD, is also designed.

首先提出了消解复杂性的两种范式：最简范式和文字范式，在此基础上给出了L的可判性定理的演绎证明及命题公式的演绎判定算法P，并基于ML语言设计了基于P的演绎判定机DMBD。

All of the songs can be found on iTunes. Some of them have lyrics that are inappropriate for school, so I make a cassette tape of a 10- to 20-second soundbite that I will use on the announcements. Often, I record the funny or catchy phrase several times back to back on the tape.

所有的歌曲都很容易找到，有些并不合适在学校演奏，所以有事先录好了10到20秒的背景音乐，通常，我会循环使用一些欢快节奏的乐曲，当音乐开始时，我会通过音乐问学生，今天中午吃什么？

ESCA results show that silica is coated on surface of the polymeric microspheres. SEM analysis reveals that when water was used as a solvent, uniform silica coating on the surface of organic microsphere can be obtained, and when the reactive time is 10 minutes, an uniform coating layer can be prepared. But when tetrachloroethylene was used as a reactive solvent, an inhomogeneous silica coating is found on the organic microspheres.

由化学分析电子光谱仪纵深分析可以得到，矽的前驱物是藉由披覆方式附著在有机微球表面；SEM分析发现以水为溶剂所合成出之披覆有二氧化矽的有机微球表面呈现均匀披覆效果，并且当反应时间为10min时表面均匀披覆效果最好；而以四氯乙烯为溶剂的系统所合成之微球则呈现不均匀披覆。

NaA zeolite membranes have been found a potential application in the separation of the small-sized gas molecules by molecular sieving and dehydration of liquid mixtures by pervaporation. However, there are some problems in the preparation in the NaA zeolite membranes such as the scarce support types, insufficient study on the synthesis rules and few literature concerning the NaA zeolite membranes preparation on the inner surface of the tubular support.

中文题名NaA型沸石分子筛膜的合成及渗透性能研究副题名外文题名 Preparation and permeation studies on NaA zeolite membrane 论文作者董强导师徐南平教授时钧院士学科专业化学工程研究领域\研究方向学位级别博士学位授予单位南京工业大学学位授予日期2001 论文页码总数108页关键词膜分离沸石分子筛膜微滤膜馆藏号BSLW /2003 /TQ028 /23 NaA型沸石分子筛膜在小分子气体分离和渗透汽化分离等领域预期有着良好的应用前景。

The timeline which is included in the Hogwarts Timeline which can be found on the DVD ROM extra material on the CoS film DVD edition use the obvious dating based on the Deathday Party.

可以在DVD光盘的附赠中找到的包括霍格沃茨时间线在内的总时间线很明显地用了忌辰晚会的时间作为基础。

At the same time, there was remarkable difference in the calcium distribution on the wall of micropylar canal between self-pollinated and cross-pollinated ovules: abundant calcium precipitates were found on the wall of self-pollinated ovules, whereas none on cross-pollinated pollen.

同时，自交和异交授粉胚珠珠孔道壁钙信号表达也存在很大差异，自交授粉胚珠珠孔道壁有大量钙颗粒密集，而异交授粉胚珠珠孔道壁无钙沉淀积累。

Information on corporate governance, mechanisms for assessment of performance and performance incentives and restrictions of the Company, information disclosure and transparency, the relationship between CNPC and the Company, performance of duty by independent nonexecutive Directors, professional and ethical code for senior management personnel, code of conduct for staff and workers, and significant differences on corporate governance structure pursuant to the requirements under section 303A.11 of the New York Stock Exchange Listed Company Manual can be found on the Company's website ( www.petrochina.com.cn ).

有关公司治理的相关内容及本公司绩效评价与激励约束机制、信息披露与透明度、中国石油集团与本公司的关系、独立非执行董事履行职责情况、高级管理人员职业与道德规范、员工职业道德规范、根据纽约证券交易所上市公司手册第303A.11项要求而披露的公司治理规范中的重大不同等具体内容均载于本公司网站(www.petrochina.com.cn)。

Both upper and lower epidermis cells are polygonal or irregular in shape in all species studied. The patterns of anticlinal walls are straight, arched or sinuous, and the raphal cuticular striastriae are occasionally observed on periclinal walls. Stomatal apparatus and secretory cells are found on the upper epidermis of several species and on the lower epidermis of all Species. The slomata apparatus mainly belong to the paracytic type and latercylic type; rarely anomocytic type occurs along with the paracytic one.

结果表明：这些植物叶片的上、下表皮细胞呈多边形或不规则形，垂周壁式样为平直、弓形或波浪状，平周壁偶有脊状条纹；少数种类上表皮还有气孔器或分泌细胞，所有种类下表皮具气孔器和分泌细胞；气孔器类型以平列型和侧列型居多，偶尔有无规则型；气孔极区呈稍角质加厚或棒状加厚，稀T形加厚。

This essay will remark on auto air-condition noise problems through studying expansion valve. The main reasons incurred noise are two, one is vibration, which is from big air bubble caused by the refrigerant flows through expansion valve. Another is resonance, which is from engineering working itself. So, the two methods for eliminating noise are found. On one hand, through increasing damp to weaken resonance. On another hand, through taking off air bubble to eliminate vibration. The essay presents method of solving noise through improving expansion valve and elaborate the disadvantages caused by these solvement.

本文从膨胀阀的角度去考虑解决汽车空调异响问题，认为产生异响的主要原因是制冷剂流经膨胀阀节流部时有大气泡存在引起振动与汽车发动机共振造成，从增加阻尼块来减振和分解大气泡来消除震动等两方面提出解决方法，并对此方法造成的不利方面也进行了阐述。

The reseatchers knew that some sounds get to the ears of a toothed whale through a particular structure.found on the lower jaw,this structure is very thin on the outside and has a large,thick piece of fat on the inside.

这些研究院发现，一些声音通过下颚的一个特殊结构到达齿鲸的耳朵。这种结构在露在外边部分很薄，内部有一块很大很厚的脂肪组织。

We will see more and more activist government policies that distinguish economic activities according to the nationality of the actors.

我们将看到越来越多激进的政府政策，这些政策根据企业的国籍来区分经济活动。

If we can prove the independence of an axiomatic system, then we can guarantee the conciseness of this system, ie.

如果能够证明某个一阶谓词系统的独立性，那么就能够保证该系统的建立是精炼的，即没有任何一条公理或推理规则是多余的。