基于SDL的网络搜索引擎系统的形式化研究

扫码查看

原文链接

NETL
NSTL
万方数据
维普

中文摘要：搜索引擎是当今热门的计算机研究及应用领域.以Yahoo为主的开放式目录搜索和以百度、Google为主的全文搜索都是顺应Internet快速发展的用户需求而诞生的技术.SDL作为一种形式化语言,一般被应用于网络协议和通讯系统软件开发,而用SDL来描述纯粹性的计算机软件项目还不多见,本文通过SDL来对全文搜索引擎系统进行形式化建模和分析,从而以一种全新的角度来分析搜索引擎系统.

外文标题：Formal Research on Web Search Engine Based on SDL

作者：

刘业、吴建平

展开 >

作者单位：

苏州市职业大学计算机工程学院,苏州 215104

关键词：

搜索引擎形式化 SDL

出版年：

2022

DOI：

10.3969/j.issn.1007-1423.2022.15.011