现代计算机2022，Vol.28Issue(15) ：67-71.DOI:10.3969/j.issn.1007-1423.2022.15.011

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

Formal Research on Web Search Engine Based on SDL

刘业 吴建平
现代计算机2022，Vol.28Issue(15) ：67-71.DOI:10.3969/j.issn.1007-1423.2022.15.011
✕
  • NETL
  • NSTL
  • 维普
  • 万方数据

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

Formal Research on Web Search Engine Based on SDL

刘业 1吴建平1
扫码查看

作者信息

  • 1. 苏州市职业大学计算机工程学院,苏州 215104
  • 折叠

摘要

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

关键词

搜索引擎/形式化/SDL

引用本文复制引用

出版年

2022
现代计算机
中大控股

现代计算机

影响因子：0.292
ISSN：1007-1423
参考文献量4
段落导航相关论文