《山东大学学报(理学版)》

面向软件漏洞检测的Fuzzing样本优化方法

张晶,陈诚,郑焕科

2019, 54(9): 1-8, 35. doi:10.6040/j.issn.1671-9352.0.2019.205

摘要 ( 1302 )

HTML ( 22 )

PDF (681KB) ( 502 )

数据和表 | 参考文献 | 相关文章 | 多维度评价

软件漏洞检测在信息物理融合系统中通常使用模糊测试(Fuzzing)技术。针对Fuzzing技术中存在大量冗余的测试样本,且样本探测异常的有效性较低的情况,提出一种面向软件漏洞检测的Fuzzing样本优化的方法。首先筛除随机样本中软件不接受的样本,并通过改进的动态规划算法获得初始样本的精简集,以减小初始样本的数量;然后在测试过程中跟踪污点传播路径,利用Simhash和海明距离的改进算法求解样本传播路径相似度,通过删除相似度较高的样本进一步降低样本冗余;最后对触发异常的样本进行遗传变异构建新的测试样本,以增加样本的有效性。通过实验结果可以看出,相较于利用基于贪心算法和基于异常分布导向的方法，这里提出的方法有效减小了测试样本冗余,并且提升了测试样本的有效性。

P-信息隐藏挖掘的数量特征及应用

郝秀梅,李宁宁

2019, 54(9): 9-14. doi:10.6040/j.issn.1671-9352.0.2019.189

摘要 ( 1099 )

HTML ( 9 )

PDF (410KB) ( 382 )

参考文献 | 相关文章 | 多维度评价

经典的集合具有静态特性。在科技迅猛发展的今天,海量数据变化更新之迅速,用经典集合来研究数据挖掘问题受到了限制,需要把动态特性引入到普通集合中,用“动态性”代替普通集合的“静态性”,而P-集合具有上述特征。利用P-集合与它的属性迁移,提出内、外k阶P-信息的粒度、挖掘度,讨论了属性迁移与信息挖掘的数量关系;给出迁移信息链式定理及最小、最大挖掘度定理。P-信息是动态信息系统知识挖掘的一个新的理论与方法,最后给出P-信息在数据挖掘中的应用。

非常态信息系统与逆P-增广矩阵关系

张凌,任雪芳

2019, 54(9): 15-21. doi:10.6040/j.issn.1671-9352.0.2018.382

摘要 ( 1199 )

HTML ( 9 )

PDF (410KB) ( 480 )

参考文献 | 相关文章 | 多维度评价

逆P-集合是一个具有动态特征的模型,逆P-增广矩阵是利用逆P-集合改进普通增广矩阵得到的新数学概念。为了讨论方便,定义普通矩阵A是系统的常态,内逆P-增广矩阵A^F与外逆P-增广矩阵A^F是系统的非常态,接着提出矩阵容度概念,给出容度度量与矩阵容度定理。基于上述概念,给出系统非常态与内逆P-增广矩阵关系定理,系统非常态与外逆P-增广矩阵关系定理,以及系统非常态的矩阵容度识别准则。最后给出应用与实验验证。

信息智能融合与它的P-增广矩阵推理生成

徐凤生,于秀清,张立华

2019, 54(9): 22-28. doi:10.6040/j.issn.1671-9352.0.2018.579

摘要 ( 1470 )

HTML ( 9 )

PDF (400KB) ( 374 )

参考文献 | 相关文章 | 多维度评价

P-集合是一个具有动态特征的数学模型,它是把动态特性引入到有限普通元素集合X内,改进有限普通元素集合X被提出的。P-增广矩阵是改进普通增广矩阵,利用P-集合得到的。利用P-集合的动态特性与P-增广矩阵结构,本文给出P-增广矩阵推理与推理结构、信息智能融合以及信息融合与与P-增广矩阵的关系;给出信息智能融合的分离与信息智能融合的分离具有的属性智能特征;给出这些理论研究的应用。

否定非对合剩余格的双极值模糊理想格

刘春辉,张海燕,李玉毛

2019, 54(9): 29-35. doi:10.6040/j.issn.1671-9352.0.2019.131

摘要 ( 1155 )

PDF (423KB) ( 537 )

参考文献 | 相关文章 | 多维度评价

对否定非对合剩余格的双极值模糊理想问题做进一步深入研究,给出了由一个双极值模糊集生成的双极值模糊理想的定义并建立了其两个表示定理,证明了一个否定非对合剩余格L的全体双极值模糊理想之集BFI(L)在偏序下构成完备Heyting代数,为进一步揭示否定非对合剩余格的结构特征拓展了研究思路。

