最近在用OpenNMT训练机器翻译模型。OpenNMT 全称 Open-Source Neural Machine Translation,是https://nlp.seas.harvard.edu/SYSTRAN 共同开发的适用于机器翻译的集成库(现在由SYSTRANUbiqus 维护)。

OpenNMT有两个版本,分别为依赖PyTorchTensorFlow的。从使用人数上来说,PyTorch用的人多得多,更新的速度也快一点,所以就选了OpenNMT-py 的版本。据说Academia的趋势也是PyTorch增多,考虑复用的话PyTorch是你的好朋友 :p

不得不说,OpenNMT开发得确实快,版本更新也快,眼睁睁看着它两个月更新一个版本,也是挺6。但这也导致文档update的速度跟不上开发的速度 🐶

所以本文记录下从头训练一个NMT的pipeline,也记录一些useful 的七七八八。

阅读全文 »

Godson-T 是中国科学院计算技术研究所设计并实现的一个众核处理器系统。Godson-T 缓存一致性协议 (简称Godson-T协议) 是Godson-T 众核处理器所使用的缓存一致性协议。

本文将详细分析该协议的数据结构及迁移规则 (Murphi语言)

阅读全文 »

本文详细的讲解了一些证明程序正确性的概念,并以一个例子详细介绍了如何用循环不变式证明程序的部分正确性。

概念包括:

  • 前置断言、后置断言
  • 循环不变式
  • 程序的正确性 (部分正确性、完全正确性)
阅读全文 »

最合适的系统应该是ubuntu系统,且需要sudo权限。

windows和macosx系统会有诸多的限制,可能会和系统的版本不兼容导致无法运行图形界面,只能使用命令行

本文介绍一下摸索的艰难历史。最终在mac系统下只能安装成功命令行,并且对于macosx 10.14 version, 目前图形界面是无法运行的。浪费了很多时间,真的是很不值得。记录下来,希望大家不要做无用功。

阅读全文 »