收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

矩阵化方法在布尔表达式化简中的应用

任春玲  刘晓平  
【摘要】:布尔表达式在可靠性工程、人工智能以及数据库等领域有着广泛的应用,如何在计算机上方便有效地实现布尔表达式的演绎是一个重要的问题。矩阵运算在计算机上是易于实现的,因此,提出了一整套的矩阵定义和运算规则,并利用布尔表达式的分析树,实现了布尔代数演绎的矩阵化方法。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 杨延龄;;矩阵的拟相似[J];北京工商大学学报(自然科学版);1988年01期
2 周玉霞;;利用矩阵对角化求实递推式的通项[J];东莞理工学院学报;2007年03期
3 袁东锦;马国治;;关于n×m布尔矩阵的广义逆及其求法[J];扬州大学学报(自然科学版);1989年03期
4 黄达清;;计算方阵特征向量余子式展开法[J];哈尔滨建筑大学学报;1990年03期
5 肖果能;有限马氏链的状态常返性[J];铁道科学与工程学报;1991年02期
6 雷天刚;关于C-相合数值半径的几个结果[J];北京化工大学学报(自然科学版);1992年02期
7 李兴蕙;郭静贞;;域的无限性在矩阵观点下的一种刻划[J];哈尔滨师范大学自然科学学报;1992年01期
8 杨新民;;矩阵的行列式的几个不等式的注记[J];成都大学学报(自然科学版);1993年02期
9 陈秀红;;矩阵广义对角占优的两个应用[J];赤峰教育学院学报;2003年02期
10 邓毅雄,周尚超,曾伟,王森;Queens-图的构造[J];华东交通大学学报;2004年04期
11 周尚启;线性方程组解的结构[J];高等数学研究;2005年03期
12 陈云坤,赵平;利用矩阵分块探求计算高阶行列式的新方法[J];贵州大学学报(自然科学版);2005年03期
13 庄毅杰;圆盘定理的推广[J];漳州职业技术学院学报;2005年03期
14 俱鹏岳;张骞;;柯西不等式的三种证明[J];陇东学院学报(自然科学版);2005年01期
15 刘晓冀;;四元数矩阵的加权~*-序[J];广西科学院学报;2006年01期
16 施红英;;线性方程组、矩阵及n维向量的关系分析[J];甘肃科技纵横;2006年02期
17 周其生;;关于矩阵和算子迹的一组不等式[J];数学的实践与认识;2006年03期
18 王善雄;;Fan Ky凹性定理的证明和推广[J];大学数学;2006年03期
19 殷庆祥;;由特征值构造实双对称矩阵[J];数值计算与计算机应用;2006年03期
20 刘耀;;线性齐次微分方程一种特解的求法[J];电大理工;2006年03期
中国重要会议论文全文数据库 前10条
1 任春玲;刘晓平;;矩阵化方法在布尔表达式化简中的应用[A];全国第16届计算机科学与技术应用(CACIS)学术会议论文集[C];2004年
2 徐永红;李方军;祁晓彬;赵国伟;;矩阵特征多项式的树机展开方法[A];数学·力学·物理学·高新技术研究进展——2002(9)卷——中国数学力学物理学高新技术交叉研究会第9届学术研讨会论文集[C];2002年
3 冯兆生;;关于Riccati方程代数曲线解的判定[A];数学·物理·力学·高新技术研究进展(一九九六·第六期)——中国数学力学物理学高新技术交叉研究会第6届学术研讨会论文集[C];1996年
4 张争力;;矩阵的单侧逆及其算法[A];第十二届中国青年信息与管理学者大会论文集[C];2010年
5 赵广生;白荣凤;;初等行变换的应用[A];都市型高等农业教育教学改革论文专辑[C];2007年
6 李开灿;;矩阵Γ分布的Barttlet分解和它的应用[A];中国现场统计研究会第12届学术年会论文集[C];2005年
7 明平华;孟培源;;软代数[0,1]上非零矩阵的广义逆的一个证法[A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集[C];2002年
8 唐小我;;组合预测误差信息矩阵研究[A];全国青年管理科学与系统科学论文集(第2卷)[C];1993年
9 熊锐;曹锟生;;群体评价中的矩阵并合方法[A];全国青年管理科学与系统科学论文集(第2卷)[C];1993年
10 尹翔康;吴冲锋;;带随机参数线性系统的最优控制(Ⅱ):控制矩阵是确定性矩阵[A];全国青年管理科学与系统科学论文集(第2卷)[C];1993年
中国博士学位论文全文数据库 前10条
1 陈磊;几类随机矩阵特征值的大偏差[D];武汉大学;2012年
2 顾传青;矩阵有理逼近及其在控制论中应用[D];上海大学;2004年
3 谭明术;若干组合序列的矩阵研究[D];大连理工大学;2004年
4 刘晓冀;矩阵偏序与广义逆[D];西安电子科技大学;2003年
5 黄晔辉;Camassa-Holm型方程及矩阵2+1维可积系统的推广[D];清华大学;2010年
6 马佩杰;集群运动的同步及其在行人流中的应用[D];中国科学技术大学;2011年
7 朱慧明;现代经济管理中的线性贝叶斯推断理论与多总体贝叶斯分类识别方法研究[D];南京理工大学;2003年
8 郑成德;Padé逼近若干问题研究[D];大连理工大学;2004年
9 郑洁;计算机模拟与图上的离散动力系统[D];南开大学;2006年
10 周骏;矩阵完成问题的项目生成研究[D];江西师范大学;2008年
中国硕士学位论文全文数据库 前10条
1 元振芳;带整数关系表达式的布尔表达式化简方法研究[D];大连海事大学;2010年
2 郝立丽;广义逆的线性保持问题[D];黑龙江大学;2004年
3 樊赵兵;环上矩阵的等价及其分类[D];哈尔滨工程大学;2006年
4 张志旭;几种幂等性的线性保持问题[D];吉林大学;2009年
5 靳奉亮;应用于池设计的分离矩阵的构造[D];山东师范大学;2012年
6 杨文艳;矩阵核心逆的表征、性质与计算方法[D];广西民族大学;2011年
7 武淑霞;矩阵的Drazin逆扰动的研究[D];广西民族大学;2012年
8 张海军;Jacket矩阵的性质与构造[D];上海交通大学;2011年
9 李培;关于半环上的矩阵[D];西北大学;2010年
10 刘宇;幂等半环上矩阵正闭包的一个计算方法[D];湖南科技大学;2010年
中国重要报纸全文数据库 前1条
1 PALADIN;算法中的NP问题[N];电脑报;2003年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978