meta-systems 中文意思是什麼
-
In this model, the information sub - model reveals some abstract facets in general systems, which can be reified by means of reflection, the representation sub - model decides how to represent the meta - information, while the controlling sub - model consists of some key elements to manipulate meta - level system, such as : meta - object protocol declaration, meta - object association and management
其中，信息子模型指示出系統中可以通過反省揭示的抽象內容；表示子模型處理元信息的表達問題；控制子模型則包括元對象協議聲明、元對象關聯和管理等操縱元級系統的重要方法。 -
These file systems rely on restart - time utilities that is, fsck, which examine all of the file system s meta - data such as directories and disk addressing structures to detect and repair structural integrity problems
這些文件系統依靠重啟實用程序（也就是fsck ） ， fsck檢查文件系統的所有元數據（例如：目錄和磁盤尋址結構）以檢測和修復結構完整性問題。 -
Ijcai - 77, 1977, pp. 1045 - 1058. 20 johnson m, dampney c n g. on category theory as a meta ontology for information systems research. in proc
對象間態射的缺失意味著知識內部結構性的缺失，從而產生了對各種知識不完備性以及不完備知識完備化的范疇論意義上的研究。 -
Also, tckm will support the development and execution of km systems with high performance from two dimensions : constructing shared understanding foundation, promoting the open evolution of om ( organization memory ), and in two levels : knowledge process and knowledge meta - process
並從兩維：構建共享的理解基礎、促進om （組織記憶）的開放性進化；分二個層次：知識過程和知識元過程，支持高性能km系統的開發和運行。 -
Weakly terminating property in a restricted domain of a term rewriting system, one with structural induction, one with cover - set induction, and the third without induction, and describes their mechanization based on a meta - computation model for term rewriting systems - dynamic term rewriting calculus
基於覆蓋集合歸納法的項重寫系統弱基終止性證明的機械化論文提出一種關於一般化了的項重寫系統弱基終止性，即，在特定領域的項重寫系統弱終止性的形式自動證明方法。 -
In terms of performance, this compares well with many non - journaling file systems that rely upon multiple careful synchronous meta - data writes for consistency
）在性能方面，與依賴（多個）謹慎的同步元數據寫操作以獲得一致性的許多非日誌文件系統相比，這種方法較好。 -
Not only does pe provide important principle foundation for program optimization, compilation, interpretation, software automation, and program generation, and more convenient avenue for the research of programming language properties, but plays a vital role in scientific computing, logic reasoning, and construction of meta - languages and expert systems as well
本文所作的工作之一是設計並實現了snl語言的部分求值器。目的在於建立一個可供進一步程序分析相關研究的部分求值器模型。本文給出了一個snl語言的部分求值方法及其形式化描述，並實現了使用該方法的部分求值器。 -
It tracks user ' s entire searching process, collect information that could be used to determine his related characters and understand his search target better. ( 3 ) through the comparison of different result binding methods of meta - search systems, we recommended the combination of clustering with other techniques. a suitable algorithm for on line meta - search result clustering was also suggested
（ 3 ）分析了元搜索引擎對查詢代理返回的結果進行處理的基本狀況及方法，提出了採用結果聚類與其它處理方式相結合的方法；並在對幾種有代表性的文檔聚類演算法進行比較后論述了stc演算法在處理元搜索引擎搜索結果在線聚類問題時的優勢。 -
Only by a technology shift to journaling could these file systems avoid the time - consuming process of examining all of a file system s meta - data to verify restore the file system to a consistent state
只有通過轉移到日誌技術，這些文件系統才能避免需要檢查文件系統的所有元數據才能驗證文件系統或將其恢復到一致狀態這一耗時的過程。
分享友人