查询词典 based

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.

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

Main contributions and achievements are as follows:A general non-equilibrium rigorous model for RDP is developed in this thesis. Based on the pseudo-homogenous assumption, two main factors reaction and separation are de-coupled, and an RDP model with the same format as that for a traditional distillation process is established. To solve the model with a large number of algebraic equations, modified M-K equations with tri-diagonal matrix form are developed based on the improved Separation Efficiency Functions, which greatly increases the iteration efficiency. This thesis also develops a general reactive distillation dynamic model. Through splitting of the differential variables based on SEFS, large-scaled differential algebraic equations can be solved with the improved Gear's algorithm which makes the dynamic model suitable for the on-line application. A simulation platform for the control loop design and evaluation of RDP by introducing control system equations into the dynamic model is also developed.A lactic acid purification pilot-scale RDP is investigated.

论文对热点问题——反应精馏过程的建模与优化控制相关技术进行了深入的研究，取得了一系列成果：1、建立了反应精馏过程机理模型，基于拟均相假设，将反应和分离过程进行解耦，推导出反应精馏过程的非平衡级稳态模型和动态模型，通过引入推广的分离效率函数，对模型变量进行了合理划分，显著提高了模型求解效率；将动态模型和控制系统方程结合，建立了反应精馏过程控制系统研究的辅助工具。2、全面分析了乳酸提纯反应精馏新工艺试验装置，利用本文建立的过程机理模型，对该试验装置进行了稳态和动态性能分析及水力学核算；设计和分析了单边质量控制方案，比较了间接和直接物料平衡控制两种方案的控制性能。

With respect to syntax, the roles of tagmeme in the structure of word and sentence and Chomsky's Generative-Transformational Grammar are discussed. The spatial relation theory and existing research achievements are investigated. Having noticed the shortage of the capability of topological and metrical relation in the description of spatial information structure, the author proposes Combinational Qualitative Geometry based on the two invariables under ordinary transformations, distance ratio and direction difference, the CQG-based spatial relation system between topological and metrical constraint is thus constructed, on which several spatial relations such as parallel, perpendicularity, co-linearity, sequence and direct neighborhood are derived. Based on extended theory of spatial relation, the language anamorphosis is analyzed from the aspects of phonetics, semantics and syntax. The mere geometric and formalized spatial relation is then integrated with concrete geographic ontology to accommodate richer and indicative spatial configuration of spatial information in the different geographic context. Finally a syntax framework for spatial information is put forward.

在语法结构方面，首先阐述了法位和法素在语法结构词法和句法中的地位和作用，以及Chomsky生成转换语法的核心内容；详细介绍了地理信息系统空间关系理论及现有的研究成果；在分析现有的拓扑关系和量度关系对空间信息结构描述能力不足的基础上，提出了基于长度比和角度差两个不变量的组合定性几何，以此建立了介于拓扑及量度约束之间的组合定性关系体系，并以此为基础派生出平行、垂直、共线、次序、直接邻近等空间关系描述；本文基于扩展的空间关系理论，详细讨论了空间关系在语音、语法和语义三个方面的语言变体，将纯几何和纯形式化的空间关系与具体的地理本体结合起来，可以获得更为丰富的、更能反映空间关系在不同语言上下文中具体体现的组合关系；最后给出了一个空间信息的语法结构的基本框架。

The accepted formula for a Sling is " a Collins sweetened with both sugar syrup and a flavoured liqueur". Slings occasionally have bitters and/or egg white added to the recipe, although this is less common with Slings than with sours, fizzes or Collinses. For rum-based Slings, many prefer Angostura bitters; for gin, vodka and brandy-based Slings orange bitters are a popular choice; for bourbon-based Slings peach bitters are said to be the most fitting. Many people prefer Slings made with lime juice.

大众通常接受的司令是含糖浆的利口考林斯，司令的配方里偶尔含苦精或蛋清，虽然这已经不如菲士或考林斯用的频繁，以朗姆为配方的司令，更青睐安格斯图拉苦精；金酒，伏特加，白兰地为配方的司令会选择橘子苦精；波本为配方的司令，似乎更适合用蜜桃苦精；也有许多人更喜欢莱姆汁配的司令。

