非线性设计模块NCD模块
nonlinear linear design module NCD module
广义KRA抽象模型
general KRA abstraction model
数据访问对象抽象工厂
data access object and abstract factory
应用—逻辑—算法—物理分层抽象模型
application-logic-algorithm-physics layer abstract model
对象模块库更新
OMLU Object Module Library Update
偏序时态模块模式
partial-order temporal module scheme
全序时态模块模式
total order temporal module schemes