期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
基于状态转换图同构求解的等价性验证算法 被引量:1
1
作者 卢英 李炜 《计算机技术与发展》 2009年第3期74-76,83,共4页
文中提出了一种基于状态转换图同构求解的时序电路等价性验证算法。算法将两时序电路的等价性问题转化为验证相应状态转换图的同构性。首先将初始状态对匹配为待验证对,然后采用递归的方法验证以初始状态对的下一状态对为初始状态的子... 文中提出了一种基于状态转换图同构求解的时序电路等价性验证算法。算法将两时序电路的等价性问题转化为验证相应状态转换图的同构性。首先将初始状态对匹配为待验证对,然后采用递归的方法验证以初始状态对的下一状态对为初始状态的子状态转换图是否同构,从而得到时序电路是否等价的信息。若两状态转换图同构,则两图中的状态均可一一配对为待验证状态对,即所有的代验证状态对均为等价状态对。该方法可以有效地克服算法级描述到底层实现之间跨度太大的问题。 展开更多
关键词 状态转换图 同构 时序电路 等价状态对
在线阅读 下载PDF
增加光子对和减少光子对相干态的等阶Y压缩效应 被引量:5
2
作者 穆轶 侯邦品 《四川师范大学学报(自然科学版)》 CAS CSCD 北大核心 2007年第5期610-614,共5页
通过数值计算,研究了增加光子对相干态|,ξq;m〉A=a+m|,ξq〉和减少光子对相干态|,ξq;-m〉S=bm|,ξq〉的等阶Y压缩效应.结果表明:对于增加光子对相干态a+m|,ξq〉和减少光子对相干态bm|,ξq〉,光场都存在着等阶K(=2,3,4,5…)次方Y压缩... 通过数值计算,研究了增加光子对相干态|,ξq;m〉A=a+m|,ξq〉和减少光子对相干态|,ξq;-m〉S=bm|,ξq〉的等阶Y压缩效应.结果表明:对于增加光子对相干态a+m|,ξq〉和减少光子对相干态bm|,ξq〉,光场都存在着等阶K(=2,3,4,5…)次方Y压缩效应,但是增加a模的光子或取走b模的光子,即随着场模上光子增加(减少)数m的增大,二者的等阶K次方Y压缩效应均减弱,且有相似的曲线变化规律. 展开更多
关键词 对相干态 增加光子对相干态 减少光子对相干态 等阶K次方Y压缩效应 等阶Y压缩度
在线阅读 下载PDF
激发对相干态的等阶Y压缩效应 被引量:16
3
作者 沈华嘉 《光子学报》 EI CAS CSCD 北大核心 2003年第7期879-881,共3页
用数值计算法研究了激发对相干态 |ζ ;m〉 =a+mb+m|ζ〉的等阶Y压缩效应 结果表明 :对于态a+mb+m|ζ〉 ,光场存在着等阶K(=2 ,3,4 ,5 ,… )次方Y压缩效应 ,但是随着场模上光子增加数m的增大 ,等阶K次方Y压缩效应减弱 .
关键词 激发对相干态 等阶K次方Y压缩效应 等阶Y压缩度 数值计算法
在线阅读 下载PDF
Josephson current versus potential strength of the interface in ferromagnetic superconductors
4
作者 Hamidreza Emamipour 《Chinese Physics B》 SCIE EI CAS CSCD 2014年第5期537-541,共5页
Based on the scattering theory, we calculate the Josephson current in a junction between two ferromagnetic super-conductors as a function of the interface potential z. We consider the ferromagnetic superconductor (FS... Based on the scattering theory, we calculate the Josephson current in a junction between two ferromagnetic super-conductors as a function of the interface potential z. We consider the ferromagnetic superconductor (FS) in three different Cooper pairing states: spin singlet s-wave pairing (SWP) state, spin triplet opposite spin pairing (OSP) state, and spin triplet equal spin pairing (ESP) state. We find that the critical Josephson current as a function of z shows clear differences among the SWP, OSP, and ESP states. The obtained results can be used as a useful tool for determining the pair symmetry of the ferromagnetic superconductors. 展开更多
关键词 ferromagnetic superconductors spin singlet s-wave pairing state spin triplet opposite spin pairingstate spin triplet equal spin pairing state
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部