面向热点代码的路径搜索方法研究

程序测试研究表明代码安全缺陷聚集于热点代码。提出一种面向热点代码的路径搜索方法,在程序CFG(controlflow graph)图上搜索分支语句与热点代码之间的最短路径,采用符号执行方法生成路径约束判断其可达性,结合多热点搜索优化策略进一步消除不可达子路径,从而快速生成能够覆盖热点代码的测试用例。实验结果表明,与DFS(depth-firstsearch)和BFS(best-first search)方法相比,在达到相同热点代码覆盖率情形下,该方法能够有效减少测试路径并缩短搜索时间。     

图像处理技术在阻垢剂性能评定方法的应用

针对目前阻垢剂性能评定方法的不足,鉴于图像处理技术在检测领域中越来越多的应用,首次提出基于图像处理技术的阻垢剂性能快速评定方法.本方法以CaCl2为母液,Na2CO3为滴定液,通过连续自动滴加至过饱和,直至晶核形成,最终形成沉淀.利用摄像机对这一过程进行连续采样,对图像进行处理得出溶液状态变化与图像特征值变化的对应关系,并找出图像特征曲线的突变点(拐点),以此评定阻垢剂的性能.试验得到了与标准方法一致的结论,且具有重复性好、评定快捷、操作简便等特点.     

铁路信号微机联锁系统的管理与维护

近几年来我国铁路在迅速发展,同时信号微机联锁设备也得到广泛的应用。文章通过借鉴国内外文献,客观地分析微机联锁系统的特点,列举该设备出现故障的原因及处理的过程,总结了微机联锁信号设备的管理与维护方法。     

基于系统的视角看待深圳大芬村的崛起

本文尝试用系统观的方法替代传统的城市规划SWOT（优势、劣势、机遇、挑战）的分析法,用另一种思考方式研究规划问题。再通过分析形成“大芬村现象”迅速崛起的内在动因,指出其不足及其应对策略。     

HTTP头信息在Web网站开发中的应用研究

文中针对Web网站开发的需要，对HTTP／1．1协议规范中的几种重要的头信息进行了分析和应用性研究，主要涉及HTTP认证、内容类型控制、缓存控制等几方面的内容，并以JSP／Servlet为开发工具，给出了各应用的具体实现。     

JSP网站中的图像及二进制文本信息处理技术研究

针对Web网站开发的需要，讨论了图像、二进制文本等主要媒体类型的信息处理 技术，并以JSP为开发工具，给出了各应用的具体实现。     

模糊自适应PID在机组协调控制中的应用

针时单元机组协调控制系统的非线性、强耦合性等特点,本文将模糊控制理论应用于协调控制器设计中,使用参数自适应模糊PID控制器替代常规PID控制器.仿真结果表明该系统的跟踪速度加快、调节精度提高、抗干扰能力加强.     

焦度计检定中常见故障及排除方法

焦度计在眼镜配制中使用十分频繁,如使用维护不当,就会导致焦度计出现这样或那样的故障,如不及时排除,会严重影响眼镜的配制质量.本文通过对电脑数显式和目镜调焦式焦度计出现的故障进行分析、排除故障,在实践中取得了很好效果.     

基于ABAQUS的液压支架立柱与柱窝的接触非线性分析

用有限元分析软件ABAQUS对液压支架立柱和柱窝进行建模,利用其强大的非线性分析功能对液压支架立柱及柱窝进行接触分析,得出立柱和柱窝工作时的应力云图。同时将所得的分析结果与赫兹接触理论所得结果进行比较,总结立柱与柱窝的变形特点,为液压支架立柱与柱窝的设计及校核提供了依据和参考。