This paper describes the current state of research on parallelism of logic programs and the ways of parallel execution of logic programs.
本文概述了逻辑程序并行性研究的状况和逻辑程序的并行处理方式。
After analysing the current state of research about the reliability design for rock structures, it gives the confronted problems and the measure of solving them.
分析了岩体结构的可靠性设计的研究现状,提出了面临的问题和相应的措施。
Current research state and the existing problems of the karst spring are discussed in this paper.
介绍了近几十年来岩溶泉水的国内外研究现状与进展。
应用推荐