基于状态演算的并发纲要规划的研究

《基于状态演算的并发纲要规划的研究》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、江苏大学硕士学位论文基于状态演算的并发纲要规划的研究姓名：李明月申请学位级别：硕士专业：计算机应用技术指导教师：刘一松20100607江苏大学硕士学位论文ＡＢＳＴＲＡＣＴＡＩＰｌａｎｎｉｎｇｉｓｔｈｅｃｏｒｅｔｅｃｈｎｏｌｏｇｙｏｆＡｒｔｉｆｉｃｉａｌＩｎｔｅｌｌｉｇｅｎｃｅａｎｄｏｎｅｏｆｔｈｅｍｏｓｔｃｈａｌｌｅｎｇｉｎｒｅｓｅａｒｃｈｄｏｍａｉｎ．ＡＩＰｌａｎｎｉｎｇｈａｄａｃｈｉｅｖｅｄｒａｐｉｄｄｅｖｅｌｏｐｍｅｎｔｏｖｅｒｔｈｅｐａｓｔｄｅｃａｄｅ，ａｎｄｉｔＷａｓｗｉｄｅｌｙｕｓｅｄｉｎａｅｒｏｓｐａ

2、ｃｅ，ｒｏｂｏｔｃｏｎｔｒｏｌ，ｌｏｇｉｓｔｉｃｓｓｃｈｅｄｕｌｉｎｇ，ｇａｍｅｃｈａｒａｃｔｅｒｄｅｓｉｇｎａｎｄｓｙｓｔｅｍｍｏｄｅｌｉｎｇ．ＳｔａｔｅＣａｌｃｕｌｕｓｉｓａｆｏｒｍａｌｉｚｅｄｓｙｓｔｅｍｆｏｒＲｅａｓｏｎｉｎｇａｂｏｕｔＡｃｔｉｏｎｓ．ＳｔａｔｅＣａｌｃｕｌｕｓｄｅｒｉｖｅｓｆｒｏｍｔｈｅｉｍｐｒｏｖｅｍｅｎｔｏｆＳｉｔｕａｔｉｏｎＣａｌｃｕｌｕｓａｎｄＦｌｕｅｎｔＣａｌｃｕｌｕｓｗｈｉｃｈｐｒｏｖｉｄｅｓａｎａｔｕｒａｌａｎｄｅｆｆｅｃｔｉｖｅｓｏｌｕｔｉｏｎｆｏｒＦｒａｍｅＰｒｏｂｌｅｍ

3、ａｎｄｅｆｆｅｃｔｉｖｅＰｒｏｇｒｅｓｓｉｏｎｒｅａｓｏｎｉｎｇｍｅｃｈａｎｉｓｍｆｏｒＲｅａｓｏｎｉｎｇａｂｏｕｔＡｃｔｉｏｎｓ，ａｎｄｈａｓａｍｕｃｈｂｒｏａｄｅｒｓｃｏｐｅｏｆａｐｐｌｉｃａｔｉｏｎ．ＴｈｅｓｔｕｄｙｏｆＣｏｎｃｕｒｒｅｎｔａｃｔｉｏｎａｎｄＰｌａｎｓａｓＰｒｏｇｒａｍｓａｒｅｂａｓｅｄｏｎＳｔａｔｅＣａｌｃｕｌｕｓ，ａｎｄｔｈｅｍａｉｎｗｏｒｋｓａｌｅａｓｆｏｌｌｏｗｓ：（１）ＴｈｅＣｏｎｃｕｒｒｅｎｔＰｌａｎｓａｓＰｒｏｇｒａｍｓｉｎＳｔａｔｅＣａｌｃｕｌｕｓｉｓｐｒｏｐｏｓｅｄ．Ｔｈｅｒ

4、ｅｌａｔｉｏｎｓｏｆａｃｔｉｏｎｓｏｆａｐｌａｎｔｏａｌｌｏｗｐｌａｎｓｔｈａｔａｒｅｓｅｑｕｅｎｔｉａｌ，ｎｏｎ－ｄｅｔｅｒｍｉｎｅｄ，ｃｏｎｃｕｒｒｅｎｔ，ａｎｄＳＯｏｎ，ｉｎｗｈｉｃｈｅｓｐｅｃｉａｌｌｙａｃｏｎｃｕｒｒｅｎｔｒｅｌａｔｉｏｎｃｏｎｔａｉｎｉｎｇｉｎｔｅｒｒｅｌａｔｅｄ，ｎｏｎ－ｉｎｔｅｒｒｅｌａｔｅｄａｎｄｉｎｔｅｒｌｅａｖｉｎｇｃｏｎｃｕｒｒｅｎｃｙｉｓｐｒｏｖｉｄｅｄｂｙｉｎｔｒｏｄｕｃｉｎｇＰｌａｎｎｉｎｇＥｘｐｒｅｓｓｉｏｎ．ＴｈｅｓｙｎｔａｘａｎｄｓｅｍａｎｔｉｃｓｆｏｒｔｈｅＰｌ

