查询词典 based

In this paper the definition of signcryption KEM is extended in ID-based cryptography. Based on Sakai-Kasahara identity-based key contracture and elliptic-curves-related hard problems, an instance scheme of ID-based signcryption key encapsulation is proposed. Security properties of the proposed scheme are proven with the random oracle model.

在基于身份密码体制上扩展了签密密钥封装的定义，结合Sakai-Kasahara私钥提取结构以及椭圆曲线上相关的困难问题给出了一个基于身份的签密密钥封装的实例方案，并在随机预言机模型下对该实例方案的安全性进行了证明。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

Based on fouling monitoring of boiler,this papers studied on method based on minimal cleanliness factor to determine sootblowing opportunity, method based on best frequency to calculate critical cleanliness,method base on the principle of maximal heat income caused by sootblowing to determine sootblowing period, method based on the principle of safety first to determine sootblowing schedule. All the above methods together can determine the correct schedule to sootblowing system.

基于锅炉各受热面的实时监测模型，本文在保证设备安全运行的前提下，从经济性出发，提出了基于临界清洁因子确定最佳吹灰时机和根据吹灰收益最大原则确定最佳吹灰周期，并给出基于吹灰最佳频率确定临界清洁因子的方法，给出制定合理的吹灰方案的步骤。

Based on investigating the short and intermittent structural plane, surrounding rockmass of the huge underground powerhouse in Three Gorge has been divided into five statistical similar areas according to its characteristic of rockmass structure by applying structure plane network simulation. Distributed characteristic of structural plane has been studied and based on it mechanics macrocharacteristic has been studied:(1) It is the first time that based on the result of structural plane network simulation rockmass quality of every structure area has been studied with applying blurred information optimum seeking technique and be compared with and RQD method. The result indicated that it has better effect to evaluate rock quality with blurred information optimum seeking technique.(2) It is the first time that the interrelated relationship of the result of in-suit rockmass deformation test and fractal characteristic of structure on test point has been applied to determine rockmass deformation parameter. The question of evaluating deformation parameters of engineering rockmass has been solved.(3) Anisotropy strength parameters have been determined by applying shear zones simulating method. The result indicated that there are different strength parameters in every structural area, after comparing the result of Fast Lagranian Analysis in continua number simulation method with that of method of weighted mean according to continuity. The result indicated that when a suitable reduction coefficient is been considered rockmass strength parameters can be simply and fast determined with method of weighted mean according to continuity where there is not enough test result.(4) Damage characteristic has been studied based on analysis fractal characteristic of structural plane network by applying fractal-damage coupling method. It is the first time that the concept of damage degree has been set up to evaluate rockmass quality according to the biggest principal damage.

通过对短小、断续性结构面统计特征的研究，将地下厂房区划分为五个岩体结构统计均质区，应用结构面网络模拟技术研究了各个岩体结构均质区结构面的发育分布特征，并以此为基础对岩体宏观力学特性进行了深入研究：(1)首次通过在结构面网络模拟计算结果的基础上，应用模糊信息优化技术研究了厂房区各个岩体结构分区的岩体质量并与岩体基本质量指标研究法、岩体质量指标RQD值研究法作了对比，结果表明以结构面网络模拟结果为基础，应用模糊信息优化技术进行岩体质量评价能够取得很好的效果，解决了工程岩体质量的定量评价问题；(2)首次通过对已有的现场大型岩体变形试验结果的分析及相应试验点岩体结构分形特征的研究，建立了结构面分布的分形维数和岩体变形指标间的相关关系，并首次应用这种相关关系根据结构面网络模拟及分形维数计算结果确定了缺少试验结果的地下厂房各工程部位的岩体变形指标而且应用于围岩稳定性计算，解决了工程岩体宏观变形参数的评价问题；(3)应用在结构面模拟网络图上模拟岩体剪切破坏带的方法，得出了岩体在不同方向上的强度参数，结果表明岩体的强度特性与结构面的发育方向和程度有着明显的关系，各个岩体结构均质区具有不同的强度参数；同时还通过应用拉格朗日差分法对岩体强度指标的数值分析并与按连通率加权平均计算法对比表明，按连通率加权平均计算法在考虑合理的折减系数情况下，可以简单快速地对缺少现场大型试验结果的具体工程部位实现岩体强度指标的估计，通过以上研究解决了工程岩体抗剪强度参数的评价问题；(4)通过结构面网络分形维数的研究，应用分形损伤耦合分析方法，研究了厂房区岩体的损伤特征，并首次引入"损伤度"的概念，建立了应用最大主损伤评价岩体质量的指标体系。

