A Semantic Model and Static Preanalysis for Distributed Active Real-Time Transactions 分布式主动实时事务语义模型与静态预分析
The Preanalysis and Correction for the Error of the Software of Numerical Control Design 数控软件设计中误差超前分析调整方法
On the basis of the real-time transaction based on function alternative, this paper has detailed analyses the properties of alternative and relationship between alternative and transaction and throws light on transaction preanalysis. 以基于替代的实时事务模型为基础,分析替代的特性以及替代与事务的关系,并对事务预分析进行了说明。