The scheme is provably secure against attack under post - processing model provided the hardness assumption of the decisional dffie - hellm an problem as well as the existence of collision free hash functions 方案完备性、可靠性证明是基于diffe - hellman判定问题是难的以及强无碰撞散列函数是存在的这两个假设完成的。
In proceedings of the workshop on selected areas of cryptography , kingston , on , may 1994 , pp . 120 - 128 . 11 naccache d , stern j . a new public - key cryptosystem based on higher residues . in proc 在求解点圆包含判定问题时， li的方法中计算双方均能得到距离的具体值，从而能够推断出对方点的大致位置信息对方点所在的一个圆弧。
Another important problem in multiple - valued logic completeness theory is decision for sheffer functions , which reduced to determining the minimal covering of precomplete classes in multiple - valued logic 多值逻辑完备性理论中的另一重要问题是sheffer函数的判定问题，此问题可归结为定出所有极大封闭集(准完备集)的最小覆盖。
This paper focus on the following research work : 1 . analyze the existing basic public - key encryption schemes , after that an efficient certificate - associated public key encryption scheme is povided and implemented 研究了传统公钥密码体制，设计并实现了基于diffiehellman判定问题，辅以hash函数和公钥证书进行加密和解密，安全性可证明的概率型非对称密码系统。
Although most of domination numbers have good applying background , the decision problems corresponding to those are np - complete or np - hard . thus it is interesting to investigate the bounds of those . it is useful to design their algorithm 虽然许多类的控制数有很好的应用背景，但其相应的判定问题是np完全问题或np困难问题。因而，对于控制数的上下界的精确估计是人们感兴趣的一个问题，它对于设计相应的近似算法具有实际意义。
( 3 ) it is well known that the determinant problem in classic proposition logic is a np complete problem , and the first order logic is a half determinant one . so both the analysis of computing complexity and the realization of it are the most important fields ( 3 )众所周知，经典命题逻辑中的判定问题是np完全问题，而一阶逻辑是半可判定问题，关于非经典逻辑特别是非单调逻辑的计算复杂性分析和算法实现是一个重要的研究领域。
The position of extension discipline and its study objects were determined in this paper , it is believed that agriculture extension is a applied and practical science , and is a subject studying the laws and methods as how to quickly spread the agriculture renovation technology to the rural areas and to the farmer 文章解决了农业推广理论研究中长期混乱的学科定位和研究对象判定问题，认为农业推广学是一门应用性、实践性的科学，是研究农业创新成果扩散规律和农民采纳规律与方法的一门科学。
The thesis addresses the problems associated with the key constraint , such as satisfiability and implication etc , and furthermore gives some inference rules , proposes determinant algorithms and analyses the algorithms accordingly . to implement the subscription mapping , the abstract model space of the documents is identified at first , which can be tailored to documents with or without schema 在此基础上，本文阐述了key约束相关的路径相容性判定问题，给出了相应的推导规则以及判定算法，同时阐述了key约束相关的满足与隐含问题，给出了相关的推导规则、判定算法以及相应的算法分析。
In multiple - valued logic theory , completeness theory of function sets is an important and fundamental problem , it is also the problem which must be solved in automata theory and multiple - valued logic network . the solution of this problem depends on determining all the precomplete classes in multiple - valued logic function sets 函数系的完备性判定问题是多值逻辑理论中基本而重要的问题，同时也是自动机理论，多值逻辑网络中必须解决的问题，此问题的解决依赖于定出多值逻辑函数集中的所有极大封闭集(准完备集) 。
This paper uses artificial neural network , fuzzy neural network and genetic algorithm in artificial intelligent to analysis three problems affecting the safety of embankment , which includes prediction and judgement of piping occurring in embankment , seismic reliability of concrete dams , slope reliability evaluation of levee projects , and gets good results 本文应用人工智能技术中的人工神经网络模型、模糊神经网络模型、遗传算法对影响到堤坝安全的三个问题进行了分析，分别对堤坝管涌预测判定问题、混凝土坝抗震可靠度问题、堤坝边坡稳定性的可靠性评估问题运用人工智能技术进入深入分析，获得很好的结果。
