查询词典 in the abstract

Not detailed in Figure 1 are the parts of the compiler that are not verified yet: upstream, a parser, type-checker and simplifier that generates Clight abstract syntax from C source files and is based on the CIL library21; downstream, a printer for PPC abstract syntax trees in concrete assembly syntax, followed by generation of executable binary using the system's assembler and linker.

图1中没有详细标出的是该编译器中未验证的部分：前面的部分是基于CIL库[21]的语法解析器、类型检查器和语法树化简器，完成从C源代码文件到Clight抽象语法树的生成工作。后面的部分，则是由PPC抽象语法树到具体汇编语法的输出，随后的可执行二进制文件生成部分则采用系统自带的汇编器和链接器。

It pointed out that there are four characteristics in Modern Chinese "Spatial System": 1 Temporal Space, Spatial Space and Abstract space(including quantity, scope, etc.) share the same linguistic system which we called "Spatial System", i.e., an abstract semantic model composed of several coordinate axis.

序论指出现代汉语的"空间系统"具有四个特点：1空间、时间以及某些抽象空间都具有共同的语言结构，可以把它们统称为"空间系统"，即由若干坐标轴构成的抽象的语义模型。

Cy Twombly uses a combination of charcoal, colored pencils, chalk and oil paint in his works; sometimes he also incorporates wavy, flowing, scribbled text. But Ye Yongqing uses an "eyebrow pencil" to portray abstract lines and points to form a poetic visual language. His latest paintings further expand on this. He created seven abstract paintings of an identical composition, method, symbol and style entitled Broken - Heart. These paintings vary in either background color or color of the lines.

汤布里在绘画中并用炭笔、彩色铅笔、粉笔和油画颜料，还借用文字抽搐涂抹飞动书写，而叶永青的绘画则用"眉笔"一点一划描绘出抽象的线条，构成了诗意的视觉语言，尤其是他最近的绘画把这样的观念性做了进一步延伸，他完成了七幅同一构图、同一方法、同一符号、同一风格的抽象绘画《伤·心》，它们的不同表现为：要么每一幅画中的底色不同，要么每一幅画中符号描绘的颜色不同。

This paper analyses some subnormal phenomenon of Chinese abstract of technology peridoical and points out the problem that should be noticed in writing chinese abstract.

本文分析了科技期刊中文摘要的一些常见的不规范现象，指出了编写中文摘要应注意的问题。

None. But this would appear to be another unreflective application of the unpersuasive inference noted above. In this case: Sets are abstract; abstract objects do not exist in space.

但是，这显然是前面那个没有说服力的推理的未经反思的使用——在这里，集合是抽象物，抽象物不存在在空间里，所以，集合必然不存在在空间里——但是，前述示例使得，有理由怀疑这个推理的信服力。

However, during New Trend '85, Gu Wenda differentiated himself from most artists of Chinese Painting of the time and showed his contemporary consciousness by experimenting on traditional ink painting materials and techniques. This brought out a new possibility for the contemporaneity of Chinese Painting. Since then, unremitting efforts have been made to "modernize" Chinese Painting through traditional abstract elements like ink-wash and Calligraphy. These efforts streamed into a new trend called "modern ink"(or "abstract ink","experimental ink") in late 1980's, though seemed not widely acknowledged for its resemblance to Abstract Expressionism of 1960's and 1970's American art. What is interesting is that while some artists are endeavoring to "westernize" their art, a new trend grouped as "Neo-literati Painting" appears with very traditional form and mood. This can be explained as a group of people's resistance to the reformation of traditional culture as well as their nostalgia to traditional ideals. However, this school tends to be artificial for the absence of the particular context, and the expression with traditional brushwork is also regionally limited. Of all the efforts of reformation, Chinese Painting that accordingly adopts the tradition heads the list because of the cultural identification of the big number of population and greater market as a result of the economic growth of China. Meanwhile, the immense conservative inertia of traditional Chinese culture can also be detected.

