-
题名神经网络化简非多项式混合布尔算术表达式
被引量：1
- 1
-
-
作者
刘彬彬
凤维杰
郑启龙
李京
-
机构
中国科学技术大学计算机科学与技术学院
中国科学技术大学安徽省高性能计算重点实验室
-
出处
《小型微型计算机系统》
CSCD
北大核心
2023年第3期449-455,共7页
-
基金
国家核高基重大专项项目(2012ZX01034-001-001)资助。
-
文摘
混合布尔算术表达式是指混合使用了位运算符和算术运算符的表达式,其是一种先进的软件混淆技术.现有的反混淆方法虽然能够化简特定类型的混合布尔算术表达式,但是对非多项式混合布尔算术表达式仅有有限的化简效果.本文提出一种字符串到字符串的解决方案NeuSim,它通过神经网络来学习和化解非多项式混合布尔算术表达式.首先,本文分别构建基于序列到序列架构和图序列架构的神经网络模型.其次,本文生成一个大规模的非多项式混合布尔算术表达式数据集,它包含一百万个形式多样的表达式样本.在数据集上训练之后,NeuSim可以将一个非多项式混合布尔算术表达式化简为等价的简单表达式.实验结果表明,NeuSim的化简正确率是已有方法的8倍,并且其化简时间低于0.01秒.
-
关键词
混合布尔算术表达式
表达式化简
序列到序列神经网络
图序列神经网络
-
Keywords
Mixed Boolean-Arithmetic expression
expression simplification
sequence-to-sequence neural network
graph-to-sequence neural network
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名变电站五防闭锁规则库生成法的实现
被引量：11
- 2
-
-
作者
裴佩
吴晓博
王浩
-
机构
山东大学威海分校信息工程学院
积成电子股份有限公司
-
出处
《电力系统自动化》
EI
CSCD
北大核心
2009年第8期51-55,共5页
-
文摘
《电力系统自动化》杂志2008年第20期《根据变电站一次接线图导出闭锁公式的方法》一文从理论上推导出了一种生成变电站五防闭锁规则库的方法。在该文的基础上,文中对该方法做了进一步的完善和改进,并着重探讨了生成五防闭锁规则库的具体实现方案,编写了应用软件并完成调试运行,验证了该方法的可行性。由于五防闭锁规则库是在离线情况下生成的,因此,必须以布尔型变量代替实际运行时断路器和刀闸的状态量。将断路器和刀闸的状态与布尔型变量进行映射并对含有布尔型变量矩阵的运算及化简是文中最大的难点和技术关键点。文中找到了一种新的计算可达矩阵的算法,大大简化了化简步骤,提高了运算速度,将理论算法变成了实用软件工具。
-
关键词
五防闭锁规则库
逻辑表达式化简
矩阵乘法
可达矩阵
邻接矩阵
-
Keywords
rule storeroom of mis-operation prevention
simplification of logical expressions
multiplication of matrix
accessible matrix
adjacency matrix
-
分类号
TM63
[电气工程—电力系统及自动化]
-
-
题名专用字符集译码逻辑的程序优化设计
被引量：2
- 3
-
-
作者
张秀山
徐炳良
吴艳征
-
机构
海军工程大学管理工程系
-
出处
《海军工程大学学报》
CAS
2001年第6期75-78,共4页
-
文摘
提出了一种组合逻辑译码电路优化设计的基本原则 ,给出了基于该优化设计原则的程序设计所涉及的关键数据结构和算法 ,并利用现有中小规模译码驱动电路 744 8系列芯片和门电路等实现了工程实践中需要的特殊字符集译码优化设计的参考电路 .
-
关键词
逻辑表达式化简
程序设计
专用字符集译码逻辑
组合逻辑译码电路
-
Keywords
decoding
simplification of logic expression
programming
-
分类号
TP331.1
[自动化与计算机技术—计算机系统结构]
-
-
题名相容关系模型及其在逻辑优化中的应用
被引量：1
- 4
-
-
作者
王好为
闫继雄
柴晶
陈泽华
-
机构
太原理工大学信息工程学院
-
出处
《计算机科学与探索》
CSCD
北大核心
2018年第3期502-510,共9页
-
基金
国家自然科学基金
Nos.61402319
+2 种基金
61403273
山西省自然科学基金
No.2014021022-4~~
-
文摘
逻辑表达式化简是数字电路分析与设计的重要内容,基于相容关系的粒计算模型是处理不完备信息的有效工具。定义了不完备真值表,并将传统的逻辑表达式化简转化为不完备真值表的规则提取,从多粒度角度出发,在由粗到细的粒度空间下,计算每个属性集合的相容矩阵和逻辑关系矩阵,根据矩阵所包含信息之间的关系提出一种新的逻辑表达式化简算法。最后通过定理证明、实例分析和算法正确性分析验证了该算法的有效性。
-
关键词
逻辑表达式化简
粒计算
数字电路
相容矩阵
-
Keywords
logical expression reduction
granular computing
digital circuits
tolerance matrix
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
