formal attribute 中文意思是什麼
formal attribute
解釋
形式屬性-
Beginning with the formal definition of derivation set, this thesis finds the general laws of derivation set, proves the theorems about derivation set, proposes an approach for weak inversion and verification based on attribute mapping to trace data lineage, gives a series of arithmetic for data lineage tracing, describes the basic processes of data lineage, and then forms systematic theories and approach
作者從定義起源集入手，找出了起源集的一般規律，證明了有關起源集的定理，提出了一種「基於屬性映射的弱逆與驗證」的起源集跟蹤方法，給出了一系列有關起源集跟蹤的演算法，並設計了數據志跟蹤的基本過程，從而形成了一套系統的數據志跟蹤理論與方法。 -
Chapter ii, i. e. the summarization of the system of administrative contract, which constitutes two parts, one hand first clarified the misunderstand of the conception of administrative contract, thought that administrative contract is more accurate than administrative pact ; second probed into some basic attributes of administrative contract, thought that the attribute of contract which is the essential attribute of administrative contract is more important than the attribute of administration which is but a attribute of function ; last analyzed the classification of administrative contract and its standard briefly, thought that we should adopt the standard of duty which majors in virtual standard and minors in formal standard
引言部分簡要介紹了行政契約制度的學術背景和意義，概括了論文的主要研究內容以及創新之處。行政契約制度概述部分首先對行政契約制度的概念進行了辨析，認為行政契約一詞比行政合同更準確;接著探討了行政契約的基本屬性，提出了「契約為體、行政為用」的想法;然後簡要分析了行政契約的識別標準，在眾多標準中，認為識別行政契約應適用以實質標準為主、兼采形式標準的職務標準。 -
Then, this thesis analyzes the invertibilrty of transformation, and presents the formal definition of weak invertibte transformation, and calculates ( tuple - level ) derivation set of transformation by one - dimension merging and multi - dimension merging of the weak derivation set resolved by weak inverse attribute mapping
在此基礎上，作者分析了轉換的可逆性，給出了弱可逆轉換的形式化定義，並通過對弱可逆轉換中弱逆映射求解的弱起源集進行單維合併、多維合併來求解轉換的（元組級）弱起源集。
分享友人