查询词典 formalized

The edges of axe, adze and chisel had been finely grinded and had no sign of being used, indicating that they were not tools of practical use but formalized symbols.

金沙出土的玉制兵器与工具，基本没有使用过，说明已不是实用器，而是礼仪用器。

With respect to syntax, the roles of tagmeme in the structure of word and sentence and Chomsky's Generative-Transformational Grammar are discussed. The spatial relation theory and existing research achievements are investigated. Having noticed the shortage of the capability of topological and metrical relation in the description of spatial information structure, the author proposes Combinational Qualitative Geometry based on the two invariables under ordinary transformations, distance ratio and direction difference, the CQG-based spatial relation system between topological and metrical constraint is thus constructed, on which several spatial relations such as parallel, perpendicularity, co-linearity, sequence and direct neighborhood are derived. Based on extended theory of spatial relation, the language anamorphosis is analyzed from the aspects of phonetics, semantics and syntax. The mere geometric and formalized spatial relation is then integrated with concrete geographic ontology to accommodate richer and indicative spatial configuration of spatial information in the different geographic context. Finally a syntax framework for spatial information is put forward.

在语法结构方面，首先阐述了法位和法素在语法结构词法和句法中的地位和作用，以及Chomsky生成转换语法的核心内容；详细介绍了地理信息系统空间关系理论及现有的研究成果；在分析现有的拓扑关系和量度关系对空间信息结构描述能力不足的基础上，提出了基于长度比和角度差两个不变量的组合定性几何，以此建立了介于拓扑及量度约束之间的组合定性关系体系，并以此为基础派生出平行、垂直、共线、次序、直接邻近等空间关系描述；本文基于扩展的空间关系理论，详细讨论了空间关系在语音、语法和语义三个方面的语言变体，将纯几何和纯形式化的空间关系与具体的地理本体结合起来，可以获得更为丰富的、更能反映空间关系在不同语言上下文中具体体现的组合关系；最后给出了一个空间信息的语法结构的基本框架。

Giotto di Bondone (1267–1337) is credited with first treating a painting as a window into space, but it was not until the demonstrations of architect Filippo Brunelleschi (1377–1446) and the subsequent writings of Leon Battista Alberti (1404–1472) that perspective was formalized as an artistic technique.

(1267至1337)被认为是第一个将绘画看作表达空间的窗口的人，但是，直到有了菲利波布鲁内列斯基(1377至1446)的示范和利昂纳巴蒂斯塔阿尔贝蒂）(1404至1472)随后的作品，透视法才作为一种艺术技巧正式确定其地位。

"Breadboard" test, a more formalized prototype, called the XAF, was installed on the battleship U.S.S.

经过对这架"试验电路"的测试，一种更正式的原型雷达XAF于1938年安装在U.S.S。

Following the "breadboard" test, a more formalized prototype, called the XAF, was installed on the battleship U.S.S.

经过对这架"试验电路"的测试，一种更正式的原型雷达XAF于1938年安装在U.S.S。

In 1792, the traders formalized their association with the Buttonwood Agreement.

于1792年，他们的交易商协会正式的梧桐树协定。

The way to specify adaptive software architecture is that ports of component and roles ofconnector are formalized by process or agent, their interaction is formalized by composition and sum operator.

本文使用Pi演算描述软件体系结构的方法是使用进程或实体描述构件的端口和连接件的角色，使用组合和求和等操作描述它们之间的交互。

Third, he has put forward a formalized OMT in order to solve the problems of equivocality brought about by a non-formalized OMT in its description and such deficiencies as automation's being not easy to realize.

再次，提出一个形式化的OMT(FOMT：Formal OMT)方法，以解决非形式化OMT在描述中所带来的二义性的问题和不便于实现设计的自动化等缺陷。

The independence of the function is discussed focusing on the connection between man and language by analyzing the important concept of Chinese classical poetics Feelings-expressed-by-sound , which shows the opening and harmonious connection between the inner formalized feelings of man and the outer formalized sound of poetry or between man and language. As the formalized emotion, the feelings of the sound formed don't depend on social emotion.

生成的独立性：诗歌语音结构的生成具有"物之自则"即和谐自组织的的特性，也即不是在外力作用下而是按自身内在构型规律成型的；从人与语言的关系来看，古人用"体""用"并通过对体用一如的强调，来揭示人的内在性情与诗之"声"的高度交融关系，正是在"情之自溢"、"触物成声"的生成过程中，诗歌才做到体用一如——诗歌语音和谐构型的独立性离不开人的内在情文构型的独立性。

The modularised structure is applied to the framework, in which the formalized parts are separated from non-formalized parts, so to a large extent the framework can suit to the upgrade of standards.

框架采用模块化结构，将其中的形式化部分和非形式化部分进行了分离，能够在很大程度上适应标准的升级。

Singer Leona Lewis and former Led Zeppelin guitarist Jimmy Page emerged as the bus transformed into a grass-covered carnival float, and the pair combined for a rendition of "Whole Lotta Love".

歌手leona刘易斯和前率领的飞艇的吉他手吉米页出现巴士转化为基层所涵盖的嘉年华花车，和一双合并为一移交&整个lotta爱&。

This is Kate, and that's Erin.

这是凯特，那个是爱朗。