查询词典 symbolic

Based on mathematical mechanization method and computer symbolic processing technique this paper carried out a solution by symbolic method for position analysis of robot with octahedral and decahedral variable greometry truss.

基于数学机械化方法和计算机符号处理技术，对八面体及十面体变几何桁架机器人的位置分析进行了符号法求解，成功地将非线性位置约束方程组化简为等价的三角化方程组，分别导出了单变量的16次和48次代数方程，并给出一个数字实例说明这种方法。

The concept, symbolic play deficit in autism, was partly supported by this study. Most of children with autism could gradually develop the capacity of dual representation; and moreover, in the case of high functioning autism, symbol comprehension of triune representation remained intact. Their difficulties are more on the flexibility of functional or symbolic spontaneous play, rather than symbolic comprehension.

总结而论：自闭症儿童游戏能力的缺陷在本研究中得到部分支持，随著年龄成长，他们能逐渐发展出双重表徵的能力，三重表徵的能力发展在高功能自闭症儿童中亦未有困难，自闭症儿童象徵能力的缺陷，仍较集中在自发的功能性或象徵性游戏能力中弹性使用的部份，而非象徵理解的部分。

Mead also felt that most interactions revolved around the process of individuals reaching a common understanding through language and other symbolic systems, hence the term symbolic interactionism.

的确是的也认为大多数互动过程中的个人围绕达成共识，通过语言与其他符号系统，因此这个术语摘要符号互动理论。

Although Goffman is often characterized as a symbolic interactionist , he tried to correct the flaws of symbolic interactionism. For Goffman, society is not a homogeneous creature. We must act differently in different settings.

在人际互动中，不管个人在头脑中所具有的具体目标是什么，也不管他达到这个目标的动机是什么，他的兴趣始终是控制他人的行为，特别是控制他人对他的反应。

The research conducted in this paper solves the symbolic structure of the devil's 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.

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

In the fist part, considering the game theoretical aspect of generalized Cohen's forcing C in dependence of ideal / on ω, Generalized a result of Sharp in Combinatorics on Ideals and Axiom A(The Journal of Symbolic Logic,1994), we argue that if J is a regular p*-ideal then C do not satisfy Axiom A.

第一部分通过讨论ω上的理想J的广义Cohen's力迫C的博弈论性质，我们推广了Sharp在论文Combinatorics on Ideals and Axiom A(The Journal of Symbolic Logic，1994)中的一个主要结果——如果U是一个超滤，则其对偶理想J=U~*所作成的广义Cohen's力迫C不满足力迫公理A，我们进一步证明了如果J是一个正则的p~*-ideal则C不满足力迫公理A。

He has been an editor of the Journal of Symbolic Logic and chief-editor of the Journal of Philosophical Logic.

他曾是国际逻辑学两个主要杂志Journal of Symbolic Logic的编委和Journal of Philosophical logic的主编。

Chapter 2 is devoted to study of exact solutions of the nonlinear evolution equations. Using solutions of a Bernoulli equation instead of tanh in tanh-function method we find some more general solutions of the KdV-Burgers-Kuramoto equation , and by using the nonlinear telegraph equation we show that there are many different choices on its balancing number m and the power n of the nonlinear term in Bernoulli equation by which we can recover the previously known solutions and also can derive new square root type solitary wave solutions. Exact solitary wave solutions for a surface wave equation are obtained by means of the homogeneous balance method. We also present an approach for constructing the solitary wave solutions and non-solitary wave solutions of the nonlinear evolution equations by using the homogeneous balance method directly, which is also used to find the steady state solutions, solitary wave solutions and the non-solitary wave solutions of the 2+1 dimensional dispersive long wave equations. The soliton-like solutions of the BLMP equation and the 2+1 dimensional breaking soliton equation are found by use of the symbolic-computation-based Method.

第二章中研究了非线性发展方程的精确解：用双曲正切函数法中的双曲正切函数换为Bernoulli方程的解的方法而给出KdV-Burgers-Kuramoto方程的精确解并用非线性电波方程为例说明了平衡数m和Bernoulli方程中非线性项的次数n有着多种选择的可能，它不但使我们能找到已知解而且也能找出新的根式孤立波解；用齐次平衡法给出一个曲面波方程的精确孤立波解，并提出直接用齐次平衡法寻找非线性发展方程的孤立波解、非孤立波解的方法，作为应用给出2+1维色散长波方程组等的定态解、孤立波解、非孤立波解等；用Symbolic-computation-basedMethod获得BLMP方程和2+1维破裂孤子方程的类孤子解；提出sine-Gordon型方程的直接求解方法，并获得sine-Gordon方程、双sine-Gordon方程、sinh-Gordon方程、MKdV-sine-Gordon方程和Born-Infeld方程等的精确孤立波解。

Finally this paper consideres an applicable case-the symbolic transition graph,then the generalized symbolic observation graph SOG and symbolic congruence graph SCG can be finite,so authors' algorithm is feasible for weak bisimulation and observation congruence.

此时由符号双迁移关系生成的符号观察图和迟符号同余图必为有穷图，因而我们的弱互模拟等价算法是可行的。

Firstly, system model depicted by TSIOA is transformed into an USTGSS (untimed stable label transition graph of symbolic state) which does not contain abstract time delay transitions. Then, the testing methods based on LTS are used to the generate transition sequences from USTGSS according to structural coverage criteria. Finally, a process of constructing and executing the test cases is given, in which object functions of time delay variables are imported, and time delay variables used in the transition sequences are solved dynamically by linear programming techniques.

该方法首先将时间安全输入/输出自动机描述的系统模型转换为不含抽象时间延迟迁移的稳定符号状态迁移图(untimed stable transition graph of symbolic state，简称USTGSS)；然后采用基于标号迁移系统(labeled transition system，简称LTS)的测试方法来静态生成满足各种结构覆盖标准的包含时间延迟变量迁移动作序列；最后，给出了一个根据迁移动作序列构造和执行测试用例的过程，该过程引入了时间延迟变量目标函数，并采用线性约束求解方法动态求解迁移动作序列中的时间延迟变量。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了