formalization,英語單詞,主要用作名詞,作名詞時譯為“形式化;禮儀化”。
基本介紹
- 外文名:formalization
- 詞性:名詞
- 英式發音:[ˌfɔːməlaɪˈzeɪʃn]
- 美式發音:[ˌfɔːrmələˈzeɪʃn]

formalization,英語單詞,主要用作名詞,作名詞時譯為“形式化;禮儀化”。
名詞化:formalization(形式化過程)套用領域 計算機科學在OWL+Dublin Core標準中用於元數據描述,類型系統構建時形式化協定定義。設計模式研究通過該詞指代形式化過程。數學建模涉及仿真模型的形式化表達,如反射概念的精確定義,自由變數擴展的形式化處理。社會學套用描述組織結構演化,如"formalization of cooperation ...
Proof, Logic and Formalization 《Proof, Logic and Formalization》是一本圖書,作者是Detlefsen, Michael
組織依靠規則和程式引導員工行為的程度就是正規化(Formalization),有些組織僅以很少的這種規範準則運作,另一些組織,有些規模還很小,卻具有各種的規定指示員工可以做什麼和不可以做什麼。一個組織使用的規章條例越多,其組織結構就越正規化。集權化(Centralization)考慮決策制定權力的分布。在一些組織中,決策是高度...
Formalization Decentralization Complexity In Practice 5.2; United Parcel Service Personnel Ratios Bureaucracy in a Changing World Organizational Life Cycle Stages of Life Cycle Development Book Mark 5.0: The Self-Defeating Organization: How Smart Companies Can Stop Outsmarting Themselves In Practice 5.2...
formalization stage 規範化階段 functional grouping 職能組合 formal channel of communication 正式溝通渠道 G game theory博弈論 general financial condition 一般財務狀況 geocentric manager 全球化管理者 general manager總經理 globalization 全球化 gossip chain 傳言鏈 grapevine 傳言網 global strategic partnership 全球...
mathematization,英語單詞,主要用作名詞,作名詞時譯為“數學化;數學處理”。短語搭配 rational mathematization 合理數學化 Design mathematization 設計數學化 ability of mathematization 數學化能力 mathematization and formalization 數學化和形式化 mathematization of science 科學的數學化 Mathematization of nature ...
7 The formalization of sentence-meaning 7.0 Introduction 7.1 Formal semantics and linguistic semantics 7.2 Compositionality, grammatical and semantic isomorphism, and saving the appearances 7.3 Deep structure and semantic representations 7.4 Projection-rules and selection-restrictions 7.5 Montague ...
[5] Wanling Xie, Huibiao Zhu, Min Zhang, Gang Lu, Yucheng Fang. Formalization and Verification of Mobile Systems Calculus Using the Rewriting Engine Maude. Proc. COMPSAC 2018: 42nd Annual Computer Software and Applications Conference. IEEE Computer Society.Tokyo, Japan, 2018.[6]Wanling Xie, Hui...
1999,Formalization and Informalization of Law:On the Strategy of Legal Development in China,《法哲學與法社會學論叢》(二);1998,關於法律和全球化的幾個問題,《法學》(3);1998,法律和全球化的理論啟迪,《檢察日報》7月20日第3版;1998,關於比較法社會學的對話,合著,《比較法研究》(1);1...
A formalization of the de-facto standard XMLHttpRequest object, the centerpiece of Ajax communication. 事實標準XMLHttpRequest對象的正式化,它是Ajax通信的核心。Punch already had satirical drawings that were a centerpiece of the magazine but they weren't called cartoons. 《笨拙》曾經在雜誌的顯要位置...
[5] Cheng Cheng, Zhenling Xu, Jia Lu, Formalization of 3D Interaction Oriented Object Model Construction, VRIC’09 (Virtual Reality International Conference 2009),22 -24, April, 2009.[6] Cheng Cheng, Feixiang Lan, Danjie Chen, On The Way toward Virtual Assembly Planning, Proceeding of ...
2.Weng, L.,2017. Artisanal and small-scale Mining in Cameroon: Asian Actors and Formalization Processes.Submission to the special issue of The Geography Journal.SSCI收錄,ISSN: 0894-1920.Weng, L.,Endamana, D., Boedhihartono, A. K., Levang, P., Margules, C. R., & Sayer, J. A., ...
l.9 Formalization of System Design 42 l.10 Design Process and Design Examples 43 l.ll Classification of Embedded Systems 52 1. 12 Skills Required for an Embedded System Designer 53 2. 8051 and Advanced Processor Architectures, Memory Organization alld Real-world lllterfacing 61 2.1 8051 ...
[2] Zhengwei Qi, Jinyuan You. Formalization of P Systems by Maude. Journal of Shanghai Jiao Tong University (English), 2005, 10(3): 260-264.[3] Mingyuan Xia, Miao Yu, Zhengwei Qi, and Haibing Guan. Joan: Shepherd Application Privacy with Virtualized Special Purpose Memory. Poster for ...
15. Y. Liu. A Formalization of Program Debugging in the Situation Calculus. InProceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI-08), pages 486-491, 2008.16. Y. Liu and G. Lakemeyer. On the expressiveness of Levesque's normal form. Journal of Artificial ...
[14].WEI Zelong, YI Yaqun, YUAN, Changhong. Bottom up learning, organizational formalization and ambidextrous innovation. Journal of organizational change management. 2011 [15].WU Yong, WEI Zelong, Liang Qiaozhuan. Top management team diversity and strategic change: the moderating effects of pay ...
[6]Yuan T, Tang Y, Wu X,Zhang Y, Zhu H, Guo J. Formalization and Verification of REST on HTTP Using CSP.Electron Notes Theor Comput Sci. 2014;309(0):75-93. (EI)[7]章玥,郭建,朱曉冉.基於模型的開發方法在多套用智慧卡中的套用[J].信息
Xuansong Li, Xianping Tao and Jian Lu. Programming Method and Formalization for Activity-Oriented Context-Aware Applications, Ubiquitous Intelligence and Computing (UIC), 2015, pp. 174-181.Xuansong Li, Xianping Tao and Jian Lu. Improving the Quality of Context-Aware Applications: An Activity-...
of plastics, ceramics and composite materials, has required additional text and rewriting in many chapters. Also, since the second edition, there has been a marked growth in the availability of materials databases and in computerized materials selectors. Thus Chapter 14, on the formalization of ...
12.4 Subject-Oriented Knowledge Formalization References 13 Economic View and Performance Modeling 13.1 Introduction to Economic View and Performance Modeling.13.2 Framework of Economic View 13.3 Enterprise Information System Project Selection 13.3.1 Decision Method 13.3.2 Decision Modeling 13.3.3 ...
theory and offers a collection of original and innovative essays by leading scholars, many of whom have shaped the theory from the very beginning. The edition unites essays on major issues in recent research on image-schemas - from aspects of their definition and linguistic formalization, their ...
· Hu Liu, Xuefeng Wen. (2013). On formalization of causation on constant conjunction theory. Review of Symbolic Logic, 6(1): 160-181.· Xuefeng Wen, Hu Liu, Fan Huang. (2011). An alternative logic for knowability. In Proceedings of the 3rd Workshop on Logic, Rationality and ...
(8) Formalization of the Fundamental Group in Untyped Set Theory Using Auto2, Interactive Theorem Proving, 2017, 第 1 作者 (9) Auto2, A Saturation-Based Heuristic Prover for Higher-Order Logic, Interactive Theorem Proving, 2016, 第 1 作者 科研項目 ( 1 ) ***C類, 主持, 部委級, 201...
[93]Jiang,Baoqing;Chen,Zhiguo;Zheng,Fengbin.Aformalizationoffuzzyconcept.ProceedingsoftheIEEEInternationalConferenceonSystems,ManandCyberneticsv22002.p182-184(EINumber:EIP03177449768).[94]SongZhen-ming,ZhengFeng-bin,OnInjectiveLatticeImplicationAlgebra.ChineseQuarterlyJournalOfMathematics,Vol.15,NO.1,2000年3月...
