公共文化服务平台

共 2 条记录，以下是 1-2

全选清除导出

排序方式：

基于固定极Reed-Muller展开式的3阶可逆逻辑函数NP-NP等价判定: 2013年; 在可逆逻辑函数综合中,分类可以使模块重复使用。把布尔函数NP-N等价的概念推广到可逆逻辑函数中,得到了可逆逻辑函数NP-NP等价的概念;把最小项数为4的3元布尔函数根据辅因子的码值向量分成5类,并计算出了这5类布尔函数的固定极Reed-Muller(FPRM)展开式;把可逆逻辑函数的辅因子码值向量排序后是否相同作为可逆逻辑函数是否NP-NP等价的初步判定,当它们相同时,两个可逆逻辑函数NP-NP等价当且仅当它们的各个对应的输出分量有相同的变量映射,否则它们不是NP-NP等价的。运用这个方法可以判定任意的两个3阶可逆逻辑函数是否NP-NP等价。; 罗庆斌杨国武邵院华樊富有

基于QEMU仿真器的指令优化技术的研究与实现: 近年来，在计算机业的发展中经常出现软硬件发展不协调的情况，研究者们提出了代码移植技术来解决这一冲突。二进制翻译就是这其中应用较为广泛的技术之一。通过二进制翻译技术可以实现软件的跨平台性，使得不同体系结构的二进制可执行程序...; 邵院华; 关键词：仿真器寄存器

全选清除导出

共1页<1>

邵院华