模的维数与离散事件动态系统的能达程度

DIMENSION OF MODULAR AND REACHABLE LEVEL OF DEDS

本文提出了极大代数上有限生成模的维数与歧点的概念，证明了m个矢量生成的模为m维的充要条件是它们为强线性独立的，比较了两种线性独立的强弱，并应用上述理论于离散事件动态系统（DEDS）的能达程度问题．

In this paper, we have presented the concept on dimension of modular over max-algebra and proved that the modular generated by m vectors is of dimension m iff m vectors are strongly linearly independent. On the basis of these results the problem of the reachable level of Discrete Event Dynamic Systems is studied.