开题报告-交互进程行为等价性判定算法研究.docVIP

一、综述本课题的研究动态，说明选题的依据和意义 1、（process）Emerson 和Clarke 等人研究了模型检验技术中的对称约简，他们以标记变迁系统作为系统模型，Starke 研究了Petri 网的对称性，Hermanns和Ribaudo研究了进程代数中的某种对称性，主要处理的是并行运算的组件，Wu 等人研究了逻辑程序设计中的对称结构，主要目的是拓广逻辑程序的语义。王永祥等[8]讨论了两类等价:交织迹等价和交织互模拟等价。在线性时间与分支时间等价关系谱中，交织迹等价是最粗的等价，而除了树等价，交织互模拟等价是最细的行为等价，也是最著名的、最好的等价，因此我们选用这两类等价来研究对称约简的保持问题。就是说，我们将研究商进程结构与原进程是否存在交织迹等价和交织互模拟等价。 2、1、2、（1）（）（）（）3、（1）（2）1、2、3、4、5、验证例1 查阅、学习文献资料，结合已学过的课程，明确对应的理论、方法、步骤 1～2周 2 3～5周 3 6～7周 4 8～9周 5 10～11周 6 12～13周 7 14～15周 8 16～17周 18周 [1]黄建新,李群,余文广,王维平.基于线程的进程交互仿真框架研究[J].系统仿真报,2011,23(4):652-658[2]蒋新华,王中杰,吴启迪,余有灵.进程交互仿真机制的多线程实现及其应用[J].?计算机仿真,2004,21(11):228-231[3]冯惠军,冯允成.离散事件仿真模型的实现方法[J].石家庄铁道学院学报1995,22(03):48-55.[4]钟守义.进程交互仿真的图形表示方法[J].系统仿真学报1992,4(01):31-38.[5]刘勇,王德才,冯正超.离散事件仿真建模与仿真策略[J].西南师范大学学报2005,30(06):1018-1025. [6]马富银,吴伟蔚.交互仿真技术[J].机械设计与研究2010,20(06):75-77. [7]李群,黄建新,贾全,王维平,朱一凡.基于进程的Agent体系仿真模型框架[J].系统仿真学报,2011,23(11):2475-2481. [8]王永祥,吴尽昭,蒋建民.进程代数—对称与动作细化[M]..北京:科学出版社,2007. [9]余文广,王维平,柏永斌,李群.基于多进程的Agent行为描述及其仿真调度研究[J].系统仿真学报,2012,24(03):509-514+520. [10]黄建新.基于ABMS的体系效能仿真评估方法研究[D].国防科学技术大学博士论文,2011. [11]van Glabbeek R J,Goltz U.Refinement of actions and equivalence notions for concurrent systems[J].Acta Informatica,2001,37(4/5):229-327. [12]Jiang J,Wu J.The preservation of interleaving equivalences[C].Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems.IEEE Computer Society Press,2005,580-589. 六、指导教师审核意见 指导教师签字： 　　 年　　月　　日 七、专业系（教研室）评议意见 系（教研室）主任签字： 　　 年　　月　　日 八、学院领导审核意见 1、通过； 2完善后通过；　　　　　未通过 　　　　　　　　　　　 　　 年　　月　　日 5