查询词典 computational

These data have been further integrated and augmented by a number of evolutionary and computational analyses.

这些数据将通过一些列的进化和计算分析进一步的整合和放大。

Provable Security is a formal method for proving the security of cryptographic schemes, in which the difficulty of breaking a particular scheme is formally related to that of solving a widely believed computational hard problem. Provable security has already become an important theme of theoretical researches in modern cryptography. This dissertation investigates the provable security of public-key encryptions and hybrid encryptions of asymmetric and symmetric encryptions. This includes the various formal security notions and the constructions can be proved to achieve them. Among the constructions, hybrid encryptions are themselves an important way to obtain public-key encryption schemes with chosen ciphertext security. The main results are as follows:(1) The one-wayness of the trapdoor one-way function in NTRU depends on the randomness of the session key, which is different from previous ones. Based on this observation, a new kind of trapdoor one-way function, trapdoor one-way functions with an auxiliary random variable is proposed.

可证明安全性是一种证明密码学方案安全性的形式化方法，它将密码学方案的安全性归约为公认的计算难题，已成为现代密码学领域中理论工作的主线，本文主要研究公钥加密与单双钥混合加密的可证明安全性，这包括它们的各种形式化安全性定义以及达到这些安全性定义的方案构造，而单双钥混合加密本身也是一种构造选择密文安全公钥加密的重要方法，本文得到的主要结果如下：(1)在研究NTRU公钥加密的特殊性基础上，对于公钥加密的陷门单向函数加密模型进行了扩展，提出了具有辅助陷门单向函数的概念，并将其扩展到多元的情况，讨论了可能的密码学用途。

Air average flow velocity in ventilation cavity is obtained by computational fluid dynamics simulation method.

采用CFD方法确定了通风腔中的平均气流速度。

Due to the introduction of IP curves, the method detects the symmetry and axis of objects by using the expressions of function instead of using the optimization method. Consequently, the computational cost of the method is low.

由于是基于隐含多项式曲线进行对称性检测，因而并不需要复杂的优化算法，仅用明确的解析式即可验证对称性并检测出相应的对称轴。

Fourthly,a Fast Back Projection algorithm is presented.It sloves the problem of large computational load of BP algorithm and the condition of dividing the subapterture is presented.

接着提出了一种快速后向投影算法，解决了BP算法计算量大的问题，给出了子孔径划分的条件。

The Schur subspace iteration method is applied for the dynamic characteristic analysis of damped structure vibration system and coupled fluid－structure system. This method avoids complex computation and has good numerical stability. A accelerated technique and a pre－process method for the system matrix are suggested to improve the computational efficiency. The generalized uncoupled equation is obtained from the Schur matrix and a back substitution scheme of response computaton is developed.

第三部分将非对称特征值问题的Schur子空间迭代法应用于非经典阻尼结构振动系统和流固耦合系统的特征值分析，建立了相应的具体算法，并给出了用以提高迭代收敛速度的迭代加速和矩阵预处理等实用技术；利用Schur矩阵的结构特点，推导了系统方程的动力解耦形式，给出了响应计算的回代求解格式。

In the predicted process, the forward simplification is used to get the interface equation, meanwhile taking the voltage of the concentrated grid as control vector to solve the control step length; in the correction process, by means of forward simplification and back substitution the Newton linearization incremental equations of both concentrated computational grid and contracted nodes are solved alternately.

进行计算时，通过前向简化形成预估环节的接口方程，同时以浓缩网络的电压为控制电压向量求出控制步长；校正环节通过双向迭代方法交替实现对浓缩网络和收缩节点的牛顿法线性增量方程的求解。

We can allow individual technologies to remain distinct, but they can be integrated with computational processing in the background rather than forcing everybody to be in one system.

我们可以允许各自保持不同技术，而通过后台的处理来进行整合，而不需要强迫每个人都纳入同一系统来。

It's a very small effect, and they admit that, says computational neuroscientist Roland Baddeley of the University of Bristol.

虽然这是一个很细小的效应，但研究者自己也承认。布里斯托尔大学的计算神经学家罗兰·巴德利说。

The main theory results includes:(1) Using the properties of Hilbert transform, perfectly reconstruction and new type of lifting scheme, a new type of dual-tree binary coefficients complex wavelet with linear phase is achieved.(2) For linear systems that can be diagonalized by GFT and DST-II matrices, an efficient MGM method is proposed, convergence is proved.(3) We discuss the algebraic structure when Toeplitz matrix is transformed by multi-band wavelet,show that Toeplitz matrix is composed of generating function is transformed to a band and sparse matrix when wavelet applied to this matrix, based on the above results, an efficient solution of Toeplitz equations is obtained, and the computational complex is O,where N is the order of matrix.

理论成果主要包括：(1)对于对偶树二进制系数复数小波，利用Hilbert变换对性质、完全重构条件并结合新的提升格式构造研究了含参系数多进制小波构造方法，作为特例得到具有线性相位的对偶树二进制系数复数小波构造方法；(2)对于广义离散傅立叶变换与正弦变换对角化系统，提出了高效、快速的多重网格算法，理论上证明了算法的收敛性；(3)研究了Toeplitz矩阵在多进制小波变换下的代数结构，验证了多项式生成函数构成的Toeplitz系统在小波变换下的稀疏带宽性质，从而建立基于小波变换求解Toeplitz系统的快速求解方法，运算量级控制在O，其中N为系统的阶。

The French are not suggesting a new EU treaty, but they have plenty of other wheezes.

法国人并不是在建议签署一个新的欧盟条约，但他们有许多其他的阴谋。

This letter was written by my brother.

这封信是我弟弟写的。