课程文献中心 更多>>

关键词： 显著性目标检测   Frequency-tuned算法   GrabCut算法   可微分聚类   由“粗”到“精”  

摘要： 针对传统显著性检测算法分割精度低以及基于深度学习的显著性检测算法对像素级人工注释数据依赖性过强等不足,提出一种基于图割精细化和可微分聚类的无监督显著性目标检测算法。该算法采用由“粗”到“精”的思想,仅利用单张图像的特征便可以实现精确的显著性目标检测。首先利用Frequency-tuned算法根据图像自身的颜色和亮度得到显著粗图,然后根据图像的统计特性进行二值化并结合中心优先假设得到显著目标的候选区域,进而利用基于单图像进行图割的GrabCut算法对显著目标进行精细化分割,最后为克服背景与目标极为相似时检测不精确的困难,引入具有良好边界分割效果的无监督可微分聚类算法对单张显著图做进一步的优化。所提出的算法在ECSSD和SOD数据集上进行测试并与现有的7种算法进行对比,结果表明得到的优化显著图更接近于真值图,在ECSSD和SOD数据集上分别实现了14.3%和23.4%的平均绝对误差(MAE)。

关键词： Differential fault attack   Kreyvium   FLIP  

摘要： In this article, we propose key recovery attack on two stream ciphers: Kreyvium and FLIP530 (42, 128, 360) using Differential Fault Attack (DFA) technique. These two ciphers are being used in Fully Homomorphic Encryption (FHE) due to their low error growth during keystream generation. Kreyvium is an NFSR-based stream cipher and FLIP is a permutation-based stream cipher. We first show that the complete state of the Kreyvium can be recovered by injecting 3 faults and considering 450 many keystream bits. In case of FLIP, we show that if there is a 1-bit fault in the state of the cipher then from 9000 normal and faulty keystream bits the state (i.e., the secret key) of the cipher can be recovered. For single bit fault, one will require to solve a system of equations for each 530 possible fault locations to recover the correct key of FLIP. To the best of our knowledge, this is the first article which analyzes the security of these two FHE supported stream ciphers under DFA and it has been observed that DFA completely reveals the secret keys of these two ciphers with very minimal faults.

关键词： n阶导数   函数结构   统一规律  

摘要： 本文讨论了三种计算函数的n阶导数方法,主要探究在求导过程如何有效地寻找到导数结构中的规律,并通过举例说明了求解过程就是在探索各阶导数在形态上的统一规律.

关键词： 数据开放   微分博弈   收益分配  

摘要： 数据作为数字经济时代一种重要的生产要素,在国民经济运行中的作用越来越重要。然而,现阶段我国社会数据开放仍处于起步阶段,急需加快推进数据开放共享。为准确分析数据开放主体政府和企业的数据开放策略,运用微分博弈分别构建Nash非合作博弈、Stackelberg主从博弈和协同合作博弈模型,得到三种情形下政府和企业最优开放数据努力程度、社会数据开放水平最优轨迹以及最优收益函数;其次,在协同合作博弈情景下,将时间因素引入Nash谈判模型,进一步分析政府和企业合作时具有时间一致性的动态收益分配机制;最后,结合数值仿真对影响社会数据开放水平的相关参数进行灵敏性分析。研究结果发现,当政府获得收益分配比例大于1/3时,Stackelberg主从博弈下的政府和企业双方收益以及社会数据开放水平均高于Nash非合作情形;协同合作情形下,双方总收益和社会数据开放水平均能达到帕累托最优状态。

关键词： 运动分析   骨架动作识别   时空双仿射变换   微分不变量   通道增强   泛化能力  

