论文部分内容阅读
线切割加工工艺在冲裁模具中的应用
【出 处】
：
机械研究与应用
【发表日期】
：
1991年3期
其他文献
目前基于空间链路扩展业务的交互支持已成为国际空间技术领域的一个研究热点,而我国地面系统尚不支持空间链路扩展业务.论文通过对空间链路扩展业务的研究和对国外应用现状的
对安全协议的形式化分析方法从历史发展和思想体系上作出分类和分析。以历史发展为线索将安全协议形式化分析方法分为四个阶段,基于观察分析的早期阶段、以BAN(Burrows,Abadi