针对相应的特殊XML语法形式开发了相应的自动机分析算法并进行了分析。
It also develops corresponding automatic machine analysis algorithm and makes an analysis in connection with some relevant special XML grammar forms.
在每个子系统中,本文分别从支持面向对象和主动机制技术的角度,分析了子系统的组成、工作流程、用户使用模式和典型算法等。
In each subsystem, the paper analyses its form, working process, user's model and typical algorithms from the point of object-oriented and technology of active mechanism separately.
本文介绍了时间自动机和可达性分析算法,并对可达性分析算法中的后继算法进行了改进。
In his paper, we introduce timed automata and the algorithm of reachability analysis, and proposes an improvement algorithm of the basic successor algorithm.
应用推荐