基于不变式生成的循环停机性验证

循环的停机性验证是程序验证中的一个难点。程序不变式用来描述程序变量的取值关系,其中线性不变式可以帮助描述程序变量间的线性关系,循环不变式能够有效刻画循环中的变量关系。本文基于线性不变式和多项式循环不变式的生成,将循环的停机性验证转化为求解一个最优化问题,给出了一个实用的程序停机性验证框架。基于该框架可以自动地验证程序的停机性,并给出循环的复杂度上界。实验结果说明了该方法的实用性。     

片状和棒状γ-AlOOH/MWCNTs复合材料的制备及微波吸收性能研究

以Al(NO3)3·9H2O、柠檬酸钠和多壁碳纳米管(MWCNTs,Multi Walled Carbon Nanotubes)为原料,采用水热法制备了片状和棒状γ-AlOOH/MWCNTs复合材料.研究了γ-AlOOH/MWCNTs复合材料形貌结构和水热时间对材料电磁参数及微波吸收性能的影响.结果表明:片状复合材料的介电常数高于棒状复合材料,棒状复合材料具有更好的吸波性能.片状γ-AlOOH/MWCNTs复合材料在10.32 GHz处的最小反射损耗(RL,Reflection Loss)为-29.86 dB,有效吸收带宽达到3.76 GHz.棒状γ-AlOOH/MWCNTs复合材料在7.92 GHz处的最小反射损耗RL值达到-61.05 dB,同时低于-10 dB的有效吸收带宽为3.44 GHz.     

基于混合聚类算法的高压配电网网架规划

以高压配电网为研究对象,建立了含建设运营、故障停电损失及资产回收等成本的全寿命周期成本规划模型,提出一种基于混合聚类算法的高压配电网规划方法.首先,根据规划区域的负荷分布情况,利用DBSCAN算法与K-means算法相结合的混合聚类算法对供电分区及变电站进行划分;然后,结合区域容载比的要求,确定各供电区待建变电站总容量;最后,利用Floyd-Warshall算法求解满足目标函数要求的变电站站址和接线形式,得到整个供电区域内的高压配电网规划方案.通过某实际规划区作为算例,验证了模型和方法的实用性和有效性.     

固相条件下研磨屑解毒六价铬机理及动力学规律研究

通过改变铬渣的粒径大小,在固相条件下将含铬废渣中的六价铬解毒后稳定化处置.研究了不同温度、pH、铬渣目数、含水率和初始浓度对研磨屑还原六价铬的反应动力学影响,通过实验验证:在pH=2～5,研磨屑与六价铬反应符合准一级动力学规律.pH为2时,速率常数是pH为3、4的1.63、2.47倍;铬渣粒径对反应体系的影响较为明显,R2大于0.98;目数为150目时,还原反应速率常数分别是目数为10、50目的12.1、4.8倍;在初始pH相同的条件下,体系含水率越高,还原剂研磨屑与含铬废渣粉末混合越均匀,固相反应速率常数越大;不同六价铬初始浓度的反应体系中,在铬粉目数相同的前提下,反应速率随六价铬初始浓度的增大而减小;在pH=3、含水率45％的条件下,反应速率常数随温度的升高而增大;温度为35℃时,反应速率常数分别是20℃、5℃的1.68、5.11倍.通过阿伦尼乌斯公式,建立六价铬固相还原反应体系中,反应速率常数随温度变化的函数关系方程.     

高强紫外光强化降解消毒副产物氯乙酸的效能及作用机制

氯乙酸是一种化学性质稳定的氯化消毒副产物,传统高级氧化技术对氯乙酸的降解效率低、矿化不彻底,拟采用强度高达3.13×10-6 Einstein/(cm2·s)(强度约合1000 mW/cm2,比传统高级氧化工艺中使用的紫外光强度高两个数量级以上)的紫外光作为光源,考察其对3种氯乙酸(一氯乙酸、二氯乙酸和三氯乙酸)的降解效果、影响因素和矿化过程.研究结果表明,与传统紫外光降解技术相比,高强紫外光可高效降解氯乙酸,前者在360 min内对氯乙酸的去除率不足5％,后者可在50 min内实现99％以上的降解,且3者的降解速率关系为:三氯乙酸>二氯乙酸>一氯乙酸.高强紫外光对氯乙酸的降解过程遵循伪一级动力学,光强、pH和DO这3个光解反应影响因素中,pH对氯乙酸光解过程影响不大,但光强和DO对光解速率影响显著,光解的反应速率随紫外光子通量的提高呈一次线性增加,随着DO由1 mg/L增加至9 mg/L,光解速率提高1倍.此外,高强紫外光对氯乙酸的矿化过程彻底,几乎不产生中间产物,氯乙酸的矿化过程可能主要是通过脱卤和脱羧基两个反应路径实现,DO和pH对光解过程的影响从侧面佐证了氯乙酸高强紫外光光解路径.该结果表明,高强紫外光可有效降解光稳定物质氯乙酸,可为氯化消毒副产物的高效去除提供技术借鉴.     

