可组合的描述符泄露类型检查

应用程序通过操作系统的系统调用对文件描述符进行操作并管理文件资源。如果应用程序对资源描述符的管理出现错误并发生描述符泄漏,会严重影响系统的可用性。据此,提出了一种检查程序是否会导致描述符泄漏的类型系统,给出了描述符操作方法的语义和类型约束,证明了类型系统的可靠性定理。此外,还初步讨论了该类型系统在并发程序下的扩展。     

Zipf定律与网络信息计量学

作为文献计量学重要定律的Zipf定律已在许多领域得到较广泛的应用,网络信息计量学伴随着网络信息的激增而受到人们越来越大的关注。该文结合搜索结果数量的分布情况,提出了在网络信息计量学中仍然存在Zipf定律的猜想,并采用公开的词语集在几个代表性的搜索引擎中进行实验验证,证实了搜索结果数目近似服从Zipf定律的结论,其中Baidu与So搜索结果的Zipf指数为0.003。     

巧用Vlookup函数完成信息核对--在招生工作中学生信息核对的应用

Excel软件功能强大,操作简便,其提供的函数可用于处理和分析复杂的数据。介绍了Excel中查找函数Vlookup的语法格式及功能,并通过工作中的具体实例来阐述利用Vlookup函数解决核对数据匹配问题,提高了工作效率,节省了大量的人力。     

案例教学法在面向对象程序设计课程中的应用

面向对象程序设计的传统教育模式使得学生与企业真实需求之间存在巨大差异。案例教学法理论上能在一定程度上解决理论与实际衔接的问题,但其实施效果却取决于所采用的案例。结合我校的行业背景,从构思实际民航信息系统中涉及的工程问题出发,研究案例教学法在面向对象程序设计课程中的应用,并分析了其存在的问题。     

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

混合高斯模型背景法作为运动目标检测的一种经典方法,已经广泛应用于智能视频监控系统中。但是,传统的混合高斯模型背景法容易将阴影误检测为运动目标的一部分。因此,针对该方法在区分阴影和运动目标方面的不足,提出了一种将混合高斯模型背景法和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网络发展的分析,研究利用短网址技术扩展气象短信服务内容,寻求缓解短信订制用户下滑的办法,并进行相应的尝试。