摘要： 目的人体骨架的动态变化对于动作识别具有重要意义。从关节轨迹的角度出发,部分对动作类别判定具有价值的关节轨迹传达了最重要的信息。在同一动作的每次尝试中,相应关节的轨迹一般具有相似的基本形状,但其具体形式会受到一定的畸变影响。基于对畸变因素的分析,将人体运动中关节轨迹的常见变换建模为时空双仿射变换。方法首先用一个统一的表达式以内外变换的形式将时空双仿射变换进行描述。基于变换前后轨迹曲线的微分关系推导设计了双仿射微分不变量,用于描述关节轨迹的局部属性。基于微分不变量和关节坐标在数据结构上的同构特点,提出了一种通道增强方法,使用微分不变量将输入数据沿通道维度扩展后,输入神经网络进行训练与评估,用于提高神经网络的泛化能力。结果实验在两个大型动作识别数据集NTU(Nanyang Technological University)RGB+D(NTU 60)和NTU RGB+D 120(NTU 120)上与若干最新方法及两种基线方法进行比较,在两种实验设置(跨参与者识别与跨视角识别)中均取得了明显的改进结果。相比于使用原始数据的时空图神经卷积网络(spatio-temporal graph convolutional networks,ST-GCN),在NTU 60数据集中,跨参与者与跨视角的识别准确率分别提高了1.9%和3.0%;在NTU 120数据集中,跨参与者与跨环境的识别准确率分别提高了5.6%和4.5%。同时对比于数据增强,基于不变特征的通道增强方法在两种实验设置下都能有明显改善,更为有效地提升了网络的泛化能力。结论本文提出的不变特征与通道增强,直观有效地综合了传统特征和深度学习的优点,有效提高了骨架动作识别的准确性,改善了神经网络的泛化能力。

关键词： 温控系统   半导体制冷器TEC   PID控制算法   动态性能  

摘要： 为改善温控系统的性能,提高PID控制算法的适用范围,提出了一种基于STM32微处理器为控制核心,铂电阻 Pt1000和MAX31865构成温度采集电路,半导体制冷器 TEC和H 桥逻辑驱动电路实现对温度的调节,上位机通过无线传输电路接收实时的温度数据进行PID调节,将调节输出值发送给下位机软件实现一次闭环的温度调节控制。此外,使用基于微分器的PID控制算法实现系统的温度的调节,该方法不仅对输入信号进行高频滤波,同时得到输入信号的微分信号,具有处理携带噪声的输入信号的能力。实验结果表明,基于微分器的PID控制算法相比于常规的位置式PID、结合Bang-Bang控制的PID、微分先行的PID、步进式PID及变积分PID具有系统响应速度快、超调量小、误差小、鲁棒性等特点,提高了系统的动态性能,在工程温度控制方面具有一定的实用价值和应用价值。

关键词： 碳减排   碳限额与交易   远视短视行为   微分博弈  

摘要： 针对目前在碳限额与交易政策下供应链成员面临的最优决策问题,将供应链成员行为决策引入到供应链模型中,采用Stackelberg微分博弈方法构建了四个模型,得到不同模型的最优反馈策略与最优碳减排轨迹等,比较了各个模型的反馈策略与总利润。研究结果表明,当市场、政策参数满足一定约束时,制造商才会采用碳减排策略;当制造商与零售商均为远视者时,供应链成员的利润将会达到最大,碳减排量也最优。

关键词： 随机泛函微分方程   无限时滞   Razumikhin技巧   分量Lyapunov函数   ψ^(γ)-稳定  

摘要： 研究一类具有无限时滞随机泛函微分方程的稳定性问题.通过采用Razumihin技巧和分量Lyapunov函数方法,运用Itô公式,建立系统具有一般衰减稳定性的分量Razumihin型定理,从而获得系统具有一般衰减速率的p阶矩ψ^(γ)-稳定和a.s.ψ^(γ)-稳定的充分判据;最后通过2个例子阐明结果的有效性.

关键词： 跟踪微分器   捷联   导引头   视线角速率   解耦  

摘要： 利用跟踪微分器开展捷联导引头视线角速率提取算法研究。首先描述了跟踪微分器提取捷联导引头视线角速率的数学机理,随后提出了一种利用旋转等效合力快速获取跟踪微分器频域特性的方法,并基于频域特性开展了两种典型跟踪微分器的参数设计与性能分析,最后基于以上的设计结果开展建模仿真与计算分析,验证跟踪微分器的视线角速率解耦效果。

关键词： 不定积分   求解方法  

摘要： 对不定积分的求解方法及应用进行讨论。总结了一些常见的不定积分求解方法和技巧,并给出了不同类型的例题。不定积分具有很强的计算灵活性,学生需要做大量的练习,积累更多的经验,这样解起题来才能得心应手。