暂无评论
为了更准确地重建复杂的三维医学数据模型,把二维医学图像轮廓线上的像素点转化为三维点云,引入经典的泊松点云重建技术。由于泊松重建的效果依赖于点云法向的准确性,针对轮廓线数据的特点,结合图像二维梯度方向,
其中介绍了集合代数的一些定义及相关的定理和应用
由我自己整理的对形式化方法中的进程代数给了一个总体的概览,因为国内做这个方向的不过,而且中文资料少得可怜,仅以分享。
一种检测TAL-freeness的代数方法
在本文中,我们通过Dirac的约束分析介绍了有关粒子动力学和时空非交换性的研究结果。 在这项研究中,我们将时间t = t(τ)与x = x(τ)一起重新参数化,并将两者都视为配置空间变量。 在此,τ是
颜色运动学对偶性表明,杨米尔斯(YM)理论具有一些隐藏的李代数结构。 到目前为止,除了在自我对偶领域中取得一些进展外,这种结构还阻碍了人们的理解。 我们证明YM Feynman规则背后确实存在一个Li
利用卷积神经网络学习并预测二维图像中三维物体的姿态信息,提出一种基于李代数的三维物体姿态表征方式。为了仅利用二维图像来准确预测三维姿态信息,采用李群和李代数将三维物体姿态分解为平移和旋转向量,姿态向量
正则FI-代数是仅基于蕴涵算子在一般集合上建立的逻辑代数。基于正则FI-代数的公理组以及诸多性质之间的内部联系,给出了正则FI-代数的两个公理组条件更少的刻画定理,简化了正则FI-代数的定义形式。在正
NULL 博文链接:https://dannyhz.iteye.com/blog/2410933
应用Leray-Schauder不动点定理,证明一类n维滞后型泛函微分方程至少存在一个正的周期解的一个充分条件.这类方程的正周期解问题已被一些文献研究,论文的研究方法和这些文献的研究方法不同,所得结果
暂无评论