结合阴影抑制的混合高斯模型改进算法

混合高斯模型背景法作为运动目标检测的一种经典方法,已经广泛应用于智能视频监控系统中。但是,传统的混合高斯模型背景法容易将阴影误检测为运动目标的一部分。因此,针对该方法在区分阴影和运动目标方面的不足,提出了一种将混合高斯模型背景法和HSV空间阴影抑制相结合的运动目标检测算法。这种改进算法首先将颜色空间转换到HSV空间,初步提取运动目标,然后再利用阴影的灰度值比背景中的灰度值小,而前景的灰度值比背景中灰度值大的特性,检测出运动目标中的阴影。实验结果表明,这种改进的算法明显提高了检测效果,有效抑制了阴影对运动目标检测的干扰,算法实时性也较好。     

基于Event-B和Rodin开展形式化软件工程教学

形式化软件工程是软件工程的重要组成部分。Event-B方法是一种软件形式化开发方法,Rodin是支持Event-B方法的开放工具集。基于Event-B方法和Rodin开展形式化软件工程教学,有益于学生正确理解精化等重要的软件工程概念,理解并掌握开发可信软件的方法,是软件工程教学的重要补充。     

一种面向空地一体化组网的体系架构

空间网络是空地一体化组网中地面网络延伸的重要组成部分。针对空间网络为移动星座的场景,传统的空地一体化组网模型将空间网络视为独立自治域,利用边界网关协议将空间网络与地面自治域互联起来,最大化同地面网络保持兼容。然而,传统组网模型存在边界网关面临频繁会话中断或大量路由更新等问题。通过重新审视空间网络的角色定位和边界划定问题,提出一种面向空地一体化组网的体系架构Slink。Slink的核心思想是空间网络为地面网络提供互联通道,利用星地网关隔离空地两网间的路由更新。实验仿真表明,Slink体系架构能够有效减小对空间路由器的路由存储空间需求,降低星地网络间的带宽消耗。     

基于PCA-Logistic模型的围岩稳定性分类研究

为了建立易于理解和应用的围岩稳定性分类模型,采用主成分分析法对围岩样本数据进行降维处理,以Logistic模型来描述围岩稳定性影响因素与围岩稳定性之间的经验关系。选取影响围岩分类的5个主要因素,根据分类标准,采用在每级标准中随机内插的方法,得到100个标准样本,用于建立PCA-Logistic模型。分析结果显示,PCA-Logistic模型拟合效果良好,对工程实例的预测结果同投影寻踪模型和分形-插值模型完全一致,表明该模型在围岩稳定性评价中具有可行性和有效性。     

电动振动台试验能力的确认方法研究

研究电动振动台的特性,根据产品振动试验条件提出电动振动台能否满足试验条件的要求,找到电动振动台试验能力范围的确认方法。该文以DC-8000-80电动振动台为实例描述电动振动台能力范围的确认方法研究。     

短网址技术在浙江省气象短信业务中的应用

随着3G网络的发展及智能手机的普及,各类气象服务终端的推广和服务途径的拓展,公众获取气象信息途径日趋普及,对近年来发展起来的气象短信业务造成严重的冲击。本文旨在通过对3G网络发展的分析,研究利用短网址技术扩展气象短信服务内容,寻求缓解短信订制用户下滑的办法,并进行相应的尝试。     

服务器集群技术综述

文章叙述了服务器集群技术的概念,集群技术在电子商务、网络信息系统应用领域中的重要地位,集群技术的分类,几种不同集群技术的优缺点。     

自主-合作教学模式在C++程序设计教学改革中的应用

针对在C++程序设计课程教学中存在的问题,结合对自主-合作教学模式的研究,提出以自主学习教学模式贯穿教学始终;案例驱动的精讲与泛读相结合;手写程序与机器调试相结合;自主学习与合作学习相结合的教学新思路。并阐述了上述方法在教学改革实践中的具体应用及效果。     

基于系统辨识的自适应控制技术的应用

介绍基于系统辨识的自适应控制系统模型在莱钢2#精炼炉合金下料系统中的应用,通过不断地调整控制过程中的参数值,使控制系统的瞬态响应过程达到最优,消除了生产过程中人为因素的影响,提高了生产的均一性和稳定性.