遞歸類型定義 的英文怎麼說

中文拼音 [dìguīlèixíngdìngyì]
遞歸類型定義 英文
recursive type definition
  • 遞 : Ⅰ動詞（傳送;傳遞） hand over; pass; give Ⅱ副詞（順著次序） in the proper order; successively
  • 歸 : Ⅰ動詞1 （返回） return; go back to 2 （還給; 歸還） return sth to; give back to 3 （趨向或集中於...
  • 類 : Ⅰ名1 （許多相似或相同的事物的綜合; 種類） class; category; kind; type 2 （姓氏） a surname Ⅱ動詞...
  • 定 : Ⅰ形容詞1 （平靜; 穩定） calm; stable 2 （已經確定的; 不改變的） fixed; settled; established Ⅱ動詞...
  • 義 : Ⅰ名詞1 （正義） justice; righteousness 2 （情誼） human ties; relationship 3 （意義） meaning; si...
  • 類型 : type; mold; form; cut類型論 theory of types; 類型語句 [計算機] type statements
  1. Using the theories of probability, algebra and number theory comprehensively, we investigate a class of boolean functions with three - valued walsh spectrum in the first part of this dissertation : the properties of the extended semi - bent functions, which are constructed from any two bent functions, are studied, followed by the structure characteristics of the boolean functions satisfying propagation criterion with respect to all but two vectors ; the definition and cryptographic properties of k - order quasi - bent functions are proposed whose walsh spectrum takes on only three values. some sufficient and necessary conditions are offered to decide whether a boolean function is a k - order quasi - bent function ; a special method is presented to construct the k - order quasi - bent functions, whose cryptographic properties are explored by the matrix method, which is different from the method of walsh spectrum and that of autocorrelation of boolean functions ; the application of this kind of boolean functions in the fields of stream cipher, communications and block ciphers is discussed, which shows the great importance of the fc - order quasi - bent functions ; some methodology are proposed to construct the k - order quasi - bent functions, including the complete construction by using the characteristic matrices of boolean functions, and the recursive method by two known k - order quasi - bent functions we further extend our investigation to the ring zp, where p is a prime, and the similar results are presented as far as the p - valued quasi - generalized - bent functions are considered

    本文首先綜合運用概率論、代數學、數論等基礎學科的理論知識，並以頻譜理論作為主要研究工具，對一類譜值分佈相對均勻的函數? ?廣半bent函數、 k階擬bent函數和p值k階擬廣義bent函數進行了系統、深入的研究，給出了廣半bent函數定義，並探討了廣半bent函數的密碼學性質；給出了k階擬bent函數和p值k階擬廣義bent函數的定義及等價判別條件；討論了k階擬bent函數和p值k階擬廣義bent函數與部分bent函數和p值廣義部分bent函數的關系，探討了它們的密碼學性質；給出了k階擬bent函數和p值k階擬廣義bent函數的典型構造方法，並將對k階擬bent函數的密碼性質的研究轉化到對一類特殊的矩陣的研究上；利用布爾函數的特徵矩陣原則上給出了k階擬bent函數的一種完全構造方法，還給出了從已有的p值k階擬廣義bent函數出發，遞歸構造變元個數更多的p值k階擬廣義bent函數的方法；初步探討了k階擬bent函數在序列密碼、分組密碼以及通信中的應用；給出了一類布爾函數walsh譜的分解式，並利用這類布爾函數的walsh譜分解式給出了一類近似穩定的布爾函數的構造，特殊情形下為k階擬bent函數；利用代數數論的知識考察了p值k階擬廣義bent函數的譜特徵，並給出了k階擬廣義bent函數與所有仿射函數的符合率特徵等等。
  2. In the first part of this paper, resorting to the idea of hadamard principle value and induction, we discuss the inductive definition, existence of hadamard principle value, recursive formula, computation formula, differential formula on the sense of hadamard principle value for several kinds of quasi - bochner - martinelli - type high order singular integrals with one singular point

    本文藉助于高階奇異積分的hadamard主值的思想以及歸納法的思想，在第一部分討論了幾類含一個奇點的擬bochner - martinelli型高階奇異積分的歸納定義， hadmard主值的存在性，遞推公式，計算公式，以及在hadamard主值意義下的微分公式。
  3. The composite pattern is simply the object - oriented way to specify a recursively defined datatype ; these opportunities pop up all the time in software development

    Composite模式只是指定遞歸定義的數據類型的面向對象方法；這些機會始終出現在軟體開發中。
  4. The ability to work over recursively defined types of objects is one of the most salient characteristics of software engineering as opposed to, say, digital design, where the systems are built from finite - state machines

    研究遞歸定義的對象類型的能力是軟體工程的最顯著的特徵之一（與數字設計成對比，系統是從有限狀態的機器構建的） 。
分享友人
分享到 Line

分享到臉書