该路径还可以说明语言是如何进化的。
研究者称,这个发现只能说明语言对理解数字到底有多大影响。
The finding offers a clue about just how much language affects our understanding of Numbers, researchers say.
通过实践证明,用属性说明语言验证硬件电路是非常有效的验证方法。
By practice proving, the verification of hardware circuits is an effective method in property specification language.
广告语篇的特点以及文化特征都说明语言与文化之间的关系是不可分的。
The character of the advertisement discourse and its cultural feature indicate that language has a close relation with culture.
本节将介绍语言处理的各个方面,并且举例说明语言属性如何影响搜索结果。
This section describes aspects of the linguistic processing, and it provides examples of how linguistic properties influence search results.
LOTOS主要是用来描述复杂系统动态性的说明语言(形式描述语言),是可操作的。
LOTOS is a specification language that aims at describing the dynamic behavior of complex systems (formal description language).
目前软件开发中的形式化方法主要是形式化规范说明语言,有Z语言、VDM语言和RAISE语言等。
Nowadays, theformalized methods in software development mainly are formalized specification languages, such as Z language, VDM language and RAISE language, etc.
重点分析交际中的新词新语的认知过程,说明语言交际中新词新语的使用和理解遵循着语用原则:最佳关联原则。
This paper mainly analyzes the cognitive processes of new words in linguistic communication, which proves the use and understanding of new words should abide by the principle of optimal relevance.
本文说明语言信息的形式有表意作用,阐明语内意义的概念以及翻译语内意义的必要性,并从三方面论证可译的理论依据。
With ample examples the present paper illustrates the expressive function of linguistic forms and expounds the basic concept of intralingual meaning as well as the necessity of its translating.
是目前最为流行的一种形式规格说明语言,但就总体而言,Z规格说明的理论和技术尚未达到可以在工业界广泛应用的程度。
Z is presently the most fashionable formal specification. But as a whole, the theory and technology of Z specification isn't extensively applied in industry field.
利用形式化规格说明语言——B语言对软件需求进行了严格定义,在严格的数学基础上进行软件开发,以获得更好的软件性能。
The paper models software requirement in the form of formalized specification language b, develops software based on a precise mathematical framework in order to achieve better software performance.
通过使用可将业务设计与信息系统相关的正式语言,通常仅能说明矛盾、低效而复杂的非soa系统的情况。
Using a formal language that serves to correlate the business design and information systems often reveals just how contradictory, inefficient, and complex non-SOA systems can be.
用有力生动积极的语言来简明地说明你最近的职位背后的工作,也就是你的努力。
Use powerful, active language to concisely tell the reader the "story" behind your most recent or relevant positions.
所以,墓志铭其实就是一个自称的衣冠冢,一个铭文在遗体却不在的地方,当然通过此也充分说明了,语言的随意性特点。
So any epitaph is therefore a self-declared cenotaph an inscription on a place where the body isn't which of course tells us a lot too about the arbitrary nature of language.
这个机制使用比如像OCL这样的语言描述那些限制,它已经被充分的说明了。
The mechanisms for writing such constraints using a language such as OCL have been fully specified.
之前提到过存取器访问如何比直接访问慢,这例子说明,某些语言约会定导致不可见的性能问题。
Earlier we talked about how accessors are slower than direct field accesses, so this is an example of a certain language idiom resulting in an "invisible" performance hit.
UML是一种对分布式对象系统可视化,说明,构建以及记录的图形化定义语言。
UML is a specification that defines a graphical language for visualizing, specifying, constructing, and documenting the artifacts of distributed object systems.
清单1显示了几个CM IS查询的简单例子,说明如何使用查询语言。
Listing 1 shows a couple of simple examples of CMIS queries, illustrating how the query language can be used.
标签和药物使用说明必须以在黎巴嫩易懂的语言标示。
Labelling and instructions for the use of the drugs must be in a language that is understood in Lebanon.
下面的统一建模语言(UML)类图说明了在 Go-ForIt 中是如何使用委托的
The following unified modeling language (UML) class diagram illustrates how delegation was used in Go-ForIt
例如,本地化参数值为“en_US . UTF - 8”说明本地化参数使用的语言是English,使用美国习惯,使用UTF - 8编码。
For example, the locale "en_US.UTF-8" states that the locale USES the English language, using United states conventions, and USES UTF-8 character encoding.
本文将通过例子说明如何使用Adobe svg格式和PHP编程语言创建漂亮的交互式图形。
In this article, I demonstrate how you can use the SVG format with the PHP programming language to create pretty and interactive graphics.
层叠样式表(Cascading Style Sheets,CSS): CSS是一种用于说明HTML文档表示的样式表语言。
Cascading style Sheets (CSS) : CSS is a stylesheet language used to describe the presentation of HTML documents.
验证程序的这一部分仍在开发之中,但清单5说明了如何定义宿主语言。
This portion of the validator is still under development, but Listing 5 shows how the host language is defined.
和自然语言相似,编程语言是我们同机器进行交流、说明自身意图的方式。
Like natural languages, programming languages are the means by which we communicate with machines to specify our intent.
本文不但说明了若干个迁移问题,而且还花了一些时间说明如何使用这些新主要语言特性。
Although this article covers several migration issues, I also spend a lot of time showing how to use these new key language features.
我们在开始转向对开发平台的讨论之前还想说明一点,“基于语言”并不是连接互联网唯一的方法。
Although this starts to move into the into the direction of talking about the platform, the language-based method isn't the only way of connecting the web.
我们在开始转向对开发平台的讨论之前还想说明一点,“基于语言”并不是连接互联网唯一的方法。
Although this starts to move into the into the direction of talking about the platform, the language-based method isn't the only way of connecting the web.
应用推荐