备份你的数据

备份你的数据

每年花一些时间检查你的备份策略。

花一个月时间将备份花费的时间减到最小。

使用基于云的备份服务，比如Mozy和Carbonite，很容易建立无缝自动备份。

更全面地防御可以选择为每个人分发硬盘，对每台电脑使用像Time Machine这样的自动备份工具进行备份。

对重要文件使用异地远程仓库进行版本控制。

译注：

形式语言：按一定规律构成的句子或符号串的有限或无限的集合。

自动机：是有线状态机（FSM）的数学模型。

可计算性理论：研究计算的可行性和函数算法的理论。又称算法理论。它是算法设计与分析的基础，也是计算机科学的理论基础。

计算复杂性理论：计算复杂性理论是理论计算机科学的分支学科，使用数学方法对计算中所需的各种资源的耗费作定量的分析，并研究各类问题之间在计算复杂程度上的相互关系和基本性质，是算法分析的理论基础。

形式化方法：在逻辑科学中是指分析、研究思维形式结构的方法。

语义学：研究自然语言中词语意义的学科。也可以指对逻辑形式系统中符号解释的研究。