formal source 中文意思是什麼

formal source 解釋
正式淵源
  • formal : adj 1 正式的。2 禮節上的,儀式上的;鄭重其事的。3 形態的,外形的;形式上的;拘泥形式的,刻板的。4...
  • source : n 1 源頭,水源,源泉。2 根源,本源;來源。3 原因;出處;原始資料。4 提供消息的人。5 血統。vt 〈美...
  1. Then basing the empirical formal proposed by weng burning, a method for reckon the average flux of energy transfer from ground surface to the air of a day according albedo and terrain parameters was put forwarded. it is considered that the flux is a proper index to decide if the area is a hot source or a cold source

    然後,在翁篤鳴等提出的有關半經驗公式的基礎上,提出了根據反照率和地形參數計算高原地面向大氣輸送能量的日平均通量的演算法,並以此作為判定冷熱源的標準。
  2. Formal source of law

    法的形式淵源
  3. The privy council was formerly the chief source of executive power in the state and give private advice to the king. so the privy council was also called the king ’ s council in history. today its role is largely formal, advising the sovereign to approve certain government decrees

    樞密院原來是政府行政權力的源泉,給君主提供「私人」建議。它在歷史上也稱為國王議會。今天它的主要作用是禮節性的,如建議君主批準政府的法令。
  4. Part ii, the source of the active obligation first of all, this section introduces the source of essence doctrine and formal doctrine in the sino - foreign criminal law theon " about the active obligation. based on the shape analyses of these formal and essence source, the source of the active obligation that the writer thinks ought to be the union of the formal and essence source, that is, on the one hand through probing into the norm kev element by form, the author thinks that the formal key element of the formal source is the following four sources : the statue source code is regulated demand in duties either the professional work the action before and the legal action. on the other hand, through the essence, the author probes the reasons of source and thinks that the essence key element is the doer " s exclusively controlling the legal right and interest confronted with pressing peril and depended on his action

    第二部分作為義務的發生根據首先,本部分介紹了中外刑法理論中關于作為義務的形式來源學說和實質來源學說。在分析了形式來源和實質來源的基礎上,筆者認為不作為犯罪作為義務的來源應當是形式來源和實質來源的統一,即:一方面從形式上探討其規范的要素,認為不作為犯的作為義務來源的形式要素即我國刑法理論關于作為義務來源的四來源說:法律明文規定、職務或業務上的要求、先行行為及法律行為四種;另一方面從實質上探討其存在根據,認為作為義務來源的實質要素是指行為人對處于緊急危險狀態的法益的危險程度加劇或危險向危害結果的現實性轉化具有排他性支配。
  5. His research concerns the development of formal semantic models of java, and extensions of java, both at the source and bytecode levels

    他的研究涉及java的正規語義模型和java語言的擴展,都是在源代碼和位元組碼的級別上的。
  6. His research concerns the development of formal semantic models and extensions of the java language, both at the source and bytecode levels

    他的研究涉及正規語義模型和java語言的擴展,都是在源代碼和位元組代碼的級別上的。
  7. Historically, there never was a formal source code management or revision control system for the linux kernel

    歷史上,從來沒有出現過用於linux內核的正式的源代碼管理或修正控制系統。
  8. The lack of formal revision control and source code management led many to suggest the use of a product called bitkeeper

    由於缺乏正式的修正控制器和源代碼管理工具,使得很多人提議使用一個名為bitkeeper的產品。
  9. She is the smart base of family education, the sound trunk of school education, the sprigtail accomplishment of social education ; the pure world of formal education, the living garden of informal education ; the sweet spring of general normal education and the running road of special education ; she makes elementary education carefree and perfect, middle education of outstanding disposition, high education with excellent taste ; she is learned, accomplished and practical, the source of aesthetic feeling for whole society and individuality

    因此,本館未來將以一有計畫、有系統、持續性的推動進程,致力於藝術教育的研發、試驗、推廣與輔導;除了協助政府部門及各級學校建構整體完整的藝術教育體系,策劃推動各種藝文教育措施,積極?整、研編各類藝術教育資料,俾發展成為藝術教育資源中心,並配合終身學習政策,將美育推廣普及於縣市城鄉社教機構與學校。
  10. Since the reference open source codes are written in float ansi c language, while the target processor just has the effort to cope with fixed point operation, a formal modeling method must be applied to developed a set of fixed point ansi c code, and transfer the dsp application developing procedure into a traditional way. the fixed point toolbox within matlab is adopted to play this role

    鑒于目標處理器只有定點處理能力,而ilbc演算法的參考實現源代碼是浮點ansic代碼集。總的實現方案採用了matlab定點工具箱作為建模的工具,通過建立了完整的演算法定點模型實現浮點到定點的轉換,並進一步開發出了定點ansic代碼集。
  11. Secondly, the writer determined the active obligation in formal source

    其次,筆者對作為義務的四大形式來源進行認定。
  12. Specific fund changes each other, or is origin each other changes, or is to take up formal each other changes, financing source and capital take up amount is fixed

    個別資金互相變化,要麼是來源互變,要麼是佔用形式互變,資金來源和資金佔用總額不變。
分享友人