全文获取类型
收费全文 | 100篇 |
免费 | 4篇 |
国内免费 | 4篇 |
专业分类
电工技术 | 3篇 |
综合类 | 1篇 |
化学工业 | 3篇 |
金属工艺 | 10篇 |
机械仪表 | 2篇 |
建筑科学 | 18篇 |
矿业工程 | 1篇 |
能源动力 | 1篇 |
轻工业 | 7篇 |
水利工程 | 1篇 |
无线电 | 5篇 |
一般工业技术 | 6篇 |
冶金工业 | 9篇 |
原子能技术 | 3篇 |
自动化技术 | 38篇 |
出版年
2023年 | 1篇 |
2022年 | 2篇 |
2021年 | 2篇 |
2018年 | 2篇 |
2017年 | 3篇 |
2016年 | 3篇 |
2015年 | 2篇 |
2014年 | 5篇 |
2013年 | 4篇 |
2012年 | 3篇 |
2011年 | 8篇 |
2010年 | 11篇 |
2009年 | 4篇 |
2008年 | 5篇 |
2007年 | 14篇 |
2006年 | 8篇 |
2005年 | 5篇 |
2004年 | 3篇 |
2003年 | 2篇 |
2002年 | 5篇 |
2000年 | 3篇 |
1999年 | 7篇 |
1994年 | 3篇 |
1991年 | 1篇 |
1988年 | 2篇 |
排序方式: 共有108条查询结果,搜索用时 8 毫秒
71.
基于认证测试的安全协议分析 总被引:9,自引:0,他引:9
认证测试是一种新型的在Strand空间模型基础上发展而来的安全协议分析与辅助设计技术,可用于大部分协议的关联属性的分析;但是与Strand空间模型一样,它主要用于协议正确性证明,在协议为何不正确以及如何进行改进这个问题上处理分析能力较弱.在认证测试概念的基础上,结合逻辑分析的优点,提出了增强型认证测试EAT(enhanced authentication test)和Correspondence函数等概念来对安全协议进行关联属性的分析,很好地解决了这一问题与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现. 相似文献
72.
In this paper a new mathematical geometric model of spiral triangular wire strands with a construction of (3 + 9) and (3 + 9 + 15) wires is proposed and an accurate computational two-layered triangular strand 3D solid modelling, which is used for a finite element analysis, is presented. The present geometric model fully considers the spatial configuration of individual wires in the strand. The three dimensional curve geometry of wires axes in the individual layers of the triangular strand consists of straight linear and helical segments. The derived mathematical representation of this curve is in the form of parametric equations with variable input parameters which facilitate the determination of the centreline of an arbitrary circular wire of the right and left hand lay triangular one and two-layered strands. Derived geometric equations were used for the generation of accurate 3D geometric and computational strand models. The correctness of the derived parametric equations and performance of the generated strand model are controlled by visualizations. The 3D computational model was used for a finite element behaviour analysis of the two-layered triangular strand subjected to tension loadings. Illustrative examples are presented to highlight the benefits of the proposed geometric parametric equations and computational modelling procedures by using the finite element method. 相似文献
73.
Compression moulding of Randomly-Oriented Strands (ROS) of pre-impregnated thermoplastic composites is a process that enables the forming of complex parts with features such as ribs, thickness variations and holes in one single moulding step. This paper focuses on the macroscopic squeeze flow behaviour that occurs during forming. This mechanism rules the filling of intricate features of the mould initially empty. A 2D Finite Element model was developed to predict the squeeze flow of ROS composites. The material was modelled as a Bingham fluid and the equivalent viscosity and yield stress of three different strand sizes were determined using an inverse method. The viscosity and yield stress were found to increase with strand length. Experimental validation of the model was performed using Carbon/PEEK ROS flat samples and the average difference between experimentally measured and predicted final strain was below 5% for all cases. 相似文献
74.
75.
总结多座顶推梁预应力张拉和压浆的基础上,对有关问题的分析与处理进行了详细介绍。同时介绍了一种新型钢绞线联接器。 相似文献
76.
77.
文章利用StrandSpace模型对ISI支付协议进行了分析,得出了与卿_周逻辑分析方法相同的结论,并将StrandSpace模型对认证协议协定性的分析方法应用到了电子商务协议公平性的分析。 相似文献
78.
79.
刘慧芳 《电脑编程技巧与维护》2012,(4):94-96
在Andrew安全RPC协议模型的基础上,运用安全协议的形式化串空间模型分析方法,对Andrew安全RPC协议进行了分析,说明了该方法进行协议分析的过程,证明了该协议在机密性和认证性方面的正确性,并分析了该协议存在的安全缺陷。 相似文献
80.