10.3969/j.issn.1000-7024.2006.09.020
远程诊断系统中两个关键问题的代数建模
基于网络的远程监测诊断系统是一个复杂的系统,其实施需要进行理性的建模分析.针对基于网络的远程监测诊断系统的实现和分析问题,利用了π演算以及δπ演算这一高度抽象的适于移动分布计算模式的代数建模工具,完成了基于网络的远程监测诊断系统的两个诊断特征问题:移动诊断和群组诊断的建模.建模结果表明δπ演算能很好地表达基于网络的远程监测诊断系统的这两个特征问题.
远程诊断、建模、π演算、δπ演算
27
TH17;TP301
华南理工大学校科研和教改项目E5305248
2006-06-06(万方平台首次上网日期,不代表论文的发表时间)
共4页
1571-1574