固定极Reed-Muller展开式在布尔函数等效性的应用

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

固定极Reed-Muller展开式在布尔函数等效性的应用

谭扬波, 陈光

文章导航 > 电子科技大学学报 > 1999 > 28(2): 216-218

谭扬波, 陈光. 固定极Reed-Muller展开式在布尔函数等效性的应用[J]. 电子科技大学学报, 1999, 28(2): 216-218.

引用本文:

谭扬波, 陈光. 固定极Reed-Muller展开式在布尔函数等效性的应用[J]. 电子科技大学学报, 1999, 28(2): 216-218.

Tan Yangbo, Chen Guangju. Using Fired Polarity Reed-Muller Forms in Boolean Equivalence[J]. Journal of University of Electronic Science and Technology of China, 1999, 28(2): 216-218.

Citation:

Tan Yangbo, Chen Guangju. Using Fired Polarity Reed-Muller Forms in Boolean Equivalence[J]. Journal of University of Electronic Science and Technology of China, 1999, 28(2): 216-218.

固定极Reed-Muller展开式在布尔函数等效性的应用

谭扬波,
陈光

1.
成都电子科技大学自动化系CAT室成都 610054

基金项目:

电子部预研基金

作者简介:
谭扬波男 27岁博士生

中图分类号: TM93;TN407

Using Fired Polarity Reed-Muller Forms in Boolean Equivalence

1.
CAT Lab.,UEST of China Chengdu 610054

摘要: 介绍了布尔函数的固定极Reed-Muller展开式(FPRM),通过FPRM展开式验证了布尔函数的等效性。该方法通过确定布尔函数中各变量的平衡得到布尔函数的极性。当布尔函数的极性确定后即可得到其FPRM展开式,使用该方法叶布尔函数的进行展开验证布尔等效性时,工作量将大为降低。
- FPRM展开式 /
- 布尔等效 /
- 固定极 /
- 平衡
Abstract: This paper discusses the fixed polarity Reed-Muller (namely FPRM) form of Boolean function, and the Boolean equivalence can be checked through the FPRM form. A novel method is mentioned in this paper Using this method, the exact polarities of both the Boolean function and the FPRM from can be got which largely reduce the workload of Boolean.
- fixed polarity Reed-Muller form /
- boolean equivalence /
- fixed polarity /
- balance

