题名 指挥控制协同能力需求体系形式化框架
被引量：1
1
作者
柴磊 王智学 何明
机构
陆军工程大学指挥控制工程学院
出处
《计算机工程与应用》
CSCD
北大核心
2020年第5期49-56,共8页
基金
国家自然科学基金（No.61273210）
文摘
指挥控制协同性是实现信息化条件下联合作战指挥的关键。针对当前对指挥控制协同能力需求缺乏形式化描述和分析方法等问题,提出一种指挥控制协同能力需求形式化描述框架,运用进程代数方法对能力之间的关系以及操作进行形式化定义,消除了采用自然语言描述协同能力合成过程中可能产生的语义二义性。案例分析验证了该方法的可用性和有效性。
关键词
指挥控制协同 能力需求 形式化 进程代数
Keywords
command control cooperation capability requirement formalization process algebra
分类号
E917
[军事]
题名 《大学计算机基础》课程多元化教学方法的初探
被引量：3
2
作者
宦蕾 李辉 王梅娟
机构
陆军工程大学指挥控制工程学院
出处
《计算机工程与科学》
CSCD
北大核心
2019年第S01期104-108,共5页
基金
院教育教学课题（ZY2018006)
文摘
针对"以培养计算思维为导向"的大学计算机基础课程教学现状的分析,提出了以自主学习能力培养为核心的多元化教学方法,主要包括研讨式教学方法、探究式教学方法、演示法、情境式教学方法、任务驱动式教学方法,并结合大学计算机基础课程教学详细介绍了每种方法的具体应用和教学实施效果。
关键词
大学计算机基础 多元化教学方法 自主学习
Keywords
university computer foundation diversified teaching methods independent learning
分类号
G642
[文化科学—高等教育学]
题名 基于学员特征的《大学计算机基础》课程改革初探
被引量：2
3
作者
韩敬利 夏青 王兆丽 王梅娟 宦蕾
机构
陆军工程大学指挥控制工程学院
出处
《计算机工程与科学》
CSCD
北大核心
2019年第S01期39-42,共4页
基金
院教育教学课题（ZY2018006)
文摘
军队院校《大学计算机基础》课程面向各专业不同类型学员,旨在培养学员以计算科学为工具、解决现实世界中问题的素质和能力。针对学生学源组成复杂、计算机基础差异较大、专业需求各不相同等问题,需要更加有针对性地探讨基于学员特征的课程改革。从专业特征、基础素质特征两个方面着手,探讨《大学计算机基础》的课程改革和实施方法,以期能够将计算机作为一种自然工具引入到所有科学和工程类课程中。
关键词
专业特征 基础素质特征 大学计算机基础 课程改革
Keywords
professional characteristics basic quality characteristics university computer foundation course reform
分类号
G642
[文化科学—高等教育学]
题名 指挥信息系统涌现行为分析方法
被引量：1
4
作者
何红悦 蒋猛 李瑞阳
机构
陆军工程大学指挥控制工程学院
出处
《火力与指挥控制》
CSCD
北大核心
2019年第12期95-98,共4页
文摘
针对指挥信息系统需求分析中,缺乏涌现行为有效分析方法的问题,提出了一种静态和动态相结合的涌现行为分析方法。该方法基于涌现行为的分层描述思想,在系统交互层,对涌现行为进行静态分析,采用本体推理和查询技术分析涌现行为的概念一致性;在体系展现层,对涌现行为进行动态分析,利用进程代数进程项的迹的仿真实现涌现行为的可执行仿真分析。
关键词
指挥信息系统 涌现行为 本体 进程代数
Keywords
C4ISR system emergency behavior Ontology process algebra
分类号
TJ01
[兵器科学与技术—兵器发射理论与技术]
E917
[军事]
题名 多场域导向的大学计算机基础课程实践教学范式研究
5
作者
张所娟 郝文宁 李辉 宋金玉 余晓晗
机构
陆军工程大学指挥控制工程学院
出处
《计算机工程与科学》
CSCD
北大核心
2019年第S01期85-90,共6页
基金
全国教育科学“十三五”规划2019年度国家一般课题（BCA190081)
文摘
针对大学计算机基础课程实践教学中计算思维的培养问题,从场域的角度出发,分析了教学范式与场域的变化映射关系,提出"自适应"理念下多场域导向的大学计算机基础课程实践教学范式,通过教育科学和数据科学研究方法的交叉融合,推进实践教学的发展。
关键词
实践教学范式 多场域 计算思维
Keywords
practical teaching paradigm multifield-oriented computational thinking
分类号
G642
[文化科学—高等教育学]
题名 智能合约安全漏洞挖掘技术研究
被引量：44
6
作者
付梦琳 吴礼发 洪征 冯文博
机构
中国解放军陆军工程大学指挥控制工程学院
出处
《计算机应用》
CSCD
北大核心
2019年第7期1959-1966,共8页
基金
国家重点研发计划项目(2017YFB0802900)~~
文摘
近年来,以智能合约为代表的第二代区块链平台及应用出现了爆发性的增长,但频发的智能合约漏洞事件严重威胁着区块链生态安全。针对当前主要依靠基于专家经验的代码审计效率低下的问题,提出开发通用的自动化工具来挖掘智能合约漏洞的重要性。首先,调研并分析了智能合约面临的安全威胁问题,总结了代码重入、访问控制、整数溢出等10种出现频率最高的智能合约漏洞类型和攻击方式;其次,讨论了主流的智能合约漏洞的检测手段,并梳理了智能合约漏洞检测的研究现状;然后,通过实验验证了3种现有符号执行工具的检测效果。对于单一漏洞类型,漏报率最高达0.48,误报率最高达0.38。实验结果表明,现有研究涵盖的漏洞类型不完整,误报及漏报多,并且依赖人工复核;最后,针对这些不足展望了未来研究方向,并提出一种符号执行辅助的模糊测试框架,能够缓解模糊测试代码覆盖率不足和符号执行路径爆炸问题,从而提高大中型规模智能合约的漏洞挖掘效率。
关键词
区块链安全 智能合约 以太坊 漏洞挖掘 自动化工具
Keywords
blockchain security smart contract Ethereum vulnerability mining automated tool
分类号
TP309
[自动化与计算机技术—计算机系统结构]
TP393.08
[自动化与计算机技术—计算机应用技术]
题名 基于深度学习的人体姿态估计方法综述
被引量：49
7
作者
邓益侬 罗健欣 金凤林
机构
中国人民解放军陆军工程大学指挥控制工程学院
出处
《计算机工程与应用》
CSCD
北大核心
2019年第19期22-42,共21页
文摘
基于深度学习的人体姿态估计方法旨在通过构建合适的神经网络,直接从二维的图像特征中回归出人体姿态信息。主要按照2D人体姿态估计到3D人体姿态估计的顺序,并从单人检测与多人检测、稀疏的关节点检测与密集的模型构建等方面,对近年来基于深度学习的人体姿态估计方法进行系统介绍,从而初步了解如何通过深度学习的方法得到人体姿态的各个要素,包括肢体部件的相对朝向和比例尺度、骨骼关节点的位置坐标和连接关系,甚至更为复杂的人体蒙皮模型信息。最后,对当前研究面临的挑战以及未来的热点动向进行概述,清晰地呈现出该领域的发展脉络。
关键词
人体姿态估计 深度学习 关节点坐标 人体模型 检测回归
Keywords
human pose estimate deep learning joint point coordinates body model detection and regression
分类号
TP391.4
[自动化与计算机技术—计算机应用技术]
题名 轻量化卷积神经网络技术研究
被引量：42
8
作者
毕鹏程 罗健欣 陈卫卫
机构
中国人民解放军陆军工程大学指挥控制工程学院
出处
《计算机工程与应用》
CSCD
北大核心
2019年第16期25-35,共11页
文摘
为了使卷积神经网络模型更好地应用于移动端和嵌入式设备,必须从减少模型参数量和降低计算复杂度两方面入手。首先简要介绍了目前几种流行的解决方法,并详细阐述了六个轻量化卷积神经网络模型,展示了其中应用的不同网络计算方式的计算量和参数量,论述了模型的核心构建模块、整体网络结构和创新之处。分析了各网络以及常规卷积网络在ImageNet数据集上的分类准确度,进而对比各网络实现轻量化的技巧,得出在进行模型设计时采用直接指标替代间接指标的结论。同时发现了残差结构对保证轻量化模型准确率的重要性。最后对轻量化卷积神经网络的发展前景进行了展望。
关键词
卷积神经网络(CNN) 轻量化 卷积方式
Keywords
Convolutional Neural Network(CNN) lightweight convolution method
分类号
TP391.4
[自动化与计算机技术—计算机应用技术]
题名 基于Movidius神经计算棒的行人检测方法
被引量：13
9
作者
张洋硕 苗壮 王家宝 李阳
机构
陆军工程大学指挥控制工程学院
出处
《计算机应用》
CSCD
北大核心
2019年第8期2230-2234,共5页
基金
国家自然科学基金资助项目(61806220)~~
文摘
Movidius神经计算棒是基于USB模式的深度学习推理工具和独立的人工智能加速器,为广泛的移动和嵌入式视觉设备提供专用深度神经网络加速功能。针对深度学习的嵌入式应用,实现了一种基于Movidius神经计算棒的近实时行人目标检测方法。首先,通过改进RefineDet目标检测网络结构使模型大小和计算适应嵌入式设备的要求;然后,在行人检测数据集上对模型进行重训练,并部署于搭载Movidius神经计算棒的树莓派上;最后,在实际环境中对模型进行测试,算法达到了平均每秒4帧的处理速度。实验结果表明,基于Movidius神经计算棒,在计算资源紧张的树莓派上可完成近实时的行人检测任务。
关键词
行人检测 深度学习 树莓派 Movidius 嵌入式设备
Keywords
pedestrian detection deep learning Raspberry Pi Movidius embedded device
分类号
TP183
[自动化与计算机技术—控制理论与控制工程]
TP391.4
[自动化与计算机技术—计算机应用技术]
题名 基于SqueezeNet的轻量级图像融合方法
被引量：12
10
作者
王继霄 李阳 王家宝 苗壮 张洋硕
机构
陆军工程大学指挥控制工程学院
出处
《计算机应用》
CSCD
北大核心
2020年第3期837-841,共5页
基金
国家自然科学基金资助项目(61806220)~~
文摘
现有深度红外和可见光图像融合模型网络参数多,计算过程需要耗费大量计算资源和内存,难以满足移动和嵌入式设备上的部署要求。针对上述问题,提出了一种基于SqueezeNet的轻量级图像融合方法,该方法利用轻量级网络SqueezeNet提取红外和可见光图像特征,并通过该网络提取的特征获得权重图并进行加权融合,进而获得最后的融合图像。通过与ResNet50方法进行比较发现,该方法在保持融合图像质量相近的情况下,模型大小和网络参数量分别被压缩为ResNet50方法的1/21和1/204,运行速度加快了4倍。实验结果表明,该方法不仅降低了融合模型的大小,加快了图像融合速度,同时得到了比其他传统融合方法更好的融合效果。
关键词
图像融合 深度学习 轻量级 SqueezeNet
Keywords
image fusion deep learning light-weight SqueezeNet
分类号
TP391.4
[自动化与计算机技术—计算机应用技术]
题名 面向实体标注的军事语料库建设
被引量：7
11
作者
周彬彬 张宏军 张睿 冯蕴天 徐有为
机构
中国人民解放军陆军工程大学指挥控制工程学院
出处
《计算机科学》
CSCD
北大核心
2019年第B06期540-546,共7页
文摘
军事语料的识别和标注是军事语料库建设的关键。针对军事语料的实体,提出了一套统一的军语词性标记规范和军事语料标注规范,设计了一种基于军语词典的自动扩展的军事语料实体特征提取框架。该框架借助设计的高精分类器进行基本特征的选择和提取,结合军语的典型特征组成特征集,构建基于军语词典校正的特征空间,对军事语料进行实体识别之后按照指定的标注规范和词形标记规范进行军事语料实体的标注,构建一个较大规模的高质量军事语料库。实验表明,该框架可以较好地完成语料实体的识别和语料标注工作,有利于军事语料库的建设工作和认清其在军事上的广泛作用和应用前景。
关键词
军事实体标注 军语词性标记 特征提取 军事语料库
Keywords
Military entity’s annotation Military speech tagging Feature extraction Military corpus
分类号
TP391
[自动化与计算机技术—计算机应用技术]
题名 军事信息系统需求模型一致性检验方法
被引量：4
12
作者
禹明刚 权冀川 董经纬
机构
陆军工程大学指挥控制工程学院
出处
《火力与指挥控制》
CSCD
北大核心
2019年第11期143-150,共8页
基金
国家自然科学基金资助项目(71901217,KYZYJJGJ1207)
文摘
在大型军事信息系统研制项目中,如何获取军事需求、分析系统需求、发现需求规约中的各种问题,一直是困扰系统研发部门的难题。提出了一套军事信息系统需求建模和一致性检验方法,该方法由军事信息系统需求概念本体、基于UML的军事信息系统需求建模方法,以及基于描述逻辑的军事信息系统需求模型推理验证技术3部分组成。该方法可以有效检验需求分析人员所构建的需求模型的语义是否正确,内容是否全面如实地反映用户要求,进而为系统后续建设提供参考和决策支持。
关键词
军事信息系统 需求模型 一致性验证 系统工程 需求工程
Keywords
C4ISR system requirement model consistency verification system engineering requirement engineering
分类号
TP391
[自动化与计算机技术—计算机应用技术]
题名 骨导语音库的建立与骨气导语音的互信息分析
被引量：4
13
作者
邢益搏 张雄伟 郑昌艳 曹铁勇
机构
陆军工程大学指挥控制工程学院
出处
《声学技术》
CSCD
北大核心
2019年第3期312-316,共5页
基金
国家自然科学基金资助项目(61471394、61402519)
文摘
首先设计了适用于骨导语音增强的语料采集方案,采集了1320句涵盖音节全面的语料,并制定了相应的录音规范;其次介绍了骨导语音库建立的意义,说明了语音库建立的实施方案,建成了由40个说话人录制的包括气导语音和骨导语音各8000句的语音库;然后在对比骨导语音与气导语音声学特性的基础上,分析了骨气导语音在高频和低频的互信息量,为骨导语音的增强提供了理论依据;最后基于现阶段的研究及文中构建的语音库对今后的研究做出展望。
关键词
骨导语音 语音库 互信息分析 语音增强
Keywords
bone-conducted speech speech database mutual information analysis speech enhancement
分类号
TN912
[电子电信—通信与信息系统]
题名 作战实验规则形式化表达建模研究
被引量：5
14
作者
王佳胤 张宏军 程恺 牟轩庭 康睿智
机构
陆军工程大学指挥控制工程学院 作战实验中心
出处
《火力与指挥控制》
CSCD
北大核心
2020年第10期54-62,共9页
基金
国家自然科学基金资助项目(61806221)。
文摘
在作战实验规则体系的建设中.规则的形式化表达是衔接规则体系分类研究和规则库管理应用的重要内容。针对现有作战仿真系统规则体系表达方式不统一、兼容性差等问题,研究规则的知识表示方法,分析作战实验规则形式化表达的需求和目标;面向仿真实体对其推演全流程构建作战实验规则体系,研究提出面向实体的EAJP作战实验规则的形式化表达建模方法,建立了作战实验规则体系的数据模型并设计实现其管理系统。
关键词
作战实验规则 EAJP方法 数据模型 规则管理系统
Keywords
operational experiment rules EAJP method data model rules management system
分类号
TP391.1
[自动化与计算机技术—计算机应用技术]
TJ01
[兵器科学与技术—兵器发射理论与技术]
题名 作战系统运用效能评估的线性系统响应分析法
被引量：4
15
作者
毛腾蛟 张东戈 梁雪峰 沈虹阳 牛彦杰
机构
中国人民解放军陆军工程大学指挥控制工程学院
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2019年第12期2772-2779,共8页
基金
国家自然科学基金(71501186)资助课题
文摘
传统作战系统效能分析大多基于统计和仿真分析的方法开展,无法细致刻画实际作战中人员操作运用所造成的影响以及系统内各属性要素之间的因果关系影响。从方法学研究的角度看,作战系统的运用效能是系统装备、人和环境综合作用的结果,需要一种解析化的分析方法。通过刻画作战系统的内部相互关系、人员对系统的操作,构建了线性响应系统关系模型,从而实现对作战系统运用效能的解析化评估。设计了一个示例,运用所提出的分析方法,分析了系统鲁棒性,得到了在系统关键属性上的操作对作战效能的量化影响,说明和检验了所提方法的有效性和合理性。
关键词
方法学研究 线性响应系统 系统运用效能 解析化评价
Keywords
methodological study linear response system operational effectiveness of system analytical evaluation
分类号
E917
[军事]
题名 哈夫曼编码在图像无损压缩中的应用
被引量：6
16
作者
王兆丽 肖春霞 王梅娟 蒋园园 董会
机构
陆军工程大学指挥控制工程学院
出处
《计算机工程与科学》
CSCD
北大核心
2019年第S01期200-202,共3页
文摘
针对大学计算机基础课程中信息编码与数据表示知识点,设计了一个使用哈夫曼编码实现图像无损压缩的案例,经过实际课堂实施的检验,表明案例对帮助学生理解信息编码和压缩有很好的效果。
关键词
信息编码 压缩 哈夫曼编码
Keywords
information coding compression Huffman coding
分类号
G642
[文化科学—高等教育学]
题名 自适应聚类的未知应用层协议识别方法
被引量：4
17
作者
洪征 龚启缘 冯文博 李毅豪
机构
中国人民解放军陆军工程大学指挥控制工程学院
出处
《计算机工程与应用》
CSCD
北大核心
2020年第5期109-117,共9页
基金
国家重点研发计划（No.2017YFB0802900）
文摘
应用层协议识别是指从承载应用层协议数据的网络流量中提取出可以标识应用层协议的关键特征,并以这些关键特征为基础,将同种类型的应用层协议数据划分在一起。针对现有网络流量识别方法对未知应用层协议识别率低的问题,提出了一种自适应聚类的未知应用层协议识别方法。该方法以传统的AGNES层次聚类算法为基础,依据网络流应用层协议数据的负载特征,基于相似度对应用层协议进行聚类。方法将聚类算法中相似度计算划分为聚类前应用层协议数据间的相似度计算和聚类中簇间的相似度计算两部分,避免了重复性地计算应用层协议数据间的相似度,提升了算法的聚类效率。实验结果表明所提出的方法能够高效准确地对未知协议的网络流量进行识别。
关键词
协议识别 层次聚类 网络流量 网络管理
Keywords
protocol recognition hierarchical clustering network traffic network management
分类号
TP393.02
[自动化与计算机技术—计算机应用技术]
题名 基于金字塔知识的自蒸馏HRNet目标分割方法
被引量：6
18
作者
郑云飞 王晓兵 张雄伟 曹铁勇 孙蒙
机构
陆军工程大学指挥控制工程学院 陆军 炮兵防空兵学院 安徽省偏振成像与探测重点实验室 陆军工程大学指挥控制工程学院 计算机与科学博士后流动站
出处
《电子学报》
EI
CAS
CSCD
北大核心
2023年第3期746-756,共11页
基金
国家自然科学基金(No.61801512,No.62071484) 江苏省自然科学基金(No.BK20180080)。
文摘
知识蒸馏能有效地将教师网络的表征能力迁移到学生网络,无须改变网络结构即可提升网络的性能.因此,在性能优异的目标分割主干网HRNet(High-Resolution Net)中构建自蒸馏学习模型具有重要意义.针对HRNet并行结构中深层与浅层信息充分融合导致直接蒸馏难以实现的挑战,本文提出一种基于多尺度池化金字塔的结构化自蒸馏学习模型:在HRNet分支结构中引入多尺度池化金字塔表示模块,提升网络的知识表示和学习能力;构造“自上而下”和“一致性”两种蒸馏模式;融合交叉熵损失、KL(Kullback-Leibler)散度损失和结构化相似性损失进行自蒸馏学习.在四个包含显著性目标和伪装目标的分割数据集上的实验表明:本文模型在不增加资源开销的前提下,有效提升了网络的目标分割性能.
关键词
自蒸馏学习 并行结构网络 多尺度池化金字塔 结构化相似性 目标分割
Keywords
knowledge distillation parallel network multi-scale pooling pyramid structural similarity object seg⁃mentation
分类号
TP391
[自动化与计算机技术—计算机应用技术]
TP183
[自动化与计算机技术—控制理论与控制工程]
题名 邓巴数限制下的社交网络回音室数量研究
被引量：2
19
作者
沈虹阳 张东戈 梁雪峰 毛腾蛟 牛彦杰
机构
中国人民解放军陆军工程大学指挥控制工程学院
出处
《计算机工程与应用》
CSCD
北大核心
2019年第17期20-27,220,共9页
基金
国家自然科学基金青年科学基金（No.71501186）
文摘
大量研究发现,社交网络结构对观点的传播动力学特性有显著影响。提出的基于邓巴数限制的网络生成算法--DNCSN(Social Network Generation Algorithm with the Constraint of Dunbar’s Number),具有较小的平均距离和较大的群聚系数,可以生成与真实网络节点度和节点强度的非线性关系较为接近的结果。基于DNCSN生成算法,可以更为有效地研究社交网络上的观点演化特性。通过调整社交网络中个体的观点“坚定度”和观点取信阈值参数,对比研究了回音室的形成数量变化。研究表明当网络的观点初值均匀分布,网络规模小于邓巴数字时,相比于同等规模的全联通网络,DNCSN网络结构能在节点取信阈值大于0.15时减少网络的回音室的形成数量;当网络规模增大时,DNCSN网络的回音室形成数量多于全联通网络;当取信阈值小于0.1时,全联通网络的回音室形成数量受网络规模影响,且网络规模越小回音室数量越少。
关键词
观点动力学 社交网络 网络生成算法 回音室 邓巴数
Keywords
opinion dynamics social network network generation algorithm echo chambers Dunbar's number
分类号
TP39
[自动化与计算机技术—计算机应用技术]
题名 基于列生成算法的无人机任务分配
被引量：8
20
作者
李瑞阳 王智学 何红悦 邓巧雨
机构
陆军工程大学指挥控制工程学院
出处
《指挥与控制学报》
2019年第2期147-152,共6页
文摘
任务分配是无人机完成多样化军事任务的重要保证.为了合理制定任务方案,有效降低飞行成本,根据无人机在军事行动中需要运输的物资数量及目的地位置,建立了追求飞行成本最小并考虑时间约束的无人机任务分配优化模型,应用列生成算法对飞行方案进行优化选择.设计实验对列生成算法和差分进化算法进行对比分析,结果表明,列生成算法具有更高的求解精度.在大规模任务分配问题中,利用该算法对飞行方案进行优化选择,显著提高军事任务完成效率.
关键词
无人机 任务分配 路径优化 列生成算法
Keywords
unmanned aerial vehicle mission assignment path optimization column generation algorithm
分类号
V279
[航空宇航科学与技术—飞行器设计]
V249
[航空宇航科学与技术—飞行器设计]
