2) symbolic model checking
符号模型验证
3) Symbolic Backward Justification
符号回溯验证
4) quote symbol
引证符号
5) Sign test
符号检验
1.
Ranked set selective sampling sign test for quantiles;
基于排序集挑选抽样的分位数符号检验
2.
A new sign test based on double-ranked set sampling is proposed,and its asymptotic distribution was obtained;And the asymptotic efficiency relative to under SRS and RSS was discussed,which show that this test had higher efficiency.
提出基于重排序集抽样的符号检验,给出相应的极限分布,并讨论了相对于基于简单随机抽样和排序集抽样的符号检验统计量的渐近效率,得出此检验具有较高的功效。
3.
This paper also discusses the sign test of multi_LV PLS algorithm.
在两个潜变量的偏最小二乘法(PLS)基础上,研究了如何将PLS算法从两个潜变量扩展到多个潜变量的一套完整方法(包括具体的形式规范和迭代步骤);以及在多个潜变量PLS算法上的符号检验。
6) checking symbol
校验符号
补充资料：AutoCad 教你绘制三爪卡盘模型,借用四视图来建模型
小弟写教程纯粹表达的是建模思路,供初学者参考.任何物体的建摸都需要思路,只有思路多,模型也就水到渠成.ok废话就不说了.建议使用1024X768分辨率
开始
先看下最终效果
第一步,如图所示将窗口分为四个视图
第二步,依次选择每个窗口,在分别输入各自己的视图
第三步,建立ucs重新建立世界坐标体系,捕捉三点来确定各自的ucs如图
第四步,初步大致建立基本模型.可以在主视图建立两个不同的圆,在用ext拉升,在用差集运算.如图:
第五步:关键一步,在此的我思路是.先画出卡爪的基本投影,在把他进行面域,在进行拉升高度分别是10,20,30曾t形状.如图:
第六步:画出螺栓的初步形状.如图
第七步:利用ext拉升圆,在拉升内六边形.注意拉升六边行时方向与拉升圆的方向是相反的.
之后在利用差集运算
第八步:将所得内螺栓模型分别复制到卡爪上,在利用三个视图调到与卡爪的中心对称.效果如图红色的是螺栓,最后是差集
第九步:阵列
第10步.模型就完成了
来一张利用矢量处理的图片
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条