SOZL (structured methodology + object-oriented methodology + Z language) is a language that attempts to integrate structured method, object-oriented method and formal method. The core of this language is predicate dat...SOZL (structured methodology + object-oriented methodology + Z language) is a language that attempts to integrate structured method, object-oriented method and formal method. The core of this language is predicate data flow diagram (PDFD). In order to eliminate the ambiguity of predicate data flow diagrams and their associated textual specifications, a formalization of the syntax and semantics of predicate data flow diagrams is necessary. In this paper we use Z notation to define an abstract syntax and the related structural constraints for the PDFD notation, and provide it with an axiomatic semantics based on the concept of data availability and functionality of predicate operation. Finally, an example is given to establish functionality consistent decomposition on hierarchical PDFD (HPDFD).展开更多
内存错误漏洞仍是当前网络攻击中造成危害最严重的漏洞之一.内存错误漏洞的产生往往与对内存拷贝类函数的误用有关.目前针对内存拷贝类函数的识别主要借助于符号表和代码特征模式匹配,具有较高的误报率和漏报率,并且适用性较差.提出了...内存错误漏洞仍是当前网络攻击中造成危害最严重的漏洞之一.内存错误漏洞的产生往往与对内存拷贝类函数的误用有关.目前针对内存拷贝类函数的识别主要借助于符号表和代码特征模式匹配,具有较高的误报率和漏报率,并且适用性较差.提出了一种内存拷贝类函数识别技术CPYFinder(copy function finder).该技术在内存拷贝类函数控制流特征的基础上,将二进制代码转换为中间语言表示VEX IR(intermediate representation)进行数据流的构建和分析,根据内存拷贝类函数在数据流上的特征进行识别.该技术能够在较低的运行时间下对多种指令集架构(x86,ARM,MIPS,PowerPC)的二进制程序中的内存拷贝类函数进行识别.实验结果表明,相比于最新的工作BootStomp和SaTC,CPYFinder在对内存拷贝类函数识别上具有更好的表现,在精准率和召回率上得到更好的平衡,并且运行时间与SaTC几乎相等,仅相当于BootStomp耗时的19%.此外,CPYFinder在漏洞函数识别上也具有更好的表现.展开更多
对实时车辆流量、平均车道占用率等各种交通监控数据的完整获取,是建设智能交通系统、提高交通管理运行效率的重要基础。文章提出一种融合类信息的函数型矩阵填充方法(Functional Matrix Completion Method with Class Information,CFMC...对实时车辆流量、平均车道占用率等各种交通监控数据的完整获取,是建设智能交通系统、提高交通管理运行效率的重要基础。文章提出一种融合类信息的函数型矩阵填充方法(Functional Matrix Completion Method with Class Information,CFMC)。在函数型数据分析框架下,基于非负矩阵分解构造函数型矩阵填充模型,在此基础上通过聚类划分引入样本类信息,借助类内样本相关性插补缺失值,并采用自加权集成学习算法动态赋权计算得到最终插补值。在公共交通数据集PeMS上进行插补实验,结果表明:当缺失率为15%~70%时,CFMC方法相较于K近邻算法、MICE、PACE等10种插补方法,均方根误差(RMSE)、平均绝对误差(MAE)和平均绝对百分比误差(MAPE)分别降低了10.75%~81.69%、0.34%~84.48%和12.5%~81.08%,且耗时可控。所提CFMC方法插补精度高、鲁棒性好,能够保证插补的有效性和准确性。展开更多
文摘SOZL (structured methodology + object-oriented methodology + Z language) is a language that attempts to integrate structured method, object-oriented method and formal method. The core of this language is predicate data flow diagram (PDFD). In order to eliminate the ambiguity of predicate data flow diagrams and their associated textual specifications, a formalization of the syntax and semantics of predicate data flow diagrams is necessary. In this paper we use Z notation to define an abstract syntax and the related structural constraints for the PDFD notation, and provide it with an axiomatic semantics based on the concept of data availability and functionality of predicate operation. Finally, an example is given to establish functionality consistent decomposition on hierarchical PDFD (HPDFD).
文摘内存错误漏洞仍是当前网络攻击中造成危害最严重的漏洞之一.内存错误漏洞的产生往往与对内存拷贝类函数的误用有关.目前针对内存拷贝类函数的识别主要借助于符号表和代码特征模式匹配,具有较高的误报率和漏报率,并且适用性较差.提出了一种内存拷贝类函数识别技术CPYFinder(copy function finder).该技术在内存拷贝类函数控制流特征的基础上,将二进制代码转换为中间语言表示VEX IR(intermediate representation)进行数据流的构建和分析,根据内存拷贝类函数在数据流上的特征进行识别.该技术能够在较低的运行时间下对多种指令集架构(x86,ARM,MIPS,PowerPC)的二进制程序中的内存拷贝类函数进行识别.实验结果表明,相比于最新的工作BootStomp和SaTC,CPYFinder在对内存拷贝类函数识别上具有更好的表现,在精准率和召回率上得到更好的平衡,并且运行时间与SaTC几乎相等,仅相当于BootStomp耗时的19%.此外,CPYFinder在漏洞函数识别上也具有更好的表现.
文摘对实时车辆流量、平均车道占用率等各种交通监控数据的完整获取,是建设智能交通系统、提高交通管理运行效率的重要基础。文章提出一种融合类信息的函数型矩阵填充方法(Functional Matrix Completion Method with Class Information,CFMC)。在函数型数据分析框架下,基于非负矩阵分解构造函数型矩阵填充模型,在此基础上通过聚类划分引入样本类信息,借助类内样本相关性插补缺失值,并采用自加权集成学习算法动态赋权计算得到最终插补值。在公共交通数据集PeMS上进行插补实验,结果表明:当缺失率为15%~70%时,CFMC方法相较于K近邻算法、MICE、PACE等10种插补方法,均方根误差(RMSE)、平均绝对误差(MAE)和平均绝对百分比误差(MAPE)分别降低了10.75%~81.69%、0.34%~84.48%和12.5%~81.08%,且耗时可控。所提CFMC方法插补精度高、鲁棒性好,能够保证插补的有效性和准确性。