基于重叠函数和分组函数的蕴涵分配性

张廷海,覃锋

2019, 54(9): 36-42. doi:10.6040/j.issn.1671-9352.0.2018.560

摘要 ( 1424 )

PDF (411KB) ( 624 )

参考文献 | 相关文章 | 多维度评价

在模糊系统中,模糊蕴涵与某些特定的聚合函数(如三角模、三角余模、一致模、零模、半一致模、半t-算子等)间的分配性被广泛研究。作为两类特殊的聚合函数,重叠函数和分组函数因其在图像处理、分类和决策等方面的应用而被广泛关注。本文给出了有加法生成子对的重叠函数、分组函数与具有边界条件的二元函数满足蕴涵分配性方程I(O(x,y),z)=G(I(x,z),I(y,z))的充要条件,以及有加法生成子对的分组函数G1,G2和具有边界条件的二元函数I满足蕴涵分配性方程I(x,G1(y,z))=G2(I(x,y),I(x,z))的充要条件。

区间毕达哥拉斯模糊集的信息度量及其应用

孙倩倩,李小南

2019, 54(9): 43-53. doi:10.6040/j.issn.1671-9352.0.2019.038

摘要 ( 1610 )

PDF (507KB) ( 879 )

参考文献 | 相关文章 | 多维度评价

熵、距离和相似度是模糊集及其推广理论中重要的信息度量工具。基于区间毕达哥拉斯模糊集的信息度量研究大多涉及区间毕达哥拉斯模糊数的距离公式,很少涉及模糊性和相似性的度量方法。针对这种情况,首先提出区间毕达哥拉斯模糊集的熵、距离和相似度的公理化定义。然后研究熵、距离和相似度之间的关系。最后将提出区间毕达哥拉斯模糊集的熵和相似度应用到模式识别领域,对比分析表明所提出的度量方法具有灵活性和有效性的特点。

一类具有密度制约的捕食-食饵扩散模型的定性分析

李海侠

2019, 54(9): 54-61. doi:10.6040/j.issn.1671-9352.0.2018.667

摘要 ( 1265 )

PDF (1828KB) ( 570 )

参考文献 | 相关文章 | 多维度评价

研究了一类具有密度制约的捕食-食饵模型共存解的唯一性和渐近行为。利用不动点指数理论给出了共存解存在的充分条件。然后采用线性算子的扰动理论讨论了共存解的唯一性和稳定性。最后运用抛物方程的比较原理得到了系统的持久性和灭绝性条件,并通过数值模拟对其理论结果进行了验证。结果表明在一定条件下两物种共存且系统存在稳定的唯一共存解。

一类污染环境下具有扩散和年龄结构的随机单种群系统分析

胡永亮,雒志学,梁丽宇,冯宇星

2019, 54(9): 62-68. doi:10.6040/j.issn.1671-9352.0.2019.124

摘要 ( 1135 )

PDF (419KB) ( 782 )

参考文献 | 相关文章 | 多维度评价

建立并研究了一类污染环境下具有扩散和年龄结构的随机单种群动力系统,在Hilbert空间中,通过应用It(^overo)公式证明了随机种群系统强解的存在唯一性。加入毒素对种群的影响,推广了一般的具有年龄结构和扩散的随机生物种群模型。

周期环境中具有尺度结构的两种群系统的最优控制

梁丽宇,雒志学

2019, 54(9): 69-75. doi:10.6040/j.issn.1671-9352.0.2018.721

摘要 ( 1262 )

PDF (391KB) ( 825 )

参考文献 | 相关文章 | 多维度评价

研究了一类周期环境中具有尺度结构的食饵-捕食种群系统的最优控制问题。首先运用泛函分析中的Mazur定理证明了最优控制最优解的存在性,其次导出共轭系统并借助非线性分析中的切锥-法锥技巧给出了收获控制为最优的必要性条件。

一类自适应网络上的传染病模型研究

陈璐,张晓光

2019, 54(9): 76-82. doi:10.6040/j.issn.1671-9352.0.2018.729

摘要 ( 1414 )

PDF (448KB) ( 538 )

参考文献 | 相关文章 | 多维度评价

利用多项分布下的三元组逼近公式,对自适应网络中的SIS矩封闭传染病模型进行封闭,研究多项分布下自适应行为对传染病传播的影响,通过定性与稳定性理论,得到了模型的基本再生数R0,分析了平衡点的稳定性.得到断边重连自适应行为对传染病传播具有多重作用:当相对传染率足够小时,模型发生标准的前向分支,R0<1时疾病趋于灭绝;反之,从数学理论上严格证明了重连可导致后向分支和鞍结点分支等复杂动力学行为的发生,因此R0<1不足以控制传染病的传播。

