查询词典 parallel algorithm

The corresponding tableau algorithm is also provided. The soundness and decidability of the tableau algorithm are proved. It is shown that the complexity of tableau algorithm is PSPACE-complete.

设计了ALCKR+的语法、语义以及表算法，给出了表算法的正确性以及可判定性证明，证明表算法的时间复杂度为PSPACE-complete。

Simulation results show that the proposed algorithm has a faster convergence rate and much less computational complexity, and the output bit error rate and signal-to interference-plus noise ratio performance are superier to the PASTd blind multiuser detection algorithm and close in on the singular value decomposition group blind multiuser detection algorithm.

仿真结果表明，所提算法收敛速度快，输出信干噪比和误码率性能优于PASTd盲多用户检测，逼近奇异值分解(singular value decomposition， SVD)群盲多用户检测，并保持了较低的计算复杂度。

The combinatorial and delimitative algorithm can be used to solve the problem. A software called "Power Discrete" to implement this algorithm is developed by using Microsoft Visual6.0. It is a useful tool for linear programming problem with discrete variables and for discrete optimum design of structures, and in addition, the software also includes other algorithms such as genetic algorithm.

在国际上， 20世纪 60年代末期和 70年代初期，研究人员已开始对工程离散变量优化设计问题进行研究，但由于当时对于连续变量的非线性规划问题的研究还不够深入，所以在 70年代和80年代，研究的重点集中于连续变量的非线性规划问题。

Encryption Algorithm simple description : DES is a block cipher algorithm, his 64 for a pair of data encryption Encryption algorithm principle :The password system may divide into 2 big kinds from the principle, namely single key password system and double key password system.

加密算法的简单描述：DES是一种分组加密算法，他以64位为分组对数据加密。加密算法的原理：密码体制从原理上可分为2大类，即单钥密码体制和双钥密码体制。

According to the problem of artillery control system and simulated annealing algorithm,a new improved simulated annealing algorithm,a simulated annealing algorithm based DFP is designed,and it is applied to PID control of artillery control system.

针对现有火炮控制系统与模拟退火算法优化存在的问题，提出了一种改进的模拟退火算法用于火炮控制系统PID 参数寻优的方案，即基于变尺度法的模拟退火算法。

An algorithm for the model using the diagonalization algorithm and MSA algorithm was also proposed. The equivalence and uniqueness of solution of the proposed model were demonstrated.

证明了模型的等价性和解的唯一性，并利用对角化算法和MSA算法设计了模型求解算法。

In this paper, a carrier frequency synchronization algorithm based on autocorrelation has been introduced and realized in FPGA firstly, especially the Cordic algorithm and its realization. Secondly, two symbol synchronization algorithm based on crosscorrelation and autocorrelation are introduced and implemented in FPGA, then the comparison between them is made in the view of realization. Besides, the methods of area diplex and pipelining are embodied in implementation scheme of FPGA.

本文首先介绍了一种基于自相关的载波频率同步算法，给出了它的FPGA实现方案，重点讲述了其中用到的Cordic算法及其实现；然后介绍了分别基于互相关和自相关的两种符号同步算法，给出了各自的FPGA实现方案，从实现的角度比较了两种算法的优缺点，并且在FPGA设计中体现了面积复用和流水线操作的设计思想。

The main task of this article contains:compares algorithm and encryption and decryption between the widely-used public key encryption system RSA and ECC;(2) directing against present elliptic curve attack algorithm, uses SEA algorithm to perform choosing of safe elliptic curve and to achieve based on prime field elliptic curve"s ELGamal encryption and decryption and digital signature;(3) discusses elliptic curve"s application on smart card and proposes two identification plans based on EEC.

2针对目前已有的椭圆曲线攻击算法，使用SEA算法实现了安全椭圆曲线的选取，实现了基于大素数域上的椭圆曲线的ELGamal加解密和数字签名。(3)讨论了椭圆曲线在智能卡上的应用，并提出了两种基于ECC的身份认证方案。

The updating algorithm of Strapdown matrix is one of the crucial techniques of SINS. There are several kinds of attitude updating algorithms of SINS, such as direction cosine algorithm and quaternion algorithm.

捷联矩阵更新算法是捷联系统的关键技术之一，捷联惯导系统姿态算法有欧拉角法、方向余弦法、四元数法和圆锥补偿算法等几种方法。

A combination algorithm of discrete particle swarm optimization algorithm and ant colony algorithm for grid resource allocation is presented.

提出一种融合离散粒子群优化算法和蚁群算法的新型算法来解决网格资源分配问题。

Many will continue to choose to live in duality and in conflict.

许多人将继续选择活在二元对立性和冲突中。

I find that students of the University of Physical Education all wear sportswear at first sight.

我发现：体育大学的学生乍一看，都是穿运动衣，大家都一样