查询词典 symbolic notation

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.

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

Because water has many symbolic characteristics: freedom, softness, silence but permanent and strength, many philosophers in different schools has always paid attention and deepened them, then exploited them to metaphorize human nature, virtue, and the Way. After thousand years heritage, water's symbolic characteristics has become the symbol of our native spirit.

在先哲那里，水不再只是一个自然现象，更被赋予了社会的精神意义，并上升为我们民族精神的象征。

Thus, this paper starts with the ontogenesis of TV symbolic system and attempts to draw an outline for television symbolic system, on the basis of the research achievement of symbology, linguistics and aesthetic psychology. Furthermore, it also discuss what kind of television symbols have the function of review and how this symbols organized and structure together, in order to fulfill the process of review in purpose.

本文从电视符号体系的本体论入手，借鉴符号学、语言学、审美心理学的研究成果，论述电视述评的传播符号和话语系统，并在此基础上具体研究哪些电视符号能够承担评论功能，它们又是如何组织、结构来完成论说的过程，实现&说理&目的的。

How could you forget that with all their simplicity, earnestness and unyieldingness, they are symbolic of our peasants in the North? How could you fail to associate them with our dauntless soldiers guarding our homeland all over the vast rear? How could you fail to see that these trees , ever striving to put out their closely knit branches and leaves in an upward direction, are symbolic of the spirit and will of our men who, fighting heroically all over the northern plains, are writing the history of New China with their own blood?

难道你就不想到它的朴质，严肃，坚强不屈，至少也象征了北方的农民；难道你竟一点也不联想到，在敌后的广大土地上，到处都有坚强不屈，就象这白杨树一样傲然挺立的守卫他们家乡的哨兵，难道你又不更远一点想到这样枝枝叶叶靠紧团结，力求上进的白杨树，宛然象征了今天在华北平原纵横激荡，用血写出新中国历史的那种精神和意志。

Whereas the symbolic universe legitimates the institutional order on the highest level of generality, theorizing about the symbolic universe may be described as, so to speak, legitimation to the second degree.

象徵性宇宙在概推的最高层次上正当化制度秩序，而象徵性宇宙的理论化称为次级正当化。

The father that if work,mad father, love annoys, disposition is too indrawn the be short ofing that the father of Mu Ne, resign oneself to adversity causes father easily to love is broken; Communicate time effectively between father and son, Mu Zizhi to be less than a hour on average to wait a moment every week, it is the cause that causes the child to become addiction.

如工作狂的父亲、爱愤怒的父亲、性格过于内向木讷、逆来顺受的父亲都易造成父爱的缺失；父子、母子之间的有效沟通时间每周平均小于一小时等等，都是造成孩子成瘾的原因。

These are vandal proof and they come with a locking mechanism.

这是野蛮的证据，他们来到了锁机制。