查询词典 schemes

We present a general method to construct blinding functions of discrete-logarithm-based (simply DL-based) blind signature schemes by analyzing the algebraic form of blinding function, thus solve the problem of blinding DL-based signature schemes completely.

从盲化函数的代数形式入手给出盲化函数的构造方法，完整地解决了基于离散对数数字签名的盲化问题，对可盲化的情况给出统一的最一般的盲化方案，对不可盲化的情况证明其不可盲化。

To use symbolic and algebraic computation techniques for studying the computational properties of procedure schemes, some convergent procedure schemes are investigated in algebraically closed field and real closed field.

过程模式在代数闭域和实闭域上的应用：本文在代数闭域和实闭域上研究了收敛过程模式，设计了用于自动推理的过程模式，并且用其解决微分动力系统研究中的中心-焦点问题。

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公钥加密的特殊性基础上，对于公钥加密的陷门单向函数加密模型进行了扩展，提出了具有辅助陷门单向函数的概念，并将其扩展到多元的情况，讨论了可能的密码学用途。

Different from the conventional Cartesian impedance control schemes which are mostly based on the robot end force/torque information, five joint torque-based schemes in Cartesian/joint space and the stiffness control.

与传统的基于机器人末端力／力矩信息的笛卡尔阻抗控制方案不同，考虑了5种基于关节力矩的笛卡尔阻抗控制方案，包括笛卡尔空间／关节空间基于力的、笛卡尔空间／关节空间基于位置的方案和刚度控制。

Then three candidate modulation schemes exploiting spatial dimensions are proposed. At last, the three modulation schemes are compared by power efficiency and bandwidth efficiency. It shows that spatial quadrature amplitude modulation scheme is appropriate for long distance wireless optical communications for its high bandwidth efficiency and spatial circular symmetry.

参照传统时域信号设计方案，提出了三种空间调制信号具体设计方案，并从带宽效率和功率效率两性能上进行了比较，结果表明正交幅度调制具有带宽效率高、功率效率低的特点，而且采用的信号点越多其带宽效率就越高，另外其空间信号图案还具有圆对称性，因此非常适合在空间带宽有限的远距离无线光通信中使用。

Our contributions can be summarized as follows: proof of security for ID-based signature schemes, design of ID-based signature schemes, and exploration of universally composable security for forward-secure signatures.

本文的主要研究内容包括基于身份数字签名体制的安全性证明与设计，以及前向安全数字签名的任意组合安全性研究。

Basing on the module demarcating of respective manufacturing locality of the product line of double-entry stuff spreading system, with the mode by combining basic module, a group of schemes combining with product practicality are advanced; then, according to the technical character of the stuff spreading system, three elementary layout schemes are designed as the concretly advisable schemes grou...

在对复式布料系统生产线各个工位进行模块划分的基础上，按照基本模块进行组合的方式，提出一组结合生产实际的布局方案，并根据布料系统的技术特性，产生3类初步布局方案作为具体可行方案群，在此基础上介绍了对多方案进行评价和选优的相关系数法基本算法；最后利用面向对象的分析和技术，设计出相应的软件。

In order to get out from the cockamamie work in road route design for designers, on the basis of studying the internal relations among local schemes, local scheme was decomposed to small unit logic schemes; the directed network was used to represent the topological connection; the united data structure of point-arc was used to express a network graph. Based on the shortest path theory, the combinatorial optimization algorithm that can search optimal logical schemes of some targets in the network graph intelligently and can form the whole scheme automatically was put forward.

为了使设计者从道路线路设计的繁重计算统计工作中解脱出来，在研究了局部方案间内在关联的基础上，提出了将局部方案分解为更小单位的逻辑方案，用有向网络图表示逻辑方案间的拓扑关系，采用节点－弧段联合数据结构来表示网络图；同时基于最短路径理论，提出了在网络图中智能化搜索综合指标最优的逻辑方案集，自动形成整体方案的组合优化算法。

Firstly in the paper the research of hydraulic characters and the optimize of structure have being carried out on the four bigger design schemes of permanent internal dissipation discharge tunnel reconstructed from the right banks diversion tunnel of Gongboxia Power Station with a method of theoretical analysis combined with test comparisons. On this basis , two form swirling flow internal dissipation schemes, vertical and horizontal axis are recommended to the construction unit of the station as the schemes to be selected next.

本文采取理论分析与试验比较相结合的方法，首先对黄河公伯峡水电站右岸导流洞改建为永久式内消能泄洪洞的四个较大设计方案进行了水力特性的试验研究与体型优化，在此基础上，向建设单位分别提供了竖井旋流内消能的推荐方案与水平旋流内消能的推荐方案。

The results show that high order FD-WENO schemes are especially suitable for these kinds of problems which contain both shocks and complicated smooth flow structure, and that for these kinds of problems, high order FD-WENO schemes are indeed superior to second order Godunov schemes, such as PPM.

表明高阶FD-WENO格式的确特别适合于求解这类既具有激波有具有复杂流动结构的流体动力学问题，它比通常的二阶Godunov格式更为优越。

In the United States, chronic alcoholism and hepatitis C are the most common ones.

在美国，慢性酒精中毒，肝炎是最常见的。

If you have any questions, you can contact me anytime.

如果有任何问题，你可以随时联系我。