期刊文献+
共找到15篇文章
< 1 >
每页显示 20 50 100
双循环群上凯莱图的完美边态转移
1
作者 陶亚雯 王维忠 《华中师范大学学报(自然科学版)》 北大核心 2025年第4期561-567,共7页
该文利用群的表示和特征标研究了双循环群T_(4n)=〈a,b|a^(2n)=1,a^(n)=b^(2),b^(-1)ab=a^(-1)〉上凯莱图Cay(T_(4n),S)的完美边态转移.对T_(4n)的对称子集S,当n为奇数时,证明了图Cay(T_(4n),S)中任意两条边之间不存在完美边态转移;当n... 该文利用群的表示和特征标研究了双循环群T_(4n)=〈a,b|a^(2n)=1,a^(n)=b^(2),b^(-1)ab=a^(-1)〉上凯莱图Cay(T_(4n),S)的完美边态转移.对T_(4n)的对称子集S,当n为奇数时,证明了图Cay(T_(4n),S)中任意两条边之间不存在完美边态转移;当n为偶数时,刻画了Cay(T_(4n),S)存在完美边态转移的条件. 展开更多
关键词 凯莱图 双循环群 完美边态转移 量子行走
在线阅读 下载PDF
半二面体群上凯莱图的完美边态转移
2
作者 陶亚雯 王维忠 《中山大学学报(自然科学版)(中英文)》 北大核心 2025年第4期147-155,共9页
研究半二面体群SD_(8n)上凯莱图的完美边态转移.利用SD_(8n)的表示和特征标,给出了其上凯莱图允许完美边态转移的充要条件.
关键词 凯莱图 半二面体群 完美边态转移 量子行走
在线阅读 下载PDF
基于攻击图的表述性状态传递安全分析与评估 被引量:1
3
作者 张游杰 张清萍 +1 位作者 吴伟 师哲 《计算机应用》 CSCD 北大核心 2018年第6期1653-1657,共5页
针对表述性状态传递(REST)架构本身安全机制不够完善的问题,提出基于攻击图的REST架构安全分析与评估,利用攻击图实现了对REST架构的安全性量化评估。首先,对REST架构可能受到的攻击进行了预测,据此构造了REST架构攻击图模型,并计算了... 针对表述性状态传递(REST)架构本身安全机制不够完善的问题,提出基于攻击图的REST架构安全分析与评估,利用攻击图实现了对REST架构的安全性量化评估。首先,对REST架构可能受到的攻击进行了预测,据此构造了REST架构攻击图模型,并计算了攻击可能性指标和攻击实现度指标。然后,针对攻击图中的攻击状态及攻击行为,提出了安全防护措施,据此重新构造了REST架构攻击图模型,并计算了攻击可能性指标和攻击实现度指标。经比较,采用安全防护措施后,攻击可能性指标降低至原来的约1/10,攻击实现度指标降低至原来的约1/86。比较结果表明,所构造的攻击图模型能够对REST架构的安全性能进行有效的量化评估。 展开更多
关键词 表述性态传递 攻击图 安全评估 攻击可能性 攻击实现度
在线阅读 下载PDF
基于状态转换图同构求解的等价性验证算法 被引量:1
4
作者 卢英 李炜 《计算机技术与发展》 2009年第3期74-76,83,共4页
文中提出了一种基于状态转换图同构求解的时序电路等价性验证算法。算法将两时序电路的等价性问题转化为验证相应状态转换图的同构性。首先将初始状态对匹配为待验证对,然后采用递归的方法验证以初始状态对的下一状态对为初始状态的子... 文中提出了一种基于状态转换图同构求解的时序电路等价性验证算法。算法将两时序电路的等价性问题转化为验证相应状态转换图的同构性。首先将初始状态对匹配为待验证对,然后采用递归的方法验证以初始状态对的下一状态对为初始状态的子状态转换图是否同构,从而得到时序电路是否等价的信息。若两状态转换图同构,则两图中的状态均可一一配对为待验证状态对,即所有的代验证状态对均为等价状态对。该方法可以有效地克服算法级描述到底层实现之间跨度太大的问题。 展开更多
关键词 状态转换图 同构 时序电路 等价状态对
在线阅读 下载PDF
考虑主/被动资源约束的随机MDP项目调度优化 被引量:1
5
作者 杨建卫 任晓莉 李乃乾 《计算机科学与探索》 CSCD 北大核心 2018年第9期1496-1505,共10页
为提高项目调度优化过程的合理性,引入一种新的项目调度优化应对冲突的方法,一旦冲突发生在调度方案中,不是重新定义项目的开始时间,而是对冲突的时间调度表进行状态的迁移,得到另一个可行的调度时间表,实现了算法计算效率的提升。然后... 为提高项目调度优化过程的合理性,引入一种新的项目调度优化应对冲突的方法,一旦冲突发生在调度方案中,不是重新定义项目的开始时间,而是对冲突的时间调度表进行状态的迁移,得到另一个可行的调度时间表,实现了算法计算效率的提升。然后,将主动和被动项目调度问题作为单一的综合问题来制定,并利用Markov决策过程对上述项目调度优化问题进行建模,有针对性地设计了一种基于随机图的动态规划求解方法。实验结果显示了所提方法在收敛精度和计算效率上的有效性,并通过甘特图方式对调度方案的合理性进行了论证。 展开更多
关键词 资源约束 随机图 马尔可夫决策过程 甘特图 状态转移
在线阅读 下载PDF
转移潮流法拓扑错误辨识 被引量:20
6
作者 陈艳波 周京阳 +2 位作者 于尔铿 李强 王磊 《电力系统自动化》 EI CSCD 北大核心 2010年第1期20-24,共5页
电网拓扑错误会影响状态估计的精度,甚至会使状态估计不收敛。文中提出了转移潮流法拓扑错误辨识法,利用当前时刻的遥测数据与基态进行比较就可以得到转移潮流。通过分析转移潮流与网络拓扑变化的关系以及不良数据的影响,给出了单一支... 电网拓扑错误会影响状态估计的精度,甚至会使状态估计不收敛。文中提出了转移潮流法拓扑错误辨识法,利用当前时刻的遥测数据与基态进行比较就可以得到转移潮流。通过分析转移潮流与网络拓扑变化的关系以及不良数据的影响,给出了单一支路的拓扑错误和多不良数据的辨识方法,从而可以提高状态估计的精度。文中给出了一个实际电网的计算实例。 展开更多
关键词 状态估计 拓扑错误辨识 新息图法 转移潮流法 电力系统
在线阅读 下载PDF
两类阿贝尔Cayley图上的完全状态转移
7
作者 张爱仙 吉喆 《西安理工大学学报》 CAS 北大核心 2019年第1期69-72,共4页
完全状态转移在量子信息传输以及量子计算中有重要的应用,本文利用有限阶阿贝尔群上的特征、等价类,有理数域上的p-adic赋值等理论,通过计算得出两类有限阶阿贝尔群G=Z_4?Z_8,G=Z_8?Z_8上的Cayley图有完全状态转移。
关键词 CAYLEY图 完全状态转移 特征 指数赋值
在线阅读 下载PDF
利用自动机理论对收费站收费系统进行设计并实现 被引量:1
8
作者 王琛 朱平 《上海第二工业大学学报》 2005年第5期59-65,共7页
利用有穷自动机理论研究了高速公路收费站的收费系统。首先分析了现行的自动收费站系统中的不足之处,画出了相应的自动机状态转移图,然后依据有穷自动机是一种具有离散输入输出系统的数学模型,提出了新的收费站自动机设计——记账式收... 利用有穷自动机理论研究了高速公路收费站的收费系统。首先分析了现行的自动收费站系统中的不足之处,画出了相应的自动机状态转移图,然后依据有穷自动机是一种具有离散输入输出系统的数学模型,提出了新的收费站自动机设计——记账式收费自动机的模型及相应的自动机状态转移图,进而给出了详细的分析和应用软件,并画出了相应的系统模块图。由于新的系统避免了大量弊端与不足,管理控制能力有效提高;同时该系统不要求OBU的普及以及全球卫星定位系统的使用,故易于推广,从而大大提高了高速公路收费的安全性、准确性、适用性及有效性。 展开更多
关键词 有穷自动机 收费系统 状态转移图 标志条形码
在线阅读 下载PDF
T函数的圈结构特征
9
作者 罗小建 胡斌 《计算机科学》 CSCD 北大核心 2011年第4期137-140,共4页
T函数是n位字到n位字的一个映射,并且输出的第i位仅与第0,1,…,i位有关,0≤i≤n-1。可逆T函数在密码学上有重要的应用。深入研究了一般可逆T函数的圈结构,利用T函数的结构和参数特性,首次从理论上证明了可逆T函数的任一圈结构的长度都是... T函数是n位字到n位字的一个映射,并且输出的第i位仅与第0,1,…,i位有关,0≤i≤n-1。可逆T函数在密码学上有重要的应用。深入研究了一般可逆T函数的圈结构,利用T函数的结构和参数特性,首次从理论上证明了可逆T函数的任一圈结构的长度都是2的方幂这一重要特征,并分别从不同的角度给出了由可逆T函数f(x)mod 2k的圈结构判定f(x)mod 2k+1圈结构的两种不同判定方法。基于此进一步分析了可逆T函数的圈结构特征,提出了可逆T函数圈结构特征为2n-t×2t的判定方法。 展开更多
关键词 密码学 T函数 状态转移图 圈结构 参数
在线阅读 下载PDF
PLC用户程序的顺序控制设计法
10
作者 刘广瑞 冯开林 《山东理工大学学报(自然科学版)》 CAS 1996年第3期16-18,31,共4页
本文论述了用于生产过程的PLC顺序控制用户程序设计法及时其优点,并介绍了顺序控制设计法应用步骤。
关键词 顺序控制设计法 状态转移图 顺序控制梯形图 指令表负载驱动图 转移条件图
在线阅读 下载PDF
连续量子行走在类立方体图上的Mixing(英文)
11
作者 樊晓霞 罗彦锋 《兰州大学学报(自然科学版)》 CAS CSCD 北大核心 2013年第1期103-107,共5页
给出了类立方体图具有瞬间一致混合的必要条件.特别地,证明了d维折叠类立方体图具有瞬间一致混合当且仅当d是偶数.更进一步,给出了图和其补图之间有瞬间一致混合的关系.
关键词 连续量子行走 态传递 瞬间一致混合 类立方体图
在线阅读 下载PDF
剖分图上的拉普拉斯完美态转移
12
作者 康春辉 王维忠 《长春师范大学学报》 2024年第10期23-28,共6页
图G的剖分图S(G)是通过在图G的每条边中插入一个新的顶点而得到的图.本文研究了r正则图G(r≥2)的剖分图S(G)上的拉普拉斯完美态转移问题,证明了若r+1不是图G的拉普拉斯特征值,则S(G)不存在拉普拉斯完美态转移.
关键词 剖分图 拉普拉斯特征值 拉普拉斯完美态转移
在线阅读 下载PDF
剖分图上的完美态传递
13
作者 康春辉 《淮阴师范学院学报(自然科学版)》 CAS 2024年第3期205-209,共5页
研究了r-正则图G(r≥2)的剖分图S(G)上的完美态传递问题,并证明了当λ_(s)+r(0≤s≤d)是一个非完全平方数时,则S(G)的任意两个顶点之间不存在完美态传递.
关键词 剖分图 特征值 完美态传递
在线阅读 下载PDF
剖分图上的无符号拉普拉斯完美态转移
14
作者 康春辉 《哈尔滨商业大学学报(自然科学版)》 CAS 2024年第4期449-454,共6页
图G的剖分图S(G)是通过在图G的每条边中插入一个新的顶点而得到的图.为解决剖分图的无符号拉普拉斯完美态转移问题,采用剖分图的无符号拉普拉斯矩阵的谱分解形式,对r-正则图G(r≥2)的剖分图S(G)上的无符号拉普拉斯完美态转移问题进行研... 图G的剖分图S(G)是通过在图G的每条边中插入一个新的顶点而得到的图.为解决剖分图的无符号拉普拉斯完美态转移问题,采用剖分图的无符号拉普拉斯矩阵的谱分解形式,对r-正则图G(r≥2)的剖分图S(G)上的无符号拉普拉斯完美态转移问题进行研究,得到了r-正则图G(r≥2)的剖分图S(G)的特征值和对应的特征投影,结果表明,若r-1不是图G的无符号拉普拉斯特征值,则S(G)不存在无符号拉普拉斯完美态转移. 展开更多
关键词 剖分图 特征值 特征向量 谱分解 完美态转移
在线阅读 下载PDF
TOWARDS A THEORY OF GAME-BASED NON-EQUILIBRIUM CONTROL SYSTEMS
15
作者 Yifen MU Lei GUO 《Journal of Systems Science & Complexity》 SCIE EI CSCD 2012年第2期209-226,共18页
This paper considers optimization problems for a new kind of control systems based on non-equilibrium dynamic games.To be precise,the authors consider the infinitely repeated games between a human and a machine based ... This paper considers optimization problems for a new kind of control systems based on non-equilibrium dynamic games.To be precise,the authors consider the infinitely repeated games between a human and a machine based on the generic 2×2 game with fixed machine strategy of finite k-step memory.By introducing and analyzing the state transfer graphes(STG),it will be shown that the system state will become periodic after finite steps under the optimal strategy that maximizes the human’s averaged payoff,which helps us to ease the task of finding the optimal strategy considerably. Moreover,the question whether the optimizer will win or lose is investigated and some interesting phenomena are found,e.g.,for the standard Prisoner’s Dilemma game,the human will not lose to the machine while optimizing her own averaged payoff when k = 1;however,when k≥2,she may indeed lose if she focuses on optimizing her own payoff only The robustness of the optimal strategy and identification problem are also considered.It appears that both the framework and the results are beyond those in the classical control theory and the traditional game theory. 展开更多
关键词 Heterogeneous players non-equilibrium dynamical games optimization state transfer graph win-loss criterion.
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部