期刊文献+
共找到116篇文章
< 1 2 6 >
每页显示 20 50 100
基于样本嵌入的挖矿恶意软件检测方法 被引量:1
1
作者 傅建明 姜宇谦 +3 位作者 何佳 郑锐 苏日古嘎 彭国军 《计算机科学》 CSCD 北大核心 2024年第1期327-334,共8页
加密货币挖矿恶意软件的高盈利性和匿名性,对计算机用户造成了巨大威胁和损失。为了对抗挖矿恶意软件带来的威胁,基于软件静态特征的机器学习检测器通常选取单一类型的静态特征,或者通过集成学习来融合不同种类静态特征的检测结果,忽略... 加密货币挖矿恶意软件的高盈利性和匿名性,对计算机用户造成了巨大威胁和损失。为了对抗挖矿恶意软件带来的威胁,基于软件静态特征的机器学习检测器通常选取单一类型的静态特征,或者通过集成学习来融合不同种类静态特征的检测结果,忽略了不同种类静态特征之间的内在联系,其检测率有待提升。文章从挖矿恶意软件的内在层级联系出发,自下而上提取样本的基本块、控制流程图和函数调用图作为静态特征,训练三层模型以将这些特征分别嵌入向量化,并逐渐汇集从底层到高层的特征,最终输入分类器实现对挖矿恶意软件的检测。为了模拟真实环境中的检测情形,先在一个小的实验数据集上训练模型,再在另一个更大的数据集上测试模型的性能。实验结果表明,三层嵌入模型在挖矿恶意软件检测上的性能领先于近年提出的机器学习模型,在召回率和准确率上相比其他模型分别提高了7%和3%以上。 展开更多
关键词 挖矿恶意软件 静态分析 机器学习 图嵌入
下载PDF
视觉对人体姿势控制影响的脑功能网络连接机制 被引量:1
2
作者 郭峰 袁维帅 +3 位作者 王新 夏雪莲 董彤彤 任迎慧 《医用生物力学》 CAS CSCD 北大核心 2024年第2期285-292,共8页
目的研究视觉对人体姿势控制影响及其脑功能网络连接机制。方法以15名健康青年为研究对象,要求受试者分别进行30 s睁眼、闭眼的双腿站立平衡,采集平衡过程中身体压力中心(center of pressure,COP)和脑电。对COP进行样本熵(SampleEn)计算... 目的研究视觉对人体姿势控制影响及其脑功能网络连接机制。方法以15名健康青年为研究对象,要求受试者分别进行30 s睁眼、闭眼的双腿站立平衡,采集平衡过程中身体压力中心(center of pressure,COP)和脑电。对COP进行样本熵(SampleEn)计算;对脑电θ、α和β频段,计算相位滞后指数(phase lag index,PLI)构建大脑功能网络,并基于图论计算集聚系数(C)、特征路径长度(L)及小世界网络属性(σ)。结果人体在双腿站立平衡过程中,闭眼COPY样本熵显著高于睁眼(P<0.05)。闭眼α频段PLI平均值显著高于睁眼(P<0.05);闭眼α频段C、σ显著高于睁眼,L显著低于睁眼(P<0.05)。闭眼时α频段额区-中央区-顶区之间的网络连接以及中央区和顶区内连接强度显著高于睁眼(P<0.05)。闭眼时α频段PLI平均值以及C值与COPY样本熵中度呈中度负相关(P<0.05)。睁眼时左前额区、左顶区、左枕区α频段PLI平均值与COPY样本熵呈中度负相关;闭眼时左中央区、右枕区α频段PLI平均值则与COPY样本熵呈中度负相关。结论人体在站立平衡时,当没有视觉信息输入时,身体平衡稳定性下降,同时伴随着脑电α频段的脑网络连接增强以及大脑处理信息的效率需提升。人体在不同的视觉条件下进行姿势控制时,大脑会采用不同的神经策略。 展开更多
关键词 静态平衡 视觉 大脑功能网络 图论 脑电
下载PDF
Graph Modeling for Static Timing Analysis at Transistor Level in Nano-Scale CMOS Circuits
3
作者 Abdoul Rjoub Almotasem Bellah Alajlouni Hassan Almanasrah 《Circuits and Systems》 2013年第2期123-136,共14页
The development and the revolution of nanotechnology require more and effective methods to accurately estimating the timing analysis for any CMOS transistor level circuit. Many researches attempted to resolve the timi... The development and the revolution of nanotechnology require more and effective methods to accurately estimating the timing analysis for any CMOS transistor level circuit. Many researches attempted to resolve the timing analysis, but the best method found till the moment is the Static Timing Analysis (STA). It is considered the best solution because of its accuracy and fast run time. Transistor level models are mandatory required for the best estimating methods, since these take into consideration all analysis scenarios to overcome problems of multiple-input switching, false paths and high stacks that are found in classic CMOS gates. In this paper, transistor level graph model is proposed to describe the behavior of CMOS circuits under predictive Nanotechnology SPICE parameters. This model represents the transistor in the CMOS circuit as nodes in the graph regardless of its positions in the gates to accurately estimating the timing analysis rather than inaccurate estimating which caused by the false paths at the gate level. Accurate static timing analysis is estimated using the model proposed in this paper. Building on the proposed model and the graph theory concepts, new algorithms are proposed and simulated to compute transistor timing analysis using RC model. Simulation results show the validity of the proposed graph model and its algorithms by using predictive Nano-Technology SPICE parameters for the tested technology. An important and effective extension has been achieved in this paper for a one that was published in international conference. 展开更多
关键词 Critical Path Estimation graph Models MOSFETS SEQUENTIAL Circuits TRANSISTOR LEVEL static TIMING Analysis
下载PDF
图神经网络在异常检测中的应用综述
4
作者 陈佳乐 陈旭 +1 位作者 景永俊 王叔洋 《计算机工程与应用》 CSCD 北大核心 2024年第13期51-65,共15页
图数据常用于表示不同个体之间复杂的关系,例如社交网络、金融网络和微服务网络等。图神经网络(GNN)是一种用于处理图数据的深度学习模型,它可以有效捕获图数据中的结构信息和特征信息。异常检测是指从海量数据中找出不符合预期的数据... 图数据常用于表示不同个体之间复杂的关系,例如社交网络、金融网络和微服务网络等。图神经网络(GNN)是一种用于处理图数据的深度学习模型,它可以有效捕获图数据中的结构信息和特征信息。异常检测是指从海量数据中找出不符合预期的数据。传统异常检测方法在检测图数据时通常不考虑数据之间的关系,而使用GNN进行异常检测的模型可以利用图结构和图特征进行学习,从而提高异常检测的准确性和鲁棒性。从三个方面对GNN在异常检测中的应用进行综述。介绍了GNN的基本框架,分别探讨了GNN在静态图异常检测、动态图异常检测和时序数据异常检测的最新研究进展,深入分析了该领域未来的研究方向。 展开更多
关键词 图神经网络 异常检测 静态图 动态图 时序数据
下载PDF
面向程序可达性验证的数组处理循环压缩方法
5
作者 许良晨 孟昭逸 +1 位作者 黄文超 熊焰 《信息网络安全》 CSCD 北大核心 2024年第3期374-384,共11页
计算机软件的安全性和健壮性逐渐成为一个非常重要的问题,而自动软件形式化验证是一种验证软件程序安全性和健壮性的可靠性较高的方法。在自动软件形式化验证中,大规模数组和复杂循环导致状态爆炸,使得验证器无法在规定时间内完成验证,... 计算机软件的安全性和健壮性逐渐成为一个非常重要的问题,而自动软件形式化验证是一种验证软件程序安全性和健壮性的可靠性较高的方法。在自动软件形式化验证中,大规模数组和复杂循环导致状态爆炸,使得验证器无法在规定时间内完成验证,因此如何在保证验证正确性的前提下压缩数组规模是一个值得研究的课题。文章提出复杂循环等价类的定义和相关命题,并提出一种面向程序可达性验证的数组处理循环压缩方法,先利用控制流自动机和系统依赖图进行静态分析划分等价类,再根据循环依赖关系对等价类进行压缩,用压缩后程序的验证结果代替原始程序的验证结果。实验结果表明,文章提出的方法能够在保证验证正确性的前提下压缩程序的规模,提高验证效率。 展开更多
关键词 等价类分析 软件形式化验证 静态分析 系统依赖图
下载PDF
考虑多输入转换效应的时序建模
6
作者 丁文杰 姜海洋 +1 位作者 张展华 曹鹏 《集成电路与嵌入式系统》 2024年第1期32-38,共7页
随着集成电路工艺的不断发展,因电路工作主频的提升和工艺偏差影响的加剧,导致多输入转换(MIS)效应对电路静态时序分析的影响愈发不容忽视,使得传统的单输入转换(SIS)模式单元时序建库方式难以规避保持时间和建立时间的违规。为了表征MI... 随着集成电路工艺的不断发展,因电路工作主频的提升和工艺偏差影响的加剧,导致多输入转换(MIS)效应对电路静态时序分析的影响愈发不容忽视,使得传统的单输入转换(SIS)模式单元时序建库方式难以规避保持时间和建立时间的违规。为了表征MIS效应在时序分析中的影响,近年来多个MIS延时模型被提出,但目前大多数模型忽略了输入转换时间和负载对MIS效应的影响,因此精度不高。同时这些模型分别对每个单元进行建模,忽略了MIS效应与单元的晶体管级拓扑结构的关系,进一步影响了表征精度且需要较高表征成本。本文提出了一种基于异质图神经网络的MIS单元延时预测框架,将多输入单元的晶体管级拓扑电路建模成为异质图,利用异质图对影响MIS延时因素进行了全面且有效的表征,多个输入门的MIS效应可以训练为统一模型。在16 nm工艺下,该模型在多组多输入单元上进行了验证。实验结果表明,该模型在将建模开销减少至ANN模型所需开销8.8%的情况下,对于单元的平均误差仅为1.19%,相比ANN模型,精度提高了2.05倍。 展开更多
关键词 多输入转换 异质图神经网络 单元延时模型 静态时序分析
下载PDF
基于静态语义流图的漏洞检测模型
7
作者 李春艳 陈世阳 +2 位作者 易仲铁 林周勇 黄突 《计算机应用文摘》 2024年第20期159-161,共3页
随着软件系统的复杂性不断增加和规模的扩大,漏洞检测成为确保软件安全性和稳定性的重要环节,但传统的静态分析方法在应对复杂漏洞时表现出一定的局限性。文章提出了一种基于静态语义流图(Static Semantic Flow Graph,SSFG)的漏洞检测... 随着软件系统的复杂性不断增加和规模的扩大,漏洞检测成为确保软件安全性和稳定性的重要环节,但传统的静态分析方法在应对复杂漏洞时表现出一定的局限性。文章提出了一种基于静态语义流图(Static Semantic Flow Graph,SSFG)的漏洞检测模型。该模型结合了程序的语义信息和数据流分析,通过构建语义流图实现对软件漏洞的精准检测。实验结果表明,该方法在检测常见漏洞类型(如缓冲区溢出与SQL注入等)时具有较高的准确率和较强的有效性。 展开更多
关键词 静态语义流图 漏洞检测 软件漏洞 缓冲区溢出 SQL注入
下载PDF
基于自适应平衡静动态联合网络的公交客流预测
8
作者 黄来安 朱杭雄 栗波 《计算机应用研究》 CSCD 北大核心 2024年第8期2360-2365,共6页
为解决现有公交客流预测方法多数利用预定义的图结构进行空间建模,对交通状况变化所引起客流波动考虑不充分,无法捕捉短时动态的空间依赖关系问题,提出一种自适应平衡静动态联合网络(ASDNet)模型。首先,利用时间卷积网络捕获序列的时间... 为解决现有公交客流预测方法多数利用预定义的图结构进行空间建模,对交通状况变化所引起客流波动考虑不充分,无法捕捉短时动态的空间依赖关系问题,提出一种自适应平衡静动态联合网络(ASDNet)模型。首先,利用时间卷积网络捕获序列的时间相关性;其次,利用图卷积捕捉站点之间整体空间信息,采用动态图同构网络捕捉相邻时隙动态图之间隐藏的动态依赖关系;最后,通过自适应平衡机制自适应地调节静动态联合网络之间的信息传递。在广州市真实公交数据集上进行了实验,结果表明,与多个基准模型相比,该模型在MAE、RMSE和MAPE预测误差指标上平均降低了12.2%、9.9%和15%,R2精确度指标上平均提高了6.3%。表明该模型能够有效地捕捉客流数据的时空变化规律,可为公交运营管理提供技术参考。 展开更多
关键词 公交客流预测 时间卷积网络 图卷积 动态图同构网络 自适应平衡静动态联合网络 时空变化
下载PDF
一种静态分析与知识图谱结合的Java冗余代码检测方法 被引量:1
9
作者 刘昕炜 陶传奇 《计算机科学》 CSCD 北大核心 2023年第3期65-71,共7页
冗余代码普遍存在于商业和开源软件中,它的存在可能会增加内存占用,影响代码可维护性,增加维护成本。快速类型分析算法是当前Java冗余代码检测中常用的静态分析方法,该算法在虚方法分析方面还存在一些不足。XTA是一种调用图构造算法,在... 冗余代码普遍存在于商业和开源软件中,它的存在可能会增加内存占用,影响代码可维护性,增加维护成本。快速类型分析算法是当前Java冗余代码检测中常用的静态分析方法,该算法在虚方法分析方面还存在一些不足。XTA是一种调用图构造算法,在处理虚方法的调用方面具有较高的精度和效率。文中提出了一种基于XTA调用图构建算法的方法来检测Java代码中的冗余代码,在一个名为“RCD”(Redundant Code Detection)的工具原型中实现了这种方法,并通过构建知识图谱辅助人工审查,以提高人工审查的效率以及冗余代码检测的可信度。通过在4个开源Java应用程序上的实验对RCD与其他3个冗余代码检测工具进行了比较。实验结果表明,RCD在检测冗余代码的准确性方面相比其他工具提高了1%~30%,同时在检测冗余虚方法的完整性方面提升了4%左右。 展开更多
关键词 冗余代码检测 调用图构建 静态分析 知识图谱
下载PDF
结合静态事实和重复历史事实的动态知识图谱推理方法
10
作者 林栋 李永强 +2 位作者 仇翔 冯远静 谢碧峰 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2023年第10期1915-1922,共8页
针对现有的动态知识图谱推理方法容易忽略动态知识图谱中存在着大量静态信息和重复历史事实的问题,提出结合静态事实和重复历史事实的动态知识图谱网络方法.该方法利用动态知识图谱中实体间隐藏的静态联系来构成静态事实,并协助动态知... 针对现有的动态知识图谱推理方法容易忽略动态知识图谱中存在着大量静态信息和重复历史事实的问题,提出结合静态事实和重复历史事实的动态知识图谱网络方法.该方法利用动态知识图谱中实体间隐藏的静态联系来构成静态事实,并协助动态知识图谱推理;利用历史事实构建历史词表,在预测未来时对历史词表进行查询;对历史中未发生的事实进行惩罚,提高重复历史事实的预测概率.在2个公开的数据集上进行动态知识图谱推理实验,对比实验时选用目前主流的5个模型作为基线.在实体预测实验中,平均倒数排名(MRR)达到0.4891和0.5303,Hits@10达到0.5887和0.6165,证明了所提方法的有效性. 展开更多
关键词 动态知识图谱 静态事实 重复历史事实 历史惩罚 实体预测
下载PDF
一种基于静态分析的多视图硬件木马检测方法
11
作者 陈星任 熊焰 +1 位作者 黄文超 付贵禄 《信息网络安全》 CSCD 北大核心 2023年第10期48-57,共10页
随着集成电路产业的全球化,大部分设计、制造和测试过程已经转移到了世界各地不受信任的第三方实体,这样可能存在攻击者在硬件设计中插入有恶意行为电路的风险,即硬件木马。在早期发现硬件木马至关重要,若在设计后期或制造后再想移除它... 随着集成电路产业的全球化,大部分设计、制造和测试过程已经转移到了世界各地不受信任的第三方实体,这样可能存在攻击者在硬件设计中插入有恶意行为电路的风险,即硬件木马。在早期发现硬件木马至关重要,若在设计后期或制造后再想移除它将开销很大。文章提出一种基于静态分析的多视图硬件木马检测方法,首先通过分析Verilog代码得出变量数据依赖图和变量控制依赖图,从多个视角深度挖掘硬件设计的语义信息;然后通过多视图表示目标硬件设计不同视角下的行为表示向量;最后利用多视图融合方法进行协同融合,将得出的表示向量送入分类器中,从而检测Verilog代码是否被插入了硬件木马。实验结果表明,文章所提的检测方法在不依赖设计规范和不局限于模式库的情况下,实现了对硬件木马精确且全面的检测以及对Verilog代码的全自动分析。 展开更多
关键词 硬件木马检测 多视图融合 图表示学习 静态分析
下载PDF
基于图节点动静态特征的健康事件预测模型
12
作者 陈俊义 《计算机与现代化》 2023年第10期39-44,共6页
随着电子病历(EHR)的广泛应用,基于深度学习的临床健康事件预测引起了众多研究者的关注。现有工作主要集中在挖掘患者的高阶时间特征,未能有效地学习疾病之间的隐关系。针对疾病表征学习的问题,本文提出一种新的疾病表示模型(Health Eve... 随着电子病历(EHR)的广泛应用,基于深度学习的临床健康事件预测引起了众多研究者的关注。现有工作主要集中在挖掘患者的高阶时间特征,未能有效地学习疾病之间的隐关系。针对疾病表征学习的问题,本文提出一种新的疾病表示模型(Health Event Prediction Model Based on Dynamic and Static Features of Graph Nodes,DuDas)。该模型最终挖掘出的疾病隐表征包含静态和动态信息,最终实现对临床任务的预测。首先根据疾病共现频率构建疾病关系图,并通过one-hot编码模块为每个疾病节点分配一个初始隐表征。然后根据静态挖掘模块挖掘疾病的静态表征,并与相应的初始隐表征融合为初始动态隐表征。根据图卷积模块挖掘疾病之间的动态关系,学习疾病节点的最终动态隐表征。由于患者的就诊记录具有时间性,本文使用门控循环单元来挖掘历史诊断信息与当前诊断信息之间的关系。为了验证本文提出的方法的有效性,在2个真实数据集上进行实验。实验结果表明,本文提出的模型在预测健康事件任务上达到了更高水平。 展开更多
关键词 疾病表征 动态表征 静态表征 图神经网络 特征融合
下载PDF
冲(钻)孔灌注桩疑问桩的检测与分析
13
作者 张夏开 《江西建材》 2023年第6期71-72,76,共3页
文中以实际工程中的疑问桩进行静载荷试验,并利用低应变测桩技术和现场钻孔取芯技术对静载荷试验结果进行验证,所得结论如下:(1)明确了灌注桩静载荷试验机理,并对疑问桩展开静载荷试验,静载荷试验结果表明,工程中的172^(#)、176^(#)桩... 文中以实际工程中的疑问桩进行静载荷试验,并利用低应变测桩技术和现场钻孔取芯技术对静载荷试验结果进行验证,所得结论如下:(1)明确了灌注桩静载荷试验机理,并对疑问桩展开静载荷试验,静载荷试验结果表明,工程中的172^(#)、176^(#)桩竖向承载力均不能满足原设计要求,桩身可能存在缺陷;(2)通过低应变测桩技术和现场钻孔取样结果对静载荷试验进行验证,相关工作所得结果进一步论证了静载荷试验结果的正确性。 展开更多
关键词 冲(钻)孔灌注桩 桩基静载试验 钻孔取芯 波形图
下载PDF
基于图论的高校排考算法 被引量:12
14
作者 董健兴 栾勇 闫君政 《计算机系统应用》 2011年第5期177-179,共3页
提出了一种基于图论的考场安排算法及一系列优化策略。考场安排是考务管理活动的重要环节,考场安排结果的优劣直接决定了考务活动能否正常顺利的进行。对高校的考场安排问题进行了分析、抽象,通过建立静态冲突图将时间安排转化为图论的... 提出了一种基于图论的考场安排算法及一系列优化策略。考场安排是考务管理活动的重要环节,考场安排结果的优劣直接决定了考务活动能否正常顺利的进行。对高校的考场安排问题进行了分析、抽象,通过建立静态冲突图将时间安排转化为图论的图着色问题来解决排考时间的冲突问题并在此基础上提出了多种对结果的优化策略以保证排考结果的合理性。通过在山东农业大学的实际测试应用,证明此算法切实有效。 展开更多
关键词 高校排考算法 图论 静态冲突图 图着色 考务管理
下载PDF
基于最佳并行度的任务依赖图调度 被引量:7
15
作者 杜建成 黄皓 +1 位作者 陈道蓄 谢立 《软件学报》 EI CSCD 北大核心 1999年第10期1038-1046,共9页
基于最佳并行度的任务依赖图调度策略充分利用编译时刻所得到的全局信息,采用横向和纵向任务合并,处理节点预分配,静态调度和动态调度相结合、集中式调度和分层调度相结合等措施,是一种简单的、具有较高效率的实用化调度方案.该调... 基于最佳并行度的任务依赖图调度策略充分利用编译时刻所得到的全局信息,采用横向和纵向任务合并,处理节点预分配,静态调度和动态调度相结合、集中式调度和分层调度相结合等措施,是一种简单的、具有较高效率的实用化调度方案.该调度方案能够在尽量压缩调度长度的情况下节约系统资源. 展开更多
关键词 任务依赖图 静态调度 动态调度 NP问题 程序设计
下载PDF
一种新的过程间静态切片快速算法 被引量:3
16
作者 苏小红 龚丹丹 +1 位作者 王甜甜 马培军 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2015年第5期25-31,共7页
针对传统的基于PDG、SDG的程序切片算法需要计算与程序切片无关的数据依赖而导致计算复杂度高的问题,提出一种新的过程间静态切片快速算法.该算法无需使用PDG、SDG的程序中间表示形式,而是根据TOKEN序列和复合语句控制结构信息表,将程... 针对传统的基于PDG、SDG的程序切片算法需要计算与程序切片无关的数据依赖而导致计算复杂度高的问题,提出一种新的过程间静态切片快速算法.该算法无需使用PDG、SDG的程序中间表示形式,而是根据TOKEN序列和复合语句控制结构信息表,将程序表示为id UCf五元结构,并在此基础上计算程序的过程间静态切片.实验结果表明,该算法在保证多层嵌套结构程序的静态切片完整性的前提下,充分考虑了函数调用信息,降低了时间与空间复杂度.本算法只计算与切片相关的数据依赖、控制依赖以及函数调用信息,计算复杂度低. 展开更多
关键词 系统依赖图 静态切片 TOKEN序列 控制依赖 数据依赖
下载PDF
一种结合动态与静态分析的函数调用图提取方法 被引量:4
17
作者 孙贺 吴礼发 +2 位作者 洪征 颜慧颖 张亚丰 《计算机工程》 CAS CSCD 北大核心 2017年第3期154-162,共9页
完整准确地提取函数调用图是基于函数调用图进行恶意程序相似性分析的基础。为此,提出一种动静结合的恶意程序函数调用图提取方法。在对程序进行静态反汇编的基础上抽取恶意程序的可执行路径,使用隐藏信息主动发现策略找出恶意程序中隐... 完整准确地提取函数调用图是基于函数调用图进行恶意程序相似性分析的基础。为此,提出一种动静结合的恶意程序函数调用图提取方法。在对程序进行静态反汇编的基础上抽取恶意程序的可执行路径,使用隐藏信息主动发现策略找出恶意程序中隐藏的指令和函数调用,采用动态反馈机制完成动静结合分析过程中的信息同步。实验结果表明,该方法能够有效应对各种恶意程序反分析技术,完整准确地提取出恶意程序的函数调用图。 展开更多
关键词 恶意程序 函数调用图 控制流图 静态分析 动态分析
下载PDF
基于静态模拟的二进制控制流恢复算法 被引量:3
18
作者 胡刚 张平 +1 位作者 李清宝 张翠艳 《计算机工程》 CAS CSCD 北大核心 2011年第5期276-278,281,共4页
恢复完整的程序控制流图是软件逆向分析的关键,但传统恢复算法依赖于程序结构和编译器信息,不具通用性,无法满足无结构的二进制程序控制流恢复的需要。针对该问题,在传统控制流恢复算法的基础上,提出一种基于静态模拟策略的通用二进制... 恢复完整的程序控制流图是软件逆向分析的关键,但传统恢复算法依赖于程序结构和编译器信息,不具通用性,无法满足无结构的二进制程序控制流恢复的需要。针对该问题,在传统控制流恢复算法的基础上,提出一种基于静态模拟策略的通用二进制程序控制流恢复算法,并与传统控制流恢复算法、基于切片技术的控制流恢复算法和动态控制流恢复算法在性能上进行比较分析,结果表明,该算法能够恢复出更加完整的控制流图。 展开更多
关键词 控制流图 静态模拟 二进制程序
下载PDF
大学自动排考算法设计与实现 被引量:12
19
作者 田岭 《计算机工程与设计》 CSCD 北大核心 2007年第10期2443-2445,共3页
提出了一种应用于高等院校的自动排考算法。该算法结合了启发式算法的特点,同时建立静态冲突图来降低算法复杂程度,算法充分利用了应用领域经验和规则的优势,提高了自动排考的资源搜索能力。通过在实际工程中应用,表明该算法在解决复杂... 提出了一种应用于高等院校的自动排考算法。该算法结合了启发式算法的特点,同时建立静态冲突图来降低算法复杂程度,算法充分利用了应用领域经验和规则的优势,提高了自动排考的资源搜索能力。通过在实际工程中应用,表明该算法在解决复杂的高校排考问题时有较好的效果。 展开更多
关键词 自动排考 启发式算法 静态冲突图 资源搜索 高校排考
下载PDF
基于变量使用的静态测试方法研究 被引量:1
20
作者 夏玉辉 万琳 +1 位作者 李鸣 王洪艳 《计算机工程与设计》 CSCD 北大核心 2009年第9期2205-2207,2216,共4页
基于对程序源代码的静态分析方法,针对C/C++程序中的变量定义未使用故障和变量未初始化故障,提出了一种自动测试方法。以变量定义未使用故障和变量未初始化故障的表现形式为基础,从面向具体故障的测试思想出发,并以此为基础,综合应用了... 基于对程序源代码的静态分析方法,针对C/C++程序中的变量定义未使用故障和变量未初始化故障,提出了一种自动测试方法。以变量定义未使用故障和变量未初始化故障的表现形式为基础,从面向具体故障的测试思想出发,并以此为基础,综合应用了抽象语法树和控制流图,提出了一种静态查找这些故障的方法。测试结果表明,该方法能够有效检测变量使用的故障,提高了测试结果的精度。 展开更多
关键词 软件测试 变量定义未使用 变量未初始化 控制流图 静态测试
下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部