基于线性逼近的车道线弯道识别方法

为提高车道线识别算法在大曲率弯道下的识别性能,提出一种基于线性逼近的弯道识别方法.基于车道线先验知识,利用改进的局部逆透视变换和Hough变换对车道线进行初步提取.根据初步提取结果,对未知区域进行循环线性逼近并提取车道线边界点.通过最小二乘法利用B-样条曲线完成车道线拟合.实验证明,该算法对大曲率弯道的车道线识别具有较高的精确性.      

一种C代码软件设计信息提取方法研究

白盒测试依赖于被测程序的内部逻辑结构,人工分析程序结构的方法存在分析效率低、成本高的不足,同时,对从事分析的人员素质也提出了较高的要求.针对该问题,基于C程序提出了一种软件设计信息提取方法.该方法利用开源语言识别工具ANTLR,构造C程序文法,并自动生成中间代码,从而将源程序的基本信息从抽象语法树(AST)中提取出来,存储到数据模型中,实现对源代码进行的自动分析.实例验证表明:提出的方法提取C程序头文件和源文件的静态信息后,可计算分析得到数据流,控制流,函数调用关系等软件设计信息.证明了该方法的有效性.     

AutoCAD用于线切割机编程的接口软件

本文介绍从AutoCAD的DXF图形交换文件中提取信息,并自动转换成数控线切割机加工程序(ISO代码或3B代码)的方法和接口软件.采用该接口软件使AutoCAD成为线切割机的编程器,极大地方便线切割机的加工编制.     

小波变换在面波插值中的应用

利用瑞雷面波的频散信息可有效反演浅层横波速度结构.但在大时空采样地震记录中,由于瑞雷面波的速度很低,其记录中的高频成分容易出现严重假频,甚至出现超周期现象,这会降低其频率速度谱的信噪比,影响频散曲线的提取精度,在高频段更加如此.基于小波变换原理,实现对瑞雷面波的时空插值;根据瑞雷面波同相轴线性的特点,将线性动校正引入到插值中,改善高频信息的插值效果;进行理论模型数据和实际记录的试算与频率速度谱的提取以及插值前后频率速度谱的对比分析.研究结果表明:基于小波变换原理的插值方法是正确的;该方法可以有效提高频率速度谱的信噪比和频散曲线的提取精度,为大时空采样地震记录瑞雷面波频散曲线的提取提供理论基础.     

一种基于白帽变换的细小水体信息提取方法

提出一种基于形态学白帽变换的线性特征增强处理技术,从而有效提取遥感影像中的细小水体信息.通过白帽变换对改进的归一化差异水体指数(MNDWI)影像进行线性特征增强处理,获取形态学细小水体指数(MNWI)特征影像,并采用经验阈值和自动阈值相结合的方式实现水体样本信息双阈值分割提取,解决细小水体与线状道路容易混淆的问题.利用多幅Landsat影像测试本文方法,结果表明,本文方法能较好地提取细小水体信息,较好地保持细小河道形态的连续性,细小水体提取精度达到80%以上.     

基于动态聚类算法的显微刻度线自动提取

设计一种基于机器视觉的显微刻度线自动提取系统,提出了一种实时、自适应能力强的刻度线全自动提取方法.根据Hough变换对刻度图像进行刻度边缘直线提取;基于动态聚类的方法对所提取的刻度边缘直线进行有效归类,给出了自动选取归类阈值的方法,借助归类信息进行非刻度线直线剔除操作;对优选后的直线使用最小二乘法对刻度线中线进行精确拟合.实验结果表明,使用该方法提取刻度线的精度高、抗干扰能力强.     

典型喀斯特山地城市不透水面时空格局

以贵阳市主城区为研究区,利用基于植被覆盖度提取法和线性光谱混合分析法分别提取研究区不透水面信息;通过精度对比,选用最优方法提取研究区1996、2007、2017年的不透水面信息,并结合标准差椭圆法和相关扩展指标探讨不透水面的时空演变.结果表明:在喀斯特地区利用线性光谱混合分析法提取不透水面信息效果较好;1996—201...     

应用线性矩阵不等式解决控制问题

介绍了有关控制系统线性矩阵不等式（LMI）的一些基本概念。介绍了用于求解线性矩阵不等式的3个常用求解器,通过实例给出了如何运用MATLAB线性矩阵不等式（LMI）求解器求解锥补线性化问题,并给出了锥补线性化问题的算法和求解程序。     

露天矿点云数据中台阶线提取

台阶线信息对于露天开采具有重要价值，现有获取台阶线的方法工作量大、效率低、精度差，降低了矿山的生产效率和验收精度.因此，本文基于序列无人机影像生成的露天矿密集点云数据，研究并提出了一种自动提取露天矿台阶线的方法.该方法利用渐进形态学滤波算法对点云进行预处理，提出一种顾及邻域几何属性的三维边缘检测与曲率指数加权方法提取出台阶线特征点，并使用移动最小二乘法精确拟合出台阶线.实验结果表明该算法可以自动、高效、精确地提取出露天矿台阶线，生成露天开采现状图，对于露天矿生产和安全具有重要的应用价值.     

