固定极性Reed-Muller电路最佳延时极性搜索 被引量：6

1

作者 汪鹏君 王振海 +1 位作者 陈耀武 李辉 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2013年第2期361-366,377,共7页

为优化固定极性Reed-Muller(FPRM)电路延时,提出一种适合中小规模FPRM电路的最佳延时极性搜索算法.该算法利用代数法化简某一极性下的FPRM表达式,利用类Huffman算法估计该FPRM电路延时,根据中小规模集成电路的特点结合极性转换技术穷尽... 为优化固定极性Reed-Muller(FPRM)电路延时,提出一种适合中小规模FPRM电路的最佳延时极性搜索算法.该算法利用代数法化简某一极性下的FPRM表达式,利用类Huffman算法估计该FPRM电路延时,根据中小规模集成电路的特点结合极性转换技术穷尽搜索延时最优的FPRM极性.对15个可编程逻辑阵列(PLA)格式MCNC Benchmark电路进行测试,结果表明:与其他2种FPRM表达式优化算法相比,与项数分别平均减少了24.3%和25%;与时序交互系统(SIS)优化后的电路相比,延时平均节省了22.2%. 展开更多

关键词 固定极性Reed-Muller 代数化简 延时优化 极性搜索

在线阅读 下载PDF 职称材料

基于K图的函数RM展开式在固定极性下的最小化 被引量：10

2

作者 刘观生 陈偕雄 《浙江大学学报（理学版）》 CAS CSCD 2003年第4期405-408,共4页

分析了K图的性质,发现在K图中过某格的所有聚合圈相应的各乘积项所含变量与该格对应的最小项均有相同的极性,在此基础上提出了得到基于K图函数RM展开式在固定极性下的最小化的图形方法.该方法可以从K图直接得到函数的最小化的RM展开式,... 分析了K图的性质,发现在K图中过某格的所有聚合圈相应的各乘积项所含变量与该格对应的最小项均有相同的极性,在此基础上提出了得到基于K图函数RM展开式在固定极性下的最小化的图形方法.该方法可以从K图直接得到函数的最小化的RM展开式,从而省略了传统的把K图转变为bj图再求最小化的步骤.它具有直观、简单、易于掌握等特点.此外,文中还提出了该方法的改进算法. 展开更多

关键词 逻辑电路 逻辑函数 K图 RM展开式 固定极性 最小化 BJ图 聚合圈

在线阅读 下载PDF 职称材料

基于K图的逻辑函数OC展开式在固定极性下的化简 被引量：3

3

作者 万旭 唐金花 陈偕雄 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2006年第1期48-51,57,共5页

分析了K图在表示逻辑函数最大项展开式的特点和性质,发现在K图中作含某格的所有聚合圈相应的和项中所含变量的极性与该格对应的最大项具有相同的极性.在此基础上提出了基于K图的逻辑函数OC展开式在固定极性下化简的新方法.该方法可以利... 分析了K图在表示逻辑函数最大项展开式的特点和性质,发现在K图中作含某格的所有聚合圈相应的和项中所含变量的极性与该格对应的最大项具有相同的极性.在此基础上提出了基于K图的逻辑函数OC展开式在固定极性下化简的新方法.该方法可以利用K图直接得到逻辑函数的最小化的OC展开式,从而省略了传统方法把K图转换为dj图的步骤,具有直观、方便等特点. 展开更多

关键词 K图 固定极性 或符合展开

在线阅读 下载PDF 职称材料

大电路固定极性Reed-Muller逻辑快速转换算法 被引量：3

4

作者 王玉花 王伦耀 夏银水 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2014年第11期2091-2098,共8页

针对已有的列表技术在极性转换中只能解决中小规模电路的问题,提出一种基于不相交乘积项列表技术的快速转换算法.首先将待处理的逻辑函数表示为不相交乘积项之和形式;然后通过对已有的基于最大项的列表技术进行分析和改进,使得改进后的... 针对已有的列表技术在极性转换中只能解决中小规模电路的问题,提出一种基于不相交乘积项列表技术的快速转换算法.首先将待处理的逻辑函数表示为不相交乘积项之和形式;然后通过对已有的基于最大项的列表技术进行分析和改进,使得改进后的列表技术可以实现将逻辑函数从不相交乘积项的AND?OR形式向固定极性XNOR?OR形式的Reed-Muller逻辑转化.文中算法用C编程实现,并用MCNC标准电路进行测试.实验结果表明,该算法可以快速实现大电路的极性转换,并且具有运算速度对电路的输入变量数不敏感的特点. 展开更多

