期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
线缆长度驱动的两阶段热管约束组件布局优化方法
被引量：
3
1
作者
陈献琪
周炜恩
+1 位作者
姚雯
夏宇峰
《宇航学报》
EI
CAS
CSCD
北大核心
2024年第6期842-853,共12页
针对航天器总体布局设计过程中需要考虑线缆长度的问题,提出一种以线缆长度最小化为目标的两阶段热管约束组件布局优化方法。面向几何、质心、热管散热以及线缆长度等多种复杂约束相互耦合的布局难题,基于分而治之的思想提出将原问题解...
针对航天器总体布局设计过程中需要考虑线缆长度的问题,提出一种以线缆长度最小化为目标的两阶段热管约束组件布局优化方法。面向几何、质心、热管散热以及线缆长度等多种复杂约束相互耦合的布局难题,基于分而治之的思想提出将原问题解耦为两个序贯优化子问题,通过构建并求解子问题的混合整数规划模型,实现了综合考虑多条线缆最短化目标下预埋热管舱板组件布局的高效优化设计。数值布局算例结果表明,在包含15个组件、3条有线信息链路的多种优化场景下,本方法均可以找到两级求解框架下的最优布局设计结果,充分验证了方法的可行性和有效性。
展开更多
关键词
航天器
组件布局优化
线缆长度
热管约束
混合整数规划
在线阅读
下载PDF
职称材料
高阶结构增强的跨视图无负样本对比的图异常检测算法
2
作者
金虎
胡婧韬
+3 位作者
王思为
祝恩
罗磊
段景灿
《计算机科学与探索》
CSCD
北大核心
2024年第10期2678-2689,共12页
图异常检测在网络安全、金融评估和医疗保健等多个领域都有广泛的实际应用。近年来,基于对比学习和基于生成重构的图异常检测算法框架取得了显著的性能提升。然而,大多数基于图神经网络的范式忽略了一个内在的缺点,即可能会无意识地将...
图异常检测在网络安全、金融评估和医疗保健等多个领域都有广泛的实际应用。近年来,基于对比学习和基于生成重构的图异常检测算法框架取得了显著的性能提升。然而,大多数基于图神经网络的范式忽略了一个内在的缺点,即可能会无意识地将异常节点与其邻域正常节点聚合在一起。此外,现有的检测算法缺乏对高阶结构信息的关注,导致正常节点与异常节点之间的判别性下降。为了改善以上缺点,提出了一种高阶结构增强的跨视图无负样本对比的图异常检测算法(CNCL-GAD)。与现有的单视图对比范式不同,提出了以高阶结构信息作为增强视图,通过多视图对比学习方法为图异常检测任务(GAD)引入更多、更丰富的判别信息。为了缓解图异常检测任务中正常样本与异常样本类别不平衡导致的对比负样本对大多数是同一类别的现象,提出了跨视图无负样本对比策略,即只将两个视图之间的正样本子图对拉近。将视图内节点-子图对比模块、属性重构模块和跨视图子图-子图对比模块联合训练,以获得更好的检测性能。在现有的公开数据集上进行了大量实验,与其他竞争算法相比,所提出的算法实现了有竞争力甚至更优越的性能。
展开更多
关键词
无负样本对比
图异常检测
高阶结构
在线阅读
下载PDF
职称材料
混合模糊测试中混合符号执行优化策略评估与分析
3
作者
陶静
糜娴雅
+1 位作者
王宝生
王鹏飞
《国防科技大学学报》
EI
CAS
CSCD
北大核心
2023年第2期45-54,共10页
针对传统混合模糊测试提升技术多聚焦于利用多种动静态分析手段辅助而忽略了混合符号执行自身性能的问题,提出一种混合模糊测试平衡点模型,并基于该模型对主流混合符号执行方案进行剖析,包括污点分析辅助模糊测试、混合模糊测试以及混...
针对传统混合模糊测试提升技术多聚焦于利用多种动静态分析手段辅助而忽略了混合符号执行自身性能的问题,提出一种混合模糊测试平衡点模型,并基于该模型对主流混合符号执行方案进行剖析,包括污点分析辅助模糊测试、混合模糊测试以及混合符号执行,归纳了6种符号执行方案,基于混合符号执行引擎Triton复现了6种符号执行方案,并通过10个典型真实程序进行了测试评估。从效率、内存、覆盖率三个维度对各个方案进行性能对比与影响因素分析。实验证明,优化方案都可以消除不必要的约束并减少时间和空间开销,但约束缩减会造成信息丢失,造成覆盖率降低。基于实验数据分析,提出了一个优化方案的性能序列,并提出三种针对不同测试需求的优化方案。
展开更多
关键词
软件安全
软件漏洞挖掘
混合符号执行
混合模糊测试
在线阅读
下载PDF
职称材料
题名
线缆长度驱动的两阶段热管约束组件布局优化方法
被引量：
3
1
作者
陈献琪
周炜恩
姚雯
夏宇峰
机构
军事科学院
国防科技创新研究院
军事科学院智能博弈与决策实验室
国防科技大学空天
科学
学院
出处
《宇航学报》
EI
CAS
CSCD
北大核心
2024年第6期842-853,共12页
文摘
针对航天器总体布局设计过程中需要考虑线缆长度的问题,提出一种以线缆长度最小化为目标的两阶段热管约束组件布局优化方法。面向几何、质心、热管散热以及线缆长度等多种复杂约束相互耦合的布局难题,基于分而治之的思想提出将原问题解耦为两个序贯优化子问题,通过构建并求解子问题的混合整数规划模型,实现了综合考虑多条线缆最短化目标下预埋热管舱板组件布局的高效优化设计。数值布局算例结果表明,在包含15个组件、3条有线信息链路的多种优化场景下,本方法均可以找到两级求解框架下的最优布局设计结果,充分验证了方法的可行性和有效性。
关键词
航天器
组件布局优化
线缆长度
热管约束
混合整数规划
Keywords
Spacecraft
Component layout optimization
Cable length
Heat pipe-related constraints
Mixed integer linear programming
分类号
V423.4 [航空宇航科学与技术—飞行器设计]
在线阅读
下载PDF
职称材料
题名
高阶结构增强的跨视图无负样本对比的图异常检测算法
2
作者
金虎
胡婧韬
王思为
祝恩
罗磊
段景灿
机构
国防科技大学计算机
学院
军事科学院智能博弈与决策实验室
出处
《计算机科学与探索》
CSCD
北大核心
2024年第10期2678-2689,共12页
基金
国家重点研发计划(2020AAA0107100)
国家自然科学基金(62276271,61872377)。
文摘
图异常检测在网络安全、金融评估和医疗保健等多个领域都有广泛的实际应用。近年来,基于对比学习和基于生成重构的图异常检测算法框架取得了显著的性能提升。然而,大多数基于图神经网络的范式忽略了一个内在的缺点,即可能会无意识地将异常节点与其邻域正常节点聚合在一起。此外,现有的检测算法缺乏对高阶结构信息的关注,导致正常节点与异常节点之间的判别性下降。为了改善以上缺点,提出了一种高阶结构增强的跨视图无负样本对比的图异常检测算法(CNCL-GAD)。与现有的单视图对比范式不同,提出了以高阶结构信息作为增强视图,通过多视图对比学习方法为图异常检测任务(GAD)引入更多、更丰富的判别信息。为了缓解图异常检测任务中正常样本与异常样本类别不平衡导致的对比负样本对大多数是同一类别的现象,提出了跨视图无负样本对比策略,即只将两个视图之间的正样本子图对拉近。将视图内节点-子图对比模块、属性重构模块和跨视图子图-子图对比模块联合训练,以获得更好的检测性能。在现有的公开数据集上进行了大量实验,与其他竞争算法相比,所提出的算法实现了有竞争力甚至更优越的性能。
关键词
无负样本对比
图异常检测
高阶结构
Keywords
negative-free contrastive
graph anomaly detection
high-order structure
分类号
TP181 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
混合模糊测试中混合符号执行优化策略评估与分析
3
作者
陶静
糜娴雅
王宝生
王鹏飞
机构
国防科技大学计算机
学院
军事科学院智能博弈与决策实验室
出处
《国防科技大学学报》
EI
CAS
CSCD
北大核心
2023年第2期45-54,共10页
基金
国防科技大学校科研计划基金资助项目(ZK20-17)。
文摘
针对传统混合模糊测试提升技术多聚焦于利用多种动静态分析手段辅助而忽略了混合符号执行自身性能的问题,提出一种混合模糊测试平衡点模型,并基于该模型对主流混合符号执行方案进行剖析,包括污点分析辅助模糊测试、混合模糊测试以及混合符号执行,归纳了6种符号执行方案,基于混合符号执行引擎Triton复现了6种符号执行方案,并通过10个典型真实程序进行了测试评估。从效率、内存、覆盖率三个维度对各个方案进行性能对比与影响因素分析。实验证明,优化方案都可以消除不必要的约束并减少时间和空间开销,但约束缩减会造成信息丢失,造成覆盖率降低。基于实验数据分析,提出了一个优化方案的性能序列,并提出三种针对不同测试需求的优化方案。
关键词
软件安全
软件漏洞挖掘
混合符号执行
混合模糊测试
Keywords
software security
software vulnerability discovery
concolic execution
hybrid fuzzing
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
线缆长度驱动的两阶段热管约束组件布局优化方法
陈献琪
周炜恩
姚雯
夏宇峰
《宇航学报》
EI
CAS
CSCD
北大核心
2024
3
在线阅读
下载PDF
职称材料
2
高阶结构增强的跨视图无负样本对比的图异常检测算法
金虎
胡婧韬
王思为
祝恩
罗磊
段景灿
《计算机科学与探索》
CSCD
北大核心
2024
0
在线阅读
下载PDF
职称材料
3
混合模糊测试中混合符号执行优化策略评估与分析
陶静
糜娴雅
王宝生
王鹏飞
《国防科技大学学报》
EI
CAS
CSCD
北大核心
2023
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
