无尺寸约束的不透明谓词构建算法

  

  相似文献

《计算机科学》2023,50(8)

面向深度强化学习的对抗攻防综述

  

深度强化学习技术以一种端到端学习的通用形式融合了深度学习的感知能力与强化学习的决策能力,在多个领域得到了广泛应用,形成了人工智能领域的研究热点.然而,由于对抗样本等攻击技术的出现,深度强化学习暴露出巨大的安全隐患.例如,通过在真实世界中打印出对抗贴纸便可以轻松地使基于深度强化学习… …   相似文献

刘艾杉  郭骏  李思民  肖宜松  刘祥龙  陶大程 《计算机学报》2023,46(8):1553-1576

基于ThetaMEX全局池化的人脸识别神经网络——ShuffaceNet

  

针对目前大规模网络不适合在手机、平板电脑等资源匮乏的移动设备上使用,以及池化层会导致特征图的稀疏性最终影响神经网络识别精度的问题,提出了一个轻量级人脸识别神经网络ShuffaceNet,设计了一个非线性平滑Log-Mean-Exp函数ThetaMEX,并提出了一种端到端可训练的T… …   相似文献

陈侃松  郑园  许立君  王周宇  张哲  姚福娟 《计算机应用》2023,43(8):2572-2580

基于GhostNet和特征融合的人脸活体检测算法

  

人脸识别技术的广泛应用在为用户带来方便的同时,也带来了人脸欺骗和展示攻击等问题.针对经常出现的展示攻击和打印攻击问题,提出了一种基于GhostNet和特征融合的人脸活体检测算法.首先,将GhostNet模型的特征提取过程分为三种不同的阶段,即低等特征、中等特征和高等特征;然后,分… …   相似文献

韩春港  刘永辉 《计算机应用》2023,43(8):2588-2592

融合关键反应段特征信息的代谢路径排序方法

  

针对现有代谢路径预测算法仅以单一代谢反应为特征进行路径排序,难以得到高质量路径预测结果的问题,本文引入代谢路径关键反应段的概念,用以捕捉和度量代谢路径的结构功能特征,为充分利用路径的结构功能特征信息,提出一种融合代谢路径关键反应段的信息熵与互信息对代谢路径进行评分和排序的模型,在… …   相似文献

谢雨丝  卢吉晓  黄毅然  钟诚 《小型微型计算机系统》2023,(8):1672-1679

复杂网络能控性鲁棒性最优攻击序列研究

  

复杂网络的能控性在不同的攻击方式下会呈现不同的鲁棒性,寻找网络的最优攻击序列对复杂网络的能控性鲁棒性的保护和提升具有重要意义.本文使用遗传算法搜索针对复杂网络能控性的最优攻击序列,分析了在不同平均度情况下,遗传算法所求得的攻击序列和其他方法得到的攻击序列的特征.实验发现即使在不同… …   相似文献

邓浩  武瑞梓  于卓然  李均利 《小型微型计算机系统》2023,(8):1842-1849

基于扩张状态观测器的四旋翼吊挂飞行系统非线性控制

下载全文  

针对一类四旋翼飞行器吊挂飞行系统的负载摆动抑制和轨迹跟踪精确控制的问题, 考虑系统存在未知外界扰动和模型动态不确定的情况, 提出一种基于扩张状态观测器(Extended state observer, ESO)的吊挂负载摆动抑制的非线性轨迹跟踪控制方法. 将四旋翼吊挂飞行系统分解… …   相似文献

范云生  陈欣宇  赵永生  宋保健 《自动化学报》2023,49(8):1758-1770

基于全身力矩控制的双腿轮机器人跳跃方法研究

下载全文  

双腿轮机器人由于内在不稳定性以及强耦合非线性特性, 其运动控制尤其是高动态运动控制非常困难. 为此, 提出基于最优力分配的全身力矩控制框架, 可同时实现双腿轮机器人的自平衡与躯干位姿控制; 为提高双腿轮机器人在高速运动时跨越垂直障碍物的能力, 提出应对垂直障碍的跳跃动作规划方法,… …   相似文献

