About

这个网站是一个博客,高中的时候记录了一些信息竞赛中题目的题解和诸如快速傅立叶变换以及多项式相关的内容。现在主要是随手记录一些东西,比如一些我认为做的还可以的课程项目,一些数学上遇到的内容,以及一些杂事。博客并不会定期更新。具体的可以到文章归档页面查看。

有一些人问关于公式和博客的主题的问题,请先参考下面

Q:这个博客是怎么搭的?

A:你需要租一个服务器(或者虚拟空间)和一个域名,之后可以选择现成的框架例如WordPress。如果你并没有太多的钱,那么可以考虑在github上建立一个博客。

Q:这个博客的公式和代码是怎么打出来的?

A:WordPress有对应的插件,Latex for WordPress;同时,代码是利用Crayon Syntax Highlighter这个插件。

Q:想要联系我怎么办?

A:邮件至 name [at] gmail [dot] com, name = miskcoo

Projects

(with:陈晟祺,刘晓义,陈嘉杰)

这是参加“龙芯杯”的作品,获得特等奖。我们自己实现了一个十级双发射顺序MIPS32处理器,包含32位浮点单元和一个AES加速单元。在其上自行设计了SoC同时移植了Linux操作系统。可以运行图形界面(X服务)以及Python等一大类程序,在OpenSSL上利用AES单元加速后吞吐率大约为10MBps(CPU主频80MHz,在i7-8750H上不利用AESNI指令的实现吞吐率大约为100MBps)。同时浮点单元能够较快地绘制Mandelbrot集的图像,我们还实现了通过变分自编码器(VAE)生成手写数字图像等。

photo_2019-08-09_23-04-12photo_2019-08-19_16-03-59

Github: https://github.com/miskcoo/nontrivial-mips

  • rCore for MIPS32 - Linux兼容的rust编写的操作系统

(with:陈晟祺)

这是操作系统的课程项目,rCore是用rust编写的一个操作系统,也是由清华的同学编写的。在我们加入之前支持了x86_64, RISCV32/64, AArch64三个平台。我们主要将其移植到MIPS32上。它最终可以在组成原理课程编写的MIPS32处理器上运行。

Github:https://github.com/rcore-os/rCore

  • TrivialMIPS - 五级双发射顺序MIPS32处理器

(with:陈晟祺,姚沛然)

这是大三上学期组成原理、软件工程的联合实验,在组成原理的ThinPad实验板上编写的MIPS32处理器。由于仅有SRAM,处理器不带有Cache,和“龙芯杯”的相比较为简陋。不过,加上之后操作系统和编译原理的成果,还是实现了在自己写的CPU上运行自己写的操作系统,同时运行自己写的编译器生成的程序。

Github: https://github.com/trivialmips/trivialmips

(with:陈晟祺)

这是大二下学期数字逻辑设计的项目,也是我的第一个FPGA项目。主要是通过FPGA接受键盘的输入,将输入转化为控制命令通过串口输出给计算机。同时也通过串口接受计算机传回的控制命令名且解析、执行,修改对应位置的字符,再将字符进行渲染通过VGA输出到屏幕。支持VT220以及部分xterm-256color的控制序列。

Github: https://github.com/Harry-Chen/fpga-virtual-console

这是数据库系统概论的课程项目,用C++实现的一个SQL数据库引擎。实现了大部分常见的SQL语句和类型。同时支持多表连接、复杂表达式运算、多主键约束、外键约束、CHECK约束、UNIQUE和DEFAULT约束、聚集查询、利用B+树索引的查询优化,同时,它支持任意长度的VARCHAR类型。

Github: https://github.com/miskcoo/TrivialDB

大学后的第一个课程项目,利用Kociemba算法实现的三阶魔方求解器。大约能够在1秒内通过不多于32步复原一个三阶魔方。另外,还实现了Krof算法,可以计算最少复原方案,不过这需要很长的时间。同时,我利用OpenGL对复原过程进行了动画展示。

Github: https://github.com/miskcoo/rubik-cube

  • 其它项目
    • Mandelbrot-Render,一个高精度Mandelbrot渲染器。
    • SimpleTomasulo - Tomasulo算法模拟器。
    • SimilaritySearch - 近似查找/近似连接算法,以及一个“互联网打车”应用。
    • OfficeOnline - 在线审批系统。
    • RIPRouter - 支持RIP协议的路由器。
    • TrivialNews - Java实现的Android新闻阅读器。
    • 数独 - Qt编写的数独,可生成及求解不同难度数独。
    • 国际跳棋 - Qt编写的双人国际跳棋游戏。
    • 人物信息检索 - Python编写的爬虫,可以抓取Wikipedia的人物信息并且显示。

40 thoughts to “About”

  1. 你好,我是wordpress新手,两个月前在dreamhost上购买了一个域名,租了shared host(域名是nonemaw.com,欢迎围观一下),自己慢慢丰富自己的 blog,目前还没有多少内容。偶然搜索傅里叶变幻时发现了你的主页,而且发现我和你使用了同样的主题,但是显然你的页面更高大上 笑 😉 ,我想问一下你的诸如头像,3d tag,根据blog数量由大到小排列的tag等等诸多内容是如何加上去的?谢谢!

    1. 标签是一个叫做 wp category tag cloud 的插件,所以功能都是这个里面的

      然后关于右边的头像是我自己加的几行代码,评论头像是一个叫做 Gravatar 的网站根据邮箱绑定的头像你可以去看看

      话说你的 blog 内容看起来好高端完全是英文!

      1. 好的好的,我去看看,另外你的code的框架是如何弄的啊?显示诸如语言信息,行数等等,我用的是wordpress自带的code tag(

        xxxxx

        英语是为了练习英语写作能力 笑 🙂 我是个编程大水比,编程和算法非常渣,渣到排序算法都要google,非常喜欢telecom network n software defined network 笑 🙂 看了你的博客真觉得博主你大牛!我很佩服

        1. 代码高亮用的是 crayon syntax highlighter 然后一些公式用 mathjax 显示的你搜搜插件都会有,其实不知道有没有 google 下就好啦

  2. 博主qwq萌新想问一个问题。。。就是您文章中的目录是怎么链接过去的qwq就是比如说“概念”点一下就到文章中“概念”的部分qwq

  3. 我过来抄一下概率论那个证明作业的 觉得非常厉害了~觉得博主要努力申请(不知道为什么看到博主这么厉害有种不去读PhD可惜了的错觉wwwwwwwwww

  4. 博主你好,我很喜欢你写的内容.我目前也就读于五道口某个高校(可能和你一个学校?如果你的学校也很小的话^_^).我的兴趣在数学与机器学习以及优化问题上. 我想把你的博客加入友链可以吗? 附上我的博客地址:https://www.l-zhe.com (刚刚架设,略简陋^_^)

Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.