一种新的安全协议验证方法

提出了一种基于Petri网的安全协议形式化描述和安全性验证的方法．该方法的特点是利用逆向状态分析和Petri网的状态可达性分析，判定协议运行过程中可能出现的不安全状态以及这些状态是否可达．通过实例证明了这种方法的有效性．     

曝气铁炭微电解预处理助剂废水试验研究

以某助剂厂生产废水为研究对象,采用曝气微电解对含复杂成份的助剂生产废水进行预处理,结果表明,曝气微电解最佳pH为3,最佳停留时间为90～120min,最佳铁炭体积比1∶1,曝气条件下其COD去除率较普通微电解工艺至少提高8%,去除率可以达到40%左右。对历时一周运行进行考察表明,曝气微电解处理可以使得原水B/C值由低于0.15提高到0.31以上。曝气微电解预处理助剂废水是可行的。     

铜材在新能源装备中的应用及发展

铜材作为功能性材料,以其优异的导电、导热及综合性能,在新能源装备中有着普遍的应用。进一步提高材料性能,研发更精细、更具特性的产品,探讨节能降耗、零排放的加工成形技术是铜材应对市场变化的工作重点和发展方向。     

超声辅助碱浸铜冶炼烟灰中铜砷分离

采用超声辅助Na₂S-NaOH浸取体系对铜冶炼烟灰进行研究,在NaOH、Na₂S与烟灰质量比0.4：1,液固比20：1,反应温度75℃,反应时间5 min,超声功率80 W,搅拌速率400 r·min^-1条件下,As浸出率为88.81%,Cu浸出率为0.025%,实现了Cu和As的有效分离。采用该方法处理后,与单独碱浸相比,As浸出率提高9.21%,烟灰中As含量由0.85%降至0.58%,Cu含量由2.21%增至2.30%,且As浸出毒性浓度由12.66 mg·L^-1降至2.84 mg·L^-1,为烟灰的资源化利用创造了条件。超声辅助碱浸除砷动力学满足收缩核混合反应控制模型,表观活化能0.114 kJ·mol^-1。XRD、XPS和重金属形态分析结果表明,超声空化作用可使As（Ⅲ）氧化为As（Ⅴ）,有利于As浸出,故超声过程强化有利于Cu和As在碱浸体系中的选择性分离。     

用IP—SAN技术构建存储灾备系统方案研究

详细介绍了陕西省电力调度中心采用IP-SAN技术实现存储数据在主系统和灾备系统数据存储设备之间的自动同步及恢复,从而实现调度运行数据的异地容灾存储,最大限度地确保调度数据的安全性和可用性,以支持企业关键业务的持续正常运行.     

对再碱化修复技术耐久性理论模型的初步探讨

混凝土碳化是引起钢筋混凝土结构中钢筋锈蚀的主要原因之一.再碱化应用电化学和电渗原理,恢复钢筋周围混凝土的高pH值,使钢筋重新钝化,以达到防止钢筋锈蚀的目的.在对再碱化后混凝土中碳酸钠的反向扩散过程进行合理简化的基础上,利用菲克第二定律建立了再碱化后混凝土的耐久性计算模型.     

索氏法与超声波辅助提取甜橙橙皮苷比较研究

为了确定从甜橙果皮中提取橙皮苷的高效方法,比较了索氏法和超声波辅助提取的效果。考虑到不同提取条件,即溶剂浓度、液固比、提取时间、提取次数和超声波功率的影响,采用单因素及正交设计比较这两种方法提取橙皮苷的效果,并用RP-HPLC法测定提取液中橙皮苷的含量。结果表明,超声波法辅助提取3个甜橙品种果皮中橙皮苷的平均含量高于索氏提取法的26.5%～34.6%,用这两种方法提取橙皮苷的数量达到统计学上的显著差异。超声波辅助提取法能真实地反映甜橙果皮中橙皮苷的含量,具有操作简便、省时的优点。建议柑橘果实橙皮苷的测定和提取可采用超声波辅助法。     

论皮影文化在现代服装设计中的体现

传统文化与现代文化是当代服装设计的主要思想。皮影艺术是中国历史悠久的传统文化之一,它融合了音乐、表演和语言等表现手法。皮影自身的服饰吸收了很多的民间元素,可以通过对它的一些元素进行处理,采用一定的手法运用到现代的服装当中。     

换热器管板应力开裂问题分析

某钢厂固定管板式换热器换热管与箱体管板焊缝多次出肌开裂泄漏,复合管板存在分层现象,分析表明,原因为换热管与箱体壁板之间在开停车时的温差应力过大引起,热应力引起裂纹。从工艺操作上尽量减小开停车时换热器冷热侧介质的温差,采用换热器管板下浮动技术,通过加设膨胀节,避免了应力开裂。     

稀土掺杂纳米TiO2光催化剂制备及其光催化性能

采用溶胶-微波法制备掺杂不同稀土元素纳米TiO2光催化剂,借助XRD和UV-Vis吸收光谱等手段对其进行表征.以甲基橙为模拟污染物,考察样品的光催化性能.结果表明,适量的La3+、Nd3+、Eu3+、Gd3+和Y3+掺杂可提高TiO2样品的光催化活性,最佳掺杂物质的量分数分别为0.1%、0.1%、0.3%、0.2%和0...