关键词 Reed-Muller逻辑 固定极性 极性转换 不相交乘积项 逻辑综合

在线阅读 下载PDF 职称材料

异或函数在固定极性下化简的新算法 被引量：3

5

作者 金瓯 陈偕雄 《杭州大学学报（自然科学版）》 CSCD 1992年第2期227-228,共2页

文献[1]提出了基于b_i图的异或函数在固定极性下化简的算法,但对于n变量需要进行n-1次图形变换,因此有必要研究新的化简算法.

关键词 异或函数 固定极性 化简

在线阅读 下载PDF 职称材料

函数CRM展开式在固定极性下最小化的图形方法

6

作者 肖林荣 赵美玲 陈偕雄 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2006年第1期58-61,共4页

分析了dj图、K图的性质,在此基础上提出了基于dj图、K图的函数CRM展开式在固定极性下最小化的图形方法.它具有直观、简单、易于掌握等特点.

关键词 CRM展开式 固定极性 DJ图 K图 图形法

在线阅读 下载PDF 职称材料

逻辑函数的布尔除/符合展开在固定极性下化简的表格方法

7

作者 练益群 陈偕雄 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2008年第5期530-533,共4页

阐述了用逻辑函数的布尔除/符合展开的3种表示形式:代数表示,图形表示和表格表示,讨论了变量极性改变与0值布尔除项表变化的关系.在此基础上提出了逻辑函数的布尔除/符合展开在固定极性下化简的两种表格方法:串行表格方法和串并行表格方... 阐述了用逻辑函数的布尔除/符合展开的3种表示形式:代数表示,图形表示和表格表示,讨论了变量极性改变与0值布尔除项表变化的关系.在此基础上提出了逻辑函数的布尔除/符合展开在固定极性下化简的两种表格方法:串行表格方法和串并行表格方法,指出了它们各自的优缺点,并以实例展示具体化简程序. 展开更多

关键词 表格方法 布尔除/符合展开 固定极性 函数化简

在线阅读 下载PDF 职称材料

逻辑函数的布尔减-异或、布尔除-符合展开式在固定极性下的最小化方法 被引量：1

8

作者 许翔 周振峰 肖林荣 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2006年第5期540-543,共4页

在混合极性下的减-异或、除-符合展开式的最小化方法基础上,讨论了在固定极性下减-异或、除-符合展开式的代数化简法和图形化简法,并给出了化简实例.实例验证了上述方法的有效性.该法有助于进一步完善减-异或、除-符合代数系统的理论并... 在混合极性下的减-异或、除-符合展开式的最小化方法基础上,讨论了在固定极性下减-异或、除-符合展开式的代数化简法和图形化简法,并给出了化简实例.实例验证了上述方法的有效性.该法有助于进一步完善减-异或、除-符合代数系统的理论并促进新的数字元件及新一代数字电路的研发. 展开更多

关键词 布尔减-异或代数系统 布尔除-符合代数系统 固定极性 代数化简法 图形化简法

在线阅读 下载PDF 职称材料

不同极性固定相上气相色谱保留指数机器学习集成预测模型的构建

9

作者 王芊懿 朱永乐 李雪花 《色谱》 北大核心 2025年第4期355-362,共8页

保留指数是在色谱分析中用于表征化合物保留性能的指标,是用于化合物结构鉴定的重要参数。化合物在不同极性固定相上的保留指数差异,使得当前基于单一极性固定相的保留指数预测模型无法有效应用于多种极性固定相的保留指数预测。因此,... 保留指数是在色谱分析中用于表征化合物保留性能的指标,是用于化合物结构鉴定的重要参数。化合物在不同极性固定相上的保留指数差异,使得当前基于单一极性固定相的保留指数预测模型无法有效应用于多种极性固定相的保留指数预测。因此,本研究建立了不同极性固定相上气相色谱保留指数预测模型,从文献中收集到2499种化合物在8种类型固定相上的保留指数数据共4183条,根据McReynolds常数进一步将固定相划分为强极性、极性、中等极性、弱极性与非极性五类,耦合化合物分子结构特征与固定相极性独热编码特征作为模型输入,采用9种算法构建了机器学习预测模型。基于模型性能最优的XGBoost和LightGBM算法,采用投票回归建立集成学习模型,其训练集决定系数(R^(2))为0.99,训练集均方根误差(RMSE)为101.85,测试集R^(2)为0.97,测试集RMSE为107.44。采用Williams图表征模型的应用域,有94%以上的数据在应用域内。本研究综合固定相极性和化合物结构两类复合特征,成功开发了能够适应多种极性固定相的保留指数预测模型,克服了现有单一极性固定相模型的局限性,极大地拓宽了模型的应用范围。与个体机器学习模型相比,集成模型体现出了更好的稳健性和预测能力。模型的建立对于提高气相色谱靶标和非靶标分析的效率和准确性具有重要的科学意义和实际价值。 展开更多

