- 更多网络例句与等价符号相关的网络例句 [注：此内容来源于网络，仅供参考]
-
The appliance of polynomial symbolic algebraic in formal verification ,people have given two polynamial denotative module WGLs and TEDs,and gives the corresponding equivalence checking algorithms .
关于多项式符号代数理论在形式化验证方面的研究，人们给出了WGLs和TEDs两个多项式表示模型，并给出了相应的等价性验证算法。
-
Brown and Halmos [3] showed that the only compact Toeplitz operator on the Hardy space is the zero operator and a Toeplitz operator is bounded on the Hardy space if and only if its symbol is bounded.
Brown和Halmos[3]证明了经典Hardy空间上只有零算子才是紧的Toeplitz算子，并且证明了Toeplitz算子有界等价于它的符号是有界的。
-
The product rule and chain rule, the notion of higher derivatives, Taylor series, and analytical were introduced by Isaac Newton in an idiosyncratic notation which he used to solve problems of mathematical physics .
该产品的规则和链的规则，概念，更高的衍生物，泰勒级数，并分析介绍了牛顿的特殊符号，他用来解决问题的数学物理。在他的出版物，牛顿改写他的想法，以适应数学习语的时间，取代的计算几何无穷小的等价论点被认为是无可指责的。
-
The characteristic exponent based on a probabilistic dynamical system is calculated, which provides some useful information on unstable periodic orbits of the chaotic economic dynamical system. An effective controlling parameter is chosen by discussing the sign of the characteristic exponent. Furthermore, the control regions of the parameter variable are proposed. Therefore the controllable domain of chaos in the chaotic economic model can be obtained.
提出一种等价关系，计算基于概率的动力系统的特征指数，给出混沌经济动力系统的不稳定周期轨道的有用信息，通过讨论特征指数的符号，选择有效的控制参数，得到相应的控制参数取值范围，从而得到混沌经济模型中的参数变量的混沌控制域。
-
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次代数方程，并给出一个数字实例说明这种方法。
-
Results showed that the teaching assumption is supported by this study. Guided discovery and peer discussion are effective instruction strategies for symbolizing a proposition and finding symbolic rule of equivalence relation of dual propositions.
教学过程的观察记录显示在教师的导引与学生的小组讨论下，学生确可发现对偶命题等价并符号化，而在求等价命题的问题上，将原命题符号化再辅以符号规则是成功的关键步骤，教学假设获得支持。
-
In this paper, the influence of error propagation on soft demodulation in coded MIMO system is analyzed in detail. Besides, based on the thought of soft symbol interference cancellation, Iterative Channel Soft Information for coded MIMO system is further deduced and proved to have the same form as the inverse of row norm of Moore-Penrose inverse of channel matrix.
摘要该文针对编码MIMO系统，分析了MIMO检测过程中串行干扰删除引入的误差传播对软解调的影响，同时，借鉴软符号干扰消除的思想，推导出该系统中迭代信道软信息(Iterative Channel Soft Information， ICSI)的计算方法，并证明了该信道软信息等价于信道矩阵广义逆的行范数的倒数。
-
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.
此时由符号双迁移关系生成的符号观察图和迟符号同余图必为有穷图，因而我们的弱互模拟等价算法是可行的。
-
Regular sets: finite automata, regular expressions, equivalences among notations, methods of proving a language not to be regular.
正则集：有限自动机，正则表达式，符号表示法中的等价，证明一种语言不是正则的方法。
-
As a consequence of an important theorem of algebraic topology, the invariants constructed by those diversity ways can be considered as identified via their unique isomorphisms. This concludes that the procedure of invariant construction gains a virtue of the model presented in this paper as being unrelated to whether there exists a symbolic represantation of images.
根据代数拓扑的重要定理，这些不同的构造方法所得的不变量在同构意义下是等价的，因此我们推论这种不变量的构造过程与图象是否有符号表示无关。
- 更多网络解释与等价符号相关的网络解释 [注：此内容来源于网络，仅供参考]
-
inclusive disjunction：可兼析取
联合符号有一个等价的方法,union().联合(union)操作和集合的OR(又称可兼析取(inclusive disjunction))其实是等价的,两个集合的联合是一个新集合,该集合中的每个元素都至少是其中一个集合的成员,即,属于两个集合其中之一的成员.
-
equal sign：等号
性语句( 即伪指令 4.3.1 符号定义语句 1.等值语句EQU 等值语句EQU 2.等号(Equal sign)=语句 sign) 等号( 符号名 EQU 数值表达式 符号名 EQU 字符串 符号名 = 数值表达式 EQU用于数值等价时不能重复定义符号名,
-
substitution：代替
在我们的论述中,等价(Equivalence)最终取代了代替(substitution)和类似(resemblance). 到了中世纪,学者们将符号定义为"在心灵的活动中代表它自身以外的东西,"此时,再现仍与含义联系紧密,并与代替和类似分界鲜明. 一般的柏拉图主义的观点认为,
-
symbol of a unary operation：一元运算符号
symbol 符号 | symbol of a unary operation 一元运算符号 | symbol of equivalence 等价符号
-
symbol of equivalence：等价符号
symbol of a unary operation 一元运算符号 | symbol of equivalence 等价符号 | symbolic address 符号地址
-
mu meson：子
介子(mu meson)又称为缈子符号E,有效剂量(effective dose)指上述的等价剂量用组织加权因数宫.这些器官和组织中包括可能受选择性照射(selectively irradiated)的器官.表中某些器官个人剂量和集体剂量(collective dose)均可由下列一些术语加以修饰.例剂量负担(dose commitment)又译为剂量积存,