检索结果-南通市图书馆

基于矩阵方法的Banzhaf值的计算及应用

在线全文

学校读者我要写书评

暂无评论

控制理论与应用 2020年第2期37卷 446-452页

作者：夏美霞李海涛丁雪莹刘衍胜山东师范大学数学与统计学院山东济南250014

在合作博弈中,Banzhaf值提供了每个参与者形成大联盟的预期边际贡献,因此Banzhaf值的求解是一个重要的研究内容.本文首先回顾合作博弈及Banzhaf值的定义,并且运用矩阵半张量积,给出合作博弈特征函数的代数表示.然后给出了Banzhaf值的等... 详细信息

在合作博弈中,Banzhaf值提供了每个参与者形成大联盟的预期边际贡献,因此Banzhaf值的求解是一个重要的研究内容.本文首先回顾合作博弈及Banzhaf值的定义,并且运用矩阵半张量积,给出合作博弈特征函数的代数表示.然后给出了Banzhaf值的等价的代数形式和简捷的计算方法.最后将所得结果应用于生物网络中,用Banzhaf值度量遗传疾病基因相关性的可能性,确定与遗传疾病发病高度相关的基因.

关键词：博弈 Banzhaf值矩阵半张量积微阵列矩阵

Z_4上周期为2p^2的四元广义分圆序列的线性复杂度

在线全文

学校读者我要写书评

暂无评论

电子与信息学报 2018年第12期40卷 2992-2997页

作者：杜小妮赵丽萍王莲花西北师范大学数学与统计学院兰州730070

该文根据特征为4的Galois环理论,在Z4上利用广义分圆构造出一类新的周期为2p2(p为奇素数)的四元序列,并且给出了它的线性复杂度。结果表明,该序列具有良好的线性复杂度性质,能够抗击Berlekamp-Massey(B-M)算法的攻击,是密码学意义上性... 详细信息

该文根据特征为4的Galois环理论,在Z4上利用广义分圆构造出一类新的周期为2p2(p为奇素数)的四元序列,并且给出了它的线性复杂度。结果表明,该序列具有良好的线性复杂度性质,能够抗击Berlekamp-Massey(B-M)算法的攻击,是密码学意义上性质良好的伪随机序列。

关键词：流密码四元序列线性复杂度广义分圆类 Galois环

河谷型城市公交网络脆弱性研究——以兰州市为例

在线全文

学校读者我要写书评

暂无评论

交通运输系统工程与信息 2016年第1期16卷 217-222页

作者：冯慧芳李彩虹王瑞西北师范大学数学与统计学院兰州730070

应用复杂网络理论,以兰州市为例研究河谷型城市公交网络的脆弱性.首先,根据L空间模型构建城市公交站点网络,分析该网络静态拓扑特性.然后,基于随意攻击和蓄意攻击两种攻击模式,建立城市公交网络脆弱性测度指标,并对两种攻击模式下公交... 详细信息

应用复杂网络理论,以兰州市为例研究河谷型城市公交网络的脆弱性.首先,根据L空间模型构建城市公交站点网络,分析该网络静态拓扑特性.然后,基于随意攻击和蓄意攻击两种攻击模式,建立城市公交网络脆弱性测度指标,并对两种攻击模式下公交网络的脆弱性进行分析.研究结果表明,由于兰州市特殊的河谷型地形特征,在蓄意攻击下的脆弱性远远强于其在随意攻击下的脆弱性.最后,结合公交网络脆弱性特征研究公交网络核心站点选取策略.结果表明,基于度的核心站点选择更适合兰州市公交网络,这为兰州市交通规划和交通网络优化决策提供理论依据.

关键词：城市交通脆弱性复杂网络公交网络河谷型城市

具有隐私保护的完整性可验证的关键字搜索方案

在线全文

学校读者我要写书评

暂无评论

电子与信息学报 2021年第1期43卷 218-225页

作者：刘雪艳芦婷婷杨晓涛西北师范大学数学与统计学院兰州730070