辛亚先  李贻斌  柴汇  荣学文  李彬 《自动化学报》2023,49(8):1635-1644

基于渐进无迹卡尔曼滤波网络的人体肢体运动估计

下载全文  

针对基于表面肌电信号 (Surface electromyography, sEMG) 的人体肢体运动估计建模困难的问题, 提出一种渐进无迹卡尔曼滤波网络 (Progressive unscented Kalman filter network, PUKF-net), 来实现降低… …   相似文献

杨旭升  王雪儿  汪鹏君  张文安 《自动化学报》2023,49(8):1723-1731

视网膜功能启发的边缘检测层级模型

下载全文  

基于视网膜对视觉信息的处理方式, 提出一种视网膜功能启发的边缘检测层级模型. 针对视网膜神经元在周期性光刺激下产生适应的特性, 构建具有自适应阈值的Izhikevich神经元模型; 模拟光感受器中视锥细胞、视杆细胞对亮度的感知能力, 构建亮度感知编码层; 引入双极细胞对给光−撤光… …   相似文献

郑程驰  范影乐 《自动化学报》2023,49(8):1771-1784

F范数度量下的鲁棒张量低维表征

下载全文  

张量主成分分析(Tensor principal component analysis, TPCA)在彩色图像低维表征领域得到广泛深入研究, 采用${rm{F}}$范数平方作为低维投影的距离度量方式, 表征含离群数据和噪声图像的鲁棒性较弱. ${L}_{1}$范数能够抑制噪声的影… …   相似文献

王肖锋  石乐岩  杨璐  刘军  周海波 《自动化学报》2023,49(8):1799-1812

边缘计算中面向互动直播的用户分配策略

下载全文  

将互动直播部署在边缘计算环境中,可以在网络边缘对直播视频进行转码和传输,通过用户附近的边缘服务器提供低延迟的直播服务. 然而,在多边缘服务器、多用户场景下存在着直播用户分配问题,导致直播用户体验质量(quality of experience, QoE)无法得到保证. 为了提高直… …   相似文献

刘伟  张骁宇  杜薇  彭若涛 《计算机研究与发展》2023,5(8):1858-1874

基于用户重购行为的产品推荐方法

下载全文  

重复购买是消费者日常消费决策中的常见现象,考虑用户重购行为对于提升产品个性化推荐准确性至关重要. 然而针对用户重购行为建模和预测的研究工作相对较少,还有很多问题有待解决. 已有推荐技术主要通过深度挖掘产品、用户或时间某一层面信息来进行重购产品推荐,忽略了对多层次信息融合建模方法的… …   相似文献

耿杰  刘春丽  魏雪梅  程明月  袁昆  李洋  刘业政 《计算机研究与发展》2023,60(8):1795-1807

基于自步学习的开放集领域自适应

下载全文  

领域自适应的目的是将从源领域获得的知识泛化到具有不同数据分布的目标领域. 传统的领域自适应方法假设源域和目标域的类别是相同的,但在现实世界的场景中并非总是如此. 为了解决这个缺点,开放集领域自适应在目标域中引入了未知类以代表源域中不存在的类别. 开放集领域自适应旨在不仅识别属于源… …   相似文献

刘星宏  周毅  周涛  秦杰 《计算机研究与发展》2023,60(8):1711-1726

二次解耦与活体特征渐进式对齐的域自适应人脸反欺诈

下载全文  

