软件过程是管理、开发、维护软件系统所需要的一系列活动的偏序集合.软件过程作为一种工作流,其建模和分析可以采用工作流的理论和......

进程代数是并发理论研究的主流方向,是分析和描述并发与分布式系统的重要工具之一。模拟是进程代数中刻画精化关系的核心概念。共......

针对狭义或广义模态逻辑在大数据知识表示中的不足,给出一种新的大数据表示方法:基于复合模态词模态逻辑的大数据表示方法。给出其......

本文探讨了利用高游离钙粉煤灰（ｆ－ＣａＯ＝７％～１１％）配制墙体水泥的可行性。试验结果表明，彩磨细加工与掺加少量ＣａＣｌ２的方法可配制出：高钙灰掺量３０％～４０％，安全性与强度均......

以矸石电厂CFB（循环硫化床）增钙脱硫粉煤灰和烟气脱硫粉煤灰为研究对象,通过化学分析、XRD、SEM,分别对这两类粉煤灰进行特征分析,将......