关键词 气相色谱保留指数 集成学习 不同极性固定相 McReynolds常数

在线阅读 下载PDF 职称材料

复极性固定床电解槽内电极电位的分布 被引量：30

10

作者 周抗寒 周定 《环境化学》 CAS CSCD 北大核心 1994年第4期318-322,共5页

本文通过设计独特的测量和检验实验装置,对复极性固定床电解槽内的电极电位进行了测试.发现了槽内电极电位的不均匀规律,并证明槽内反应的动力就是槽内粒子与溶液的电位之差,可通过调节它的变化来控制反应的进行.

关键词 复极性固定床 电解槽 电极 电位

在线阅读 下载PDF 职称材料

复极性固定床电解槽中粒子电极感应电位研究 被引量：7

11

作者 周集体 杨松 +1 位作者 艾尼瓦尔 胡军 《环境科学与技术》 CAS CSCD 2004年第6期27-29,共3页

对复极性固定床电解槽中粒子电极感应电位进行了研究。结果表明 ,粒子电极材料、无机盐含量和有机物含量均对粒子电极电位有影响。对不同的粒子电极材料 ,粒子电极电位随无机盐含量和有机物含量变化的趋势不同。

关键词 复极性固定床电解槽 粒子电极 感应电位

在线阅读 下载PDF 职称材料

复极性固定床电解反应器对活性染料的降解 被引量：12

12

作者 管玉江 杨卫身 《环境化学》 CAS CSCD 北大核心 1999年第3期270-273,共4页

本文用复极性固定床电解反应器对16种活性染料的脱色降解进行了试验研究。结果表明:染料脱色率在99.6%以上,出水上清液COD去除率绝大部分在90%以上,对活性翠蓝KN-G和活性深蓝KM-GR的铜去除率分别为97.0%和99.7%。

关键词 复极性固定床 活性染料 脱色 降解 废水处理

在线阅读 下载PDF 职称材料

废水处理中的复极性固定床电解槽技术 被引量：7

13

作者 李勇 朱又春 宋卫锋 《工业水处理》 CAS CSCD 2002年第12期5-8,共4页

复极性固定床电解槽 (bipolarpackedbedcell,BPBC)是在三维电极原理基础上发展起来的新型电化学工程技术 ,其在治理含氰及重金属废水、有机废水和印染废水方面具有良好的处理效果。介绍了BPBC的电化学特性 ,综述了国内外BPBC废水处理技... 复极性固定床电解槽 (bipolarpackedbedcell,BPBC)是在三维电极原理基础上发展起来的新型电化学工程技术 ,其在治理含氰及重金属废水、有机废水和印染废水方面具有良好的处理效果。介绍了BPBC的电化学特性 ,综述了国内外BPBC废水处理技术应用现状及其机理研究的概况。同时 ,提出了该技术目前存在的问题 。 展开更多

关键词 复极性固定床电解槽 三维电极 废水治理 电化学 电解处理 异相电子转移反应

在线阅读 下载PDF 职称材料

碳数规律中∂A/∂(1/r)、∂B'/∂(1/r)值与固定液极性的关系 被引量：1

14

作者 熊士荣 杨军良 《理化检验（化学分册）》 CAS CSCD 北大核心 2005年第1期32-34,36,共4页

采用n-烷烃在不同极性的固定液中,在不同色谱柱温下试验的大量数据表明,碳数规律中A、B'值与柱温倒数(1/T)的关系中,(?)/(?)(1/T)值随固定液极性增加而增大;(?)B'/(?)(1/T)值随固定液极性增加而减小,即(?)A/(?)(1/T)值与Mertyno... 采用n-烷烃在不同极性的固定液中,在不同色谱柱温下试验的大量数据表明,碳数规律中A、B'值与柱温倒数(1/T)的关系中,(?)/(?)(1/T)值随固定液极性增加而增大;(?)B'/(?)(1/T)值随固定液极性增加而减小,即(?)A/(?)(1/T)值与Mertynolder常数成正比;(?)B'/(?)(1/T)值与Mertynolder常数成反比。 展开更多

