The model of UML-BD is to hierarchize and modularize the UML model of discrete event system by using DEVS modeling technology.

模型是运用DEVS规范技术对离散事件系统的UML模型进行层次化、模块化。

This paper presents and proves a discriminant theorem which is suited to examine the determinability of the discrete linear system,which shows that an outstanding issue of this field has been solved.

本文得到离散线性系统能决定性的一个判别定理，该定理解决了文献中尚未解决的相关问题.