基于Petri网的情境感知服务建模及其干扰发现.pdfVIP

第３５卷第８期　 　 　 　 　 　 　 　 　 　 　 哈　 尔　 滨　 工　 程　 大　 学　 学　 报　 　 　 　 　 　 　 　 　 　 Ｖｏｌ．３５ №．８ ２０１４年８月　 　 　 　 　 　 　 　 　 　 Ｊｏｕｒｎａｌ ｏｆ Ｈａｒｂｉｎ Ｅｎｇｉｎｅｅｒｉｎｇ Ｕｎｉｖｅｒｓｉｔｙ 　 　 　 　 　 　 　 　 　 　 　 Ａｕｇ．２０１４ 基于Ｐｅｔｒｉ 网的情境感知服务建模及干扰发现 胡志芳，卢涛 （大连理工大学 系统工程研究所，辽宁 大连 １１６０２４） 摘　 要：为发现情境感知服务之间存在的显性和隐性干扰，提出采用赋时着色Ｐｅｔｒｉ 网（ｔｉｍｅｄ ｃｏｌｏｒｅｄ Ｐｅｔｒｉ ｎｅｔ，ＴＣＰＮ）对 情境感知系统建模，通过对模型进行仿真分析发现服务之间潜在的干扰。 对ＴＣＰＮ及其相关规则进行了形式化的定义， 然后讨论了用ＴＣＰＮ对情境感知系统建模的方法，使构建的模型反映情境感知系统真实运行中的情况，主要讨论了对服 务行为的建模和对情境变化的建模。 利用提出的建模方法结合建模仿真工具ＣＰＮ Ｔｏｏｌｓ对阿尔茨海默病患者智能辅助 系统进行了建模和仿真，通过仿真结果分析发现了服务之间显性和隐性的干扰，验证了该方法的有效性。 关键词：情境感知；服务干扰；赋时着色Ｐｅｔｒｉ 网 ｄｏｉ：１０．３９６９／ ｊ．ｉｓｓｎ．１００６⁃７０４３．２０１３０４０５９ 网络出版地址：ｈｔｔｐ：／ ／ ｗｗｗ．ｃｎｋｉ．ｎｅｔ／ ｋｃｍｓ／ ｄｏｉ／ １０．３９６９／ ｊ．ｉｓｓｎ．１００６⁃７０４３．２０１３０４０５９．ｈｔｍｌ 中图分类号：ＴＰ３９１　 文献标志码：Ａ　 文章编号：１００６⁃７０４３（２０１４）０８⁃０９６１⁃０７ Ｐｅｔｒｉ ｎｅｔ ｂａｓｅｄ ｃｏｎｔｅｘｔ⁃ａｗａｒｅ ｓｅｒｖｉｃｅ ｍｏｄｅｌｉｎｇ ａｎｄ ｉｎｔｅｒｆｅｒｅｎｃｅ ｄｉｓｃｏｖｅｒｙ ＨＵ Ｚｈｉｆａｎｇ，ＬＵＴａｏ （ Ｓｙｓｔｅｍ Ｅｎｇｉｎｅｅｒｉｎｇ Ｄｅｐａｒｔｍｅｎｔ，Ｄａｌｉａｎ Ｕｎｉｖｅｒｓｉｔｙ ｏｆ Ｔｅｃｈｎｏｌｏｇｙ，Ｄａｌｉａｎ １１６０２４，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ｔｏ ｆｉｎｄｏｕｔａｂｏｕｔｂｏｔｈｅｘｐｌｉｃｉｔａｎｄｉｍｐｌｉｃｉｔｉｎｔｅｒｆｅｒｅｎｃｅｓａｍｏｎｇｃｏｎｔｅｘｔ⁃ａｗａｒｅｓｅｒｖｉｃｅｓ，ｗｅｈａｖｅｐｒｏｐｏｓｅｄ ａ ｍｏｄｅｌｉｎｇ ａｎｄ ｓｉｍｕｌａｔｉｎｇ ｍｅｔｈｏｄ ｆｏｒ ｔｈｅ ｃｏｎｔｅｘｔ⁃ａｗａｒｅ ｓｙｓｔｅｍ． Ｂｙ ｍｏｄｅｌｉｎｇ ｓｅｒｖｉｃｅｓ ａｓｗｅｌｌ ａｓ ｃｈａｎｇｉｎｇ ｔｈｅ ｃｏｎ⁃ ｔｅｘｔｓ ｕｓｉｎｇ ｔｉｍｅｄ ｃｏｌｏｒｅｄ Ｐｅｔｒｉ ｎｅｔ （ＴＣＰＮ），ｗｅ ｗｅｒｅ ａｂｌｅ ｔｏ ｓｉｍｕｌａｔｅ ａ ｃｏｎｔｅｘｔ⁃ａｗａｒｅ ｓｙｓｔｅｍ ａｎｄ ｃｈｅｃｋ ｔｏ ｓｅｅ ｉｆ ｔｈｅｒｅ ｗｅｒｅ ｉｎｔｅｒｆｅｒｅｎｃｅｓａｍｏｎｇｔｈｅ ｓｅｒｖｉｃｅｓｔｈｒｏｕｇｈ ｔｈｅ ｓｉｍｕｌａｔｉｏｎｒｅｐｏｒｔ ａｎａｌｙｓｉｓ． Ｆｉｒｓｔｌｙ，ｗｅ ｄｅｆｉｎｅｄＴＣＰＮｂｙ ｉｎ⁃ ｔｒｏｄｕｃｉｎｇ ｔｉｍｅｓｔａｍｐｓ ａｎｄ ｒａｎｄｏｍ ｆｕｎｃｔｉｏｎｓ ｉｎｔｏ ｔｈｅ ｔｒａｄｉｔｉｏｎａｌ ｃｏｌｏｒｅｄ Ｐｅｔｒｉ ｎｅｔ ｔｏ ｓｉｍｕｌａｔｅ ｔｈｅ ｒａｎｄｏｍｎｅｓｓ ｏｆ ｔｈｅ ｃｏｎｔｅｘｔｓ ｉｎ ａ ｐｈｙｓｉｃａｌ ｅｎｖｉｒｏｎｍｅｎｔ． Ｔｈｅｎ ｗｅ ｄｉｓｃｕｓｓｅｄ ｔｈｅｗａｙ ｔｏ ｍｏｄｅｌ ｔｈｅ ｃｏｎｔｅｘｔ⁃ａｗａｒｅ ｓｙｓｔｅｍ ｂｙ ｕｓｉｎｇ ｔｈｅ ｄｅ⁃ ｆｉｎｅｄＴＣＰＮｍｏｄｅｌ．Ｔｈｅ ｍｏｄｅｌｉｎｇ ｍｅｔｈｏｄｗｅｐｒｏｐｏｓｅｄｗａｓａｂｌｅｔｏ ｓｉｍｕｌａｔｅｔｈｅｒｅａｌ⁃ｌｉｆｅ ｓｉｔｕａｔｉｏｎｗｅｌｌ．Ａｎｄｆｉｎａｌｌｙ， ａ ｃａｓｅ ｆｏｒｔｈｅｓｍａｒｔａｓｓｉｓｔｉｎｇｓｙｓｔｅｍｆｏｒＡｌｚｈｅｉｍｅｒ＇ｓｄｉｓｅａｓｅｗａｓｄｅｖｅｌｏｐｅｄｂｙｕｓｉｎｇｔｈｅｐｒｏｐｏｓｅｄｍｅｔｈｏｄａｎｄｓｅｖｅｒ⁃ ａｌ ｉｎｔｅｒｆｅｒｅｎｃｅｓ ａｍｏｎｇ ｓｅｒｖｉｃｅｓｗｅｒｅ ｄｉｓｃｏｖｅｒｅｄ