基于差分图象的多运动目标的检测与跟踪

运动目标的检测与跟踪在许多领域有广泛的应用,它是应用视觉研究的焦点之一。     

彩色汽车图象牌照定位新方法

汽车牌定位是一个公认的较难解决的图象侵害问题。目前已经实现的分割主要局限于灰度图象,且定位效果仍易受阴影和光照等条件的影响。为解决彩色图象牌照定位问题,提出了彩色图象边缘检测算子ColoPrewitt和彩色边缘检测与区域生长相结合的牌照定位算法ColorLP,其充分利用了颜色信息和牌照特点。ColoPrewitt算法简单,全面作用在颜色空间的3个分量上,在彩色牌照定位的边缘检测中具有传统算子无法比拟的优势,实验表明,检测出的牌照区域完整,且与背景易于进一步剥离,由此可见,ColorLP定位牌照区域准确率高,适用于任意背景、位置和光照下的牌照定位,且通过性较好。     

两种图象变形技术的实现

阐述了图象变形的数字方法，在此基础上详述并实现了基于碎片的二次网状变形技术及基本点的采用径向函数的图象变形技术，并给出了实验结果。最后简单地讲述了基于轮廓的图象变形技术。     

图象分割评价技术分类和比较

本文对图象分割评价，特别是评价方法和评价准则的进展，作了一个综述，现已提出的多数分割评价方法可分为直接法和间接法，直接法研究分割算法本身，面间接法根据分割图象来评价算法的性能。直接法和间接法都需要借助一定的评价准则来进行。本文对已提出的各种准则进行了分类与分析比较，并对常用的评价准则进行了实验比较，通过分析其性能表现排出了它们的优劣次序。本研究为在实际中正确地应用不同的评价方法提出了依据并指出了若干进一步研究的方向。     

一种用于图像检测的产品指标模型

为满足乳化肠类肉食产品加工行业对在线图像识别及检测处理技术的迫切需要，通过对多品种火腿肠产品的大量采集和检测，研究了该项技术在火腿肠产品在线检测中的应用问题，提出了火腿肠产品感官检测的两种指标数学模型，即线性度指标模型和直径均匀度(肠衣包扎无破损)指标模型。并详细介绍了这两种指标模型的建立方法和过程。检测实验结果证明了该两项指标模型是合理的，图像感官指标检测准确率达95％。     

基于视觉非线性的图象分割新方法

本文分析了在感知目标与其背景时Otsu判别准则与人类视觉机理间的不一致性,并根据视觉的非线性和适应性原理提出了新的目标图象分割计算模型和算法.实验结果表明,与传统的分割法相比,该方法具有优良的从低反差图象中抽取目标的性能.     

图象光流场计算技术研究进展

时变图象光流场计算技术是计算机视觉中的重要研究内容，也是当今研究的热点问题。为了使人们对该技术有一个较全面的了解，因而对时变图象光流场计算技术的研究和进展做了较系统的论述，首先分别列举了灰度时变图象和彩色时变图象的光流场计算方法，并对这些方法进行了分类，然后总结了出目前图象光流场计算中存在的几个问题，最后对光流场计算技术的研究发展及其应用前景指出了一些可能的方向。     

基于智能技术的配电柜接线快速检测方法

配电柜是电气系统中不可或缺的设备之一；在配电柜制作过程中，线路接线的正确性检测是一个繁琐、耗时、易出错的工作，难以实现自动化；目前配电柜接线的检测工作主要由人工完成，由专业技术人员根据电路接线图查找器件、接线端子进行检测；为降低接线检测人员的工作强度，提高检测工作效率，设计并实现了一种智能接线检测辅助系统；提出了一种用虚实结合的分层面板接线布局图来引导检测人员快速定位检测点的方法，减少了检测点查找时间，提高了工作效率；针对系统中面板接线布局图绘制问题，设计并实现了一个人机交互绘制界面，并结合计算机视觉领域技术，提出一种基于YOLOX的电子器件检测方法，通过对配电柜上的常用电子器件进行识别和定位，实现了面板接线布局图的快速生成，提高了配线质量检测工作的效率。     

智能交通系统中的计算机视觉技术应用

随着经济的发展,如何保障交通的顺畅与安全已成为世界性的热点研究课题之一。文章对智能交通系统进行了分析,并着重讨论了计算机视觉技术在智能交通系统中的应用。提出了一种基于背景差的车辆检测算法,在灰度图像序列中对六条车道同时进行监测,以统计各车道的车流量,并按大中小三种车型对过往车辆进行车型识别。     

基于张量的图象边缘检测及滤波

边缘检测是数字图象处理中一种重要的处理手段，目前普遍采用的方法是基于直角坐标系下的Laplacian算子，取其零交叉位置来检测。而现实中，往往可见到许多曲面上的图象，比如柱面贴图，球面贴图，动态景物的数字化效果以及三维医学图象，结合深度信息采用基于微分几何曲线坐标系下的算子进行图象边缘检测及滤波是一种新的尝试，从结果可以看到，处理效果明显优于普通的方法。     

可能性测度下的LTL模型检测并行化研究

