以固定点为数学基础．多值决策图（Multi—Valued Decision Diagrams，MDDs）为存储结构来实现系统可达状态空间建立的饱和算法在异步系统......

ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清......

结合预防性保护的概念,分析了沈阳故宫的保护现状,结合国外已有的MDDS系统结构及理论,整理出沈阳故宫在监测时需要重点把握的内容......