Murphi入门（二）—— 可达集范例讲解（1） 发表于 2017-02-21 更新于 2024-06-22 分类于 Formal Method 阅读次数： 本文内容： 通过简单例子分析murphi代码执行状态 可达集概念分析 分析murphi如何求出可达集 阅读全文 »
Murphi入门（一）——安装配置 发表于 2017-02-19 更新于 2024-06-22 分类于 Formal Method 阅读次数： 该博文将讲述以下两个方面： Murphi安装、配置、运行 讲解一个Murphi范例：pingpong 阅读全文 »
现代信息检索的考点整理 发表于 2016-11-12 更新于 2024-06-22 分类于 Basic 阅读次数： 本章总结《信息检索导论》（王斌 译）的考点 希望大家考出好成绩呀～ 如果没写的章节，说明考试不考（如果考了的话就gg了 = = |||） 阅读全文 »
学术论文写作 之 Introduction部分 发表于 2016-11-09 更新于 2024-06-22 分类于 Research 阅读次数： 该文将介绍学术论文的 Introduction部分的写作方式，包括： 逻辑思路 重点提示 其他注意事项 阅读全文 »
学术论文写作 之 Related Work部分 发表于 2016-11-09 更新于 2024-06-22 分类于 Research 阅读次数： 该文将介绍学术论文的 Introduction部分的写作方式，包括： 逻辑思路 重点提示 其他注意事项 阅读全文 »