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

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

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

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

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

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

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

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

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

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

日志检查点回卷恢复策略的检查点周期求解模型

基于Markov链进程状态模型和拉普拉斯变换,提出了一种日志检查点回卷恢复容错策略的最佳检查点周期求解模型,该模型充分考虑了日志检查点回卷恢复策略中进程回卷恢复与正常运行期间执行速度存在的差别,同时允许进程检查点和回卷恢复期间发生故障事件.通过求解进程状态Markov链转移概率和权重,得到完成检查点间隔的期望执行用时,...     

一种费用最小的非阻塞协同检查点算法

将协同检查点策略中采取的最小化同步信息以及检查点数量的策略与不阻塞进程的基本运行策略相结合,提出了一种只需最小数量的进程参与的非阻塞协同检查点算法。该算法利用计算检查点避免由于不阻塞进程的基本执行可能产生的孤儿消息。通过在广播确认消息中捎带哪些进程产生了新的检查点的信息,使每个进程的检查点序号在所有进程中是一致的。该算法在费用上优于已有的协同检查点算法。     

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

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