问题就在于此:数字签名依赖于字节级的等价测试,但是可能有两个逻辑上相同但包含不同字节序列的XML文档。
Herein lies the problem: Digital signatures rely on byte-level equivalence, whereas it is possible to have two XML documents that are logically the same, but contain different byte sequences.
有些模式逻辑上是等价的,但是用途却不同。
Some modes are logically equivalent but differ in their purpose.
通过这种比喻,就可以从逻辑上断定:闪电是云际通信的天气系统等价物。
With this metaphor, it could be logically asserted that lightning is the weather system equivalent of communication among clouds.
逻辑上,每个规则表达式都等价于一个状态机,而每个规则表达式的语法分析器都实现这个状态机。
Every regular expression is logically equivalent to a state machine, and the parser of every regular expression implements a state machine.
移除与旧的股票订阅行为有关的逻辑,然后添加等价代码用于您的订阅行为,如下所示。
Remove the logic related to the old stock subscription and add the equivalent for your subscription, as shown here.
逻辑综合的功能是对组合逻辑函数的描述进行转换和优化,生成与逻辑功能描述等价的优化的逻辑级纯结构描述。
Functions of logic synthesis are to transform and optimize the combinational logic functions and produce the pure logic level structural description.
当解释的论域是一个固定大小的有限集合时,一阶逻辑公式的可满足性问题可以等价地归约为SAT 问题。
When the domain of interpretation is finite and its size is a fixed positive integer, the satisfiability problem in the first-order logic can be reduced to SAT.
本文给出了进程的定义并叙述了同步机构的概念。文章主要讨论了各种同步机构并论证了它们在逻辑上是等价的。
This paper gives a definition of processes and describes the concept of synchronizing mechanisms. Several synchronizing mechanisms are discussed and it is proved that they are logically equivalent.
在对命题逻辑代数化表示的基础上,通过解多项式方程组,对命题公式进行等价转换、演绎推理。
This research paper of proposition logic algebra in the said, on the basis of the solution of equations by polynomial, propositional formula for equivalent conversion and deductive reasoning.
解释命题、命题逻辑和其涉及的否定、合取、析取、蕴涵和等价等定义,同时分析它们的形式和用法。
This paper explains the proposition and propositional logic, giving the definitions, forms and usages of negation, conjunction, disjunction, implication and equivalence.
根据这些算法和关系代数等价定理,给出了对关系代数查询树进行逻辑优化的规则,并证明了逻辑优化的正确性。
With these algorithms and the equivalence theory, the several rules to logically optimize the accessing trees were presented and the correctness for the logical optimization was proved.
基于真值表和卡诺图的等价性,本文提出一种基于真值表搜索的逻辑函数自动化简方法。
Based on the equivalence of the true table and Karnaugh map, a novel general method of simplifying logical functions is proposed in this paper.
本文从语构理论入手,在经典二值命题逻辑系统中给出公式的语构真度的概念,从两个不同的角度给出语构真度的等价刻画。
From the syntactical point of view, the concept of the syntactic truth degree of formulas is proposed in two-valued propositional logic system.
货币理论揭:示了货币演变的历史逻辑:从自由货币到国家货币再到世界货币,是货币“一般等价物”性质的螺旋上升过程。
Currency theory demonstrates the historic logic of its transformation from free currency to national currency then to global currency. It's a spiral progress of "general equivalents".
消除多级逻辑结构中冗余的逻辑连线、冗余逻辑门并进行相应的等价逻辑结构变换,实现多级逻辑优化。
Multilevel optimization is implemented by a series of logic structural transformations which delete the redundant lines and gates to improve some local structures.
本文提出了互连网络拓扑等价的图分析法和描述网络逻辑名结构的逻辑名矩阵。
The graph analysis method for topological equivalence of interconnection networks, and the concept of logical name matrice for describing logical name structure are proposed.
虚拟网(VLAN)在逻辑上等价于广播域。用户可以处在不同的物理LAN上,但他们之间可以像在同一个LAN上那样自收通信而不受物理位置的限制。
Logically, VLAN equals broadcasting LAN. Even in different LAN, users can communicate freely just like in the same LAN, not restricted by the physical location.
严格意义上的逻辑悖论有三大构成要素:公认正确的背景知识、严密无误的逻辑推导、能够推出矛盾等价式。
Strict logical paradox generally contains three important element factors: well-known background knowledge, refined logical-inference and contradictive equality that can be reasoned.
第八章介绍应用应用推理等价形式逻辑证明程序正确性。
Formal logic is applied to proving correctness properties of programs in Chapter 8.
实际应用中给出一种简化算法:一边从信息表中提取差别元素构成合取范式,一边用分配律、吸收律作逻辑公式的等价变换,直接得到最小析取范式。
A simplified method is given in practice: on the one side, it extracts the differential elements to construct conjunctive normal form from the information table.
实际应用中给出一种简化算法:一边从信息表中提取差别元素构成合取范式,一边用分配律、吸收律作逻辑公式的等价变换,直接得到最小析取范式。
A simplified method is given in practice: on the one side, it extracts the differential elements to construct conjunctive normal form from the information table.
应用推荐