线性伪布尔方程的计算机求解  

Use of Computers to Solve Linear PseudoBoolean Function

作　　者：姜聪[1] 

机构地区：[1]上海大学国际商学院

出　　处：《上海大学学报（自然科学版）》1998年第3期287-293,共7页Journal of Shanghai University:Natural Science Edition

摘　　要：伪布尔方程的求解在逻辑综合、故障诊断、网络理论和优化设计等领域是一个极需解决的问题．作者用Ｖｉｓｕａｌｃ＋＋和ＭｉｃｒｏｓｏｆｔＷｉｎｄｏｗｓ采用分枝算法编制了一个求解伪布尔方程的程序，通过读入伪布尔方程的参数，给出相应的求解结果．In the area of logic combination, error diagosis, network theory and design optimization, the solution of PseudoBoolean function is a problem which needs to be solved urgently. By applying Visual c++ and Microsoft Windows of the computer, the writer designs program based on branching method to solve PseudoBoolean function. The parameters of PseudoBoolean functions show the corresponding result of the solution.

关 键 词：伪布尔方程 分枝法 解 计算机 线性 

分 类 号：O153.2[理学—数学]