1) model carrying code
携带模型代码
2) proof-carrying code
携带证明的代码
1.
And all of the verification is mechanized in the Coq proof assistant and can be used to pack as proof-carrying code packages immediately.
本文所有的验证工作都实现在Coq辅助定理证明工具中,从而可以迅速的用于构造携带证明的代码包。
3) Number Portability
号码携带
1.
Research and Realization of PSTN Number Portability Based on IN Architecture;
基于智能网架构的固定号码携带业务的研究与实现
2.
Economic Feasibility and Implementation Proposals on Providing Mobile Number Portability Service in China;
我国实行移动号码携带的经济可行性分析及实施建议
3.
Based on the microcosmic economics,the theory of industrial organization and game theory the paper explores the competitive strategy of mobile operators under two different policy environment, one is without number portability and the other is with number portability.
本文应用微观经济学、产业组织理论和博弈论的基本原理和方法,对现阶段(无号码携带)和号码携带下移动运营商的竞争策略进行研究,为企业在不同政策环境下参与竞争提供决策支持,同时也为政府主管部门提供了一些合理的对于管制政策的建议。
4) Proof-Carrying-Code (PCC)
携证代码
6) carrier portability code
通信公司携带码
1.
It mainly presents two typical solutions to the realization of local number portability based on intelligent network(IN) and phone name system(PNS):carrier portability code(CPC) is the solution to service provider portability.
基于智能网采用电话名系统实现号码携带业务的两个典型解决方案:通信公司携带码方案为业务提供者提供号码携带业务,位置选路号码携带方案用以解决位置携带。
补充资料：AutoCad 教你绘制三爪卡盘模型,借用四视图来建模型
小弟写教程纯粹表达的是建模思路,供初学者参考.任何物体的建摸都需要思路,只有思路多,模型也就水到渠成.ok废话就不说了.建议使用1024X768分辨率
开始
先看下最终效果
第一步,如图所示将窗口分为四个视图
第二步,依次选择每个窗口,在分别输入各自己的视图
第三步,建立ucs重新建立世界坐标体系,捕捉三点来确定各自的ucs如图
第四步,初步大致建立基本模型.可以在主视图建立两个不同的圆,在用ext拉升,在用差集运算.如图:
第五步:关键一步,在此的我思路是.先画出卡爪的基本投影,在把他进行面域,在进行拉升高度分别是10,20,30曾t形状.如图:
第六步:画出螺栓的初步形状.如图
第七步:利用ext拉升圆,在拉升内六边形.注意拉升六边行时方向与拉升圆的方向是相反的.
之后在利用差集运算
第八步:将所得内螺栓模型分别复制到卡爪上,在利用三个视图调到与卡爪的中心对称.效果如图红色的是螺栓,最后是差集
第九步:阵列
第10步.模型就完成了
来一张利用矢量处理的图片
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条