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

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

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

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

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

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

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

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

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

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

基于遗传算法的异构系统多副本容错调度算法

针对异构系统中基于多副本机制的容错调度方法忽略调度makespan、任务间依赖与系统链路失效及严格调度方式调度makespan较长问题,首先提出通用调度方式下同时考虑节点和链路失效的可靠性计算方法;然后给出该通用调度问题的0-1整数规划模型;接着提出可靠性意识多副本任务通用调度(RAMD_TGS, reliability-aware multi-duplication task general scheduling)算法,通过遗传算法种群进化来搜索副本映射节点和开始执行时间。实验表明该算法不仅满足可靠性要求,而且与严格调度方式相比能进一步减小调度makespan,该算法资源占用开销也是可接受的。     

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

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

基于二维矢量地图属性特征的数字水印算法

针对空域和频域数字水印对矢量地图造成不同程度的精度损失以及抗压缩性能差的特点,提出了一种新的矢量地图数字水印算法.该算法利用矢量对象的属性特征构造水印信息,采用网格密度空间聚类方法选取特征结点,并通过对特征结点的二维坐标进行微调,将数字水印嵌入到地图属性文件中.实验和分析表明,该算法达到了矢量地图精度零损伤的目标,同时,提高了数字水印的鲁棒性和实用性.