查询词典 sentential form

After analyzing the structure of sentences,Tarski found that, it was impossible to define the truth of the calculus of classes directly,but making use of the structure character of sentential functions could give us the approach to escape the dilemma:Firstly,we could defined the concept of satisfaction in sentential functions by means of recursive method;Then,we could regard sentences as a peculiar form of sentential functions;Finally,with the help of the concept of satisfaction,we could defined successfully the truth of the calculus of classes.

通过分析语句的结构，塔斯基发现很难直接定义出类演算语言的真概念，而语句函项所具有的可递归形成的结构性质可以使我们得到脱离困境的办法：先采用递归方法针对语句函项定义出满足概念，然后把语句作为语句函项的特殊形式，借助于满足概念最终可以得到类演算语言的真概念定义。

Thus on the basis of MLFM Chinese-English codeswitching can be grouped as three types of inter-sentential codeswitching, intra-sentential codeswitching and diglossia codeswitching with sub-branches under each of them.This study also indicates that Chinese-English codeswitching in ads of Chinas mass media on the one hand shares some of its common motivations as in conversational analysis, and on the other hand as an advertising strategy it also shows the features of advertisement stylistics.

研究表明，中国媒体广告中出现的中―英语码转换的功能与作用既兼有语码转换的一般性特点，同时又因为广告文体的特殊性而具有广告语言的独特性。

In order to avoid constructing state space model many times, we propose sentential input method based on the phoneme further. It integrates the syllable segmentation into sentence transformation and inserts a phoneme rather than a segmented syllable each time. It can get optimal result by one construction of status space model composed with all the candidate words produced by all the possible syllable combination.At last we design a test program to constrast this input method and Microsoft Pinyin input method to improve our sentential function.

为避免多次构造状态空间模型，进一步提出基于音素的整句实现方法，将音节切分融入整句转换之中，仍然使用状态空间模型，只不过每次插入的是一个音素，而不是切分好的音节，对插入的音素节点，往前搜索，直接将该音素与前面已经输入的音素能组合形成的所有拼音串对应的候选字词插入状态空间，参与整句转换，通过构造一次状态空间模型得到全局最优解。

It is concluded in Chapter Eight that: 1 linguistic proficiencies in three languages play a considerable part in code-switching of EFL teachers in trilingual context; the inter-sentential switching outweighs the intra-sentential switching both in frequencies and percentage; discourse-related switching also outweighs participant-related switching in frequencies and percentage; the EFL is maintained longest in EFL classroom and the language maintained second longest depends upon learners" higher proficiency in Chinese or Tibetan. 2 Ethnic identity and educational background is the major causal factor of EFL teachers" Chinese-English switching in trilingual classroom; duration of language contact and relative trilingual proficiencies are the two principal contributors to the English-Tibetan switching; while Tibetan-English switching is mainly driven by EFL teachers" ethnic identity and education background, as well as the duration of language contact; English-Chinese switching is also largely motivated by the duration of trilingual contact; and Chinese-Tibetan switching is determined by trilingual proficiency to a considerable extent. Meanwhile, psychologically, the switching is mainly motivated by a procedure of psychological projection, trilingual system conceptualization and the mentality of trilingual selection. 3 The educational reflections upon this study indicate: firstly, in trilingual context, the teachers" classroom discourse is characterized by the multilingual involvement, flexibility in strategy option as well as the extension and strengthening of the domination of teachers" discourse. Secondly, the discourse movement and code-switching are largely affected by two cultural ecological mechanisms: enculturation and cultural manipulation. Thirdly, the status quo of EFL trilingual teachers are characterized by unbalanced trilingual proficiencies, poor cultural awareness, and little knowledge of trilingual education and trilingual code-switching, therefore, suggestions are advanced in the end to provide them further education. Fourthly, in trilingual context, the EFL curriculum for ethnic minorities is characterized by plurality of aims, complexity of organization and variety of resources. Meanwhile, it is of great necessity to understand the linguistic values of EFL education for ethnic minority learners. To be specific, firstly, we should not only have a deep understanding of the distribution, construction, function as well as communicative effects of the three languages, but also have a comparative study of the three languages and thus provide the standardization and guidance for the trilingual education. In the end, it is advanced that trilingual EFL provision for ethnic minority should pursue to develop learners" multicultural value system in which first language culture and mother language culture take the central position and EFL culture plays a vital role.

