移动通信系统形式化描述方法研究

发布时间：2023-04-18 18:31

　　当前,各国越来越重视空天地网络信息系统(GASNIS)的建设。GASNIS是以空中平台,包括空间站、高中低轨道的卫星、平流层的气球、有人或无人驾驶的飞行器;以及地面平台、包括地面站点或地面移动终端;水域平台,包括海洋观测船舶或有其他特殊任务的船舶为载体所组成。GASNIS是实时获取,传输和处理相关信息为主要任务的网络信息系统。其发展涉及到国家的政治,经济,军事以及民生等各个重要领域。GASNIS是一个复杂的典型移动通信系统。其本身的拓扑结构不断变化,同时用户提交的任务需求复杂多样,这样导致大量用户进程在一个拓扑结构变化着的系统中海量并发移动,加之其传输速率还会受到空间或地表物理环境的影响,都增加了系统的复杂性。为了充分利用系统资源,提高系统服务质量,我们需要对GASNIS中的任务进行合理的调度。任务调度所关注的问题主要集中在系统中各任务的执行顺序以及系统资源有限的前提下,实现任务与资源高效耦合所需的对任务和资源进行的定性与定量分析。任务的执行顺序的实质就是按照任务的权重对任务进行排序,而对任务和资源进行定性定量的分析,实际上是基于调度对象和调度环境被清晰界定和描述的基础上,对任务的资源...

【文章页数】：158 页

【学位级别】：博士

【文章目录】：
摘要
ABSTRACT
第一章 绪论
    1.1 研究背景及意义
    1.2 排序算法研究的国内外现状
        1.2.1 串行排序
        1.2.2 并行排序
    1.3 形式化和演算简介
        1.3.1 形式化简介
        1.3.2 演算简介
    1.4 移动演算的国内外研究现状
        1.4.1 早期典型进程演算
        1.4.2 进程演算的发展
    1.5 面临的关键问题
    1.6 论文主要工作
    1.7 论文组织安排
第二章 π演算和seal演算基础
    2.0 引言
    2.1 π演算简介
        2.1.1 模拟与互模拟
        2.1.2 交互
        2.1.3 π 演算语法
        2.1.4 π演算的结构同余和反应
        2.1.5 π演算的操作语义
        2.1.6 多目π演算
        2.1.7 π演算中的移动性
    2.2 π演算应用举例
        2.2.1 数字表示和数字加减法
        2.2.2 两元素的比较
        2.2.3 实用停止等待协议的描述
    2.3 seal演算简介
        2.3.1 seal演算的语法及语义
    2.4 seal演算应用举例
        2.4.1 数字的表示和数字运算
        2.4.2 GASNIS拓扑结构的变化
    2.5 小结
第三章 并发排序算法及其形式化描述
    3.1 引言
    3.2 基于链表存储的良序集合中元素的排序
    3.3 基于索引存储元素的并发排序
        3.3.1 并发筛选排序算法思路
        3.3.2 基于seal演算的并发筛选排序算法
        3.3.3 并发筛选插入排序思路
        3.3.4 基于seal演算的并发筛选插入排序算法
    3.5 小结
第四章 量化seal演算
    4.1 引言
    4.2 对seal演算的量化描述扩展
        4.2.1 资源量化
        4.2.2 位置量化
        4.2.3 .复制和并发量化
        4.2.4 过程量化
    4.3 小结
第五章 基于量化 SEAL 演算的GASNIS 任务调度形式化描述
    5.1 引言
    5.2 GASNIS任务调度简介
        5.2.1 GASNIS任务调度的逻辑结构
        5.2.2 GASNIS任务调度流程:
    5.3 简单GASNIS的任务调度举例
    5.4 小结
第六章 总结与展望
    6.1 本文的贡献与创新
    6.2 研究展望
参考文献
附录1 :攻读博士学位期间发表的论文
附录2 :攻读博士学位期间申请的发明专利
致谢



本文编号：3792793