检索结果-维普期刊中文期刊服务平台

一类逻辑方程组的解法研究(英文) 被引量：2: 1; 作者丁殿坤陈贵磊《浙江大学学报（理学版）》 CAS CSCD 北大核心 2011年第3期245-247,共3页; 为了使解由非0非1型逻辑方程构成的逻辑方程组灵活多样化,给出了逻辑方程组成立的充要条件,化逻辑方程组为0型或1型逻辑方程的方法,并给予证明,得到了若两个0型逻辑方程的解集分别为X1、X2,则逻辑方程组的解集为X1+X2;若两个1型逻辑方... 展开更多; 关键词非0非1型充分必要条件逻辑方程组解集; 在线阅读下载PDF 职称材料

线性逻辑方程组的解被引量：6: 2; 作者王道林《计算机工程与设计》 CSCD 北大核心 2008年第5期1195-1197,1225,共4页; 软件设计和硬件设计中经常遇见用逻辑方程或逻辑方程组表示的数学模型,讨论这类数学模型的求解问题是非常必要的。给出了=0,=1,=,=1(中不含逻辑非变量,中含逻辑非变量)等类型的线性逻辑方程组有解、有惟一解的充分必要条件,讨论了解的... 展开更多; 关键词线性逻辑方程组系数矩阵置换矩阵主合取范式极大项; 在线阅读下载PDF 职称材料

基于逻辑方程组的故障诊断方法研究: 3; 作者马存宝孙卓《计算机工程与应用》 CSCD 北大核心 2015年第7期262-265,共4页; 基于逻辑方程组的故障诊断方法充分利用故障因果逻辑实现故障定位。针对其中逻辑方程组的求解问题,研究并实现基于半张量积的求解算法,对机载故障诊断在计算量和时间等方面的要求进行分析,结合压缩存储和并行处理思想,提出改进算法并与... 展开更多; 关键词故障诊断逻辑方程组半张量积; 在线阅读下载PDF 职称材料

基于整数方程的逻辑方程组求解方法研究: 4; 作者沈春南马存宝《计算机工程与应用》 CSCD 北大核心 2015年第4期71-75,共5页; 为快速有效地求解大量逻辑方程组,根据逻辑运算的特点详细阐述了将逻辑方程转化成等效整数方程的原理和方法,并对得到的整数方程进行化简,提出了整数方程组的一般求解方法,即吴方法和Grobner基理论。接着给出并完善了一种基于快速多项... 展开更多; 关键词逻辑方程组整数方程快速多项式乘法故障诊断; 在线阅读下载PDF 职称材料

非0非1型逻辑方程与相关逻辑方程的解集关系及其应用（英文）: 5; 作者丁殿坤王汝亮《浙江大学学报（理学版）》 CAS CSCD 北大核心 2015年第6期668-671,共4页; 给出了逻辑方程解集关系定理、将逻辑方程F=G化为0型或1型逻辑方程的方法以及相应的推论,并给予证明,得到:若F+G=1和F G=1的解集分别为S1、S2,则F=G的解集为S1-S2;若F+G=0和F+G=0的解集分别为S3、S4,则F=G的解集为S3∪S4;若F·G=1和... 展开更多; 关键词解集关系非0非1型逻辑方程组证明; 在线阅读下载PDF 职称材料

粗糙集概念与运算的布尔矩阵表示被引量：20: 6; 作者李龙星运士伟杨炳儒《计算机工程》 EI CAS CSCD 北大核心 2005年第14期16-17,共2页; 建立了属性集与布尔矩阵以及逻辑方程组的解之间的关系;在此基础上给出了粗糙集理论中概念与运算的布尔矩阵表示;最后证明了属性约简在布尔矩阵和代数两种不同表示下是等价的。; 关键词粗糙集属性约简布尔矩阵逻辑方程组等价性; 在线阅读下载PDF 职称材料

