基于机器视觉技术的体育网球错误技术动作识别研究

为了提升体育网球错误技暦动作识别能力,提出了基于机器视觉技暦的体育网球错误技暦动作识别方法.根据人体五大部分的划分结果,建立了人体的躯干、左臂、右臂、左腿、右腿在三维空间坐标内的肢体向量,依据人体五部分骨骼关节之间的距离,提取体育网球错误技暦动作特征,利用机器视觉技暦跟踪网球运动目标,获取网球运动员的活动区域,结合体育...     

机器视觉的背景颜色对水稻种子图像分割的影响

在机器视觉识别水稻种子的发展过程中,背景颜色对水稻种子的图像分割直接影响着识别分析的准确性.采用4种不同的背景颜色进行图像采集,即将黑色、蓝色、绿色和红色涂在种子上,分析其图像识别效果,研究背景颜色对水稻种子图像分割的影响.利用LabVIEW软件实现图像处理,对水稻种子的长度、宽度等简单参数进行测量,根据水稻种子的实际...     

基于机器视觉的钨矿初选系统设计

针对目前我国钨产业开发中存在的人力资源耗费大,产品纯度和生产效率低,矿产资源浪费等原因。见于目前机器视觉技术在行业检测中的广泛应用,提出将机器视觉技术应用到我国钨产业开发中来。本文从系统的设计,系统开发过程中用到的图像分割、定位、边缘检测等技术方面v做简单介绍。     

Cm命题演算的定理机器证明系统

C_m系统是制约逻辑的命题演算系统,但是其推导定理的过程可否由图灵(计算机)算法完成尚未得到明确的结论.研究证明了C_m的公式集是递归可枚举集,并且给出了一个递归枚举算法,该算法能够对任一给定的实际可证的C_m式在有限的步骤内判定它属于C_m可证公式集.并给出了C_m命题演算系统的一个定理机器证明系统.因此证明了C_m系统至少是半可判定的.     

关于Lyness方程的周期性证明的一种算法

考虑Ｌｙｎｅｓｓ方程的周期性,利用结式消去法,通过整序,在参数为负和复的情形得到了方程周期性结论,推广了文有关论著的结果。     

基于机器视觉的带钢表面缺陷检测系统

研究了一种基于机器视觉的带钢表面缺陷检测系统，它采用模块化硬件设计，图像处理软件满足实时检测的要求，可以有效地检测了生产线上的带钢表面缺陷。为该系统设计了一种基于规则表分类器、模糊算法及人工神经网络的组合式多级分类器，具有一定的学习能力，当待测材料或有关设备发生变化时，系统可以根据缺陷样本库对分类器进行训练，以适应生产线的相关变化。系统具有较强的容错性、适应性及可移植性。     

利用投影时序逻辑的多内核进程调度建模与验证

针对软件测试无法满足多内核处理器上进程调度的验证需要这一问题,提出利用投影时序逻辑(PTL)的定理证明方法来验证进程调度.使用PTL公式建立了支持当前主流进程调度算法的多内核处理器进程调度一般模型S,并将系统期望的性质描述为PTL公式P,在PTL公理系统的基础上,通过证明S蕴含P是否为一个定理来验证系统是否具备该性质.以2内核处理器上的多级反馈队列算法的正确性为案例进行检验,结果表明所提方法可验证多内核处理器进程调度的系统性质,保证多内核进程调度的可靠性.由于多内核处理器的进程调度具备了并发系统的主要特点,因此该方法也适用于一般的并发系统验证.     

Liebowitz公式的另一数学证明

本文从弹性应变能变化的观点,采用复变函数理论的方法,给出了H.Liebowifz公式的另一数学证明。同时,也得出了Griffith能量变化修正公式。     

具有非线性接触率的SIR传染病模型的研究

讨论了一类具有常数输入和非线性接触率的SIR传染病模型，给出了模型的阈值定理，分析了模型平衡点的稳定性，证明了疾病消除平衡点和地方病平衡点的全局渐近稳定性．     

基于压电陶瓷的锡膏三维检测投影光栅移相设计

锡膏三维检测仪控制光栅移相的压电陶瓷存在的非线性、迟滞和蠕变效应,使传统方法测定的控制电压误差较大．采用基于图像灰度匹配的方法对压电陶瓷的控制电压值进行测定校正,提高了移相控制的精度和速度,仿真实例验证了方法的有效性．