基于Linux内核的进程检查点系统设计与实现

作为一种流行的软件容错机制,检查点与恢复技术的实现模式有两种:用户级和系统级.首先阐述了两者的区别,然后根据Linux可加栽内核模块机制提出了一种基于Linux内核的进程检查点与恢复实现方法.利用Linux内核线程实现了检查点与恢复内核模块,并基于此内核模块在用户层构造了一检查点函数库,为用户提供了相应接口.用户通过组合使用这些接口可以高效地实现具体检查点与恢复算法.     

蓝牙自组网形成算法及路由发现

蓝牙最初延生是为个域网提供支持.为了应用灵活,蓝牙规范并没有规定散射网的结构,而是让用户选择自己的形成算法并在其基础上定义对应的路由协议.该文提出了一个分布式散射网形成算法.首先发现邻居节点,根据收集到邻居信息生成匹克网.该步结束时整个区域内蓝牙节点形成一系列互不相连的初始匹克网;然后选择桥节点,互连初始匹克网形成一个连通散射网并严格保证任意两个毗邻匹克网在互连过程中建立唯一的连接.通过一个角色转换,图桥节点角色得以确定.可以运行简单的动态源路由协议类似算法实现散射网的路由查找.仿真试验结果表明,散射网具有较好特性.     

基于层次实时有色Petri网的实时系统建模与分析方法研究

Petri网是一种基于图形进行模拟和分析的数学工具,能够描述系统的异步和并发行为,但是现有高级Petri网不能对嵌入式实时系统进行完整的模拟与实时性分析。该文首先通过扩展有色Petri网提出了层次实时有色Petri网模型,然后描述了嵌入式实时系统的建模和实时性分析方法。最后,将该文提出的方法应用于硬实时系统列车通信网络MVB总线控制器的建模和实时性分析过程,仿真和分析结果表明,该方法能够满足列车通信网络系统设计对MVB总线控制器的功能验证和实时性分析需求。     

基于小基高比的快速立体匹配方法

为了提高立体匹配效率和获得高精度的亚像素级视差,该文提出一种快速的小基高比立体匹配方法。该方法首先利用积分图像加速自适应窗口和规范互相关度量的计算,然后根据可靠性约束进一步拒绝错误匹配,再采用基于迭代二倍重采样的亚像素级匹配方法为可信点计算亚像素级视差,最后利用基于图分割的视差平面拟合方法获得稠密的亚像素级视差图。实验结果表明该方法不但可获得高精度的亚像素级视差而且还提高了算法的匹配效率,满足了小基高比立体重建的需求。     

像素扩展自适应窗口立体匹配算法

针对局部立体匹配方法中的视差图前景膨胀问题,依据格式塔视觉理论,采用基于像素扩展的自适应窗口立体匹配方法减少视差图中前景膨胀现象的产生。该方法首先通过扩展约束条件建立待匹配像素点窗口模型;然后通过待匹配点对的窗口相对重合率进行预匹配判定,在视差搜索范围内逐点筛选出满足匹配条件的窗口区域;最后利用窗口规则化的互相关系数方法以及平滑视差平面分割获得最终视差值。实验结果表明:该算法可以获得较准确的稠密视差图,提高立体像对中深度不连续区域和遮挡区域的匹配精度,在Bicycle2、Classroom2、Hoops和Staircase图像中平均误匹配率为14.9%。     

一种间歇性连接移动网络自适应路由协议

为提高间歇性连接移动网络的消息发送效率,提出一种基于移动自组网OLSR协议的自适应路由协议ARPBO。ARPBO在网络连通时通过OLSR协议快速转发消息;在网络中断时对OLSR协议进行扩展,从消息发送节点的局部连通网络中有效选择下一跳节点,然后通过延迟容忍网络的"存储-携带-转发"机制转发消息。实验结果表明,该路由协议能够在网络存在间歇性连接时获得较高的传递成功率和较低的传递时延。     

非参数变换和改进动态规划的立体匹配算法

针对传统稠密立体匹配方法在非纹理区、深度不连续处和遮挡处存在错误匹配率过高的问题,提出一种基于非参数变换和改进动态规划相结合的立体匹配算法.采用稀疏非参数变换相关方法计算初始局部匹配代价,并利用行列双向约束动态规划算法对匹配代价进行全局优化,在获取初始视差后分别对原始图像每一像素点进行可信性与纹理性检测,最后利用视差平面拟合结果代替非纹理与非可信区域像素点的原始视差,得到稠密视差图.实验表明,该算法具有较高的鲁棒性与匹配精度,尤其在处理图像的非纹理区、深度不连续处和遮挡处,可获得精确的匹配结果.     

移动计算系统检查点迁移策略的性能评价

为了有效评估移动计算系统检查点迁移处理策略的性能,基于移动计算系统自身所具有的特性,给出了移动计算系统中的进程状态模型,并在此基础上提出了一种移动计算系统检查点迁移处理策略性能评价模型.利用该性能评价模型对当前的3种日志检查点迁移策略进行了仿真实验,结果显示该模型与实际情况相吻合,从而验证了此性能评价模型的有效性.该检查点迁移处理策略性能评价模型可用于确定不同移动计算环境下相对适用的检查点迁移处理策略.