检索结果-内蒙古大学图书馆

作者：彭涛赵林赵永恒彭小奇宋彦坡赵璐彭霞 410083 湖南省长沙市岳麓区麓山南路932号

本发明公开了一种基于单摄像机等效双目立体视觉模型提取浮选泡沫立体特征的方法。在单摄像机获取浮选生产现场泡沫视频的基础上，利用视频中相邻两帧图像因泡沫流动而产生的差异信息，将一台摄像机从一个方位在不同时刻拍摄的流动泡沫... 详细信息

标准号: CN103971379A

本发明公开了一种基于单摄像机等效双目立体视觉模型提取浮选泡沫立体特征的方法。在单摄像机获取浮选生产现场泡沫视频的基础上，利用视频中相邻两帧图像因泡沫流动而产生的差异信息，将一台摄像机从一个方位在不同时刻拍摄的流动泡沫的两帧图像，看作两台摄像机从不同方位在同一时刻拍摄的同一场景下的两幅泡沫图像，等效构建模拟人眼成像过程的双目立体视觉模型，获得泡沫图像中气泡的深度信息，进而提取气泡的立体特征，以用于有效识别有色金属浮选工况，实现对有色金属浮选过程的优化控制。

关键词：浮选摄像机图像双目立体视觉立体特征有色金属视频差异信息成像过程流动泡沫模型提取泡沫流动深度信息优化控制有效识别模拟人拍摄工况场景

来源：评论

学校读者我要写书评

暂无评论

TM图像的矿区土地资源分类体系的建立与信息提取

引用

煤炭学报 2007年第12期32卷 1282-1286页

作者：武文波张正鹏辽宁工程技术大学测绘与地理科学学院辽宁阜新123000

以多时相TM图像为数据源,分析矿区土地资源的主要演变形式,参考国家标准分类体系,提出了适合于沈阳矿区的土地资源监测分类体系.结合前人的研究成果,分析地物在TM图像上的灰度变化、空间关系及结构变化,对矿区水体、建设用地、绿地和耕... 详细信息

以多时相TM图像为数据源,分析矿区土地资源的主要演变形式,参考国家标准分类体系,提出了适合于沈阳矿区的土地资源监测分类体系.结合前人的研究成果,分析地物在TM图像上的灰度变化、空间关系及结构变化,对矿区水体、建设用地、绿地和耕地、塌陷地分别进行了模型提取研究.并采用GIS支持下的分层变化信息提取方法,通过建立知识及决策树模型对信息进行变化检测,检测结果完全能够满足对矿区土地资源演变分析的精度要求,且均采用半自动的提取模型与知识决策树提取方法,简单易行,方便GIS数据管理与分析.

关键词：分类体系模型提取演变分析动态监测

来源：评论

学校读者我要写书评

暂无评论

一种自动化模型检测ANSI-C程序的实用方法

引用

计算机工程与科学 2010年第4期32卷 79-82页

作者：王大伟张大方缪力湖南大学计算机与通信学院湖南长沙410082 湖南大学软件学院湖南长沙410082

模型检测是一种验证有限状态系统的时序逻辑属性的形式化方法。为了利用模型检测技术,通常的办法是手工构建一个抽象模型,然而这个方法存在一些不足,如成本过高、易引入建模错误等。本文提出了一种自动化模型检测ANSI-C程序的方法,并开... 详细信息

模型检测是一种验证有限状态系统的时序逻辑属性的形式化方法。为了利用模型检测技术,通常的办法是手工构建一个抽象模型,然而这个方法存在一些不足,如成本过高、易引入建模错误等。本文提出了一种自动化模型检测ANSI-C程序的方法,并开发了模型提取工具C2Spin,它能够分析ANSI-C源代码,并生成对应的PROMELA验证模型,从而显著降低了建模的开销。利用C2Spin,模型检测工具SPIN可以自动地检测使用C语言编写的应用程序中的多种错误,如死锁等。在初步实验中,依靠C2Spin生成的模型,我们发现了SPIN4.3.0的一个语义错误,以及Holzmann对两个经典互斥算法的实现程序中的活锁错误。这些结果表明,C2Spin能够帮助人们更加快速有效地测试C程序。

