暂无评论
非常经典的学习event-b的教材,想学习千万不能没有它哦
The first line of the input contains an integer T(1
我们考虑演化方程，该方程描述了一个重子的波动函数的尺度依赖性，该重子包含一个无限重的夸克和一对较小的横向间隔的轻夸克，这是氦原子的QCD类似物。 演化方程取决于轻夸克的相对螺旋度。 对于对齐的螺旋线，
构造了Z4置换超观的三参数可积变形。 这些超级宇宙的形式为 F^ F 0 $$ \ widehat {F} / {F} _0 $$其中F 0是乘积超群 F ^ = G^×G ^ $$ \ wideha
我们解决了广义理查森模型（俄罗斯娃娃BCS模型）的问题，该模型的特点是打破了时间反转对称性。 已知该模型是完全可解和可集成的。 我们指出，在哈密顿量级上，俄罗斯娃娃BCS模型也是粒子-孔对称的。 这意
我们以N = 4 $$ \ mathcal {N} = 4 $$ super Yang-Mills理论研究威尔逊循环上插入的局部算子的结构常数。 我们猜想结构常数的有限耦合表达式，该常数被解释为一个六
我们研究可嵌套的代数Bethe ansatz求解的可积模型,并具有GL(3)-不变R-矩阵。 假设可以将模型的单峰矩阵关于逆谱参数展开成级数,我们将单峰矩阵项的零模式定义为该级数的第一个非平凡系数。
一类变系数KP方程的截断潘勒卫检验和自动贝克隆变换，何天君，ChenYong，在数学物理方程中，变系数的KP方程一直是被广泛的关注，在这篇文章中，我们用截断潘勒卫方法和符号计算分析一类变系数KP方程的
积客B2Scms程序开发采用的是PHP MYSQL数据库，使系统的安全、稳定、负载得到保障；使用大量Web2.0新技术使系统拥有一流用户体验。PHP是简单、现代、安全的语言，使系统更加可靠、安全、稳定
标量Peccei-Quinn（PQ）机制提供了将全局PQ对称嵌入标量U（1）对称性的简单方法。 由于它源自测量的PQ对称性，因此，一旦给出了适当的电荷分配，整体PQ对称性就可以通过量子引力效应避免显式
暂无评论