期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
关于二进制程序循环安全问题的研究
1
作者 马金鑫 《信息安全研究》 CSCD 2023年第4期364-374,共11页
循环是软件程序中的常见结构,对循环使用不当是造成程序安全问题的重要因素之一,循环安全问题检测对提升软件安全性具有重要意义.在二进制程序中,路径状态爆炸、循环建模等问题使得针对循环安全性的静态分析面临诸多挑战,传统方法对这... 循环是软件程序中的常见结构,对循环使用不当是造成程序安全问题的重要因素之一,循环安全问题检测对提升软件安全性具有重要意义.在二进制程序中,路径状态爆炸、循环建模等问题使得针对循环安全性的静态分析面临诸多挑战,传统方法对这些问题的处理能力相对不足.提出并实现了一种基于二进制程序静态分析的循环安全问题检测方法,能够对循环内存读写越界与循环不终止问题进行检测.首先,对二进制程序中的循环结构进行分析,提出一种基于控制流图的循环要素识别与提取方法;接着,提出专用于循环分析的多种路径搜索策略,对循环从入口到出口的路径进行排序与探测;然后,提出一种基于静态具体执行的函数建模方法,可有效解决循环中归纳函数调用引发的约束扩张问题.最后,提出一种循环谓词差分归纳分析方法检测二进制程序中由循环引发的安全问题.将该检测方法应用到真实程序中并与Angr作对比实验,结果表明该方法在循环安全问题检测方面具备较强的检测能力,可检测的循环安全问题数比Angr更多. 展开更多
关键词 循环安全 静态分析 符号执行 路径搜索 归纳函数
下载PDF
给水管网系统性能的评价方法 被引量:9
2
作者 伍悦滨 袁一星 高金良 《中国给水排水》 CAS CSCD 北大核心 2003年第4期23-25,共3页
 提出给水管网系统性能评价的三个基本体系为水力分析体系、水质分析体系及可靠性分析体系,评价过程遵循以水力分析为前提、水质分析为补充、可靠性分析为主体的原则。给出了给水管网系统性能定量评价的系统化方法,即首先针对不同评价...  提出给水管网系统性能评价的三个基本体系为水力分析体系、水质分析体系及可靠性分析体系,评价过程遵循以水力分析为前提、水质分析为补充、可靠性分析为主体的原则。给出了给水管网系统性能定量评价的系统化方法,即首先针对不同评价体系选定相关的状态变量,然后绘制标准服务性能曲线以标定元素级性能指标对状态变量的变化规律,最后选择归纳函数拓展元素级性能评价得到整个管网的性能指标值。 展开更多
关键词 给水管网 性能评价 服务性能曲线 归纳函数
下载PDF
用户供电可靠性规划算法的探讨 被引量:1
3
作者 刘亚民 《供用电》 2001年第3期10-12,共3页
本文通过对国内供电可靠性规划算法的分析 ,从实际工作的角度对规划中的算法进行了推导和演化。
关键词 供电可靠性 电网规划算法 配电线路 归纳函数 数学模型
下载PDF
Rule Generation Based on Dominance Matrices and Functions
4
作者 安利平 陈增强 +1 位作者 袁著祉 仝凌云 《Transactions of Tianjin University》 EI CAS 2004年第1期54-58,共5页
Rough set theory has proved to be a useful tool for rule induction. But, the theory based on indiscernibility relation or similarity relation cannot induce rules from decision tables with criteria. Greco et al have pr... Rough set theory has proved to be a useful tool for rule induction. But, the theory based on indiscernibility relation or similarity relation cannot induce rules from decision tables with criteria. Greco et al have proposed a new rough set approach based on dominance relation to handle the problems. The concept of dominance matrix is put forward and the dominance function is constructed to compute the minimal decision rules which are more general and applicable than the ones induced by the classical rough set theory. In addition, the methodology of simplification is presented to eliminate the redundancy in the rule set. 展开更多
关键词 Decision tables Mathematical techniques
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部