针对传统基于属性关键字搜索(ABKS)方案存在访问结构泄密、用户侧计算量高及缺乏完整性验证问题,该文提出具有隐私保护和完整性可验证的基于属性的关键字搜索方案。该方案提出了有序多值属性访问结构和有序多值属性集,固定每个属性的位... 详细信息

针对传统基于属性关键字搜索(ABKS)方案存在访问结构泄密、用户侧计算量高及缺乏完整性验证问题,该文提出具有隐私保护和完整性可验证的基于属性的关键字搜索方案。该方案提出了有序多值属性访问结构和有序多值属性集,固定每个属性的位置,减少参数及相关计算,提高了方案的效率,而在密钥生成时计算具体属性取值的哈希值,从而达到区别多值属性取值的不同。同时,采用Hash和对运算实现对访问结构的隐藏,防止访问结构泄密;采用倒序索引结构和Merkle树建立数据认证树,可验证云服务器返回文档和外包解密结果的正确性。此外,支持外包解密以降低用户侧的计算量。安全分析和实验表明所提方案实现云中共享数据的可验证性、关键字不可区分性和关键字不可链接性,且是高效的。

关键词：基于属性关键字搜索有序多值属性集隐藏访问结构数据完整性认证外包解密

在线全文

学校读者我要写书评

暂无评论

概率级联布尔网络的集镇定及其应用

控制理论与应用 2019年第2期36卷 271-278页

作者：丁雪莹李海涛山东师范大学数学与统计学院山东济南250014

随着系统生物学和医学的迅速发展,基因调控网络已经成为一个热点研究领域.布尔网络作为研究生物系统和基因调控网络的一种重要模型,近年来引起了包括生物学家和系统科学家在内的很多学者的广泛关注.本文利用代数状态空间方法,研究了概... 详细信息

随着系统生物学和医学的迅速发展,基因调控网络已经成为一个热点研究领域.布尔网络作为研究生物系统和基因调控网络的一种重要模型,近年来引起了包括生物学家和系统科学家在内的很多学者的广泛关注.本文利用代数状态空间方法,研究了概率级联布尔网络的集镇定问题.首先给出概率级联布尔网络集镇定的定义,并利用矩阵的半张量积给出了概率级联布尔网络的代数表示.其次基于该代数表示,定义了一组合适的概率能达集,并给出了概率级联布尔网络集镇定问题可解的充要条件.最后将所得的理论结果应用于概率级联布尔网络的同步分析及n人随机级联演化布尔博弈的策略一致演化行为分析.

关键词：概率级联布尔网络镇定矩阵半张量积随机演化布尔博弈

在线全文

学校读者我要写书评

暂无评论

(k,l)-递归极大平面图的结构

电子与信息学报 2018年第9期40卷 2281-2286页

作者：陈祥恩李婷西北师范大学数学与统计学院兰州730070

