查询词典 algebraic adjunction

The ability to perform algebraic operations such as additions or subtractions directly on ciphertext , they can be used in several specific applications .

由于算法的同态性，它能够对加密信息直接进行加，减运算，这种特性可用在某些特殊领域。

Comparing with the conventional algebraic method, with Circle Diagram Analysis it is easier to obtain and understand some conclusions of Fourier algorithm, for example, the phase and the amplitude of a certain order harmonic.

与代数方法相比较，采用圆图分析法更容易得出和理解富立叶算法的一些结论，如可一次求出某次谐波的幅值与相位。

The research of K〓 and K〓 groups in algebraic K-theory is closely related to the study of classical groups.

代数K-理论中K〓和K〓群的研究同典型群的研究密切相关。

We arrange it as follows:In chapter one, we give some explicit constructions of harmonic maps from Lorentz space R1,1 to classical semisimple Lie groups SL,SU Sp, SO by using Darboux transformation, i.e., we may obtain a new parallel transport from a known one via purely algebraic algorithm.

全文共分四章，具体内容如下：第一章利用Darboux变换的方法给出从R~(1，1)到经典实半单Lie群SL，SU，Sp，SO的调和映射的具体构造，即从已知的平行移动Φ_λ通过Darboux变换的方法得到新的平行移动？

We designed the algorithm which can perform the closed domain inclusion test in real time, realized quick search in the algebraic inclusion test algorithm by transforming polynomials with dichotomy.

设计了可实时计算的高斯图闭域包含测试算法，通过引入二分法改造多项式包含测试代数算法，实现快速查找。

The algebraic and coalgebraic methods in computer science is investigated in general, including its basic ideas, the categorical properties of algebras and coalgebras, initial algebra and final coalgebra, bisimulation and behavior equivalence, coalgebraic specifications, and coalgebraic logics.

对代数方法与共代数方法的基本概念、代数与共代数范畴的性质、初始代数与终结共代数、双模拟与行为等价、共代数规范以及共代数逻辑进行了比较全面和深入的研究。

It requires no prior knowledge of the concepts of algebraic topology or cohomology.

本书的目的是介绍同调代数中最基础性的也是最精彩的内容。

It shows the effectiveness and practicability of the approach to prove algebraic identies with combinatorial analysis .

说明了用组合分析方法证明代数恒等式的有效性和实用性。

Today, the main means of the study of the 3-manifold are the algebraic method, geometrical method,and combinatorial method.

目前，关于三维流形理论的研究主要有代数方法，几何方法和组合方法。

Algebraic semantics ; Barcan formula ; Kripke's relational semantics ; nested domains ; Kripke's special semantic ; completeness theorem

代数语义； Barcan－公式； Kripke的关系语义；嵌套论域；狭义Kripke语义；完全性定理

Listen,point and check your answers.

听，指出并且检查你的答案。

Warming needle is one of effective treatment methods for knee arthralgia aggravated by cold,and it is simple,safety,so it should be developed in clinical acupuncture and moxibustion extensively.

但以本院科针灸门诊在2005年1月—2006年6月期间共收治膝痛患者100余例，经过临床的诊断后，其中施以温针治疗的48例，疗效显著，报道如下。1临床资料本组病例48