guttman 中文意思是什麼
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三人提出，它是分析安全協議的一種實用、直觀和嚴格的形式化方法，它充分吸收了前人的研究成果，模型使用一種節點間存在因果關系的有向圖來表示協議的運行。 -
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三人提出，是分析安全協議的一種實用、直觀和嚴格的形式化方法。 -
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 。 -
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三人文獻中的一個引理的證明，原有的證明是不完善的。
分享友人