A new DSmT combination rule in open frame of discernment and its application

A new combination rule based on Dezert-Smarandache theory (DSmT) is proposed to deal with the conflict evidence resulting from the non-exhaustivity of the discernment frame. A two-dimensional measure factor in Dempster-Shafer theory (DST) is extended to DSmT to judge the conflict degree between evidence. The original DSmT combination rule or new DSmT combination rule can be selected for fusion according to this degree. Finally, some examples in simultaneous fault diagnosis of motor rotor are given to illustrate the effectiveness of the proposed combination rule.     

VisualC＋＋在《微机原理与接口》课程中的应用

利用工程应用实践,对《微机原理与接口》课程进行改革。使用流行的VisualC＋＋编程工具编写及制作USB接口系统,并将其扩展成图像采集系统。通过对一个完整的计算机软件与硬件系统的设计制作,使学生掌握实际开发能力,实现与日后工作的无缝连接。     

Kaman协议的形式化验证

Kaman协议是移动Ad Hoc网络安全认证机制,然而,协议设计者未对该协议的安全性作严格的形式化分析。协议复合逻辑PCL是验证协议安全属性的形式化方法,PCL逻辑能够简化协议安全分析过程。本文在协议复合逻辑PCL中描述Kaman协议并分析Kaman协议的安全属性,证明Kaman协议能够实现其安全目标。     

NCS中实时数据库的多版本并发控制研究

实时数据库是网络控制系统(NCS)的重要组成部分,是整个控制系统中数据交换的平台。本文在原有的两段锁机制的基础上,提出一种适用于多版本的两段锁并发控制方法。简述数据多版本给现场控制带来的不利影响。分析在数据多版本的情况下,现场事务的可串行性,用多版本并发控制协议MV2PL解决多版本并发控制问题。用简化的多版本并发协议2V2PL说明它的正确性,并通过实例表明该协议是可行的。     

成都市第一城市污水污泥处理厂工程设计及体会

城市污水处理厂所产生污泥的处理处置问题备受广泛关注,结合成都市第一城市污水污泥处理厂一、二期工程工艺选择,介绍了该厂污泥的性质、污泥"半干化+焚烧"的工艺流程、主要设计参数和概况,同时简要地介绍了污泥处理厂的运行状况及工程设计体会.     

石油石化系统言息安全态势评估指标体系研究

文章阐述了石油石化系统信息安全态势评估指标体系的研究意义,提出了指标体系的研究思路,分析了指标体系的基本构成,说明了指标体系的总体框架,并对指标体系的数据获取和应用前景作了介绍。对于丰富和完善国家信息安全态势评估指标体系,是一个有意义的探索。     

PLE在课堂讨论式教学中的应用研究

讨论式教学法在国内外盛行,在教学法体系中占重要地位。Web2.0时代的学习提倡"参与和交互",这与讨论式教学法的思想不谋而合。PLE作为Web2.0时代的主力军,指导人们充分利用网络资源进行有效学习。该文研究PLE在课堂讨论式教学中的应用,结合学生特点总结出了教师在备课时应注意的两方面内容:构建环境和创设情境。PLE的加入使讨论式教学能够真正达到提高学生自主学习能力的目的,帮助学生认识自我的个人学习环境,体会终身学习的意义。     

基于多权重因子的PageRank算法改进

现有PageRank算法的多种改进研究,对新网页歧视、语言差异歧视、主题漂移、忽视用户浏览兴趣等问题仍然没有给出较好的解决方案。本文提出改进算法TWPR(PageRank based on Three Weights)。该算法将时间特性分析、语言链接结构分析和用户行为相结合,旨在提升更新较快、链接行为优良、用户感兴趣度高的中文网页PR值。实验证明,改进算法可有效提高网页检索的命中率,改善搜索质量。     

基于MYGCC的编程规则检查算法研究

MYGCC是一个编程规则检查工具,其目前的检查算法存在局限性,不能完整地展示违反编程规则的程序路径。本文提出并实现了一种改进的编程规则检查算法,可以弥补上述的局限性。实验表明改进算法是有效的,此改进有助于用户更准确地定位错误位置,方便对编程错误的修正。     

基于卡尔曼滤波改进的精子图像序列分割方法

图像分割是精子图像识别的一项关键技术,在精子运动能力分析中起着至关重要的作用。本文对采集的连续精子图像序列进行灰度化、去噪等预处理后,采用Otsu算法对首幅动物精子图像二值化,对后续图像采用Kalman Filter确定二值化阈值范围,改进Otsu算法求出每一幅图像的适当阈值并进行二值化,缩短算法时间并能保证分割精度。应用形态学消除精子尾部和部分精子之间的粘连现象,通过计算和比较目标面积、形状因子,去除小颗粒杂质以及形状及灰度和精子相似的杂质,为精子运动能力检测提供高质量的分割图像。