扩展的通用 meaning in English

xg-midi

In the paper , an extended generalized search tree ( egist ) is presented to support the extensibility of data types and query predicates
为此，本文提出了一种扩展的通用索引树结构egist ，来支持数据类型和查询谓词两方面的可扩展性要求。
Now , we summarize classifications of the real - time extension of z . a species of methods has based on integration of the formal specification z and other formal specification can provide adequate constructs to model for dynamic behaviour , the other side of shield , the another method has only based on semanteme of z and translate the specifications of other farmal method into z specification to describe timing constraints and concurrents . then we can extract a general method about to extent z in real - time domain
在本文，我们归纳了z实时扩展，提出了分类标准，一类是被称为集成的扩展方法，它基于形式化说明语言z和其它形式化方法的集成，在这里由其它形式化方法提供表示动态行为的结构；另一类称之为非集成的扩展方法则只使用z的语义，而由其它形式化方法对时间约束性和并发进行的描述则被转换成z规格说明，完成了上述分析之后实际就给出了一个对z进行实时扩展的通用方法。