买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：暨南大学

摘要：本发明公开了一种基于标记句式决策图的电路简化方法及系统，包括以下步骤：S1、将电子电路转换为布尔逻辑表达式；S2、采用标记句式决策图表征布尔逻辑表达式；S3、对标记句式决策图进行约简；S4、根据约简后的标记句式决策图更新布尔逻辑表达式；S5、根据更新后的布尔逻辑表达式设计简化后的电子电路。本申请与传统技术相比，将电子电路转化为标记句式决策图，通过对标记句式决策图进行约简从而达成简化电子电路的目的，采用的复合规则的二元关系最小化方法能够避免决策图约简过程中出现的规模较大、定义冲突与内存冗余的问题，同时可以更加稳定高效地简化电路，具有良好的应用前景。

主权项：1.一种基于标记句式决策图的电路简化方法，其特征在于，包括以下步骤：S1、将电子电路转换为布尔逻辑表达式；S2、采用标记句式决策图表征布尔逻辑表达式；S3、采用复合规则的二元关系最小化方法对标记句式决策图进行约简；所述复合规则包括有：压缩规则与修剪规则，所述修剪规则由标准修剪规则和零抑制修剪规则整合得到；所述二元关系最小化方法包括有：二元关系运算方法和动态最小化算法；对于第一标记句式决策图和第二标记句式决策图，所述二元关系运算方法具体包括以下步骤：判断所述第一标记句式决策图和第二标记句式决策图是否需要进行递归运算，若是，执行下一步；否则，根据输入进行运算得到计算结果并输出，若缓存没有该运算记录则将该次运算存储至缓存中；判断该次运算是否存在于缓存中，若是，从缓存中获取该次运算的结果并输出；否则，计算和的最深公共祖先结点，计算和的最深公共祖先结点；判断和是否相等，若是，执行下一步；否则，逆向采用修剪规则，将第一标记句式决策图处理为，将第二标记句式决策图处理为，执行结果决策图构建流程；判断和是否相等，若是，令，，执行结果决策图构建流程；否则，逆向采用修剪规则，将第一标记句式决策图处理为，将第二标记句式决策图处理为，执行结果决策图构建流程；其中，和分别表示该决策图结点依赖的两个变量树结点，且为的子树，采用表示，、、和均表示变量树结点；当该决策图结点为分解结点时，表示为一个集合，具体为： 其中，表示该集合中的第i个元素，每个元素由两个决策图结点组成，其中表示素数结点，表示子数结点，其中；当该决策图结点为终端结点时，表示四个终端符号之一，包括有：0、1、或；所述结果决策图构建流程具体为：对于和中的每一个元素的子数结点和素数结点进行二元操作得到新元素，具体为：，其中，表示二元操作，包括交集和并集；根据新元素构建结果决策图，对结果决策图采用压缩规则与修剪规则进行处理，输出处理后的结果并存储至缓存中；其中，和表示素数结点，和表示子数结点；所述动态最小化算法具体为：从变量树的根结点开始，在循环的若干变量树形态中选取其中规模最小的变量树形态；S4、根据约简后的标记句式决策图更新布尔逻辑表达式；S5、根据更新后的布尔逻辑表达式设计简化后的电子电路。

全文数据：

权利要求：

百度查询： 暨南大学 一种基于标记句式决策图的电路简化方法及系统