查询词典 normal 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设计中体现了面积复用和流水线操作的设计思想。

By using the tensor product of matrix, stride permutation matrix and matrix power series under the meaning of matrix direct sum, the parallel algorithm, including the scrambling algorithm, can be expressed integrally. This description provides a convenient tool for the study and application of parallel FFT algorithm.

本文提出了矩阵直和意义下幂级数的矩阵运算，同时利用迭代形式的矩阵方程将混合基FFT的并行算法及其数码倒置算法完整地表示出来，为并行FFT算法的研究和应用提供了方便的表示手段。

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.

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

Pachomius manual labour was organized as an essential part of the monastic life; and since it is a principle of the monks as distinguished from the mendicants, that the body shall be self-supporting, external work of one sort or another has been an inevitable part of the life ever since.

根据圣pachomius体力劳动组织作为一个重要组成部分寺院生活；以来，这是一个原则的和尚，作为有别于乞丐，该机构应自支撑，对外工作的这种或那种已一个必然的一部分，生活至今。

In order to study the effects of parametrical rolling on the ship movement and tilts, in allusion to ship's navigating in regular following waves, the equation of ship rolling motion is transformed into normal Mathieu equation by proper variable replacement when strong parametrical excitation in restoring moment varied according to sine or cosine wave.

为研究参数横摇对船舶运动和倾覆的影响，通过对船在规则波上随浪航行时，恢复力矩中出现的1个以正余弦规律变化的强参数激励项进行适当的变量置换，将船舶的横摇运动方程转换成标准形式的Mathieu方程。