检索结果-维普期刊中文期刊服务平台

基于Petri网展开的多线程程序数据竞争检测与重演: 1; 作者鲁法明黄莹 +2 位作者曾庆田包云霞唐梦凡《软件学报》 EI CSCD 北大核心 2023年第8期3726-3744,共19页; 数据竞争是多线程程序的常见漏洞之一,传统的数据竞争分析方法在查全率和准确率方面难以两全,而且所生成检测报告难以定位漏洞的根源.鉴于Petri网在并发系统建模和分析方面具有行为描述精确、分析工具丰富的优点,提出一种基于Petri网展... 展开更多; 关键词数据竞争 PETRI网网展开动态程序分析; 在线阅读下载PDF 职称材料

脉冲展开式飞网质量分布与展开稳定性优化被引量：2: 2; 作者竺伟梁庞兆君 +2 位作者司骥跃杜忠华程春《宇航学报》 EI CAS CSCD 北大核心 2022年第9期1208-1218,共11页; 针对脉冲展开式飞网的展开稳定性问题,从网面质量分布角度开展研究。首先基于传递矩阵方法、集中质量法和反比例函数推导建立了较优的网面质量分布模型。然后结合遗传算法优化得到了网面最优的质量分布状态,并通过大量数值仿真和回归分... 展开更多; 关键词空间碎片脉冲展开式飞网空间绳网多体系统传递矩阵; 在线阅读下载PDF 职称材料

基于变迁紧邻关系重要性的流程相似性算法被引量：17: 3; 作者殷明闻立杰 +3 位作者王建民肖汉丁子哲高翔《计算机集成制造系统》 EI CSCD 北大核心 2015年第2期344-358,共15页; 为了提高模型的检索效率,提出一种基于变迁紧邻关系重要性的相似性算法TAR++,其主要思想是在流程中两两任务之间的紧邻关系上增加一个重要性系数,并将流程的相似度用带重要性的变迁紧邻关系集合的相似度表示。经证明,该算法对应的TAR++... 展开更多; 关键词展开网行为相似性变迁紧邻关系相似性算法评估; 在线阅读下载PDF 职称材料

基于完全有限前缀的完备日志生成算法: 4; 作者王文星闻立杰谭士杰《计算机集成制造系统》 EI CSCD 北大核心 2011年第8期1692-1702,共11页; 鉴于理想的完备日志很难被获取,针对特定次序关系完备的日志已成为评估挖掘算法表现的重要数据来源。提出了一种新颖的针对特定次序关系完备日志生成算法,基于完全有限前缀计算轨迹,使日志生成过程可控。扩展了完备日志的生成算法,使日... 展开更多; 关键词完备日志展开网完全有限前缀 α谱系挖掘算法评估框架; 在线阅读下载PDF 职称材料

题名基于Petri网展开的多线程程序数据竞争检测与重演: 1; 作者鲁法明黄莹曾庆田包云霞唐梦凡; 机构山东科技大学计算机科学与工程学院中国科学院深圳先进技术研究院; 出处《软件学报》 EI CSCD 北大核心 2023年第8期3726-3744,共19页; 基金国家自然科学基金(61602279) 山东省泰山学者工程专项基金(ts20190936) +3 种基金山东科技大学教学名师培育计划(MS20211102)。; 文摘数据竞争是多线程程序的常见漏洞之一,传统的数据竞争分析方法在查全率和准确率方面难以两全,而且所生成检测报告难以定位漏洞的根源.鉴于Petri网在并发系统建模和分析方面具有行为描述精确、分析工具丰富的优点,提出一种基于Petri网展开的新型数据竞争检测方法.首先,对程序的某一运行轨迹进行分析和挖掘,构建程序的一个Petri网模型,它由单一轨迹挖掘得到,却可隐含程序的多个不同运行轨迹,由此可在保证效率的同时降低传统动态分析方法的漏报率;其次,提出基于Petri网展开的潜在数据竞争检测方法,相比静态分析方法在有效性上有较大提升,而且能明确给出数据竞争的产生路径;最后,对上一阶段检测到的潜在数据竞争,给出基于CalFuzzer平台的潜在死锁重演调度方法,可剔除误报,保证数据竞争检测结果的真实性.开发相应的原型系统,结合公开的程序实例验证了所提方法的有效性.; 关键词数据竞争 PETRI网网展开动态程序分析; Keywords data race Petri net net unfolding dynamic program analysis; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名脉冲展开式飞网质量分布与展开稳定性优化被引量：2: 2; 作者竺伟梁庞兆君司骥跃杜忠华程春; 机构南京理工大学机械工程学院北京机械设备研究所宁波大学冲击与安全工程教育部重点实验室; 出处《宇航学报》 EI CAS CSCD 北大核心 2022年第9期1208-1218,共11页; 基金空间智能控制技术实验室开放基金课题(HTKJ2021KL502010) 国防科工局空间碎片与近地小行星防御科研项目(KJSP2020010303) +1 种基金国家自然科学基金(11802130) 江苏省研究生科研与实践创新计划项目(KYCX22_0472)。; 文摘针对脉冲展开式飞网的展开稳定性问题,从网面质量分布角度开展研究。首先基于传递矩阵方法、集中质量法和反比例函数推导建立了较优的网面质量分布模型。然后结合遗传算法优化得到了网面最优的质量分布状态,并通过大量数值仿真和回归分析得到了网面质量分布经验公式。提出的网面质量分布模型有效降低了网面质量分布问题中的优化变量个数,提升了网面质量分布最优解的求解效率。网面质量分布最优解所对应的网面展开稳定性得到大幅提升,网面质量分布经验公式对应的网面展开状态与最优解对应的网面展开状态基本一致。结果表明,将网面质量分布模型和网面质量分布经验公式应用到脉冲展开式飞网将有效提升飞网的展开稳定性。; 关键词空间碎片脉冲展开式飞网空间绳网多体系统传递矩阵; Keywords Space debris Single-pulse-deployed space net Space net Transfer matrix method for multibody system; 分类号 V476.5 [航空宇航科学与技术—飞行器设计]; 在线阅读下载PDF 职称材料