变极性等离子弧穿孔立焊双面图像处理与特征提取

摘要： 针对变极性等离子弧穿孔立焊的双面图像进行特征信号提取,提出了一种适应性强的图像处理算法来获取焊接参数.开发了基于组合部件模型匹配和边缘窗口线性扫描的组合算法,并通过筛选法则提取特征信号,实现对焊接双面特征的有效提取.结果表明,所提出的方法能获得可靠的正面熔池及背面小孔的几何特征信息,为视觉多信号融合提供基础.     

基于反凸规划的两层线性规划问题全局最优解算法

利用两层线性规划的全局最优解可在其约束域的极点上达到这一性质,通过对问题可行解集合的结构进行探讨,将两层线性规划转化为带有反凸约束的线性规划,建立了一个新的全局解算法,证明了算法能收敛到问题的全局解,并通过一个算例说明了算法的求解过程．     

一种基于层次模型的面向对象类型分析框架

建立了一种用于静态类型面向对象程序的类型分析框架,该框架集成了目前最为实用的４种类型分析方法,即唯一名分析、类层分析、快速类型分析以及指针别名分析。首先在这４种方法的基础上提出了类型分析的层次模型,然后以此模型为核心,结合程序预处理器和信息加工器等建立了一种类型分析框架,该框架适合分析静态类型的面向对象程序,如Ｃ＋＋／Ｊａｖａ程序等。     

Delphi中数据库的动态连接研究

现在的信息管理系统发展势头非常好，但是经常出现发布后的前台应用程序和后台的数据库连接设为静态，将系统移植到其他的计算机上就比较麻烦。于是我采用动态的方式来连接，即应用程序留出端口供用户设置，这样就比较方便了．主要介绍了用Delphi语言开发信息管理系统中应用程序和数据库的动态连接的理论基础和具体实现过程。     

线性双赢模式的解

以目标函数的梯度为导向,构造一个可以集中显示方程的增、减特性主要部份新的矩阵结构,并分析最大点的充分必要条件,从而得出最大点的解析式.解析式说明可以降低求解的复杂性.     

微机辅助电路稳态分析

本文根据线性电路各种模型的拓扑参数及元件数参,较全面地分析了直接生成增广节点方程的原理和方法。并运用稀疏矩阵技术,使相应的一般线性电路稳态分析的机辅分析,占有较少的计算机内存。因此,本程序适用于使用微型计算机,对包含各种元件的较大规模的线性电路进行稳态分析。     

基于控制流的多线程程序的静态切片算法

介绍一种基于控制流的多线程程序的静态切片算法, 该算法的主要思想是在构造多线程程序依赖图的同时保留程序的控制流信息, 利用这些信息能 够判断出程序中的多线程可实现路径, 从而提高多线程程序静态切片的精度和效率. 最后给出一个多线程切片的实例.     

程序条件化用于软件模型检测中的状态空间缩减

针对软件模型检测中的状态爆炸问题，提出将程序条件化技术用于软件状态空间缩减的方案．以程序性质的线性时序逻辑公式可能出现的蕴涵式的前件作为条件化的约束条件，通过分析程序符号化执行语义，借助自动定理证明器，对语句的可达性条件进行逻辑推理，删除那些与性质的可满足性无关的语句，以达到程序精简的目的．理论分析和实验结果表明，条件化可以有效缩减程序状态空间，而且缩减后的程序模型保留了原程序中与所需验证的性质有关的所有信息，满足软件模型检测对状态缩减的安全性要求．     

A new algorithm for building the GSA-form

Gated Single Assignment (GSA) form is used to transform an imperative program into a form suitable for dataflow interpretation. We describe a GSA-formed Control Flow Graph (CFG) that contains gating functions and the information of switches. We also present an algorithm to transform an imperative program into a GSA-formed CFG. Transformation of an imperative program into a GSA-formed CFG provides the basis for generating dataflow graphs(DFG). By using GSA-formed CFG, we can transform an imperative program into a DFG more simply comparing with previous methods, and show an expectation of use with demand- and control-driven model. As we create an intermediate form which has essential information for translation, it will be used to do transformations for various kinds of dataflow models.     

自由变量线性规划的对偶解法

针对自由变量的线性规划问题，提出不需增设人工变量，而直接采用单纯形法解其对偶规划，得原线性规划的解。此方法是对偶规划的一个应用，并且不会增加额外的计算量。     

网络图上的分段线性分式规划模型及有效算法

为了得到网络图上分段线性分式规划问题的有效算法，借助于线性规划问题的单纯形方法及网络图上修改支撑树的迭代方法，论证了一个基本可行解是否最优解的判别准则，并给出了网络图上分段线性分式规划问题的一个有效算法。为进一步解决网络图上非线性目标函数的优化问题提供了依据。