一类逻辑方程组的解法研究

来源 :浙江大学学报:理学版 | 被引量 : 0次 | 上传用户:mengpiaoyao
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了使解由非0非1型逻辑方程构成的逻辑方程组灵活多样化,给出了逻辑方程组成立的充要条件,化逻辑方程组为0型或1型逻辑方程的方法,并给予证明,得到了若两个0型逻辑方程的解集分别为X1、X2,则逻辑方程组的解集为X1+X2;若两个1型逻辑方程的解集分别为X3、X4,则逻辑方程组的解集为X3+X4的结论,从而可应用结论解非0非1型逻辑方程构成的逻辑方程组.
其他文献
在计算机图形学与多媒体技术领域,显著性检测因其广泛的应用,成为许多工作中重要的一步。很多计算机图形学与多媒体技术的工作(如图像分割、图像标记、视频跟踪)的进行依赖于精确的显著性图。然而,现有的大多数显著性检测算法所得到的结果有很大的缺陷,如边界不明晰、召回率过低等。该文章提出了一种基于矩形波谱分析的显著性检测算法;该算法将图像分块,分别与预先设定好的矩形波构成的模板进行卷积运算,依据所得到的响应评
<正> 上海东福金属结构厂,原三建机修厂是一家以钢结构制作和机械修造为主营业务的企业。三年来,该厂创利以翻番速度上升,1996年人均创利达到1.2万元,跃居建工集团同行之首。
<正>入世后,我国建筑业迎来了发展壮大的大好机遇,也将遭受到前所未有的冲击与挑战。那么,我国建筑业现状如何?在国际大舞台上我们该如何提高自己的竞争力,并有所作为?对此,
在有限群局部表示理论中,Green对应相当重要,由此可得到一些有趣的应用.本文给出了几乎可裂序列的Green对应.证明了如下结果:设X是不可分解非投射kG-模,Y是相应的不可分解非投
讨论了在不同对基下的Γ算子矩阵。在Loewner矩阵和翻转矩阵Jn的理论基础上给出了一类ToeplitzLoewner矩阵。从算子Γ的角度重新论述了B&#233;zout和Hankel矩阵之间已有的结
因工作关系,刘洋先后在全国十几个城市生活,搬过30多次家.在举目无亲的异乡生病、受挫、痛苦时无人问津,一个人的世界孤独而无助.奋斗成年薪百万的职场金领后,他忽然辞职,卖
研究微分多项式环R[x;δ]和Ore扩张环R[x;α,δ]的广义半交换性质和广义对称性质,使用逐项分析方法证明了:设R是δ-Armendariz环,则R[x;δ]是诣零半交换环(弱半交换环、广义弱
<正> 一、环保产业产生的背景从人类社会可持续发展的主题和广义的环境保护来理解,环保产业的概念应该赋予新的涵义:它是连接和协调人类社会的经济系统与其生存发展所必需的
<正>文献[2]曾获国家教委第三届全国普通高校优秀教材一等奖,从文献[1]到文献[2]历时30多年共三个版本并多次印刷,是国内读者最多影响最大的材料力学教材之一,也是建设人才教
拓扑结构是逻辑代数领域的重要研究内容之一,为了揭示FI代数上的拓扑结构,基于模糊滤子诱导的同余关系在FI代数上构造一致拓扑空间并讨论其拓扑性质,证明了:(i)一致拓扑空间