现有的人脸反欺诈（face anti-spoofing,FAS）方法虽然在域内测试表现良好,但在跨域场景下性能会大幅度下降. 当前基于域对抗对齐的跨域人脸反欺诈方法,因其对齐网络和分类网络彼此独立,无法保证对齐任务直接服务于分类任务. 提出了一种基于二次解耦与活体特征课程学习渐进式对抗对齐的域自适应人脸反欺诈（domain adaptation for face anti-spoofing based on dual disentanglement and liveness feature curriculum learning progressive adversarial alignment,DDCL）方法,首先将源域特征启发式解耦为域相关特征和域无关特征,之后使用分类器的梯度信息将域无关特征中的活体相关和无关特征进行第2次解耦. 在训练过程中为减轻优化难度,通过课程学习的方式对目标域特征与活体相关、无关特征的组合进行渐进式对抗对齐,逐步提高活体相关特征的比重,增强目标域特征与活体检测任务的相关性,从因果角度给出活体对齐域自适应的解释. 在CASIA-MFSD,Idiap Replay-Attack,MSU-MFSD与OULU-NPU公开数据集上的实验结果表明,与现有10种方法相比,所提出的方法获得了22.5%的最佳平均HTER值,并在4个测评协议上均达到了当前先进水平,尤其是I-M和O-M测评协议的HTER值分别达到了12.4%和12.8%,能显著降低模型在目标域上的错误率,具有更好的跨域泛化能力.… …   相似文献

封筠  史屹琛  高宇豪  贺晶晶  余梓彤 《计算机研究与发展》2023,60(8):1727-1739

给定预算下基于相对熵置信区间的蒙特卡洛树搜索最优动作识别算法

下载全文  

蒙特卡洛树搜索（Monte Carlo tree search, MCTS）将强化学习的反馈优化与生长树的动态规划相结合,在输出当前状态的最佳动作的同时极大地减少了计算量,因此成为开放环境下众多领域智能系统的关键通用方法. 但由于计算资源匮乏或者计算成本昂贵等原因,完全充分地对树… …   相似文献

刘郭庆  钱宇华  张亚宇  王婕婷 《计算机研究与发展》2023,555(8):1780-1794

显式知识推理和深度强化学习结合的动态决策

下载全文  

近年来,深度强化学习在序列决策领域被广泛应用并且效果良好,尤其在具有高维输入、大规模状态空间的应用场景中优势明显.然而,深度强化学习相关方法也存在一些局限,如缺乏可解释性、初期训练低效与冷启动等问题.针对这些问题,提出了一种基于显式知识推理和深度强化学习的动态决策框架,将显式的知… …   相似文献

张昊迪  陈振浩  陈俊扬  周熠  连德富  伍楷舜  林方真 《软件学报》2023,34(8):3821-3835

基于贝叶斯网络构建RoboSim模型的自动驾驶行为决策

下载全文  

为汽车自动驾驶提供安全高效的自动驾驶行为决策,是汽车自动驾驶领域面临的挑战性问题之一.目前,随着自动驾驶行业的蓬勃发展,工业界与学术界提出了诸多自动驾驶行为决策方法,但由于汽车自动驾驶行为决策受环境不确定因素的影响,决策本身也要求实效性及高安全性,现有的行为决策方法难以完全支撑这… …   相似文献

陈洁娜  张铭茁  杜德慧  李博  聂基辉  任婧瑶 《软件学报》2023,34(8):3836-3852

基于函数式语义的循环和递归程序结构通用证明技术

下载全文  

各类安全攸关系统的可靠运行离不开软件程序的正确执行.程序的演绎验证技术为程序执行的正确性提供高度保障.程序语言种类繁多,且用途覆盖高可靠性场景的新式语言不断涌现,难以为每种语言设计支撑其程序验证任务的整套逻辑规则,并证明其相对于形式语义的可靠性和完备性.语言无关的程序验证技术提供… …   相似文献

李希萌  王国辉  张倩颖  施智平  关永 《软件学报》2023,34(8):3686-3707

基于非稳态MAB的LEO卫星跳波束时隙分配算法

  

针对低地球轨道（LEO）卫星系统中的跳波束资源分配算法不能适应小区业务动态变化等问题,提出了一种基于非稳态多臂赌博机（MAB）的LEO卫星跳波束时隙分配算法。首先,以系统二阶差分容量最小化为优化目标,建立了时隙分配和波束等级匹配的联合优化问题。其次,由于该问题非凸且难以直接求解,… …   相似文献

林敏  阚鹏程  赵柏  程铭  杨绿溪 《通信学报》2023,44(8):134-143