Fe~(2+)-Al~(3+)紫外催化臭氧法降解腈纶废水研究

采用Fe2+-Al3+紫外催化臭氧工艺处理生化后腈纶废水,实现废水中有机组分的有效化和矿化作用,使其达标排放。分析了金属离子和紫外光催化臭氧顺序及协同作用,考察了氨氮及有机物的COD去除率,最后通过p H转化特征和傅里叶红外光谱分析处理前后有机物的形态演化。结果表明,水力停留时间2.0 h时,Fe2+-Al3+和紫外光协同催化臭氧的氧化作用最好,COD去除率达77.4%;氨氮减少缓慢,去除率为8.87%;有机物的去除效率为60%时,BOD/COD提高到0.277,产生大量微生物可接受的小分子有机物。生化后的腈纶废水经工艺氧化后有机物转化为有机酸,溶液p H值降低。经红外光谱分析,影响生物降解性的惰性基团减弱或消失。     

洛必达法则在求极限中的方法

洛必达法则是微积分中重要的内容,是解决一类极限问题的重要方法.同时,熟练掌握求极限的方法对学好高等数学具有重要的意义.     

18–20世纪漆艺中的“东风西渐”——以法国漆艺家让·杜南的漆艺作品为例

18至20世纪,大量来自中国的商品涌入西方市场,进一步促进了东西方文化的交流,也在欧洲掀起了一阵“中国风”热潮。其中,中国漆艺对欧洲漆艺产生了尤为突出的影响。本文以法国漆艺家让·杜南的漆器创作为例,探究其色彩、技艺与题材如何反映中国传统美学与技艺对欧洲艺术的影响,以此展现漆艺领域“东风西渐”的现象。研究旨在为相关领域的资料梳理与深度研究提供参考。     

基于AADL的混合关键系统随机错误与突发错误安全性分析

许多复杂的嵌入式系统都是混合关键系统(mixed-criticality system,简称MCS).MCS通常需要在指定的关键性(criticality)等级状态下运行,但是它们可能会受到一些危害的影响,这些危害可能会导致随机错误和突发错误,进一步导致执行线程中止,甚至导致系统故障.目前的研究仅集中于对MCS的可调度性分析,未能进一步分析系统安全性,未能考虑线程之间的依赖关系.本文以随机错误和突发错误为研究对象,提出一种集成故障传播分析的基于架构的MCS安全分析方法.使用架构分析和设计语言(Architecture Analysis and Design Language,简称AADL)刻画构件依赖关系.为了弥补AADL的不足,创建新的AADL属性(AADL突发错误属性),并提出新的线程状态机(突发错误行为线程状态机)语义来描述带有突发错误的线程执行过程.为了将概率模型检查应用于安全分析,提出模型转换规则和组装方法,从AADL模型推导出PRISM模型.建立了两个公式,分别获得定量安全属性以验证故障发生的概率,以及定性安全属性以生成相应的正例来求出故障传播路径来进行故障传播分析.最后,以动力艇自动驾驶仪(power boat autopilot,简称PBA)系统为例,验证了该方法的有效性.     

预应力条件下系统颤振对磨削工件表面形貌的影响研究

目的基于应力刚化效应,通过施加预应力来调节颤振强度,进而研究预应力条件下系统颤振对磨削工件表面形貌的影响规律。方法选用45钢作为研究对象,首先建立两自由度磨削系统动力学模型,采用时域与频域相结合的方式来获得磨削系统的动力学特性。然后运用Johnson变换获得砂轮表面磨粒的非高斯分布,基于磨粒的运动轨迹和磨削系统的动态特性,建立多因素耦合型工件表面形貌的数学模型,进而获得考虑颤振因素的工件表面几何形貌。结果预应力条件下,磨削工件表面轮廓高度在1.1～1.7μm范围内波动,工件表面的平均轮廓高度沿着砂轮的进给方向呈增大趋势。考虑颤振因素的轮廓高度计算结果更接近测得的工件表面平均轮廓高度,随着砂轮转速的增大和进给速度的减小,工件表面的平均轮廓度降低。结论通过对比实验与仿真条件下工件表面轮廓的高度值,发现预应力条件下系统颤振导致工件表面轮廓高度分布呈现一定的不均匀性,工件表面平均轮廓高度沿着砂轮进给方向逐渐增加。同时,颤振很大程度上降低了加工工件表面微观几何精度。在实际生产中,可采用提高砂轮转速与降低砂轮进给速度的方式来减小颤振对预应力磨削工件微观表面轮廓高度的影响。     

钼精矿的焙烧-预处理试验研究

采用焙烧-氨浸工艺从钼精矿中提取钼,主要考察焙烧对氨浸过程中Mo浸出率的影响,确定最佳的焙烧条件.并对氨浸前焙砂预处理的技术条件进行了试验研究.结果表明,在焙烧温度625℃,焙烧时间60 min时,Mo、Re、S焙烧挥发率分别为6.64％、37.51％ 和99.17％,此焙砂直接氨浸,M o浸出率为94.88％.预处理...     

基于二阶锥规划的三维边坡极限分析下限法研究

由于屈服面梯度不连续,导致基于摩尔库伦屈服准则的三维边坡极限分析问题无法直接使用线性规划求解,从而计算效率低。采用等面积德鲁克-普拉格屈服准则来代替摩尔库伦屈服准则,并在考虑应力平衡、应力连续性条件和应力边界条件的基础上,用非线性规划的二阶锥规划成功构建了三维问题的极限分析下限法计算模型,可以方便地通过凸规划软件直接求解出三维边坡的应力场和安全系数,从真实解的下方收敛,两个算例证明了其可行性。     

基于自适应集合经验模态分解算法的局部放电信号降噪研究

高压开关柜被广泛应用在电网体系中,保障其运行安全稳定尤为重要.本文针对目前在分析高压开关柜局部放电过程中存在窄带干扰及其他噪声干扰等问题,提出一种新的降噪算法——自适应集合经验模态分解(AEEMD),其核心思想为在原始信号中加入白噪声后只分解一阶模式,然后将噪声不断加到剩余信号中进行循环处理.该方法简化了去噪过程,并减...     

基于下推系统可达性分析的程序机密消去机制

针对程序语言信息流安全领域的现有机密消去策略,提出了一种基于下推系统可达性分析的程序信息流安全验证机制.将存储-匹配操作内嵌于对抽象模型的紧凑自合成结果中,使得对抽象结果中标错状态的可达性分析可以作为不同机密消去策略下程序安全性的验证机制.实例研究说明,该方法比基于类型系统的方法具有更高的精确性,且比已有的自动验证方法更为高效.     

基于加权下推系统优化可达性分析的Java安全信息流研究

信息流安全的形式化以无干扰性为标准属性.针对目前字节码级的信息流安全分析均未基于对程序无干扰性的语义表示,提出了一种基于语义的无干扰性自动验证方法.为适应语言特性和应用环境的限制,将基本自合成扩展为低安全级记录自合成,以支持对标错状态的可达性分析,保证标错状态不可达时对应字节码程序满足无干扰性.在此基础上为提高实际验证效率提出了3种模型优化方法.实验说明方法的可用性、效率、可扩展性及模型优化的实际效果.