在"现代艺术"风起云涌的"85新潮"中，谷文达以传统水墨的材料和方法表达出不同于当时大多数中国画艺术家们这种文化心态和文化认知的现代意识，为中国画的现代性提供了一种方案；以水墨、还有选择中国传统书法的抽象因素等可能来进行现代性探索，一直是中国画连绵的努力，在80年代后期汇聚成"现代水墨"（又或曰"抽象水墨"、"实验水墨"），是中国画的又一流向，但是不是没有脱离60、70年代美国的"抽象主义"意义，反而还有了拾人牙慧之嫌，所以始终难以获得更大的认可和成功；很有趣的是，与此"西化"流向同时的，还有以非常传统的方式出现的"新文人画"潮流，或许可以把这看着是部分中国文化人在中国以西方为参照的新文化背景下对之的抵制，对传统理想的怀念和诉求，但由于已经失去了其语境和环境，"新文人画"显得娇情和造作，而且这种以非常地域化的传统笔墨语言来表现的方式也失去了更为普遍化的可能；反而是延续传统一脉的国画，由于有巨大的人数基础的本土文化的认同，在中国经济发展后有了更大的市场，所以还是蔚然为中国画的一大潮向，从这也可以看到中国文化承传的保守性的力量。

In playing the appraise through comparison of quality of all previous periodical that home holds all bear the palm, be labelled institute of information of science and technology of China of ministry of national science and technology " paper of Chinese science and technology and quotation database ", Documentation and Information Center of the Chinese Academy of Sciences " database of Chinese scientific quotation " periodical of core of Chinese of periodical of statistical source periodical, core of Chinese science and technology, whole nation, by CABI of AGRIS of Food and Agriculture Organization of the United Nations, England, zoologic record , United States, chemical abstract , polish Copernicus indexes , home is all with " China " the agricultural tabloid that name head publishs kind periodical of periodical and partial medicine abstract and " Chinese biology abstract ","."

在参加国内举行的历次期刊质量评选中均获奖，并被列为国家科技部中国科技信息探究所《中国科技论文和引文数据库》、中国科学院文献情报中心《中国科学引文数据库》统计源期刊、中国科技核心期刊、全国中文核心期刊，被联合国粮农组织AGRIS、英国CABI、动物学记录、美国DIALOG、化学文摘、波兰哥白尼索引、国内所有以&中国&名头出版的农业文摘类期刊和部分医学文摘期刊及《中国生物学文摘》、《中国学术期刊》等作为一次文献源期刊收录。

The head of a nominalized structure is mostly an abstract noun derived from a verb or an adjective,which is usually abstract in meaning,but sometimes refers to something concrete.

名词化结构的中心词一般是由动词或形容词派生或转化来的抽象名词，意义往往抽象，但有时又指具体事物，并且其结构成分之间关系复杂，因而在理解和翻译时不易把握。

China Engineering and the teaching has yet to fully utilize the power of MATLAB, MATLAB existing books mostly as a computer application tool there, not with the specific disciplines of organic materials combined, MATLAB GUI interface design, will be teaching content according to a certain order of the structure, using simple language, a rich display screen in front of the students. not only improes the students interested in this program, also makes some of the more abstract concepts of the past and the process of teaching students to reflect difficult to understand and master the content, through iid, image of the method explained to the students, so that students more easily understand and grasp. MATLAB and the emergence of soling this problem, MATLAB based on its powerful calculation and graphics functions so as to sole the problem, The system is controlled teaching address the dull, abstract characteristics do.

而我国工科类的教学还未能充分利用MATLAB的强大功能，现有的MATLAB书籍大都作为计算机应用工具书出现，未能与具体学科的教材有机地结合起来，MATLAB中的GUI界面设计，将教学内容按照一定的结构顺序，用简洁的文字、丰富的画面展现在学生面前，不仅提高了学生学习本课程的兴趣，还使得一些比较抽象的概念和过去教学过程中学生反映难以理解和掌握的内容，通过生动、形象的方法向学生阐明，使学生更容易理解和掌握，而MATLAB的出现解决了这一问题，MATLAB基于它强大的计算和绘图功能从而解决了这一问题，本系统就是针对解决控制教学中的枯燥，抽象的特点而做的。

Since Picasso never painted an abstract picture in his life, was abstract art; but even there his handprints lay everywhere - one obvious example being his effect on the early work of American Abstract Expressionist painters, Arshile Gorky, Jackson Pollock and Willem de Kooning, among others.

例外的是，抽象派，毕卡索在他一生中从来没有画过一幅抽象画，即使他的画放置在各个地方—一个明显的例子是他影响早期美国抽象表现派的画家，像是艾司

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。