5、ａｎｎｉｎｇＥｘｐｒｅｓｓｉｏｎａｒｅｐｒｅｓｅｎｔｅｄｗｈｉｌｅｏｖｅｒｃｏｍｉｎｇｔｈｅ．．ｉｎｈｅｒｅｎｔｄｅｆｅｃｔｓｏｆｏｎｌｙｉｎｔｅｒｌｅａｖｉｎｇｃｏｎｃｕｒｒｅｎｃｙｏｒｓｙｎｃｈｒｏｎｉｚｅｄａｃｔｉｏｎ．ＡｄｙｎａｍｉｃｐｌａｎｎｉｎｇｏｐｅｒａｔｏｒｏｆｔｈｅＣｏｎｃｕｒｒｅｎｔＰｌａｎｓａｓＰｒｏｇｒａｍｓｉｎＳｔａｔｅＣａｌｃｕｌｕｓｉｓｐｒｏｐｏｓｅｄ．Ｉｔｉｍｐｌｅｍｅｎｔｓｒｅｐｌａｎｎｉｎｇｍｅｃｈａｎｉｓｍａｃｃｏｒｄｉｎｇｔｏｄｉｆｆｅｒｅｎｃｅｓｏｆｔｈｅｏｎ・・ｌｉｎｅｅ

6、ｘｅｃｕｔｉｏｎｓｔａｔｅａｎｄｐｒｅｖｉｏｕｓｃｏｒｒｅｓｐｏｎｄｉｎｇｏｆｆ－ｌｉｎｅｅｘｅｃｕｔｉｏｎｓｔａｔｅａｎｄｉｍｐｒｏｖｅｓｄｙｎａｍｉｃｐｌａｎｎｉｎｇｏｐｅｒａｔｏｒｂａｓｅｄｏｎＳｉｔｕａｔｉｏｎＣａｌｃｕｌｕｓ．（２）ＴｈｅＣｏｎｃｕｒｒｅｎｔＰｌａｎｓａｓＰｒｏｇｒａｍｓｉｎＳｔａｔｅＣａｌｃｕｌｕｓＰｌａｎｎｅｒＣＰＡＰＰ－ＳＣｉｓｄｅｓｉｇｎｅｄａｎｄｉｍｐｌｅｍｅｎｔｅｄ．ＴｈｅｃｏｍｐｏｓｉｔｉｏｎｏｆＣＰＡＰＰ－ＳＣｉｓｇｉｖｅｎ．ＣＰＡＰＰ—ＳＣｉｎｔｅｒｐｒｅｔｅｒｉｓｉｍｐ

7、ｌｅｍｅｎｔｅｄｂｙＰｒｏｌｏｇｌａｎｇｕａｇｅａｃｃｏｒｄｉｎｇｔｏｔｈｅｓｅｍａｎｔｉｃｓｏｆＰｌａｎｎｉｎｇＥｘｐｒｅｓｓｉｏｎａｎｄＳｅａｒｃｈ．（３）ＡｎｉｍｐｒｏｖｅｄｄｙｎａｍｉｃｐｌａｎｎｉｎｇｏｐｅｒａｔｏｒｃａｌｌｅｄＥＳｅａｒｃｈｉｓｐｒｏｐｏｓｅｄａｎｄｉｍｐｌｅｍｅｎｔｅｄ．ＴｈｅｓｅｍａｎｔｉｃｓｆｏｒｔｈｅＰｌａｎｎｉｎｇＥｘｐｒｅｓｓｉｏｎａｎｄＥＳｅａｒｃｈａｒｅｐｒｅｓｅｎｔｅｄａｇａｉｎ，ａｎｄｉｍｐｌｅｍｅｎｔｅｄ．ＥＳｅａｒｃｈｓｏｌｖｅｓｔｈｅｕｎｓｕｃｃｅｓｓｆｕｌｄｅ

8、ｆｅｃｔｏｆＳｅａｒｃｈｏｎｎｏｎ—ｄｅｔｅｒｍｉｎｅｄＯｉｆ－ｌｉｎｅ．ＫＥＹＷＯＲＤＳ：ＳｔａｔｅＣａｌｃｕｌｕｓ，ＰｌａｎｓａｓＰｒｏｇｒａｍｓ，ｃｏｎｃｕｒｒｅｎｃｙ，ＰｌａｎｎｉｎｇＥｘｐｒｅｓｓｉｏｎ，ｄｙｎａｍｉｃｐｌａｎｎｉｎｇｏｐｅｒａｔｏｒＩＩ学位论文版权使用授权书本学位论文作者完全了解学校有关保留、使用学位论文的规定，同意学校保留并向国