基于C#语言的程序合约动态抽取工具

文章中描述了C#语言实现程序合约动态抽取工具的整体设计过程,包括变量轨迹的提取和动态检测思想.针对二元关系和三元关系的检测原理和实现过程进行了详细的描述.实现了能够对指定源程序导出其变量运动轨迹并进行动态检测的功能.     

原位根系三维构型测量系统的设计与实现

为定量描述和分析三维根系构型,设计开发了植物根系三维构型测量分析系统,以实现原位根系的三维可视化,以及检测、分析其三维构型参数的功能。系统实现了对原位根系CT序列图像读写、分割、三维重建、三维矢量模型构建等关键算法,并在此基础上完成三维根系构型参数自动检测。通过对原型系统进行初步的测试与分析,初步实现了根系三维构型参数的自动化测量并获得了较好的测量结果。     

自动化配煤系统的探讨与实现

对如何实现配煤系统的自动化进行了探讨 ,分析了系统的软硬件结构、自动配方的技术原理 ,并对该系统主要功能的实现进行了详细的描述。系统应用后 ,配煤稳定性和精确度大为改善     

面向攻防演练的计算机网络防御描述语言研究

给出一种面向攻防演练的计算机网络防御系统的设计,此系统用计算机网络防御描述语言(CNDDL)描述.针对PDRR 模型,CNDDL 语言能够将攻防演练中的防御想定转化成保护、检测、响应和恢复等措施及防御逻辑,由解释器进行解释、执行,并部署在平台中.在 GTNetS 仿真平台中的试验表明,此系统能够实现 ACL 访问控制功能、对特定攻击进行检测的功能、系统是否对攻击做出响应及恢复的功能,从而为计算机网络攻防模拟演练提供防御支持.     

Prophet推测多线程系统设计与实现

推测多线程技术通过推测执行的方式开发应用程序的线程级并行性,以提高程序执行性能。该技术一般通过执行模型来检测运行时可能的线程推测错误情况,并采取合适的机制恢复程序正确运行。描述的Prophet是一种基于硬件实现的推测多线程执行模型。重点描述了Prophet执行模型针对执行模型设计的关键问题的解决方案,包括Prophet的线程状态控制和多版本的Cach。系统,Prophet的多版本Cache系统提供了推测数据缓存功能,并使用基于总线监听的Cache协议实现了数据依赖违规检测。还给出了使用Olden基准程序对Prophet执行模型进行功能和性能测试的结果,并分析说明了Prophet系统可以有效地开发应用程序的线程级并行性。     

WINDOWS环境下工业洗衣机测控系统研究

介绍WINDOWS环境下工业洗衣机试验测控系统的硬件组成及其功能。运用分时多任务原理,实现了实时检测与控制并探讨了VB6．0的实现方法。详细分析了多任务系统的任务划分及其系统数据结构描述。实践表明系统具有良好的实时性和稳定性。     

导弹发射战车动力总成计算机检测系统

主要介绍导弹发射车动力总成计算机检测系统的组成和功能,该系统对导弹发射车的动力总成有关性能指标进行自动检测,实现微机对交、直流电压、电流、温度、转速、频率、压力等电量、非电量参数的处理,并全面描述该系统的总体结构及软硬件设计。     

基于ARP协议的内网访问控制系统

针对已有内网访问控制的不足,本文提出了一个分布式架构的基于ARP协议解析的内网访问控制系统,并对各部件功能特性、系统工作流程和检测原理进行了详细的描述和讨论。本系统突出的优点是采用分级式管理,实现了跨网段的准入控制和数据的分散采集与处理,可以有效地避免单点失效。     

基于DSP的烟支在线检测及调整系统

针对高速卷接机组检测电路结构复杂,检测和调整相对滞后的问题,基于烟支质量检测的基本原理,设计开发了基于DSP的烟支质量检测及智能调整系统。本文讨论了该系统硬件和软件的设计思想及系统的组成结构,对该系统的各个模块的功能及实现方法进行了详尽的描述。通过对高速卷接机组工作过程进行在线检测,实现对烟支质量的控制及不合格烟支的剔除,做到实时智能处理,保证了烟支的质量。     

基于可编程逻辑控制器的微波通信系统设计

本文对可编程逻辑控制器(PLC)在微波通信系统中的应用进行了介绍,分析了数字微波通信的原理,并给出了利用PLC实现通信系统的方案设计。同时对该系统的硬件系统进行描述,给出了软件实现方法,并增加了通信校验和看门狗功能保证整个系统的可靠性。     

基于MATLAB的车牌定位算法的分析与仿真