基于布尔矩阵的初等行变换的知识约简算法被引量：10: 7; 作者王道林《计算机应用》 CSCD 北大核心 2007年第9期2267-2269,共3页; 给出了布尔矩阵的初等行变换定义,建立了线性逻辑方程组形式的属性约简模型,用布尔矩阵的初等行变换把系数矩阵化为最简矩阵,给出了用系数矩阵和最简矩阵判定绝对必要属性、相对必要属性和绝对不必要属性的三个充分必要条件,并由此提出... 展开更多; 关键词粗糙集属性约简布尔矩阵初等行变换线性逻辑方程组; 在线阅读下载PDF 职称材料

题名一类逻辑方程组的解法研究(英文) 被引量：2: 1; 作者丁殿坤陈贵磊; 机构山东科技大学基础课部; 出处《浙江大学学报（理学版）》 CAS CSCD 北大核心 2011年第3期245-247,共3页; 基金 Department of Education,Shandong Province,a Research Topic Funded Projects(J06P14); 文摘为了使解由非0非1型逻辑方程构成的逻辑方程组灵活多样化,给出了逻辑方程组成立的充要条件,化逻辑方程组为0型或1型逻辑方程的方法,并给予证明,得到了若两个0型逻辑方程的解集分别为X1、X2,则逻辑方程组的解集为X1+X2;若两个1型逻辑方程的解集分别为X3、X4,则逻辑方程组的解集为X3+X4的结论,从而可应用结论解非0非1型逻辑方程构成的逻辑方程组.; 关键词非0非1型充分必要条件逻辑方程组解集; Keywords non-zero and non-one type sufficient and necessary condition logic equation set solution sets.; 分类号 O141 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名线性逻辑方程组的解被引量：6: 2; 作者王道林; 机构泰山学院信息科学技术系山东泰安; 出处《计算机工程与设计》 CSCD 北大核心 2008年第5期1195-1197,1225,共4页; 基金国家自然科学基金项目(60572113); 文摘软件设计和硬件设计中经常遇见用逻辑方程或逻辑方程组表示的数学模型,讨论这类数学模型的求解问题是非常必要的。给出了=0,=1,=,=1(中不含逻辑非变量,中含逻辑非变量)等类型的线性逻辑方程组有解、有惟一解的充分必要条件,讨论了解的个数并给出了求解公式或解集表示式,阐明了任何形式的逻辑方程或逻辑方程组都可转化为线性逻辑方程组求解。采用置换矩阵和极大项两种方法,系统全面地解决了线性逻辑方程组、一般逻辑方程和一般逻辑方程组的求解问题。; 关键词线性逻辑方程组系数矩阵置换矩阵主合取范式极大项; Keywords linear logical equations coefficient matrix permutation matrix principal conjunctive normal form maximum item; 分类号 TP302.2 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于逻辑方程组的故障诊断方法研究: 3; 作者马存宝孙卓; 机构西北工业大学航空学院; 出处《计算机工程与应用》 CSCD 北大核心 2015年第7期262-265,共4页; 文摘基于逻辑方程组的故障诊断方法充分利用故障因果逻辑实现故障定位。针对其中逻辑方程组的求解问题,研究并实现基于半张量积的求解算法,对机载故障诊断在计算量和时间等方面的要求进行分析,结合压缩存储和并行处理思想,提出改进算法并与原算法进行性能比较。通过燃油系统诊断实例验证了改进算法的实用性和通用性。; 关键词故障诊断逻辑方程组半张量积; Keywords fault diagnosis logic equations semi-tensor product; 分类号 TP806.3 [自动化与计算机技术—检测技术与自动化装置]; 在线阅读下载PDF 职称材料

