基于EVision的双目视觉系统的设计与实现

设计和开发了一个排爆机器人的双目立体视觉系统。该系统使用Matlab7.0和机器视觉软件EVision6.2的EasyMultiCam进行图像捕获并和EasyMath模式匹配库进行图像特征匹配,能实时捕获排爆机器人周围的图像信息、进行摄像机标定、图像预处理、立体图像匹配、求取可疑目标物的特征点的立体坐标，并把图中实时显示在控制台上，控制排爆机器人准确地抓取可疑目标物。该机器人视觉系统成功的抓取实验，表明了它在精度上能够满足排爆机器人的项目要求。     

高职计算机专业教学与学生综合素质提高

高职计算机专业的教学中,教师应该根据课程的不同性质,采用相应的教学模式,从各个方面培养并提高学生综合素质。该文分别从计算机理论和实践课的不同角度阐明了如何利用互动式教学、启发式教学、讨论式教学、过程化教学等教学模式提高学生思考能力、自学能力、实践能力与职业素养等综合素质。     

基于大数据分析的移动对象轨迹预测方法

对移动对象的轨迹预测将在移动目标跟踪识别中具有较好的应用价值。移动对象轨迹预测的基础是移动目标运动参量的采集和估计,移动目标的运动参量信息特征规模较大,传统的单分量时间序列分析方法难以实现准确的参量估计和轨迹预测。提出一种基于大数据多传感信息融合跟踪的移动对象轨迹预测算法。首先进行移动目标对象进行轨迹跟踪的控制对象描述和约束参量分析,对轨迹预测的大规模运动参量信息进行信息融合和自正整定性控制,通过大数据分析方法实现对移动对象运动参量的准确估计和检测,由此指导移动对象轨迹的准确预测,提高预测精度。仿真结果表明,采用该算法进行移动对象的运动参量估计和轨迹预测的精度较高,自适应性能较强,稳健性较好,相关的指标性能优于传统方法。     

Factor oriented requirement coverage based system test case prioritization of new and regression test cases

Test case prioritization involves scheduling test cases in an order that increases the effectiveness in achieving some performance goals. One of the most important performance goals is the rate of fault detection. Test cases should run in an order that increases the possibility of fault detection and also that detects the most severe faults at the earliest in its testing life cycle. In this paper, we propose to put forth a model for system level test case prioritization (TCP) from software requirement specification to improve user satisfaction with quality software that can also be cost effective and to improve the rate of severe fault detection. The proposed model prioritizes the system test cases based on the six factors: customer priority, changes in requirement, implementation complexity, completeness, traceability and fault impact. The proposed prioritization technique is validated with two different validation techniques and is experimented in three phases with student projects and two sets of industrial projects and the results show convincingly that the proposed prioritization technique improves the rate of severe fault detection.     

带时间约束的LTL性质的模型检测的实现

针对当前的模型检测工具不能对时间自动机直接检测带时间约束的线性时序逻辑性质的问题,对带时间约束的线性时序逻辑性质的模型检测进行了研究。带时间约束的线性时序逻辑公式转Büchi自动机后,性质自动机的迁移边上含有了时间约束,在对性质自动机和模型自动机的复合进行空性检测时,通过使用不同方法对如何获取性质自动机迁移边上的时间约束进行了研究,实现了对带时间约束的线性时序逻辑性质的检测,扩展了工具CATV的检测范围,方便了用户的使用。     

基于Flash8.0的动画游戏制作——试试运气

利用Flash 8.0的脚本语句来制作了一个小游戏。制作过程重点运用了影片剪辑的制作、按钮的制作、随机数的使用、输入文本及引导层的使用等技巧。     

基于遗传最大类间方差值选择的研究

目前对图像的阈值选取进行了改进,其中最大类间方差算法是使用最多的方法之一。该文在对该方法进行分析的基础上,采用改进的大津法,结合遗传算法的优点进行全局寻优,提出了一种改进的最大类间方差值的选取算法,能自动进行最大类间方差阈值的更优选取。实验表明,该方法对图像双峰问题有较好的效果,有效地解决了背景色和目标色的交叉现象。     

图像平滑算法的研究与改进

图像平滑作为去除图像中含有噪声的图像增强处理技术,是各种与图像有关软件中必不可少的功能模块。文中在分析噪声模型的基础上,对均值平滑、中值平滑、边缘保持平滑等技术从图像处理空间域中的算法原理、实现方法及效率等方面进行了详细比较。针对图像中含有的不同噪声模型,通过多次试验,得出了值得从事图像处理研究者参考的结论。这将有助于提高图像处理软件开发的效率。     

存储过程在考试系统中的应用

介绍了SQLServer存储过程及其优点,简单分析了考试系统需求,给出了核心的数据库结构,结合系统需求,使用存储过程完成考试系统中核心功能的算法实现。     

安全的乐观实时并发控制策略

首先在分析嵌入式实时数据库安全要求的基础上，给出了一个三层安全控制模型。然后提出一种安全乐观并发控制策略。该策略采取向前验证策略检查是否发生冲突，当事务执行到验证阶段，当可能出现违背安全要求时，则分别计算提交或天折被验证事务所引起违背安全及实时要求的严重程度，以决定是否提交或天折被验证事务。该策略具有较大的灵活性，用户可根据系统的安全要求和实时特征动态调整产生隐通道严重程度及超截止期严重程度的权值以适应不同要求。