查询词典 symbolic

Symbolic transition graph is proposed as a compact semantic model for the π-calculus processes. The rules which generate such STGs from finite-control π-calculus processes are presented.

提出以符号迁移图为π-演算进程的有穷表示模型，并给出了将有穷控制π-演算进程转换成有穷符号迁移图的全部产生规则。

The broad symbolic significance of the trefoil knot is: science has no national boundary; interdisciplinary study has no boundary; science requires communication among countries; science and art are closely linked.

三叶纽结的广义象征意义是：科学没有国界，各学科之间没有边界，科学是相互连通的，科学与艺术是相互连通的。

By generating the closed form "triangular" Groebner Bases, the closed form symbolic solution has been obtained. An example of synthesis of planar rigid body guidance is given to demonstrate the strategy and efficiency of the method.

在生成该系统的封闭形式的"三角化"的Groebner基的基础上，求出了问题的封闭形式的符号解，以平面铰链四杆机构的刚体导引综合问题为例，说明该方法的思路及有效性。

But it was with the publication of his masterpiece, A House for Mr Biswas (1961), a highly symbolic study of a Trinidadian family coming painfully to terms with the dissolution of a colonial way of life and the conflicts within the struggle for independence, that really put him on the map.

但是直到他最杰出的作品《比斯瓦斯先生的房子》（1961）出版，用象征性的手法描写了一个特立尼达家族与殖民地生活方式痛苦决裂以及他们在争取自由斗争中所遭遇的冲突，他才确立了自己的地位。

But the most primitive identity of the figure Seth, who is also closely related to the serpent of darkness known as Zet, and often refered to by classical Greek writers as Typhon, the serpent of the goddess Gaia, may once have been female, or in some way symbolic of the Goddess religion, perhaps related to the Goddess Ua Zit,"Great Serpent", the cobra Goddess of Neolithic times.

但最原始的身份，这个数字塞思库，她亦是密切相关的毒蛇黑暗称为zet ，并常常被称为经典的希腊作家typhon ，蛇的女神盖亚，可一旦有女，或在以某种方式象征妈祖宗教，也许涉及到女神尿酸zit ，"大毒蛇"，眼镜蛇女神的新石器时代。

In general, glibc uses UCS symbolic names in locale definition, for convenience in generating locale data for any charmap.

通常，glibc 在区域设置定义中使用 UCS 符号名称，以便为任意的字符映射生成区域设置信息。

Drawing upon the work of Paul Tillich, Richard Hecht claims in this volume that religion is all about meaning religion uses symbolic communication, behavior, persons, places, and objects to articulate that which is ultimate and it is religion's role in meaning-making that links it to violence: It is not just that religion provides justification for acts of ultimacy, acts of violence, but is essential to it.

在Paul Tillich工作的基础之上，Richard Hecht在本书中宣称宗教完全是象征——并且宗教的角色就是制造象征，并与暴力联系起来：宗教不仅为极端行为和暴力行为提供正当性，而且是这些行为所必需。

, d a symbolic umbilic, if RA consists of three coin-cident lines.

d一符号中心的，如果镭包括三条一致线。

Key words: probability and symbolic statistics; linear model; parameter estimate; best linear unbiased estimate

关键 词：概率论与数理统计；线性模型；参数估计；最佳线性无偏估计

The government badly wanted this last foot-soldier to be memorialised; but he preferred to be uncelebrated and ordinary, even in some sense forgotten, and thus the more symbolic of all the rest.

政府想要纪念这位最后的步兵；但是，蒙蒂塞利喜欢的是默默无闻，简简单单，甚至是被遗忘，这样才更像他的战友们。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。