分布式模型检测是一种缓解状态空间爆炸的有效途径,已有文献提出了定性的分布式模型验证算法,然而定量LTL验证算法并行化问题还未得到有效解决。对此,展开两个方面的工作:提出一种新的动态系统状态空间划分方法;在定性LTL分布式验证算法的基础上给出了定量模型检测并行化验证算法。首先,将系统模型转化为可能的Kripke结构并选取一个并发分量,依据状态之间的关系完成系统状态的分割,使得关系紧密的状态尽可能分布在同一个计算节点上;其次,调整划分结果以使得计算负载平衡;然后,将划分结果与其他并发分量的状态进行叉乘,以完成系统状态空间的划分;最后,将待检测性质用自动机表示,在两者的乘积上,利用扩展的基于嵌套DFS的分布式验证算法完成系统的定量验证。     

中断驱动系统模型检验

针对一类中断驱动系统提出了一种建模和模型检验的方法.该系统通常由中断处理程序和操作系统调度的任务组成,前者由中断源触发后处理中断事件,后者则负责处理系统的日常任务以及某些中断处理事件的后续处理.因为这类系统是实时控制系统,对中断事件的处理需要在规定时间内响应并完成,否则可能造成严重的系统失效.为了帮助系统设计人员在系统设计过程中应用模型检验技术来提高系统的正确性,首先确定了此类系统中与时序性质相关的系统要素(包括系统调度任务、中断源、中断处理程序)和相关参数,并要求设计人员在设计阶段明确指出这些要素的参数.然后,提出了将这些要素和参数自动转化为形式化模型的方法:使用时间自动机对中断事件进行建模,使用中断向量表和CPU处理栈对中断处理过程进行建模.对于得到的形式化模型,给出了针对中断处理超时错误的检测方法,并在此基础上给出了针对共享资源的完整性、子程序原子性的检验方法.     

模型检测新技术研究

1 引言软件是否可信赖已成为一个国家的经济、国防等系统能否正常运转的关键因素之一,尤其在一些诸如核反应堆控制、航空航天以及铁路调度等安全悠关(safety-critical)领域更是如此。这类系统要求绝对安全可靠,不容半点疏漏,否则将导致灾难性后果。如1996年6月4日,欧洲航天局阿丽亚娜(Ariane)501火箭因为其控制软件的规范和设计错误而导致发射37秒后爆炸。类似的报道屡见不鲜,如何确保这些系统的可靠性成为计算机科学与控制论领域共同关注的一个焦点问题。     

铁路客票收入清算复核系统的设计与实现

从功能、网络和软件结构等方面介绍了系统的构成,描述了系统实现过程中所采用的技术.此系统通过对铁路客票原始数据的精确采集和综合处理,实现客票收入清算和复核智能化,为业务部门提供了准确可靠的数据,使收入部门实现了从传统的人工核对方式到计算机自动处理的跨越,减少了工作量和工作强度,提高了工作效率.     

Checking timed automata for linear duration properties

It is proved in this paper that checking a timed automaton M with respect to a linear duration property D can be done by investigating only the integral timed states of M,An equivalence relation is introduced in this paper to divide the infinite number of integral timed states into finite number of equivalence classes.Based on this,a method is proposed for checking whether M satisfies D.In some cases,the number of equivalence classes is too large for a computer to mainpulate,A technique for reducing the search-space for checking linear duration propoerty is also described.This technique is more suitable for the case in this paper than those in the literature because most of those techniques are designed for reachablility analysis.     

改进的程序时序安全属性模型检测技术

针对程序时序安全属性模型栓测技术改进模型检测算法,使安全漏洞状态机以函数为单位进行扩展,简化程序模型检测过程,以提高检测效率.存检测过程中加入别名分析,考虑安全操作之间的数据流依赖关系,以提高检测的准确性.实验结果表明,改进后的方法比原检测方法具有更高的效率和准确性.     

中断驱动控制系统的有界模型检验技术

针对一类中断驱动的航天控制系统,给出了有界模型检验的算法.这类系统由中断处理程序和操作系统调度的任务组成.当中断发生时,对应的中断处理程序响应中断事件,并可以修改控制变量值,以便在系统任务中完成后续工作.操作系统周期性地调度任务序列处理日常事务以及中断事件的后续工作.使用了带中断标记的时间自动机对中断事件和任务调度事件进行建模,并使用中断向量表和中断处理程序的伪代码模型共同描述中断的处理过程.控制变量将中断处理过程和系统任务相关联,中断处理程序可以设定某个控制变量,而系统任务则通过检查该控制变量来确定是否需要进行后续处理.对于这样的形式化模型,给出了检验关键时序性质的有界模型检验算法.该算法使用深度优先的方式遍历所有长度小于等于K的可行路径,并使用SMT Z3实现了对时间约束和规约的处理.     

基于图像模拟的蚀变矿物信息提取技术评价

针对不同混合背景下蚀变矿物信息提取技术的响应程度这一问题,基于图像模拟,采用比值法(RM)、主成分分析法(PCA)和光谱角匹配法(SAM)3种蚀变矿物信息提取技术针对两种蚀变矿物(羟基、铁染)在模拟野外地物混合背景的情形下进行提取实验,并进行响应程度的定量统计和对比分析。结果表明:无论是纵向(不同算法之间)还是横向(同种算法针对不同种矿物蚀变信息)的算法响应程度均存在差异性,通过寻找响应程度的大致相同区间,可以在彼此间建立联系的纽带。不同的响应程度对应的丰度值能够反映不同算法针对两种蚀变矿物信息所能提取出来的大致混合背景。实验结果对于在不同混合背景下的合理选取算法及算法提取效果的对比评价等方面都具有实际参考价值。