- 更多网络例句与符号法相关的网络例句 [注：此内容来源于网络，仅供参考]
-
This means that if a character set contains two or more encodings for a graphic symbol, or if the strings searched contain text encoded in more than one codeset, no attempt ismade to search for any other representation of the encoded symbol.
这表示若字集含有两种以上的图形符号编码，或者，若搜寻到的字串含有的文字须在多个字码集中编码，则不会尝试搜寻编码符号的其他表示法。
-
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次代数方程，并给出一个数字实例说明这种方法。
-
Based on this discussion, the dissertation attempts to establish a framework for translation from a sociosemiotic perspective, emphasizing that Peirce's triadic division of a sign can be used to explicate translation in a macro point of view and that Morris's famous three types of meaning can be applied to the actual translation practice. From this, it can be clearly shown that a sociosemiotic theory is a sound one in its application to translation.
基于这些讨论，论文构筑出了一个社会符号学的翻译理论框架，强调：皮尔斯对于符号的三分法可用于对翻译进行宏观上的探讨，而莫里斯提出的语言符号的三类意义可应用到具体的翻译实践之中。
-
Analysis for testability is widely used in DFT and test pattern generation, but most testability analysis algorithms have the shortcoming of either inaccuracy or being too complicated. A new method to calculate the signal probabilities of the nodes in IC is pre-sented in Chapter 7 of this dissertation. The signal probabilities by our method is more exact than by the previous ones. A symbol of the signal probability at the fan-out node is created and is propagated to the RFON (Reconvergent Fan-out Nodes). At the RFON, the expression containing the symbol is simplified using the rule which corresponds to the law of identity in Boolean algebra. After the expression is simplified, the symbol is substituted with its numeric value. Theoretical analysis shows that this method is concise and has a low computing complexity.
可测试性分析在可测试性设计和测试生成中都有着广泛的应用，然而大部分的可测性分析方法都存在不精确或者过于复杂的毛病，在第七章中作者提出了一种新的计算IC电路节点的信号概率值的符号算法，该算法得出的信号概率值比用以往的算法法得出的要更准确，也更简洁，针对电路中的扇出节点重汇聚现象，我们在每一个扇出节点定义了一个信号概率的符号，在以后的计算中一直使用该符号参与计算，直到该符号传播至重汇聚处，利用一定的规则把含符号的表达式化简，再将符号的真实值代入，在计算符号概率的过程中定义了一个和布尔代数中的同一律相对应的运算规则，通过该运算规则，使得信号概率的结果更加准确，符号算法具有简洁方便，计算复杂度小的特点 4。
-
The only written accent is the grave, which is used when-ever a word of more than one syllable stresses the final vowel. It is also used on words of a single syllable to distinguish between two words that would otherwise have the same spelling, as for example e, meaning "and," but è, meaning "is."
唯一的标音符号是"、"，这个符号在两个音节以上的词的重音落在最后的元音上时使用，它也用来区分两个拼写法相同的单音节的词，例如：e，意思是"和"，但是è；是"是"的意思。
-
Distribution free statistical procedures or methods valid under nonrestrictive assumptions: basic tools; counting methods; order statistics, ranks; distribution free tests and associated interval and point estimators; sign test; signed rank tests; rank tests; Mann Whitney Wilcoxon procedures; Kolmogorov Smirnov tests; permutation methods; methods for discrete data with zeros and ties; computer techniques and programs; discussion and comparison with parametric methods.
非参数统计引论：无限制性假定时的无分布统计方法：基本工具，计数法，顺序统计量，秩，无分布检验与关联的区间估计和点估计，符号检验，符号秩检验，秩检验， Mann Whitney Wilcoxon 检验； Kolmogorov Smirnov 检验，排列检验法，含有零值和同分值的离散数据的处理方法；计算技术与编程，与参数方法的比较。
-
What's more, using edited computer program based on symbolic method, we can get the value of Riccati equation (which is the key to solving the optimal control law).
通过编制的计算机应用程序，运用符号法对Riccati方程(求解最优控制律的核心方程)进行了数值求解。
-
As semiotics as a discipline is more foundational in nature than linguistics logic and philosophy,the trichotomy in semiotics has produced a definitive influence on the developments of other three fields in the West during the 20th century.
语形学、语义学和语用学原本是符号学的分类法，由于符号学是比语言学、逻辑学和哲学更基本的学科平台，符号学的三分法对20世纪西方语言学、逻辑学和哲学的发展产生了根本性的影响。
-
To satisfy the needs of the phoneticians in the study of speech sounds, a set of symbols called diacritics are added to broad transcription to show the more subtle differences between similar sounds.
为了满足语音学家研究语音的需求，一套叫做&附加符号&的标志添加到宽式标音法上来表明更加微妙的语音差别。（宽式标音法是一套仅用字母符号来标音的方法
-
It is different from American descriptive linguists who analyze the language into device of low level and high level, Glossematics School differentiate content form, content meaning, express form and express meaning.
语符学的符号结构模型的理论价值是彻底打破了词法和句法的区分，用接换分析法区别变体和常体、语言和非语言、符号和非符号。认为凡是同形的就是非符号，不同形的就是符号。
- 更多网络解释与符号法相关的网络解释 [注：此内容来源于网络，仅供参考]
-
symbolic debugger：符号除错器
symbolic 符号的 | symbolic debugger 符号除错器 | symbolic reasoning 符号推论法
-
Definitions：形状和位置公差 通则、定义、符号和图样表示法
水准泡 Level | 形状和位置公差 通则、定义、符号和图样表示法 Geometrical tolerancing--Generalities,definitions,symbols,indications on drawings | 光学零件表面疵病 Surface imperfections of optical elemen...
-
operator method：符号法
operator isomorphism 算子同构 | operator method 符号法 | operator norm 算子范数
-
symbolic logic：符号逻辑[学]
二进法算术与布尔(George Boole)发明的符号逻辑学(Symbolic logic)有密切关系. 电子计算机采用二进法,里面所有开关电路(Switchingcircuits)的作用都可以用符号表示;电路的简化,往往借助符号逻辑学的定理. 电子计算机的设计师,
-
symbolic method：符号法
symbolic logic 符号逻辑 | symbolic method 符号法 | symbolic name 符号名
-
method, symbolic：符号法
代替法 method, substitution | 符号法 method, symbolic | 三安培计法 method, three-ammeter
-
symbolic layout method：符号布图法
符号|symbol | 符号布图法|symbolic layout method | 伏塔克|VHF omnirange and tactical air navigation system, VORTAC
-
symbolic notation：符号记法
symbolic names 符号名称 | symbolic notation 符号记法 | symbolic number 符号号码
-
symbolic notation：符号表示法
symbolic method 符号法 | symbolic notation 符号表示法 | symbolism 等号体系
-
Notations：符号、记法
notation declarations 符号声明 | notations 符号、记法 | note 笔记