题名基于变迁紧邻关系重要性的流程相似性算法被引量：17: 3; 作者殷明闻立杰王建民肖汉丁子哲高翔; 机构清华大学软件学院中国移动通信集团公司管理信息系统部; 出处《计算机集成制造系统》 EI CSCD 北大核心 2015年第2期344-358,共15页; 基金国家自然科学基金资助项目(61472207 61402301 +1 种基金 61325008) 教育部-中国移动科研基金资助项目(MCM20123011)~~; 文摘为了提高模型的检索效率,提出一种基于变迁紧邻关系重要性的相似性算法TAR++,其主要思想是在流程中两两任务之间的紧邻关系上增加一个重要性系数,并将流程的相似度用带重要性的变迁紧邻关系集合的相似度表示。经证明,该算法对应的TAR++距离满足距离度量性质。在SAP、东锅、北车三个公司实际业务流程数据上进行的相关实验表明,该算法具有比较好的时间效率以及良好的灵活性和可操作性。; 关键词展开网行为相似性变迁紧邻关系相似性算法评估; Keywords unfolding net behavioral similarity transition adjacency relation similarity algorithm evaluation; 分类号 TP391.1 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于完全有限前缀的完备日志生成算法: 4; 作者王文星闻立杰谭士杰; 机构清华大学软件学院清华大学信息系统安全教育部重点实验室清华大学信息科学与技术国家实验室(筹); 出处《计算机集成制造系统》 EI CSCD 北大核心 2011年第8期1692-1702,共11页; 基金国家自然科学基金资助项目(61003099) 国家863计划资助项目(2008AA042301) +1 种基金核高基专项资助项目(2010ZX01042-002-002-01)~~; 文摘鉴于理想的完备日志很难被获取,针对特定次序关系完备的日志已成为评估挖掘算法表现的重要数据来源。提出了一种新颖的针对特定次序关系完备日志生成算法,基于完全有限前缀计算轨迹,使日志生成过程可控。扩展了完备日志的生成算法,使日志能够针对Δw关系和w关系完备,从而满足α谱系挖掘算法对日志的完备性要求。同时提出了一种日志生成算法的评估框架,并对日志生成算法进行评估。; 关键词完备日志展开网完全有限前缀 α谱系挖掘算法评估框架; Keywords complete log unfolding net complete finite prefix α series mining algorithm evaluation framework; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于Petri网展开的多线程程序数据竞争检测与重演	鲁法明黄莹曾庆田包云霞唐梦凡	《软件学报》 EI CSCD 北大核心	2023	0	在线阅读下载PDF 职称材料
2	脉冲展开式飞网质量分布与展开稳定性优化	竺伟梁庞兆君司骥跃杜忠华程春	《宇航学报》 EI CAS CSCD 北大核心	2022	2	在线阅读下载PDF 职称材料
3	基于变迁紧邻关系重要性的流程相似性算法	殷明闻立杰王建民肖汉丁子哲高翔	《计算机集成制造系统》 EI CSCD 北大核心	2015	17	在线阅读下载PDF 职称材料
4	基于完全有限前缀的完备日志生成算法	王文星闻立杰谭士杰	《计算机集成制造系统》 EI CSCD 北大核心	2011	0	在线阅读下载PDF 职称材料