对于一个平面图G实施扩3-轮运算是指在G的某个三角形面xyz内添加一个新顶点v,使v与x, y, z均相邻,最后得到一个阶为|V(G)|+1的平面图的过程。一个递归极大平面图是指从平面图K_4出发,逐次实施扩3-轮运算而得到的极大平面图。所谓一个(k,... 详细信息

对于一个平面图G实施扩3-轮运算是指在G的某个三角形面xyz内添加一个新顶点v,使v与x, y, z均相邻,最后得到一个阶为|V(G)|+1的平面图的过程。一个递归极大平面图是指从平面图K_4出发,逐次实施扩3-轮运算而得到的极大平面图。所谓一个(k,l)-递归极大平面图是指一个递归极大平面图,它恰好有k个度为3的顶点,并且任意两个3度顶点之间的距离均为l。该文对(k,l)-递归极大平面图的存在性问题做了探讨,刻画了(3,2)-及(2,3)-递归极大平面图的结构。

关键词：平面图极大平面图扩3-轮递归极大平面图

基于GPS轨迹挖掘的城市空间动态交互特征研究

在线全文

学校读者我要写书评

暂无评论

交通运输系统工程与信息 2020年第3期20卷 163-168页

作者：冯慧芳周丹凤西北师范大学数学与统计学院兰州730070

对城市移动轨迹进行深入挖掘,有助于更加精细地理解城市空间动态交互特征.以兰州市出租车GPS轨迹为基础,采用栅格方法,分析城市栅格空间的交通出行量.以栅格为节点,以交通出行量为权重,建立动态有向加权复杂网络.采用Infomap算法识别城... 详细信息

对城市移动轨迹进行深入挖掘,有助于更加精细地理解城市空间动态交互特征.以兰州市出租车GPS轨迹为基础,采用栅格方法,分析城市栅格空间的交通出行量.以栅格为节点,以交通出行量为权重,建立动态有向加权复杂网络.采用Infomap算法识别城市社团结构,研究兰州市城市结构的时空演化特征,并对城市社团识别结果进行可视化分析.研究表明,休息日和工作日城市动态时空交互存在明显差异.工作日的城市空间交互距离和范围较大,空间交互更加紧密;休息日的空间交互范围相对较小,分裂程度较大.高峰期和非高峰期城市空间交互也有不同,城市空间交互随时间动态变化.研究结果可为政府管理城市,商家运营和居民出行提供决策服务.

关键词：城市交通城市空间有向加权复杂网络 Infomap算法 GPS轨迹

基于牵制控制的切换布尔网络的分布式集合镇定

在线全文

学校读者我要写书评

暂无评论

控制理论与应用 2021年第11期38卷 1754-1760页

作者：蒋梦涵李海涛山东师范大学数学与统计学院山东济南250014

切换布尔网络是一种典型的网络化控制系统,在基因调控、信息安全、人工智能、电路设计等领域具有重要应用.本文基于牵制控制方法,研究切换布尔网络在任意切换下的分布式集合镇定问题.首先,利用矩阵半张量积方法,得到切换布尔网络的代数... 详细信息

切换布尔网络是一种典型的网络化控制系统,在基因调控、信息安全、人工智能、电路设计等领域具有重要应用.本文基于牵制控制方法,研究切换布尔网络在任意切换下的分布式集合镇定问题.首先,利用矩阵半张量积方法,得到切换布尔网络的代数形式.其次,基于代数形式,提出构造性的算法来实现切换布尔网络在牵制控制的作用下任意切换集合镇定,并设计出状态反馈牵制控制器.再次,利用逻辑矩阵分解技术和分布式控制方法,设计任意切换下切换布尔网络的分布式集合镇定控制器,并提出分布式控制器存在的充分条件.文中给出3个例子来说明所获得结果的有效性.

关键词：切换布尔网络镇定牵制控制分布式控制矩阵半张量积

基于逻辑方程求解的网络故障定位规则的验证与实现

在线全文

学校读者我要写书评

暂无评论

控制理论与应用 2020年第6期37卷 1335-1341页

作者：刘玉娜李海涛山东师范大学数学与统计学院山东济南250014

随着互联网的普及与快速发展,网络服务质量成为了最受关注的问题之一.本文利用矩阵半张量积方法,研究互联网网络中的故障定位问题.首先,利用矩阵半张量积给出网络中路径的代数表示.其次,基于该代数表示,将故障定位问题对应的逻辑方程转... 详细信息

随着互联网的普及与快速发展,网络服务质量成为了最受关注的问题之一.本文利用矩阵半张量积方法,研究互联网网络中的故障定位问题.首先,利用矩阵半张量积给出网络中路径的代数表示.其次,基于该代数表示,将故障定位问题对应的逻辑方程转化为等价的代数方程,通过分析代数方程的解,确定网络中发生故障的链接.最后,通过例子说明所得理论结果的有效性.

关键词：网络路由最小一致故障集逻辑方程矩阵半张量积树