基于符号执行的注入类安全漏洞的分析技术

用符号值作为输入, 模拟程序执行, 提取执行路径上相应的约束条件, 即安全约束、攻击约束以及防御约束, 并构成可满足矩阵(SAT)以及不可满足矩阵(UNSAT)两个注入类漏洞安全分析与检测模型, 矩阵模型的求解结果可映射为注入类安全漏洞的安全状态。对Web应用注入类漏洞的检测实验表明, 与目前安全分析主流工具相比, 该分析技术具有降低误报率、漏报率、能自动生成攻击向量等优点。     

柠檬酸渣可降解地膜的制备及其农用特性的研究

为解决聚乙烯类农用地膜的大量使用引起的一系列环境问题,并且充分利用发酵工业中产生的有机生物质废弃物,以柠檬酸发酵菌渣为原料,制备了生物可降解农用地膜。针对预处理条件进行了温度、时间和碱浓度的优化,使其具备农用标准。研究结果表明：生物可降解膜较裸地的对照组地温可提升5~7℃,保墒性能与传统市售地膜相当;与裸地的对照组相比,覆盖有柠檬酸渣膜的土壤棉花产量可提高5.5%。这说明柠檬酸渣是优良的生物可降解地膜原料。     

风险规避下不确定供应链收益共享契约模型

针对零售商风险规避下单一供应商产出不确定、制造商产出确定和零售商需求不确定组成的三级供应链系统,建立了基于CVaR准则下供应链收益共享契约协调模型.比较了集中、分散和风险规避模型的特征,给出了基于收益共享的供应链契约协调机制.分析了产出和需求不确定性对供应链成员期望利润和决策的影响.最后,通过数值算例说明了收益共享契约协调的有效性.结果表明对于风险规避下不确定三级供应链系统,运用收益共享契约可以使分散的期望利润达到集中决策的水平,最终实现三级供应链系统协调的目的.     

新一代高技术纤维-PBO纤维

对PBO纤维的合成、纺丝工艺以及结构与性能、应用等进行了系统的论述。     

VC5中标签控件添加消息映射的程序设计

本文着重介绍了VC5中与标签控件添加项目有关的几个函数和标签控件添加项目的程序设计方法 ,同时给出了一个带有图形的标签控件的设计实例     

讨论进度监理在监理工作中的重要性

本文主要介绍了公路施工中进度与监理工作的关系,如何把握和处理二者关系的重要性。     

讨论进度监理在监理工作中的重要性

本文主要介绍了公路施工中进度与监理工作的关系,如何把握和处理二者关系的重要性.     

圆管导热系数测试方法研究

本文阐述了稳态法测试圆管导热系数的原理，分析了常用“圆管法”存在的主要问题，提出了新的相对较简易的测试方法，分析了新方法测试的准确性，同时提出了使用新方法时需要注意的关键问题，在圆管导热系数测试工作中具有一定的指导意义。     

衰减火源条件下喷淋烟气沉降特性模拟研究

改变流量建立喷淋模型,利用Tamanini公式对火源功率进行修正,通过数值模拟,研究了不同流量时,喷淋作用区火源功率及烟气层高度的变化情况.进而分析了水喷淋与火源功率衰减耦合作用对烟气沉降特性的影响.同时,对不同的火源条件,比较烟气层高度随时间的变化,探讨了引起烟气沉降的主导因素.结果表明,增加喷淋流量,火源功率衰减幅度减小,喷淋对烟气层的沉降效应增强,烟气沉降区扩大,烟气层高度降低.烟气沉降是喷淋沉降效应和浮力效应协同作用的结果,沉降出现后,烟气层高度随火源功率衰减而降低.     

基于模式聚类的过程数据预处理方法及应用

在分析工业过程数据测量误差源的基础上 ,提出了一种基于模式聚类的数据预处理方法。该方法只依赖于领域的定性知识和半定量知识 ,能处理不同的误差干扰 ,预处理后的数据保留了原始测量数据的有用信息 ,剔除了过失数据 ,从而防止了矛盾数据的出现。将该方法用于制浆蒸煮过程的数据预处理中 ,收到了良好的效果