甲酰基基态的平衡构型——量子化学从头计算考察

本文报导利用从头计算量子化学方法考察甲酰基的基态平衡构型,键角较应用INDO或CNDO/2计算的结果为优,更接近实验值。     

基于矩形覆盖的FPRM电路多级面积优化

Reed-Muller(RM)逻辑因其优越的性能而广泛应用于数字电路,本文提出一种固定极性RM(FixedPolarityRM,FPRM)逻辑函数的多级优化方法.首先将电路表示成XOR/AND形式的FPRM逻辑函数,再计算函数的kernels和co-kernels,并由其生成矩阵,然后从矩阵中搜索尽可能多的矩形覆盖,利用矩阵分块和贪心策略逐步提取公共变量,最后生成多级逻辑表达式.MCNC Benchmarks测试后的结果表明,本方法得到的表达式比原RM逻辑表达式减少66%的文字(literals)数目,比onset表方法的优化结果减少19%.