High-level Petri Net(COMP201)

复(预)习过程中遇到Petri net,记录一下 Petri Net是一种系统模型。因为不确定哪个transition会先fire,所以它是非确定性的,通常被用于建立离散分布式系统。 ...

Created: 2023-01-11 · Updated: 2023-01-11 · 1 分钟 · Martin

Leetcode每日一题

将x减到0的最小操作数(1658) 给你一个整数数组 nums 和一个整数 x 。每一次操作时,你应当移除数组 nums 最左边或最右边的元素,然后从 x 中减去该元素的值。请注意,需要 修改 数组以供接下来的操作使用。 ...

Created: 2023-01-07 · Updated: 2024-03-02 · 8 分钟 · Martin

详解java中的几种hash

刷leetcode总能看见哈希表,对哈希表有大致的了解,但是一直不知道HashTable,HashMap和HashSet在Java中的区别。今天看到一个博主的文章再结合官方文档的学习,受益良多,记录一下。 ...

Created: 2023-01-01 · Updated: 2023-01-10 · 4 分钟 · Martin

低开高走的一年

低开的上半年 被疫情困在家中的半年,每天都幻想回到学校,甚至做梦都是回到学校见到朋友们。那段时间,经历了整天呆在家的自闭;经历了投简历没人理的难过;经历了在家赶due、复习和考试的折磨;经历了办护照的种种坎坷,不过好在,都挺过来了。不过也要感谢那段时间,我终于拿下了驾照,而且经常练习(基本解封之后是每天都开车,渐渐也不需要我妈在旁边陪我了,完全可以独立驾驶了),这可给我在暑假玩的生龙活虎做下了铺垫。终于在五月,我拿到了讯飞的offer,也算是第一份靠自己拿下的实习了,感觉看到了一些光,很兴奋,因为感觉很快能回到学校在暑假见到朋友们是很美好的事情。所以回想起来,2022年上半年没什么给我印象过于深刻的事情,比较平淡,甚至是有些乏味。 ...

Created: 2022-12-31 · Updated: 2022-12-31 · 3 分钟 · Martin

git版本控制

学了一个小技巧实现可以清晰地实现版本控制,记录一下 1. 列出标签 $ git tag v1.0 v2.0 也可以模糊查询(-l也可以写成–list) $ git tag -l "v1.8.5*" v1.8.5 v1.8.5-rc0 v1.8.5-rc1 v1.8.5-rc2 v1.8.5-rc3 v1.8.5.1 v1.8.5.2 v1.8.5.3 v1.8.5.4 v1.8.5.5 2. 创建标签 附注标签 $ git tag -a v1.4 -m "my version 1.4" $ git tag v0.1 v1.3 v1.4 git show指令可以查看对应的信息 ...

Created: 2022-12-30 · Updated: 2022-12-30 · 2 分钟 · Martin

Zotero快速上手

最近发现了一款巨好用的生成reference的神器——Zotero 首先进入官网👇(科学上网,速度更快) https://www.zotero.org/ 进入官网后点击Download会看到如下页面 ...

Created: 2022-12-30 · Updated: 2022-12-30 · 2 分钟 · Martin

荒诞与真理

大家都是幸运者,世界上只有幸运者。有朝一日,所有的其他人无一例外,都会被判死刑,他自己也会被判死刑,幸免不了。 这两天在赶due,总会心烦意乱,于是找到了《局外人》这本书,花了两天的空闲时间读完了这个哲学(?)著作。 ...

Created: 2022-12-16 · Updated: 2022-12-16 · 2 分钟 · Martin

代码上传至github

先在github建立一个远程仓库,可以全部是默认设置 全局声明git的用户认证信息 git config --global user.name "name" git config --global user.email "email@gmail.com" 其中name写自己的名字,email@gmail.com写自己的email ...

Created: 2022-12-16 · Updated: 2022-12-16 · 1 分钟 · Martin

CYK(COMP218)

芜湖!刚刚把CYK算法搞懂了。之前不理解的点在于table cells,我一直认为一个cell是一个三角形,结果始终搞不懂算法的原理。 实际上,一个cell就是一个数字,下面我以input=4举例进行说明。 ...

Created: 2022-12-09 · Updated: 2022-12-09 · 2 分钟 · Martin