车辆牌照识别是智能交通系统的重要部分。该论文针对车辆牌照识别问题中的车牌定位问题进行了分析,并对车牌图像的灰度处理,车牌图像的边缘检测,车牌图像的形态学处理等相结合的方法对车辆牌照进行仿真分析。实践证明,与其他的车牌区域定位方法相比,用该方法要相对快一些,而且成功率高一些。     

基于DSP的智能车辆防撞系统研究

本文讨论了一种基于TMS3 2 0VC5 416的智能车辆防撞系统 ,详细介绍了智能汽车防撞系统的设计思想 ,系统硬件组成方案及系统的软件流程 ,开发了一套用于高速公路上道路检测 ,障碍物检测、识别与跟踪 ,障碍物距离测算的DSP软件。通过实验 ,验证了DSP算法的正确性 ,以及整个系统设计方案的可行性。     

治安卡口系统中基于内容的图像数据库的应用

该文较为详细地描述了治安卡口系统的实现框架和关键技术,针对这一特定的应用领域,提出了真正基于图象内容的图象数据库CBIDB(Content-BasedImageDatabase)构建方法,将图象数据库与视频拍摄系统的结合应用到了智能化和信息化的新一代卡口系统。其实现思路可以推广到很多涉及图像识别的系统,同时也对基于内容的多媒体数据库系统有一定的参考价值。     

Experiments in laser-assisted visual sensing for AUV navigation

The Cranfield University torpedo-shaped underwater vehicle has been modified to accommodate a laser stripe illumination system. As well as providing enhanced viewing capabilities, this system derives real-time navigational data during the mission and gathers images to produce a post mission enhanced optical waterfall image of a surveyed area.

This paper describes a preliminary set of constrained motion trials at the IFREMER wave basin in Brest, where the system was towed through the 50 m test tank at different altitudes and orientations whilst the true trajectory was measured. A comparison is made between ground truth trajectory generated from these external measurements and that derived from the video camera and rotation sensors internal to the vehicle.     

AGVS图象识别多分支路径的研究

基于图象视觉导航的ＡＧＶＳ与传统的、在地下埋设电磁感应电缆引导的ＡＧＶＳ相比,前者能更好地适应现代柔性生产的要求,该文研究了图象识别白线路标的边缘检测算法,并采用了最大方差法来设定路标图象的灰度阈值,可得到较准确的图象边缘,针对所研究的ＡＧＶＳ特点,提出了机器视觉的图象变形正算法,以获得正确的路标图象信息,在此基础上,用改进的数字图象模板匹配法识别数字,再用数字标会区分柔性生产线中的分支路径,来引     

Vehicle model recognition from frontal view image measurements

This paper deals with a novel vehicle manufacturer and model recognition scheme, which is enhanced by color recognition for more robust results. A probabilistic neural network is assessed as a classifier and it is demonstrated that relatively simple image processing measurements can be used to obtain high performance vehicle authentication. The proposed system is assisted by a previously developed license plate recognition, a symmetry axis detector and an image phase congruency calculation modules. The reported results indicate a high recognition rate and a fast processing time, making the system suitable for real-time applications.     

改进的基于边缘检测技术的车流量统计系统

车流量检测技术是智能交通系统系列技术中的关键基础，基于图像处理技术的车流量检测技术的研究已成为该领域的研究热点。该文提出了一种基于HSV颜色模式和边缘检测技术的车辆检测算法进行车流量统计。在该算法的基础之上，开发实现了一套车流量统计系统。实验证明，该算法能够有效地排除阴影和天气变化带来的影响，大大提高了系统的精度，是切实有效的。     

基于TMS320VC5402的图像采集与处理系统

介绍了基于定点DSP图像采集与处理系统的设计与实现。系统采用SAA7111、TMS320VC5402以及IDT72V235等芯片构成,具有接口简单灵活,处理速度快等优点,可在车型车牌识别,交通量检测,机器人视觉,指纹识别等领域得到很好的应用。     

基于D-S证据理论的车辆视频检测的研究

车辆视频检测系统作为智能交通系统的重要组成部分,为交通控制与交通规划提供必要的数据来源.考虑到外界环境的影响以及数据传输过程中的干扰,对所拍摄的单一图像的分析难以获得准确信息.因此,在简要介绍D-S证据理论的基础上,在对由摄像机拍摄的交通现场画面做了图像处理后,提取出车辆特征,并最终运用D-S证据理论来进行数据融合,从而来提高交通视频检测系统中车辆类型的识别率.实验证明采用此方法将使得车辆识别率大为提高.     

智能车牌识别系统中图像定位算法

在智能年牌识别系统中，从获取的汽车图像中定位车牌图像是一个关键的步骤，该文在研究了经典的图像分割和定位算法后，提出了一种新的割取车牌的算法即跳跃模板定位算法，此算法具有定位准、实时性强和鲁棒性好等特点。