论文部分内容阅读
定义集合子集特征向量函数、集合子集特征向量的特征函数和集合子集特征函数。给出集合幂集特征矩阵的概念,研究集合幂集特征矩阵的性质;给出＂模2法＂和＂辗转赋值法＂2种生成集合幂集特征矩阵的形式化算法,分析算法的复杂度;将幂集特征矩阵应用到自动生成集合幂集和命题公式真值表,结果显示算法合理高效。
幂集特征矩阵及其应用
【摘 要】
：
定义集合子集特征向量函数、集合子集特征向量的特征函数和集合子集特征函数。给出集合幂集特征矩阵的概念,研究集合幂集特征矩阵的性质;给出＂模2法＂和＂辗转赋值法＂2种生成集合幂
【机 构】
：
商洛学院数学与计算机应用学院
【出 处】
：
计算机与现代化
【发表日期】
：
2017年2期
【基金项目】
：
陕西省教育厅专项科研计划项目(16JK1236);商洛学院科研项目(15SKY001)
其他文献
<正>十九大报告,站在历史和时代的高度,深刻和系统地回答了新时代坚持和发展中国特色社会主义的一系列重大理论和实践问题,使我们党对自身建设、对执政规律、对时代特征、对
文章介绍了常用的喷墨打印机及喷墨打印墨水的发展概况、喷墨打印墨水的主要成分及近年来分析技术的进展情况。喷墨打印墨水中的着色剂主要用色度法、紫外光谱法、漫反射红外
公安情报工作是公安工作的重要组成部分、是公安机关履行职能职责的重要依据、是完善各项公安工作的重要手段。它在侦查破案、预防和打击违法犯罪等方面发挥了重要的作用,但
乐山餐饮老字号品牌历史悠久,独具地方特色。在激烈的市场竞争中,乐山餐饮老字号企业必须树立品牌意识,加强品牌建设。文章从老字号品牌的概念入手,分析了乐山餐饮老字号品牌
为改进传统固相法制备锂离子电池正极材料原料混合均匀性较低的缺点，将原料粉体磨细成粒度〈1μm的超细粉体，以提高原料混合的均匀度，再进行焙烧合成，是一种新的制备方法。但超细
有许多判别法讨论当f（x）满足某些条件时便可得到无穷积分∫a^＋∞f（x）dx的收敛性，讨论反问题，若∫a^＋∞f（x）dx收敛f（x）将有何种极限性质，重点讨论与极限lim_x→＋∞f（x）=0的关系以及与级数情形
<正> 中医的基本理论是在我国古代哲学思想和长期医疗实践的基础上形成和发展起来的,它不但有一个完整的理论体系,而且能够有效地指导临床实践。这是任何国家和民族的古代医
<正> 一、管理范围——战略管理与现场管理并重 1、企业的战略管理 企业战略管理是指从企业整体和长远利益出发,就其经营目标、内部实力及其与环境积极适应等问题进行谋划与
随着我国综合国力的不断增强,在一些先进的科技文化传入国内的同时,一些糟粕也由此伴随而来,国内外共同勾结的犯罪趋势也愈加明显,这对公安工作也造成了一定的难度。文章从跨
量刑规范化改革是中国近年来刑事司法领域重大的改革举措,而量刑程序改革是中国量刑规范化改革的重要方面。作为中国量刑程序改革重要阶段性成果的《关于规范量刑程序若干问