基于机器视觉的密封件表面缺陷检测研究

针对密封件行业的工程要求,为了解决密封件表面缺陷检测所面临的图像采光不均匀及人工目测不准确的问题,设计了基于机器视觉的图像检测系统。该系统适用于多种O型密封件尺寸的电控运动定位检测,利用适合表面缺陷检测的模板匹配方法对橡胶密封件表面细小缺陷进行检测识别,该方法与传统的人工检测方法相比,具有非接触、可在线、客观真实、自动化等优点,可有效地解决密封件表面缺陷检测问题。     

基于扩展CHAM的SA级路径覆盖方法

化学抽象机形式化语言（CHAM）通过把化学反应和抽象机的概念有机地结合来描述系统状态的变化,以此来指导分析和测试.针对软件体系结构（SA）中构件的概念,采用CHAM对SA中的构件进行建模,并据此导出该构件的标号迁移系统（LTS）,以表示该构件与其它构件之间的行为交互,并根据选取的测试覆盖准则,生成基于此构件的LTS中的所有测试路径.最后以B/S体系结构为例,通过实验验证了该方法在生成DB构件的测试路径上是可行的.     

南京滨江大道快速路组合式菱形立交方案研究

依据南京滨江大道(南段)设计理念,根据滨江大道路网结合路段流量分析,在城市快速路建设标准下,重点论述立交方案选型。基于其承担较多的过境交通,又位于长江江边,转向交通量存在着较大的不均匀性,故采用组合式菱形立交方案。具体设计方案取用长距离下沉式道路。最后还重点讨论了菱形立交匝道夹角角度的控制。     

硅灰石开发应用现状及前景

硅灰石作为一种新兴的非金属工业矿物,被广泛应用于各个工业领域。本文主要介绍硅灰石的优良性能及其在各领域的应用、硅灰石的开发利用现状及前景。     

基于颜色不变量的BRISK算法的改进

针对BRISK算法只考虑灰度图像,缺失了颜色信息,容易产生误匹配的问题,提出了一种基于颜色不变量的BRISK算法以实现彩色图像的特征提取与匹配。本文首先利用颜色不变量平面构建尺度空间,检测特征点;然后用每个特征点对地RGB值的大小关系描述特征点的颜色信息;最后用汉明距离进行相似性度量,完成匹配。实验表明,与原算法相比本方法在保证了原算法性能的同时,增加了BRISK算子对光学变化的鲁棒性。     

波动方程初至双差走时层析反演

对于有限频带的地震信号,地震波绝对走时受到震源子波的波形特征、走时测量准则等多种因素的影响,提高走时测量的精度有助于增加反演结果的可靠性。为降低绝对走时测量误差对反演的影响,采用双差走时代替绝对走时,并将其与Rytov近似导出的相位延迟敏感度核函数相结合,构造有限频带地震波的双差走时敏感度核函数。针对初至双差走时层析反演,提出了一种基于隐式矩阵向量积的高斯牛顿迭代算法,该方法无需显式计算、存储核函数及Hessian矩阵。相较于传统的散射积分方法(需要显式计算并存储核函数),波动方程初至双差走时层析反演方法仅利用了波动方程Born模拟及逆时偏移算法,因此降低了对计算机内存和外部存储的需求,可进行高效的大规模计算。高斯扰动模型数值模拟实验表明,该方法可以消除初至走时测量误差(震源子波未知)对反演的影响;Overthrust模型数据和二维起伏地表实际数据测试结果表明,采用该方法反演得到的高精度的近地表速度模型与实际地层较为吻合。     

基于关键点的混合式漏洞挖掘测试用例同步方法

混合式漏洞挖掘利用模糊测试和符号执行相互协作以达到优势互补的目标,测试用例的同步是相互协作的关键。然而,现有混合式漏洞挖掘技术方案中,测试用例同步是主要以交换和整合的方式实现,较为单一,忽略了程序状态探索时的运行时信息,对符号执行的执行过程没有充分利用。针对上述问题,本文提出了一种基于程序关键点的测试用例同步方法,旨在分析挖掘符号执行的执行过程,定位与识别代码覆盖率导向的程序关键点,进而指导模糊测试的测试用例调度与变异过程, 实现更细粒度的测试用例同步。首先,该方法在符号执行过程中识别模糊测试模块难以触及的分支对应的变量集合,并将其提取为程序的关键点。其次,为了充分利用符号求解的结果,该方法将单次求解得到的关键点信息进行进一步组合匹配,以帮助符号执行模块额外生成更多能够被模糊测试模块导入的测试用例。最后,在模糊测试模块中,该方法在种子挑选步骤中优先选择包含关键点信息的测试用例去引导测试过程探索程序的特定区域,并在测试用例变异中着重对关键点位置进行变异以引导其产生能覆盖新代码分支的测试用例。基于混合式漏洞挖掘工具QSYM,本文实现了一个原型系统Sol-QSYM,并选取了12个真实程序进行了实验评估。实验结果表明Sol-QSYM可以提升12.73%的测试用例成功导入率,相较于QSYM提升9.07%的代码覆盖率,并能够发现更多的程序crash。这些结果表明改进后的测试用例同步方法可以很好地提高混合式漏洞挖掘对符号执行中程序状态探索结果的利用率。     

AOPAN/PU 中空纤维膜的制备及微量 金属离子吸附性能

采用湿法纺丝制备聚丙烯腈/聚氨酯(PAN/PU)中空纤维膜,通过化学改性制备胺肟化聚丙烯腈/聚氨酯 (AOPAN/PU)中空纤维膜,研究中空纤维膜亲水性变化和金属离子吸附性能。通过扫描电镜,红外光谱对中空纤 维膜进行表征,并测定中空纤维膜亲水性能。研究表明,改性后制备的 AOPAN/PU 中空纤维膜亲水性能得到较 大改善,同时中空纤维膜能高效吸附金属离子,在对 10 mg/L 的 Cu2+、Fe 3+、Zn2+混合金属溶液 3 次吸附循环测 试后发现,滤液中三种剩余金属离子浓度达到生活饮用水卫生标准。     

天下有贼

歌星、影星被拥趸模仿似乎很平常，不管是“非常6 1”还是“超级模仿秀”，也许明星心理挺美，我的FANS还真不少。如果我们文具品牌、文具产品被人模仿了，让人心里就不那么痛快了。中国名牌“西瓜太郎”享誉海内外，总有人想打主意。于是乎“西瓜大郎”、“酉瓜太郎”比比皆是；业内巨头得力集团产品众多、设计独特，从形象到产品无不成为有些企业模仿的选择。     

负载型镍基催化剂催化加氢合成间苯二胺反应工艺及稳定性的研究

将负载型镍基催化剂用于间二硝基苯液相催化加氢制备间苯二胺,系统考察了反应温度、压力、催化剂用量、溶剂与反应物质量比等因素对催化剂反应性能的影响,同时对催化剂的稳定性进行了研究。实验结果表明,所研制的镍基催化剂具有很好的催化活性和间苯二胺选择性。在3.0M Pa、373K、溶剂与反应物质量比为2、催化剂与反应物质量比为0.03的条件下,反应约7.0h后,间二硝基苯转化率和间苯二胺选择性分别达到99.9%和99.6%以上;同时,催化剂具有良好的稳定性,经过20次套用实验后,催化剂的反应性能未发生明显变化。