在抽象代数中，内部代数是采用了集合的拓扑内部概念的特定类型的代数结构。内部代数之对于拓扑和模态逻辑 S4 如同布尔代数之对于集合论和普通命题逻辑。内部代数形成了模态代数的一个簇。
配电子系统的建模关键是忽略其内部的暂态过程并作出了网络的等值电路图，因而依此建立的节点电压方程为代数方程。
The key to power distribution system is to ignore transient process in this sub-system and to draw the network equivalent circuit diagram, therefore its node voltage equation is algebraic equation.
其结果描述了这些代数内部结构的特征，同时也为从语义的角度进一步研究格值逻辑系统提供了一个新的途径。
Those results describe the characterizations of interior structures of those algebras, and also offer a new way for further researching lattice-valued logic systems from the semantics.
最后针对微分代数模型的励磁系统构造了存储函数，使得系统无源而保持内部稳定。
In the end the storage function was constructed for excitation system with differential algebraic model.
应用推荐