page-replacement algorithm and control logic 页面置换算法与控制逻辑
Fine-grained components are more numerous and are used to organize the implementation of logic in a system, often implementing a detailed technical algorithm.
细粒度组件数量更多，用于组织系统中逻辑的实现，通常实现详细的技术算法。
Rough set-based method of combinatory logic optimization was presented by using knowledge expression of logic function with rough set theory, and its corresponding algorithm was given, also.
运用粗集理论对逻辑函数进行知识表达的方法，提出了基于粗糙集的组合逻辑优化方法，并给出了相应的算法。
In this paper, the syntax, semantic, inference problem and inference algorithm about SHIQ from the point view of logic were introduced.
该文从逻辑的角度介绍了SHIQ的语法、语义、推理问题和推理算法。
应用推荐