算法

So we present an algorithm based on reachability analysis, and a more complex one which uses a stronger temporal logic (timed predicate μ, calculus) and can verify more properties.

在模型检测的算法方面，本文首先给出了时间符号迁移图上的一个可达性分析算法，随后还定义了能刻划更复杂性质的实时谓词μ演算并给出了检测这些性质的相应模型检测算法。

Aiming at the big time-delay,big burthen fluctuating and mutable characteristic of the controlled object,combining Smith predicator with PID controller,the BP neural network tuning Smith-PID controlling policy is presented.

针对大时滞时变对象，把Smith补偿控制原理和PID参数的自适应调整方法结合起来，提出了基于BP神经网络整定Smith PID控制算法，即在Smith预估补偿控制系统中，利用BP神经网络在线自学习整定PID参数，使PID参数实现最佳的非线性组合，以适应对象特性的变化，从而克服了常规PID算法不适应大时滞系统控制和常规Smith算法过于依赖模型精度的缺陷。

Nokia research center, Beijing 100013; 4. School of Computer Science and Technology, Beijing Hang University, Beijing 100083Abstract An initial quantity parameter prejudgment algorithm that can predict the initial QP precisely is proposed based on statistics of encoded frames and frame complexity eigenvalue of I frame.

基于视频图像编码前的参数信息和I帧图像复杂度的特征量分析，建立算法模型，提出了精确预测初始量化参数算法，该算法可准确预测初始量化参数。

Samples in transitions of filters are optimized, which solves the problem that values obtained by look-up table method are not optimums. Aiming at prematureness appearing easily when GQA is used to optimize continuous functions with many peaks, IGQA is proposed.

针对遗传量子算法在优化连续多峰函数时易出现早熟的问题，提出一种改进遗传量子算法，典型函数测试表明，IGQA的性能优于GQA和其它几种遗传算法，收敛速度快，全局寻优能力强，能有效地克服早熟现象。

This paper studies application of predictive control algorithm in industrial furnace temperature control from the instance of glass furnace. In this paper, after introducing the research and development of intellective control algorithm of industrial furnace temperature control we simply analyze the basic theory and prepotency of predictive control algorithm.

论文以玻璃池炉为例研究了预测控制算法在工业窑炉温度控制中的应用，介绍了目前工业窑炉温度控制的智能控制算法研究与发展，同时简单分析了预测控制算法的基本理论及其优势。

We present a threat model on the basis of real terrain data and fire threats.

提出了一种Q-学习的自适应蚁群算法的无人机航路规划方法，建立了基于真实地形数据和火力威胁区的威胁模型；针对传统蚁群算法在搜索过程中出现停滞现象，提出的Q-学习的自适应蚁群算法有效地解决了这一缺陷。

We prove the strong con-vergence of the methods, that is, if the methods do not terminate in finite iterations,then every limit point of the sequence generated by the methods is a stationary pointof the primal problem.

本论文证明了所给算法具有强收敛性，即若算法不是有限步终止，则算法产生的迭代序列的所有极限点都是原问题的稳定点。

Similarly, there are simple randomized in-place algorithms for primality testing such as the Miller-Rabin primality test , and there are also simple in-place randomized factoring algorithms such as Pollard's rho algorithm .

类似地，对於质数测试有简单的随机化原地算法像是米勒-拉宾检验，也有简单原地随机化整数分解算法像是 Pollard's rho 算法。

A good use of the integer type, the biggest 9999990 to support the decimal integer, It can perform large integers, plus or minus, multiplication, addition and modular, with a big round of the largest factions, extended Euclidean algorithm, the Chinese remainder theorem algorithm, Miller - Rabin primality testing algorithm, random generation of arbitrary integer spaces such as libraries, This kind of dynamic library has been used for commercial software, the reliability and speed is affirmed.

一个很好用的大整数的类，最大可支持9999990位的十进制整数，可进行大整数的加、减、乘、除和取模运算，并带有求大整数的最大公因数、扩展Euclidean算法、中国剩余定理算法、Miller-Rabin素性测试算法、随机生成任意位的大整数等函数库，这个类的动态库曾用于商业软件之中，其可靠性和速度是得到确认的。

Later, Bernstein alsogave an improved version of the AKS algorithm for proving primality in essentiallyquartic random time (called the second AKS-Bernstein algorithm), which is moregeneral than AKS-Berrizbeitia algorithm.

后来， Bernstein又提出一个比AKS-Berrizbeitia算法更一般的基本上随机四次多项式时间素性证明的AKS算法改进版本(简称AKS-Bernstein第二算法)。

For a big chunk of credit-card losses; the number of filings (and thus charge-off rates) would be rising again, whether

年美国个人破产法的一个改动使得破产登记急速下降，而后引起了信用卡大规模的亏损。

Eph. 4:23 And that you be renewed in the spirit of your mind

弗四23 而在你们心思的灵里得以更新