集群式软件平台敏捷测试

在敏捷开发模式的环境下,对以集群存储业务为导向的集群平台的测试与其他产品的测试有很多不同的地方,需要采用有效的策略和方法。首先介绍了敏捷测试的理论和敏捷测试传统的增量模型,在此基础上结合集群平台敏捷开发中实际的问题提出了适合平台敏捷测试的增量模型和对集群平台用户故事测试时用到的仿真环境的搭建和有效的测试方法。     

基于可能性测度的计算树逻辑

首先,提出了可能的Kripke结构的定义,建立了可能的Kripke结构的可能性测度空间,并分析了可能的Kripke结构的一系列性质,即任一路径转移的可能性可由其初始状态的可能性分布与各转移的可能性取下确界而得到;依据可能的Kripke结构所定义的可能性测度具有其合理性等等。其次,给出了可能性计算树逻辑(PoCTL)的概念,讨论了两个PoCTL状态公式以及PoCTL与经典计算树逻辑(CTL)公式的等价性。最后,证明了PoCTL公式有与CTL*公式中"一致性"相对应的公式。     

一种新的CAI设计与开发平台SnPCAIP

为使CAI教学能够做到因材施教,提出并设计了一个即选即用型CAI开发平台SnPCAIP,在该平台的支持下,教师可以在常规的备课时间内迅速地设计出自己的课件。从设计的角度阐述了SnPCAIP的总体结构模型,重点讨论了系统结构的关键部件及关键技术。     

彩色数字仪表图像二值化技术研究

针对石英晶体振荡器的计量检定中对数字仪表高精度识别的要求,通过对各种灰度及彩色图像二值化技术及HVS颜色空间特性的研究,提出一种在HVS颜色空间下进行彩色图像二值化分割技术,讨论了HSV颜色空间中H、S、V三分量对彩色图像二值化的影响及意义,分析并给出了H、S、V三阂值的计算方法,在实际使用中取得了满意的效果。采用该技术并结合校验神经网络,实现了数字仪表面板数字的高精度识别,达到了石英晶体振荡器的计量检定误识率低于0．001的项目要求。     

基于自适应灰色模型的路面使用性能预测

在灰色理论建模的基础上,通过采用预测的最新数据替代最老数据这种方式,建立了自适应灰色模型,并将其应用于路面使用性能预测。能够克服缺少历史数据的不足,同时,与以往的预测模型相比,更加准确,更加符合路面使用性能的变化规律。通过MATLAB编程实现,使得预测更加简便易行。     

基于SIP B2BUA的媒体服务器的集成

媒体服务器的集成,不仅要提升服务性能,还需要解决不同媒体服务模块之间的通信问题.提出两种基于应用层负载调度的模式,SIP Server分发模式和服务代理模式,SIP Server分发模式通过SIP Server服务器作为信令转发器,负责多台媒体服务器的信令分发,提升了服务器的性能,服务代理模式通过在媒体服务器中添加代理模块,解决了两个服务模块之间的通信问题.     

基于蚁群算法的XML概率查询策略与算法优化

针对XML数据半结构化的特点及概率查询理论,结合蚁群算法,提出添加杂交算子和更新信息素的方法,该方法不仅能动态选择数据查询方向,而且能避免无效查询,扩大数据查询范围,提高收缩效率。模拟测试证明了该方法能优化XML查询。     

基于Processing的信息可视化研究

Processing是一个开源的可视化设计工具。它为从事可视化设计的广大科研工作者提供强大的技术支持。该文对Processing的API及核心库做了简单介绍,并通过具体应用描述了Processing进行可视化设计的全过程。     

一种数字电视机顶盒浏览器中间件的设计

当前数字电视系统一般需要根据机顶盒方案集成不同的数字电视中间件、专用数字电视浏览器以及各种数字电视应用业务,导致运营商的集成难度较大并且成本较高.本文设计并实现了一款面向多操作系统和硬件平台的数字电视机顶盒浏览器中间件,并以浏览器中间件为支撑开发各种上层数字电视应用.