论文
1. 论文题目:基于Coq的两个重要极限的形式化证明
浏览量(719) 下载量(138)
(4) 评论
全部作者:
赵保强,于畅,郁文生

作者单位:北京邮电大学电子工程学院
期 数:2021年6月第2期
学 科:计算机科学技术
摘 要:数学机械化主要是利用计算机实现对数学定理的推理,形式化数学是数学机械化的重要内容。本文利用交互式定理证明工具Coq实现两个重要极限的形式化证明,其中主要包括集合、数...[more]
2. 论文题目:基于改进的DDPG机场机位分配算法研究
浏览量(698) 下载量(142)
(3) 评论
全部作者:
顾存昕,周洪涛

作者单位:华中科技大学人工智能与自动化学院
期 数:2021年6月第2期
学 科:计算机科学技术
摘 要:综合考虑机场的多个约束条件,以最大出港靠桥的航班数作为优化目标建立相应的数学模型,并将其转化成马尔可夫决策过程模型。设计环境的状态空间和智能体的动作空间,将大规...[more]
3. 论文题目:面向移动设备的轻量级卷积神经网络研究
浏览量(700) 下载量(109)
(2) 评论
全部作者:
吴铖,李剑

作者单位:北京邮电大学智能科学与技术中心
期 数:2021年6月第2期
学 科:计算机科学技术
摘 要:在移动设备环境下,基于传统卷积的深度神经网络存在参数量和计算量大的问题。针对这一问题,提出一种新型的轻量级模块,基于复杂网络特征图存在冗余这一思想,先使用分组卷...[more]
4. 论文题目:基于MLP模型的影评情感分析研究
浏览量(739) 下载量(126)
(3) 评论
全部作者:
王冬,甘恒,黄文峰,黄政龙,陈中举

作者单位:长江大学计算机科学学院
期 数:2021年6月第2期
学 科:计算机科学技术
摘 要:为了对IMDb网络电影数据库内的影评文字进行情感分析并保证较高的准确率,提出了基于MLP模型的情感分析算法。通过使用Keras内置的Tokenizer模块建立字典,利用字典将影评文字进行预...[more]
5. 论文题目:多维敏感属性流数据发布的隐私保护方法
浏览量(572) 下载量(106)
(1) 评论
全部作者:
程林,丰江帆

作者单位:重庆邮电大学计算机科学与技术学院
期 数:2021年6月第2期
学 科:计算机科学技术
摘 要:在很多应用场景下,数据是实时发布的,并且这些数据绝大部分由多个敏感属性组成,针对传统的多维敏感属性数据发布隐私保护方法主要解决静态多维敏感属性数据发布或数据动态...[more]
6. 论文题目:基于迁移学习的果蔬质量分类研究
浏览量(646) 下载量(97)
(1) 评论
全部作者:
郑凯,方春

作者单位:山东理工大学计算机科学与技术学院
期 数:2021年6月第2期
学 科:计算机科学技术
摘 要:针对传统果蔬质量分类模型特征提取困难、训练耗时长、分类准确率低等问题,提出一种基于支持向量机(support vector machine,SVM)和预训练的VGG16深度学习网络混合模型图像分类方法...[more]
7. 论文题目:基于多尺度特征融合的无人机目标检测
浏览量(1141) 下载量(189)
(10) 评论
全部作者:
秦浪,赵德明,苏昕,曾浩,王正宁

作者单位:电子科技大学信息与通信工程学院
期 数:2020年12月第4期
学 科:计算机科学技术
摘 要:本文首先构建了一个无人机检测数据集,然后利用Res2net提取目标多感受野特征并提出一种新的混合特征金字塔结构,从细粒度的多尺度特征提取和层级多尺度特征融合两个方面来提升...[more]
8. 论文题目:基于形变异常度的函数型数据异常值检测算法改进
浏览量(844) 下载量(146)
(10) 评论
全部作者:
杨冰倩,罗汉

作者单位:湖南大学数学学院
期 数:2020年12月第4期
学 科:计算机科学技术
摘 要:由于改进波段深度(modified band depth,MBD)和改进上镜图深度(modified epigraph index,MEI)主要度量曲线数据的平均波动情况及深度变化,所以基于这两个深度设计的函数型数据异常值检...[more]
9. 论文题目:Voice-2-image:自然语言交互下的智能图像合成
浏览量(767) 下载量(126)
(9) 评论
全部作者:
吴丽佳,徐昆

作者单位:清华大学美术学院;清华大学信息科学技术学院
期 数:2020年12月第4期
学 科:计算机科学技术
摘 要:基于自然语言处理以及智能图像处理算法,提出一种由语音自动生成真实感图像的方法。在实现中,由智能抠图得到图像素材,由语音识别、语意解析得到文本结构,以三分图计算、...[more]
10. 论文题目:基于单片机的移动存储器访问控制系统设计
浏览量(835) 下载量(136)
(9) 评论
全部作者:
韩昌昊,马莉,胡方舟,贾忠田

作者单位:济南大学信息科学与工程学院;济南大学科技处
期 数:2020年12月第4期
学 科:计算机科学技术
摘 要:与传统移动存储器的安全策略不同,本文提出了一个基于STC89C52单片机(single-chip microcomputer,SCM)的移动存储器访问控制方案。该访问控制系统包括USB接口模块、核心存储模块、连通...[more]