期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于污点分析与文本语义的固件程序交互关系智能逆向分析方法
1
作者
王磊
陈炯峄
+1 位作者
王剑
冯袁
《信息网络安全》
北大核心
2025年第9期1385-1396,共12页
针对嵌入式设备固件程序间交互关系逆向分析自动化程度低、准确率不高、分析效率低等问题,文章提出一种基于污点分析与文本语义的固件程序交互关系智能逆向分析方法。该方法构建了基于污点分析的关联函数代码切片算法,结合大语言模型的...
针对嵌入式设备固件程序间交互关系逆向分析自动化程度低、准确率不高、分析效率低等问题,文章提出一种基于污点分析与文本语义的固件程序交互关系智能逆向分析方法。该方法构建了基于污点分析的关联函数代码切片算法,结合大语言模型的语义理解能力,实现了二进制程序中交互信息的精准提取和关联代码片段的智能定位,此外,还设计了面向脚本文件和配置文件的专用交互信息提取方法,有效提升了方法处理非结构化文本数据的能力。实验结果表明,程序间交互关系逆向分析方法的检测准确率达93.2%,研究成果可为理解程序功能、实现通信控制、发现潜在漏洞等应用提供有效支撑。
展开更多
关键词
污点分析
大语言模型
逆向分析
程序交互
在线阅读
下载PDF
职称材料
基于系统动力学的汽车连杆生产线建模与仿真
被引量：
5
2
作者
李晗
范文慧
+2 位作者
冯袁
朱梦妮
张生晓
《系统仿真学报》
CAS
CSCD
北大核心
2018年第9期3351-3359,共9页
在生产线系统中,如何能在给定的约束条件下,合理地分配作业要素,平衡各工序的生产负荷,提高生产线的平衡率和生产效率,越来越受到广泛的关注。以连杆生产线研究对象,根据系统动力学的原理建立连杆生产线的仿真模型,在Any Logic软件中搭...
在生产线系统中,如何能在给定的约束条件下,合理地分配作业要素,平衡各工序的生产负荷,提高生产线的平衡率和生产效率,越来越受到广泛的关注。以连杆生产线研究对象,根据系统动力学的原理建立连杆生产线的仿真模型,在Any Logic软件中搭建仿真系统,验证了模型的可行性,研究了生产线平衡率,分析了原材料的上线间隔、加工机器数量等因素对生产性能以及平衡率稳定性的影响,并在分析的基础上进行了一定的平衡优化,改善了连杆生产线的生产性能。
展开更多
关键词
系统动力学建模
连杆生产线
计算机仿真
生产线平衡
在线阅读
下载PDF
职称材料
汽车连杆生产线的建模与仿真
被引量：
12
3
作者
延渊渊
范文慧
冯袁
《系统仿真学报》
CAS
CSCD
北大核心
2018年第9期3360-3365,3376,共7页
离散事件系统仿真方法被广泛应用于解决各类问题,生产线平衡问题也是其中之一。应用离散事件系统仿真的方法对连杆生产线进行了研究,分析了生产线的瓶颈工序、生产线平衡率以及生产线效率等问题,提出了对生产线的一个优化策略。首先应...
离散事件系统仿真方法被广泛应用于解决各类问题,生产线平衡问题也是其中之一。应用离散事件系统仿真的方法对连杆生产线进行了研究,分析了生产线的瓶颈工序、生产线平衡率以及生产线效率等问题,提出了对生产线的一个优化策略。首先应用离散事件系统对连杆生产线进行建模,其次在AnyLogic软件中搭建生产线模型并进行仿真,分析其瓶颈工序及待优化问题,然后对生产线进行优化,找出最佳生产线的安排方案,并再次仿真进行验证。
展开更多
关键词
离散事件
生产线平衡问题
ANYLOGIC
建模与仿真
在线阅读
下载PDF
职称材料
题名
基于污点分析与文本语义的固件程序交互关系智能逆向分析方法
1
作者
王磊
陈炯峄
王剑
冯袁
机构
国防科技大学电子科学学院
出处
《信息网络安全》
北大核心
2025年第9期1385-1396,共12页
基金
国家自然科学基金[62302508]。
文摘
针对嵌入式设备固件程序间交互关系逆向分析自动化程度低、准确率不高、分析效率低等问题,文章提出一种基于污点分析与文本语义的固件程序交互关系智能逆向分析方法。该方法构建了基于污点分析的关联函数代码切片算法,结合大语言模型的语义理解能力,实现了二进制程序中交互信息的精准提取和关联代码片段的智能定位,此外,还设计了面向脚本文件和配置文件的专用交互信息提取方法,有效提升了方法处理非结构化文本数据的能力。实验结果表明,程序间交互关系逆向分析方法的检测准确率达93.2%,研究成果可为理解程序功能、实现通信控制、发现潜在漏洞等应用提供有效支撑。
关键词
污点分析
大语言模型
逆向分析
程序交互
Keywords
taint analysis
large language models
reverse analysis
program interaction
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于系统动力学的汽车连杆生产线建模与仿真
被引量：
5
2
作者
李晗
范文慧
冯袁
朱梦妮
张生晓
机构
清华大学自动化系
中国船舶工业系统工程研究院
出处
《系统仿真学报》
CAS
CSCD
北大核心
2018年第9期3351-3359,共9页
基金
国家自然科学基金(51575469)
文摘
在生产线系统中,如何能在给定的约束条件下,合理地分配作业要素,平衡各工序的生产负荷,提高生产线的平衡率和生产效率,越来越受到广泛的关注。以连杆生产线研究对象,根据系统动力学的原理建立连杆生产线的仿真模型,在Any Logic软件中搭建仿真系统,验证了模型的可行性,研究了生产线平衡率,分析了原材料的上线间隔、加工机器数量等因素对生产性能以及平衡率稳定性的影响,并在分析的基础上进行了一定的平衡优化,改善了连杆生产线的生产性能。
关键词
系统动力学建模
连杆生产线
计算机仿真
生产线平衡
Keywords
system dynamics modeling
connecting rod production line
computer simulation
production line balancing
分类号
TP319.1 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
汽车连杆生产线的建模与仿真
被引量：
12
3
作者
延渊渊
范文慧
冯袁
机构
清华大学自动化系
出处
《系统仿真学报》
CAS
CSCD
北大核心
2018年第9期3360-3365,3376,共7页
基金
国家自然科学基金(51575469)
文摘
离散事件系统仿真方法被广泛应用于解决各类问题,生产线平衡问题也是其中之一。应用离散事件系统仿真的方法对连杆生产线进行了研究,分析了生产线的瓶颈工序、生产线平衡率以及生产线效率等问题,提出了对生产线的一个优化策略。首先应用离散事件系统对连杆生产线进行建模,其次在AnyLogic软件中搭建生产线模型并进行仿真,分析其瓶颈工序及待优化问题,然后对生产线进行优化,找出最佳生产线的安排方案,并再次仿真进行验证。
关键词
离散事件
生产线平衡问题
ANYLOGIC
建模与仿真
Keywords
DES
line balancing problem
AnyLogic
modeling and simulation
分类号
TP391.9 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于污点分析与文本语义的固件程序交互关系智能逆向分析方法
王磊
陈炯峄
王剑
冯袁
《信息网络安全》
北大核心
2025
0
在线阅读
下载PDF
职称材料
2
基于系统动力学的汽车连杆生产线建模与仿真
李晗
范文慧
冯袁
朱梦妮
张生晓
《系统仿真学报》
CAS
CSCD
北大核心
2018
5
在线阅读
下载PDF
职称材料
3
汽车连杆生产线的建模与仿真
延渊渊
范文慧
冯袁
《系统仿真学报》
CAS
CSCD
北大核心
2018
12
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
