UASB-MBR-反渗透工艺处理垃圾焚烧厂渗滤液的工程实践

阐述UASB+MBR+RO工艺处理泉州某生活垃圾焚烧厂渗滤液的工程实例。系统稳定运行的数据显示,当进水COD、BOD₅为21410±2838 mg/L、10527±1262 mg/L时,出水COD、BOD₅为76.6±19 mg/L、28.3±8.6 mg/L;进水NH₃-N与SS质量浓度分别为1295±192 mg/L和3336±210 mg/L时,出水分别为2.95±1.14 mg/L和1.59±0.45 mg/L,满足水质排放标准。通过污染物降解过程分析可知,UASB与MBR可去除97.7%的COD,MBR可去除89.5%的NH₃-N与87.1%的TN。     

一种基于改进遗传算法的路径测试用例生成方法

采用遗传算法求解路径覆盖的测试用例生成问题是软件测试自动化的研究热点。针对传统标准遗传方法搜索测试用例易产生早熟收敛和收敛速度较慢的不足,设计了自适应的交叉算子和变异算子,提高了算法的全局寻优能力。基于动态生成算法框架,通过程序静态分析,考虑了分支嵌套深度的影响,结合层接近度和分支距离法,提出一种新的适应度函数。实验结果表明,该算法在面向路径的测试用例生成上优于传统方法,提高了测试效率。     

用例驱动的软件复杂性度量及应用

在用例驱动的软件开发过程中,研究软件复杂性,对于项目规模估算、进度控制及度量、评估都具有积极的意义.从需求获取、分析、设计、测试等阶段详细讨论了整个软件开发过程中如何获取、量化用例层次上的软件复杂度的方法,概括了研究的意义并通过实践进一步验证.根据它对软件可靠性相关指标参数的影响,探讨基于用例的软件可靠性度量分析方法的改进.     

城乡统筹背景下我国土地流转相关案例比较研究

城乡统筹发展是我国城镇化进程的必然道路,而土地流转又是促进乡村地区城镇化、解决城乡发展中土地容量问题的重要手段。该文对城乡统筹与土地流转的理论和二者联系进行梳理,并针对我国部分地区土地流转的案例进行剖析研究,总结出不同地区土地流转实践的类型及联系,以及对城乡统筹发展的作用。     

CBTC 系统测试用例生成方法的研究

针对CBTC系统测试案例的特点和生成过程,本文使用基于MSC建模语言来生成测试用例,并且说明了使用该方法生成测试用例的优点所在。在基于MSC生成测试用例的过程中,对MSC添加状态约束条件,分析MSC图,得到场景测试树,再遍历该场景树,得到场景的输入、预期输出、约束条件以及场景环境,测试用例即由这四部分内容组成。     

ContextAug: model-domain failing test augmentation with contextual information

In the process of software development, the ability to localize faults is crucial for improving the efficiency of debugging. Generally speaking, detecting and repairing errant behavior at an early stage of the development cycle considerably reduces costs and development time. Researchers have tried to utilize various methods to locate the faulty codes. However, failing test cases usually account for a small portion of the test suite, which inevitably leads to the class-imbalance phenomenon and hampers the effectiveness of fault localization. Accordingly, in this work, we propose a new fault localization approach named ContextAug. After obtaining dynamic execution through test cases, ContextAug traces these executions to build an information model; subsequently, it constructs a failure context with propagation dependencies to intersect with new model-domain failing test samples synthesized by the minimum variability of the minority feature space. In contrast to traditional test generation directly from the input domain, ContextAug seeks a new perspective to synthesize failing test samples from the model domain, which is much easier to augment test suites. Through conducting empirical research on real large-sized programs with 13 state-of-the-art fault localization approaches, ContextAug could significantly improve fault localization effectiveness with up to 54.53%. Thus, ContextAug is verified as able to improve fault localization effectiveness.     

敏感变量和感知机结合的测试预言生成方法

测试预言生成技术是软件工程测试领域的研究热点之一.没有可以利用的历史测试用例是目前大部分测试预言生成技术的普遍假设，但是这种假设会使我们错过利用现有部分测试用例协助自动生成新测试用例预言的机会.在已知部分测试用例集的情况下，提出了基于敏感变量和线性感知机的新测试用例的测试预言自动生成方法.首先，收集已知测试用例执行的语句覆盖和不同断点处内存值集合作为训练集，计算与新测试用例执行覆盖信息高度相似的测试用例集；其次，计算各断点处表征成功或失败的敏感变量集；然后，应用线性感知机求解每个断点处成功或失败概率预测的门限值；在此基础上，给出新测试用例测试预言自动生成的方法，并对方法进行讨论；最后，采用7个程序的129个故障版本作为实验对象，对共计14 300个测试用例生成测试预言.实证评价表明，测试预言准确率平均达到96.2%.该成果可以形成测试用例集合构造的"滚雪球效应"，不断迭代自动生成新测试用例的测试预言.     

用矩阵形式的电路方程分析多层特斯拉线圈

论文引介一种用解析几何原理分析有载二端口网络主要电气量与负载关系的方法。根据二端口网络解析表达式和复变函数映射原理，在复平面绘制一张几何图形。当负载阻抗等参数改变时，会引起该图形某些线段与圆弧的变化，从而直观地观察二端口网络主要电气量的联动变化趋势。该方法具有直观、全局和动态的特点，可以促进解析几何与复变函数在电路分析中的应用。     

数字信号处理课程思政案例探索

通过发掘“数字信号处理”课程蕴含的思政元素，给出了三个思政案例。首先从离散傅里叶变换到快速傅里叶变换的发展过程，凝练出国家战略需求的牵引往往能获得更有价值的研究成果；其次通过介绍线性卷积与循环卷积的联系，引出我国移动通信技术从空白到领跑的奋斗之路；再次通过介绍无限长冲激响应和有限长冲激响应滤波器设计方法，阐明要从多维度全面看待事物并能从不同维度切入解决问题。