基于抽象原则和模型检测的网络协议安全分析

提出了一种可以缓解状态空间爆炸的抽象原则,对模型设计过程中的辅助变量、报文字段、自动状态机数量进行科学约简,在尽量不影响验证结果准确度的前提下,降低了模型的复杂度.在此基础上,提出了一种半自动化建模框架,只需用户提供少量必须的输入,不需要学习语法,就可以自动生成具有统一规范的模型,方便研究人员查阅和使用.实验结果表明,采用所提的抽象原则和半自动化建模框架创建的模型,可以验证网络协议的相关属性.     

柴油机铸铝活塞碎裂失效分析

通过对失效件整体形貌、断口、内部质量及显微组织的全面检验和试验分析 ,确定工件内部存在严重的质量问题 ,铸造冷裂纹、大型疏松孔洞和未经变质处理的缺陷组织 ,是导致构件在服役时早期失效碎裂的主要原因。     

一种简单非线性PID控制在电液伺服系统中的应用研究

本文给出一种简单非线性PID控制器的设计方法。该控制器设计简单．有较好的适应性、鲁棒性和抗干扰性，通过其在电液伺服系统中的应用表明该方法的有效性和可行性，该控制方案能用于机器人等复杂的控制系统中，有较好的应用前景。     

高镍铬铸铁轧辊辊身铁水配料铁屑用量研究

通过对高镍铬无限冷硬复合铸铁轧辊外皮铁水配料时同成分铁屑用量分析比较，得出了合理的铁屑加入比例，试验中分别取存放2、15、30天的三种高镍铬铁屑分别按照加入5％～40％的不同质量比例进行配料．通过成本比对，以及对生产出轧辊的缺陷和性能观察、测试，得出结论，存放2、15、30天的铁屑最高用量分别可以达到35％、30％和25％。     

唑螨酯的毒性及研究进展

唑螨酯是一种高效、广谱、非内吸性的苯氧基吡唑类杀螨剂,广泛用于果蔬害螨防治。但近年来因为不合理使用导致残留及安全性问题。笔者综述了唑螨酯的应用、残留、代谢降解及毒性研究进展,以期对后续研究提供参考。     

基于ANSYS的非对称管板强度分析及优化设计

以非对称管板换热器为研究对象,借助ANSYS有限元分析软件,引入7种操作工况,对管板进行静力学分析和热分析,并进行安全评定和优化设计.结果表明:布管处管板与壳体连接处应力远大于非布管处管板应力,由于温差应力的影响,正常工作工况壳程最大等效应力远大于瞬态工况最大等效应力,容易发生强度失效;对于工况四、工况五、工况六、工况七而言,Path4-4已经不能满足强度要求,需要对其进行优化设计;经过优化,选取管板厚度为43.313 mm,应力强度110.42 MPa,安全系数2.264.优化后,非对称管板换热器整体材料节省了20％,减少了生产成本,设计结果更加合理.     

钛制容器产品试板压弯角度的探讨

针对钛制容器产品试板弯曲角度按现行标准执行中出现的问题，从力学角度进行探讨，导了了试板压弯对所采用的压头直径与试板厚度和延伸率的关系，即Ｄ〉（１／δ－１）ｔ，并提出了设定试板弯曲压头直径的新思路。     

等温淬火对30CrMnSiNi2A钢的组织和性能的影响

本文研究了30CrMnsiNi2A钢在马氏体区不同温度等温淬火对钢组织和性能的影响,从应力腐蚀、低周疲劳、断裂韧性、断口特征和常规机械性能的综合考虑来确定最佳等温淬火工艺.试验结果表明,285℃等温淬火280℃回火的热处理工艺可以获得比较良好的综合性能,并且认为下贝氏体和残留奥氏体是使该钢的韧性和塑性提高的主要因素,而回火马氏体则是保证钢的强度的重要因素.