查询词典 formal language

Based on White event algebra, the formal framework is extended for event algebra, considering semantic definition of events in more concise temporal relationships of events to enhance the expressiveness of event query language while taking into consideration event selection and consumption policy-the context consumption policy to improve the performance of event detection.

基于White事件代数，扩展了事件代数的形式化框架，在形式化框架中考虑复合事件在更精细的时间关系下的语义定义，以增强事件代数的表达能力，同时考虑与应用相关的事件选择和消费策略-上下文策略，以提高事件检测的性能。

By the same token, don't use informal language when your reader expects a more formal approach.

出于同样的原因，不使用非正规的语言当您的读者希望更正式的方法。

Chapter Five shows the case study of the beauty of math in high school teaching. Conic section is taken as an example to unearth the beauty of mathematics in from the following three aspects: 1. the language beauty of conic section reveals the external formal beauty; 2. the methodological beauty and the logical beauty of conic section reflect the internal rational beauty; 3. the beauty of mathematics in conic section reveals the new value in internal knowledge structure of textbooks. Moreover, the application of the beauty of mathematics in high school math teaching is also discussed from the following four points of view: the pursuit of conciseness, the construction of symmetry, the utilization of unity and the discovery of uniqueness.

首先，以圆锥曲线教学为案例来挖掘中学数学教学中的数学美，具体从三个层次探讨①圆锥曲线语言之美，是数学美的外在形式美具体展现；②圆锥曲线方法美、逻辑美，是深层次数学美的内在理性美的反映；③在圆锥曲线的教学过程中，利用其数学美处理教材，揭示内在知识结构的新价值；其次，提出数学美在中学数学学习中的具体案例运用，并具体从追求简洁性、构造对称性、利用统一性和发现奇异性四个方面来举例探讨。

The same is true of the Chinese language. It has no formal conjugation of verbs or inflections in gender and number....

汉语也是这样，没有动词形式的变化，也没有词性和数的变化。

In the past, language teaching in both countries focused on the acquisition of knowledge of the formal aspects of language: knowledge of its structure and grammar.

过去，语言教学在这两个国家的重点都是为了获取这种语言的正规方面的知识——结构和语法方面的知识。

But since it is required of any theoretical treatment that it not leave its basis implicit, but declare it openly, so that it may be clear with what its argument is concerned, I say, hastening to deal with the question, that I call 'vernacular language' that which infants acquire from those around them when they first begin to distinguish sounds; or, to put it more succinctly, I declare that vernacular language is that which we learn without any formal instruction, by imitating our nurses.

任何理论思考都要求其基础明确公开，因此应该弄清楚讨论的问题是什么，我们要考虑的是我称之为"俗语"的东西，是婴儿开始分辨声音时从他周围的人那里学来的，或更简练地说，即我称之为俗语的是我们没有通过正规指导，而是通过模仿保姆而学会的语言。

It can be built in the early stage of language development and serve as a formal method to design and implement the language with rigorousness, precision and correctness.

详细讨论了类型系统的基本构造和实现，通过基于图重写的函数式语言SClean的类型系统，提出一种实用的类型系统的构造和实现方法

Day-to-day dialogue: every day you have to have situational awareness in daily life and in baby talk, dialogue, language should be brief, clear, formal, not to mention the baby language, want to tell him to read the word accent Repeat several times or more.

4日常对话：每天你都要有意识地在日常生活情境中和孩子说话、对话，语言要简短、明确、正规，不要说娃娃语，想让他说出的字要读重音或多重复几遍。

On the basis of summarizing and commenting upon the major studies of semantic orientation of resultative construction in modern Chinese, the paper claims it is insufficient to study semantic orientation of resultative construction only from the literal or formal logic point of view, but rather, researchers should take into account some subjective factors on the part of language users; then, the paper introduces Talmy's cognitive semantic approach to resultative construction; based on his theoretical framework, the present paper further investigates the internal causes of the diversity of semantic orientation of satellites in Chinese,supported with the data analysis; and finally, this paper concludes that it is the semantic and syntactic properties of the verb root that make these diversified semantic orientation possible, and their actual representation is finalized by the language user via different satellites.

本文在对以往动补结构语义指向的主要研究成果进行总结评价的基础上，提出对语义指向的研究不能停留在字面和形式逻辑的层面上，而应结合语言使用者的主观因素或主观经验，也即是认知语义学的观点；其次，系统地介绍了Talmy的认知语义学观点中关于汉语动补结构的重新描述和分析，并在此基础上，着重分析了汉语动补结构多样化的语义指向的内在原因，即，汉语动作动词特殊的词汇化模式(仅包括动作和使动成分在内)中不包含确定动作执行结果的成分，因而须要借助于其卫星成分来表明动作的结果，这个结果可能是规约性的结果，也可能是偶然性的结果，由此呈现出卫星成分的多义性的特点，也就是传统上说的动补结构的语义指向。

The practical and theoretical significance of this study is concluded as the following three aspects: 1 the application of SFG's metafunction theory grasps the language patternings that encode the writer's perspective in fiction; 2 the adoption of SFG's conception of meaning potential and context facilitates the insight into the stylistic value of those foregrounded language patternings; 3 the focus of this approach on both the formal and semantic dimensions of perspective strengthens the grasp of perspective's essence and enhances the study of perspective in fiction.

本文所提出的对小说视角的系统功能语法分析模式的理论意义和实践价值在于：一，运用系统功能语法对及物性和情态的描写、分析，抓住了蕴含视角的语言样式的特征；二，采用了系统功能语法关于语义潜势和语境的理论，从而揭示了相关语言样式的文体价值；三，从语言的意义和形式相结合的层面来操作，抓住了小说视角的本质，促进了对视角在小说中的意义和价值的全面深入的探究。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。