面向复杂UML的Markov建模方法研究

软件可靠性测试技术是保证软件质量的重要研究内容,尤其是对航空航天、金融机构等高信度复杂软件尤为重要。在现有研究的基础上,针对复杂软件UML模型场景消息粒度过大导致构建的Markov链使用模型描述软件的真实度不够的问题,提出了一种基于多层嵌套组合片段UML模型的Markov链使用模型的构建方法,最后结合实例对研究提出的模型构建方法做出应用分析,说明了算法的可行性,为更有效地构建Markov链使用模型提供了指导。     

基于Web的生物通路图可视化与编辑工具的设计

生物通路图是生物通路的一种可视化形式。当前许多生物通路数据库均提供生物通路图分析工具,但缺少一个在线可视化与编辑软件。针对这一不足,文中开发了一种基于HTML5的生物通路图可视化与编辑软件,介绍了开发本系统所用的关键技术及设计。该系统方便了生物研究者浏览,编辑生物通路信息,并帮助生物学家理解生物学过程,探索生物通路之间的关系。     

复杂分类问题支持向量机的简化

对于复杂分类问题,不可避免的会有错分情况,此时支持向量机的支持向量较多,影响了识别速度.为了解决这个问题,我们提出了基于最小错分间隔的分类思想,并在此基础上得出了一种新的简化支持向量机.与普通支持向量机相比,这种简化支持向量机有较少的支持向量、较高的识别速度,而且实验结果表明,它的识别精度完全可以与普通支持向量机的识别精度相媲美,甚至更优.     

多目标跟踪算法在水质监测中的应用

针对活鱼水质监测系统中的活鱼跟踪中存在的问题,提出了一种基于视频的多目标跟踪算法,通过采用一种基于统计模型的背景建模方法得到了实验鱼缸的初始背景,并在活鱼目标检测跟踪过程中实时更新背景,在此基础上采用背景相减法和自适应图像二值化实现了活鱼运动目标的提取,并用连通区域分析提取活鱼的大小、质心等特征值,最后将卡尔曼预测器应用于基于运动特征的跟踪技术中,实现了活鱼的轨迹跟踪,提取到了活鱼的运动轨迹,最终达到了为后续的水质预警提供了可靠的轨迹数据的目的,所跟踪得到的活鱼运动轨迹数据是监测系统水质预警的重要基础。研究结果表明,该算法符合系统的实时性和准确性要求,能实现活鱼运动轨迹的准确快速跟踪。     

基于支持向量机的人脸识别

由于支持向量机(SVM)有着适合处理小样本问题、高维数及泛化性能强等多方面的优势,并且基于核函数主元分析的方法对于非线性问题的特征提取来说较为合理,因此提出了一种基于核函数主元分析(KPCA)与支持向量机(SVM)的人脸识别方法。在使用KPCA方法对人脸图像进行特征提取后,用SVM对特征向量进行分类识别。利用剑桥ORL的人脸数据库进行的实验结果验证了本算法的有效性。