supported by the National Natural Science Foundation of China(Nos.61471314 and 61271124);the Zhejiang Provincial Natural Science Foundation(No.LY13F010001);the National Key Technology R&D Program of China(Nos.2013BAH27F01,2013BAH27F02,and 2013BAH27F03)
To simplify the process for identifying 12 types of symmetric variables in Boolean functions, we propose a new symmetry detection algorithm based on minterm expansion or the truth table. First, the order eigenvalue ma...
supported by the Zhejiang Provincial Natural Science Foundation,China(No.LY15F010011);the National Natural Science Foundation of China(Nos.61771179,61471314,and 61271124)
Compared with complementary metal–oxide semiconductor(CMOS), the resonant tunneling device(RTD) has better performances; it is the most promising candidate for next-generation integrated circuit devices. The universa...
Project supported by the National Natural Science Foundation of China(Nos.61471314 and 61271124);the National Social Science Foundation of China(No.12AZD121);the Zhejiang Provincial Natural Science Foundation of China(No.LY13F010001);the National Key Technology Research and Development Program of the Ministry of Science and Technology of China(Nos.2013BAH27F01 and 2013BAH27F02)
To simplify the process for identifying 12 types of symmetric variables in the canonical OR-coincidence(COC) algebra system, we propose a new symmetry detection algorithm based on OR-NXOR expansion. By analyzing the r...