排序方式: 共有20条查询结果,搜索用时 546 毫秒
1.
2.
吴光伟 《机械工人(热加工)》2004,(11):75-75,79
对焊弯头广泛用于石油、化工、纺织及电工等现代工业的管线中。其成形方法主要包括挤压、衍用冲压、推制和热成形。其中,挤压、衍用冲压和推制均在常温下成形,是目前管道配件厂常用的方法,但各有各的特点。 相似文献
3.
4.
开端协议(Open-ended Protocol)的分析是安全协议领域中一个待解决的重要问题,而IKE则是一个有代表性的具有"开端"结构的安全协议.本文基于串空间的Athena方法,针对IKEv2协议中的"开端"结构涉及的DH(Diffie-Hellman)问题,增加了群、散列函数等原语,给出并证明了一个新的消减规则;针对"开端"结构,引入了集合的数学概念,建立了新的消息类型,重新定义了串空间中的消息项、替换、入侵者模型,以及Athena相应的内在项、目标和目标绑定,给出了一个新的替代关系.应用扩展后的方法,分析了协议,发现一个新的认证性缺陷,给出了解决该缺陷的方法. 相似文献
5.
6.
7.
基于串空间的Athena分析技术研究 总被引:1,自引:2,他引:1
基于串空间模型的研究是当前安全协议领域的一个研究热点。Song对串空间模型进行了扩展,将模型检验和定理证明结合起来,提出了一种取名为Athena的安全协议分析方法,并基于该方法开发了自动证明工具APV,Song的工作被认为是串空间理论发展的一个重要事件。本文对Athena进行了系统的分析,介绍了Athena的假设条件,给出了Athena的语法和语义,分析了该逻辑的优点和局限性,在此基础上,分析了Athena的核心算法,讨论了Athena算法自动高效的原因,以及该算法如何避免状态空间爆炸的技术,指出了该算法的缺陷,形成原因以及解决的一般方法。最后对Athena方法的发展方向进行了讨论。 相似文献
8.
近年来由不法分子在食品加工环节非法添加一些非食用的工业化学物质所导致的食品安全问题层出不穷,如三聚氰胺事件、“瘦肉精”事件、台湾塑化剂(DEHP)事件等,不仅严重危害了人民群众的身体健康和生命安全,同时也使广大消费者对食品添加剂产生了误解,让本来在食品加工中不可或缺的食品添加剂成为大众所担心的不安全因素,特别是复合型食品添加剂遭受了更多不公平的待遇.本文在此背景下,结合作者多年在复合型乳品添加剂研发、生产及应用方面的经验,从添加剂原料的选择、研发及生产过程的控制以及在乳品生产加工中的应用稳定性等方面,针对复合型乳品添加剂的安全性问题进行讨论,以期为复合型乳品添加剂行业的健康发展提供一定的参考和依据,也希望复合型食品添加剂的作用和价值能够得到正确的认识和评价. 相似文献
9.
10.
多期基金业绩持续性评价新模型及实证研究 总被引:1,自引:0,他引:1
构建了基于回归分析的多期基金业绩持续性评价新模型,用于评价单只基金的业绩持续性,利用该模型对中国证券投资基金业绩持续性进行了实证研究.结果表明:基金的业绩不存在持续性;在短期内,基金业绩往往具有反转性;不同的基金超额业绩的计算方法对评价结果的影响很大. 相似文献