逻辑进程范型相关硕士博士期刊学术论文 - 搜论网

逻辑进程范型相关论文

一种支持并行离散事件仿真建模和并行模型检验的建模语言

并行离散事件仿真（Parallel Discrete Event Simulation，PDES）模型的正确性和可信度对PDES应用的发展起着决定性作用。然而，现有的并行......

期刊

并行离散事件仿真模型检验事件图逻辑进程范型 DVE建模语言模型转换

逻辑进程范型的形式语义、算法评估及其在空间随机仿真中的应用

当前,传统空间随机仿真方法已无法满足大规模、细粒度生化反应网络等研究的应用需求。首先,由于缺乏形式化表示方法,目前基于逻辑......

学位

逻辑进程范型并行离散事件仿真随机仿真算法计算系统生物学分布式仿真时间管理实验算法学

看过本文同时还关注