查询词典 symbolic

The research conducted in this paper solves the symbolic structure of the devils carpet and the metrization of the plateau of an equal topological entropy class, and presents the symbolic description and visual realization of equal entropy fractals.

本研究解决了拓扑熵魔毯的符号结构和等拓扑熵类平台的度量刻划；获得了等熵分形的符号刻划及直观实现。

Certain foods are eaten in set order during the ceremony, including matzoth, the unleavened bread of bondage; maror, bitter herbs, commemorating the bitterness of slavery; baitzah, a hard-cooked egg, symbolic of life's cycle of birth and death; zaroah, a roasted lamb bone representing the paschal lamb; haroseth, chopped nuts, apples, and wine, symbolic of the clay used by Pharaoh's Hebrew slaves to make bricks; and karpas, parsley, lettuce or other greens, as a reminder that the new growth during this spring festival brings renewed hope of universal peace.

某些食品可吃掉，每套为了在开幕典礼中，包括matzoth ，未经发酵的面包的劳役； maror ，苦菜，纪念苦涩的奴役； baitzah ，硬熟鸡蛋，象徵生命的周期的诞生和死亡； zaroah ，一个烤羊肉骨代表逾越节的羔羊； haroseth ，切碎的坚果，苹果，葡萄酒，象徵性的粘土用老王的希伯莱奴隶，使砖；卡帕斯，香菜，生菜或其他绿色植物，作为提醒说，新的增长点，在这个春节带来新的希望，对世界和平。

Modem anthropology has through the reconsider for the ritual and playact, and via the ritual's symbolic order and symbolic meaning to reveal the political, economic and other relations.

现代人类学通过反思仪式及共展演，透过仪式的象征秩序和象征意义，揭示它与社会政治、经济等的关系。

A general method for signal coding based on symbolic sequences and the relationship between the variable and its symbolic sequence are presented.

理论分析、数字仿真及试验结果表明，混沌在测量领域中的应用具有很大的潜力，为混沌的工程应用开辟了新的方向。

Optimization method for symbolic problem is developed and the characteristics of the symbolic solutions are studied, and the method is coded with rule-based production systems.

本文提出的这一方法找出了问题的全部紧约束判断条件，去掉了更多的多余子问题，得到了在各种系数取值条件下问题的全部子问题。

Based on the common symbolic dynamic method, a novel time-varying symbolic dynamic method is proposed. The Logistic map is used to test the properties of the method.

本文在符号动力学方法的基础上，对映像系数进行修正，针对耦合单峰Logistic映射，提出一种基于时变映像系数恢复信号初值的新方法。

The symbolic method made the function of the computer have qualitative leaps, it can used not only in number value and calculate but also in the reasoning of formulae and symbolic processing.

本文将二值图像转换成连通图的形式，采用了RLC的数据结构压缩图像数据，路径的搜索工作都是在连通图的基础上进行的。

In order to check bisimulation for value--passing processes with infinite data domain, the symbolic transition graph and the symbolic transition graph with assignment are introduced by Hennessy and Lin as semantic models of value-passing processes, and strong bisimulation algorithms based on such graphs are also proposed.

为刻画和验证无穷值域上的传值进程，Hennessy和Lin先后提出符号迁移图和带赋值符号迁移图作为传值进程的语义表示模型，并给出了相应的强互模拟算法。

In order to check bisimulation for value-passing processes with infinite data domain,the symbolic transition graph STG and the symbolic transition graph with assignment STGA are introduced by Hennessy and Lin as semantic models of value-passing processes,and strong bisimulation algorithms based on such graphs are also proposed.

为刻画和验证无穷值域上的传值进程， Hennessy和Lin先后提出符号迁移图STG和带赋值符号迁移图STGA作为传值进程的语义表示模型，并给出了相应的强互模拟算法。

First, a new model, TSTG (Timed Symbolic Transition Graph) is presented along with its semantics theory. An algorithm deciding timed bisimulation is developed based upon the idea of symbolic bisimulations. Model checking algorithms has played an very important role in verifying systems.

在分析与验证算法的设计方面，在新的计算模型基础上，我们分析了实时传值进程间各种不同互模拟的特点以及判定方法；尤其针对时间互模拟，根据符号互模拟的思想，本文给出了一个时间符号迁移图上的判定算法并证明了算法的正确性。

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.

这是凯特，那个是爱朗。