SET协议支付过程的符号模型检验

电子商务协议的安全性是电子商务健康发展的关键。随着SET协议应用的日益广泛,其安全性受到了业界的极大关注。分析、寻找SET协议安全隐患或证明其安全性,将有助于协议的进一步应用和发展。将模型检测应用于分析SET协议,给出SET协议支付过程的形式化模型和有限状态机模型,以及协议安全属性的CTL公式,并在网络环境被入侵者控制的假设下,基于SMV符号模型检测工具对协议进行了分析。结果表明,SET协议拥有保密性、完整性、认证性等电子商务安全需求属性。     

固体粒子冲蚀磨损试验机改进

旋臂式冲蚀磨损试验机是目前使用比较普遍的一种固体粒子冲蚀磨损试验机,对这种试验机进行了结构设计与改进,采用槽轮给料装置,以提高给料稳定性,采用脉宽调制调速、光电测速、PID自动调节系统控制速度,使冲击速度和给料速度的精度大大提高,初步试验表明,该试验机数据稳定,性能可靠,适合于冲蚀磨损机理研究和材料耐磨性测试。     

《中药药剂学》 与 《药剂学》 制剂工艺及质量标准差异初探

《中药药剂学》与《药剂学》教学在制剂工艺及质量标准方面有很多共性,但是也存在明显差异。如何通过比较中药制剂和化学制剂在理论依据和治疗特点、来源、前处理、剂型处方和工艺、辅料、质量标准、稳定性等方面的不同点,是授课教师向学生讲授的重要内容。在查阅查阅相关文献和书籍后,对《中药药剂学》与《药剂学》教学在制剂工艺及质量标准方面差异进行了一些分析和探讨,对于教学和人才培养具有重要意义。     

中型精轧机组电磁阀控制系统设计与开发

详细介绍了精轧机组电磁阀改造的各项措施，在电磁阀开关后增加了反映其实际工作状态的继电器，避免了对精轧区设备的损害，提高了PLC系统的稳定性和可靠性。     

一般在线考试系统的设计与实现

本文讨论了一般在线考试系统的设计与实现技术,结合实际提出本系统的总体结构和功能模块,然后通过系统结构设计、表的设计及前端开发,构建了一个基于B/S多层结构的、以ASP.NET技术和SQL后台数据库为基础的、具备学生信息管理、试题库管理、在线考试、计算机自动阅卷、成绩分析、试卷分析、用户管理功能的在线考试系统。     

凹凸棒基土壤重金属钝化材料的热改性制备方法及功能研究

为探讨不同煅烧温度和煅烧时间下的凹凸棒土对土壤中重金属的钝化效果,将10目的凹凸棒土颗粒,在150℃、200 ℃、250℃、300℃、350℃、400 ℃、450 ℃条件下,分别改性0.5 h、1 h、1.5 h、2 h、2.5 h、3 h和4 h,通过钝化人工配制的重金属污染土壤中Cu和Zn来判断其钝化效果.结果表明:较低温度(<350 ℃)对凹凸棒土的钝化容量影响较小,当改性温度为350℃和400℃时,凹凸棒土的钝化容量提高最显著,改性温度大于400℃时,凹凸棒土的钝化容量开始降低,凹凸棒土在400℃下高温煅烧1.0~1.5 h时对土壤中Cu和Zn的钝化容量最大.分别向土壤中添加400 ℃下高温煅烧1.0 h和1.5 h的凹凸棒土能显著降低玉米植株中重金属Cu和Zn的富集量,与对照组相比分别减少了34.76%和57.56%.     

甘肃凹凸棒石对土壤Cd污染的钝化修复研究

以甘肃靖远、天水、临泽、西和、会宁5个地区的凹凸棒石为土壤重金属钝化材料,对Cd污染土壤进行钝化修复研究。结果表明,甘肃地区凹凸棒石作钝化剂可改善Cd污染土壤的理化性质,增加污染土壤中Cd的残渣态含量,降低Cd的生物有效性。临泽地区凹凸棒石钝化土壤中Cd的残渣态含量最高,比未钝化土壤增加40.0%;Cd的生物有效态含量最低,DTPA萃取态和TCLP萃取态分别为0.82 mg/kg和0.86 mg/kg,相比未钝化土壤降低21.9%和9.5%。甘肃凹凸棒石显著降低Cd毒性,降低植物重金属富集量,促进植物生长。临泽凹凸棒石和会宁凹凸棒石作钝化剂玉米地上和地下部分Cd最小富集量分别为0.18 mg/kg和0.52 mg/kg。甘肃凹凸棒石对重金属Cd钝化效果显著,其中临泽凹凸棒石钝化修复效果最好。     

基于SIMATIC S7-300 PLC的核电厂保护系统设计

核电厂保护系统对维护核电厂正常运行有着重要作用。本研究提出了基于SIMATIC S7-300 PLC(可编程自动控制器)的核电厂保护系统方案,详细介绍了保护系统的工作原理、结构、设计及该系统的应急设计和运行期间的故障检测。对于该系统的关键技术进行具体分析,其中针对核反应堆的检测温度存在非线性,采用模糊PID控制算法处理系统内的温度信号,实现了稳态调节,最后运用仿真软件对系统进行模拟测试。仿真结果表明:该核电厂保护系统在处理信号时具有循环周期短、处理速度高和指令集功能强大的特点,可以为核电厂24 h稳定安全运行提供保障。     

基于云平台的大豆种植智能控制系统设计

结合大豆的生长特性，基于STM32F103VET6主控芯片、无线通信模块、阿里云IoT平台及相关的传感器设计一套基于云平台的大豆种植智能控制系统，该系统可为农业技术人员、农户提供实时的大豆种植大田信息，为大豆的选种、田间管理提供参考数据，可极大地节省劳动力，减轻农民劳动强度，同时提高大豆产量。     

高盐水热改性凹凸棒石对Cu的吸附和钝化性能

采用高盐水（模拟海水）对低品位凹凸棒石进行水热改性，并利用扫描电镜（SEM）、X射线衍射（XRD）和傅里叶红外光谱（FTIR）对改性前后的凹凸棒石进行表征，同时探讨改性后的凹凸棒石对水和土壤中Cu吸附和钝化效果。结果表明，高盐水热改性使凹凸棒石棒状晶体减少、变短，片状和颗粒状物质增多；凹凸棒石转变为石英和长石。高盐水热改性凹凸棒石对水中Cu2+的吸附率增加13.45%～23.35%，其吸附过程符合拟二级动力学模型和Freundlich模型，是物理和化学相复合的不均匀多层吸附过程，受表面扩散和颗粒内扩散控制。添加高盐水热改性后的凹凸棒石能显著提高土壤pH值、电导率（EC）和阳离子交换容量（CEC），降低土壤中DTPA-Cu和TCLP-Cu含量，并使土壤中Cu由酸溶态向残渣态转化。高盐水热改性能提高低品位凹凸棒石对水和土壤中铜的吸附及钝化能力，具有规模化应用于Cu污染修复的潜力。