题名 基于自适应特征增强和融合的舰载机着舰拉制状态识别
1
作者
王可 刘奕阳 杨杰 鲁爱国 李哲 徐明亮
机构
郑州大学计算机与人工智能学院 国家超级计算郑州中心 智能集群系统教育部工程 研究 中心 武汉 数字 工程 研究所
出处
《上海交通大学学报》
北大核心
2025年第2期274-282,共9页
基金
国家自然科学基金(62036010) 国防科技工业海洋防务技术创新中心创新基金(JJ-2022-709-01) +1 种基金 中国博士后科学基金(2020M682348) 河南省自然科学基金(232300421235)资助项目。
文摘
拉制状态识别能辅助着舰信号官及时准确地形成后续指挥决策,是舰载机着舰引导的重要环节.提出一种基于自适应特征增强和融合的拉制状态识别方法,包含基于注意力机制的特征增强模块,通过分割特征图、串联空间域和通道域增强视觉表征能力;利用多尺度特征融合模块,将高分辨率浅层特征与语义信息丰富的深层特征进行融合,充分利用上下文语义信息.基于所提方法,设计基于可穿戴增强现实设备的着舰拉制状态识别原型系统;构建着舰作业虚实融合数据集以评估方法性能.结果表明,所提算法综合性能优于基线算法,能满足拉制状态识别的应用需求.
关键词
舰载机 阻拦着舰 特征融合 注意力机制 状态识别
Keywords
carrier-based aircraft arrested landing feature fusion attention mechanism state recognition
分类号
TP391.41
[自动化与计算机技术—计算机应用技术]
题名 层次化网络安全威胁态势评估技术研究
被引量：14
2
作者
朱丽娜 张作昌 冯力
机构
广西财经学院计算机与信息管理系 武汉 数字 工程 研究所
出处
《计算机应用研究》
CSCD
北大核心
2011年第11期4303-4306,4310,共5页
基金
国防"十一五"预研资助项目(C0820061362-06) 广西教育厅科研资助项目(201012MS116)
文摘
为了评估大规模网络系统的安全状态,针对机密性、完整性和可用性,采用层次化分析方法,建立一种网络安全威胁态势量化评估模型。该模型包括一套分为服务、主机、子网、全网四层的安全威胁态势指标和各项指标的量化计算方法。实验结果表明,该模型具有较好的可操作性,能够准确、直观地刻画网络系统的安全演化过程。
关键词
网络安全威胁态势 态势评估 DREAD模型 MARKOV模型 D-S证据理论
Keywords
network security threat situation situation assessment DREAD model Markov model D-S evidence theory
分类号
TP309
[自动化与计算机技术—计算机系统结构]
题名 基于消息传递并行进程迁移技术的研究与实现
被引量：5
3
作者
刘天田 杨升春 欧中红 袁由光
机构
武汉 数字 工程 研究所
出处
《计算机科学》
CSCD
北大核心
2009年第4期166-168,共3页
基金
"十一五"国防预研项目(513160201)资助
文摘
高可用在并行计算环境中的地位日益突出。实现LAM/Migration扩展了LAM/MPI的进程迁移功能,可实现MPI整体任务在节点之间的自由迁移,其迁移功能对应用程序透明、智能化程度高,并可应用于集群节点容错与负载均衡,有效提高集群的可用性。
关键词
MPI 高可用 检查点 卷回 进程迁移
Keywords
MPI, High availability,Checkpoint, Rollback, Process migration
分类号
TP338.8
[自动化与计算机技术—计算机系统结构]
题名 嵌入式实时操作系统可信计算技术研究
被引量：10
4
作者
徐明迪 杨连嘉
机构
武汉 数字 工程 研究所
出处
《计算机工程》
CAS
CSCD
2014年第1期130-133,共4页
基金
国家自然科学基金资助项目(61003268)
文摘
可信计算能有效提高嵌入式实时操作系统的安全性,但现有的可信计算技术较难满足该系统实时性和低功耗的要求。为此,提出一种基于VxWorks内核的可信计算解决方案。设计嵌入式实时可信平台模块和可信软件栈,实现基于完整性度量证书的信任链传递结构和轻量级访问控制框架。实验结果证明,可信平台模块相比SW-TPM模块平均命令执行时间节省了65.81%,轻量级访问控制框架对系统内核的性能影响也较小,可满足嵌入式实时操作系统的应用要求。
关键词
嵌入式实时操作系统 可信计算 完整性度量证书 访问控制 实时调度
Keywords
Embedded Real-time Operation System（ERTOS） trusted computing integrity measurement certificate access control real-time schedule
分类号
TP309
[自动化与计算机技术—计算机系统结构]
题名 舰载指控中协同态势标绘系统的研究与设计
被引量：6
5
作者
李立夏 夏学知 涂葵
机构
武汉 数字 工程 研究所
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第16期240-242,共3页
基金
国家部委基金资助项目
文摘
传统态势标绘系统都是单用户标绘,不能满足现代舰载指控系统分布式环境下协同进行人工标绘、自动标绘和知识库标绘的要求。针对上述问题,设计并实现一个计算机支持的协同工作标绘系统。描述其体系结构、系统框架和协同管理及标绘行为,给出并发控制策略及算法。该系统解决了分布式环境下多用户同时进行标绘的难题。
关键词
态势标绘 计算机支持协同工作 指控系统
Keywords
situation plotting Computer Supported Cooperative Work（CSCW） command and control system
分类号
TP391.7
[自动化与计算机技术—计算机应用技术]
题名 模型驱动在舰载指控系统的应用研究
被引量：5
6
作者
谌菲 曹万华 黄志刚
机构
武汉 数字 工程 研究所
出处
《系统仿真学报》
CAS
CSCD
北大核心
2008年第7期1720-1723,共4页
文摘
模型驱动架构(MDA)提出了一种利用模型进行软件开发的方法。首先提出模型驱动开发方法在舰载指控系统中的应用策略,说明了模型驱动架构的元模型建立过程,描述了利用元对象设施(MOF)扩展元模型的方法。然后以舰载指控系统中的表页显示软件为例说明了舰载指控系统业务软件元模型的建立过程。
关键词
模型驱动架构 元模型 元对象设施 舰载指控系统
Keywords
model driven architecture meta-model MOF command and control system
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
题名 化学抽象机的分析与应用研究
被引量：2
7
作者
赵恒 王振宇 曹万华 叶俊民
机构
武汉 数字 工程 研究所
出处
《计算机科学》
CSCD
北大核心
2003年第1期42-45,共4页
基金
十五国防预研项目资助(项目编号10104010202和41310601)
文摘
This paper analyzes and studies the form and the ability of the Chemical Abstract Machine, or CHAM, ondescribing the system software architecture. After some expanding, the CHAM is applied to describe formally thesoftware architecture of command and control system. It is expected that the specification of the system requirementsand the software test plan would be automatically generated from the formal software architecture description in thelevel of software architecture.
关键词
化学抽象机 软件工程 软件体系结构 软件重用度 软件开发 异步计算模型
Keywords
Chemical abstract machine (CHAM), Software architecture, Command and control system
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 基于Quorum系统的分布式访问控制框架研究
被引量：4
8
作者
熊庭刚 卢正鼎 张家宏 马中
机构
华中科技大学计算机科学与技术学院 武汉 数字 工程 研究所
出处
《计算机科学》
CSCD
北大核心
2010年第5期91-94,111,共5页
文摘
从通用访问控制系统出发,提出以quorum系统来设计访问控制框架,给出了基于互斥协议的quorum分布式访问控制系统(MQ-DACS),以在保持高效率的情况下,提高访问控制决策的稳定性和安全性。进一步分析了在系统结点不可靠的环境中,系统能并行执行的访问控制容量同系统可用性之间的关系,并给出了最佳方案的选取依据。
关键词
分布式访问控制 访问控制框架 QUORUM系统 可用性 访问控制容量
Keywords
Distributed access control Access control framework Quorum system Availability Access control capability
分类号
TP309
[自动化与计算机技术—计算机系统结构]
题名 网格时空知识图谱构建及时空知识判定应用
9
作者
韩炳 曲腾腾 刘颢 霍煜昊 程承旗
机构
北京大学前沿交叉学科研究 院 北京大学工学院 武汉 数字 工程 研究所
出处
《指挥与控制学报》
北大核心
2025年第3期253-264,共12页
文摘
面向时空实体管理和时空知识计算的现实需求,基于地球剖分网格框架GeoSOT,提出了网格时空知识图谱构建方案,将离散的时空网格作为知识图谱的节点,实现对时空实体和时空特征的标准化建模。同时提出了网格时空知识图谱的时空知识判定方法,并针对“海洋行船”场景构建了知识图谱实例,进行了时空知识判定应用实验。实验结果验证了基于网格时空知识图谱的时空知识判定方法的有效性与泛用性。
关键词
时空知识 时空知识图谱 时空知识判定 网格时空知识图谱 GeoSOT
Keywords
spatio-temporal knowledge spatio-temporal knowledge graph judgment of spatio-temporal knowledge grid spatio-tempo⁃ral knowledge graph GeoSOT
分类号
P208
[天文地球—地图制图学与地理信息工程]
题名 路网中空间关键字连续范围查询算法研究
被引量：4
10
作者
李艳红 黄群 蒋宏 李国徽
机构
中南民族大学计算机科学学院 武汉 数字 工程 研究所 海军工程 大学 华中科技大学计算机科学与技术学院
出处
《计算机科学》
CSCD
北大核心
2014年第7期232-235,共4页
基金
国家自然科学基金项目(61309002)资助
文摘
空间关键字查询相对传统的位置相关查询而言更能满足实际查询处理的需要。着重探讨路网中结合距离和关键字相似度两个因素的空间关键字查询处理问题,提出解决路网中空间关键字连续范围查询(CRSKQ)的有效方法。提出了一个综合考虑了路网上的道路、对象和路网的连通性的路网模型以支持CRSKQ查询的处理。为了实现连续监控,所提出的算法包括两个阶段,即初始结果获取和查询结果连续监控。初始结果监控阶段,通过路网扩展和关键字匹配寻找满足要求的结果对象;在连续监控阶段,充分利用前面时刻的查询结果来减小连续监控的代价。模拟实验表明,所提出的算法是有效的。
关键词
位置相关查询 空间关键字范围查询 路网 算法
Keywords
Location-based query, Continuous spatial keyword range query, Road network, Algorithm
分类号
TP391
[自动化与计算机技术—计算机应用技术]
题名 移动自组网的访问控制技术研究
被引量：1
11
作者
熊庭刚 卢正鼎 张家宏
机构
华中科技大学计算机科学与技术学院 武汉 数字 工程 研究所
出处
《计算机科学》
CSCD
北大核心
2011年第4期72-75,110,共5页
基金
国家自然科学基金(70771043 60873225 60773191)资助
文摘
网络资源的共享与保护是移动自组网需要解决的关键问题之一。运用Voronoi图模型和quorum系统的思想,提出了一种移动自组网的动态路径quorum系统,设计了动态路径quorum的生成算法。基于移动自组网的动态路径quorum系统,提出了基于quorum系统的移动自组网的分布式访问控制机制,详细描述了节点的身份认证、网络资源的访问控制和权限管理协议。与传统的基于单个节点自身的访问控制机制相比,该访问控制机制具有较强的抗攻击能力和较高的可靠性,能够有效地提高移动自组网的资源共享与保护水平。
关键词
移动自组网 VORONOI图 动态quorum系统 分布式访问控制
Keywords
Mobile ad-hoc networks Voronoi diagram Dynamic quorum system Distributed access control
分类号
TP393
[自动化与计算机技术—计算机应用技术]
题名 ASL3000测试系统的校准方法研究
被引量：1
12
作者
吴丹
机构
武汉 数字 工程 研究所
出处
《电子测量与仪器学报》
CSCD
2012年第S1期47-53,共7页
文摘
本文介绍了ASL3000测试系统校准装置的设计和实现方法,从硬件和软件的角度分别介绍了系统的硬件平台构建方法、计算机和校准装置之间的通信方式、校准适配单元设计技术以及校准软件设计技术。校准装置采用了测试系统整体校准方案,由标准仪器、校准接口、校准软件与测试系统组成一个闭环系统,通过测试系统运行校准程序对系统进行全量程、全自动校准,具有校准方便、准确、稳定、组织结构简单、容易实现的优点。通过在相同条件下进行大量的试验,给出了ASL3000测试系统的实际校准结果的不确定度,并通过传递比较法进行了验证,证实了该校准装置的可实现性和有效性。
关键词
测试系统 校准 溯源 混合信号 射频 测量不确定度
Keywords
test systems calibration traceability mixed signal RF uncertainty of measurement
分类号
TP274
[自动化与计算机技术—检测技术与自动化装置]
题名 基于SHARC DSP芯片的并行加速板性能研究
13
作者
高曙 孙元龙 高洁
机构
武汉 理工大学计算机学院武汉 数字 工程 研究所
出处
《计算机工程》
CAS
CSCD
北大核心
2003年第1期23-25,共3页
基金
国家自然科学基金项目(60173046) 湖北省自然科学基金项目(2000j153)
文摘
分析了基于SHARC DSP芯片的并行加速板的组成、结构特点、工作原理；分别以著名的分形问题Mandelbrot Set和一个非线性瞬态热传导方程的多重网格并行算法的实现为例，对这种并行加速板的性能进行了研究；在带有这种并行加速板的多种计算机平台上测试了这两种并行算法的运行结果，表明这种加速板适用面广、性能稳定、功能强大、使用方便、运算速度快，具有很好的应用前景。
关键词
SHARCDSP芯片 并行加速板 性能 并行计算机系统 并行算法 CPU
Keywords
SHARC；DSP；Parallel algorithm；Speedup
分类号
TP338.6
[自动化与计算机技术—计算机系统结构]
题名 TAO在舰载指控系统中的应用研究
14
作者
陈靖 曹万华 赵恒
机构
武汉 数字 工程 研究所
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第11期237-239,242,共4页
文摘
在舰载指控领域中,基于TAO进行构件化的软件开发,由于缺乏构件开发和运行时管理等工具的支持,因此增加了应用软件开发与管理的复杂性。该文针对舰载指控系统的应用特征,对TAO进行了适应性改造和扩充,形成一套构件化开发和运行的集成环境,以简化舰载指控应用构件的开发,增强其灵活性及运行效率。
关键词
舰载指控系统 构件管理 构件集成开发环境
Keywords
Shipbome Command and Control System（SCCS） component management component-based integration development environment
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 分布式联动系统中的多级委托策略研究
15
作者
朱丽娜 孙潮义 张焕
机构
哈尔滨工程 大学计算机科学与技术学院 武汉 数字 工程 研究所
出处
《计算机科学》
CSCD
北大核心
2009年第6期85-88,共4页
基金
国防"十一五"预研计划(No.C0820061362-06 No.A1420080183) +1 种基金 国家"863"高新技术计划信息安全主题(No.2007AA01Z464) 船舶工业国防科技预研基金项目(No.08J3.7.8)资助
文摘
目前已有的集中式安全联动防御机制对大规模复杂攻击很难做到协同防范,且容易造成单点服务失效等问题。针对上述不足,在分布式体系结构的基础上提出了一种包含安全联动策略(SRP)和委托管理策略(DAP)的多级委托机制,该机制由联动权限的动态委托和可信委托链的构造方法组成。用XACML Admin规范语言描述了上述两种策略,用形式化的方法描述了委托链的结构组成和委托过程,给出了委托联动算法的伪代码实现。构造可信委托链不仅实现了协同安全联动防御,而且在一定程度上克服了单点失效等问题。提出的安全策略多级委托机制将为构建动态的、分布式的、协作的网络安全防护系统奠定良好的理论基础。
关键词
分布式联动 联动代理 委托 XACML ADMIN
Keywords
Distributed response, Response agent,Delegation, XACML Admin
分类号
TP309
[自动化与计算机技术—计算机系统结构]
题名 软件过程中软件漂移的分类研究
16
作者
伍江华 马于涛 张子鹤 潘小群
机构
哈尔滨工程 大学计算机科学与技术学院 武汉 大学软件工程 国家重点实验室武汉 数字 工程 研究所 中国舰船研究 院
出处
《计算机工程与应用》
CSCD
北大核心
2007年第11期104-107,203,共5页
基金
湖北省教育厅重点科学研究计划项目(the Key Research Project of Department of Education of Hubei Province of China under Grant No.Z200511005) 软件工程国家重点实验室开放基金项目(No.SKLSE05- 03)。
文摘
首先系统地阐述了软件漂移的定义、相关概念和表现形式;然后,依据负漂移对软件开发过程的影响,对其进行了阶段分类研究,并分析了不同阶段漂移产生的原因;在此基础上,进一步探讨了负漂移与软件质量属性之间的关系,定性评价了负漂移对软件质量的影响。最后,介绍了在软件开发过程中度量和控制漂移时需要进一步研究和解决的关键问题。
关键词
软件漂移 软件质量属性 软件开发过程 分类
Keywords
software drift software quality attribute software development process taxonomy
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 VXI总线数字测试仪的实现技术
17
作者
佘强 朱骏 周天
机构
武汉 数字 工程 研究所 总参通信部驻武汉 军代室
出处
《电子测量与仪器学报》
CSCD
2008年第S2期118-121,共4页
文摘
基于VXI总线的高性能数字测试仪是目前数字测试的完全解决方案。但迄今为止,这种设备还很缺乏,其原因在于一些关键技术制约了其研发进程。本文总结了该测试仪在实现过程中的几个关键技术,并提出了具体实施方案。
关键词
数字测试 同步 电源管理 冷却技术
Keywords
digital test,synchronization,power management,cooling technique
分类号
TP336
[自动化与计算机技术—计算机系统结构]
TM938
[电气工程—电力电子与电力传动]
题名 云控制系统研究现状综述
被引量：13
18
作者
吕书玉 马中 戴新发 高毅 胡哲琨
机构
哈尔滨工程 大学计算机科学与技术学院 武汉 数字 工程 研究所
出处
《计算机应用研究》
CSCD
北大核心
2021年第5期1287-1293,共7页
基金
军队科研资助项目 热能动力技术重点实验室开放基金资助项目。
文摘
云控制系统是软件定义的云计算基础理论和方法在自动控制领域中的延伸和应用,然而其研究尚处于起步阶段,其概念内涵、体系架构、理论方法和关键技术还需进一步明确。通过对体系结构和构成要素的分析,归纳总结了云控制系统的典型特征;综合分析了云控制系统与相关技术的支撑关系;基于云控制系统的理论特点引申出五项关键技术,并对各关键技术的研究现状进行了详细阐述;最后提出了云控制系统未来发展所面临的问题与挑战。
关键词
云控制系统 网络化控制系统 云计算 工业物联网 数据驱动控制
Keywords
cloud control systems network control system cloud computing industrial Internet of Things data-driven control
分类号
TP273
[自动化与计算机技术—检测技术与自动化装置]
题名 基于双适应度遗传算法的虚拟机放置的研究
被引量：5
19
作者
黄兆年 李海山 赵君
机构
武汉 数字 工程 研究所
出处
《计算机科学》
CSCD
北大核心
2015年第B11期406-407,416,共3页
基金
中国科学院重大资助项目资助
文摘
减少数据中心产生的网络时延以及优化数据中心能源消耗和物理资源的浪费等越来越受到研究者的关注。主要关注数据中心的物理资源的浪费和数据中心产生的网络时延,并且建模一个多目标优化问题:最小化数据中心的物理资源以及数据中心的时延。通过改进型双适应度遗传算法将两个目标同时优化,将其结果与贪心算法进行比较,实验结果表明,此算法优于贪心算法,是云环境下有效的虚拟机放置算法。
关键词
数据中心 遗传算法 双适应度 虚拟机放置
Keywords
Data centers, Genetic algorithm, Double-fitness, Virtual machine placement
分类号
TP183
[自动化与计算机技术—控制理论与控制工程]
题名 数据链通信实时数据传输QoS控制研究
被引量：1
20
作者
董长城 吴炜 李峻林 赵恒
机构
武汉 数字 工程 研究所
出处
《计算机科学》
CSCD
北大核心
2013年第06A期283-286,共4页
文摘
目前基于数据链通信的服务器节点大多采用FCFS的服务模型进行实时数据传输,并没有根据实时数据的时效性及优先级提供良好的QoS控制。提出一种基于数据链通信的实时数据传输QoS控制算法,其通过在应用层对实时数据进行QoS分级并采用一种最早截止时间优先的优先级可控制算法(PC-EDF)进行调度,以保障在数据链通信带宽受限的条件下实时数据端到端传输的低时延以及可靠性。实验结果也验证了该方法的有效性。
关键词
数据链 QOS控制 实时
Keywords
Tactical data link, QoS control,Real time
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
