formalizing 中文意思是什麼
formalizing
解釋
縮甲醛化-
Formalizing pki interoperability trust models with trust logic
互通信任模型形式化 -
4 scope verification ? formalizing acceptance of the project scope
范圍核實正式接受項目范圍。 -
The formalizing system of entrepreneur professionalization in our country
我國企業家職業化形成機制 -
You will save some work by reference to material in the target format s documentation or data dictionaries, but if anything, you should take more care in formalizing the semantics of your modifications and extensions
參考目標格式文檔或者數據詞典中的資料可以省不少力，但是如果有什麼變化的話，則需要更加註意形式化所作修改和擴展的語義。 -
Process modeling, which d efines accurately business process of enterprise by formalizing language to analyzing and optimizing process, is the important fundament to business process analyzing and business process reengineering
而過程建模是經營過程分析與經營過程重組的重要基礎。它用計算機可以理解和處理的形式化定義準確地描述企業的經營過程，供流程分析和優化使用。 -
This paper formalizes analysis patterns with raise. after analyzing static structure diagram, present a definite specification by raise language and analysis patterns " formal specifications. the formalizing is a foundation of reusing analysis patterns efficiency and automated tools
在對分析模式的靜態結構圖進行分析后，給出使用raise規約語言的描述定義，並對具體的分析模式進行形式化描述，為有效復用分析模式提供有力的保障基礎，為分析模式的自動工具支持提供基礎。 -
Basing on the thorough research and analysis of several essential technologies, we have implemented identity authentication, illegal link, network security aduit and anti - virus detection etc. we used digital certificate to accomplish identity authentication which was based on the study and analyzing of all kinds of authentication. in regard to network security audit, we mainly researched on the distributed model of network security audit and the audit strategy of the rule library. in view of the traditional rule library ’ s flaws, with the formalizing description of audit rule, we proposed a dynamic security audit strategy model which was based on the nature deduction system
在研究並分析各種認證技術的基礎上，採用基於數字證書的認證方式，實現用戶上網資格審查;針對網路安全審計，重點研究了網路安全審計分散式模型以及基於規則庫的審計策略，並針對傳統審計規則庫的缺陷，通過對審計規則進行形式化描述，提出了一種基於自然演繹系統架構的動態安全審計策略模型dsasm （ dynamicsecurityauditstrategymodel ） ，並詳細論述了該模型的定義和推演演算法;通過深入研究非法外聯的關鍵技術和檢測模型，提出了基於路由表查找的c / s架構的非法外聯檢測模型;針對病毒檢測，提出了基於主機的防病毒檢測思想，在客戶端進行病毒防護。 -
The formal semantics of sql is the theoritical foundation of query rewriting, but there is no satisfying method to translate sql into a canonical form. in this paper, we propose a better formalizing method for sql which is more succinct
Sql的形式語義是查詢重寫研究的理論基礎，本文在前人工作的基礎上，提出了一種更加完善的形式化方法，不但消除了以往形式化方法的部分不足，而且從形式上也更為簡潔、直觀。 -
With the rich protocol descriptions that we ' re getting to connect machines across the internet, so - called web services, we ' re now formalizing the idea of the boundaries between two pieces of software in a much better way
藉由我們正在開始的富有記錄描述連接機器橫過英特網，所謂的網路服務，我們現在正在以一好多了方式使正式在二個軟體之間的邊界主意。 -
Developers find the component diagram useful because it provides them with a high - level, architectural view of the system that they will be building, which helps developers begin formalizing a roadmap for the implementation, and make decisions about task assignments and or needed skill enhancements
開發者發現組件圖是有用的，因為組件圖給他們提供了將要建立的系統的高層次的架構視圖，這將幫助開發者開始建立實現的路標，並決定關于任務分配及（或）增進需求技能。 -
The prototype system captures data packets with ndis technique of windows, and it realizes data packets collecting with inference machine after formalizing the packet filtering rules
該原型系統採用windows的ndis技術截獲數據包，將包過濾規則形式化后，利用推理機實現了數據包的採集。 -
Spatial data model is formalized according to partial order relationship, equivalence relationship and simplicial complex theory. a formalizing two - tuple ( m, f ) multi - resolution spatial data model is presented. based on the jarno peschie algorithms, an improved algorithm of road network map generalization is developed
應用偏序關系、等價關系和單純復形理論，初步研究了多解析度空間數據模型形式化表達方法，提出了一個二元組形式化多解析度空間數據模型。 -
In sum, the trend of opening with various directions, numerous levels, divergent channels and all kinds of characteristics has already been formalizing
可以說，一個我國全方位、多層次、多渠道和各具特點的對外開放格局已經基本形成。
分享友人