关于部分四值逻辑中完满对称函数集最小覆盖判定的一些结果

来源 :计算技术与自动化 | 被引量 : 0次 | 上传用户:zsj_bj
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对部分四值逻辑中保完满对称关系的78个准完备集按相似关系别除不属于最小覆盖的32个准完备集,为部分四值逻辑中准完备集最小覆盖的判定提供基础。
其他文献
随着校园网日益规模化和复杂化,校园网安全威胁越来越严重,因网络攻击等因素导致网络流量异常时有发生,流量异常检测与处理显得日益重要。本文对校园网络中流量异常进行分类,
兽医实验室是动物防疫体系的核心组成部分,是开展动物疫病监测、预警、预报的重要支撑手段。随着目前非洲猪瘟等重大动物疫病防控压力逐渐增大,兰兽研、哈兽研相继出现人感染
本文将大系统的递阶DISOPE方法与网络自动化技术相结合,研究了网络环境下复杂系统的集成优化控制方法,对其关键技术和存在的问题进行了研究和探讨.
讨论一类随机非线性系统的在线优化问题,系统中的非线性函数可以是未知的。在基于性能势的优化方程框架下,通过系统样本路径设计性能势函数的在线学习算法,进一步给出优化控制算
目前,我国15岁以上的人群中,高血压患病率为11.88%.人群中仅有53%的人测量过血压,44%的人知道自己的血压水平,服药率仅为25%,血压有效控制率仅5%,高血压病的防治呈知晓率低,
张俊发,男.汉族,生于1961年9月,陕西白水人.博士,教授。1982年7月在陕西机械学院(现“西安理工大学”)农田水利专业获得学士学位.1985年3月在陕西机械学院(现“西安理工大学”)水工结构
近30多年来,机械镀技术取得了较大的发展,但相比于传统的电镀、热浸镀、热喷涂等技术,机械镀的工艺原理尚不成熟、工艺控制尚不精确、镀种较为单一、应用推广较为缓慢。鉴于
胆石症及胆道蛔虫病(简称胆蛔病),是内科急诊中较常见病之一,我院自1997年9月至2001年8月采用HD-89-VA型推拿按摩运经仪(北京宏波自动化控制设备厂生产),配合解痉药治疗胆石
针对量子粒子群算法存在的问题,设计基于公共历史的两种群并行搜索的量子粒子群算法。在利用群体历史优质解及最优粒子变异的基础上,对粒子群进行筛选,加快粒子群的收敛速度,并采