随笔 - 433  文章 - 0 评论 - 2 阅读 - 26万

随笔分类 -  论文

invocable vs invokable vs invoke
摘要:invokable是计算机专用词汇。 两个词函数库中都有用的:动词用invoke,形容词两个都有用。 c++:std::invocable,std::invoke JAVA:import javax.script.Invocable; 参考: https://wikidiff.com/invokab 阅读全文
posted @ 2022-06-01 22:56 西伯尔 阅读(70) 评论(0) 推荐(0) 编辑
如何查h-index
摘要:H-index,又称为h指数或h因子(h-factor),是一种评价学术成就的方法。 h代表“高引用次数”(high citations),一名科研人员的h指数是指他至多有h篇论文分别被引用了至少h次。h指数能够比较准确地反映一个人的学术成就。一个人的h指数越高,则表明他的论文影响力越大。 Goog 阅读全文
posted @ 2022-05-30 01:05 西伯尔 阅读(9160) 评论(0) 推荐(0) 编辑
形式化验证会议和期刊
摘要:形式化会议 SEFM:Software Engineering and Formal Methods 程序语言、软件工程 TOPLAS : ACM Transactions on Programming Langauge and Sysmtem JFP: Journal of Functional 阅读全文
posted @ 2022-05-29 16:56 西伯尔 阅读(400) 评论(0) 推荐(0) 编辑
毕设(五十)格式设置
摘要:本教程仅针对word2010版本。 1、页眉设置 (1)如何偶数页为章序及章标题? 章序:勾选“插入段落编号” 章标题:不勾选。 以上分别插入。 参考:https://blog.csdn.net/weixin_42505830/article/details/90452849 (2)如何设置从哪页开 阅读全文
posted @ 2022-04-04 19:10 西伯尔 阅读(330) 评论(0) 推荐(0) 编辑
毕设(十二)Linux内核形式化验证论文
摘要:##目的 目的1:看看一篇论文怎么写,绪论含那些内容?研究方法是什么? 《基于模型的软件需求验证方法研究》 目的2:看看有没有和你的研究接近的,解决你的问题 Linux内核验证? 需求验证? Linux需求性质如何表示?都有哪些表示方法,你用的是哪种? 模块级验证? Linux内核,都有哪些模块级别 阅读全文
posted @ 2022-03-26 00:18 西伯尔 阅读(202) 评论(0) 推荐(0) 编辑
毕设(十一)高阶类型理论
摘要:高阶逻辑和高阶类型 高阶类型带来了什么: https://blog.csdn.net/weixin_34393428/article/details/88731183 阅读全文
posted @ 2022-03-24 05:50 西伯尔 阅读(25) 评论(0) 推荐(0) 编辑
毕设(十)CFlow工具相关
摘要:1、以“__”开头的函数名被忽略 __get_free_pages被忽略掉:估计是当成宏了吧?第一层确实是宏,深入进去就是函数了。【问王梓怎么处理??】 set_ready_protocol() <void *set_ready_protocol (void) at protocol.c:5>:中的 阅读全文
posted @ 2022-03-06 18:15 西伯尔 阅读(35) 评论(0) 推荐(0) 编辑
毕设(九)C语言语法问题
摘要:1、static inline,是不是等于static呢?? 2、#define vs typedef #define 新 源 typedef 源 新 3、声明 vs 定义 声明可以多次,定义只有一次。函数和变量情况不同。 //针对变量时:除非有extern关键字,否则都是变量的定义。 extern 阅读全文
posted @ 2022-03-06 18:15 西伯尔 阅读(57) 评论(0) 推荐(0) 编辑
毕设(八)难点
摘要:难点:下面几个都不是真正的核心,但也是拦路虎。虽然可以靠人工,但是,真的好麻烦。 1、子类型:void* 实现泛型。【大概率不干】 【C语言唯一实现泛型的方式,就是void * 空指针,就是不限类型,如果参数是void * ,那么就可以传入任意指针类型!】 还得考虑指针,不能直接忽略了!! (1)可 阅读全文
posted @ 2022-03-06 17:47 西伯尔 阅读(101) 评论(0) 推荐(0) 编辑
毕设(七)工具类
摘要:##1、文件 ###(1)按行读取txt文件 /** * 功能: * Java读取“函数调用txt文件”(eg:ring_file_publish.txt)的内容, * 返回调用关系(exp=“f1;f2”)的列表。 * * 步骤: * 1:先获得文件句柄 * 2:获得文件句柄当做是输入一个字节码流 阅读全文
posted @ 2022-03-06 02:13 西伯尔 阅读(32) 评论(0) 推荐(0) 编辑
毕设(六)逻辑学
摘要:命题逻辑系统 命题逻辑系统有很多种,比如公理化系统、自然推理系统、sequent系统等。 一些基础 联结词 命题推理系统包括联结词和命题。 联结词:并非、并且、或者、如果那么、当且仅当。分别用符号﹁、∧、∨、→、↔表示。 其中﹁和→是基本联结词,∧、∨、↔都用它们来定义。 命题:也用字母符号表示。 阅读全文
posted @ 2022-03-03 10:23 西伯尔 阅读(1292) 评论(0) 推荐(0) 编辑
毕设(五)形式化术语
摘要:call vs Invoke invoke调用函数可以把参数写在函数名的后面,就像c中那样 call调用函数之前需要把参数压入堆栈,比invoke要多写几行push语句 参考: https://bbs.csdn.net/topics/233487 https://www.cnblogs.com/yl 阅读全文
posted @ 2022-03-03 02:56 西伯尔 阅读(179) 评论(0) 推荐(0) 编辑
毕设(四)内核形式化验证
摘要:1、模型检查 建立内核的抽象模型 给出内核的行为规范 采用工具进行全自动化地检查 2、定理证明(基于定理证明的程序验证) 用逻辑公式定义内核编程语言的语义 用逻辑公式定义内核的行为规范 采用工具进行半自动地证明 【模型检查和定理证明到底怎么操作,我的工作更偏向哪种,有时间跟王博士探讨下】 阅读全文
posted @ 2022-03-01 11:10 西伯尔 阅读(43) 评论(0) 推荐(0) 编辑
毕设(二)静态类型
摘要:文:《Python外部函数的静态类型推断》 1、静态类型语言 vs 动态类型语言 (1)动态类型语言(Dynamically Typed Language) 动态类型在解释语言中极为普遍,如 Go、JavaScript、Perl、Python、Ruby 等等。 所谓动态类型语言,就是类型的检查是在运 阅读全文
posted @ 2022-02-18 02:02 西伯尔 阅读(44) 评论(0) 推荐(0) 编辑
毕设(三)形式化证明相关
摘要:涉及的形式化概念 1、函数式语言中的类型 在典型的函数式语言类型系统(以ML和Haskell为代表)中,除基本数据类型(整数、逻辑真值、浮点数等)和简单的复合数据类型(如数组、n元组和记录)外,还存在函数类型、归纳定义的数据类型(或称代数数据类型)等类型,以及参数化多态性、函子(functor)、单 阅读全文
posted @ 2022-02-16 23:05 西伯尔 阅读(581) 评论(0) 推荐(0) 编辑
读论文步骤
摘要:一、注意事项 1.论文搜集和编录,并行阅读 『Excel在读文章列表』:论文名称,进度(第几遍,百分比)。不可或缺。通常针对一个问题我们会找到十几篇甚至几十篇来阅读,花些时间做好准备工作,可以让后期阅读更有效率。文献不是一篇接着一篇读的,而是多篇并行。举例来说,可以先从一堆文献中挑出五篇,快速浏览一 阅读全文
posted @ 2020-07-24 16:28 西伯尔 阅读(472) 评论(0) 推荐(0) 编辑
人工智能会议
摘要:1.The First Class(tier-1) IJCAI (1+):1.82 (top 4.09 %) ,AI最好的综合性会议 AAAI (1):1.49 (top 9.17%),偶数年里因为没有IJCAI, 它就是最好的AI综合性会议, 但因为号召力毕竟比IJCAI要小一些, 特别是欧洲人捧 阅读全文
posted @ 2020-05-10 16:33 西伯尔 阅读(250) 评论(0) 推荐(0) 编辑
论文搜索与下载
摘要:1.如何快速下载一篇文献内所有的参考文献? 利用Mendeley+Endnote。此处使用Mendeley 步骤: (1)下载安装文献管理/阅读/笔记软件Mendeley; (2)下载Mendeley应用插件,安装在谷歌/搜狗等浏览器上,登录Mendeley账号(显示登录Elsevier,实际上是M 阅读全文
posted @ 2020-04-27 14:58 西伯尔 阅读(522) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示