缓存策略优化的数学模型和形式化方法
Mathematical Models and Formal Approaches for Caching Strategies Optimisation
摘要：
缓存策略的优化提出了一个正式的方法，使我们能够更有效地利用两级计算机内存。这种方法是基于一组数学模型和一组定理，允许分析确定的最佳缓存策略的操作特性，从而最大限度地减少时间损失所造成的最优策略搜索。
英文摘要：
An optimization of caching strategies is proposed as a formal approach allowing us a more efficient use of two-level computer memory. This approach is based on a set of mathematical models and a set of theorems, permitting analytical determination of optimal caching strategy operating characteristics, thus minimising time loss caused by optimal strategy search.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
