定点转换使用定点工具和衍生范围分析
此示例展示了如何使用派生距离分析来生成最小和最大距离数据,然后定点工具可以使用这些数据来提出定点缩放。
要运行此示例,您需要定点设计器™、计算机视觉系统工具箱™及其所需的产品。下载188bet金宝搏
概述
定点工具可以通过模拟和记录距离信息或运行衍生距离分析来收集最小和最大距离数据。从仿真中获得的距离信息完全依赖于仿真的输入,只有当输入在系统的全部工作范围内行使时才能获得准确的距离信息。与模拟测井不同,衍生距离分析不依赖于样本输入,而是使用形式化方法生成距离信息。
与模拟测井相比,导出距离分析的优点是:
准确的结果,无论输入数据的质量
更快的分析时间
打开并检查模型
该模型实现了一种基于Harris角点检测方法的角点检测算法。模型的顶层包括运行仿真所需的模块。请注意,模拟的输入是一个棋盘图像,输出是2 × n的工作空间矩阵变量“cornerMarks”,它包含所有找到的角的位置。“角点检测器”子系统实现了该算法。在“角检测器”子系统中,“索贝尔边缘”块对输入数据应用索贝尔算子,“角度量”子系统计算哈里斯角度量。这个例子集中于分析“角度量”子系统的范围。
注:在运行分析之前,用户已经明确指定了“角度量”子系统输入的设计范围。这些设计范围既可以通过对整个系统运行的推导范围分析或仿真测井得到,也可以通过模型推断得到。
模拟模型
尝试在“角度量”子系统内部的一些块上手动设置定点类型。然而,一些类型的选择很差,模型无法正确检测角点。通过单击Run按钮模拟模型。观察有许多溢出发生,并且大多数角落没有标记。
准备转换模型
要打开定点工具,右键单击“角度量”子系统并选择定点工具。
为范围分析准备模型
定点工具通过分析生成的代码派生范围。复杂的数据类型,比如定点数据,会产生更多的代码,使得分析很难得出准确的范围。要提高结果的准确性,请将数据类型覆盖设置为double。
运行衍生极差分析
要开始导出范围分析,请单击“导出所选模型的最小/最大值”按钮。分析完成后,定点工具将显示收集到的距离信息,定点缩放的工作与从模拟日志中获得距离信息时完全相同。
提出定点数据类型
定点工具可以使用从衍生的距离分析中获得的距离信息来为模型中的块提出定点数据类型。这可以通过点击“定点工具”菜单中的“建议”按钮来完成。
应用建议的数据类型
要应用建议的数据类型,请单击“应用建议的数据类型”按钮。默认情况下,定点工具应用所有建议的数据类型。要应用提案的一个子集,请使用Accept复选框指定要应用的提案。
验证建议的数据类型
建议的类型应该正确处理所有可能的输入。将模型设置为使用建议的类型,再次模拟模型并观察所有的角现在都被检测到。