[1]	来晋明, 徐会博, 李志友, 倪涛, 王超杰, 银军, 王海龙, 马晓华. 2～6 GHz 100 W高效率平衡式功率放大器的研制 . 电子科技大学学报, 2024, 53(1): 8-13. doi: 10.12178/1001-0548.2023054
[2]	郁湧, 钱天宇, 高悦, 艾合买提尼牙孜, 刘金卓. 基于结构平衡理论和高阶互信息的符号网络表示学习算法 . 电子科技大学学报, 2023, 52(5): 780-788. doi: 10.12178/1001-0548.2022168
[3]	丁要军, 王安宙. 基于CWGAN-GP平衡化的网络恶意流量识别方法 . 电子科技大学学报, 2022, 51(5): 760-765. doi: 10.12178/1001-0548.2022011
[4]	章国豪, 郑耀华, 李思臻, 林俊明, 陈思弟. 一种对负载不敏感的高功率平衡功率放大器 . 电子科技大学学报, 2016, 45(3): 321-326. doi: 10.3969/j.issn.1001-0548.2016.02.001
[5]	张鹏, 秦开宇, 蒋大钢, 邓科, 黄建, 幺周石. 光学前端平衡失配下的卫星相干接收性能 . 电子科技大学学报, 2016, 45(2): 306-311.
[6]	方炜, 邱亚杰, 刘晓东, 刘雁飞. 基于电容电荷平衡的Boost型变换器控制研究 . 电子科技大学学报, 2013, 42(2): 244-248. doi: 10.3969/j.issn.1001-0548.2013.02.013
[7]	廖一星, 潘雪增. 面向不平衡文本的特征选择方法 . 电子科技大学学报, 2012, 41(4): 592-595. doi: 10.3969/j.issn.1001-0548.2012.04.022
[8]	文尚胜, 王保争, 牛晶华, 李爱源. 聚合物白光发光二极管的研究进展 . 电子科技大学学报, 2011, 40(2): 307-311. doi: 10.3969/j.issn.1001-0548.2011.02.030
[9]	杨德强, 潘锦, 赵志钦, 聂在平. 适合对称天线的平衡输出高压纳秒级脉冲源研究 . 电子科技大学学报, 2011, 40(3): 367-369. doi: 10.3969/j.issn.1001-0548.2011.03.007
[10]	杨文峰, 胡予濮, 高军涛. 布尔函数的代数攻击 . 电子科技大学学报, 2010, 39(6): 831-834. doi: 10.3969/j.issn.1001-0548.2010.06.006
[11]	熊小莉, 袁红雁, 肖丹. 复合化学镀固定敏感物质的氧传感器研究 . 电子科技大学学报, 2007, 36(2): 285-287.
[12]	洪洁, 范修斌, 方刚, 路晓峰. 布尔函数最优连续化 . 电子科技大学学报, 2004, 33(5): 621-622,626.
[13]	何为, 范中晓, 霍彩红. 微分脉冲极谱测定痕量铊的研究 . 电子科技大学学报, 2004, 33(3): 309-311,315.
[14]	黄晓燕, 傅彦, 吴小涛. 固定通信台站的模糊综合评估 . 电子科技大学学报, 2004, 33(2): 129-132.
[15]	王利村, 邱昆, 王东, 王秀妮, 陈凯. 一种固定帧长的EPON MAC算法 . 电子科技大学学报, 2004, 33(6): 730-733.
[16]	刘克剑, 刘心松, 左朝树. 区分任务类型的资源负载平衡算法——TDSA . 电子科技大学学报, 2004, 33(5): 562-565.
[17]	赵玲. 合金平衡相图的数字化处理 . 电子科技大学学报, 2002, 31(4): 366-368.
[18]	陈勤. 严格平衡雪崩布尔函数的研究 . 电子科技大学学报, 2001, 30(1): 26-28,32.
[19]	杨存宇, 黄金源, 杨中海. 真空微电子三极管与四极管的模拟计算 . 电子科技大学学报, 1999, 28(1): 62-65.
[20]	李中云, 文舸一. Ka波段整流天线的谐波平衡法分析 . 电子科技大学学报, 1998, 27(6): 597-600.

WeChat

点击查看大图

计量

文章访问数: 4436
HTML全文浏览量: 216
PDF下载量: 74
被引次数: 0

固定极Reed-Muller展开式在布尔函数等效性的应用

谭扬波,
陈光

1. 成都电子科技大学自动化系CAT室成都 610054

基金项目:

电子部预研基金

作者简介:
谭扬波男 27岁博士生

收稿日期: 1998-06-26
修回日期: 1999-03-02
刊出日期: 1999-04-15

中图分类号: TM93;TN407

关键词:

摘要: 介绍了布尔函数的固定极Reed-Muller展开式(FPRM),通过FPRM展开式验证了布尔函数的等效性。该方法通过确定布尔函数中各变量的平衡得到布尔函数的极性。当布尔函数的极性确定后即可得到其FPRM展开式,使用该方法叶布尔函数的进行展开验证布尔等效性时,工作量将大为降低。

English Abstract

谭扬波, 陈光. 固定极Reed-Muller展开式在布尔函数等效性的应用[J]. 电子科技大学学报, 1999, 28(2): 216-218.

引用本文:

谭扬波, 陈光. 固定极Reed-Muller展开式在布尔函数等效性的应用[J]. 电子科技大学学报, 1999, 28(2): 216-218.

Tan Yangbo, Chen Guangju. Using Fired Polarity Reed-Muller Forms in Boolean Equivalence[J]. Journal of University of Electronic Science and Technology of China, 1999, 28(2): 216-218.

Citation:

Tan Yangbo, Chen Guangju. Using Fired Polarity Reed-Muller Forms in Boolean Equivalence[J]. Journal of University of Electronic Science and Technology of China, 1999, 28(2): 216-218.

全文HTML

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回

期刊在线

编辑办公

友情链接

电子科技大学

版权所有 © 《电子科技大学学报》编辑部

地址: 成都市建设北路二段四号电子科技大学主楼中350室电话: 028-83202308,83207559 Email: xuebao@uestc.edu.cn

本系统由北京仁和汇智信息技术有限公司开发