formal theory 中文意思是什麼

formal theory 解釋
形式理論
  • formal : adj 1 正式的。2 禮節上的，儀式上的；鄭重其事的。3 形態的，外形的；形式上的；拘泥形式的，刻板的。4...
  • theory : n. 1. 理論，學理，原理。2. 學說，論說 （opp. hypothesis）。3. 推測，揣度。4. 〈口語〉見解，意見。
  1. In this dissertation we present a general, extensible methodology that examines cryptographic protocols. our approach is specify a protocol in cpal ( cryptographic protocol analysis language ), apply hoare and dijkstra ? theory of formal semantics to it, analysis it ? forma ] semantics, define weakest precondition of each kind of language statement

    我們的方法就是用cpal （ cryptographicprotocolanalysislanguage ）語言來表示協議，將hoare和dijkstra在形式語義方面的理論應用到該語言，分析該語言的形式語義，定義每種語句的最弱前置條件。
  2. The object pattern of this reconstruction is to substitute the formal one thing one right principle and the plane structure of real rights theory with the virtue principle and the solid structure, to separate the abstract real rights that indicate the attribution of the thing from the material real rights that indicate the content of the disposal, to acknowledge the phenomena of value split, intention split and effectiveness split, to abstract the general rules applied to the dominative power of property, to unify the domination of corporeal and incorporeal into the system of real rights

    物權理論結構必須重塑。重塑的目標模式是用實質的一物一權主義替代形式的一物一權主義，用立體的物權理論結構代替平面的物權理論結構。將表示物的歸屬的抽象所有權與表示支配內容的具體所有權分離，承認物權的價值分裂、目的分裂、效力分裂的現象，提煉出適用於財產支配權的一般規則，將有體物和無體物的支配統一到物權制度之中。
  3. Part iii in this part, the author summarizes foreign scholar ' s theory of ideal types of law, such as r ? m ? unger gunther teuber jurgen habermas p ? nonet and p ? selznick. in ideal types sense, the author argues that economic law is substantive rational law but not formal rational law

    漸次概述並比較了韋伯之後國外學者如昂格爾、田中成明、諾內特和塞爾茲尼克、圖依布納、哈貝馬斯等人提出的各種法律類型理論，認為在理想類型的意義上，可以把經濟法定位成一種實質理性法而非形式理性法。
  4. For any formal theory in which basic arithmetical facts are provable, it is possible to construct an arithmetical statement which, if the theory is consistent, is true but not provable or refutable in the theory

    對任何基本算術事實是可證明的形式理論來說，如果該理論是一致的，那麼就可以構造一個算術陳述，它是正確的，但無法使用該理論證明或推翻。
  5. The extent of " family status " was defmited and the problems of " naturalization " formal and the others seven aggravating circumstances exist in theory and practice were also discussed, which included of some innovative views

    提出了「戶」的范圍， 「入戶」的形式等以及其他七種加重情節在理論上和實踐中存在的問題，具有一些創新觀點。
  6. However, the basic definition analysis here is not to attempt to master the definition focus by paraphrasing the detailed content, but to give all the basic meaning analysis in chinese language toward those specific words and element by breaking “ imagined joint offence ”, the terminology of criminal law and the orientation of the legal theory so as to achieve the cognizance of the imagined joint offence and make a conclusion : “ imagined joint offence ”, not like “ imagined jointer of offence ” or “ formal jointer of offence ” to display the characteristics of this criminal pattern better 。 the second part is the analysis on quantity of crime in the nature of imagined joint offence

    在此基礎上，立足於服務刑事司法實踐，對想象競合犯的構成特徵進行了抽象和概括，並對各構成特徵中所包含的相關問題進行了探討，期望以此來完成對想象競合犯的粗線條的勾勒，為想象競合犯的具體認定提供相對直觀的判斷標準，促進相關個案的公正解決，推動罪刑法定原則和罪責刑相適應原則在我國刑事司法實務中的貫徹落實。
  7. Firstly, wscg ( web service composition graph ) model, a model for web service composition, is proposed, which consists of visual presentation model and executable model. according to this model, the interactions and execution sequences among web services are characterized by wscg nodes and edges and their attributes. based on attributed graph theory, we give the formal definition of wscg model

    本文首先提出了一個基於屬性圖理論的web服務復合模型? ? wscg模型，改進了現有web服務復合模型在可視化表示能力和執行語義的確定性等方面的不足；模型包括web服務復合的可視化表示模型和執行模型兩個方面。
  8. According to the consequence of the study by the preliminary questionnaire, we improve the theory and frame of emotional intelligence of college students, work out the formal scale of emotional intelligence of college students, which includes self - report sub - scale and task sub - scale, and probe into the characteristics of emotional intelligence of college students with the formal scale

    根據用初測量表測定的結果，修訂了大學生情緒智力的理論結構和初測量表，形成了包括自陳式分量表和任務完成式分量表的正式的大學生情緒智力量表，並用該正式量表調查了大學生情緒智力的特點。
  9. It has also played an important role in the practice, which makes it necessary for such units as presses, libraries and information centers to provide services with publications. according to this theory, people divided the science information communication into two processes, the formal one and the informal one

    該理論對實踐的作用也是巨大的，使藉助于科學文獻提供服務的單位，包括編輯、出版、印刷、發行單位和圖書館、情報中心等單位一直在科學情報交流系統中占據著不可替代的位置。
  10. Formal language theory

    形式語言理論
  11. The author applies the theory of informal organizations into the management practice of college students ' organization, analyzes their types, characteristics, and their influence on formal organizations, and then puts forward some suggestions of how the informal organizations play an active role in students ' affairs and how to restrict their negative aspects

    本文將非正式組織理論運用於高校組織的管理實踐，分析了大學生非正式組織的類型、特徵和對正式組織的影響，並最終提出了發揮非正式組織在學生工作中的積極作用，控制其消極作用的教育管理對策。
  12. In this paper, the author provide some theory research results, as following : protocol testing contents ; protocol testing methods ; the application of " formal technology " in networking testing and so on. besides these, author research and develop the testing tool of " activetester ", which not only includes all functions of traditional testing tools, but also have the function of sending packages. it can send all types packages, for instance, mac packet, ip packet, icmp packet, igmp packet, arp packet and so on

    為了科學地進行主動性測試，作者對協議測試理論進行了必要的補充，提出了自己的觀點，如協議測試研究的內容、協議測試的方法、形式化技術在協議測試中的應用等；同時為了便於測試人員掌握、使用主動性測試技術，作者研發了報文發送、偵聽、分析工具? activetester ，它除了具備傳統網路工具（如， sniffer ）所具有的報文偵聽、流量統計分析功能外，增加了報文發送功能，可以發送mac數據幀、 ip報文、 icmp報文、 igmp報文、 arp報文等，在此基礎上還可測量網路整體的吞吐量，響應時間，故障定位，協議一致性測試等。
  13. This book addresses fundamental issues in linguistic theory, including the relation between formal and cognitive approaches, the autonomy of syntax, the content of universal grammar, and the value of generative and functional approaches to grammar

    這本書的地址根本問題，在語言學理論，包括關系正式與認知方式，自主性的語法，內容普遍語法，和價值的生成和功能的方法語法。
  14. In this paper, taken quadrilateral socket as an example it is introduced the main function of the prosthetic in socket / residual limb system, analyzed the design theory of different wall of the prosthetic socket. it is discussed the relationship of the trans - formal prosthetic and the movement of the body weight and pointed out the main supporting area of the body in different phase of gait cycle

    本論文以四邊形接受腔為例論述大腿假肢在接受腔殘肢系統中的作用，分析了接受腔各壁的設計理論，討論了理論上步態周期各階段大腿假肢與人體重心移動之間的關系以及殘肢各部分的受力情況，並指出各階段的主要承載區。
  15. Base on modern organization theory, this paper divides the innovation network into two types : informal innovation network and formal innovation network

    本文基於現代組織理論，把創新網路分為正式創新網路和非正式創新網路兩種形態。
  16. People have paid more attention to the formal process than to the informal process ever since then. but the thriving of network publishing is challenging the core of this theory

    隨著網路出版的興起，該理論的核心內容? ?關于科學交流的正式過程和非正式過程的劃分，以及重正式過程、輕非正式過程的觀點都受到了前所未有的挑戰。
  17. For above problems, i design boole process - based algorithm. for example, hazards finding theory work out a formal method of finding hazards by waveforms computing ; waveforms increasing algorithm settle the defect of boole process in feedback cycle treatment ; false paths discerning algorithm can delete useless nodes in netlist effectively ; inertia conflict eliminating method describes the state of nodes truelier and reduces computing

    其中，冒險檢測定理給出了通過波形運算檢測電路中冒險現象的哈爾濱工程大學碩士學位論文形式化方法;波形遞增演算法解決了boole過程在處理電路中反饋環問題上的缺陷;偽路徑識別演算法能夠有效地去除電路網表中的無用節點;而慣性沖突消除法能使對節點狀態的描述更加真實，並減少了計算量。
  18. According to the philosophical hermeneutics, while declaration of intention is understood and interpreted, its legal effect also is gained. so hermeneutics of declaration of intention, which concerns about no formal practical reasoning, embodies the essential character of the reasoning theory of civil law

    由於私法自治要求法律效果直接根據法律行為發生，而融理解、解釋與應用於一體的意思表示解釋過程同時亦為意思表示之法律效果顯現過程，故意思表示解釋理論足以取代司法三段論，成為私法推理理論模型。
  19. The classical congestion control algorithms for binary abr service mainly based on heuristics and do not have a formal theory to support them, thus they have two drawbacks. one is that the queue length and allowed cell rate ( acr ) oscillate with great amplitude, the other is that the control performance is not as good as we had expected in networks with a long bandwidth delay

    但是，傳統的二進制abr業務擁塞控制機制大多基於啟發式法則而沒有正式的理論支持，所以這些方法存在兩個不足，一是隊列長度和源端允許信元速率呈現振蕩性；二是在具有大的帶寬時延乘積的網路中，控制效果不佳。
  20. The main drawback of classic congestion control algorithms for abr service is that they are based on heuristics that do not have a formal theory to back them and / or depend on a number of measurements that are either difficult to perform, or have a significant amount of noise in their estimates

    傳統的abr業務擁塞控制方案基於啟發式法則而沒有正式的理論支持，並且依靠一系列的測量值，這些測量值要不是很難測量就是在估計時參生顯著的噪聲。
分享友人
分享到 Line

分享到臉書