论文部分内容阅读
讨论了ｎ元布尔函数在交换自变量顺序而其函数值不变意义下的等价类计数问题．利用置换群的轮换指标多项式和Ｐｏｌｙａ计数定理，得到具有相同重量的函数等价类的计数方法，并给出ｎ＝５的计算实例．
n元布尔函数的等价类计数方法
【摘 要】
：
讨论了ｎ元布尔函数在交换自变量顺序而其函数值不变意义下的等价类计数问题．利用置换群的轮换指标多项式和Ｐｏｌｙａ计数定理，得到具有相同重量的函数等价类的计数方法，并给出ｎ＝５的计算实例．
【机 构】
：
深圳大学软科学系
【出 处】
：
深圳大学学报：理工版
【发表日期】
：
1994年3期
其他文献
晋棉１２号经１９９１－１９９２年省抗病区试多点鉴定，平均霜前波棉亩产７３．６９ｋｇ，比对照中棉１２只增产２２．４％；经１９９２－１９９３年２年生产示范多点试验，平均霜前皮棉亩产５９．９８ｋｇ，比对照增产１５．５％，是一个高产优质抗枯黄萎病棉花新品种。经方差分析，品种稳
研究表明，在市场经济条件下，企业所面临的财务风险类型众多，不同企业所对应的财务风险有所不同，形成原因也有一定的差异性。对于施工企业而言，财务风险的控制与防范已成为企业管理
氮掺杂石墨烯管,兼具了氮掺杂石墨烯独特的物化属性和一维中空结构的特点,使其在场发射阴极材料、新能源电池及超级电容器电极材料、超轻材料等领域有着广阔的应用前景,逐渐
对满天星正常组培苗和玻璃化苗的过氧化物酶和酯酶活性及同工酶进行了比较研究，结果表明，玻璃化苗过氧化物酶活性加强，而酯酶活性降低，玻璃化茎丢失一条靠近阳极端的酯酶同工酶条
随着水文科技不断进步和新仪器新设备广泛应用,无泥沙观测项目水文站在线自动监测前景广阔。高坝洲水文站借长江水文实施自动报汛之机实现了水位雨量自动测报,在长江水文方式
无线场强测试系统的软件结构设计,是各种测试功能是否实现的关键,通过合理的软件设计,将无线通信技术、计算机技术、GPS卫星定位技术、传感器技术、USB总线通信技术和信号分析等技术实现综合运用,并将计算机软硬件技术、数据采集存储技术、单片机编程技术,有机地融合于一体。
研究了酪蛋白在无引发剂条件下与甲基丙希酸甲酯(MMA)及其他单体的接枝聚合反应,通过大量实验确定了较佳反应条件,探讨了有关反应因素对接枝率的影响,对接枝共聚物用红外(IR)
讨论了用光波衍射理论分析衍射发散光波所成虚像的一种方法,推导出衍射成像公式,并给出应用实例。
传统比例积分微分（ＰＩＤ）控制器参数整定过程繁琐，对系统参数和环境的变化缺乏自适应性。本文介绍利用ＩＢＭ ＰＣ微机软件代替传统ＰＩＤ控制器，把ＰＩＤ控制与计算机的逻辑判断功能结合起来，使ＰＩＤ控制灵活，能满
选用不同抗旱类型（强抗、中抗、弱抗）大豆品种１５个，在田间自然干旱条件下，对大豆品种的气孔特性及其抗旱性的关系作了初步分析研究。结果表明：①不同大豆品种之间，气孔密度、单位叶面