简介:摘要:差分攻击是一种利用了输入和输出差异之间的高概率关系的分析方法。为了利用量子计算寻找这种关系,本文提出一种新的自动获取不可差分的方法,让SMT求解器在差异空间中搜索,以完全自动化的方式增加特征差异,利用量子位的叠加,同时探索所有可能的输入和输出差分对。最后利用分支定界法进行验证。
简介:用含参数的差分方程逼近微分方程的方法,构造了Schroedinger方程的一个三层高精度隐式差分格式:1/12τ(3/2uj+1^n+1-2uj+1^n+1/2uj+1^n-1)+5/6τ(3/2uj^n+1-2uj^n+1/2uj^n-1)+1/12τ(3/2u(j-1)^(n+1)-2u(j-1)^n+1/2u(j-1)^(n-1)=i[u(j+1)^(n+1)-2uj^(n+1)-+u(j-1)^(n+1)]/h^2,其截断误差阶可达到O(τ^2+h^4),并用Miller定理证明了其稳定性,数值例子表明该格式是有效的。
简介:摘要二分之三接线母差保护在实际运行中会出现母差保护差流不平衡,发CT断线告警,影响正常运行的情况。由于二分之三涉及的一次设备较多,往往导致分析起来很困难。本文建立了一个二分之三接线的一次模型,并对可能导致差流不平衡的原因做出了分析。
简介:Animprovedpreciseintegrationmethod(IPIM)forsolvingthedifferentialRiccatiequation(DRE)ispresented.ThesolutiontotheDREisconnectedwiththeexponentialofaHamiltonianmatrix,andthepreciseintegrationmethod(PIM)forsolvingtheDREisconnectedwiththescalingandsquaringmethodforcomputingtheexponentialofamatrix.TheerroranalysisofthescalingandsquaringmethodfortheexponentialofamatrixisappliedtothePIMoftheDRE.Basedontheerroranalysis,thecriterionforchoosingtwoparametersofthePIMisgiven.ThreekindsofIPIMsforsolvingtheDREareproposed.ThenumericalexamplesshowthattheIPIMisstableandgivesthemachineaccuracysolutions.
简介:考虑一类Navier-Stokes-Smoluchowski方程组在有界光滑区域Ω?R3中的初边值问题.利用Ballew在其博士论文中得到的局部强解,对强解建立一系列与时间无关的先验估计,最后得到此模型的整体强解.
简介:报道了一种基于空气孔型光子晶体自准直环形谐振腔1×4光分束器。其结构由4个改变空气孔半径的分光镜组成。首先运用多光束干涉原理分析光分束器各个端口的透射谱,通过分光镜的合适组合,自准直光就可以按照设定的比例从各出口出射。再利用编写的二维时域有限差分程序进行数值模拟计算,其结果和理论值很好地吻合。该结构具有尺寸小、自由光谱范围大、硅基等优点,有望应用于未来的高密度集成光路中。
简介:作为一种简单而有效的新兴计算技术,差分演化算法(DE)已受到学术界和工程界的广泛关注,并且已经在多峰函数优化,数据过滤,多目标优化等十九个大方向上取得了许多成功应用。为此,对围绕差分演化算法的相关背景,原理、特点、改进等方面进行简单介绍.HookeandJeeves方法是一种经典的局部搜索算法,将其与差分演化算法结合来求解多目标优化问题,提高了解的收敛质量,因而从整体上提高了算法的性能,并且测试结果也说明了该算法的可行性。
简介:在连续Gompertz模型基础上,导出了差分形式的Gompertz模型。通过对肿瘤生长数据的模拟,验证了差分形式的Gompertz模型对连续Gompertz模型具有良好的逼近效果;进一步,对其稳定性进行了研究,讨论了模型参数对平衡点稳定性的影响;最后,研究了一类基于差分形式的Gompertz模型的非线性动力系统的长期行为,数值模拟表明差分形式的Gompertz模型的长期行为对模型参数较为敏感。