利用内部温度史重构表面未知热通量

任建龙

2019, 54(9): 83-90. doi:10.6040/j.issn.1671-9352.0.2019.010

摘要 ( 1144 )

PDF (7079KB) ( 329 )

参考文献 | 相关文章 | 多维度评价

讨论了一类利用内部某点不同时刻的温度观测值重构加热器壁表面热通量的热传导反问题。利用分离变量法求解出正问题的解析解,然后将原问题转化为第二类Volterra积分方程,并证明了积分方程解的唯一性。利用一种直接求解法进行数值模拟,数值结果验证了所提出方法的可行性与有效性,且表面热通量的重构效果很好。

含两个忆阻器的隐藏吸引子及其Hamilton能量控制

慕娜娜,安新磊,续浩南

2019, 54(9): 91-97. doi:10.6040/j.issn.1671-9352.0.2018.708

摘要 ( 1575 )

PDF (5395KB) ( 831 )

参考文献 | 相关文章 | 多维度评价

以Kirchhoff定律为理论基础,设计含磁控、荷控两种忆阻器的非线性电路模型。分析系统的平衡点特性时,发现此忆阻系统存在隐藏吸引子,通过仿真关于参数的分岔图、相轨迹、Poincaré映射图,发现其具有丰富的动力学特性,比如,存在混沌、超混沌、暂态混沌、周期等非线性现象。根据Helmholtz定理计算得出此忆阻系统的Hamilton能量函数,讨论了系统的电容在充放电过程中电流随时间变化时与产生的能量变化关系并提出新的Hamilton能量控制法,通过选择不同的控制参数将忆阻系统的控制到期望的状态。

以十量子纠缠态为信道的循环受控量子隐形传态

彭家寅

2019, 54(9): 98-104. doi:10.6040/j.issn.1671-9352.0.2019.093

摘要 ( 1233 )

PDF (509KB) ( 401 )

参考文献 | 相关文章 | 多维度评价

利用一个十量子最大纠缠态为信道,提出一个关于三个未知二量子态的循环受控隐形传态协议。在该协议中,Alice能把她的二量子a和a'之态传送给Bob,Bob能把自己的二量子b和b'之态传送给Charlie,Charlie也能把自己的二量子c和c'之态传送给Alice。仅当三个发送者Alice、Bob、Charlie和控制者David相互合作时,循环受量子控隐形传态才可能成功地实现。

基于多元信息融合的用户关联模型

杨亚茹, 王永庆, 张志斌, 刘悦, 程学旗

2019, 54(9): 105-113. doi:10.6040/j.issn.1671-9352.1.2018.115

摘要 ( 1185 )

PDF (3693KB) ( 474 )

参考文献 | 相关文章 | 多维度评价

随着社交媒体网站的日益普及,用户倾向于加入多个社交网络,作为社交媒体中的一项新兴工作,将社交网络的多个用户身份关联起来具有重要意义。通过研究目前有代表性的用户关联模型,提出了一个基于综合信息的用户关联模型(BiALP),该模型通过节点表达的方法学习网络的内在结构信息、属性信息和内容信息,以源网络和目标网络的节点表达为特征,以已关联用户对作为带标签数据,采用二分类监督学习的方式学习源网络与目标网络之间的关联关系。大量实验表明,BiALP模型与目前有代表性的其他用户关联模型相比效果有明显的提升(35%),能够实现更精确的用户关联。

带两类形状参数的三次λμ-α-DP曲线的构造

张迪,查东东,刘华勇

2019, 54(9): 114-126. doi:10.6040/j.issn.1671-9352.0.2019.005

摘要 ( 1081 )

PDF (16257KB) ( 303 )

参考文献 | 相关文章 | 多维度评价

构造了一种带两类形状参数的三次λμ-α-DP基函数,形状参数的引入有效地增强了DP曲线的形状控制能力。新的曲线不仅可以整体修改曲线的形状,而且具有局部可调性。分析了三次λμ-α-DP基函数以及曲线的性质,给出不同的参数取值对基函数和曲线形状的影响,以及曲线光滑连续拼接的条件:当满足一定的条件时,曲线可以达到G2连续。另给出G1连续的旋转面。利用奇异混合技术,在三次λμ-α-DP曲线中加入一类奇异混合函数,并分别对新曲线的相关性质和取不同参数时曲线的变化规律进行了论证。实例证明,改变调配参数的取值,可以调整奇异混合插值曲线与直线段的逼近程度,增强曲线的形状控制能力。

当期目录