关键词 气液色谱 碳数规律 ∂A/∂(1/T)值 ∂B’/∂(1/T)值 固定液极性

在线阅读 下载PDF 职称材料

用极性固定液改性高聚物PLOT柱的色谱性能研究

15

作者 杨义芳 刘汉勋 沈宣铭 《色谱》 CAS CSCD 北大核心 1996年第5期381-384,共4页

以乙基乙烯苯为单体、二乙烯苯为交联剂，在原位聚合制备的高聚物ＰＬＯＴ柱上用极性固定液ＰＥＧ－２０Ｍ和β，β＇－氧二丙腈进行改性，制备成高聚物气－液－固毛细管柱。通过对柱子热力学参数ｋ＇值的测定，可研究液相在分离过程中... 以乙基乙烯苯为单体、二乙烯苯为交联剂，在原位聚合制备的高聚物ＰＬＯＴ柱上用极性固定液ＰＥＧ－２０Ｍ和β，β＇－氧二丙腈进行改性，制备成高聚物气－液－固毛细管柱。通过对柱子热力学参数ｋ＇值的测定，可研究液相在分离过程中的作用及形成气－液－固分离机理所需的液相量。通过制作ｖａｎＤｅｅｍｔｅｒ曲线可研究柱子的动力学特性。发现在形成气－液－固柱后，曲线有明显的拐点，此时是否仍符合Ｇｏｌａｙ方程尚需作进一步的研究。 展开更多

关键词 气相色谱法 高聚物 毛细管柱 极性固定液 改性

在线阅读 下载PDF 职称材料

不同惰性填料复极性固定床电解槽处理对硝基酚钠废水行为比较

16

作者 郭士元 张爱丽 周集体 《电化学》 CAS CSCD 北大核心 2006年第2期165-169,共5页

分别以磺化煤、果壳、PVC塑料、回收旧塑料等4种密度与活性炭相当的惰性填料替代工程上广泛使用的石英砂,结合适当的反冲洗解决复极性固定床电解槽(BPBC,b ipolar packed bed cell)存在的电极污染及填料分层问题.并以含有对硝基酚钠的... 分别以磺化煤、果壳、PVC塑料、回收旧塑料等4种密度与活性炭相当的惰性填料替代工程上广泛使用的石英砂,结合适当的反冲洗解决复极性固定床电解槽(BPBC,b ipolar packed bed cell)存在的电极污染及填料分层问题.并以含有对硝基酚钠的废水降解实验考察其应用的可行性.结果表明,以回收旧塑料及磺化煤作为填料的BPBC处理效果优于石英砂的,而果壳、PVC塑料的与石英砂的处理效果相当.反冲洗后,以磺化煤、果壳、PVC塑料和回收旧塑料作填料的电解槽再生率均大于石英砂的. 展开更多

关键词 复极性固定床电解槽(BPBC) 惰性填料 反冲洗 对硝基酚钠

在线阅读 下载PDF 职称材料

一种新型极性脲丙基-C30固定相的制备和性能评价 被引量：3

17

作者 卫敏 金小青 赵岳星 《色谱》 CAS CSCD 北大核心 2019年第2期143-148,共6页

以3-脲丙基三甲氧基硅烷为偶联剂,制备了一种新型极性脲丙基-C30(TPU-C30)反相色谱固定相。采用扫描电子显微镜、元素分析、红外光谱和热分析等对该固定相进行表征。结果表明,TPU-C30固定相已成功制备,连续制备3次固定相,其元素含量的... 以3-脲丙基三甲氧基硅烷为偶联剂,制备了一种新型极性脲丙基-C30(TPU-C30)反相色谱固定相。采用扫描电子显微镜、元素分析、红外光谱和热分析等对该固定相进行表征。结果表明,TPU-C30固定相已成功制备,连续制备3次固定相,其元素含量的相对偏差均小于5%,说明该合成工艺重复性良好。以不同极性、位置异构、碱性化合物为溶质探针,以传统的C18色谱柱与C30色谱柱为参比,对制备的固定相的色谱性能进行了研究。研究结果表明,TPU-C30固定相具有不同于传统C18柱、C30柱的选择性和更优的择形性,明显改善了碱性物质的峰形,其具有广阔的应用空间。 展开更多

关键词 高效液相色谱 极性嵌入 极性脲丙基-C30固定相 制备 择形性