咪唑啉缓蚀剂工艺条件优化及效果

在减缓金属腐蚀的研究中,为了缓解在酸性溶液、碱性溶液以及大气、土壤等介质中金属腐蚀较为严重的问题,对咪唑啉类缓蚀剂进行了工艺条件优化.采用静态失重法研究了碳钢在加入了缓蚀剂的盐酸溶液中的缓蚀性能.在最佳合成条件下苯甲酸与二乙烯三胺最佳摩尔比为1∶1.3,催化剂质量分数为1.2%,环化时间为1 h,咪唑啉中间体与氯化苄的最佳摩尔比为1∶1.1,季铵化反应时间为1 h,季铵化反应温度为70 ℃,缓蚀剂的最佳质量分数为1%,最终缓蚀率可以达到99.37%.     

压水堆技术后续发展的思考

针对压水堆核电技术后续发展的问题,本文分析了压水堆技术在安全性、环境友好性、经济性和运行灵活性等方面面临的挑战.基于文献调研和工程实践经验,总结了压水堆技术近期可行的发展方向,这些发展方向包括了先进燃料、不调硼负荷跟踪、优化的能动与非能动安全系统等.在远期发展方面,可以将研究重点从安全系统的优化提升转移到消除或降低事故发生的可能性上,并大力提升模块化建造及智能化运维水平.在这一过程中,需开展更多设计理论的研究和原创技术的开发.     

一种面向弱纹理图像的特征点描述子

现有的大多数特征点提取算法适用于处理纹理丰富的图像,而对于弱纹理图像则无法提取有效的特征点. 对此,提出了多邻域结构张量特征(MNSTF)算法. 基于一系列固定的邻域和图像结构张量,通过表达局部图像的结构和纹理信息,解决了弱纹理和无纹理场景下特征点提取和匹配等相关问题;同时,通过计算邻域之间的相对方向,实现了MNSTF算法特征描述子的旋转不变性. 实验结果表明,MNSTF算法在经过旋转的弱纹理图像测试集上的特征点匹配准确率达到了99.9%以上,验证了其良好的适用性、旋转不变性和鲁棒性.     

基于观测器摩擦补偿的机电系统高精度控制

针对机电作动系统在低速阶段摩擦非线性明显且同时存在其他干扰,易导致系统跟踪精度、稳定性下降这一问题,设计基于非线性观测器摩擦补偿的自适应鲁棒控制器. 针对摩擦非线性,利用LuGre摩擦模型描述系统的摩擦现象,提出非线性观测器对模型的内部摩擦状态进行观测. 针对系统摩擦系数、转动惯量及其他不确定性参数,设计参数自适应律进行估计. 利用前馈补偿的方法,对摩擦非线性和参数不确定性进行补偿,设计鲁棒项克服系统的其他扰动. 利用Lyapunov稳定性定理证明了提出的控制器在存在扰动的情况下可以实现系统的有界稳定性. 实验结果表明,提出的控制器具有较高的控制精度与较强的鲁棒性,跟踪精度较传统的PID控制器提高了一个数量级.     

贮藏温度对筇竹笋采后品质的影响

筇竹笋味甘鲜嫩,笋体脆爽,富含多种营养物质,具有重要的食用、经济和生态价值。筇竹笋采后生命力旺盛,笋体易老化腐烂,难以贮藏,而适当的低温贮藏可有效延缓其木质化进程,延长保鲜期。本文探讨了18、4、0和?18 ℃ 4种贮藏温度对筇竹笋色泽、硬度、失重率、呼吸强度、酶活性、MDA（丙二醛）、木质素及粗纤维的影响。结果表明:采后鲜笋在18 ℃条件下贮藏4 d木质化严重,丧失食用价值;而在4、0和?18 ℃条件下贮藏至第10 d,产品外观品质均保持较好,但由于冻藏（?18 ℃）对笋体细胞造成损伤,解冻后其质地变软,食用品质降低。0 ℃条件下各指标结果优于4 ℃,能更好地保持筇竹笋采后原有品质,延长贮藏时间。本研究为竹笋低温贮藏提供了理论依据。