14 guttman a . r - trees : a dynamic index structure for spatial searching . in proc 上述机制在数据组织时并不需要对空间数据对象进行索引。
A coordinated international effort to compile global standard normals is undertaken only once every 30 years guttman , 1989 每隔30年,国际上都会统一地计算一套新的标准气候平均guttman 1989 。
Strand space , brought forward by fabrega , herzog and guttman , is a applied , intuitionistic and strict formal method for security protocols analysis 串空间( strandspace )模型由fabrega , herzog和guttman三人提出,是分析安全协议的一种实用、直观和严格的形式化方法。
Searching in high - dimensional spaces : index structures for improving the performance of multimedia databases . acm computing surveys , 2001 , 33 : 322 - 373 . 2 guttman a . r - tree : a dynamic index structure for spatial searching 本文试图将高维空间中的每个点对应的两种距离尺度通过线性组合的方式表达成复合距离尺度,从而能够较好地缩小查询空间,提高查询效率。
About theorem , the paper introduces the syntax of ideal , also the first time uses concept of honest ideal to define secrecy goal of protocol and utilizes honest ideal logic to specify secrecy property . at the same time , this paper corrects one not so perfect lemma proving in a literature written by f " abrega , herzog and guttman 在理论上,本文引入了理想的语义,并首次使用了理想的概念对安全协议的秘密性进行严格的定义,同时使用理想的命题逻辑公式表示安全协议的秘密性;另外,本文修正了f ' abrega 、 herzog和guttman三人文献中的一个引理的证明,原有的证明是不完善的。
Having fully absorbed the former researching results , f " abrega , herzog and guttman brought forward a kind of formal method named strand space , which is a practical , intuitive and strict one for security protocols analysis . the model uses a kind of order graph between its nodes existing casual relationship to represent protocol executions 串空间( strandspace )模型由f ' abrega 、 herzog和guttman三人提出,它是分析安全协议的一种实用、直观和严格的形式化方法,它充分吸收了前人的研究成果,模型使用一种节点间存在因果关系的有向图来表示协议的运行。