查询词典 fields

Based on the principle of complementary advantages, joint venture set up high-tech enterprises, the company specializes in urban public utilities intelligent research, design, production, system integration and installation work, mainly for city gas, water supply and drainage, electricity and other fields of automatic meter reading system provides products and full - azimuth of technical services.

成都千嘉科技有限公司是由成都城市燃气有限责任公司、成都金地光电科技有限公司、丹东东发有限公司（暨丹东热工仪表有限公司）本着优势互补的原则，共同投资组建的高新技术企业，公司专业从事城市公用事业智能化的研究、设计、生产、系统集成和安装工作，主要为城市燃气、给排水、供电领域的自动抄表等系统提供产品和全方位的技术服务。

Companies based on technological innovation and service advantages, adhering to the "striving for competitive advantage, exceed customer expectations" business philosophy, dedicated to domestic and foreign electronic product manufacturers to provide excellent quality, stable performance, category complete series of LCD panels and modules Products and customized solutions, and domestic and foreign many well-known manufacturers to establish a long-term good relations of cooperation, the products have been widely used in telecommunications, home appliances, industrial equipment, instrumentation, consumer electronics and other fields, by the users at home and abroad Respected and trusted.

公司立足于技术创新和服务优势，秉承"争创竞争优势、超越客户预期"的经营理念，致力于为国内外电子成品制造厂商提供质量精良、性能稳定、品类齐全的系列化LCD面板、模块产品和定制解决方案，并与国内、外众多知名厂商建立了长期良好的合作关系，产品已广泛的应用于通讯、家电、工业设备、仪器仪表、电子消费品等领域，深受海内外用户的推崇与信赖。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

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位整数。

Experiments show that the method can give an optimized flattening of a complex surface without overlapping triangles rapidly and effectively and it can be used in many fields.

实验结果表明，该方法能够快速、有效地获得复杂曲面的不含翻转三角片的优化展开，具有一定的通用性。

To consider simple things complicatedly, you may find new fields, to regard complicated phenomenon as something simple, you may discover new laws.

简单的事情考虑的很复杂，可发现新的领域；复杂的现象看得很简单，可发现新定律。

Then your subconscious mind will give you compound interest in all these fields of expression.

那么，你的潜意识将会为你带来所有这些领域的复合利息。

More than 2 years experience in fields such extrusion, compounding, operations and/or project management.

在未来的几年中，公司计划在该生产基地投入5条生产线体，拥有50000吨的生产能力。

Research on pen user interface is to make those traditional works computable through study of hardware and software of relative fields.

笔式界面的研究就是要将这些传统的工作可计算化并且保持传统工作方式的自然性。

Out of all the fields of computer graphics and art, animation is probably one of the most difficult.

因结合了计算机和艺术两方面知识，动画也许是最难掌握的一种。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。