Gro¨ bner基方法验证乘法器的Maple实现Maple Implementation of Verification Multiplier Based on Gro¨ bner Basis
刘佳姝, 张璇思, 江建国 下载量: 633 浏览量: 922
应用数学进展 Vol.9 No.11, November 17 2020, PDF, HTML, XML DOI:10.12677/AAM.2020.911220 被引量
基于GrO¨bner基方法的乘法器等价性验证Equivalence Verification of Multipliers Based on GrO¨bner Basis Method
张璇思, 刘佳姝, 江建国 下载量: 714 浏览量: 1,045
应用数学进展 Vol.10 No.1, January 28 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.101039 被引量
基于变量排序的乘法器电路验证结果的认证器Authenticator for Verification Results of Multiplier Circuits Based on Variable Ordering
史美琦, 齐 爽, 冯天烁, 江建国 下载量: 250 浏览量: 354
计算机科学与应用 Vol.13 No.10, October 27 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.1310196 被引量
GrO¨bner基法验证乘法器的设计与实现Design and Implementation of GrO¨bner Basis Verification Multiplier
吕妍颖, 张小盈, 江建国 下载量: 290 浏览量: 1,978
应用数学进展 Vol.10 No.10, October 26 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.1010369 被引量
面向物联网安全的素域SM2点乘硬件优化Hardware Optimization of Prime Field SM2 Point Multiplication for IoT Security
谭光昭, 周 骅 下载量: 203 浏览量: 304
运筹与模糊学 Vol.13 No.6, December 27 2023, PDF, HTML, XML DOI:10.12677/ORF.2023.136711 被引量
基于动态数组的加法器重写优化算法Adder Rewriting Optimization Algorithm Based on Dynamic Array
张小盈, 吕妍颖, 江建国 下载量: 317 浏览量: 712
应用数学进展 Vol.10 No.11, November 16 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.1011405 被引量
基于对偶变量的计算机代数证明的机器检验Machine Checking for Computer Algebraic Proofs Based on Dual Variables
魏峰玉, 黄怡桐, 刘 帅, 江建国 下载量: 203 浏览量: 301
应用数学进展 Vol.11 No.11, November 28 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111867 被引量
基于散列表的加法器重写优化算法Hash Table Based Adder Rewriting Optimization Algorithm
黄怡桐, 刘 帅, 魏峰玉, 江建国 下载量: 176 浏览量: 263
应用数学进展 Vol.11 No.11, November 29 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111874 被引量
基于指针数组的Gr?bner基方法的优化Optimization of Gr?bner Basis Method Based on Pointer Array
齐 爽, 冯天烁, 史美琦, 江建国 下载量: 269 浏览量: 356
计算机科学与应用 Vol.13 No.7, July 28 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.137147 被引量
数字–模拟混合传输装置的设计Design of Hybrid Transmission Device of Digital and Analog Signal
叶俊龙 下载量: 549 浏览量: 1,098 科研立项经费支持
软件工程与应用 Vol.11 No.2, April 21 2022, PDF, HTML, XML DOI:10.12677/SEA.2022.112039 被引量