关键词：形式化方法模型检测模型提取 ANSI-C PROMELA

来源：评论

学校读者我要写书评

暂无评论

一类表格图象的分割及处理

引用

中文信息学报 1989年第1期3卷 62-68,9页

作者：高章舜朱志莹北京联大航天工程学院哈工大计算机系

在哈工大开发的传真机一微机报表识别处理工作站中,以传真机为图象输入装置,本文提出了一个表格图象分割用数学模型,并按这个数学模型提取了表格图象的几何参数,分割出了表格图象中的各数据项,并对数据项中每一手写体数字进行了分割处... 详细信息

在哈工大开发的传真机一微机报表识别处理工作站中,以传真机为图象输入装置,本文提出了一个表格图象分割用数学模型,并按这个数学模型提取了表格图象的几何参数,分割出了表格图象中的各数据项,并对数据项中每一手写体数字进行了分割处理。同时,消除了噪声。本文提出的分割算法不依赖于表格图象内部的表格线,因而有很强的适应性。

关键词：图象分割识别处理几何参数字符分割图象输入装置模型提取图象处理模式识别汉字识别轮廓跟踪

来源：评论

学校读者我要写书评

暂无评论

甚大规模集成电路子图识别技术研究

甚大规模集成电路子图识别技术研究

引用

作者：王光晨中国科学院大学

学位级别：硕士

在半导体行业中，集成电路子图识别属于集成电路后端工程设计领域。在高端工艺设计中，尤其是LVS辅助设计过程中，需要从甚大规模电路设计图中识别出一些固有或者用户指定的子电路结构，或用于加速LVS验证过程，或用于失效分析与知识产... 详细信息

在半导体行业中，集成电路子图识别属于集成电路后端工程设计领域。在高端工艺设计中，尤其是LVS辅助设计过程中，需要从甚大规模电路设计图中识别出一些固有或者用户指定的子电路结构，或用于加速LVS验证过程，或用于失效分析与知识产权保护等等。本文的目的主要是提取合适的集成电路图模型，为模型的节点建立标签，设计新的算法，解决集成电路子图识别问题。　　目前，已经有许多算法用于子图识别（子图同构）领域，但是集成电路图有其特殊性，部分算法不能适用。在一般的图论问题中，提取出来的图模型是典型的两点一线模型，就是说一条边只能连接两个点。而集成电路图的图模型显然不符合该模型的特点，集成电路图模型中的一条边可以连接多个点，我们称这种图为超图。为了更加方便地对集成电路图模型进行处理，算法需要将提取出来的超图转换为一般图，本文的创新做法是改变模型提取时点和边的映射关系将其转化为特殊的邻接链表模型。　　集成电路中有多种可用信息可用于模型中节点标签的建立，例如集成电路中器件的类型，器件的端口类型等等不可变量。在给节点建立标签的时候，本文将其邻居节点的不可变量也考虑进来，相当于节点的标签暗含以该节点为中心的附近的电路连接情况或者结构。同时本文创新提出了迭代建立标签的方式，有效解决了外部节点带来的节点标签辨识度不强的问题。　　为了减少不必要的匹配过程，本文创新采取了先寻找可能含有模板图的目标图的子图，然后根据该子图的两个可能结果，决定是否进行进一步的识别的方式。该算法减少了不必要的匹配过程，从而降低了识别的时间复杂度。同时使用基于回溯的算法进行识别。　　本文的集成电路是以Spice网表的形式存在，在描述算法的同时，阐述了Spice的语法和Spice网表的解析过程以及使用的词法解析工具Flex和语法解析工具Bison。通过对算法的实现，验证了算法的有效性。

关键词：集成电路子图识别模型提取电路结构

来源：评论

学校读者我要写书评

暂无评论

基于程序切片的Ada程序模型检测研究

基于程序切片的Ada程序模型检测研究

引用

作者：黄超南京航空航天大学

学位级别：硕士

随着多核处理器的发展，Ada并发程序已经普遍应用于现代嵌入式软件系统设计中，如何保证其正确性和可靠性成为一个十分重要的问题。模型检测验证并发程序已成为一种趋势，其关键问题是建模，通常采用手工方式，但是这种方式存在成本高... 详细信息

