悬链式链斗卸船机
catenary chain bucket ship unloader
滑动窗口式三维watershed算法
sliding-window 3-dimensional watershed algorithm (SW3DW
时态逻辑公式重写
temporal logic formula rewriting
AImLG不等式链
AImLG unbounded inequality chains
AImLJnG无穷不等式链
AImLJnG unbounded inequality chains
A链链内二硫键
intra-A chain disulfide bond
CVV悬链式化学交联
CVV catenary chemical cross-linking