UASB反应器处理畜禽废水快速启动的研究

本文对UASB反应器的启动方式进行了总结,比较分析用畜禽废水直接启动加颗粒活性炭与未加的运行过程和结果。试验结果表明：用畜禽废水直接启动UASB反应器是切实可行的,絮状污泥接种后经54天的驯化,进料COD浓度由800mg／L提高到5000mg／L,去除率基本稳定在90％以上;在污泥中掺入颗粒活性炭能增加UASB反应器的抗冲击能力。     

论服装教育毕业综合考核的形式

通过对服装教育毕业考核形式展开讨论,来拉近目前国内服装专业教育与市场、企业人才需求的差距,进而提高培养人的能力与企业的岗位对接能力.     

玛纳斯河系水位流量关系曲线率定系统研究

从80年代开始,随着我国自动化管理技术的迅猛发展,新疆在水利工程运行管理中,也开始采用自动化及电脑等高新技术。文章运用数值逼进理论,采用优化的方法,建立了河系水位流量关系多次幂的曲线方程,用计算机代替人工,完成水位流量关系曲线的绘制工作,并用实际资料进行拟合,精度能够满足水文测验资料的要求。     

ATCase:一个基于多项式约束求解的数值程序测试用例自动生成工具北大核心CSCD

现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复杂非线性约束难以求解的问题,采用基于低秩矩量矩阵恢复的多项式系统求解方法,该方法对于含有等式和不等式的多项式系统,相较于其他方法求解速度更快,更适合大规模问题的求解;对于浮点约束求解不准确的问题,采用基于区间分析的验证算法来计算包含精确实解的区间,基于该区间给出测试用例,可以避免浮点计算的不准确和异常.结合该算法和符号执行工具KLEE-FP实现了一个测试用例自动生成工具ATCase(automatically generate test case),它能够分析数值程序中的路径并自动生成满足路径约束的测试用例.在两个开源软件库中的2两个复杂的真实程序上运行的实验结果表明ATCase相比KLEE-FP所使用的STP求解器,能快速生成具有更高覆盖率的测试用例,特别是在处理相对复杂的非线性约束时,优势更加明显.     

一种构造阿基米德Copula生成元的方法

阿基米德Copula族在经济、金融方面有着重要的应用,它们是由某些单调递减凸函数所生成的一类Copula,这类单调递减的凸函数被称为生成元．不同生成元所生成的阿基米德Copula具有的性质也完全不同．通过g函数,找到了一种通过某些连续的一维分布函数构造阿基米德Copula生成元的方法．另外,讨论了生成元与g函数之间的关系,从而在某些情况下可以扩展阿基米德Copula族．     

玛纳斯河流域的径流与洪水特征分析

为掌握玛纳斯河流域的径流与洪水特性，更好地发挥玛纳斯河在工农业生产和防洪工作的重要作用，本文根据玛纳斯河上游肯斯瓦特水文站多年水文观测资料，对玛纳斯河的径流与洪水特征进行了阐述与分析。结果表明，冰川是玛纳斯河流域径流的主要补给源，影响该流域径流年际、年内变化的主要因素是降水和气温，其径流年内分配集中在6～8月，径流过程略滞后于气温和降水过程。     

男衬衫袖口结构的研究

服装结构理论和服装制作工艺的高度结合是服装结构设计发展的规律.通过对男衬衫袖衩的传统结构制图正面分析和对产品工艺分解的逆向分析,取之精华,去其糟粕,从而得出新型的衬衫袖衩结构,使得袖衩结构与宝剑头工艺更加协调.     

正交实验法分析水热炭化的影响因素

本文采用正交实验法分析了蔗糖和葡萄糖两种生物质通过水热炭化方法制备炭材料的实验条件,实验结果表明:蔗糖比葡萄糖更容易炭化,选择蔗糖作为炭源、溶液的浓度为25%、反应温度为180℃、反应时间为36 h、填充率为80%为实验的最合适条件。     

ATCase:一个基于多项式约束求解的数值程序测试用例自动生成工具北大核心CSCD

现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复杂非线性约束难以求解的问题,采用基于低秩矩量矩阵恢复的多项式系统求解方法,该方法对于含有等式和不等式的多项式系统,相较于其他方法求解速度更快,更适合大规模问题的求解;对于浮点约束求解不准确的问题,采用基于区间分析的验证算法来计算包含精确实解的区间,基于该区间给出测试用例,可以避免浮点计算的不准确和异常.结合该算法和符号执行工具KLEE-FP实现了一个测试用例自动生成工具ATCase(automatically generate test case),它能够分析数值程序中的路径并自动生成满足路径约束的测试用例.在两个开源软件库中的2两个复杂的真实程序上运行的实验结果表明ATCase相比KLEE-FP所使用的STP求解器,能快速生成具有更高覆盖率的测试用例,特别是在处理相对复杂的非线性约束时,优势更加明显.     

餐饮废油酯交换法制备生物柴油的优化研究

以餐饮废油为原料,采用液体碱酯交换法制备生物柴油,研究了预酯化及酯交换反应条件。试验结果表明,预酯化工艺条件：甲醇：油=2：1（物质的量化）、催化剂：98％浓硫酸、反应温度为60℃、反应时间为1h;最佳酯交换反应条件：甲醇：油=6：1（物质的量比）、催化剂（甲醇钠）用量为原料油质量的0.9％、反应温度为60℃、反应时间为20min,甲酯转化率可达94％以上,甲酯产品各项性能指标达到GBtT20828--2007要求。