To satisfy the PDS antitype system requirements of ITS market,two systems are developed based on the computational classifier ensemble model.One is based on PC platform,which is used for offline algorithm verification,and the other one is based on a DSP chip,which is used for on-board pedestrian detection.

针对智能交通市场对廉价的行人检测原型系统的需要，本文在组合分类计算模型的基础上，分别完成了基于PC计算平台的行人检测算法离线验证平台和基于DSP的车载行人检测原型系统。

Aiming at the development of the microprocessor-based relay protection and the lack of training and experimentation system which is difficult to satisfy the requirement , this paper describe a microprocessor-based relay protection training and experimentation system , put forward the design project about the combination of software which applied for computer protection based on integrated developing environment Visual Basic 6.0 and SQL Server and hardware which applied on Digital Signal Processing and the Personal Computer 104 bus-mastering machine, introduce systemic principle architrave and primary hardware form and the function and the aim of the software and its realizable way.

针对目前微机保护技术飞速发展的形势和国内微机保护培训试验系统难以满足要求的现状，本文介绍了一套电力系统微机继电保护培训试验系统，提出了基于DSP和应用PC/104总线工控机以及利用集成开发环境VB6.0和SQL Sever的软硬件结合的设计方案，对系统的原理框图、主要硬件构成和软件的功能目标及主要功能的实现方法进行了详细的介绍。

Applying LMI technique, quadratic stability theory, and H〓 control theory, three methods of robust stability analysis and robust controller design for uncertain fuzzy systems are proposed respectively. Among them, LMI based technique can analyze the uncertainties raised in the premises and in the consequent of fuzzy systems. The resulting stabilizing state feedback controllers have maximum stability margins for both kinds of uncertainties. Quadratic stability theory based approach can apply LMI technique and other methods to design fuzzy controllers. H〓 control theory based design can get H〓 controller with constant disturbance attenuation for each local subsystem. Using the given stability criterion of generalized systems, the robust stability of fuzzy systems can be checked.

其中，基于LMI的方法可分析由模糊系统的前件或后件引起的不确定性，得到的稳定的状态反馈控制器对这两类不确定性具有最大的稳定裕度；基于二次稳定理论的方法可应用LMI技术和其它方法设计模糊控制器；基于H〓控制理论的方法可得到各局部子系统具一定干扰抑制性能的鲁棒H〓控制器，而全局系统的鲁棒稳定性可应用所给出的稳定条件进行检验。

The simulation results show that the vector control system based on this improved scheme has better dynamic and static performance. It solves a lot of problems such as larger error in the MRAS based on the back electromotive force when the motor runs across the zero speed and the instability based on the instantaneous reactive power in the regenerating mode and has high estimating precision.

仿真表明基于该方法的矢量控制系统动静态性能好，能有效解决反电动势模型参考自适应方法在速度过零点辨识误差大以及瞬时无功功率模型参考自适应方法在转速给定为负阶跃时转速不稳定问题，转速估计精度高。

Identity-based threshold signature is studied in this dissertation, and all identity-based schemes in this dissertation are based on bilinear pairings.

本文对基于身份的门限签名进行了研究，文中所涉及的基于身份的方案都是基于双线性对的。

A novel node positioning algorithm, called IMP-HCRL, is proposed, which adopts three improvements, including the strategy based on wireless transmission range, the strategy based on bisector point and the strategy based on isodynamic point, to overcome the drawbacks at computational complexity and localization accuracy of HCRL with low communication overhead simultaneously.

分析了HCRL定位算法的原理和过程，在继承了HCRL低系统通信开销优点的基础上，针对其在计算复杂度和定位精度方面的不足，应用了3种改进策略－基于节点无线射程的改进策略、基于等比点的改进策略和基于等力点的改进策略，提出了改进的IMP-HCRL算法。

Objective:To explore the feasibility of laparoscopy in diagnosing and treating of abdominal diseases.

目的：探讨腹腔镜用以诊断腹部外科疾病及选择治疗方案的可行性。

The lifetime of nylon 1010 and nylon 1010/POSS composites decreased with increasing temperature.

热重-红外联用分析表明尼龙1010在氮气气氛下的降解产物主要为小分子的低聚物，POSS并不改变尼龙1010降解产物的组成。