论物联网技术在现代农业中的应用

农业具有对象多样、地域广阔、偏僻分散、通信条件落后等特点;因此在多数情况下,农业数据信息的获取非常困难。随着电子技术与物联网技术的发展,把物联网关键技术应用搭建在一个农业物联网智能化监控系统具有广阔的应用前景。阐述了农业物联网的概念和关键技术,总结了物联网技术在现代农业的初期应用和农业物联网发展展望。     

一种提高状态空间搜索效率的执行方法

在面向对象程序设计中,软件测试的关键是设计程序运行状态及其使用方法。然而,状态图中的路径往往是部分重叠的。为此,研究一种改进的状态空间搜索的执行方法,该方法具有共享相同路径的特点。采用路径覆盖程序测试器模型测试提升执行方法的效率。实验结果显示,该执行方法可有效降低状态空间搜索的执行时间,提高搜索效率。     

分叉汇合对结构的测试场景自动生成方法

基于UML活动图的测试场景生成方法在处理分叉汇合对的多重嵌套结构时存在一定局限性。为此,提出一种新的测试场景自动生成方法,规范分叉汇合的命名规则,增加蚂蚁记忆体及系统信息体等数据结构,利用递归处理分叉汇合多重嵌套结构,通过上海轨道交通六号线测试项目中的具体实例,验证该方法的有效性。     

虚拟现实技术在建筑设计方面的实践应用

虚拟现实技术是一门综合性信息技术,它融合了数字图像处理、计算机图形学、多媒体技术、传感器技术等多个信息技术。虚拟现实技术将人、计算机间的信息交互通道由二维扩大到多维,并且显示的图像由平面变为立体。这种技术运用在建筑设计上,能更加直观地面对设计对象,并且形成交互式的交流。     

分布式系统中的投票协议

在分布式系统中,利用复制数据来改善分布式系统的可访问性和性能。在访问这些数据时,大部分算法要求与系统的所有节点通信。这样就保证了数据访问的一致性,但同时也导致了高昂的通信耗费。提出了一个可以显著减少系统通信耗费的投票协议,它将节点分配在一些相交的组中,在没有失败的情况下,节点需与本小组内的其它节点通信,以收集到额定票数。     

尾座强力套丝工具

在单件小批生产液压管接头时,为使螺纹与接头零件垂直,要求加工时车削一次成型。螺纹一般由车床尾座上装的套丝工具加工。由于有的管接头的细牙螺纹直径较大(如M22×1.5),切削时产生的扭矩和切削力较大,其值常大于以车床套筒中莫氏4号内锥定位套丝工具的外锥结合力,就发生转动。这样,易损坏机床尾座套筒的内锥面,影响加工质量。     

夜晚车辆异常事件分析

夜晚车道模型是车辆跟踪和车辆行为分析的基础,但是当高速公路或者城市道路光线较暗时,很难通过车道检测的方法来建立车道模型,夜晚车辆快速行驶或相邻帧车辆之间重叠度较低时无法实现准确跟踪。针对此类问题提出了一种基于学习的车道模型建立方法和基于多帧的最佳匹配跟踪方法。首先利用自动多阈值分割方法提取场景中光亮的目标;其次,利用车灯的相关特征移除非车灯光亮区域;接着,利用空间信息把车灯聚类成一个车辆目标,利用多帧的最佳匹配跟踪方法进行跟踪;最后利用车辆跟踪参数与车道模型的融合对夜晚车辆异常事件进行分析。实验结果表明,该算法能够准确地检测出夜晚车辆换道、逆向行驶、交通拥挤、停车等异常事件,并且有很强的鲁棒性。     

高速推包机构驱动系统动力学建模与分析

为分析自动化码垛系统中推包机构在高速化作业条件下存在的动力学问题,建立了推包单元电机驱动系统的动力学模型,推导获得其振动微分方程,并进行了振动响应分析.研究结果表明,弹性联轴器的使用使得偏心距引起的激振力以及电机工作时产生的激振力对推包机构驱动轴系振动的影响作用明显减弱,从而改善了振动系统的动态特性.研究分析证实弹性联轴器非线性刚度系数和非线性阻尼系数的增加对轴系振幅有较大的抑制作用,而且非线性阻尼系数有比非线性刚度系数更为突出的影响效果.     

基于余归纳的最小Kripke结构的求解

状态空间爆炸问题是模型检测的最大障碍.从余归纳（特别是余代数）的角度研究了这个问题.用余归纳的方法证明：（1） 对于任意给定的一类Kripke结构（记为K）,在互模拟等价意义下K中最小Kripke结构（记为K₀）的存在唯一性.K₀描述了K中所有Kripke结构的行为而且没有冗余的状态;（2） 对于任意的M∈K（M可能包含无穷多个状态）,在互模拟等价意义下的相对于（M且基于K₀）的最小Kripke结构（记为K_M）的存在唯一性.由此提出一种求解K_M的算法,并用Ocaml予以简单实现.其应用之一在于可以用状态空间更小的K_M代替M进行模型检测.该方法可自然地推广到基于其他类型函子的余代数结构.