博文
- 新书出版 - 《NewBluePill:深入理解硬件虚拟机》
- 现在云计算很流行，其基础是虚拟机技术的成熟。我们实验室对硬件虚拟化技术研究了很长时间，于淼在深入分析源代码的基础上，撰写了本书，经过多次修改，历时超过2年，终于在清华出版社出版了 。 NewBluePill是国外的虚拟机开源项目，并征得该软件开发人员同意，以此来蓝本撰写了本书，BluePill本身名字也很有意思，就是 ...
- 类型系统 和unification/semi-unification算法-1
- 热度 1
- 类型系统是比较偏理论的，但随着函数式语言（ Ocaml, F# ）以及动态语言（ Python, PHP ）等逐步流行，其重要性也逐步凸显。 常规的类型系统大家是很熟悉的，例如： 3 ： int ， false ： Boolean ，其难点在于函数和对象类型，一般的静态语言，将函数看成一个可调用的特殊变量， 例 ...
- 学习型多功能导盲杖——交大学生又一有趣创意
- 热度 1
- 我们实验室的同学又搞出了一个新原型， 和输入法不同，这个是调查了盲人的现状，并了解到他们对导盲的需求而设计的， 该导盲装置能精确识别多种路况，能辅助盲人沿直线前进，并且通过语音提示将信息传递给盲人。同时，该装置抗干扰能力强，基本不受环境因素影响，且功耗低。 视频地址如下： 学习型多功 ...
- 西行记-7 cmu教学
- 粗粗了解了一些教学情况，有不当之处，见谅。 本科的课程看上去比较多，但基本分为这么几类 : 一类是 150** 系列，是引导类课程，没有多少学分； 一类是 Special Topic 课程，就是某个专题，大部分是 3-6 个 units; 剩下的就是常规课程 a. 151** 系列的是基础课程，一般 1 ...
- 西行记-6 初来乍到
- 热度 2
- 来匹兹堡已经有半月了，有一些感触。 英文单词Escort, 以前我们小组打算用Escort作为论文题目，但经国外同仁指出，这个词不合适。学校提供一个Shuttle and Escort服务，就是下午6点半后有校车接你回家。但也存在Escort Service的说法，这个就和学校的校车服务有很大的差异了。 关于手机，因为国内带来的手机无法用， ...
- 西行记-5 下雪的匹兹堡
- 热度 1
- 拿到签证后，就比较忙碌了。 向上海出国培训中心定了机票。 差不多过了10天，就出发了。从上海出发，就发现犯了一个错误，飞机上有美国的电源插座，如果带一个转换插头，就可以直接用笔记本电脑了。但转换头已经托运在行李中了，只好作罢。途中经过日本，看到了白雪覆盖的富士山和东京湾，很漂亮，但不久就发生了地震海啸， ...
- 西行记-4 签证check
- 这几天刚到美国，今天周日，有点时间把签证check过程说一下了，比较复杂。 12月去签证的时候，结果被检查出家属的名字写错了，囧啊。 然后签证无法一起签，后来问清楚后，需要出去重新写一份，然后拿过来。到下午的时候，新的160表格打印出来了，然后排队到签证官，是一个小伙，人很不错，上来就问为什么需要修改，解释 ...
- 第一次接收视频采访，有点不自然
- 热度 4
- 新民网的记者 周晏珵 联系我，想对 aeviou中文滑行输入法做一个视频采访，这个倒是第一次，以前一般是当场或电话，比较好奇。来到文新大厦，到了他们的演播厅，设备果然专业，事前周记者和我们讨论了大纲，很快就开始视频谈话了，记者也很专业，能够非常精确地概括我们的想法，接着就一些大家关心的问题进行了对话，并现场 ...
- 从高速公路改名看汉字编码的无比优越性-续 汉字滑行输入法
- 上文讲到， 汉字是有无比的优越性的，体现在汉字输入法的一个方法。 我指导的学生搞了一个汉字滑行输入法（ aeviou输入法 ），就是一个有说服力的证明，请看最近东方早报对我们的采访。 交大学生发明汉字滑行输入法 1分钟可输70个字 http://sh.sina.com.cn/news/2011-01-26/0433170869.html 这 ...
- 印度孟买一日行
- 最近到印度孟买出差，行程很紧，在孟买仅1天1夜，但总的时间要三天。 出发前带了方便面、面包、水果和一些休闲食品（豆腐干等），确实有用，呵呵。 半夜到德里，停留2小时不到，飞孟买，大概印度时间8点（比我们晚2.5小时）多到。印度航空确实是年纪比较大的人做空乘。到孟买其他地方（包括机场），基本是男的干 ...