随着多核处理器的发展，Ada并发程序已经普遍应用于现代嵌入式软件系统设计中，如何保证其正确性和可靠性成为一个十分重要的问题。模型检测验证并发程序已成为一种趋势，其关键问题是建模，通常采用手工方式，但是这种方式存在成本高、易引入模型错误等缺点。同时，模型检测还面临一个状态爆炸问题。因此，本文的主要研究工作着眼于利用程序切片技术减少状态，以及Ada程序的模型提取技术，实现使用模型检测工具SPIN自动检测Ada程序。针对模型提取技术，本文设计了一套对Ada程序提取PROMELA模型的方法，较好地处理了大部分Ada语言特性，比如创建类型和子类型、并发任务机制等。同时，实现了一个自动化模型提取工具AdaToSpin，分为词法分析、语法分析的分析模块和Ada到PROMELA的转换模块。针对状态爆炸问题，本文提出了一种基于LTL性质的Ada并发程序切片方法。分为三步：首先，分析程序中语句间的各种依赖关系，构造Ada程序的并发程序依赖图；其次，根据系统待验证的性质LTL公式，提取切片准则；最后，根据得到的依赖关系和切片准则，利用程序切片算法计算切片。同时，实现了一个Ada并发程序切片系统AdaProgramSlice。将程序切片技术应用于模型检测，有效的缩小状态空间。最后，根据本文的研究成果，结合实例验证了基于程序切片的Ada程序模型检测技术在自动提取模型和解决状态爆炸问题方面是有效的。

关键词： Ada 模型检测 SPIN 模型提取状态爆炸自动化程序切片

来源：评论

学校读者我要写书评

暂无评论

遥感、遥测、遥控

引用

中国无线电电子学文摘 2011年第3期27卷 156-160页

来源：评论

学校读者我要写书评

暂无评论

SMR-CU:基于结构化标记文法规则的代码理解技术

SMR-CU:基于结构化标记文法规则的代码理解技术

引用

全国计算机新科技与计算机继续教育学术会议

作者：徐丽萍梁先忠国家科委管理学院计算机系(武汉)

本文提出了的结构化标记文法规则和语言无关的模型表示,是逆向工程中代码理解和模型提取的关键技术,这种模型表示不仅服务于代码理解,还可以作为高级模型提取、软件开发、系统修改和维护等诸多软件工具集成的基础.

关键词：代码理解模型提取逆向工程标记文法规则软件工程

来源：评论

学校读者我要写书评

暂无评论

挖掘“双胞胎”模型解决一类中考题

引用

数理化学习 2016年第10期 39-41页

作者：沈岳夫浙江省绍兴市柯桥区平水镇中学

几何问题的研究离不开对数学模型的抽象和提炼.数学模型好比是解决一个数学问题的方法和手段,数学模型掌握得越多,解决数学问题的方法和途径就越丰富.现对一道以三角板为背景,角平分线为依托,融旋转于一体的中考试题进行了深入的剖析,... 详细信息

几何问题的研究离不开对数学模型的抽象和提炼.数学模型好比是解决一个数学问题的方法和手段,数学模型掌握得越多,解决数学问题的方法和途径就越丰富.现对一道以三角板为背景,角平分线为依托,融旋转于一体的中考试题进行了深入的剖析,总结、挖掘出一对常用的＂双胞胎＂模型,并用此模型解决一类中考试题,真正让学生懂一题,晓一类,通一片.

关键词：解题教学思路突破模型提取

来源：评论

学校读者我要写书评

暂无评论

在数学试题探究中提炼模型获取通法——利用“轴对称”求折线段和最小值问题探微

引用

福建基础教育研究 2016年第5期 24-25页

作者：王斌龙岩市初级中学

利用＂轴对称＂求折线段和最小值问题,通过变式、引申、拓展等渠道,引导学生探究数学试题、提炼问题模型、获取通性通法,可以有效提升学生分析问题与解决问题的能力。

关键词：解题教学模型提取模型变式模型拓展题型概述

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：