现浇楼板切角裂缝的防治

现浇楼板切角裂缝是楼板混凝土受双向剪切约束作用引起的,它已成为现浇钢筋混凝土楼板的常见病和多发病,需要弄清其产生的原因并采取预防措施,以减少和避免有害裂缝的产生。     

基于改进STA的含风电场电力系统动态经济调度

含风电场电力系统动态经济调度问题具有高维度、非线性、多约束的特点,同时需要考虑风电的随机性。针对上述问题提出一种基于镜像变换和动态坐标变换的状态转移算法(MTSTA),并使用一种新型的处理约束的修复方法配合罚函数对约束条件进行处理。镜像变换和动态坐标变换的加入丰富了候选解的多样性,提高了算法的收敛速度和寻优精度。用含一座风电场的10机系统作为算例,与其它几种算法进行对比,仿真结果验证了上述算法求解含风电场电力系统动态经济调度问题的优越性。     

基于时间约束的优化编码传输算法

考虑到对数据包延迟等服务质量要求比较高的流媒体应用,文章研究了在有记忆接收节点模型也即接收节点可以缓存多个数据包的前提下,数据包有延迟约束的无线网络中基于网络编码的广播调度问题,目标在于最小化超过延迟约束数据包的数目。本文提出一种利用着色图的方法来进行编码调度的算法,可以显著减少超过延迟约束数据包的数目,为以后针对QoS需求的网络编码问题提供了参考。模拟实验表明相比于接收节点丢弃暂时无用数据包的无记忆模型,在有记忆模型下我们的算法可以在很多情况下有效地降低超出延迟约束率,这对时间关键的应用非常重要。     

基于符号执行的漏洞检测系统

目前,软件安全至关重要,而威胁到软件安全性能的罪魁祸首正是软件自身,即软件漏洞。软件漏洞有语言漏洞、逻辑漏洞等。模糊测试是检测漏洞方面使用的较多的一种技术,它能够根据输入自动生成测试用例,这种方法不需要测试人员的过多干预。但过多的冗余测试也是这种方法难以消除的。为了解决这个缺点,生成有效的测试用例,文中实现了基于符号执行的漏洞检测系统。符号化输入是该系统的前提,程序插桩可以获取符号变量之间的关系。通过求解在分支语句处的约束条件可以得到新的测试输入。实验证明本系统能较智能地进行漏洞检测,也大大地提升了漏洞检测的性能。     

卷首语

胡锦涛同志强调,要建设科学严密完备管用的反腐倡廉制度体系,特别是要不断提高制度的执行力;要着力在领导干部特别是高中级干部中树立法律面前人人平等、制度面前没有特权、制度约束没有例外的意识。     

鸭血提取SOD工艺优化

基于已有的鸭血SOD提取工艺,对原有工艺进行优化。通过五因素四水平正交法探究热变性实验条件,得到热变性最佳温度为60摄氏度,最佳PH=7.0,热变性时间15min,同时探索不同Cu--Zn离子配比对热变性的影响。通过新工艺提取的鸭血SOD比活达到2150U/mg,优化后的提取工艺对于SOD的提取更加有效,为禽血SOD提取的工业化提供了实验指导,同时为大规模生产SOD提供了必要的实验支持。     

加工时间线性递减的链约束单机排序问题

讨论了工件的加工时间是开工时间的线性递减函数、工件之间有平行链约束的单机排序问题.对于链可中断和不可中断两种情况,给出了极小化总完工时间的最优算法.     

基于现浇钢筋混凝土结构在强约束条件下的裂缝成因分析与控制措施探讨

本文详细阐述了在强约束条件下现浇钢筋混凝土结构．裂缝分布特点,对强约束的钢筋混凝土结构裂缝控制措施进行了深入探讨,并结合工程应用实例进行了分析说明。