3在三语环境下，教师课堂话语具有话语形态多元化、话语选择策略具有灵活性和教师话语权得到延伸和拓展等特征；文化涵化和文化操控是影响三语教师课堂语码转换的两种文化生态机制；参差不齐的三语水平、淡薄的多元文化意识和对三语教学和语码转换缺乏科学认识是我国目前三语师资的主要特点，因此应对三语教师进行职后继续教育；在三语环境下，民族外语课程具有课程目标多元化、课程组织复杂化和课程资源多样化等特点；应对民族外语教育的语言价值进行审视和解读，对三种语言在课堂话语中的分布趋势、结构特征、功能作用和交际效果等问题进行深入研究，加强对三种语言间的对比分析研究，同时对民族外语教育中的三语教学进行规范和指导；在强调民族文化和二语文化在三语文化格局中心地位和外语文化的重要作用的同时，民族地区的外语教育应以构建多元文化价值观为其文化追求。

Adopt ASP. NET 2003 is regarded as the developing instrument, the design of storehouse of the data follows 3 normal form :, have designed the coding schedule of goods and materials mainly, tombarthite product structure catalogue, basic information slip of the job centre, route form of the craft , project code of the expenses, journal ledger of the cost of goods, subsidiary ledger of the cost of goods, department's form, measurement unit form, the supplies inventory safeguards the counting type structure form, real expenses form, share the proportion form in power of kinetic energy, salary expenses share proportion form, amortization charge share proportion , maintain expenses share proportion , test expenses share proportion , main frame left menu tree form , material price list ,etc. data list

采用ASP 。NET 2003作为开发工具，数据库设计遵循第三范式，符合第二范式的条件，每个非关键字属性都仅由关键字决定，而且一个非关键字属性不能仅仅是对另一个非关键字属性的进一步描述(即一个非关键字属性值不依赖于另一个非关键字属性值)。，主要设计了物资编码表、稀土产品结构目录表、工作中心的基本情况表、工艺路线表、费用项目编码、产品成本总帐、产品成本明细帐、部门表、计量单位表、物料清单维护数型结构表、实际费用表、动能功率分摊比例表、工资费用分摊比例表、折旧费用分摊比例、维护费用分摊比例、化验费用分摊比例、主框架左菜单树表、材料价格表等数据表。

A parse of a sentential form is the construction of a derivation and possibly a syntax tree for it.

句型的分析是某个推导的构造过程。

If a sentential form is ambiguous, then it has more than one syntax tree and therefore, in general, more than one handle

如果句型是二义性的，那末，它不只有一棵语法树，因此，一般地说，也不只有一个句柄。

The poor grammar, unconventional double negatives and monotonous sentential patterns form the typical features of gump's language.

蹩脚的语法，非常规的双重否定和结构单一的表达构成了他句法层面的显著特色。

Through correlative analysis and path analysis, it finds that (1) the family environment and the colleges and universities environment have direct and indirect influence on self-identity development of students; and (2) the family environment and the colleges and universities environment exert the major effect on self-identity development of students through identity style as mediational variable, so identity style becomes the explanatory base of self-identity status. That is, the predictive effect of diffuse/avoidant identity style for identity diffusion, normative identity style for identity foreclosure, and information identity style for identity achievement respectively is most significant; and (3) family environment that is helpful, supportive, warm, expressive, and promote autonomy and independence possibly makes students form identity achievement or identity moratorium, family environment that is excessively cohesive and warm but lacking independence possibly promote students to form identity foreclosure, and family environment that lacks of supportive and warm possibly make students form identity diffusion; and (4) colleges and universities environments that have better relationship system, clear developmental purpose, and promote to pay attention to societal concerns, critical and explorative qualities, and provide healthy, expressive, democratic, open atmosphere facilitate identity development, in turn form advanced identity. Colleges and universities environments that only emphasize the receival of colleges and universities aims, order and instilments, and scarcely encourage critique, exploration, individuation possibly make students form identity foreclosure. However, the ones that is remote relationship system, and lacking support, and students don't cognize the aim of colleges and universities possibly make students form identity diffusion.