在线阅读 下载PDF 职称材料

基于分群游走机制的灰狼优化算法的FPRM逻辑电路面积优化

18

作者 曹新龙 何振学 +4 位作者 王伊瑾 赵晓君 张艳 肖利民 王翔 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 2024年第4期521-527,共7页

针对基于XNOR/OR的固定极性Reed-Muller电路(FPRM)逻辑电路面积优化方法搜索最优解速度较慢,易陷入局部最优等问题,提出一种新的FPRM逻辑电路面积优化方法,利用基于分群游走机制的灰狼优化算法(GDGWO)搜索电路面积最小的FPRM电路.GDGWO... 针对基于XNOR/OR的固定极性Reed-Muller电路(FPRM)逻辑电路面积优化方法搜索最优解速度较慢,易陷入局部最优等问题,提出一种新的FPRM逻辑电路面积优化方法,利用基于分群游走机制的灰狼优化算法(GDGWO)搜索电路面积最小的FPRM电路.GDGWO在初始化种群后,采取“轮盘赌”选择算法选出合适的新群体头狼,以提高种群多样性;执行种群分裂机制,防止因原始种群陷入局部最优而降低算法的鲁棒性;在分群搜索开发过程中引入改进后的随机游走策略,使灰狼种群能够更快地包围猎物,提高算法的收敛速度.基于北卡罗来纳微电子中心Benchmark测试电路的实验结果表明,GDGWO与粒子群算法相比,电路面积优化率提升57.42%;与黑猩猩算法相比,提升41.94%;与原始灰狼优化算法相比,提升43.68%. 展开更多

关键词 固定极性Reed-Muller电路 面积优化 灰狼算法 分群机制 随机游走

在线阅读 下载PDF 职称材料

基于不相交项并行列表技术的FPRM实现 被引量：6

19

作者 王玉花 王伦耀 夏银水 《电子与信息学报》 EI CSCD 北大核心 2014年第9期2258-2264,共7页

针对传统列表技术在逻辑函数从AND/OR形式转化成固定极性Reed-Muller(FPRM)过程中只能处理小规模电路的不足,该文提出一种基于不相交乘积项的并行列表技术。该技术能有效避免转化算法因逻辑函数输入变量增加引起最小项数量激增而导致效... 针对传统列表技术在逻辑函数从AND/OR形式转化成固定极性Reed-Muller(FPRM)过程中只能处理小规模电路的不足,该文提出一种基于不相交乘积项的并行列表技术。该技术能有效避免转化算法因逻辑函数输入变量增加引起最小项数量激增而导致效率低下甚至无法工作这种情况。另外,不同于已发表的用于实现大电路的转化算法,待处理的电路结构对该方法的性能影响很小。提出的算法用C语言编程实现,并用MCNC标准电路进行测试。实验结果表明所提算法可以对更大规模电路实现快速FPRM转换,并且算法速度对电路输入个数不敏感,但与待处理逻辑函数的不相交乘积项的数量有关。 展开更多

关键词 数字电路 Reed-Muller(RM)逻辑 固定极性 并行列表技术 逻辑优化

在线阅读 下载PDF 职称材料

基于近似计算技术的FPRM电路面积优化 被引量：1

20

作者 王伦耀 夏银水 储著飞 《电子学报》 EI CAS CSCD 北大核心 2019年第9期1868-1874,共7页

近似计算技术通过降低电路输出精度实现电路功耗、面积、速度等方面的优化.本文针对RM(Reed-Muller)逻辑中“异或”运算特点,提出了基于近似计算技术的适合FPRM逻辑的电路面积优化算法,包括基于不相交运算的RM逻辑错误率计算方法,及在... 近似计算技术通过降低电路输出精度实现电路功耗、面积、速度等方面的优化.本文针对RM(Reed-Muller)逻辑中“异或”运算特点,提出了基于近似计算技术的适合FPRM逻辑的电路面积优化算法,包括基于不相交运算的RM逻辑错误率计算方法,及在错误率约束下,有利于面积优化的近似FPRM函数搜索方法等.优化算法用MCNC (Microelectronics Center of North Carolina)电路进行测试.实验结果表明,提出的算法可以处理输入变量个数为199个的大电路,在平均错误率为5.7%下,平均电路面积减少62.0%,并在实现面积优化的同时有利于实现电路的动态功耗的优化且对电路时延影响不大. 展开更多

关键词 近似计算 RM函数 固定极性 逻辑优化

在线阅读 下载PDF 职称材料