Approaches of static consistency inspection between computer simulation and real test results of fuze-warhead coordination (FWC) are given in this paper.
给出了引战配合计算机仿真结果与真实试验结果进行静态一致性检验的方法。
Maintaining State Consistency Based on Time-box in Collaborative Virtual Environments;
协同虚拟环境下基于时间包围盒的状态一致性维护
However, almost all of the current transaction scheduling algorithms only take logic consistency of object into account, while ignoring temporal consistency.
本文提出了临时数据截止期的概念,以定理的形式证明了低成本的预测算法的可行性,尽可能早地终止或推迟无法满足时态一致性要求的事务的执行,节省了计算资源以供其它事务执行。
In this paper,the question of event temporality were discussed in active temporal database under the presupposition of temporal consistency.
在事件时态一致性的前提下详细讨论了主动时态数据库中事件的时态问题,给出了复合时态事件的时态关系以及任意两个事件之间的Allen关系。
However,almost all of the current algorithms of transaction scheduling only take logic consistency of object into account ,while ignoring temporal consistency.
首先提出了临时数据截止期的概念,以定理的形式证明了低成本地预测算法的可行性,尽可能早地终止或推迟无法满足时态一致性要求的事务的执行,节省了计算资源以供其它事务执行。