通过相关分析、路径分析发现：(1)家庭环境和学校环境对大学生自我同一性有直接和间接的影响；(2)家庭环境、学校环境对大学生自我同一性影响主要以同一性加工方式为中介变量，同一性加工方式成为自我同一性状态的解释基础，弥散—回避定向同一性风格对弥散型同一性预测力最大，信息定向同一性风格对成就型和延缓型同一性预测力最大，常规定向同一性风格对排他型同一性预测力最大；(3)相互支持、帮助、关心、自由表达和鼓励自主和独立的家庭环境促进大学生同一性的发展，形成成就型或延缓型同一性状态，过度亲密而缺乏独立性特征的家庭环境可能形成排他型同一性状态，而缺乏支持性，关系疏远的家庭环境可能形成弥散同一性状态；(4)良好的关系系统，明确的发展目标，鼓励学生对社会事务关注、倡导批判和探索精神，塑造良好、健康、可供自由表达、民主、开放的文化氛围的大学校园环境促进大学生同一性发展，形成高级、成熟的自我同一性，而一味强调学校目标的接受，强调秩序、灌输，缺乏对批判、探索、个性发展鼓励的学校环境有可能使学生形成排他型同一性状态，但若学校的关系系统疏远，缺乏支持性的民主的风格，目标不能被学生明确感知的学校环境则可能影响学生形成弥散型同一性。

Based on the observation of atomic force microscopy, the etching morphology of faces and sections with different crystallographic significance on α-quartz has been studied. The etching morphology on the natural crystal faces hexagonal prism faces (1010 and 01(average10, rhombohedron positive form face 10(average11, rhombohedron negative form face 01(average11 and the sections between any of the two crystal faces has been observed. It is shown that the etching pit on the same simple form has the same shape, while the orientation of the etching pits can be different. Different simple forms have different shapes of etching pits and the shapes of etching pits on positive form and negative form of the same simple form are also different.

通过对α-石英自然晶面六方柱面10(平均值10和01(平均值10、菱面体正形面10(平均值11与菱面体负形面01(平均值11、以及介于上述自然晶面之间的切面进行腐蚀形貌的观察研究发现，石英晶体同种单形的晶面腐蚀坑形态相同，但方位可以有变化，不同单形的晶面腐蚀坑形态不同；同一单形的正形与负形腐蚀坑形状不同；蚀坑形态能够反映晶体的对称性。

The work of this paper is as follows: 1. Looking back the progressing history of the linear motor, introducing the features of the elevator driven by linear induction motor, radicating the topic of this paper "the digital frequency variable control of the elevator bi-side direct driven by linear induction motor". The research of this paper covers the conventional VVVF control, space vector based VVVF control, vector control and DTC.

本文主要开展了以下几个方面的工作： 1 回顾了直线电机发展历史，电机的驱动技术演变，特别是针对直线电机的驱动，简要介绍了直线感应电机驱动电梯的优点和不同结构类型，对传统的v／f控制，基于空间矢量法的v／f控制，矢量控制，和基于电压空间矢量的直接转矩控制进行了比较，确立了本课题的研究主题：直线感应电机双边直推式驱动电梯的全数字变频控制。

The article combines with the treatment of a superficial civil air defense work to introduce how the grouting method to improve the performance of the backfill soil.

文章从治理漂浮人防工事的角度提出了注浆技术在改善回填土性质方面的应用，并详细阐述了注浆技术的施工流程。