学科分类
/ 25
500 个结果
  • 简介:一个r-klee-递归定义为一个r+1阶完全或者通过用一个r阶完全替换已知的r-klee-G′中的一个顶点所得到的.本文主要研究了r-klee-的Hamilton-连通性和着色问题.我们证明了:每一个r-klee-是Hamilton-连通的和它的色数是r;如果r是奇数,则它的边色数是r;如果r是偶数,则它的边色数是r+1.

  • 标签: γ-klee-图 Hamilton-连通 色数 边色数
  • 简介:为了检测出复杂路径中的内存泄露问题,首先将Z3求解器移植到符号执行工具KLEE中,使其与KLEE中原有的STP求解器并行工作;然后利用并行了Z3求解器的KLEE对复杂路径的内存泄露程序进行测试用例生成;最后利用生成的测试用例对程序进行测试,挖掘出内存泄露问题。证明这种检测复杂路径中内存泄露的方法具有可行性、正确性、有效性。

  • 标签: 复杂路径 内存泄露 Z3求解器 KLEE
  • 简介:

  • 标签:
  • 简介:最大亏格、上可嵌入是图论中的两个重要概念.通过双圈的树的边连通度,文章证明了双圈的树是上可嵌入的,并给出了双圈最大亏格的表达式.

  • 标签: 双圈图 树图 最大亏格 上可嵌入 图论 边连通度
  • 简介:转换思维是指根据题目需要重新绘制一幅新来表达原图,也叫以。适用于原来题目提供的比较抽象,需要有较强的立体思维、空间想象和逻辑推理能力,较难理顺思路得出准确答案的题目。通过平面转换立体、局部转换整体等方法,能够更直观,更易于破题,这是转换思维的宗旨所在。

  • 标签: 转换思维 破题 逻辑推理能力 立体思维 空间想象 立体图
  • 简介:摘要:以技术近年来在计算机视觉领域取得了显著进展,并广泛应用于电商、医学影像分析、社交媒体内容检索等多个领域。以,亦称基于内容的图像检索,通过分析图像的视觉特征,如颜色、纹理、形状等,实现自动化的图像检索和匹配。本文综述了以技术的基本概念、最新方法及面临的挑战,重点介绍了基于传统特征(如SIFT、SURF、HOG等)和深度学习方法(如卷积神经网络和Transformer)的图像检索技术的发展。我们详细讨论了全局特征与局部特征的组合应用,以及通过几何验证和重排序等策略优化检索性能的最新进展。最后,本文分析了以技术在大规模数据处理、跨领域适应性和实时性方面的挑战,并展望了未来的发展方向。

  • 标签:
  • 简介:【摘 要】在“部编本”一年级语文教材中,一幅幅画面精美的图画,一个个生动有趣的主题情境随文可见。情境的编排贴合了一年级学生的年龄特点,这不仅增添了语文课的趣味,也为教师提供了丰富有效的课程资源。在教学过程中,将课文内容与情境有机结合,能够提高学生学习兴趣、培养学生学习能力。基于此,本文以学生的发展为立足点,浅谈情境在部编本一年级语文课堂教学中的运用。

  • 标签: 部编本 情境图 学生兴趣
  • 简介:飞思旗下的子品牌“玛米亚利”中文名称正式更名为“厉图中画幅”,英文名称为“Mamiyaleaf”不变。Mamiya品牌目前已经被丹麦飞思全资收购,而厉图中画幅产品也将继续以亲民的中画幅产品售卖。目前的厉图中画幅产品可以直接接驳飞思XF机身使用,亦可以搭配技术性要求更高的ALPA相机使用,实现更多功能。

  • 标签: 中画幅 玛米亚 利图 大光圈 定焦镜头 哈苏
  • 简介:9月23日7点,广深港高铁香港段正式开通运营。广深港高铁连接香港、深圳和广州,始于广州南站,终至香港西九龙总站,全长140公里(内地段已开通)。其中香港段长26公里,由特区政府出资并委托港铁公司规划和建设。

  • 标签: 特区政府 香港 高铁 广州 公里