科学其他 - 空宝网

多项式族的主导根

多项式族的主导根
f(x)=x5−x4−x3−x2−x−cf(x)=x5−x4−x3−x2−x−c c>2c>2α>2α>2f(x)f(x) ββf(x)f(x)|β|≤α|β|≤α 但是,我想证明这种不平等是严格的,但我无法证明这一点。有人有一些建议吗? fc(x)=xk−xk−1−⋯−x−cfc(x)=xk−xk−1−⋯−x−cc>2c>2fc(x)fc(x)ααββ|β……继续阅读 »

0个赞

如何用Hermite插值多项式导出[-1,1]上的简单Simpson规则?

如何用Hermite插值多项式导出[-1,1]上的简单Simpson规则?
我试图用Hermite插值多项式在[-1,1]上推导出简单的Simpson规则,插值为-1,0,0,1。这是我迄今为止的工作:我的工作 在简化之后,我得到:(5f(0)-f’(0)+ f(1))/ 3 但我试图通过计算f(x)= x ^ 3 + 2x的积分来验证这一点,Simpson规则有错误。但是,对于小于4的度数,不应出现错误。 ……继续阅读 »

1个赞

程序能否产生量子随机性?

程序能否产生量子随机性?
可以生成自然 – 纯随机性的固有属性。如果一个程序不能做这样的事情,我想在任何一个方向上进行证明。 就我的想法而言,一个程序是不可判定的,但与此同时,如何才能确定性不足以产生纯量子随机性? 但是它能够或不能产生量子随机性的最终事实必定是可以判断的。 ……继续阅读 »

0个赞

非确定性语言最弱前提的定义

非确定性语言最弱前提的定义
在经典的IMP语言中,最弱前提的定义是: definition “wp c Q s ≡ ∃t. (c,s) ⇒ t ∧ Q t” 这说明从状态s开始,在执行c之后,我们进入满足Q的状态。当用保护命令的语言处理选择结构时,我的问题出现了(参见维基百科中的选择命令)。我的猜测是,在这种情况下,需要定义: definition “……继续阅读 »

0个赞

NuSMV – 如何表明执行应该无限次地访问某些状态?

NuSMV – 如何表明执行应该无限次地访问某些状态?
我有以下kripke结构: 我需要我的模型遵循LTL约束,状态d将被无限次访问: LTLSPEC G F (modelState=d) 由于循环的存在,这个约束失败了…. b-> c-> b-> c …… 问题:这个问题的解决方案是什么?这可能与公平的痕迹有关,但我对此并不十分熟悉,或者如何在NuSMV中将d表示为公平状……继续阅读 »

0个赞

生成标量场与狄拉克场的功能

生成标量场与狄拉克场的功能
考虑免费Dirac字段的生成功能。 ž0[ J,J¯¯¯] := ∫d ψ¯¯¯d ψEXP (我ψ¯¯¯(我γμ∂μ- m0)ψ + i Jψ¯¯¯+ i J¯¯¯ψ )。 Z0[J,J¯]:=∫Dψ¯Dψ exp⁡(iψ¯(iγμ∂μ−m0)ψ+iJψ¯+iJ¯ψ). 将其与复杂标量场的生成函数进行对比。 ž0[ J,J*] := ∫d φEXP (- ……继续阅读 »

0个赞