题名基于整数方程的逻辑方程组求解方法研究: 4; 作者沈春南马存宝; 机构西北工业大学航空学院; 出处《计算机工程与应用》 CSCD 北大核心 2015年第4期71-75,共5页; 文摘为快速有效地求解大量逻辑方程组,根据逻辑运算的特点详细阐述了将逻辑方程转化成等效整数方程的原理和方法,并对得到的整数方程进行化简,提出了整数方程组的一般求解方法,即吴方法和Grobner基理论。接着给出并完善了一种基于快速多项式乘法的消元法,大大降低了求解的复杂度,最后将基于整数方程的逻辑方程组求解方法应用于故障诊断,并举例验证。; 关键词逻辑方程组整数方程快速多项式乘法故障诊断; Keywords logic equations integer equations fast polynomial multiplication fault diagnosis; 分类号 O142 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名非0非1型逻辑方程与相关逻辑方程的解集关系及其应用（英文）: 5; 作者丁殿坤王汝亮; 机构山东科技大学基础课部; 出处《浙江大学学报（理学版）》 CAS CSCD 北大核心 2015年第6期668-671,共4页; 基金 Supported by research topic funded projects of Shandong Province(J06P14); 文摘给出了逻辑方程解集关系定理、将逻辑方程F=G化为0型或1型逻辑方程的方法以及相应的推论,并给予证明,得到:若F+G=1和F G=1的解集分别为S1、S2,则F=G的解集为S1-S2;若F+G=0和F+G=0的解集分别为S3、S4,则F=G的解集为S3∪S4;若F·G=1和F·G=1的解集分别为S5、S6,则F=G的解集为S5∪S6;同时亦得到{F=1F=0:若逻辑方程组、的解集分别为X1、X2,则逻辑方程F=G的解集为X1∪X2,应G=1{G=0用此结论可解非0型、非1型及相关的逻辑方程.; 关键词解集关系非0非1型逻辑方程组证明; Keywords relationship of solution set non-zero and non-one type logic equations proof; 分类号 O141 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名粗糙集概念与运算的布尔矩阵表示被引量：20: 6; 作者李龙星运士伟杨炳儒; 机构北京科技大学信息工程学院; 出处《计算机工程》 EI CAS CSCD 北大核心 2005年第14期16-17,共2页; 基金国家自然科学基金重点资助项目(69835001) 科技部重点应用推广项目(2003EC000001); 文摘建立了属性集与布尔矩阵以及逻辑方程组的解之间的关系;在此基础上给出了粗糙集理论中概念与运算的布尔矩阵表示;最后证明了属性约简在布尔矩阵和代数两种不同表示下是等价的。; 关键词粗糙集属性约简布尔矩阵逻辑方程组等价性; Keywords Rough set Attribute reduction Boolean matrix Logic equation set Equivalence; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于布尔矩阵的初等行变换的知识约简算法被引量：10: 7; 作者王道林; 机构泰山学院信息科学技术系; 出处《计算机应用》 CSCD 北大核心 2007年第9期2267-2269,共3页; 基金国家自然科学基金资助项目(60572113); 文摘给出了布尔矩阵的初等行变换定义,建立了线性逻辑方程组形式的属性约简模型,用布尔矩阵的初等行变换把系数矩阵化为最简矩阵,给出了用系数矩阵和最简矩阵判定绝对必要属性、相对必要属性和绝对不必要属性的三个充分必要条件,并由此提出了一种知识约简的快速算法。; 关键词粗糙集属性约简布尔矩阵初等行变换线性逻辑方程组; Keywords rough sets attribute reduction Boolean matrix elementary row transformation linear logical equation group; 分类号 TP311.131 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	一类逻辑方程组的解法研究(英文)	丁殿坤陈贵磊	《浙江大学学报（理学版）》 CAS CSCD 北大核心	2011	2	在线阅读下载PDF 职称材料
2	线性逻辑方程组的解	王道林	《计算机工程与设计》 CSCD 北大核心	2008	6	在线阅读下载PDF 职称材料
3	基于逻辑方程组的故障诊断方法研究	马存宝孙卓	《计算机工程与应用》 CSCD 北大核心	2015	0	在线阅读下载PDF 职称材料
4	基于整数方程的逻辑方程组求解方法研究	沈春南马存宝	《计算机工程与应用》 CSCD 北大核心	2015	0	在线阅读下载PDF 职称材料
5	非0非1型逻辑方程与相关逻辑方程的解集关系及其应用（英文）	丁殿坤王汝亮	《浙江大学学报（理学版）》 CAS CSCD 北大核心	2015	0	在线阅读下载PDF 职称材料
6	粗糙集概念与运算的布尔矩阵表示	李龙星运士伟杨炳儒	《计算机工程》 EI CAS CSCD 北大核心	2005	20	在线阅读下载PDF 职称材料
7	基于布尔矩阵的初等行变换的知识约简算法	王道林	《计算机应用》 CSCD 北大核心	2007	10	在线阅读下载PDF 职称材料