基于行为逻辑的时序使用控制模型

着眼于单主体访问操作中的原子行为和时序性质,采用时序模态逻辑,提出一种基于行为的时序使用控制模型.该逻辑框架包含了与授权相关的按时间节点预定义的行为、由主客体属性和系统所表达的状态序列及状态谓词.在给出了一种策略语言后,对其语法和语义进行了形式定义,并根据使用控制(UCON)模型族的行为特性给出了控制策略.该逻辑模型不仅可以形式化描述使用控制基本原理,而且有助于准确并自动化地判定策略的可满足性,具有良好的灵活性和表达能力.     

加工工艺对高性能铜合金组织和性能的影响

在真空感应炉熔炼得到Cu-0.2Cr-0.1Ag合金,研究了该合金在不同加工条件下的组织、强度和导电性变化.研究表明,通过固溶强化、时效强化和形变强化等手段的配合,可以获得高强度、高导电性的Cu-0.2Cr-0.1Ag合金.固溶、时效处理后的合金导电率达91%IACS,伸长率为37.4%.在固溶后加入冷变形,然后再时效,可以使强度提高84 MPa,而导电率不发生变化,再继续冷变形可以使强度提高到556 MPa.     

冷变形Cu-0.36Cr(wt%)合金的抗软化性能和再结晶行为

通过光学显微镜、透射电子显微镜和硬度测试,研究了析出相尺寸不同的冷变形Cu-0.36Cr(wt%,下同)合金的抗软化性能和高温再结晶行为.结果表明,Cr可以有效地阻碍再结晶过程,提高材料抗高温软化性能;在退火过程中可发生原位再结晶和不连续再结晶两种再结晶形式,再结晶的形式主要取决于析出相颗粒的大小,可以钉扎住晶界移动的Cr析出相的临界尺寸约为43.8 nm,小于临界尺寸的析出相促使原位再结晶发生,原位再结晶后析出相仍比较细小,合金保持较高硬度;而且析出相尺寸还可以影响再结晶的开始温度和速度.     

化成前处理对提高铝箔比容的影响

利用化成前引入高介电常数金属氧化物的方法,研究了TiO2涂层对提高铝箔比容的影响。结果表明:腐蚀箔在6%(质量分数)钛酸乙酯的乙醇溶液中,浸泡5 s,然后在450 恒温10 min,在210 V下有机酸化成,阳极氧化膜的结构与性能得到改善,铝箔比容可提高10%,从而可有效提高形成效率。     

高强高导电铜合金的研究现状

高强高导电铜合金是一类具有优良综合性能的功能材料和结构材料,被广泛应用于电子、机械等领域.系统总结了固溶强化、形变强化、细晶强化、第二相强化和复合强化等基本原理,指出目前获得高强度高导电铜合金的强化方法和制备工艺,介绍了快速凝固、真空混合铸造法、固-液直接反应法、混合合金法、反应喷射成形法(RSD)等技术在高强高导铜合金生产中的应用,同时,阐述了该类合金的研究现状和发展前景.     

国产核级ERNiCrFe-7A镍基合金焊丝熔敷金属的组织与性能

采用光学显微镜、扫描电子显微镜、拉伸试验、弯曲试验、冲击试验和晶间腐蚀试验研究了国产核级ERNiCrFe-7A镍基合金焊丝熔敷金属的组织与性能。结果表明：焊丝具有良好的焊接工艺性,流动性和焊缝成形质量与进口同类产品的相当。熔敷金属微观组织为奥氏体和碳化物,晶界上主要是M₂₃C₆型碳化物,晶内主要是富含Nb的MC型碳化物。熔敷金属的宏观质量、力学性能、微观组织、耐晶间腐蚀性能等均符合第三代先进压水堆核电站的要求,裕量足,强韧性兼具,综合性能良好,与进口同类产品的相当,可替代进口同类产品。     

核级ENiCrFe-7镍基合金电焊条的研制

迄今,核电设施的焊接用镍基合金电焊条都依赖进口。为此,成功研制了核级ENiCrFe-7镍基合金电焊条,并在低合金钢板上制备了约20mm厚的堆焊层。随后检测了焊缝金属的宏观和微观形貌及室温和350℃力学性能,并对其进行了弯曲试验、剪切试验、晶间腐蚀试验和STF(strain-to-fracture)试验。结果表明:焊缝金属的宏观质量、微观组织、力学性能和耐晶间腐蚀性能均符合第三代先进压水堆核电站的要求,并且对高温失塑裂纹(DDC)不敏感。新研制的核级ENiCrFe-7镍基合金电焊条的综合性能与进口焊条的相当,有望替代进口的焊条。     

有摇摆柱的钢框架结构整体稳定性能分析

首先简要介绍了钢框架稳定设计中采用的两种方法并进行对比,然后采用通用有限元软件ANSYS对某具体工程实例进行了完善结构和有缺陷结构的几何非线性和几何及材料双重非线性整体稳定性分析,总结出轻型钢框架结构整体稳定性的特点,为类似工程的稳定设计提供参考。     

高速钢热轧工作辊的组织特征与热疲劳行为研究

研究了不同工艺制造的高速钢热轧工作辊的微观组织、热疲劳性能和界面结合层特征,并讨论了制造工艺对高速钢组织和性能的影响。结果表明,从组织特征、使用性能和制造工艺复杂程度上来讲,CPC工艺制造的高速钢热轧工作辊表现出明显的优势。     

核电用ERNiCrMo-3熔敷金属组织及力学性能研究

对采用钨极氩弧焊方法(GTAW)获得的ERNiCrMo-3焊丝熔敷金属进行微观组织表征及力学性能测试.结果表明,熔敷金属微观组织由粗大的柱状晶组成,不同柱状晶内分布树枝晶、等轴晶等亚晶,枝晶间析出Laves相、NbC/TiN和针状δ相;在熔敷金属厚度方向上,硬度从底部到顶部呈现逐渐减小的趋势.熔敷金属中多种析出相未对冲击及拉伸性能产生不利影响.