查询词典 give credence to...

During the recent years, I have given up the secular factors in painting, and have emphasized the complanation and essential characteristics of painting. I pursue the perpetuity of painting and the enhancing of spiritual life and I try my best to give painting a more powerful and spiritual strength.

我在近年的艺术追求中，摒弃了绘画的世俗化因素，强调了绘画的平面感和某种绘画的本质特征，我寻求绘画的永恒性以及内心的升华感，并且使绘画努力具有更强的精神力量。

We present the research into and analysis of many kinds of security resolution in the thesis. Based on the analysis, we propose a security defense framework, in which IPS takes main role and honeypot is complemental. Meanwhile we give the design and implementation of the new network-based IPS.

本文研究分析了多种安全解决方案的优缺点，在此基础上提出了一种以入侵防御系统为主、蜜罐为辅助的安全防御框架，并给出新型的基于网络的入侵防御系统的设计与实现过程。

In Chapter 4, we define the induction of divisors and prove the existence of Galgebras of complete induction; through the analysis of Mackey formula, we give an equivalent characterization of the relationship between Green correspondence and free projectivity.

在第四章中，我们定义了除子的诱导，证明了完备诱导的G-代数的存在性；通过分析Mackey公式，给出了Green对应和自由投射关系的等价刻画。

At completeness in theory, we give the base of mathematical morphology-complete lattice, and some nature of complete lattice.

作为理论上的完备性，我们给出了数学形态的代数学基础——完备格理论，并简单的介绍了完备格及其性质。

In this paper, we will investigate the matrix equation in composition over a complete Brouwerian lattice. First, we give an equivalent condition for the solvability of this equation, i.e. theorem 2.2.3 in this paper: The matrix equation in composition over a complete Brouwerian lattice is solvable iff is the minimal solution of this equation.

本文主要探讨完备Brouwer格上的型矩阵方程，首先给出该类矩阵方程可解的一个等价条件，即本文的定理2.2.3：完备Brouwer格上的型矩阵方程可解的充要条件是是它的解，且是最小解。

At last, we give two simplified proof for the necessary lemma in order to prove the completeness theorem of PI resolving.

第二部分：基于均匀概率的思想，给出了Godel和Kleene三值命题逻辑系统中公式的真度理论。

Only completive synthetic environment data can efficiently give support to command control and decision-making.

也唯有完整的合成化环境资料，方可提供有效的掌控及决策，但目前的GIS系统仍未能有效处理。

For a very complex domain,it is rather difficult for the designer to give a perfect state space and criterion for judgement.

对于复杂的领域，设计者很难给出完善的互补抽象状态空间，也很难对给出的互补抽象状态空间进行评价。

It is not necessary to introduce a complex concept of fraction, just give them an example!

采用复杂的分数概念是不必要的，只是给他们一个例子。

In this paper, we introduce the algorithm of Schoof-Elkies-Atkin to compute the order of elliptic curves over finite fields. We give out a fast algorithm to compute the division polynomial f〓 and a primitive point of order 2〓. This paper also gives an improved algorithm in computing elliptic curve scalar multiplication. Using the method of complex multiplication, we find good elliptic curves for use in cryptosystems, and implemented ElGamal public-key scheme based on elliptic curves. As a co-product, we also realized the algorithm to determine primes using Goldwasser-Kilian's theorem. Lastly, the elliptic curve method of integer factorization is discussed. By making some improvement and through properly selected parameters, we successfully factored an integer of 55 digits, which is the product of two 28-digit primes.

本文介绍了计算有限域上椭圆曲线群的阶的Schoof-Elkies-Atkin算法，在具体处理算法过程中，我们给出了计算除多项式f〓的快速算法和寻找2〓阶本原点的快速算法；标量乘法是有关椭圆曲线算法中的最基本运算，本文对[Koe96]中的椭圆曲线标量乘法作了改进，提高了其运算速度；椭圆曲线的参数的选择直接影向到椭圆曲线密码体的安全性，文中利用复乘方法构造了具有良好密码特性的椭圆曲线，并实现了椭圆曲线上ElGamal公钥体制；文中还给出了利用Goldwasser-Kilian定理和椭圆曲线的复乘方法进行素数的确定判别算法；最后讨论了利用椭圆曲线分解整数的方法并进行了某些改进，在PC机上分解了两个28位素数之积的55位整数。

Article 144 The Government of the Hong Kong Special Administrative Region shall maintain the policy previously practised in Hong Kong in respect of subventions for non-governmental organizations in fields such as education, medicine and health, culture, art, recreation, sports, social welfare and social

第一百四十四条香港特别行政区政府保持原在香港实行的对教育、医疗卫生、文化、艺术、康乐、体育、社会福利、社会工作等方面的民间团体机构的资助政策。原在香港各资助机构任职的人员均可根据原有制度继续受聘。

Small wonder, then, that the Chinese spend more in the shop than any other group of foreign visitors do .

这样的小惊喜，使中国顾客比任何国家的人消费得更多。