The security of PKI system itself is especially emphasized during the system design and implementation process, which is in accordance with the pervasive characteristic of PKI. Second, the concept of a Trusted Key Management Center is introduced for the first time. This technology greatly strengthens key management practices and allows for smooth transition from PKI to Key Management Infrastructure. Third, certificate status mechanisms are investigated in depth, and a certificate revocation performance simulation system is devised. All these work will provide guides to practice and employment of PKI applications. Based on time constraints, a new taxonomy for authenticated dictionaries is proposed. Fourth, formal analysis ofOCSP protocol is carried out; then an efficient and scalable OCSP system is developed. Fifth, the special requirements caused by the working environments of Wireless PKI are analyzed. Based on communicative hashing and dynamic Merkle hash tree, an efficient certificate status validation method suitable for WPKI is presented. Sixth, one important kind of fair exchange protocols is studied, and a new CEMBS based on RSA cryptosystem is proposed. Afterwards, a novel fair exchange protocol totally based on RSA signature scheme is devised.

在系统设计和实现的过程中，考虑到PKI作为普适性安全基础平台的特点，特别强调PKI系统自身的安全性；第二，首次在PKI系统的设计中提出了"可信密钥管理中心"的概念，这一独特设计大大地强化了密钥管理功能的实施，为PKI向密钥管理基础设施的平滑过渡提供了良好的技术准备；第三，对证书状态验证机制进行了深入研究，设计了证书状态模拟系统，以指导PKI系统和应用的部署和实施；在此基础上，基于时间约束首次给出了认证字典的一种新的分类方法；第四，对OCSP协议进行了形式化分析，设计和实现了一种高效、可扩展的OCSP系统；第五，分析了WPKI工作环境对设计安全基础平台提出的特殊要求，结合无线移动设备的具体特点，基于可交换杂凑函数和动态Merkle杂凑树设计出了一种适用于WPKI环境的高效证书状态查询机制；第六，对一类公平交换协议进行了深入的研究，从设计公平交换协议的密码基础结构出发，提出了一种新型的基于RSA密码体制的高效CEMBS；在此工作的基础上，设计了一种基于RSA密码体制的最优化公平交换协议。

The security of PKI system itself is especially emphasized during the system design and implementation process, which is in accordance with the pervasive characteristic of PKI. Second, the concept of a Trusted Key Management Center is introduced for the first time. This technology greatly strengthens key management practices and allows for smooth transition from PKI to Key Management Infrastructure . Third, certificate status mechanisms are investigated in depth, and a certificate revocation performance simulation system is devised. All these work will provide guides to practice and employment of PKI applications. Based on time constraints, a new taxonomy for authenticated dictionaries is proposed. Fourth, formal analysis of OCSP protocol is carried out; then an efficient and scalable OCSP system is developed. Fifth, the special requirements caused by the working environments of Wireless PKI are analyzed. Based on communicative hashing and dynamic Merkle hash tree, an efficient certificate status validation method suitable for WPKI is presented. Sixth, one important kind of fair exchange protocols is studied, and a new CEMBS based on RSA cryptosystem is proposed. Afterwards, a novel fair exchange protocol totally based on RSA signature scheme is devised.

