his paper presents the recovery mechanism of a main memory database system, the ARTs-I, including the checkpoint algorithm, the reloading algorithm, and the committing algorithm of a transaction.
讨论内存数据库管理系统ＡＲＴｓ－ＭＭＤＢＳ的恢复机制，包括ＣＨＥＣＫＰＯＩＮＴ算法、重装算法和事务的提交处理算法。
Research on Main Shaft s Skip Weight-fixed Loading System of Coal Mine;
矿用立井箕斗定重装载系统研究
The new system implements automatic and weight-fixed loading.
针对原装载系统存在的问题,利用可编程控制器实现系统主控制,对井下装载系统的定重、定容、定时装载方式进行改造,实现了装载自动化和定重装载。