一种建立二元判断图ROBD(D的算法)

二元判断图BDD(Binary Decision Diagram)是逻辑布尔函数的一种高效表示方法,在计算机科学以及数字电路系统等领域中有广泛的应用。本文首先介绍了BDD的原理及其相关结论,之后较为详细地介绍建立一种ROBDD的算法,减少了存储空间的使用并提高了运算速度。     

多元线性回归在矿体开采中的应用

运用正交有限元原理，对影响矿体开采的主要结构参数进行正交试验分析，用三维有限单元法求得矿体开采在数值模拟极限状态下的顶板极限厚度，并采用多元线性回归的方法推得矿体顶板极限厚度与主要开采结构参数之间的关系式，然后用工程实例验证了推得关系式的可靠性。     

多元线性回归在矿体开采中的应用

运用正交有限元原理,对影响矿体开采的主要结构参数进行正交试验分析,用三维有限单元法求得矿体开采在数值模拟极限状态下的顶板极限厚度,并采用多元线性回归的方法推得矿体顶板极限厚度与主要开采结构参数之间的关系式,然后用工程实例验证了推得关系式的可靠性。     

并发程序验证器CPV的设计与应用研究

以以色列的并发程序验证器CPV1.1为蓝本,深入研究了并发程序检测的设计实现过程, 讨论了该软件的各种数据类的结构和它们之间的相互关系,以及并发程序的执行过程,在此基础上对其做了适当的改进,简化了输入方式和程序的执行. 提高了CPV的速度与效率,最后在CPV1.1下设计实现了8皇后问题的并发求解.