在系统设计和实现的过程中，考虑到PKI作为普适性安全基础平台的特点，特别强调PKI系统自身的安全性；第二，首次在PKI系统的设计中提出了"可信密钥管理中心"的概念，这一独特设计大大地强化了密钥管理功能的实施，为PKI向密钥管理基础设施的平滑过渡提供了良好的技术准备；第三，对证书状态验证机制进行了深入研究，设计了证书状态模拟系统，以指导PKI系统和应用的部署和实施；在此基础上，基于时间约束首次给出了认证字典的一种新的分类方法；第四，对OCSP协议进行了形式化分析，设计和实现了一种高效、可扩展的OCSP系统；第五，分析了WPKI工作环境对设计安全基础平台提出的特殊要求，结合无线移动设备的具体特点，基于可交换杂凑函数和动态Merkle杂凑树设计出了一种适用于WPKI环境的高效证书状态查询机制；第六，对一类公平交换协议进行了深入的研究，从设计公平交换协议的密码基础结构出发，提出了一种新型的基于RSA密码体制的高效CEMBS；在此工作的基础上，设计了一种基于RSA密码体制的最优化公平交换协议。

On the design of algorithms, a novel exact hierarchical delay analysis method for general circuits is proposed; based on the sensitization theorem for sequential circuits, an exact minimizing clocking method is proposed; based on Boolean process, a waveform simulation method considering interconnecting delay for logic circuit and a parallel waveform simulation method are proposed; a new method that transforms bit-level waveform polynomial to word-level polynomial model is proposed; a multiple valued synthesis algorithm based on multiple valued Boolean process and a wire-centered delay synthesis policy are proposed, in which timing planning, floorplanning, wire planning and optimal clock skew in early design are considered; a two-layers channel routing method for minimizing crosstalk under grid mode is proposed; based on the transition numbers theorems for waveform polynomial, a new method for generation of test with noise effects is proposed.

算法设计方面，提出了一种精确的通用电路层次化延时分析方法；基于时序电路的敏化定理提出时序电路最小时钟周期精确确定方法；提出基于Boolean过程论的考虑互连延迟的逻辑电路波形模拟方法，在分析了波形模拟适合并行化基础上，进一步提出一种并行波形模拟算法；提出一种将位级电路波形多项式描述转化成字级多项式描述的新方法；提出一种基于多值Boolean过程的多值电路综合算法以及一种将前期设计定时规划、前期设计的布局规划和线网结构化方法及低偏移的时钟分配等技术相结合的面向互连延时的综合策略；提出一种串绕最小化的网格模式下的双层通道布线方法；从波形多项式描述跳变数的定理出发提出了一种考虑噪声效应的测试生成新方法。

Moreover, our method is insensitive to image noise.(2) For single face detection in gray scale images, three methods based on three curve evolution models have been presented, i. e., GVF-based method, Chan-Vese model based method, and deformable pedal curve based method.

2针对静态灰度图像的单人脸检测问题，充分利用活动轮廓模型的特点和人脸的先验知识，提出两种基于活动轮廓模型的单人脸检测方法，即基于梯度向量流的人脸检测方法和基于Chan-Vese模型的人脸检测方法，其基本思想都是直接在原模型中加入人脸椭圆约束。

Four scores are reported for the ACT Mathematics Test: a total test score based on all 60 questions, a sub score in Pre-Algebra/Elementary Algebra based on 24 questions, a sub score in Intermediate Algebra/Coordinate Geometry based on 18 questions, and a sub score in Plane Geometry/Trigonometry based on 18 questions.

ACT 数学测试共包括4项成绩：基于全部60个问题的总分数，基于24个问题检测初等代数/初等数学的技能分数，基于18个问题检测中等代数/坐标几何的技能分数，以及基于18个问题检测平面几何/三角函数的技能分数。

The algorithm is proved to be convergent theoretically and implemented for numerical calculation.Thirdly, two kind problems of multi-unit system maintenance based on the discrete-state deterioration model are analyzed:To achieve the optimization aim of series system consist of two types of units with different failure mode, an opportunistic policy is presented to combine the corrective and condition-based maintenance. The optimal model based on this policy is built and an iteration algorithm based on sequential decision is proposed according to the characteristic of discrete-state deterioration model.

第三、在部件优化分析的基础上，针对基于离散状态劣化模型的多部件系统视情维修决策中的两类典型问题，提出了相应的机会维修策略和优化分析方法：(1)针对串联系统由分别采用视情维修和事后维修的两类部件组成的情况，提出了一类事后维修与视情维修相结合的机会策略，建立了相应的多部件系统维修优化模型，并根据离散状态劣化模型的特点，提出了一类基于序贯决策的求解方法。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。