演算

The key technique in the MUSIC algorithm is the signal subspace extraction which can be found from the eigen decomposition of the sample covariance matrix of the antenna receive signal. The eigen value decomposition of a Hermitian matrix is implemented by using the QR algorithm, and the signal subspace is constituted by collecting the significant eigen vectors.

在复合信号分类演算法中的重要关键为信号子空间与杂讯子空间的分解，这两个子空间可以利用对天线收到信号的取样共变异矩阵做特徵值分解中求出，本篇并以QR演算法实现厄米特矩阵之特徵值分解，信号子空间便是由分解后的特徵向量所集合而成。

Based on the eight Chinese traditional yin and yang contradiction categories to analyze among the open and close areas in mathematics to achieve the triple unity of opposite composing relation of identical,resemble,diversity and contrary,the four basic types of logical inference.

用中华传统8大阴阳矛盾范畴分析数学中的开闭区间，得出相同、相似、相异、相反这4大逻辑推理基础类型间存在着三极对立统一的组成关系，进而提出涉及此组成关系的逻辑推理基础类型的互蕴公理及其描述内涵的反演算和逻辑外延的非演算。

Furthermore, the advantages of the genetic algorithm and the above single layer neural network are combined to yield a new identification technique. The network topology is employed to replace the procedure for solving the governing equation when GA is used to identify the system parameters of both the SDOF system and the MDOF system with or without noise contamination. The comparison is made between the predicted acceleration and the measured one for each case.

另外，结合类神经网路与基因演算法於结构动力参数识别，首先应用前述之单层类神经网路架构做为系统动力模式，再藉由基因演算法搜索符合该系统之权重值，然后将权重值代入网路架构以取代解微分方程式求得系统反应，最后再与量测反应做比较；同时亦利用该方法应用於进行识别含杂讯之输出入资料的系统权重值，以验证该方法应用於单自由度线性系统及多自由度线性系统识别之可行性。

These descriptions are brief, but based on them it is indeterminable and has disadvantage in system design and direct implementation. On the other hand, these works mostly focus on describing variants behaviors of Ambient calculus in one level, which makes it complicated to understand clearly how these variants behaviors work and how they work together. As a result, based on the unit ambient of Ambient calculus, a three-level semantics description framework is given for Ambient calculus.

这种描述方式尽管简洁，一方面却具有不确定性，不利于实际的网络计算系统的设计和直接实现；另一方面，这种语义描述方式均在一个层次上描述Ambient演算系统中的各种行为语义，使得Ambient演算中各种计算行为纠缠在一起，复杂而难以理解。

According to this understanding, this thesis tries to modify PSO algorithm in order to improve its quality of solutions. The main approches include: using uniform design to ensure the uniform distribution of initial particles in the design space; adding mutation operation to increase the diversity of particles; decreasing the maximum velocity limitation and the velocity inertia automatically to balance the local and the global search efforts; developing a new approach to treat the design variables exceeding the bounds; using extensive local searches to escape local minimum. The overall effect of these approaches can yield better results for most test problems.

有鉴於此，本文针对粒子群演化法之流程参考相关文献并稍作改变，使得粒子群演算法在结果的收敛上更具优势，本文的主要改进的方法包括：应用均匀设计的概念使得初始的粒子可以更均匀地分布在空间上；利用突变增加粒子之间的差异性与多样性；利用适当控制的最大速度限制及惯性权重控制，达到区域搜寻与全域搜寻的效果；应用新的边界处理机制处理设计变数超过上、下限的问题；利用区域强化搜寻针对粒子附近地区，再作进一步的搜索以得到更佳之结果；将各种方法综合后配合粒子群演算法使用，可以得到不错的结果。

In the first part of this paper, we propose New-Moment to mine closed frequent itemsets. New-Moment uses bit-vectors and a compact lexicographical tree to improve the performance of Moment algorithm.

我们在此篇论文的第一部份提出 New-Moment 演算法在资料串流环境中探勘封闭式频繁项目集，New-Moment 使用位元向量以及精简的 closed enumeration tree 大幅改进原来 Moment 演算法的效能。

Related new concepts include: proposition and predicate calculus of transition logic, excitation factors and transition conditions, star algorithm and its model in pansystems analysis, pansystem logic space, pans-ystem logic extending reasoning principle, dynamical yinyang logic, etc.

有关的新概念有：转移逻辑的命题演算与谓词演算，激活因素与转移条件，星算法及其泛系分析模型，泛系逻辑空间，泛系逻辑延拓推理和动态阴阳逻辑。

In SPVT (security protocol verifying tool), the specification language is the π-like calculus extended with three appendixes, the Dolev-Yao model is described with Horn logic rules, the π-like calculus model of security protocol is transformed into the logic program model by abstract rules, the security properties are verified based on the calculus of the logic program's fixpoint, and the counter-examples on security properties are constructed from the process of the fixpoint calculus and the process of the property verification.

在SPVT中，以扩展附加项的类演算作为安全协议描述语言，以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

The experiment result indicates that the algorithm is effective in the noise decrease effect for magnetic flux leakage signals.

将演算法应用於管道漏磁检测系统中，实验结果表明该演算法在漏磁信号的处理中能取得较好的降噪效果。

At first, an approximated mathematical model is presented. Then, the system manager can compute the optimal control policy via the method of successive approximation. Based on the above-mentioned algorithm, we design an intelligent system with feedback control to regulate the allocation of limited channels of trunk circuit. This system will continuously detect the status of whole cellular network. Once the system parameters cross the predefined threshold, the recomputing mechanism will be activated.

首先针对系统的近似数学模型先將其定义出来，然后就可以用连续逼近法將最佳控管决策计算出来，这样的最佳决策演算法我们把它设计在一个有迴授机制的智慧型决策系统裹，此决策系统將不断地侦测行动通讯网路运作的情形，一旦网路参数变化超过某个预定的临界值时，整个最佳决策演算法將被启动，系统的近似数学模型將依新的参数重新定义，接下来同样地写出最佳方程式並用连续逼近法计算出新的最佳控管决策。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了