查询词典 fuchsian function

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

We utilize the intuitionistic fuzzy weighted arithmetric averaging operator to aggregate the intuitionistic fuzzy information corresponding to each alternative, and then rank the alternatives and select the most desirable one according to the score function and accuracy function.

然后对权重信息不完全的直觉模糊数的多属性决策方法进行了研究，基于正理想方案和算子，给出了一个具有最小偏差的目标规划模型，从而获得相应的属性权重，基于IFWAA算子对直觉模糊信息进行集结，进而根据得分函数和精确函数对方案进行排序。

We utilize the interval-valued intuitionistic fuzzy weighted arithmetic averaging operator to aggregate the interval-valued intuitionistic fuzzy information corresponding to each alternative, and then rank the alternatives and select the most desirable one according to the score function and accuracy function.

然后对权重信息未知的区间直觉模糊数的多属性决策方法进行了研究，给出了一个基于最大偏差的目标规划模型，从而获得相应的属性权重，基于IIWAA算子对区间直觉模糊数信息进行集结，进而根据得分函数和精确函数对方案进行排序。

Some operational laws of interval-valued intuitionistic fuzzy numbers, score function and accuracy function of interval-valued intuitionistic fuzzy numbers are intriduced. Based on these operational laws, some aggregation operators, including interval-valued intuitionistic fuzzy ordered weighted arithmetic averaging operator and interval-valued intuitionistic fuzzy hybrid aggregation operator, are proposed.

论文摘要：对区间直觉模糊信息的集结算子进行了进一步研究，引入了区间直觉模糊数的一些运算法则、区间直觉模糊数的得分函数和精确函数，并基于这些运算法则，提出了一些新算子：区间直觉模糊数有序加权算术平均算子和区间直觉模糊数混合集结算子。

When bilateral ureters were completely obstructed and severe azotemia occurred, the prognosis may be better and the renal function can be recovered if the obstruction is removed within 48 hours. If the obstruction will be removed in more than 72 hours, the renal function and the prognosis is worse.

当输尿管完全梗阻并出现重度氮质血症后在实施梗阻后的第二个24h内解除梗阻，可有效恢复肾功能，预后较好；若≥72h解除梗阻，则肾功能无法恢复，预后较差。

when bilateral ureters were completely obstructed and severe azotemia occurred, the prognosis may be better and the renal function can be recovered if the obstruction is removed within 48 hours. if the obstruction will be removed in more than 72 hours, the renal function can not be recovered and the prognosis is worse.

当输尿管完全梗阻并出现重度氮质血症后在实施梗阻后的第二个24h内解除梗阻，可有效恢复肾功能，预后较好；若≥72h解除梗阻，则肾功能无法恢复，预后较差。

We prove the fuzzy set-valued characteristicfunction of a compact Baire fuzzy set can be approached by fuzzy set-valuedcontinuous functions with fuzzy compact support sets,the integral of integrablesimple Baire fuzzy set-valued function can be approached not only by the integralsof integral simple fuzzy set-valued functions,but also by the integrals of fuzzy set-valued continuous function with fuzzy compact support sets.

定义了诱导空间上具有模糊紧支集的模糊集值连续函数，说明了它与分明的具有紧支集的连续函数的关系，证明了紧贝尔模糊集的模糊集值特征函数可以用具有模糊紧支集的连续函数列来逼近，可积简单贝尔模糊集值函数的积分可以用可积简单模糊集值函数的积分来逼近，还可以用具有模糊紧支集的模糊集值连续函数的积分来逼近。

According to the model, the deflection and main pre-brace parameters are illustrated with the Jinsong station of the tenth line in Beijing. It demonstrates that the curve shape of theoretical result, computing result and the on-set measure result are uniform in the main and the change law is similar; that the circumferential space of pipe-roof has a optimum value while satisfying the pre-brace function; that the relation between diameter of steel pipe and flexibility of barrel vault meets negative exponential function. And the diameter of steel pipe has a optimum value.

依据该模型，以北京地铁10号线劲松车站管棚支护为例，着重对管棚的挠度和主要支护参数进行的分析表明：理论结果与计算结果和现场量测结果的曲线形状基本相同，变化规律相似；在满足预支护作用的同时，存在相对较优的管棚环向间距；钢管直径与管棚挠度之间符合负指数函数关系，管径存在最佳值。

This paper,using the method of differential equation,proves some characters properties of basic elementary function ,and then concludes an equivalent representation about basic elementary function .

运用微积分的方法，对基本初等函数的若干特征性质进行了证明，从而给出了基本初等函数的等价表征。

In this paper, the formula of Expect Bayes estimation of the reliability under entropy loss function and square loss function for geometric distribution have been given, when the prior distribution of the reliability is power distribution.

本文在几何分布的先验分布为幂分布时研究了其在熵损失函数下，可靠度的多层Bayes估计及其容许性，给出了可靠度的多层Bayes估计的计算公式。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。