查询词典 parallel algorithm

The Tableau decision algorithm for D-ALCO forms an elaborated combination of the Tableau algorithm for ALCO,the decision algorithm for propositional dynamic logic,and the embodiment of the possible models approach.

1引言作为一类用于知识表示的形式化工具，描述逻辑在信息系统、软件工程、自然语言处理等领域得到了成功应用[1]。

In this paper,particle swarm optimization algorithm principles,some ameliorative steps and some applications of the algorithm are introduced,and the outlook for future research on this algorithm is presented.

通过对生物群体的观察和研究发现，生物群体内个体间的合作与竞争等复杂性行为产生的群体智能往往能对某些特定的问题提供高效的解决方法[2]。

By an imaginary uniform sampling on the original triangle mesh, our algorithm makes the 3D point set using in ICP algorithm not only approximatively uniformly distribute in the measured object surface, but also possess of more information of the object surface than classical ICP algorithm.

通过在三角形网格上按面积均匀分布的假想抽样，在没有明显增加计算复杂度的情况下，使得代入ICP算法的3D点集，不仅是近似均匀地分布在物体表面上，而且更加充分地反映了被测物体的表面信息。

A Multi-Species Cooperative PSO algorithm is developed using the ideas of species dividing in the bionomical world. The algorithm is shown to have guaranteed convergence to the global optimum. Furthermore, the training strategies of RBF network structures and weights based on the MCPSO aigorithm is proposed. Simulation results show that the algorithm is effective in such fields as chaotic time-sequence forecasting, system identification, speech signal processing and etc.

在分析基本微粒群算法和协同微粒群算法特点的基础上，借鉴生态学中的种群划分思想，设计出一种多种群协同进化微粒群算法，并分析了该算法的收敛性能；在分析径向基函数神经网络结构的基础上，提出了基于多种群协同进化微粒群算法的径向基函数神经网络结构和权值优化设计策略，并在混沌序列预测、系统辨识、语音信号处理等应用仿真实验中验证了算法的有效性。

First, improved the heuristic cut-off algorithm, which combinate the filter algorithm and heuristic cut-off algorithm, speed up the execution.

第一，启发式剪枝改进算法将过滤算法和启发式剪枝算法相结合，加快了算法的执行速度。

This algorithm constructs a 64-D crossband vector according to the characteristics of the decomposed image, and adopts nonlinear interpolative vector quantization and soft computing based codebook generation algorithm. Hence, this algorithm can improve the vector quantization performance significantly from both aspects of speed and precision, and it can get a high reconstruction quality (PSNR＞34dB) with a very low bit rate (0.172bpp).

该方案依据图象小波变换的特点构造了64维的跨频带矢量，并采用了非线性插补矢量量化和柔性计算码书生成算法，从速度和精度两方面提高矢量量化的性能，从而在极低比特率的条件下(0.172bpp)获得了高质量的重构图象(PSNR＞34dB)。

The evaluation method and algorithm of shape error (roundness, plane straightness, space straightness, cylindricity) were discussed. A new kind of algorithm, namely mesh searching method, which can be used to evaluate the roundness error, plane straightness error, space straightness error and cylindricity error, were put forward. With this algorithm, the shape error can be obtained by transferring the distance formula repeatedly and simple judgment without linearzing the distance formula (from point to point or point to line) and choosing optimal direction and step length.

对形状误差(圆度、平面直线度、空间直线度、圆柱度)的评定方法及算法进行了讨论，提出了一种评价圆度误差、平面直线度误差、空间直线度误差及圆柱度误差的新算法——网格搜索法，该算法不需要对距离公式线性化，也不需要选定优化方向和优化步长，只需重复调用距离公式和简单的判断即可得到符合定义的形状误差。

After the analysis of the difficulties of force tracking in impedance control, the advantages and disadvantages of off-line parameter estimate algorithm, on-line parameter estimate algorithm and adaptive force control algorithm have been contrastively studied in the force regulation of HIT-1 dextrous robot hand.

本文在分析阻抗控制力跟踪难点的基础上，对比研究了离线环境参数估计法、在线环境参数估计法和自适应力跟踪法三种阻抗控制的力跟踪方法，并且从实际应用的角度出发提出了适合于HIT-1机器人灵巧手阻抗控制的自适应力跟踪方法。

FastNet takes DHRLM as routing model, it implements a diffluent multi-point distribution algorithm like Bittorrent, but FastNet is different from Bittorrent which is an unstructured P2P system, it implements the idea according to the characteristics of resource locating algorithm in structured P2P network. Moreover FastNet adopts periodic fault-tolerant algorithm to ensure active, quick and reliable distribution of security-related content.

FastNet以DHRLM为路由模型，实现了类似于Bittorrent的多点分流内容分发算法，与Bittorrent不同的是，FastNet在结构化的P2P网络中根据定位算法的特点实现了该算法：同时，FastNet采取了周期性的容错算法保证在P2P节点动态失效的情况下仍然能够主动、快速、可靠地分发安全内容。

The digital closed-loop control system is designed and the dissolutive oxygen control algorithm is given out using neural PID algorithm. The traditional PID algorithm is optimized by neural network cell method and the weight value of NNC is generated on-line.

设计了全数字化的闭环控制系统，以溶解氧指标为控制对象进行了控制算法设计，针对转刷曝气工艺的特点，采用神经PID调节算法，引入了线性神经元对经典PID算法进行优化、应用梯度下降法对NNC网络权值进行在线计算。

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方程。