Results 1 to 10 of about 160 (84)
Zhejiang Daxue xuebao. Lixue ban, 2023 针对现有的二维形状内蕴对称检测方法表现欠佳的问题，提出了基于函数映射的二维形状内蕴对称稠密点对应谱优化（FM-2DSISD）方法。首先，设计了对噪声数据鲁棒的稀疏特征对称点对提取算法。其次，利用特征对称点对和函数映射框架，建立了以保持函数映射矩阵每个主子矩阵对角正交性为优化目标的数学模型，证明了该优化目标能保持内蕴对称映射的等距性。借助谱上采样技术，通过频谱域和空间域交替迭代优化函数映射矩阵和逐点映射矩阵。数值实验表明，FM-2DSISD方法对二维光滑形状和噪声形状的检测效果均优于现有检测方法。
刘圣军(LIU Shengjun) +3 more
doaj +1 more source
Synthesis of symmetric functions based on RM type universal logic module ULM3(基于RM型通用门ULM3的对称函数综合)
Zhejiang Daxue xuebao. Lixue ban, 2008 阐述了基本RM型对称函数的定义和性质，给出了任意n变量对称函数在n — 1变量基本RM型对称函数完备集中展开系数的计算公式，在此基础上，提出了基于RM型三变量通用逻辑门ULM3的变量数为奇数或偶数的对称函数综合方法，实例验证了上述方法的有效性.
QIUXiao-hua(邱晓华) +1 more
doaj +1 more source
Containment measures of axisymmetric convex domains(轴对称凸域的包含测度)
Zhejiang Daxue xuebao. Lixue ban, 2022 为研究轴对称凸域的包含测度，以等腰梯形域为例，采用直线的广义法式方程，给出了等腰梯形域的广义支持函数与限弦函数的解析式。采用限弦函数法，得到了等腰梯形域的包含测度，并取消了“等腰梯形的高不超过梯形的最短底边长”这一限制条件。
ZHAOJiangfu(赵江甫), LIUHai(刘海)
doaj +1 more source
Research on the properties of rotation symmetric boolean function(关于旋转对称布尔函数性质之研究)
Zhejiang Daxue xuebao. Lixue ban, 2011 旋转对称函数为特殊布尔函数，本文阐述了旋转对称函数的定义，提出了旋转对称函数的性质，并给出了相应的证明，讨论了该函数在k图、bj图、谱系数图中的特点.
YUANShu-hong(袁书宏) +2 more
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2019 旋转对称逻辑函数在密码学函数构造领域有广泛应用。针对含无关项旋转对称逻辑函数检测中存在的不足，从含无关项逻辑函数的定义和旋转对称函数的性质出发，提出了检测含无关项旋转对称逻辑函数的快速算法。该算法通过判断逻辑函数1 值最小项二进制编码周期旋转后产生的新编码同1 值最小项及无关项二进制编码的重复性实现快速检测。结果表明，快速算法在适用的逻辑函数变量数、含无关项旋转对称逻辑函数检测的适用性和检测过程的复杂度方面均优于现有的表格方法与谱系数方法。
XUFeng(徐锋), LIXiaohua(厉晓华)
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2007 分析了函数的CRM展开式中和式项所含的部分变量取反引起的变化，在此基础上提出了直接检测CRM型全对称函数以及部分变量取反的CRM型对称函数的新方法，并以实例加以说明.与传统方法相比，该法使基于逻辑函数对称性的逻辑设计更简单、更有效.
YINGShi-yan(应时彦) +2 more
doaj +1 more source
Detecting rotation symmetric function based on 0-1 coded spectral technique(基于0-1编码谱技术检测旋转对称函数)
Zhejiang Daxue xuebao. Lixue ban, 2012 分析了旋转对称函数的0-1编码Hadamard变换谱系数的特点，给出了变量数n为素数的旋转对称函数的必要条件，提出了基于0-1编码Hadamard变换检测旋转对称函数的方法，该方法具有可编程操作以及同时可检测其他特殊布尔函数等优点.
MARu-xing(马汝星“) +1 more
doaj +1 more source
Symmetric function based on OR-coincidence algebraic system and its logic synthesis(CRM型对称函数及其逻辑综合)
Zhejiang Daxue xuebao. Lixue ban, 2010 逻辑函数的CRM展开式是逻辑函数在或-符合代数系统中的一种基本表示形式,而对称函数又有许多独特的优点.在讨论了与-或-非代数系统中和最大项对应的对称函数定义、性质基础上,研究了CRM型基本对称函数的定义及其性质.进而提出了基于全加器以及CRM型PLA网络的逻辑综合,还举例说明了逻辑综合过程.该综合的PLA网络是以或、符合二种运算作为基本运算的,类似于与、异或的电路实现, CRM型对称函数常常可以导致使用较少的门及较少的连线,更重要的是它具有易于测试等特点.本文的讨论揭示了CRM型基本对称函数的内在规律 ...
ZHAOMei-ling(赵美玲) +1 more
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2017 为简化布尔函数中12类对称变量的检测过程，提出了含无关项布尔函数基于最小项展开系数的对称变量检测算法.该算法通过判别布尔函数有序特征值矩阵的约束条件以实现对称变量的快速检测.应用结果表明，与现有方法相比，算法在适用的布尔函数变量数、检测类型、检测含无关项布尔函数和检测过程的复杂度方面表现较优.
ZHANGYongbo(张永波) +1 more
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2001 开关-信号理论与传统的电路设计理论不同，它不是以门电路或其它集成块为基本单元，而是以开关元件为构造单元.本文应用开关-信号理论指导二变量基本对称函数产生器及双向对称模拟开关的设计，并提出了基于双向对称模拟开关的对称函数的电路实现.
XUYue-hua(徐月华) +1 more
doaj +1 more source