期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
7
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
半自主多机器人竞技对抗决策系统研究
被引量:
2
1
作者
张忠秋
张忠钦
+1 位作者
马蕾
史豪斌
《南京航空航天大学学报》
EI
CAS
CSCD
北大核心
2018年第5期709-714,共6页
机器人竞技以其独有的动态性、实时性等特点,逐渐成为多智能体机器人系统的研究平台。以类人型机器人为硬件平台,设计了包含视觉子系统、决策子系统以及通信子系统在内的半自主机器人的竞技对抗决策系统。然后根据类人型机器人运动特性...
机器人竞技以其独有的动态性、实时性等特点,逐渐成为多智能体机器人系统的研究平台。以类人型机器人为硬件平台,设计了包含视觉子系统、决策子系统以及通信子系统在内的半自主机器人的竞技对抗决策系统。然后根据类人型机器人运动特性提出攻防策略模型,设计态势评估、路径规划等相关机器人对抗决策策略。最后通过实验证明了对抗决策系统的稳定性。
展开更多
关键词
类人型机器人
多智能体
对抗决策
在线阅读
下载PDF
职称材料
面向IMA的AADL多范式建模及代码自动生成方法
被引量:
10
2
作者
邱宝
杨志斌
+3 位作者
周勇
谢健
王铁鑫
郭鹏
《小型微型计算机系统》
CSCD
北大核心
2021年第10期2223-2233,共11页
综合模块化航空电子系统(Integrated Modular Avionics,IMA)是安全关键领域中一类重要的复杂嵌入式系统,具有分布式、异构、计算资源和物理资源强耦合等特征,单一建模语言无法完全覆盖该类系统的建模要求.近年来,多范式建模方法(Multi-P...
综合模块化航空电子系统(Integrated Modular Avionics,IMA)是安全关键领域中一类重要的复杂嵌入式系统,具有分布式、异构、计算资源和物理资源强耦合等特征,单一建模语言无法完全覆盖该类系统的建模要求.近年来,多范式建模方法(Multi-Paradigm Modeling,MPM)已成为IMA设计的研究热点.AADL(Architecture Analysis and Design Language)是一种安全关键嵌入式系统体系结构描述语言,具有丰富的表达能力和可扩展性.本文提出一种面向IMA的AADL多范式建模及代码自动生成方法.首先,给出面向IMA的AADL多范式建模方法,即AADL用于表达IMA软硬件架构,AADL行为附件、同步语言SIGNAL和SDL(Specification and Description Language)用于描述软件构件的功能行为,分别支持状态机、同步数据流、异步执行等多种计算模型.其次,给出面向IMA的代码自动生成方法,涉及IMA任务、分区、内核3个层面的代码及其配置文件的自动生成.最后,在AADL开源建模环境OSATE中实现多范式建模和代码生成原型工具,并基于飞机空气增压系统案例,验证本文所提方法的有效性.
展开更多
关键词
IMA
多范式建模
AADL
同步语言
SDL
代码生成
在线阅读
下载PDF
职称材料
基于限定中文自然语言需求的SysML模型自动生成方法
被引量:
3
3
作者
鲍阳
杨志斌
+5 位作者
杨永强
谢健
周勇
岳涛
黄志球
郭鹏
《计算机研究与发展》
EI
CSCD
北大核心
2021年第4期706-730,共25页
模型驱动开发方法逐渐成为安全关键信息物理融合系统(safety-critical cyber-physical system,SC-CPS)设计与开发的重要手段.然而,安全关键信息物理融合系统需求往往是通过自然语言描述的,如何自动化或半自动化链接自然语言需求和基于...
模型驱动开发方法逐渐成为安全关键信息物理融合系统(safety-critical cyber-physical system,SC-CPS)设计与开发的重要手段.然而,安全关键信息物理融合系统需求往往是通过自然语言描述的,如何自动化或半自动化链接自然语言需求和基于模型驱动的系统设计与开发过程是目前面临的重要挑战.面向安全关键信息物理融合系统,提出基于限定中文自然语言需求的SysML模型自动生成方法RNL2SysML.首先,为了降低自然语言需求表达的二义性,提出一种结构化的限定自然语言需求模板进行需求规约,并通过基于人工智能的(AI)安全关键信息物理融合系统术语提取和推荐方法,对系统需求中的领域术语和数据字典加以自动提取,提高限定自然语言需求规约工作的自动化程度.然后,给出限定自然语言需求规约到SysML系统设计模型的转换方法.最后,基于开源工具Papyrus对所提方法进行了原型工具实现,并通过航空领域的飞机空气增压系统(airplane air compressor system)案例验证了方法的有效性和实用性.
展开更多
关键词
安全关键信息物理融合系统
模型驱动开发方法
系统建模语言
术语推荐
限定自然语言需求
模型转换
在线阅读
下载PDF
职称材料
基于区块链的共享经济隐私保护机制的设计
被引量:
18
4
作者
李静元
范祥辉
王颖
《计算机应用与软件》
北大核心
2019年第1期296-301,共6页
针对目前共享经济体系架构存在的个人隐私泄露和交易双方信任危机问题,提出一种基于区块链技术的改进方案。该方案可以让用户个人隐私通过加密存储到区块链数据库中。基于区块链技术进行改造后,区块链的去中心化和弱中介化等特点相比传...
针对目前共享经济体系架构存在的个人隐私泄露和交易双方信任危机问题,提出一种基于区块链技术的改进方案。该方案可以让用户个人隐私通过加密存储到区块链数据库中。基于区块链技术进行改造后,区块链的去中心化和弱中介化等特点相比传统数据库更难被攻击脱库。共享体和用户对区块链数据库来说是平等的,双方交易更加透明化。共享体和平台任何一笔交易都永久记录在区块链中,信息内容存储通过对称加密算法保存,用户和共享体隐私信息也可得以有效保护。
展开更多
关键词
区块链
隐私保护
共享经济
在线阅读
下载PDF
职称材料
机载电子设备元器件焊点热疲劳寿命研究
被引量:
4
5
作者
醋强一
刘治虎
+3 位作者
田沣
张丰华
赵刚
吴波
《机械强度》
CAS
CSCD
北大核心
2022年第3期691-695,共5页
针对机载电子设备元器件焊点热疲劳失效问题,研究了适合工程应用的元器件焊点热疲劳寿命评估方法,提出了基于应变能的经验公式适合印制板组件级多元器件热疲劳寿命的评估。探讨了元器件焊点热疲劳寿命的加速试验方法,通过加速试验案例...
针对机载电子设备元器件焊点热疲劳失效问题,研究了适合工程应用的元器件焊点热疲劳寿命评估方法,提出了基于应变能的经验公式适合印制板组件级多元器件热疲劳寿命的评估。探讨了元器件焊点热疲劳寿命的加速试验方法,通过加速试验案例证明试验可行,仿真计算可信。研究结果表明,元器件焊点热疲劳寿命仿真和加速试验方法适合工程应用。
展开更多
关键词
机载电子设备
元器件焊点
热疲劳寿命
仿真
加速试验
在线阅读
下载PDF
职称材料
基于FlexRay总线的车载通用信息交互单元设计
被引量:
1
6
作者
赵君
赵刚
+1 位作者
李仑升
许亚星
《计算机工程与设计》
北大核心
2022年第8期2393-2400,F0003,共9页
针对传统车载控制系统信息网带宽低、通信接口种类多、升级改造困难的现状和特种车辆控制系统能力提升需求,基于综合化与模块化设计思想,设计一种适配FlexRay系统总线的信息交互单元,满足车载显示控制系统的升级需求。详细介绍核心处理...
针对传统车载控制系统信息网带宽低、通信接口种类多、升级改造困难的现状和特种车辆控制系统能力提升需求,基于综合化与模块化设计思想,设计一种适配FlexRay系统总线的信息交互单元,满足车载显示控制系统的升级需求。详细介绍核心处理模块等3类模块的硬件设计方法,关键器件选型与基于配置表驱动模式的软件架构,给出典型应用案例。设计分析与测试结果表明,采用信息交互单元进行装备升级后,线缆重量降低约40%,维护性指标提升1倍,通信速率提升近100倍,维护BIT时间减少约50%,降低了操作人员的非任务操作负担,有效提升了装备综合化能力与技战术指标。
展开更多
关键词
信息交互单元
FLEXRAY总线
装备升级
机电综合管理系统
在线阅读
下载PDF
职称材料
基于桶滚机动和诱饵投射的红外空空导弹对抗策略研究
7
作者
张楠
陈长胜
+1 位作者
孙靖国
梁雪超
《红外技术》
CSCD
北大核心
2022年第3期236-248,共13页
机动规避和投射诱饵是战斗机对抗红外空对空导弹的有效措施。本文主要从桶滚机动和无动力型点源诱饵两方面进行了对抗策略研究。为了使研究更具实用性,在考虑桶滚机动所需条件和诱饵弹受力的前提下,阐述了诱饵弹的运动特性、干扰过程和...
机动规避和投射诱饵是战斗机对抗红外空对空导弹的有效措施。本文主要从桶滚机动和无动力型点源诱饵两方面进行了对抗策略研究。为了使研究更具实用性,在考虑桶滚机动所需条件和诱饵弹受力的前提下,阐述了诱饵弹的运动特性、干扰过程和对导弹制导系统的影响机理。为使研究更具适用性,本文假设空对空导弹采用真比例导引律或增广比例导引律,并且诱饵考虑在常规模式和应急模式下投射。建立了桶滚机动并伴有诱饵投射时对导弹制导精度影响的线性化时变模型和伴随模型。同时,通过仿真结果的分析与比较,验证了模型的正确性。脱靶量是表征防空导弹性能的一个重要参数,提出了平均脱靶量和最大脱靶量占比来分析伴随模型的仿真结果。在此基础上,分析了目标机的桶滚机动角速率和过渡机动方位角以及诱饵弹的齐投数量、投射间隔与投射方向策略对导弹脱靶量的影响规律。这将为战斗机对抗红外空对空导弹提供策略参考。
展开更多
关键词
伴随法
诱饵投射
机动规避
红外空空导弹
脱靶量
比例导引律
在线阅读
下载PDF
职称材料
题名
半自主多机器人竞技对抗决策系统研究
被引量:
2
1
作者
张忠秋
张忠钦
马蕾
史豪斌
机构
西北
工业
大学明德学院
航空工业计算所
西北
工业
大学
计算
机学院
出处
《南京航空航天大学学报》
EI
CAS
CSCD
北大核心
2018年第5期709-714,共6页
基金
陕西省重点研发计划(2018GY-187)资助项目
文摘
机器人竞技以其独有的动态性、实时性等特点,逐渐成为多智能体机器人系统的研究平台。以类人型机器人为硬件平台,设计了包含视觉子系统、决策子系统以及通信子系统在内的半自主机器人的竞技对抗决策系统。然后根据类人型机器人运动特性提出攻防策略模型,设计态势评估、路径规划等相关机器人对抗决策策略。最后通过实验证明了对抗决策系统的稳定性。
关键词
类人型机器人
多智能体
对抗决策
Keywords
humanoid robot
multiagent
competitive countermeasure decision
分类号
TP242.6 [自动化与计算机技术—检测技术与自动化装置]
在线阅读
下载PDF
职称材料
题名
面向IMA的AADL多范式建模及代码自动生成方法
被引量:
10
2
作者
邱宝
杨志斌
周勇
谢健
王铁鑫
郭鹏
机构
南京
航空
航天大学
计算
机科学与技术学院
高安全系统的软件开发与验证技术工信部重点实验室
航空工业计算所
出处
《小型微型计算机系统》
CSCD
北大核心
2021年第10期2223-2233,共11页
基金
航空科学基金项目(201919052002)资助
中央高校基本科研业务费专项(NP2017205)资助。
文摘
综合模块化航空电子系统(Integrated Modular Avionics,IMA)是安全关键领域中一类重要的复杂嵌入式系统,具有分布式、异构、计算资源和物理资源强耦合等特征,单一建模语言无法完全覆盖该类系统的建模要求.近年来,多范式建模方法(Multi-Paradigm Modeling,MPM)已成为IMA设计的研究热点.AADL(Architecture Analysis and Design Language)是一种安全关键嵌入式系统体系结构描述语言,具有丰富的表达能力和可扩展性.本文提出一种面向IMA的AADL多范式建模及代码自动生成方法.首先,给出面向IMA的AADL多范式建模方法,即AADL用于表达IMA软硬件架构,AADL行为附件、同步语言SIGNAL和SDL(Specification and Description Language)用于描述软件构件的功能行为,分别支持状态机、同步数据流、异步执行等多种计算模型.其次,给出面向IMA的代码自动生成方法,涉及IMA任务、分区、内核3个层面的代码及其配置文件的自动生成.最后,在AADL开源建模环境OSATE中实现多范式建模和代码生成原型工具,并基于飞机空气增压系统案例,验证本文所提方法的有效性.
关键词
IMA
多范式建模
AADL
同步语言
SDL
代码生成
Keywords
IMA
multi-paradigm modeling
AADL
SIGNAL
SDL
code generation
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于限定中文自然语言需求的SysML模型自动生成方法
被引量:
3
3
作者
鲍阳
杨志斌
杨永强
谢健
周勇
岳涛
黄志球
郭鹏
机构
南京
航空
航天大学
计算
机科学与技术学院
高安全系统的软件开发与验证技术工信部重点实验室(南京
航空
航天大学)
航空工业计算所
出处
《计算机研究与发展》
EI
CSCD
北大核心
2021年第4期706-730,共25页
基金
国家自然科学基金项目(62072233)
航空科学基金项目(201919052002)
中央高校基本科研业务费专项资金项目(NP2017205)。
文摘
模型驱动开发方法逐渐成为安全关键信息物理融合系统(safety-critical cyber-physical system,SC-CPS)设计与开发的重要手段.然而,安全关键信息物理融合系统需求往往是通过自然语言描述的,如何自动化或半自动化链接自然语言需求和基于模型驱动的系统设计与开发过程是目前面临的重要挑战.面向安全关键信息物理融合系统,提出基于限定中文自然语言需求的SysML模型自动生成方法RNL2SysML.首先,为了降低自然语言需求表达的二义性,提出一种结构化的限定自然语言需求模板进行需求规约,并通过基于人工智能的(AI)安全关键信息物理融合系统术语提取和推荐方法,对系统需求中的领域术语和数据字典加以自动提取,提高限定自然语言需求规约工作的自动化程度.然后,给出限定自然语言需求规约到SysML系统设计模型的转换方法.最后,基于开源工具Papyrus对所提方法进行了原型工具实现,并通过航空领域的飞机空气增压系统(airplane air compressor system)案例验证了方法的有效性和实用性.
关键词
安全关键信息物理融合系统
模型驱动开发方法
系统建模语言
术语推荐
限定自然语言需求
模型转换
Keywords
safety-critical cyber-physical system
model-driven development
SysML
glossary recom-mendation
restricted natural language requirement
model transformation
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于区块链的共享经济隐私保护机制的设计
被引量:
18
4
作者
李静元
范祥辉
王颖
机构
陕西师范大学
航空工业计算所
西京公司
出处
《计算机应用与软件》
北大核心
2019年第1期296-301,共6页
基金
航空科学基金项目(2014ZC31002)
文摘
针对目前共享经济体系架构存在的个人隐私泄露和交易双方信任危机问题,提出一种基于区块链技术的改进方案。该方案可以让用户个人隐私通过加密存储到区块链数据库中。基于区块链技术进行改造后,区块链的去中心化和弱中介化等特点相比传统数据库更难被攻击脱库。共享体和用户对区块链数据库来说是平等的,双方交易更加透明化。共享体和平台任何一笔交易都永久记录在区块链中,信息内容存储通过对称加密算法保存,用户和共享体隐私信息也可得以有效保护。
关键词
区块链
隐私保护
共享经济
Keywords
Block chain
Privacy protection
Sharing economy
分类号
TP399 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
机载电子设备元器件焊点热疲劳寿命研究
被引量:
4
5
作者
醋强一
刘治虎
田沣
张丰华
赵刚
吴波
机构
航空工业计算所
出处
《机械强度》
CAS
CSCD
北大核心
2022年第3期691-695,共5页
基金
国家科技重大专项(2017-V-0014-0066)资助。
文摘
针对机载电子设备元器件焊点热疲劳失效问题,研究了适合工程应用的元器件焊点热疲劳寿命评估方法,提出了基于应变能的经验公式适合印制板组件级多元器件热疲劳寿命的评估。探讨了元器件焊点热疲劳寿命的加速试验方法,通过加速试验案例证明试验可行,仿真计算可信。研究结果表明,元器件焊点热疲劳寿命仿真和加速试验方法适合工程应用。
关键词
机载电子设备
元器件焊点
热疲劳寿命
仿真
加速试验
Keywords
Airborne electronic equipment
Solder joints
Thermal fatigue life
Simulation
Accelerated test
分类号
TH123 [机械工程—机械设计及理论]
在线阅读
下载PDF
职称材料
题名
基于FlexRay总线的车载通用信息交互单元设计
被引量:
1
6
作者
赵君
赵刚
李仑升
许亚星
机构
航空工业计算所
出处
《计算机工程与设计》
北大核心
2022年第8期2393-2400,F0003,共9页
基金
国家自然科学基金项目(51877179)。
文摘
针对传统车载控制系统信息网带宽低、通信接口种类多、升级改造困难的现状和特种车辆控制系统能力提升需求,基于综合化与模块化设计思想,设计一种适配FlexRay系统总线的信息交互单元,满足车载显示控制系统的升级需求。详细介绍核心处理模块等3类模块的硬件设计方法,关键器件选型与基于配置表驱动模式的软件架构,给出典型应用案例。设计分析与测试结果表明,采用信息交互单元进行装备升级后,线缆重量降低约40%,维护性指标提升1倍,通信速率提升近100倍,维护BIT时间减少约50%,降低了操作人员的非任务操作负担,有效提升了装备综合化能力与技战术指标。
关键词
信息交互单元
FLEXRAY总线
装备升级
机电综合管理系统
Keywords
information interaction unit
FlexRay bus
equipment upgrade
utility management systems
分类号
TP302.1 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于桶滚机动和诱饵投射的红外空空导弹对抗策略研究
7
作者
张楠
陈长胜
孙靖国
梁雪超
机构
中国
航空工业计算所
中国运载火箭技术研究院
出处
《红外技术》
CSCD
北大核心
2022年第3期236-248,共13页
文摘
机动规避和投射诱饵是战斗机对抗红外空对空导弹的有效措施。本文主要从桶滚机动和无动力型点源诱饵两方面进行了对抗策略研究。为了使研究更具实用性,在考虑桶滚机动所需条件和诱饵弹受力的前提下,阐述了诱饵弹的运动特性、干扰过程和对导弹制导系统的影响机理。为使研究更具适用性,本文假设空对空导弹采用真比例导引律或增广比例导引律,并且诱饵考虑在常规模式和应急模式下投射。建立了桶滚机动并伴有诱饵投射时对导弹制导精度影响的线性化时变模型和伴随模型。同时,通过仿真结果的分析与比较,验证了模型的正确性。脱靶量是表征防空导弹性能的一个重要参数,提出了平均脱靶量和最大脱靶量占比来分析伴随模型的仿真结果。在此基础上,分析了目标机的桶滚机动角速率和过渡机动方位角以及诱饵弹的齐投数量、投射间隔与投射方向策略对导弹脱靶量的影响规律。这将为战斗机对抗红外空对空导弹提供策略参考。
关键词
伴随法
诱饵投射
机动规避
红外空空导弹
脱靶量
比例导引律
Keywords
adjoint method
decoy launch
evasive maneuver
IR air-to-air missile
miss distance
proportional navigation law
分类号
TJ765.3 [兵器科学与技术—武器系统与运用工程]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
半自主多机器人竞技对抗决策系统研究
张忠秋
张忠钦
马蕾
史豪斌
《南京航空航天大学学报》
EI
CAS
CSCD
北大核心
2018
2
在线阅读
下载PDF
职称材料
2
面向IMA的AADL多范式建模及代码自动生成方法
邱宝
杨志斌
周勇
谢健
王铁鑫
郭鹏
《小型微型计算机系统》
CSCD
北大核心
2021
10
在线阅读
下载PDF
职称材料
3
基于限定中文自然语言需求的SysML模型自动生成方法
鲍阳
杨志斌
杨永强
谢健
周勇
岳涛
黄志球
郭鹏
《计算机研究与发展》
EI
CSCD
北大核心
2021
3
在线阅读
下载PDF
职称材料
4
基于区块链的共享经济隐私保护机制的设计
李静元
范祥辉
王颖
《计算机应用与软件》
北大核心
2019
18
在线阅读
下载PDF
职称材料
5
机载电子设备元器件焊点热疲劳寿命研究
醋强一
刘治虎
田沣
张丰华
赵刚
吴波
《机械强度》
CAS
CSCD
北大核心
2022
4
在线阅读
下载PDF
职称材料
6
基于FlexRay总线的车载通用信息交互单元设计
赵君
赵刚
李仑升
许亚星
《计算机工程与设计》
北大核心
2022
1
在线阅读
下载PDF
职称材料
7
基于桶滚机动和诱饵投射的红外空空导弹对抗策略研究
张楠
陈长胜
孙靖国
梁雪超
《红外技术》
CSCD
北大核心
2022
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部