logical formula 中文意思是什麼
logical formula
解釋
邏輯式-
However, existing ontology languages are either unsuitable for web with markup languages, or short of of generic support to representation of knowledge, logical formula, axioms and rules
在現有的ontology語言中，有的不是面向web這種標記語言環境的，有的缺乏知識、邏輯公式、公理以及規則表示的通性支持。 -
Wstk creates all name attributes according to a logical formula ; in the example, i used names of my own convenience
依照邏輯規則創建了所有名稱屬性；在本示例中，我使用了自己視為方便的名稱。 -
The main contributions of the second part of this dissertation are focused on the cryptographic properties of logical functions over finite field, with the help of the properties of trace functions, and that of p - polynomials, as well as the permutation theory over finite field : the new definition of chrestenson linear spectrum is given and the relation between the new chrestenson linear spectrum and the chrestenson cyclic spectrum is presented, followed by the inverse formula of logical function over finite field ; the distribution for linear structures of the logical functions over finite field is discussed and the complete construction of logical functions taking on all vectors as linear structures is suggested, which leads to the conception of the extended affine functions over finite field, whose cryptographic properties is similar to that of the affine functions over field gf ( 2 ) and prime field fp ; the relationship between the degeneration of logical functions and the linear structures, the degeneration of logical functions and the support of chrestenson spectrum, as well as the relation between the nonlinearity and the linear structures are discussed ; using the relation of the logical functions over finite field and the vector logical functions over its prime field, we reveal the relationship between the perfect nonlinear functions over finite field and the vector generalized bent functions over its prime field ; the existence or not of the perfect nonlinear functions with any variables over any finite fields is offered, and some methods are proposed to construct the perfect nonlinear functions by using the balanced p - polynomials over finite field
重新定義了有限域上邏輯函數的chrestenson線性譜，考察了新定義的chrestenson線性譜和原來的chrestenson循環譜的關系，並利用一組對偶基給出了有限域上邏輯函數的反演公式；給出了有限域上隨機變量聯合分佈的分解式，並利用隨機變量聯合分佈的分解式對有限域上邏輯函數的密碼性質進行了研究；給出了有限域上邏輯函數與相應素域上向量邏輯函數的關系，探討了它們之間密碼性質的聯系，如平衡性，相關免疫性，擴散性，線性結構以及非線性度等；討論了有限域上邏輯函數各類線性結構之間的關系，並給出了任意點都是線性結構的邏輯函數的全部構造，由此引出了有限域上的「泛仿射函數」的概念；考察了有限域上邏輯函數的退化性與線性結構的關系、退化性與chrestenson譜支集的關系；給出了有限域邏輯函數非線性度的定義，利用有限域上邏輯函數的非線性度與相應素域上向量邏輯函數非線性度的關系，考察了有限域上邏輯函數的非線性度與線性結構的關系；利用有限域上邏輯函數與相信息工程大學博士學位論文應素域上向量邏輯函數的關系，揭示了有限域上的廣義bent函數與相應素域上的廣義bent函數的關系，以及有限域上的完全非線性函數與相應素域上向量廣義bent函數之間的關系;給出了任意有限域上任意。 -
For optical - layering approach, we propose an ant - based algorithm, which uses the ants " capability of finding shortest or near - shortest paths between a food source and their nests, to solve the logical topology reconfiguration problem. we give the ants routing formula based on dynamic load balancing and short path on the assumption that some conditions hold
前者適合於業務矩陣變化不是太頻繁的網路，提出利用螞蟻演算法解決業務的再路由問題，即利用螞蟻具有找到最短徑及不同種類螞蟻具有互斥的天然特性來進行邏輯拓撲重配置，從而保證了鏈路負載分佈的平衡性。 -
This dissertation is devoted to some key issues of semantic web and to kms ( knowledge management system ) in the context of semantic web. the author ' s contributions of presented in this thesis include : defining the ontology semantics for description primitives of logical formula and relational axioms markup languages are employed to describe the objects and resources in a web environment. in order to represent knowledge, logical formula, relational axioms and rules, there is a need for primitives specifying prepositional formula, predictive formula and horn clause, and relations between properties and relational axiomx
本文對web語義化過程中部分關鍵問題和基於語義化web的kms進行了研究，主要的創新性工作包括：定義了邏輯公式及關系公理描述原語的ontology語義： web環境中用標記語言描述對象和資源，為了在語義化web上表示知識、邏輯公式、關系公理和規則，需要定義描述命題邏輯公式、謂詞邏輯公式、 horn邏輯的邏輯原語以及描述屬性之間關系的關系原語。 -
We drive ourselves with a formula, like a machine. the logical mind pretends to rule the roost, and the roost turns into pure hate
我們用一種公式推動我們自己，象推動一部機械一樣，邏輯的精神自以為可以領導一切，而一節卻變成純粹的仇恨了。
分享友人