基于正交矩阵的Bent-Negabent函数的构造

来源 :计算机应用与软件 | 被引量 : 4次 | 上传用户:youxiang123hao
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
证明文献[2]中关于Nega-Hadamard变换一个性质的对称性结果,然后指出文献[3]中一个间接构造Bent-Negabent函数方法不完全正确的问题,并给出了必要的修正条件。最后,基于正交矩阵保持重量不变的特性另外给出一种Maiorana-McFarland类Bent-Negabent函数的间接构造。
其他文献
逻辑函数的最佳覆盖 ,一直是逻辑综合领域的关键环节。尤其是大变量逻辑函数最佳覆盖 ,对复杂的逻辑综合更为重要 ,但也更加困难。本文在对逻辑覆盖算法研究的基础上 ,提出了适合大变量逻辑函数最佳覆盖的Beister改进算法。经过大量算题的测试表明 ,改进的列覆盖算法在时间复杂度和选择效果方面均优于Beister算法。
目的:通过在护理管理当中应用医院文化,可培养工作人员的爱岗敬业精神,提高护理质量。方法:将医院文化及护理管理相结合,把医院文化之精髓灌输在日常的管理中。结果:护理人员的综合
目的:探讨人类辅助生殖技术护理人员素质对妊娠结局的影响。方法:回顾分析从2012年12月到2014年7月来我院治疗不孕不育患者84例,设为观察组,抽取同期45例患者,设为对照组。对照组
Web服务事务协议放松了传统事务中的ACID属性的限制,重新定义了松耦合环境下事务性质,因此迫切需要对Web服务事务协议进行验证,以推进Web服务的工业化。采用多元π演算研究了Web服务事务协议形式化表达,详尽描述了WS-AT协议的两阶段提交协议2PCP,并定义了2PCP协议的原子性事务性质。最后,采用MWB工具证明了它的正确性。