互模拟的含义_特征及主要应用.pdfVIP

重庆理工大学学报( 社会科学) 2010 年第 24卷第 2期 Journa l o f Chongqing U niversity of T echno logy( Soc ial Science) V o l24 N o. 2 20 10 互模拟的含义特征及主要应用 姚从军 ( , 300071) 给出互模拟精确且具有概括性定 ( B) , 给出并证明了互模拟的 5 个特征, 最后给出最大 互模拟~ 定 , 证明了~ 是一个等价关系, 进 一步证明了~ 是 R 中( B ) 的最大固定点概括了 互模拟在模态逻辑和并发系统中的非凡的应用价值, 并提出了某些尚待解决的问题互模拟具 有美好的发展前景和极大的发展空间 互模拟; 模态逻辑; 等价关系; 固定点; 并发系统 B81 A 1674 - 8425 ( 2010) 02 - 0030 - 04