建立了PN机理论体系,在并发语义下分别从机器、文法和语言角度探讨了该模型的计算能力和相互关系,从而为并发系统提供了一个新的、强有力的可操作模型。同现有模型相比,PN机不仅具有真并发特征,表达的信息更为广泛,而且在各层语言族上都能提供一个物理结构和行为机制集成统一有限加标图模型。研究了PN机语言的性质及其识别算法,探讨了PN机的若干操作及其保持性问题,获得一系列的判据和分析算法。发挥PN机的行为优势,针对离散事件系统和机群网络环境的实际背景,提炼出系统动态不变性等重要概念,给出PN刻画,并获得有效的分析算法。研究了PNM并行程序的PN机模型,给出孤儿消息和缺发消息等现象的PN刻画及其判定算法,研制了并行程序验证的软件工具。
{{i.achievement_title}}
数据更新时间:2023-05-31
基于铁路客流分配的旅客列车开行方案调整方法
新型树启发式搜索算法的机器人路径规划
"多对多"模式下GEO卫星在轨加注任务规划
基于自适应干扰估测器的协作机器人关节速度波动抑制方法
基于颗粒阻尼的变频空调压缩机管路减振设计
PN机的行为相关性研究
复杂并发系统验证和评估分析的代数符号化理论与方法
高并发数据访问模式的基础理论与系统设计
多信道MANETs网络并发传输资源分配理论与方法研究